Search

Your search keyword '"Otto-von-Guericke-Universität Magdeburg"' showing total 2,168 results
Start Over Author "Otto-von-Guericke-Universität Magdeburg"
2,168 results on '"Otto-von-Guericke-Universität Magdeburg"'

201. Sensing light and sound velocities of liquids in two-dimensional phoxonic crystals

Author

Amoudache, Samira, Moiseyenko, Rayisa, Pennec, Yan, Djafari-Rouhani, Bahram, Khater, Antoine, Lucklum, Ralf, Tigrine, Rachid, Institut d’Électronique, de Microélectronique et de Nanotechnologie - UMR 8520 (IEMN), Centrale Lille-Institut supérieur de l'électronique et du numérique (ISEN)-Université de Valenciennes et du Hainaut-Cambrésis (UVHC)-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF), Laboratoire de Physique et Chimie Quantique [Tizi-Ouzou] (LPCQ ), Université Mouloud Mammeri [Tizi Ouzou] (UMMTO), Laboratoire de physique de l'état condensé (LPEC), Centre National de la Recherche Scientifique (CNRS)-Le Mans Université (UM), Institute of Micro and Sensor Systems (IMOS), Otto-von-Guericke University [Magdeburg] (OVGU), This work was supported by the European Commission Seventh Framework Programs (FP7) under the FET-Open project TAILPHOX N° 233883., Le Mans Université (UM)-Centre National de la Recherche Scientifique (CNRS), and Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
[PHYS]Physics [physics], phononic, resonances, confinement, photonic crystal sensor, Physics::Optics, simulations
Abstract

We study theoretically the potentiality of dual phononic-photonic (the so-called phoxonic) crystals for liquid sensing applications. We investigate the existence of well-defined features (peaks or dips) in the transmission spectra of acoustic and optical waves and estimate their sensitivity to the sound and light velocities of the liquid environment. Two different sensors are investigated. In the first one, we study the in-plane transmission through a two-dimensional (2D) crystal made of cylindrical holes in a Si substrate where one row of holes is filled with a liquid. In the second one, the out of plane propagation is investigated when considering the transmission of the incident wave perpendicular to a periodic array of holes in a slab. Such ultra compact structure is shown to be a label-free, affinity-based acoustic and optical nanosensor, useful for biosensing applications in which the amount of analyte can be often limited.

Published
2014
Full Text
View/download PDF

202. Least action principle for second gradient continua and capillary fluids: a Lagrangian approach following Piola's point of view

Author

Angela Madeo, Nicolas Auffray, Victor A. Eremeyev, Francesco dell’Isola, Luca Placidi, Giuseppe Rosi, Cardillo, Christian, Laboratoire de Modélisation et Simulation Multi Echelle (MSME), Centre National de la Recherche Scientifique (CNRS)-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Université Paris-Est Marne-la-Vallée (UPEM), Dipartimento di Ingegneria Strutturale e Geotecnica (DISG), Università degli Studi di Roma 'La Sapienza' [Rome], Institut für Mechanik, Otto-von-Guericke University [Magdeburg] (OVGU), Southern Federal University [Rostov-on-Don] (SFEDU), Laboratoire de Génie Civil et d'Ingénierie Environnementale (LGCIE), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), International Telematic University 'Uninettuno', Uninettuno, International Research Centre on Mathematics & Mechanics of Complex Systems (M&MoCS), Università degli Studi dell'Aquila [L'Aquila] (UNIVAQ.IT), Université Paris-Est Marne-la-Vallée (UPEM)-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS), Università degli Studi di Roma 'La Sapienza' = Sapienza University [Rome] (UNIROMA), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ), Università degli Studi di Roma 'La Sapienza' = Sapienza University [Rome], and Università degli Studi dell'Aquila (UNIVAQ)

Subjects
Continuum mechanics, Context (language use), 02 engineering and technology, [SPI.MECA]Engineering Sciences [physics]/Mechanics [physics.med-ph], [SPI.MECA] Engineering Sciences [physics]/Mechanics [physics.med-ph], 01 natural sciences, Action (physics), 010305 fluids & plasmas, Principle of least action, Bernoulli's principle, 020303 mechanical engineering & transports, Classical mechanics, 0203 mechanical engineering, Variational principle, 0103 physical sciences, Virtual work, Boundary value problem, Materials Science (all), Mathematics
Abstract

As Piola would have surely conjectured, the stationary action principle holds also for capillary fluids, i.e. those fluids for which the deformation energy depends on spatial derivative of mass density (a modelling necessity which has been already remarked by Cahn and Hilliard [15, 16]). For capillary fluids it is indeed possible to define a Lagrangian density function whose corresponding Euler-Lagrange stationarity conditions once transported on the actual configuration, via a Piola’s transformation, are exactly those obtained, with different methods, in the literature. We recall that some particulat classes of second gradient fluids are sometimes also called Korteweg-de Vries or Cahn-Allen fluids. More generally those continua (which may be solid or fluid) whose deformation energy depends on the second gradient of placement are called second gradient (or Piola-Toupin or Mindlin or Green-Rivlin or Germain or second grade) continua. In the present work, following closely the procedure first conceived by Piola and carefully presented in his works translated in the present volume, a material (Lagragian) description for second gradient continua is formulated. Subsequently a Lagrangian action is introduced and by means of Piola’s transformations this action is calculated in both the material and spatial descriptions. Then the corresponding Euler-Lagrange equations and boundary conditions are calculated by using some kinematical relationships suitably established. Once an objective deformation energy volume density is assumed to depend on either C and \( {{\nabla }}C \) or on C −1 and (where C is the Cauchy-Green deformation tensor) the particular form of aforementioned Euler-Lagrange conditions and boundary conditions are established. When further particularizing the treatment to those energies which characterize fluid materials, the capillary fluid evolution conditions (see e.g. Casal [25] or Seppecher [142, 145] for an alternative deduction based on thermodynamic arguments) are recovered. Also a version of Bernoulli’s law which is valid for capillary fluids is found and, in Appendix B, all the kinematic formulas which we have found useful for the present variational formulation are gathered. Many historical comments about Gabrio Piola’s contribution to analytical continuum mechanics are also presented when it has been considered useful. In this context the reader is also referred to Capecchi and Ruta [17].

Published
2014

203. Sensing light and sound velocities of fluids in a two-dimensional phoXonic crystal

Author

Amoudache, Samira, MOISEYENKO, Rayisa, Pennec, Yan, Djafari-Rouhani, Bahram, Khater, Antoine, Lucklum, Ralf, Tigrine, Rachid, Laboratoire de Physique et Chimie Quantique [Tizi-Ouzou] (LPCQ ), Université Mouloud Mammeri [Tizi Ouzou] (UMMTO), Institut d’Électronique, de Microélectronique et de Nanotechnologie - UMR 8520 (IEMN), Centrale Lille-Institut supérieur de l'électronique et du numérique (ISEN)-Université de Valenciennes et du Hainaut-Cambrésis (UVHC)-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF), Institut des Molécules et Matériaux du Mans (IMMM), Le Mans Université (UM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS), Institute of Micro and Sensor Systems (IMOS), Otto-von-Guericke University [Magdeburg] (OVGU), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), Institut d’Électronique, de Microélectronique et de Nanotechnologie (IEMN) - UMR 8520 (IEMN), Centre National de la Recherche Scientifique (CNRS)-Université de Lille-Université Polytechnique Hauts-de-France (UPHF)-Ecole Centrale de Lille-Université Polytechnique Hauts-de-France (UPHF)-Institut supérieur de l'électronique et du numérique (ISEN), and Le Mans Université (UM)-Centre National de la Recherche Scientifique (CNRS)

Published
2014

204. On inversion in $Z_{2^n-1}$

Author

Kyureghyan, Gohar, Suder, Valentin, Institut für Algebra und Geometrie (Fakultät für Mathematik), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), Security, Cryptology and Transmissions (SECRET), Inria Paris-Rocquencourt, and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

Subjects
APN/AB exponents, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], binary representation of integers, power functions on finite fi elds, algebraic degree, modular inversion, [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]
Abstract

International audience; In this paper we determined explicitly the multiplicative inverses of the Dobbertin and Welch APN exponents in Z2n−1, and we described the binary weights of the inverses of the Gold and Kasami exponents. We studied the function Invd(n), which for a fixed positive integer d maps integers n⩾1 to the least positive residue of the inverse of d modulo 2n−1, if it exists. In particular, we showed that the function Invd is completely determined by its values for 1⩽n⩽θd, where θd is the order of 2 modulo the largest odd divisor of d.

Published
2014

205. Load-Aware Inter-Co-Processor Parallelism in Database Query Processing

Author

Tobias Lauer, Norbert Siegmund, Ladjel Bellatreche, Sebastian Breß, Gunter Saake, Michael Saecker, Max Heimel, Laboratoire d'Informatique et d'Automatique pour les Systèmes (LIAS), Université de Poitiers-ENSMA, and Otto-von-Guericke-Universität Magdeburg

Subjects
Information Systems and Management, Coprocessor, Computer science, Online aggregation, 02 engineering and technology, Parallel computing, Query optimization, Scheduling (computing), Query expansion, Computer engineering, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, sort, 020201 artificial intelligence & image processing, Sargable, [INFO]Computer Science [cs], Heuristics
Abstract

For a decade, the database community has been exploring graphics processing units and other co-processors to accelerate query processing. While the developed algorithms often outperform their CPU counterparts, it is not beneficial to keep processing devices idle while overutilizing others. Therefore, an approach is needed that efficiently distributes a workload on available (co-)processors while providing accurate performance estimates for the query optimizer. In this paper, we contribute heuristics that optimize query processing for response time and throughput simultaneously via inter-device parallelism. Our empirical evaluation reveals that the new approach achieves speedups up to 1.85 compared to state-of-the-art approaches while preserving accurate performance estimations. In a further series of experiments, we evaluate our approach on two new use cases: joining and sorting. Furthermore, we use a simulation to assess the performance of our approach for systems with multiple co-processors and derive some general rules that impact performance in those systems. Contribute heuristics to enhance performance by exploiting inter-device parallelismHeuristics consider load and speed on (co-)processors.Extensive evaluation on four use cases: aggregation, selection, sort, and joinAssess the performance of best heuristic for systems with multiple co-processorsDiscuss how operator-stream-based scheduling can be used in a query processor

Published
2014
Full Text
View/download PDF

206. Advances on MBE Selective Area Growth of III- Nitride nanostructures: from nanoLEDs to pseudo substrates

Author

Jesús Zúñiga-Pérez, Enrique Calleja, Peter Veit, A. Bengoechea-Encabo, Xiang Kong, David Lopez-Rormero, Achim Trampert, Silke Petzold, Pierre Lefebvre, Miguel Sanchez-Garcia, Gordon Schmidt, Philippe De Mierry, Steven Albert, Francesca Barbagini, Frank Bertram, Jürgen Christen, Marcus Müller, Uwe Jahn, Departamento de Ingeniería Electrónica and ISOM (ETSI Telecomunicacion), Universidad Politécnica de Madrid (UPM)-Ciudad Universitaria, Escuela Técnica Superior de Ingenieros de Telecomunicación [Madrid] (ETSI), Universidad Politécnica de Madrid (UPM), Laboratoire Charles Coulomb (L2C), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Paul-Drude-Institut für Festkörperelektronik (PDI), Otto-von-Guericke University [Magdeburg] (OVGU), Centre de recherche sur l'hétéroepitaxie et ses applications (CRHEA), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Ministère espagnol de la recherche, projets : CAM/P2009/ESP-1503 and MICINN MAT2011-26703., Chairman: M.Shur - Rensselaer Polytechnic Institute,Troy, NY, USA, European Project: 228999,EC:FP7:NMP,FP7-NMP-2008-LARGE-2,SMASH(2009), European Project: 280694,EC:FP7:NMP,FP7-NMP-2011-SMALL-5,GECCO(2012), European Project: 213238,EC:FP7:PEOPLE,FP7-PEOPLE-2007-1-1-ITN,RAINBOW(2008), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), and Université Nice Sophia Antipolis (1965 - 2019) (UNS)

Subjects
pseudo substrates, Photoluminescence, Fabrication, Nanostructure, Materials science, single color emission, non-polar, Nanotechnology, Nitride, law.invention, Selective area growth, GaN, law, nanostructures, semi-polar, coalescence, Electrical and Electronic Engineering, [SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics, Coalescence (physics), InGaN, business.industry, LED, Física, white-light emission, Aspect ratio (image), Electronic, Optical and Magnetic Materials, core-shell, Hardware and Architecture, Sapphire, [PHYS.COND.CM-MS]Physics [physics]/Condensed Matter [cond-mat]/Materials Science [cond-mat.mtrl-sci], [SPI.OPTI]Engineering Sciences [physics]/Optics / Photonic, Optoelectronics, photoluminescence, business, Molecular beam epitaxy, Light-emitting diode
Abstract

The aim of this work is to provide an overview on the recent advances in the selective area growth (SAG) of ( In ) GaN nanostructures by plasma assisted molecular beam epitaxy, focusing on their potential as building blocks for next generation LEDs. The first three sections deal with the basic growth mechanisms of GaN SAG and the emission control in the entire ultraviolet to infrared range, including approaches for white light emission, using InGaN disks and thick segments on axial nanocolumns. SAG of axial nanostructures is developed on both GaN /sapphire templates and GaN -buffered Si (111). As an alternative to axial nanocolumns, section 4 reports on the growth and characterization of InGaN / GaN core-shell structures on an ordered array of top-down patterned GaN microrods. Finally, section 5 reports on the SAG of GaN , with and without InGaN insertion, on semi-polar (11-22) and non-polar (11-20) templates. Upon SAG the high defect density present in the templates is strongly reduced as indicated by a dramatic improvement of the optical properties. In the case of SAG on non-polar (11-22) templates, the formation of nanostructures with a low aspect ratio took place allowing for the fabrication of high-quality, non-polar GaN pseudo-templates by coalescence of these nanostructures.

Published
2013
Full Text
View/download PDF

207. What is river quality? Incorporing the perspectives of lay-people in river restoration

Author

Cottet, Marylise, Le Lay, Yves-François, Environnement, Ville, Société (EVS), École normale supérieure de Lyon (ENS de Lyon)-École des Mines de Saint-Étienne (Mines Saint-Étienne MSE), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université Lumière - Lyon 2 (UL2)-Université Jean Moulin - Lyon 3 (UJML), Université de Lyon-Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-École Nationale des Travaux Publics de l'État (ENTPE)-École nationale supérieure d'architecture de Lyon (ENSAL)-Centre National de la Recherche Scientifique (CNRS), Otto-von-Guericke Universität Magdeburg, Environnement Ville Société (EVS), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-École nationale supérieure d'architecture de Lyon (ENSAL)-École des Mines de Saint-Étienne (Mines Saint-Étienne MSE), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Nationale des Travaux Publics de l'État (ENTPE)-Université Jean Monnet [Saint-Étienne] (UJM)-Université Jean Moulin - Lyon 3 (UJML), Université de Lyon-Université Lumière - Lyon 2 (UL2)-École normale supérieure - Lyon (ENS Lyon), and TROUFLEAU, Pascal

Subjects
[SHS] Humanities and Social Sciences, river quality, river restoration, perspectives of lay-people, ComputingMilieux_MISCELLANEOUS, [SHS]Humanities and Social Sciences
Abstract

International audience

Published
2013

208. A note on verifying the APN property

Author

Charpin, Pascale, Kyureghyan, Gohar, Security, Cryptology and Transmissions (SECRET), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institut für Algebra und Geometrie (Fakultät für Mathematik), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), IACR Cryptology ePrint Archive, and Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
Published
2013

209. On Inversion in Z_{2^n-1}

Author

Suder, Valentin, Kyureghyan, Gohar, Security, Cryptology and Transmissions (SECRET), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institut für Algebra und Geometrie (Fakultät für Mathematik), and Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
Abstract

International audience; In this paper we determined explicitly the multiplicative inverses of the Dobbertin and Welch APN exponents in Z_{2^n−1}, and we described the binary weights of the inverses of the Gold and Kasami exponents. We studied the function Inv_d(n), which for a fixed positive integer d maps integers n⩾1 to the least positive residue of the inverse of d modulo 2^n−1, if it exists. In particular, we showed that the function Inv_d is completely determined by its values for 1⩽n⩽θ_d, where θ_d is the order of 2 modulo the largest odd divisor of d.

Published
2013

210. Simple, Taylor-based Worst-case Model for Field-to-line Coupling

Author

Sjoerd T. Op 't Land, Mohamed Ramdani, Richard Perdriau, Marco Leone, Mhamed Drissi, ESEO-EMC, ESEO-Tech, Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest [Angers] (ESEO)-Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest [Angers] (ESEO), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), Institut d'Électronique et des Technologies du numéRique (IETR), Université de Nantes (UN)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), SEISME (Aerospace Valley), Université Bretagne Loire (UBL)-Université Bretagne Loire (UBL), Otto-von-Guericke University [Magdeburg] (OVGU), Nantes Université (NU)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), and Université de Nantes (UN)-Université de Rennes 1 (UR1)

Subjects
Electrically short, Plane wave, 02 engineering and technology, Microstrip, field-to-line coupling, Transmission line, 0202 electrical engineering, electronic engineering, information engineering, Electrical and Electronic Engineering, Ground plane, worst case, Physics, Radiation, PCB, business.industry, Mathematical analysis, Electromagnetic compatibility, 020206 networking & telecommunications, analytical model, Condensed Matter Physics, [SPI.TRON]Engineering Sciences [physics]/Electronics, Transverse plane, Taylor, [SPI.ELEC]Engineering Sciences [physics]/Electromagnetism, long line, Line (geometry), 020201 artificial intelligence & image processing, Telecommunications, business, microstrip
Abstract

International audience; To obtain Electromagnetic Compatibility (EMC), we would like to study the worst-case electromagnetic field-induced voltages at the ends of Printed Circuit Board (PCB) traces. With increasing frequencies, modelling these traces as electrically short no longer suffices. Accurate long line models exist, but are too complicated to easily induce the worst case. Therefore, we need a simple analytical model. In this article, we predict the terminal voltages of an electrically long, two-wire transmission line with characteristic loads in vacuum, excited by a linearly polarised plane wave. The model consists of a short line model (one Taylor cell) with an intuitive correction factor for long line effects: the modified Taylor cell. We then adapt the model to the case of a PCB trace above a ground plane, illuminated by a grazing, vertically polarised wave. For this case, we prove that end-fire illumination constitutes the worst case. We derive the worst-case envelope and try to falsify it by measurement in a Gigahertz Transverse Electromagnetic (GTEM) cell.

Published
2013
Full Text
View/download PDF

211. Special mappings of finite fields

Author

Kyureghyan, Gohar, Institut für Algebra und Geometrie (Fakultät für Mathematik), Otto-von-Guericke University [Magdeburg] (OVGU), Security, Cryptology and Transmissions (SECRET), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Pascale Charpin and Alexander Pott and Arne Winterhof, Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), and Canteaut, Anne

Subjects
ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
2013

212. Efficient Optimization of Large Probabilistic Models

Author

Frank Ortmeier, Simon Struck, Matthias Güdemann, CSE, Otto-von-Guericke University [Magdeburg] (OVGU), Construction of verified concurrent systems (CONVECS), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), and Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)

Subjects
Hazard (logic), Engineering, business.industry, Probabilistic-based design optimization, Probabilistic logic, 020207 software engineering, 02 engineering and technology, Formal methods, Multi-objective optimization, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Engineering optimization, Reliability engineering, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], Life-critical system, Hardware and Architecture, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, 0202 electrical engineering, electronic engineering, information engineering, Dependability, 020201 artificial intelligence & image processing, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, availability, and serviceability, business, Software, Information Systems
Abstract

International audience; The development of safety critical systems often requires design decisions which influence not only dependability, but also other properties which are often even antagonistic to dependability, e.g., cost. Finding good compromises considering different goals while at the same time guaranteeing sufficiently high safety of a system is a very difficult task. We propose an integrated approach for modeling, analysis and optimization of safety critical systems. It is fully automated with an implementation based on the Eclipse platform. The approach is tool-independent, different analysis tools can be used and there exists an API for the integration of different optimization and estimation algorithms. For safety critical systems, a very important criterion is the hazard occurrence probability, whose computation can be quite costly. Therefore we also provide means to speed up optimization by devising different combinations of stochastic estimators and illustrate how they can be integrated into the approach. We illustrate the approach on relevant case-studies and provide experimental details to validate its effectiveness and applicability.

Published
2013
Full Text
View/download PDF

213. On sets determining the differential spectrum of mappings

Author

Gohar M. Kyureghyan, Pascale Charpin, Security, Cryptology and Transmissions (SECRET), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Otto-von-Guericke University [Magdeburg] (OVGU), and Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
bent function, Monomial, Bent function, Binomial (polynomial), APN mappings, 0102 computer and information sciences, 02 engineering and technology, permutation, 01 natural sciences, binomial, Combinatorics, hyperplane, Permutation, Boolean function, 0202 electrical engineering, electronic engineering, information engineering, monomial, [MATH]Mathematics [math], cryptographic criteria, Mathematics, Discrete mathematics, Differential uniformity, Multiplicative function, differential uniformity, General Engineering, 020206 networking & telecommunications, Hyperplane, 010201 computation theory & mathematics
Abstract

Special issue on the honor of Gerard Cohen; International audience; The differential uniformity of a mapping $F : F 2 n → F 2 n$ is defined as the maximum number of solutions $x$ for equations $F (x+a)+F (x) = b$ when $a ̸ = 0$ and $b$ run over $F 2 n$. In this paper we study the question whether it is possible to determine the differential uniformity of a mapping by considering not all elements $a ̸ = 0$, but only those from a special proper subset of $F 2 n \ {0}$. We show that the answer is " yes " , when $F$ has differential uniformity 2, that is if $F$ is APN. In this case it is enough to take $a ̸ = 0$ on a hyperplane in $F 2 n$. Further we show that also for a large family of mappings F of a special shape, it is enough to consider a from a suitable multiplicative subgroup of $F 2 n$ .

Published
2017
Full Text
View/download PDF

214. Estimation of consistent parameter sets for continuous-time nonlinear systems using occupation measures and LMI relaxations

Author

Philipp Rumschinski, Didier Henrion, Stefan Streif, Rolf Findeisen, Otto-von-Guericke University [Magdeburg] (OVGU), Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institute for Automation Engineering (IFAT), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), and Université de Toulouse (UT)

Subjects
0303 health sciences, 0209 industrial biotechnology, Mathematical optimization, Polynomial, Linear programming, Estimation theory, 02 engineering and technology, Decision problem, 03 medical and health sciences, Nonlinear system, 020901 industrial engineering & automation, Optimization and Control (math.OC), FOS: Mathematics, Initial value problem, Relaxation (approximation), [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Multidimensional systems, Mathematics - Optimization and Control, 030304 developmental biology, Mathematics
Abstract

International audience; Obtaining initial conditions and parameterizations leading to a model consistent with available measurements or safety specifications is important for many applications. Examples include model (in-)validation, prediction, fault diagnosis, and controller design. We present an approach to determine inner- and outer-approximations of the set containing all consistent initial conditions/parameterizations for nonlinear continuous-time systems. These approximations are found by occupation measures that encode the system dynamics and measurements, and give rise to an infinite-dimensional linear program. We exploit the flexibility and linearity of the decision problem to incorporate uncertain-but-bounded and pointwise-in-time state and output constraints, a feature which was not addressed in previous works. The infinite-dimensional linear program is relaxed by a hierarchy of LMI problems that provide certificates in case no consistent initial condition/parameterization exists. Furthermore, the applied LMI relaxation guarantees that the approximations converge (almost uniformly) to the true consistent set. We illustrate the approach with a biochemical reaction network involving unknown initial conditions and parameters.

Published
2013
Full Text
View/download PDF

215. Designs, Codes and Cryptography (Special Issue in Coding and Cryptography)

Author

Augot, Daniel, Canteaut, Anne, Kyureghyan, Gohar, Solov'Eva, Faina, Ytrehus, Øyvind, Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Geometry, arithmetic, algorithms, codes and encryption (GRACE), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Security, Cryptology and Transmissions (SECRET), Inria Paris-Rocquencourt, Institut für Algebra und Geometrie (Fakultät für Mathematik), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences (SB RAS), University of Bergen (UiB), Daniel Augot and Anne Canteaut and Gohar Kyureghyan and Faina Solov'Eva and Øyvind Ytrehus, Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Inria Saclay - Ile de France, Otto-von-Guericke University [Magdeburg] (OVGU), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), and École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)

Subjects
ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
2013

216. Uniform estimates for polyharmonic Green functions in domains with small holes

Author

Grunau, Hans-Christoph, Robert, Frédéric, Robert, Frédéric, James B. Serrin, Enzo L. Mitidieri and Vicenţiu D. Rădulescu, Otto-von-Guericke University [Magdeburg] (OVGU), Institut Élie Cartan de Nancy (IECN), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), University of Perugia, and Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
010102 general mathematics, [MATH] Mathematics [math], Mathematics::Spectral Theory, 01 natural sciences, Mathematics::Numerical Analysis, domains with small holes, 010101 applied mathematics, Mathematics - Analysis of PDEs, [MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG], [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], [MATH]Mathematics [math], 0101 mathematics, [MATH.MATH-AP] Mathematics [math]/Analysis of PDEs [math.AP], Polyharmonic Green function, uniform estimates, [MATH.MATH-DG] Mathematics [math]/Differential Geometry [math.DG], MSC: 35J40, 35B45
Abstract

Dedicated to Patrizia Pucci on the occasion of her 60th birthday; International audience; The Green function G −∆,Ω for the Laplacian under Dirichlet boundary conditions in a bounded smooth domain Ω ⊂ R n enjoys in dimensions n ≥ 3 the estimate: 0 ≤ G −∆,Ω (x, y) ≤ 1 n(n − 2)en |x − y| 2−n. Here, en denotes the volume of the unit ball B = B 1 (0) ⊂ R n. This estimate follows from the maximum principle, the construction of G −∆,Ω and the explicit expression of a suitable fundamental solution. When passing to the polyharmonic Green function G (−∆) k ,Ω under Dirich-let boundary conditions almost all forms of maximum or comparison principles fail: Green function estimates become an intricate subject and, according to works of Krasovski˘ ı, multiplicative constants have to be used which heavily depend on the smoothness properties of the underlying domains. In the present paper we study a singular family of domains by removing arbitrarily small holes from a fixed smooth domain in R n with n > 2k. We prove Green function estimates which are uniform even when the size of the hole approaches 0, i.e. when the curvature of the boundary becomes unbounded.

Published
2013

217. Experimental Investigation of Drying in a Model Porous Medium: Influence of Thermal Gradients

Author

Thomas Metzger, Marc Prat, Evangelos Tsotsas, Nicole Vorhauer, Q.T. Tran, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Otto Von Guericke Universität Magdeburg - OVGU (GERMANY), Institut de Mécanique des Fluides de Toulouse - IMFT (Toulouse, France), Otto-von-Guericke University [Magdeburg] (OVGU), Institut de mécanique des fluides de Toulouse (IMFT), Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), and Université Fédérale Toulouse Midi-Pyrénées

Subjects
Materials science, Borosilicate glass, General Chemical Engineering, Mécanique des fluides, 04 agricultural and veterinary sciences, 02 engineering and technology, 040401 food science, Isothermal process, [SPI.MECA.MEFL]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Fluids mechanics [physics.class-ph], Temperature gradient, 0404 agricultural biotechnology, 020401 chemical engineering, 13. Climate action, Thermal, Etched pore networks, Stabilized drying front - Temperature gradient, [PHYS.MECA.MEFL]Physics [physics]/Mechanics [physics]/Fluid mechanics [physics.class-ph], 0204 chemical engineering, Physical and Theoretical Chemistry, Composite material, Porous medium, Stabilized drying front -Temperature gradient, Open surface
Abstract

In this study, isothermal and non-isothermal drying experiments with imposed constant temperature gradients have been conducted in a two-dimensional square pore network of borosilicate glass (SiO2) with interconnected etched channels. In experiments with temperature decreasing from the open surface of the pore network, a travelling stabilized gas-liquid region could be established, while in isothermal experiments with uniform temperature faster breakthrough and an extended two-phase zone were observed. Both findings are in good agreement with pore network simulations. However, numerical underestimation of drying rates (especially in the second period of drying) indicates that liquid films might play a major role in the experimental pore networks, even in the presence of thermal gradients.

Published
2013
Full Text
View/download PDF

218. Multi-Objective Optimization of Formal Specifications

Author

Frank Ortmeier, Simon Struck, Matthias Güdemann, Michael Lipaczewski, CSE, Otto-von-Guericke University [Magdeburg] (OVGU), Construction of verified concurrent systems (CONVECS), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), and Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)

Subjects
Mathematical optimization, Computer science, Probabilistic logic, 020207 software engineering, 02 engineering and technology, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, Formal methods, Multi-objective optimization, Formal system, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Reliability engineering, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], Life-critical system, Formal specification, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Temporal logic, Formal verification
Abstract

International audience; Even in the domain of safety critical systems, safety and reliability are not the only goals and a developing engineer is faced with the problem to find good compromises wrt. other antagonistic objectives, in particular economic aspects of a system. Thus there does not exist a single optimal design variant of a system but only compromises each ''best'' in its own rights . With the rising complexity, especially of cyber-physical systems, the process of manually finding best compromises becomes even more difficult. To cope with this problem, we propose a model-based optimization approach which uses quantitative model-based safety analysis. While the general approach is tool-independent, we implement it technically by introducing well defined variation points to a formal system model. These allow enough variability to cover whole families of systems while still being rigorous enough for formal analysis. From the specification of this family of system variants and a set of objective functions, we compute Pareto optimal sets, which represent best compromises. In this paper we present a framework which allows for optimization of arbitrary quantitative goal functions, in particular probabilistic temporal logic properties used for model-based safety analysis. Nevertheless, the approach itself is well applicable to other domains.

Published
2012
Full Text
View/download PDF

219. On Inverses of APN Exponents

Author

Gohar M. Kyureghyan, Valentin Suder, Institut für Algebra und Geometrie (Fakultät für Mathematik), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), Security, Cryptology and Transmissions (SECRET), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), and Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
Discrete mathematics, Degree (graph theory), Modulo, Inverse, 020206 networking & telecommunications, 0102 computer and information sciences, 02 engineering and technology, Function (mathematics), Mathematical proof, 01 natural sciences, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 010201 computation theory & mathematics, Computer Science::Discrete Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Exponent, Algebraic number, Mathematics
Abstract

International audience; In this extended abstract we present results on the inverses modulo 2n − 1 of the known APN exponents. In particular, we describe explicitly the inverses of the Welch and Dobbertin exponents and give the main ideas of their proofs. Further, we observe that the inverse of the Dobbertin exponent defines an APN function on F2n of algebraic degree n+3 , which 2 is the first example of such a function.

Published
2012
Full Text
View/download PDF

220. Stackables: Combining Tangibles for Faceted Browsing

Author

Jean-Daniel Fekete, Ricardo Langner, Petra Isenberg, Raimund Dachselt, Stefanie Klum, User Interface & Software Engineering Group, Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), Analysis and Visualization (AVIZ), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), ANR-11-JS02-0003,FITOC,Connecter, Collaborer, Analyser : du Travail Individuel vers l'Analytique Visuelle Collaborative(2011), and Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
Value (ethics), Focus (computing), Computer science, business.industry, Information seeking, 05 social sciences, 020207 software engineering, Usability, 02 engineering and technology, Bridge (nautical), Variety (cybernetics), World Wide Web, Information seeking process, 0202 electrical engineering, electronic engineering, information engineering, Faceted search, 0501 psychology and cognitive sciences, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], business, 050107 human factors
Abstract

International audience; We introduce Stackables: tangibles designed to support faceted information seeking in a variety of contexts. We are faced, more than ever, with tasks that require us to find, access, and act on information by ourselves or together with others. Current interfaces for browsing and search in large data spaces, however, largely focus on the support of either individual or collaborative activities. Stackables were designed to bridge this gap and be useful in meetings, for sharing results from individual search activities, and for realistic datasets including multiple facets with large value ranges. Each Stackable tangible represents search parameters that can be shared amongst collaborators, modified during an information seeking process, and stored and transferred. We describe Stackables, their flexible and expressive combination to formulate queries, and the underlying interaction concept in detail. An evaluation provides initial evidence of their usability in targeted and exploratory information seeking tasks.

Published
2012
Full Text
View/download PDF

221. Trajectory Description Conception for Industrial Robots

Author

Alatartsev, S., Matthias Güdemann, Ortmeier, F., CSE, Otto-von-Guericke University [Magdeburg] (OVGU), Construction of verified concurrent systems (CONVECS), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), and Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)

Subjects
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract

International audience; In this paper we observe the difficulties one can face when using different MPLs (Motion Planning Library) in a single application, and propose a new conception and a language which goal is to solve these problems. The idea is to present an interface between robot programming instruments and MPLs. Our goal is to provide a powerful tool for developers of software approaches for programming industrial robots that would allow an easy combination of different MPLs in one application. In addition the proposed conception hides the inner structure of libraries and eliminates the need to investigate algorithms before applying. That would increase the speed and the quality of the newly developed software systems.

Published
2012

222. New insights into the Tyrolean Iceman's origin and phenotype as inferred by whole-genome sequencing

Author

Albert Zink, Jessica Spangler, Alexander Sartori, Brenna M. Henn, Carsten M. Pusch, Marco Samadelli, Eduard Egarter Vigl, Peter A. Underhill, Natalie M. Myres, Bjoern Stade, Markus Ball, Andrés Moreno-Estrada, Frank Maixner, Minita Shah, Timothy T. Harkins, Benjamin Meder, Petra Leidinger, Jens Mayer, Michael Forster, Nikolaus Blin, Hugo A. Katus, Andreas Keller, Siiri Rootsi, Mark Matzas, Angela Graefen, Stephen F. McLaughlin, Jacques Chiaroni, Martin Sikora, Jan Haas, Valesca Boisguerin, Giovanna Cipollini, Ornella Semino, Brian O'Connor, Marc R. J. Carlson, Clarence Lee, Andre Franke, Carlos Bustamante, Eckart Meese, Christina Backes, Vicente M. Cabrera, Rabab Khairat, Hematology and Oncology, Otto-von-Guericke University [Magdeburg] (OVGU), Department of Internal Medicine Hemato-Oncology, University Hospital Brno, Physico-Chimie-Curie (PCC), Centre National de la Recherche Scientifique (CNRS)-Institut Curie [Paris]-Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut de Chimie du CNRS (INC), Anthropologie bio-culturelle, Droit, Ethique et Santé (ADES), Aix Marseille Université (AMU)-EFS ALPES MEDITERRANEE-Centre National de la Recherche Scientifique (CNRS), Etablissement Français du Sang - Alpes-Méditerranée (EFS - Alpes-Méditerranée), Etablissement Français du Sang, Centre hospitalier universitaire de Nantes (CHU Nantes), Département de Pathologie, Ludwig-Maximilians-Universität München (LMU), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), and Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut Curie [Paris]-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)

Subjects
Mitochondrial DNA, Sequence analysis, [SHS.ANTHRO-BIO]Humanities and Social Sciences/Biological anthropology, ice, General Physics and Astronomy, Biology, DNA, Mitochondrial, Genome, General Biochemistry, Genetics and Molecular Biology, 03 medical and health sciences, 0302 clinical medicine, Iceman, Genetic predisposition, Consensus sequence, Humans, Genetic Predisposition to Disease, Borrelia burgdorferi, Vascular Calcification, History, Ancient, 030304 developmental biology, Genetics, Whole genome sequencing, Lyme Disease, 0303 health sciences, Multidisciplinary, Base Sequence, Genome, Human, Chromosome Mapping, Paleontology, Mummies, Sequence Analysis, DNA, General Chemistry, [SHS.ANTHRO-SE]Humanities and Social Sciences/Social Anthropology and ethnology, biology.organism_classification, Mitochondria, Phenotype, Genome, Mitochondrial, 030217 neurology & neurosurgery
Abstract

International audience; The Tyrolean Iceman, a 5,300-year-old Copper age individual, was discovered in 1991 on the Tisenjoch Pass in the Italian part of the Ötztal Alps. Here we report the complete genome sequence of the Iceman and show 100% concordance between the previously reported mitochondrial genome sequence and the consensus sequence generated from our genomic data. We present indications for recent common ancestry between the Iceman and present-day inhabitants of the Tyrrhenian Sea, that the Iceman probably had brown eyes, belonged to blood group O and was lactose intolerant. His genetic predisposition shows an increased risk for coronary heart disease and may have contributed to the development of previously reported vascular calcifications. Sequences corresponding to ~60% of the genome of Borrelia burgdorferi are indicative of the earliest human case of infection with the pathogen for Lyme borreliosis.

Published
2012
Full Text
View/download PDF

223. Unifying Probabilistic and Traditional Formal Model Based Analysis

Author

Matthias Güdemann, Michael Lipaczewski, Simon Struck, Frank Ortmeier, Construction of verified concurrent systems (CONVECS), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), CSE, Otto-von-Guericke University [Magdeburg] (OVGU), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), and Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.10: Temporal logic, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Abstract

International audience; The increasing complexity of modern software-intensive systems makes their analysis much more difficult. At the same time, more and more of these systems are used in safety-critical environment. Model based safety analysis can help with this problem by giving provably correct and complete results, very often in a fully automatic way. Today, such methods can cope with logical as well as probabilistic questions. However, very often the models used in many model based approaches must be specified in different input languages depending on the chosen verification tool for the desired aspect, which is time consuming and often error-prone. In this paper, we report on our experiences in designing a tool independent specification language (SAML) for model based safety analysis. This allows to use only one model and analyze it with different methods and different verification engines, while guaranteeing the equivalence of the analyzed models. In particular, we discuss challenges and possible solutions to integrate SAML in the development process of real systems.

Published
2012

224. Berufliche Rehabilitation: Fakten - Analysen - Entwicklungstendenzen; Evaluation von Leistungen zur Teilhabe behinderter Menschen am Arbeitsleben; Zwischenbericht

Author

Schattat, Bettina, Dony, Elke, Gruber, Stefan, Jasim, Alaa, Rauch, Angela, Schmelzer, Paul, Schneider, Andreas, Titze, Nancy, Thomsen, Ulrich, Zapfel, Stefan, Zimmermann, Ralf, Sommer, Jörn, Gericke, Thomas, Frank, Wilma, Matthes, Stephanie, Ekert, Stefan, Thomsen, Stephan L., Bundesministerium für Arbeit und Soziales, Institut für Arbeitsmarkt- und Berufsforschung der Bundesagentur für Arbeit (IAB), Otto-von-Guericke-Universität Magdeburg, Fak. für Humanwissenschaften, Institut für Erziehungswissenschaft, Lehrstuhl für Soziale und Berufliche Rehabilitation, Niedersächsisches Institut für Wirtschaftsforschung e.V. -NIW, and InterVal GmbH

Subjects
gainful employment, Sozialleistung, Economics, social benefits, self-determination, Labor Market Policy, Federal Republic of Germany, Sozialpolitik, Social Security, social policy, Erwerbstätigkeit, physical disability, vocational rehabilitation, ddc:330, handicapped, equal treatment, participation, soziale Sicherung, Partizipation, Evaluation, Social sciences, sociology, anthropology, berufliche Integration, Chancengleichheit, equal opportunity, Förderungsmaßnahme, Sozialwissenschaften, Soziologie, Körperbehinderung, Wirtschaft, occupational integration, Selbstbestimmung, Arbeitsmarktpolitik, Bundesrepublik Deutschland, Behinderter, mental disability, geistige Behinderung, promotional measure, ddc:300, berufliche Rehabilitation, Gleichbehandlung
Abstract

Die Leistungen zur Teilhabe behinderter Menschen am Arbeitsleben in den Bereichen der Arbeitsförderung und der Grundsicherung für Arbeitsuchende sind eine bedeutende Komponente der Arbeitsmarktpolitik. Mit der mehrstufig angelegten Evaluation von Leistungen zur Teilhabe behinderter Menschen am Arbeitsleben sollen Ansatzpunkte für die Optimierung der praktischen Umsetzung und die Fortentwicklung des rechtlichen Rahmens dieser Leistungen ermittelt werden. Bislang wurden drei Forschungsmodule durchgeführt. Deren Ergebnisse werden mit dem hier vorliegenden Bericht veröffentlicht. Inhaltsverzeichnis: Teil A: Basisstudie zur Evaluation von Leistungen zur Teilhabe behinderter Menschen am Arbeitsleben; Zusammenfassender Bericht. Teil B: Implementationsstudie 1 zur Evaluation von Leistungen zur Teilhabe behinderter Menschen am Arbeitsleben; Zusammenfassender Bericht. Teil C: Beratung zu wirkungsanalytischen Ansätzen für die Evaluation von Leistungen zur Teilhabe behinderter Menschen am Arbeitsleben: Zusammenfassender Bericht.

Published
2012

225. Experimental investigation of drying by pore networks: influence of pore size distribution and temperature

Author

Vorhauer, Nicole, Metzger, Thomas, Tsotsas, Evangelos, Prat, Marc, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Otto Von Guericke Universität Magdeburg - OVGU (GERMANY), and Institut de Mécanique des Fluides de Toulouse - IMFT (Toulouse, France)

Subjects
Bimodal, Pore network, Mécanique des fluides, Porous media, Imposed temperature gradient, Etched micro model, Drying
Abstract

Isothermal and non-isothermal drying of pore structures has been experimentally investigated using 2D square network models of interconnected etched channels with different (Gaussian) distributions of the channel width. In experiments with imposed temperature gradients, the temperatures either increase from the open side of the network with increasing network depth (referred to as the positive temperature gradient) or the temperatures decrease with increasing distance from the network opening (i.e. a negative temperature gradient). Experiments reveal that the observed phase patterns, or the distributions of liquid and gas, during drying are significantly depending on the direction of the temperature gradient; but also the presence of macro channels can have a strong effect on the phase patterns as well as on drying time.

Published
2012

226. Notch-3 receptor activation drives inflammation and fibrosis following tubulointerstitial kidney injury.: Notch-3 receptor and inflammatory kidney diseases

Author

Djudjaj, Sonja, Chatziantoniou, Christos, Raffetseder, Ute, Guerrot, Dominique, Dussaule, Jean-Claude, Boor, Peter, Kerroch, Monique, Hanssen, Lydia, Brandt, Sabine, Dittrich, Anne-Marie, Ostendorf, Tammo, Floege, Jürgen, Zhu, Cheng, Lindenmeyer, Maja, Cohen, Clemens, Mertens, Peter, Chatziantoniou, Christos, Department of Nephrology and Immunology, Rheinisch-Westfälische Technische Hochschule Aachen University (RWTH), Department of Nephrology and Hypertension, Diabetes and Endocrinology, Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), Remodelage et Reparation du Tissu Renal, Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut National de la Santé et de la Recherche Médicale (INSERM), Department of Pathology, Institute of Molecular Biomedicine, Comenius University in Bratislava, Department of Medical Microbiology, Division of nephrology and Institute of Physiology, Universität Zürich [Zürich] = University of Zurich (UZH), and This work was supported by fellowship grants from the ERA-ETDA (to S.D.), DFG SFB 854 project 01 (to P.R.M.) and DFG Sachbeihilfeantrag 1365/7-1 (to P.R.M.). C.C. received INSERM funding. U.R was funded by the Else-Kröner-Fresenius- Stiftung.

Subjects
MESH: Signal Transduction, MESH: Inflammation, MESH: Rats, proliferation, MESH: Receptor, Notch1, MESH: Mice, Knockout, [SDV.MHEP.UN]Life Sciences [q-bio]/Human health and pathology/Urology and Nephrology, MESH: Biopsy, MESH: Mice, Inbred C57BL, MESH: Cell Proliferation, MESH: Up-Regulation, MESH: Animals, chemotaxis, MESH: Intercellular Signaling Peptides and Proteins, MESH: Mice, MESH: Transforming Growth Factor beta, Kidney diseases, MESH: Humans, urogenital system, fibrosis, MESH: Kidney, [SDV.MHEP.UN] Life Sciences [q-bio]/Human health and pathology/Urology and Nephrology, MESH: Cell Line, tubular cells, inflammation, Notch receptors, MESH: Fibrosis, MESH: Membrane Proteins, MESH: Ureteral Obstruction, MESH: Disease Models, Animal, MESH: Nephritis, Interstitial, MESH: Receptors, Notch, MESH: Female
Abstract

International audience; Kidney diseases impart a vast burden on affected individuals and the overall health care system. Progressive loss of renal parenchymal cells and functional decline following injury are often observed. Notch-1 and -2 receptors are crucially involved in nephron development and contribute to inflammatory kidney diseases. We specifically determined the participation of receptor Notch-3 following tubulointerstitial injury and in inflammatory responses. Here we show by heat map analyses that Notch-3 transcripts are up-regulated in human kidney diseases. A similar response was corroborated with kidney cells following TGF-β exposure in vitro. The murine unilateral ureteral obstruction (UUO) model mirrors hallmarks of tubulointerstitial injury and damage. A subset of tubular and interstitial cells demonstrated up-regulated Notch-3 receptor expression in diseased animals. We hypothesized a relevance of Notch-3 receptors for the chemotactic response. To address this question, animals with genetic ablation of receptor Notch-3 were analysed following UUO. As a result, we found that Notch-3-deficient animals are protected from tubular injury and cell loss with significantly reduced interstitial collagen deposition. Monocytic cell infiltration was significantly reduced and retarded, likely due to abrogated chemokine synthesis. A cell model was set up that mimics enhanced receptor Notch-3 expression and activation. Here a pro-mitogenic response was seen with activated signalling in tubular cells and fibroblasts. In conclusion, Notch-3 receptor fulfils non-redundant roles in the inflamed kidney that may not be replaced by other Notch receptor family members. Thus, specific blockade of this receptor may be suitable as therapeutic option to delay progression of kidney disease.

Published
2012
Full Text
View/download PDF

227. Fractal Phase Distribution and Drying: Impact on Two-Phase Zone Scaling and Drying Time Scale Dependence

Author

Evangelos Tsotsas, Stéphanie Veran-Tissoires, Nicole Vorhauer, Thomas Metzger, Marc Prat, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), and Otto Von Guericke Universität Magdeburg - OVGU (GERMANY)

Subjects
Characteristic lengths, Materials science, Scale (ratio), General Chemical Engineering, Mécanique des fluides, Evaporation, Pore network model, Fractal, Salt crystallization, Phase (matter), Percolation, Calculus, Cluster (physics), Statistical physics, Physical and Theoretical Chemistry, Porosity, Scaling, Physics::Atmospheric and Oceanic Physics
Abstract

In an article published in 2008, Professor A.R. Mujumdar and his colleagues reviewed some applications of fractal concept on drying. As a modest continuation to this article, we give an overview on three drying-related issues where fractal aspects are present. First, we discuss within the framework of the theory of invasion percolation in a gradient the characteristic lengths that determine the extent of the hydraulically connected region during drying. It is pointed out that the scaling of this region is fundamentally different in 2D and in 3D, owing to the different percolation properties in 2D and 3D. In particular, it is shown that the fractal region only represents a small region of a drying front in 3D systems. Then a situation is described where fractal porous structures form as a result of an evaporation process. Finally, we consider drying in systems characterized by an initial fractal distribution of the liquid phase (invasion percolation cluster), a situation expected to happen in PEM fuel cells, and explore the size-dependent property of the overall drying time from pore network simulations.

Published
2012

228. Transcription initiation platforms and GTF recruitment at tissue-specific enhancers and promoters

Author

Joaquin Zacarias-Cabeza, Romain Fenouil, Marta Gut, Albane Lamy de la Chapelle, Martin Heidemann, Corinna Hintermair, Thomas K Albert, Dirk Eick, Jean-Christophe Andrau, Frederic Koch, Salvatore Spicuglia, Pierre Cauchy, Pierre Ferrier, Ivo Gut, Centre d'Immunologie de Marseille - Luminy (CIML), Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU), Centre National de Génotypage (CNG), Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Technologies avancées pour le génôme et la clinique (TAGC), Aix Marseille Université (AMU)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS), Otto-von-Guericke University [Magdeburg] (OVGU), Helmholtz-Zentrum München (HZM), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), and Helmholtz Zentrum München = German Research Center for Environmental Health

Subjects
Polyadenylation, RNA polymerase II, Enhancer RNAs, Mice, 03 medical and health sciences, chemistry.chemical_compound, 0302 clinical medicine, Structural Biology, RNA polymerase, MESH: Gene Library, Animals, Promoter Regions, Genetic, Enhancer, Molecular Biology, MESH: Neurofibromatosis 1, 030304 developmental biology, Genetics, 0303 health sciences, MESH: Humans, biology, General transcription factor, Promoter, DNA, MESH: Translocation, Genetic, 3. Good health, Cell biology, MESH: Cell Line, Enhancer Elements, Genetic, chemistry, MESH: DNA Transposable Elements, biology.protein, [SDV.IMM]Life Sciences [q-bio]/Immunology, CpG Islands, RNA Polymerase II, Transcription Factors, General, Transcription Initiation Site, Transcription factor II D, MESH: Chromosome Mapping, MESH: Chromosomes, Human, Pair 17, 030217 neurology & neurosurgery
Abstract

International audience; Recent work has shown that RNA polymerase (Pol) II can be recruited to and transcribe distal regulatory regions. Here we analyzed transcription initiation and elongation through genome-wide localization of Pol II, general transcription factors (GTFs) and active chromatin in developing T cells. We show that Pol II and GTFs are recruited to known T cell-specific enhancers. We extend this observation to many new putative enhancers, a majority of which can be transcribed with or without polyadenylation. Importantly, we also identify genomic features called transcriptional initiation platforms (TIPs) that are characterized by large areas of Pol II and GTF recruitment at promoters, intergenic and intragenic regions. TIPs show variable widths (0.4-10 kb) and correlate with high CpG content and increased tissue specificity at promoters. Finally, we also report differential recruitment of TFIID and other GTFs at promoters and enhancers. Overall, we propose that TIPs represent important new regulatory hallmarks of the genome.

Published
2011
Full Text
View/download PDF

229. Robustness of Prediction Based Delay Compensation for Nonlinear Systems

Author

Jürgen Pannek, Rolf Findeisen, Paolo Varutti, Lars Grüne, Institute for Automation Engineering (IFAT), Otto-von-Guericke University [Magdeburg] (OVGU), Mathematisches Institut [Bayreuth], Universität Bayreuth, Curtin University [Perth], Planning and Transport Research Centre (PATREC), European Project: 264735,EC:FP7:PEOPLE,FP7-PEOPLE-2010-ITN,SADCO(2011), and Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
0209 industrial biotechnology, Computer science, Perturbation (astronomy), robustness, 02 engineering and technology, Systems and Control (eess.SY), 020901 industrial engineering & automation, Robustness (computer science), Control theory, 0502 economics and business, FOS: Mathematics, FOS: Electrical engineering, electronic engineering, information engineering, Mathematics - Optimization and Control, Delay, 050210 logistics & transportation, Observational error, ISS, Network packet, 05 social sciences, information loss, stability, Nonlinear system, Model predictive control, Optimization and Control (math.OC), nonlinear, Computer Science - Systems and Control, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Actuator, predictive control
Abstract

Control of systems where the information between the controller, actuator, and sensor can be lost or delayed can be challenging with respect to stability and performance. One way to overcome the resulting problems is the use of prediction based compensation schemes. Instead of a single input, a sequence of (predicted) future controls is submitted and implemented at the actuator. If suitable, so-called prediction consistent compensation and control schemes, such as certain predictive control approaches, are used, stability of the closed loop in the presence of delays and packet losses can be guaranteed. In this paper, we show that control schemes employing prediction based delay compensation approaches do posses inherent robustness properties. Specifically, if the nominal closed loop system without delay compensation is ISS with respect to perturbation and measurement errors, then the closed loop system employing prediction based delay compensation techniques is robustly stable. We analyze the influence of the prediction horizon on the robustness gains and illustrate the results in simulation., 6 pages, 3 figures

Published
2011
Full Text
View/download PDF

230. Plateau borders of smectic liquid crystalline films

Author

Torsten Trittel, Ralf Stannarius, Ruth Aldred, Institut für Experiemntelle Physik, Otto-von-Guericke-Universität Magdeburg, School of Physics, University of Exeter, and Institut für Experimentelle Physik

Subjects
Materials science, Condensed matter physics, Tension (physics), business.industry, Liquid crystalline, 02 engineering and technology, 021001 nanoscience & nanotechnology, Condensed Matter Physics, Plateau (mathematics), 01 natural sciences, Planar, Optics, Liquid crystal, 0103 physical sciences, Physical Sciences, Soap film, Thin film, [PHYS.COND]Physics [physics]/Condensed Matter [cond-mat], 010306 general physics, 0210 nano-technology, business, Line (formation)
Abstract

International audience; We investigate the geometrical properties of Plateau borders in an arrangement of connected smectic A free standing films. The geometry is chosen such that a circular Plateau border surrounds a planar smectic film and connects it with two smectic catenoids. It is demonstrated that similar to soap films, the smectic film geometry can be described by a negative line tension of the circular contact region. Thus, the equilibrium angle between the films depends upon the liquid content in this region, and with increasing liquid content, deviations from Plateau's rule are observed. The experimental results are qualitatively comparable to soap films. A possible origin of slight quantitative differences is discussed.

Published
2011
Full Text
View/download PDF

231. Optimal estimates from below for biharmonic Green functions

Author

Frédéric Robert, Hans-Christoph Grunau, Guido Sweers, Otto-von-Guericke University [Magdeburg] (OVGU), Institut Élie Cartan de Nancy (IECN), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Mathematisches Institut, Universität zu Köln, Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), and Universität zu Köln = University of Cologne

Subjects
Pointwise, Asymptotic analysis, Applied Mathematics, General Mathematics, 010102 general mathematics, Mathematical analysis, Boundary (topology), 01 natural sciences, symbols.namesake, Singularity, Mathematics - Analysis of PDEs, Bounded function, Dirichlet boundary condition, 0103 physical sciences, Primary 35B51, Secondary 35J40, 35A08, FOS: Mathematics, Biharmonic equation, symbols, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], 010307 mathematical physics, 0101 mathematics, 35B51, 35J40, 35A08, Analysis of PDEs (math.AP), Mathematics, Harnack's inequality
Abstract

Optimal pointwise estimates are derived for the biharmonic Green function under Dirichlet boundary conditions in arbitrary $C^{4,\gamma}$-smooth domains. Maximum principles do not exist for fourth order elliptic equations and the Green function may change sign. It prevents using a Harnack inequality as for second order problems and hence complicates the derivation of optimal estimates. The present estimate is obtained by an asymptotic analysis. The estimate shows that this Green function is positive near the singularity and that a possible negative part is small in the sense that it is bounded by the product of the squared distances to the boundary., Comment: 11 pages. To appear in "Proceedings of the AMS"

Published
2011
Full Text
View/download PDF

232. Endogenous Timing in General Rent‐Seeking and Conflict Models

Author

Rota-Graziosi, Grégoire, Hoffmann, Magnus, Etudes & Documents - Publications, CERDI, Centre d'Études et de Recherches sur le Développement International (CERDI), Université d'Auvergne - Clermont-Ferrand I (UdA)-Centre National de la Recherche Scientifique (CNRS), Department of Economics (Department of Economics), Otto-von-Guericke University [Magdeburg] (OVGU), and Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
Contests, Endogenous timing, JEL: D - Microeconomics/D.D3 - Distribution/D.D3.D30 - General, Contests,Endogenous timing,Endogenous prize, JEL: C - Mathematical and Quantitative Methods/C.C7 - Game Theory and Bargaining Theory/C.C7.C72 - Noncooperative Games, JEL: D - Microeconomics/D.D2 - Production and Organizations/D.D2.D23 - Organizational Behavior • Transaction Costs • Property Rights, [SHS.ECO]Humanities and Social Sciences/Economics and Finance, Endogenous prize, [SHS.ECO] Humanities and Social Sciences/Economics and Finance
Abstract

This paper examines simultaneous versus sequential choice of effort in a twoplayer contest with a general contest success function. The timing of moves, determined in a pre‐play stage prior to the contest‐subgame, as well as the value of the prize is allowed to be endogenous. Contrary to endogenous timing models with an exogenously fixed prize the present paper finds the following. (1) Players may decide to choose their effort simultaneously in the subgame perfect equilibrium (SPE) of the extended game, (2) the SPE does not need to be unique, (3) in particular, there is no unique SPE with sequential moves if costs of effort are exclusively endogenously determined, (4) if the unique SPE is sequential play, the win probability in the NE is in no way crucial for the determination of an endogenous leadership, (5) and symmetry among players does not rule out incentives for precommitment to effort locally away from the Nash‐Cournot level

Published
2011

233. Inter-Model Consistency and Complementarity: Learning from ex-vivo Imaging and Electrophysiological Data towards an Integrated Understanding of Cardiac Physiology

Author

Gernot Plank, Jatin Relan, Pengcheng Shi, Nicholas Ayache, Rafael Sebastian, Mihaela Pop, Hervé Delingette, Nicolas P. Smith, Heye Zhang, Oscar Camara, Pablo Lamata, Ali Pashaei, Ken C. L. Wong, Maxime Sermesant, Daniel Romero, Linwei Wang, Huafeng Liu, Graham A. Wright, Alejandro F. Frangi, Steven A. Niederer, M. De Craene, Center for Computational Imaging and Simulation Technologies in Biomedicine (CISTIB), Universitat Pompeu Fabra [Barcelona] (UPF), Biomedical Research Networking Center in Bioengineering, Biomaterials and Nanomedicine (CIBER-BBN), Instituto de Salud Carlos III [Madrid] (ISC)-ministerio de ciencia e innovacion, Analysis and Simulation of Biomedical Images (ASCLEPIOS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), School of Biomedical Engineering & Imaging Sciences [London], Guy's and St Thomas' Hospital [London]-King‘s College London, Department of Computer Science [Oxford], University of Oxford, Laboratoire de chimie bactérienne (LCB), Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Spectrométrie Physique (LSP), Université Joseph Fourier - Grenoble 1 (UJF)-Centre National de la Recherche Scientifique (CNRS), Biomécanique et Bioingénierie (BMBI), Université de Technologie de Compiègne (UTC)-Centre National de la Recherche Scientifique (CNRS), Department of Physics [Toronto], University of Toronto, Imaging Research [Sunnybrook], University of Toronto-Sunnybrook Health Sciences Centre, Laboratoire Structures, Propriétés et Modélisation des solides (SPMS), Institut de Chimie du CNRS (INC)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Institut d’Électronique, de Microélectronique et de Nanotechnologie - UMR 8520 (IEMN), Centrale Lille-Institut supérieur de l'électronique et du numérique (ISEN)-Université de Valenciennes et du Hainaut-Cambrésis (UVHC)-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF), Beijing Institute of Technology (BIT), Institute of Biophysics [Graz], Medical University Graz, Computational Multi-Scale Physiology Lab [Valencia], Universitat de València (UV), Institut des Sciences Chimiques de Rennes (ISCR), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Ecole Nationale Supérieure de Chimie de Rennes (ENSCR)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS), Institut de biologie et chimie des protéines [Lyon] (IBCP), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Biologie moléculaire et cellulaire de la différenciation, Université Joseph Fourier - Grenoble 1 (UJF)-Institut Albert Bonniot-Institut National de la Santé et de la Recherche Médicale (INSERM), Centre de Physique des Particules de Marseille (CPPM), Aix Marseille Université (AMU)-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS), Department of Chemistry [HKUST], Hong Kong University of Science and Technology (HKUST), Institució Catalana de Recerca i Estudis Avançats (ICREA), Institute of Simulation and Graphics [Magdeburg], Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), Computational Biomedicine Laboratory [Rochester], Rochester Institute of Technology, Department of Medical Biophysics (MBP), King‘s College London-Guy's and St Thomas' Hospital [London], University of Oxford [Oxford], Centre National de la Recherche Scientifique (CNRS)-Institut de Chimie du CNRS (INC)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Ecole Nationale Supérieure de Chimie de Rennes (ENSCR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), and Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
Time Factors, Computer science, Swine, [SDV.IB.IMA]Life Sciences [q-bio]/Bioengineering/Imaging, Biophysics, 030204 cardiovascular system & hematology, In Vitro Techniques, computer.software_genre, Models, Biological, Biophysical Phenomena, Personalization, Membrane Potentials, Diffusion, Purkinje Fibers, 03 medical and health sciences, 0302 clinical medicine, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, Optical mapping, Maximum a posteriori estimation, [INFO.INFO-IM]Computer Science [cs]/Medical Imaging, Animals, Molecular Biology, 030304 developmental biology, 0303 health sciences, Computational model, Cardiac electrophysiology, business.industry, Experimental data, Reproducibility of Results, Heart, Magnetic Resonance Imaging, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Electrophysiological Phenomena, Systems Integration, System integration, Artificial intelligence, Data mining, business, computer, Pericardium, [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing
Abstract

International audience; Computational models of the heart at various scales and levels of complexity have been independently developed, parameterised and validated using a wide range of experimental data for over four decades. However, despite remarkable progress, the lack of coordinated efforts to compare and combine these computational models has limited their impact on the numerous open questions in cardiac physiology. To address this issue, a comprehensive dataset has previously been made available to the community that contains the cardiac anatomy and fibre orientations from magnetic resonance imaging as well as epicardial transmembrane potentials from optical mapping measured on a perfused ex-vivo porcine heart. This data was used to develop and customize four models of cardiac electrophysiology with different level of details, including a personalized fast conduction Purkinje system, a maximum a posteriori estimation of the 3D distribution of transmembrane potential, the personalization of a simplified reaction-diffusion model, and a detailed biophysical model with generic conduction parameters. This study proposes the integration of these four models into a single modelling and simulation pipeline, after analyzing their common features and discrepancies. The proposed integrated pipeline demonstrates an increase prediction power of depolarization isochrones in different pacing conditions.

Published
2011
Full Text
View/download PDF

234. Weak solutions to the continuous coagulation equation with multiple fragmentation

Author

Gerald Warnecke, Ankik Kumar Giri, Philippe Laurençot, Institute for Applied Mathematics, Montan University Leoben, University of Leoben (MU), Institut de Mathématiques de Toulouse UMR5219 (IMT), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS), Institute for Analysis and Numerics, Otto-von-Guericke University Magdeburg, Otto-von-Guericke University [Magdeburg] (OVGU), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS), and Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
genetic structures, information science, Existence, 01 natural sciences, Article, Singularity, Mathematics - Analysis of PDEs, Weak compactness, FOS: Mathematics, Coagulation (water treatment), [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], natural sciences, 0101 mathematics, 45K05, 82C21, Nuclear Experiment, Physics::Atmospheric and Oceanic Physics, Mathematics, Coagulation, Applied Mathematics, 010102 general mathematics, Mathematical analysis, digestive, oral, and skin physiology, Fragmentation (computing), food and beverages, Multiple fragmentation, 010101 applied mathematics, Unbounded kernels, Kernel (statistics), Astrophysics::Earth and Planetary Astrophysics, Analysis, Analysis of PDEs (math.AP)
Abstract

The existence of weak solutions to the continuous coagulation equation with multiple fragmentation is shown for a class of unbounded coagulation and fragmentation kernels, the fragmentation kernel having possibly a singularity at the origin. This result extends previous ones where either boundedness of the coagulation kernel or no singularity at the origin for the fragmentation kernel were assumed.

Published
2011
Full Text
View/download PDF

235. Endogenous timing game with non-monotonic reaction functions

Author

Rota-Graziosi, Grégoire, Hoffmann, Magnus, Etudes & Documents - Publications, CERDI, Centre d'Études et de Recherches sur le Développement International (CERDI), Université d'Auvergne - Clermont-Ferrand I (UdA)-Centre National de la Recherche Scientifique (CNRS), Department of Economics (Department of Economics), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), and Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
JEL: L - Industrial Organization/L.L1 - Market Structure, Firm Strategy, and Market Performance/L.L1.L13 - Oligopoly and Other Imperfect Markets, endogenous timing game, jel:C72, Subgame Perfect Nash Equilibrium, second-mover incentive, jel:D43, [SHS.ECO]Humanities and Social Sciences/Economics and Finance, first-mover advantage, JEL: D - Microeconomics/D.D4 - Market Structure, Pricing, and Design/D.D4.D43 - Oligopoly and Other Forms of Market Imperfection, jel:L13, JEL: C - Mathematical and Quantitative Methods/C.C7 - Game Theory and Bargaining Theory/C.C7.C72 - Noncooperative Games, first-mover advantage,endogenous timing game,second-mover incentive,Subgame Perfect Nash Equilibrium, [SHS.ECO] Humanities and Social Sciences/Economics and Finance, Endogenous timing game, ?rst-mover advantage, Second-mover incentive, Subgame Perfect Nash Equilibrium
Abstract

The aim of this paper is to generalize the endogenous timing game proposed by Hamilton and Slutsky (1990) to cases where the reaction functions are non-motononic, as for instance in the literature on contest. Following the taxonomy of social dilemma provided by Eaton (2004) we consider several pos- sible situations depending on the nature of interactions (plain complementarity or plain substituability and strategic complementarity or strategic substitutability). Under the assumptions of the existence and the uniqueness of the Nash and Stackelberg equilibria, we highlight the presence of a first-mover advantage or a second-mover incentive only depending on the nature of cross-effects in players' payoff functions and the slopes of their reaction functions at the Nash equilibrium of the static game. These properties allow us to determine rigorously the Subgame Perfect Nash Equilibrium (SPNE) in the ten studied situations. We establish under which conditions on the nature of interactions a leader emerges at the SPNE

Published
2011

236. Musik für interaktive Medien: Arrangement- und Interpretationstechniken

Author

Berndt, Axel, Theisel, Holger, Nürnberger, Andreas, Knolle, Niels, and Otto-von-Guericke-Universität Magdeburg

Subjects
ddc:780, nichtlineare Musik, Vertonung, Komposition, Arrangement, game music, game scoring, Spielemusik
Abstract

Musik kommt bei der Vertonung interaktiver Medien in vielerlei Weise zum Einsatz. Dabei stellt die interaktive Beeinflussung der Musik die größte Herausforderung dar. Dieser sogenannten nichtlinearen Musik wird eine flexible Wandelbarkeit abverlangt, sogar noch während sie spielt. Die vorliegende Arbeit geht auf einige medientheoretische Fragestellungen ein und stellt technische Lösungen vor. Es werden die unterschiedlichen Erscheinungsformen und Aufgaben der Musik in interaktiven Medien behandelt. Die technischen Herangehensweisen an nichtlineare Musik werden systematisiert und zwei Lösungsansätze vorgestellt, der Echtzeit-Arrangeur und das reaktive Orchester. Diese arbeiten auf der Ebene des Arrangements und der ausdrucksvollen Interpretation. Es werden Modelle zur Beschreibung interpretatorischer Merkmale entwickelt, die auch musikwissenschaftliche und musikpsychologische Relevanz und Anwendungen haben. Music is applied in manifold ways in scoring interactive media. The biggest challenge in this respect is posed by the interactive manipulation of music. This so-called nonlinear music must provide for flexible mutability even while it is playing. The following research study addresses some media-theoretical issues and presents technical approaches. The different manifestations and functions of music in interactive media are treated. The technical approaches to nonlinear music are systematized, and two solutions to the problem of flexible mutability are elaborated: the Realtime Arranger and the Reactive Orchestra. These are shown to operate at the level of arrangement and expressive performance. Models are developed for the description of the performance features. These models are of relevance and have applications in the fields of musicology and music psychology.

Published
2011

237. Production of Extracellular Traps against Aspergillus fumigatus In Vitro and in Infected Lung Tissue Is Dependent on Invading Neutrophils and Influenced by Hydrophobin RodA

Author

Jean-Paul Latgé, Andreas Thywissen, Axel A. Brakhage, Olaf Kniemeyer, Vishukumar Aimanianda, Sandor Nietzsche, Mike Hasenberg, Andreas Jeron, Sandra Bruns, Matthias Gunzer, Leibniz Institute for Natural Product Research and Infection Biology (Hans Knoell Institute), Friedrich-Schiller-Universität = Friedrich Schiller University Jena [Jena, Germany], Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), Aspergillus, Institut Pasteur [Paris] (IP), Helmholtz-Institute for Infection Research [Braunschweig] (HZI), Otto-von-Guericke University [Magdeburg] (OVGU), Institut Pasteur [Paris], and Department of Molecular and Applied Microbiology, Leibniz Institute for Natural Product Research and Infection Biology-Hans-Knoell-Institute (HKI), Jena, Germany.

Subjects
lcsh:Immunologic diseases. Allergy, Extracellular Traps, Hypha, Neutrophils, Phagocytosis, Immunology, Immunology/Innate Immunity, Hyphae, Medizin, Fluorescent Antibody Technique, Biology, Microbiology, Aspergillus fumigatus, Fungal Proteins, 03 medical and health sciences, Mice, 0302 clinical medicine, In vivo, Cell Wall, Virology, Immunology/Immunity to Infections, Genetics, Extracellular, Animals, Humans, Immunology/Cellular Microbiology and Pathogenesis, Molecular Biology, lcsh:QH301-705.5, [SDV.MP.MYC]Life Sciences [q-bio]/Microbiology and Parasitology/Mycology, 0303 health sciences, Fungal protein, Microscopy, Confocal, 030306 microbiology, Neutrophil extracellular traps, Spores, Fungal, biology.organism_classification, 3. Good health, Microbiology/Immunity to Infections, Microscopy, Fluorescence, lcsh:Biology (General), Microscopy, Electron, Scanning, Parasitology, Pulmonary Aspergillosis, Microbiology/Cellular Microbiology and Pathogenesis, lcsh:RC581-607, 030215 immunology, Research Article
Abstract

Aspergillus fumigatus is the most important airborne fungal pathogen causing life-threatening infections in immunocompromised patients. Macrophages and neutrophils are known to kill conidia, whereas hyphae are killed mainly by neutrophils. Since hyphae are too large to be engulfed, neutrophils possess an array of extracellular killing mechanisms including the formation of neutrophil extracellular traps (NETs) consisting of nuclear DNA decorated with fungicidal proteins. However, until now NET formation in response to A. fumigatus has only been demonstrated in vitro, the importance of neutrophils for their production in vivo is unclear and the molecular mechanisms of the fungus to defend against NET formation are unknown. Here, we show that human neutrophils produce NETs in vitro when encountering A. fumigatus. In time-lapse movies NET production was a highly dynamic process which, however, was only exhibited by a sub-population of cells. NETosis was maximal against hyphae, but reduced against resting and swollen conidia. In a newly developed mouse model we could then demonstrate the existence and measure the kinetics of NET formation in vivo by 2-photon microscopy of Aspergillus-infected lungs. We also observed the enormous dynamics of neutrophils within the lung and their ability to interact with and phagocytose fungal elements in situ. Furthermore, systemic neutrophil depletion in mice almost completely inhibited NET formation in lungs, thus directly linking the immigration of neutrophils with NET formation in vivo. By using fungal mutants and purified proteins we demonstrate that hydrophobin RodA, a surface protein making conidia immunologically inert, led to reduced NET formation of neutrophils encountering Aspergillus fungal elements. NET-dependent killing of Aspergillus-hyphae could be demonstrated at later time-points, but was only moderate. Thus, these data establish that NET formation occurs in vivo during host defence against A. fumigatus, but suggest that it does not play a major role in killing this fungus. Instead, NETs may have a fungistatic effect and may prevent further spreading., Author Summary The fungus Aspergillus fumigatus grows on decaying organic matter and produces large numbers of spores, called conidia, which are constantly inhaled by humans. This is harmless, because we have a functioning defence system of immune cells called neutrophil granulocytes, but people with too few or non-functioning neutrophils can die of Aspergillus infections. Neutrophils invade the lung, engulf/phagocytose and thereby kill conidia. Dying neutrophils can also throw their nuclear DNA on hyphal elements as NETs (Neutrophil Extracellular Traps) that are decorated with antimicrobial proteins. Thus, larger fungal amounts, including tissue-invading hyphae, can still be controlled. However, until today the formation of NETs has not been demonstrated in Aspergillus-infected lungs, the role of neutrophils for this process was unknown and whether the fungus has anti-NET defence strategies on its own was not clear. We demonstrate here the existence of NETs in Aspergillus-infected lungs, show that neutrophils produce these structures and that they phagocytose fungal elements within the lung tissue. Furthermore, we show that Aspergillus camouflages its spores by means of the surface protein hydrophobin RodA, which is able to strongly prevent NET formation by neutrophils. These studies shed new light on the dynamics and molecular mechanisms of this key process of host-pathogen interaction. Although these data establish that NET formation occurs in vivo during host defence against A. fumigatus, we suggest that NET formation does not play a major role in killing this fungus.

Published
2010
Full Text
View/download PDF

238. Clique and chromatic number of circular-perfect graphs

Author

Pêcher, Arnaud, Wagler, Annegret K., Reformulations based algorithms for Combinatorial Optimization (Realopt), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Institut de Mathématiques de Bordeaux (IMB), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Algorithmes Parallèles et Optimisation (IRIT-APO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institute for Mathematical Optimization (IMO), Otto-von-Guericke University [Magdeburg] (OVGU), ANR-09-BLAN-0373,GraTel(2009), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Institut de Mathématiques de Bordeaux (IMB), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Inria Bordeaux - Sud-Ouest, Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), and Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
[SHS.INFO]Humanities and Social Sciences/Library and information sciences, ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
2010

239. On facets of stable set polytopes of claw-free graphs with stability number three

Author

Pêcher, Arnaud, Wagler, Annegret K., Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Reformulations based algorithms for Combinatorial Optimization (Realopt), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Institut de Mathématiques de Bordeaux (IMB), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institute for Mathematical Optimization (IMO), Otto-von-Guericke University [Magdeburg] (OVGU), ANR-09-BLAN-0373,GraTel(2009), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Institut de Mathématiques de Bordeaux (IMB), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Inria Bordeaux - Sud-Ouest, and Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
2010
Full Text
View/download PDF

240. Activity-dependent dendritic release of BDNF and biological consequences

Author

Jean-Luc Gaiarsa, Igor Medina, Nicola Kuczewski, Volkmar Lessmann, Christophe Porcher, Institut de Neurobiologie de la Méditerranée [Aix-Marseille Université] (INMED - INSERM U1249), Institut National de la Santé et de la Recherche Médicale (INSERM)-Aix Marseille Université (AMU), Institute of Physiology, Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), Tyzio, Roman, Aix Marseille Université (AMU)-Institut National de la Santé et de la Recherche Médicale (INSERM), and Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
Neuroscience (miscellaneous), Action Potentials, Nonsynaptic plasticity, Cell Communication, [SDV.BC]Life Sciences [q-bio]/Cellular Biology, MESH: Brain-Derived Neurotrophic Factor, MESH: Dendrites, Article, MESH: Synapses, 03 medical and health sciences, Cellular and Molecular Neuroscience, 0302 clinical medicine, Neurotrophic factors, Neuroplasticity, Metaplasticity, MESH: Cell Communication, Animals, MESH: Animals, [SDV.BC] Life Sciences [q-bio]/Cellular Biology, MESH: Action Potentials, 030304 developmental biology, 0303 health sciences, Synaptic scaling, biology, Brain-Derived Neurotrophic Factor, Dendrites, Synaptic fatigue, Neurology, nervous system, Synapses, Synaptic plasticity, biology.protein, Neuroscience, 030217 neurology & neurosurgery, Neurotrophin
Abstract

International audience; Network construction and reorganization is modulated by the level and pattern of synaptic activity generated in the nervous system. During the past decades, neurotrophins, and in particular brain-derived neurotrophic factor (BDNF), have emerged as attractive candidates for linking synaptic activity and brain plasticity. Thus, neurotrophin expression and secretion are under the control of activity-dependent mechanisms and, besides their classical role in supporting neuronal survival neurotrophins, modulate nearly all key steps of network construction from neuronal migration to experience-dependent refinement of local connections. In this paper, we provide an overview of recent findings showing that BDNF can serve as a target-derived messenger for activity-dependent synaptic plasticity and development at the single cell level.

Published
2009
Full Text
View/download PDF

241. Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications

Author

Gunter Saake, Kamel Barkaoui, Nasreddine Aoumeur, Otto-von-Guericke-Universität Magdeburg, Centre d'études et de recherche en informatique et communications (CEDRIC), and Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM)

Subjects
Correctness, Computer science, 0102 computer and information sciences, 02 engineering and technology, Software prototyping, computer.software_genre, 01 natural sciences, rewriting logic and MAUDE, Software, Unified Modeling Language, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Leverage (statistics), [INFO]Computer Science [cs], computer.programming_language, Programming language, business.industry, 020207 software engineering, Software product lines, Petri net, Feature modelling and evolution, 010201 computation theory & mathematics, Rewriting, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], business, computer, Component-based Petri nets
Abstract

With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured through offered features, where consistent composition and dynamic variability are the driving forces. We contribute to these two challenging problems when distribution and correctness are at stake. First, we soundly specify and validate any feature-oriented requirements using a component-based Petri nets framework referred to as co-nets. For rapid-prototyping, we semantically interpret in true-concurrent rewriting logic. For consistently composing features, a flexible feature-algebra is proposed. Finally, for runtime adaptability and integration of features, we leverage co-nets with an explicit aspectual-level, where features can be dynamically (un)woven on running components. The approach is thoroughly explained using a feature-intensive multi-lift system.

Published
2009
Full Text
View/download PDF

242. Quality of life after successful treatment of early-stage Hodgkin's lymphoma: 10-year follow-up of the EORTC-GELA H8 randomised controlled trial

Author

Heutte, Natacha, Flechtner, Henning H., Mounier, Nicolas, Mellink, Wilhelmina A. M., Meerwaldt, Jacobus H., Eghbali, Houchingue, van't Veer, Mars B., Noordijk, Evert M., Kluin-Nelemans, Johanna C., Lampka, Elzbieta, Thomas, Jose, Lugtenburg, Pieternella J., Viterbo, Luisa, Carde, Patrice, Hagenbeek, Anton, van der Maazen, Richard W.M., Smit, Wilma G.J.M., Brice, Pauline, van Kooy, Marinus Marwijk, Baars, Johanna W., Poortmans, Philip, Tirelli, Umberto, Leeksma, Onno C., Tomsic, Radka, Feugier, Pierre, Salles, Gilles, Gabarre, Jean, Kersten, Marie Jose, Van Den Neste, Eric, Creemers, Geert-Jan M., Gaillard, Isabelle, Meijnders, Paul, Tertian, Gerard, Reman, Oumedaly, Muller, Hein P., Troncy, Jacques, Blanc, Michel, Voogt, Paul J., Wijermans, Pierre, Rieux, Chantal, Ferme, Christophe, Henry-Amar, Michel, Schroyens, Wilfried, EORTC-GELA H8 Trial Group, Centre d’études des transformations des activités physiques et sportives (CETAPS), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-Institut de Recherche Interdisciplinaire Homme et Société (IRIHS), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), Gvh et Gvl : Physiopathologie Chez l'Homme et Chez l'Animal, Incidence et Role Therapeutique, Université Paris Diderot - Paris 7 (UPD7)-Institut National de la Santé et de la Recherche Médicale (INSERM), Plateforme de génétique moléculaire des cancers d'Aquitaine, Institut Bergonié [Bordeaux], UNICANCER-UNICANCER, Département de médecine oncologique [Gustave Roussy], Institut Gustave Roussy (IGR), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP), Institut Curie [Paris], Service d'Hématologie [CHRU Nancy], Centre Hospitalier Régional Universitaire de Nancy (CHRU Nancy), Laboratoire de Biologie Moléculaire de la Cellule (LBMC), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS), CHU Pitié-Salpêtrière [AP-HP], Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU), Cliniques Universitaires Saint-Luc [Bruxelles], Université Pierre Mendès France - Grenoble 2 (UPMF), Middelheim Hospital, Hématologie, AP-HP Hôpital Bicêtre (Le Kremlin-Bicêtre), CHU Henri Mondor [Créteil], École polytechnique (X), Unité de Recherche clinique [Caen], Centre Régional de Lutte contre le Cancer François Baclesse [Caen] (UNICANCER/CRLC), Normandie Université (NU)-UNICANCER-Tumorothèque de Caen Basse-Normandie (TCBN)-Normandie Université (NU)-UNICANCER-Tumorothèque de Caen Basse-Normandie (TCBN), Calvados Cancer Registry, Otto-von-Guericke University [Magdeburg] (OVGU), École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Service d'Hématologie clinique [CHU Pitié-Salpêtrière], Sorbonne Université (SU)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP), CHU Henri Mondor, Hematology, CCA -Cancer Center Amsterdam, Clinical Haematology, AII - Amsterdam institute for Infection and Immunity, and EORTC-GELA H8 Trial Group

Subjects
Adult, Male, medicine.medical_specialty, Adolescent, [SDV]Life Sciences [q-bio], MEDLINE, [SDV.CAN]Life Sciences [q-bio]/Cancer, Logistic regression, law.invention, 03 medical and health sciences, 0302 clinical medicine, Randomized controlled trial, Quality of life, SDG 3 - Good Health and Well-being, law, Translational research [ONCOL 3], medicine, Humans, 030212 general & internal medicine, Cognitive skill, Stage (cooking), ComputingMilieux_MISCELLANEOUS, Aged, business.industry, Odds ratio, Middle Aged, Hodgkin's lymphoma, medicine.disease, Hodgkin Disease, humanities, 3. Good health, Oncology, 030220 oncology & carcinogenesis, Physical therapy, Quality of Life, Female, Human medicine, business, Follow-Up Studies
Abstract

Background Little is known about the longitudinal course of health-related quality of life (HRQoL) in patients with Hodgkin's lymphoma during their post-treatment follow-up and re-adaptation to normal life. We report on the HRQoL of patients treated in the randomised H8 trial of the European Organisation for Research and Treatment of Cancer (EORTC) Lymphoma Group and the Groupe d'Études des Lymphomes de l'Adulte (GELA). We aimed to assess HRQoL and fatigue following treatment, to analyse relations with treatment, and to identify factors that predict persistent fatigue. Methods Patients received HRQoL questionnaires at the end of primary therapy and during follow-up. The EORTC QLQ-C30 was used to assess HRQoL, and the Multidimensional Fatigue Inventory (MFI-20) was used to assess fatigue. Changes of mean HRQoL scores over time were analysed with mixed models. Multiple polytomic nominal logistic regression was done to identify independent baseline predictors of fatigue within MFI-20 dimensions. Analyses were done on an intention-to-treat basis. This study is registered with www.ClinicalTrials.gov, number NCT00379041. Findings 2666 assessments from 935 patients were analysed. Mean follow-up was 90 months (range 52118). Age affected all functioning and symptom scores except emotional functioning, with younger age associated with higher functioning and lower severity of symptoms; improvement with time showed similar patterns between age groups. Women reported lower HRQoL and higher symptom scores than did men. Overall, 3·2% (14/439 for role functioning) to 9·7% (43/442 for social functioning) and 5·8% (29/498 for reduced motivation) to 9·9% (49/498 for general fatigue) of patients reported impairments of 10 points or more (on a 0100 scale) in QLQ-C30 and MFI-20 scores, respectively, independent of age and sex. Emotional domains were more affected than physical ones. There was no relation between HRQoL outcome and type of treatment. Fatigue (MFI-20 scores) at the end of treatment was the only predictive variable for persistent fatigue, with odds ratios varying from 2·58 (95% CI 1·006·67) to 41·51 (12·02143·33; p≤0·0001). Sensitivity analyses adjusting for missing data were much the same as the main results. Interpretation HRQoL data after treatment for early-stage Hodgkin's lymphoma show that patients experience strain and limitations in all subdomains apart from cognitive functioning (QLQ-C30), and also have reduced motivation (MFI-20). Differences in HRQoL improvement with time were linked to age and sex, but not type of treatment. Fatigue status at the end of treatment seems to predict subsequent HRQoL. Abstract: Background little is known about the longitudinal course of health-related quality of life (HRQoL) in patients with Hodgkin's lymphoma during their post-treatment follow-up and re-adaptation to normal life. We report on the HRQoL of patients treated in the randomised H8 trial of the European Organisation for Research and Treatment of Cancer (EORTC) Lymphoma Group and the Groupe dEtudes des Lymphomes de I'Adulte (GELA). We aimed to assess HRQoL and fatigue following treatment, to analyse relations with treatment, and to identify factors that predict persistent fatigue. Methods Patients received HRQoL questionnaires at the end of primary therapy and during follow-up. The EORTC QLQ-C30 was used to assess HRQoL, and the Muiltidimensional Fatigue Inventory (MFI-20) was used to assess fatigue. Changes of mean HRQoL scores over time were analysed with mixed models. Multiple polytomic: nominal logistic regression was done to identify independent baseline predictors of fatigue within MFI-20 dimensions. Analyses were done on an intention-to-treat basis. This study is registered with www.ClinicalTrials.gov, number NCT00379041. Findings 2666 assessments from 935 patients were analysed. Mean follow-up was 90 months (range 52-118). Age affected all functioning and symptom scores except emotional functioning, with younger age associated with higher functioning and lower severity of symptoms; improvement with time showed similar patterns between age groups. Women reported lower HRQoL and higher symptom scores than did men. Overall, 3.2% (14/439 for role functioning) to 9.7% (43/442 for social functioning) and 5.8% (29/498 for reduced motivation) to 9.9% (49/498 for general fatigue) of patients reported impairments of 10 points or more (on a 0-100 scale) in QLQ-C30 and MFI-20 scores, respectively, independent of age and sex. Emotional domains were more affected than physical ones. There was no relation between HRQoL outcome and type of treatment. Fatigue (MFI-20 scores) at the end of treatment was the only predictive variable for persistent fatigue, with odds ratios varying from 2.58 (95% CI 1.00-6.67) to 41.51 (12.02-143.33; p

Published
2009
Full Text
View/download PDF

243. Wirkungen des SGB II auf Personen mit Migrationshintergrund: Projekt IIa1 - 04/06 ; Jahresbericht zum 31.12.2008 - Hauptband

Author

Knuth, Matthias, Brussig, Martin, Neuffer, Stefanie, Dittmar, Vera, Mosler, Bettina, Sauer, Martina, Kaltenborn, Bruno, Wielage, Nina, Thomsen, Stephan, Boockmann, Bernhard, Walter, Thomas, Krieg, Oliver, Schneider-Haase, Torsten, Arens, Melanie, Bode, Heidrun, Frings, Dorothee, Rosemann, Martin, Dann, Sabine, Hamacher, Christine, Schneider, Anne, Bundesministerium für Arbeit und Soziales, Universität Duisburg-Essen Campus Duisburg, Fak. für Gesellschaftswissenschaften, Institut Arbeit und Qualifikation (IAQ), Zentrum für Europäische Wirtschaftsforschung (ZEW) GmbH, Otto-von-Guericke-Universität Magdeburg, Stiftung Zentrum für Türkeistudien und Integrationsforschung Institut an der Universität Duisburg-Essen, Dr. Bruno Kaltenborn - Wirtschaftsforschung und Politikberatung, and TNS Emnid Medien- und Sozialforschung GmbH

Subjects
Arbeitslosengeld II, Erwerbsbeteiligung, Economics, Arbeitsmarkt, Code of Social Law, level of education attained, Labor Market Policy, Federal Republic of Germany, Social Security, Sozialgesetzbuch, ddc:330, Bildungsabschluss, soziale Sicherung, Social sciences, sociology, anthropology, berufliche Integration, Arbeitsvermittlung, Chancengleichheit, equal opportunity, Förderungsmaßnahme, Sozialwissenschaften, Soziologie, Migrationshintergrund, employment service, Wirtschaft, Migrant, occupational integration, Arbeitsförderung, employment promotion, Arbeitsmarktpolitik, Bundesrepublik Deutschland, Aktivierung, migration background, Arbeitsuchender, basic income, labor force participation, promotional measure, job seeker, ddc:300, activation, labor market, Grundsicherung
Abstract

Auf Grundlage von Geschäftsdaten, von repräsentativen telefonischen Befragungen und von qualitativen Interviews mit Betroffenen und Fallmanagern wurden die Wirkungen der "Grundsicherung für Arbeitsuchende" auf Migrant/innen untersucht. Ihr Anteil an allen ALG-II Beziehenden beträgt im bundesweiten Durchschnitt 28 Prozent. Im Vergleich zu denjenigen ohne Migrationshintergrund sind sie im Durchschnitt jünger und haben häufiger keinen, aber auch häufiger höhere (Aus-)Bildungsabschlüsse. Die häufig fehlende Anerkennung ausländischer Abschlüsse wirkt sich auf die Arbeitsmarktchancen ebenso negativ aus wie das Fehlen jeglicher Ausbildung. Migrant/innen erhalten bei den Grundsicherungsstellen im Vergleich zu Deutschen ohne Migrationshintergrund mehr Beratungsgespräche, schließen jedoch seltener Eingliederungsvereinbarungen ab und nehmen seltener an Maßnahmen teil. Einige Herkunftsgruppen werden deutlich häufiger mit Sanktionen belegt, andere Herkunftsgruppen deutlich seltener.

Published
2009

244. Dopaminergic system dysregulation in the mrsk2_KO mouse, an animal model of the Coffin-Lowry syndrome

Author

Solange Pannetier, André Hanauer, Nicolas Foos, Katharina Braun, Michael Gruss, Patricia Marques Pereira, Institut de génétique et biologie moléculaire et cellulaire (IGBMC), Centre National de la Recherche Scientifique (CNRS)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Louis Pasteur - Strasbourg I, Institute of Biology, Otto-von-Guericke University [Magdeburg] (OVGU), Université Louis Pasteur - Strasbourg I-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), and Peney, Maité

Subjects
Male, MESH: Eukaryotic Initiation Factor-2, Small-Conductance Calcium-Activated Potassium Channels, Dopamine, Eukaryotic Initiation Factor-2, Gene Expression, MESH: Coffin-Lowry Syndrome, Dopamine beta-Hydroxylase, Biochemistry, MESH: Mice, Knockout, Mice, 0302 clinical medicine, MESH: Receptors, Dopamine D2, MESH: Animals, Tyrosine, Extracellular Signal-Regulated MAP Kinases, MESH: Extracellular Signal-Regulated MAP Kinases, MESH: Tyrosine 3-Monooxygenase, Chromatography, High Pressure Liquid, Mice, Knockout, 0303 health sciences, [SDV.BIBS] Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], Dopaminergic, Brain, [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], Dopamine receptor, MESH: Dopamine Plasma Membrane Transport Proteins, medicine.drug, medicine.medical_specialty, Dopamine and cAMP-Regulated Phosphoprotein 32, MESH: Gene Expression, Tyrosine 3-Monooxygenase, MESH: Dopamine, Biology, Models, Biological, MESH: Small-Conductance Calcium-Activated Potassium Channels, MESH: Dopamine and cAMP-Regulated Phosphoprotein 32, MESH: Dopamine beta-Hydroxylase, 03 medical and health sciences, Cellular and Molecular Neuroscience, MESH: Brain, Neurochemical, MESH: Mice, Inbred C57BL, Internal medicine, medicine, Coffin-Lowry Syndrome, Animals, MESH: Chromatography, High Pressure Liquid, MESH: Mice, 030304 developmental biology, Dopamine transporter, Dopamine Plasma Membrane Transport Proteins, Tyrosine hydroxylase, Receptors, Dopamine D2, MESH: Models, Biological, MESH: Male, Mice, Inbred C57BL, Disease Models, Animal, Endocrinology, Catecholamine, biology.protein, MESH: Disease Models, Animal, 030217 neurology & neurosurgery
Abstract

International audience; The Coffin-Lowry syndrome, a rare syndromic form of X-linked mental retardation, is caused by loss-of-function mutations in the hRSK2 (RPS6KA3) gene. To further investigate RSK2 (90-kDa ribosomal S6 kinase) implication in cognitive processes, a mrsk2_KO mouse has previously been generated as an animal model of Coffin-Lowry syndrome. The aim of the present study was to identify possible neurochemical dysregulation associated with the behavioral and morphological abnormalities exhibited by mrsk2_KO mice. A cortical dopamine level increase was found in mrsk2_KO mice that was accompanied by an over-expression of dopamine receptor of type 2 and the dopamine transporter. We also detected an increase of total and phosphorylated extracellular regulated kinase that may be responsible for the increased level of tyrosine hydroxylase phosphorylation also observed. By taking into consideration previously reported data, our results strongly suggest that the dopaminergic dysregulation in mrsk2_KO mice may be caused, at least in part, by tyrosine hydroxylase hyperactivity. This cortical hyperdopaminergia may explain some non-cognitive but also cognitive alterations exhibited by mrsk2_KO mice.

Published
2008
Full Text
View/download PDF

245. Backpropagating action potentials trigger dendritic release of BDNF during spontaneous network activity

Author

Richard Kolarow, Hervé Fiorentino, Jean-Luc Gaiarsa, Volkmar Lessmann, Nicola Kuczewski, Christophe Porcher, Nadine Ferrand, Christophe Pellegrino, Igor Medina, Institut de Neurobiologie de la Méditerranée [Aix-Marseille Université] (INMED - INSERM U1249), Institut National de la Santé et de la Recherche Médicale (INSERM)-Aix Marseille Université (AMU), Institute of Physiology, Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), Tyzio, Roman, Aix Marseille Université (AMU)-Institut National de la Santé et de la Recherche Médicale (INSERM), and Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
Patch-Clamp Techniques, MESH: Hippocampus, Action Potentials, MESH: Brain-Derived Neurotrophic Factor, Hippocampus, Synaptic Transmission, MESH: Animals, Newborn, Synapse, 0302 clinical medicine, Postsynaptic potential, Neurotrophic factors, MESH: Animals, MESH: Neuronal Plasticity, Phosphorylation, Cyclic AMP Response Element-Binding Protein, Cells, Cultured, MESH: Action Potentials, MESH: Genes, Immediate-Early, 0303 health sciences, Neuronal Plasticity, General Neuroscience, Cell Differentiation, Long-term potentiation, Articles, Immunohistochemistry, MESH: Gene Expression Regulation, MESH: Staining and Labeling, medicine.anatomical_structure, Neurotrophin, MESH: Cells, Cultured, MESH: Cyclic AMP Response Element-Binding Protein, Transcriptional Activation, MESH: Cell Differentiation, MESH: Rats, Recombinant Fusion Proteins, Green Fluorescent Proteins, [SDV.BC]Life Sciences [q-bio]/Cellular Biology, Biology, CREB, MESH: Calcium Signaling, MESH: Dendrites, 03 medical and health sciences, MESH: Green Fluorescent Proteins, MESH: Patch-Clamp Techniques, medicine, MESH: Recombinant Fusion Proteins, MESH: Synaptic Transmission, Animals, Calcium Signaling, Genes, Immediate-Early, [SDV.BC] Life Sciences [q-bio]/Cellular Biology, 030304 developmental biology, Staining and Labeling, MESH: Phosphorylation, Brain-Derived Neurotrophic Factor, MESH: Immunohistochemistry, Dendrites, Rats, Animals, Newborn, Gene Expression Regulation, nervous system, MESH: Nerve Net, Synaptic plasticity, biology.protein, MESH: Transcriptional Activation, Neuron, Nerve Net, Neuroscience, 030217 neurology & neurosurgery
Abstract

International audience; Brain-derived neurotrophic factor (BDNF) is a major regulator of activity-dependent synapse development and plasticity. Because BDNF is a secreted protein, it has been proposed that BDNF is released from target neurons in an activity-dependent manner. However, direct evidence for postsynaptic release of BDNF triggered by ongoing network activity is still lacking. Here we transfected cultures of dissociated hippocampal neurons with green fluorescent protein (GFP)-tagged BDNF and combined whole-cell recording, time-lapse fluorescent imaging, and immunostaining to monitor activity-dependent dendritic release of BDNF. We found that spontaneous backpropagating action potentials, but not synaptic activity alone, led to a Ca2+-dependent dendritic release of BDNF-GFP. Moreover, we provide evidence that endogenous BDNF released from a single neuron can phosphorylate CREB (cAMP response element-binding protein) in neighboring neurons, an important step of immediate early gene activation. Therefore, together, our results support the hypothesis that BDNF might act as a target-derived messenger of activity-dependent synaptic plasticity and development.

Published
2008
Full Text
View/download PDF

246. Classroom examples of robustness problems in geometric computations

Author

Sylvain Pion, Kurt Mehlhorn, Stefan Schirra, Chee-Keng Yap, Lutz Kettner, Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Geometric computing (GEOMETRICA), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Otto-von-Guericke University [Magdeburg] (OVGU), Courant Institute of Mathematical Sciences [New York] (CIMS), New York University [New York] (NYU), NYU System (NYU)-NYU System (NYU), and Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
Convex hull, Floating point, Control and Optimization, Theoretical computer science, Computer science, Floating-point geometry, Computation, 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], 01 natural sciences, Robustness (computer science), Hull, 0202 electrical engineering, electronic engineering, information engineering, Implementation, SIMPLE algorithm, Mathematics, Convex geometry, Delaunay triangulation, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, Regular polygon, Real arithmetic, 020207 software engineering, Computational geometry, Computer Science Applications, Computational Mathematics, Computational Theory and Mathematics, 010201 computation theory & mathematics, Geometry and Topology, Numerical robustness problems, Algorithm
Abstract

International audience; The algorithms of computational geometry are designed for a machine model with exact real arithmetic. Substituting floating point arithmetic for the assumed real arithmetic may cause implementations to fail. Although this is well known, there is no comprehensive documentation of what can go wrong and why. In this extended abstract, we study a simple incremental algorithm for planar convex hulls and give examples which make the algorithm fail in all possible ways. We also show how to construct failure-examples semi-systematically and discuss the geometry of the floating point implementation of the orientation predicate. We hope that our work will be useful for teaching computational geometry. The full paper is available at http://hal.inria.fr/inria-00344310/. It contains further examples, more theory, and color pictures. We strongly recommend to read the full paper instead of this extended abstract.

Published
2008
Full Text
View/download PDF

247. High-field magnetization and electron spin resonance in the spin-gap system η -Na 1.286 V 2 O 5

Author

Ghorayeb, A.M., Costes, M., Goiran, Michel, Broto, Jean-Marc, Schäfer, S., Hayn, R., Richter, J., Millet, P., Stepanov, A., Institut des Matériaux, de Microélectronique et des Nanosciences de Provence (IM2NP), Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU), Laboratoire de Photophysique et de Photochimie Moléculaire (LPPM), Université de Bordeaux (UB), Laboratoire national des champs magnétiques intenses - Toulouse (LNCMI-T), Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Otto-von-Guericke University [Magdeburg] (OVGU), Centre d'élaboration de matériaux et d'études structurales (CEMES), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut de Chimie de Toulouse (ICT-FR 2599), Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut de Chimie du CNRS (INC)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD)-Institut de Chimie du CNRS (INC)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut de Chimie de Toulouse (ICT), Institut de Recherche pour le Développement (IRD)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Institut de Recherche pour le Développement (IRD)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), and Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)

Subjects
[PHYS.COND.CM-MS]Physics [physics]/Condensed Matter [cond-mat]/Materials Science [cond-mat.mtrl-sci], Condensed Matter::Strongly Correlated Electrons
Abstract

International audience; In this work, we report results of high-field magnetization and electron spin resonance ESR measurements performed on-Na 1.286 V 2 O 5 , a compound that shows a spin gap. This system may be regarded as an assembly of weakly interacting magnetic entities, each of which containing, at low temperature, 18 antiferromagnetically AF-coupled S = 1 2 spins. The purpose of this work is to determine the gap value and to probe the low-lying energy levels in this compound. On the one hand, the high-field magnetization measurements, performed at temperatures down to 1.7 K on powder samples, suggest a spin gap, , of approximately 39 K, a value which is quite close to the earlier estimate of 35 K, which some of us deduced from the susceptibility measurements at low field Duc et al., Phys. Rev. B 69, 094102 2004. On the other hand, these measurements show a magnetization step at one ninth of the saturation magnetization, giving strong support to the assumption that this system may be regarded as a finite-size system composed of 18 AF-coupled S = 1 2 spins. A theoretical fit of the magnetization indicates the necessity to include couplings to second or more distant neighbors. The ESR data at various frequencies from 9.6–980 GHz and at temperatures ranging from 4.2–150 K, obtained on powder samples as well as on single crystals, are in accordance with the gap value mentioned above. In addition, these ESR data indicate that the closure of the gap is not accompanied by any detectable mixing between the singlet level and the lowest-lying level of the first excited triplet. This implies the absence of any appreciable Dzyaloshinskii-Moriya interaction in this compound.

Published
2008
Full Text
View/download PDF

248. On classes of minimal circular-imperfect graphs

Author

Annegret Wagler, Arnaud Pêcher, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Reformulations based algorithms for Combinatorial Optimization (Realopt), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Institut de Mathématiques de Bordeaux (IMB), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institute for Mathematical Optimization (IMO), Otto-von-Guericke University [Magdeburg] (OVGU), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Institut de Mathématiques de Bordeaux (IMB), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Inria Bordeaux - Sud-Ouest, Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), and Pêcher, Arnaud

Subjects
Discrete mathematics, Circular coloring, Clique-sum, Applied Mathematics, 010102 general mathematics, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Strong perfect graph theorem, 0102 computer and information sciences, Circular-perfection, 01 natural sciences, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], Minimal circular-imperfect graph, Combinatorics, Indifference graph, Pathwidth, 010201 computation theory & mathematics, Chordal graph, Trivially perfect graph, Discrete Mathematics and Combinatorics, Cograph, Split graph, 0101 mathematics, Mathematics
Abstract

Circular-perfect graphs form a natural superclass of perfect graphs: on the one hand due to their definition by means of a more general coloring concept, on the other hand as an important class of χ-bound graphs with the smallest non-trivial χ-binding function χ(G)⩽ω(G)+1.The Strong Perfect Graph Conjecture, recently settled by Chudnovsky et al. [The strong perfect graph theorem, Ann. of Math. 164 (2006) 51–229], provides a characterization of perfect graphs by means of forbidden subgraphs. It is, therefore, natural to ask for an analogous conjecture for circular-perfect graphs, that is for a characterization of all minimal circular-imperfect graphs.At present, not many minimal circular-imperfect graphs are known. This paper studies the circular-(im)perfection of some families of graphs: normalized circular cliques, partitionable graphs, planar graphs, and complete joins. We thereby exhibit classes of minimal circular-imperfect graphs, namely, certain partitionable webs, a subclass of planar graphs, and odd wheels and odd antiwheels. As those classes appear to be very different from a structural point of view, we infer that formulating an appropriate conjecture for circular-perfect graphs, as analogue to the Strong Perfect Graph Theorem, seems to be difficult.

Published
2008

249. Regulation of T-cell antigen receptor-mediated inside-out signaling by cytosolic adapter proteins and Rap1 effector molecules

Author

Gaël Ménasché, Burkhart Schraven, Natalie A. Bezman, Stefanie Kliche, Imagine - Institut des maladies génétiques (IMAGINE - U1163), Université Paris Descartes - Paris 5 (UPD5)-Institut National de la Santé et de la Recherche Médicale (INSERM), Otto-von-Guericke University [Magdeburg] (OVGU), Ménasché, Gaël, and Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU)

Subjects
[SDV.IMM] Life Sciences [q-bio]/Immunology, [SDV]Life Sciences [q-bio], Immunology, Integrin, Receptors, Antigen, T-Cell, [SDV.BC]Life Sciences [q-bio]/Cellular Biology, 03 medical and health sciences, Adapter molecule crk, 0302 clinical medicine, Cytosol, Immunology and Allergy, Humans, [SDV.BC] Life Sciences [q-bio]/Cellular Biology, 030304 developmental biology, Adaptor Proteins, Signal Transducing, 0303 health sciences, biology, Effector, Cell adhesion molecule, T-cell receptor, Signal transducing adaptor protein, rap1 GTP-Binding Proteins, Cell biology, [SDV] Life Sciences [q-bio], [SDV.IMM.IA]Life Sciences [q-bio]/Immunology/Adaptive immunology, [SDV.IMM.IA] Life Sciences [q-bio]/Immunology/Adaptive immunology, biology.protein, [SDV.IMM]Life Sciences [q-bio]/Immunology, Rap1, Signal transduction, 030215 immunology, Protein Binding, Signal Transduction
Abstract

International audience; Integrins are critical for the migration of T cells to lymphoid organs and to sites of inflammation and are also necessary for productive interactions between T cells and antigen-presenting cells. Integrin activation is enhanced following T-cell receptor (TCR) engagement, as signals initiated by the TCR increase affinity and avidity of integrins for their ligands. This process, known as inside-out signaling, has been shown to require several molecular components including the cytosolic adapter proteins adhesion and degranulation-promoting adapter protein and Src homology 2 domain-containing adapter protein of 55 kDa, the low molecular weight guanosine triphosphatase Rap1, and the Rap1 effector proteins Rap1 guanosine triphosphate-interacting adapter molecule, regulator of adhesion and cell polarization enriched in lymphoid tissues, and protein kinase D1. Herein, we review recent findings about how the TCR is linked to integrin activation through inside-out signaling.

Published
2007
Full Text
View/download PDF

250. A note on the Chvátal rank of clique family inequalities

Author

Pecher, Arnaud, Wagler, Annegret K., Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Reformulations based algorithms for Combinatorial Optimization (Realopt), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Institut de Mathématiques de Bordeaux (IMB), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institute for Mathematical Optimization (IMO), Otto-von-Guericke University [Magdeburg] (OVGU), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Institut de Mathématiques de Bordeaux (IMB), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1 (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)-Inria Bordeaux - Sud-Ouest, Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU), and Pêcher, Arnaud

Subjects
[INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Abstract

International audience; Clique family inequalities , form an intriguing class of valid inequalities for the stable set polytopes of all graphs. We prove firstly that their Chvátal-rank is at most a, which provides an alternative proof for the validity of clique family inequalities, involving only standard rounding arguments. Secondly, we strengthen the upper bound further and discuss consequences regarding the Chvátal-rank of subclasses of claw-free graphs.

Published
2007

Catalog

Books, media, physical & digital resources
See catalog results