Professeur des universités en sciences de gestion
-
A Modal Logic for Termgraph Rewriting
- Type de publi. : Pré-publication, Document de travail
- Date de publi. : 23/03/2010
-
Auteurs :
Philippe BalbianiRachid EchahedAndreas Herzig
Fiche détaillée
A Modal Logic for Termgraph Rewriting
- Type de publi. : Pré-publication, Document de travail
- Date de publi. : 23/03/2010
-
Auteurs :
Philippe BalbianiRachid EchahedAndreas Herzig
-
Organismes :
Logique, Interaction, Langue et Calcul
Centre National de la Recherche Scientifique
Calculs algorithmes programmes et preuves
Logique, Interaction, Langue et Calcul
Centre National de la Recherche Scientifique
Résumé : We propose a modal logic tailored to describe graph transformations and discuss some of its properties. We focus on a particular class of graphs called termgraphs. They are first-order terms augmented with sharing and cycles. Termgraphs allow one to describe classical data-structures (possibly with pointers) such as doubly-linked lists, circular lists etc. We show how the proposed logic can faithfully describe (i) termgraphs as well as (ii) the application of a termgraph rewrite rule (i.e. matching and replacement) and (iii) the computation of normal forms with respect to a given rewrite system. We also show how the proposed logic, which is more expressive than propositional dynamic logic, can be used to specify shapes of classical data-structures (e.g. binary trees, circular lists etc.).
Source
-
Nutritional parameters are of major prognostic significance in ALS patients.
- Type de publi. :
- Date de publi. : 19/03/2010
-
Auteurs :
Benoît MarinJean-Claude DesportPatrick KajeuPierre JésusB NicolaudMarie PenotyPierre-Marie PreuxPhilippe Couratier
Fiche détaillée
Nutritional parameters are of major prognostic significance in ALS patients.
- Type de publi. :
- Date de publi. : 19/03/2010
-
Auteurs :
Benoît MarinJean-Claude DesportPatrick KajeuPierre JésusB NicolaudMarie PenotyPierre-Marie PreuxPhilippe Couratier
-
Organismes :
Neuroépidémiologie Tropicale
Laboratoire de Biostatistique et d'Informatique Médicale
Service de l'Information Médicale et de l'Évaluation [CHU Limoges]
Neuroépidémiologie Tropicale
Service d'Hépato-gastro-entérologie et Nutrition [CHU Dupuytren 1, Limoges]
Neuroépidémiologie Tropicale
Service d'Hépato-gastro-entérologie et Nutrition [CHU Dupuytren 1, Limoges]
Neuroépidémiologie Tropicale
Service de Neurologie [CHU Limoges]
Neuroépidémiologie Tropicale
Service de l'Information Médicale et de l'Évaluation [CHU Limoges]
Laboratoire de Biostatistique et d'Informatique Médicale
Service de Neurologie [CHU Limoges]
Neuroépidémiologie Tropicale
Source
-
Alteration of nutritional status at diagnosis is a prognostic factor for survival of amyotrophic lateral sclerosis patients.
- Type de publi. : Communication dans un congrès
- Date de publi. : 19/03/2010
-
Auteurs :
Benoît MarinJean-Claude DesportPatrick KajeuPierre JésusB NicolaudMarie PenotyPierre-Marie PreuxPhilippe Couratier
Fiche détaillée
Alteration of nutritional status at diagnosis is a prognostic factor for survival of amyotrophic lateral sclerosis patients.
- Type de publi. : Communication dans un congrès
- Date de publi. : 19/03/2010
-
Auteurs :
Benoît MarinJean-Claude DesportPatrick KajeuPierre JésusB NicolaudMarie PenotyPierre-Marie PreuxPhilippe Couratier
-
Organismes :
Neuroépidémiologie Tropicale
Service de l'Information Médicale et de l'Évaluation [CHU Limoges]
Laboratoire de Biostatistique et d'Informatique Médicale
Service d'Hépato-gastro-entérologie et Nutrition [CHU Dupuytren 1, Limoges]
Neuroépidémiologie Tropicale
Service d'Hépato-gastro-entérologie et Nutrition [CHU Dupuytren 1, Limoges]
Neuroépidémiologie Tropicale
Service de Neurologie [CHU Limoges]
Neuroépidémiologie Tropicale
Neuroépidémiologie Tropicale
Service de l'Information Médicale et de l'Évaluation [CHU Limoges]
Laboratoire de Biostatistique et d'Informatique Médicale
Neuroépidémiologie Tropicale
Service de Neurologie [CHU Limoges]
Source
-
X-ray spontaneous emission control by 1-dimensional photonic bandgap structure
- Type de publi. : Article dans une revue
- Date de publi. : 02/03/2010
-
Auteurs :
Jean-Michel AndréPhilippe Jonnard
Fiche détaillée
X-ray spontaneous emission control by 1-dimensional photonic bandgap structure
Résumé : The possibility of controlling the X-ray spontaneous emission of atoms embedded in a 1-dimensional photonic bandgap structure by the so-called Purcell effect, is studied. Calculations of the spontaneously emitted power are presented from Fermi's golden rule in the framework of the Wigner-time approach extended to absorbing media. Numerical simulations are compared to experimental results for the case of the K emission from silicon atoms excited by electrons within a Mo/Si multilayer Bragg reflector. The inhibition or enhancement of X-ray emission from such structures appear to be feasible.
Fichiers liés :
article.pdf
Source
-
Non destructive testing in situ, of works of art by stimulated infra-red thermography
- Type de publi. : Article dans une revue
- Date de publi. : 01/03/2010
-
Auteurs :
Jean Charles CandoréJean-Luc BodnarVincent DetallePhilippe Grossel
Fiche détaillée
Non destructive testing in situ, of works of art by stimulated infra-red thermography
- Type de publi. : Article dans une revue
- Date de publi. : 01/03/2010
-
Auteurs :
Jean Charles CandoréJean-Luc BodnarVincent DetallePhilippe Grossel
-
Organismes :
Institut de Thermique, Mécanique, Matériaux
- Publié dans Journal of Physics: Conference Series le 24/10/2020
Résumé : This paper presents various examples of assistance to the restoration of mural paintings by infra-red photothermal radiometry. First, we present the experimental device implemented for the study. Then, we show the possibility to detect separation or air voids by this technique in various works of art as the Saint Christopher of the Campanna collection of Louvre, in the painted ceilings of the abbey of Savin Saint sur Gartempe (classified with the world heritage of UNESCO) and finally in the Cocteau frescoes of the vault Saint Pierre of Villefranche sur mer.
Source
-
The first insight into the SMOS data over the Valencia Anchor Station
- Type de publi. : Communication dans un congrès
- Date de publi. : 01/03/2010
-
Auteurs :
Silvia Enache JugleaYann H. KerrArnaud MialonWigneron J.-P.Ernesto Lopez-BaezaKauzar Saleh ContellMaría Carmen AntolínCristina Millan-ScheidingPhilippe RichaumeFrançois CabotClaire GruhierAhmad Al BitarElsa JacquetteSteven Delwart
Fiche détaillée
The first insight into the SMOS data over the Valencia Anchor Station
- Type de publi. : Communication dans un congrès
- Date de publi. : 01/03/2010
-
Auteurs :
Silvia Enache JugleaYann H. KerrArnaud MialonWigneron J.-P.Ernesto Lopez-BaezaKauzar Saleh ContellMaría Carmen AntolínCristina Millan-ScheidingPhilippe RichaumeFrançois CabotClaire GruhierAhmad Al BitarElsa JacquetteSteven Delwart
-
Organismes :
Centre d'études spatiales de la biosphère
Centre d'études spatiales de la biosphère
Centre d'études spatiales de la biosphère
Écologie fonctionnelle et physique de l'environnement
Universitat de València = University of Valencia = Universidade de Valencia
University of Cambridge [Cambridge, UK]
Universitat de València = University of Valencia = Universidade de Valencia
Universitat de València = University of Valencia = Universidade de Valencia
Centre d'études spatiales de la biosphère
Centre d'études spatiales de la biosphère
Centre d'études spatiales de la biosphère
Centre d'études spatiales de la biosphère
Centre d'études spatiales de la biosphère
European Space Research and Technology Centre
Résumé : The Soil Moisture and Ocean Salinity (SMOS) mission of the European Space Agency (ESA), to be launched in November 2009, is aimed at retrieving soil moisture with an accuracy better than 0.04 [m3/m3] and with a temporal sampling better than 3 days. SMOS carries a fully polarimetric L-band (1.4 GHz) Microwave interferometer. The passive microwave observations are done at multiple view angles (between 0° - 55°), and with a spatial resolution ranging from 35 km at nadir about 50 km. Within the context of the SMOS Calibration / Validation activities, the Valencia Anchor Station experimental site, in Spain, was chosen to be one of the main test sites. It is a semiarid environment with low annual precipitation (around 400mm) and is characterized by an extensive network of measurements at different levels (both in the atmosphere and in the soil) in order to derive surface energy fluxes. The aim of this study is to give a first insight of the SMOS data over the VAS area (equivalent to a SMOS pixel). In order to help better understanding the exact signification of the SMOS signal, an evaluation of SMOS data is done through a comparison with ground data (Match-ups). Match ups are passive microwave brightness temperatures using the surface variables as well as the characteristics of the VAS area. In this framework, a coupled SVAT - radiative transfer model was developed for distributing soil moisture and the resulting microwave emissions. The hydrological processes are simulated with a SVAT (Soil-Vegetation-Atmosphere-Transfer) model named ISBA (Interactions between Soil Biosphere Atmosphere), while the microwave emission is simulated using the L-MEB (L-band Microwave Emission of the Biosphere) model which is part of SMOS Level 2 processor. This comparison with the first SMOS data is an important step into the validation of SMOS soil moisture retrieval algorithm.
Source
-
The von Karman Sodium experiment: Turbulent dynamical dynamos
- Type de publi. : Article dans une revue
- Date de publi. : 01/03/2010
-
Auteurs :
Romain MonchauxMichael BerhanuSébastien AumaîtreArnaud ChiffaudelFrançois DaviaudBérengère DubrulleFlorent RaveletStéphan FauveNicolas MordantFrançois PétrélisMickaël BourgoinPhilippe OdierJean-François PintonNicolas PlihonRomain Volk
Fiche détaillée
The von Karman Sodium experiment: Turbulent dynamical dynamos
- Type de publi. : Article dans une revue
- Date de publi. : 01/03/2010
-
Auteurs :
Romain MonchauxMichael BerhanuSébastien AumaîtreArnaud ChiffaudelFrançois DaviaudBérengère DubrulleFlorent RaveletStéphan FauveNicolas MordantFrançois PétrélisMickaël BourgoinPhilippe OdierJean-François PintonNicolas PlihonRomain Volk
-
Organismes :
Service de physique de l'état condensé
Laboratoire de Physique Statistique de l'ENS
Laboratoire de Physique Statistique de l'ENS
Service de physique de l'état condensé
Service de physique de l'état condensé
Service de physique de l'état condensé
Service de physique de l'état condensé
Laboratoire de Physique Statistique de l'ENS
Laboratoire de Physique Statistique de l'ENS
Laboratoire de Physique Statistique de l'ENS
Laboratoire des Écoulements Géophysiques et Industriels [Grenoble]
Laboratoire de Physique de l'ENS Lyon
Laboratoire de Physique de l'ENS Lyon
Laboratoire de Physique de l'ENS Lyon
Laboratoire de Physique de l'ENS Lyon
- Publié dans Physics of Fluids le 02/11/2020
Résumé : The von Karman Sodium (VKS) experiment studies dynamo action in the flow generated inside a cylinder filled with liquid sodium by the rotation of coaxial impellers (the von Karman geometry). We first report observations related to the self-generation of a stationary dynamo when the flow forcing is R-pi-symmetric, i.e., when the impellers rotate in opposite directions at equal angular velocities. The bifurcation is found to be supercritical with a neutral mode whose geometry is predominantly axisymmetric. We then report the different dynamical dynamo regimes observed when the flow forcing is not symmetric, including magnetic field reversals. We finally show that these dynamics display characteristic features of low dimensional dynamical systems despite the high degree of turbulence in the flow.
Fichiers liés :
Monchaux2009_PoF.pdf
Source
-
The Location-Dispatching Problem: polyhedral results and Content Delivery Network Design
- Type de publi. : Communication dans un congrès
- Date de publi. : 01/03/2010
-
Auteurs :
Philippe ChrétiennePierre FouilhouxEric GourdinJean Mathieu Segura
Fiche détaillée
The Location-Dispatching Problem: polyhedral results and Content Delivery Network Design
- Type de publi. : Communication dans un congrès
- Date de publi. : 01/03/2010
-
Auteurs :
Philippe ChrétiennePierre FouilhouxEric GourdinJean Mathieu Segura
-
Organismes :
Recherche Opérationnelle
Recherche Opérationnelle
Recherche Opérationnelle
Résumé : Let G=(V,A) be a directed graph and F be a set of items. The Location-Dispatching Problem consists of determining subsets Li⊆F,i∈V, minimizing the sum of two costs: an installation cost associated with nodes i of V such that Li≠∅ and an access cost to each item of F. We formulate this problem as an integer linear program and propose a facial study of the associated polytope. We describe valid inequalities and give sufficient conditions for these inequalities to be facet defining. Using this, we devise a Branch-and-Cut algorithm and report some preliminary experimental results. This algorithm has been used to solve Content Delivery Network instances in order to optimize a Video On Demand (VoD) system.
Source
-
Arabidopsis seed secrets unravelled after a decade of genetic and omics‐driven research
- Type de publi. : Article dans une revue
- Date de publi. : 01/03/2010
-
Auteurs :
Helen M NorthSébastien BaudIsabelle DebeaujonChristian DubosBertrand DubreucqPhilippe GrappinMarc JullienLoïc LepiniecAnnie Marion-PollMartine MiquelLoïc RajjouJean-Marc RoutaboulMichel M. Caboche
Fiche détaillée
Arabidopsis seed secrets unravelled after a decade of genetic and omics‐driven research
- Type de publi. : Article dans une revue
- Date de publi. : 01/03/2010
-
Auteurs :
Helen M NorthSébastien BaudIsabelle DebeaujonChristian DubosBertrand DubreucqPhilippe GrappinMarc JullienLoïc LepiniecAnnie Marion-PollMartine MiquelLoïc RajjouJean-Marc RoutaboulMichel M. Caboche
-
Organismes :
Institut Jean-Pierre Bourgin
Institut Jean-Pierre Bourgin
Institut Jean-Pierre Bourgin
Institut Jean-Pierre Bourgin
Institut Jean-Pierre Bourgin
Institut Jean-Pierre Bourgin
Institut Jean-Pierre Bourgin
Institut Jean-Pierre Bourgin
Institut Jean-Pierre Bourgin
Institut Jean-Pierre Bourgin
Institut Jean-Pierre Bourgin
AgroParisTech
Institut Jean-Pierre Bourgin
Institut Jean-Pierre Bourgin
- Publié dans The Plant Journal le 26/10/2020
Résumé : Seeds play a fundamental role in colonization of the environment by spermatophytes, and seeds harvested from crops are the main food source for human beings. Knowledge of seed biology is therefore important for both fundamental and applied issues. This review on seed biology illustrates the important progress made in the field of Arabidopsis seed research over the last decade. Access to 'omics' tools, including the inventory of genes deduced from sequencing of the Arabidopsis genome, has speeded up the analysis of biological functions operating in seeds. This review covers the following processes: seed and seed coat development, seed reserve accumulation, seed dormancy and seed germination. We present new insights in these various fields and describe ongoing biotechnology approaches to improve seed characteristics in crops.
have continued to be exploited over the past decade, despite experimental difficulties resulting from gene duplications/redundancies (e.g. identification of the GA receptor), and will obviously continue to be valuable. However, the study of seed biodiversity, an important topic in terms of evolution, cannot be restricted to the analysis of intra-specific natural variation in Arabidopsis. It is time to look at biological diversity in other seedproducing plants in order to understand what makes them unique in terms of biochemical composition, tolerance to adverse environmental conditions, germination features, competition with other plants, and many other processes. Here we review the present status of Arabidopsis seed research and its biotechnological impact. This research will provide a valuable foundation for studies in other species.
Source
-
Dehalogenation of 5-halo-uracil molecules induced by 100 keV proton collisions
- Type de publi. : Article dans une revue
- Date de publi. : 01/03/2010
-
Auteurs :
Jean-Philippe ChampeauxPierre CarcabalJulien RabierPierre CafarelliMartine SencePatrick Moretto-Capelle
Fiche détaillée
Dehalogenation of 5-halo-uracil molecules induced by 100 keV proton collisions
- Type de publi. : Article dans une revue
- Date de publi. : 01/03/2010
-
Auteurs :
Jean-Philippe ChampeauxPierre CarcabalJulien RabierPierre CafarelliMartine SencePatrick Moretto-Capelle
-
Organismes :
Interactions Ions-Matière (LCAR)
Laboratoire Collisions Agrégats Réactivité
Interactions Ions-Matière (LCAR)
Interactions Ions-Matière (LCAR)
Laboratoire Collisions Agrégats Réactivité
Interactions Ions-Matière (LCAR)
Interactions Ions-Matière (LCAR)
Laboratoire Collisions Agrégats Réactivité
Interactions Ions-Matière (LCAR)
- Publié dans Physical Chemistry Chemical Physics le 02/11/2020
Résumé : Neutral and cationic halogen loss of singly and doubly ionised 5-X-uracil (X = F, Cl, Br, I) after collisions with 100 keV protons have been studied in the gas phase. The rates of these dissociation channels are strongly dependant on the nature of the halogen substituent. It is very weak in the case of fluorine but is a dominant channel for iodine. Dissociation mechanisms are proposed for a number of significant channels associated to dehalogenation. It is suggested that some final ion products originate from specific processes. For instance, ion products of mass 38, 39 and 40 amu are very sensitive to the nature of the primarily ejected halogen and result from pathways associated to dehydrogenation and transient formation of the dehalogenated uracil cation.
Source