Resource
2009 EN
Romain Pierrat · Benoit Gremaud · Dominique Delande
We present a transport equation for the incoherent propagation of radiationinside a quasi-resonant atomic gas at low temperature. The derivation is basedon a generalized Bethe-Salpeter equation taking into account the motion of theatoms. The obtained equation is similar to the radiative transfer equation. Itis solved numerically by an original Monte Carlo approach in the case of a slabgeometry. The partial frequency redistribution caused by the small velocity ofthe scatterers make the emitted flux outside the system and the energy densityinside the medium to behave differently than in the case of complete frequencyredistribution. In particular, the long time dependence of the specificintensity (escape factor) is slightly different from the Holstein prediction.
Resource
2009 EN
LaBRI Robert Cori · LIAFA Anne Micheli · LIAFA Dominique Rossin
The avalanche polynomial on a graph captures the distribution of avalanchesin the abelian sandpile model. Studied on trees, this polynomial could bedefined by simply considering the size of the subtrees of the original tree. Inthis article, we study some properties of this polynomial on plane trees.Previously it has been proved that two different trees could have the sameavalanche polynomial. We show here that the problem of finding a tree with aprescribed polynomial is NP-complete. In a second part, we study the averageand the variance of the avalanche distribution on trees and give a closedformula.
Resource
2009 EN
LMC - IMAG Dominique Duval · LSR - IMAG Jean-Claude Reynaud
This paper presents a unified framework for dealing with a deduction systemand a denotational semantics of exceptions. It is based on the fact thathandling exceptions can be seen as a kind of generalized case distinction. Thispoint of view on exceptions has been introduced in 2004, it is based on thenotion of diagrammatic logic, which assumes some familiarity with categorytheory. Extensive sums of types can be used for dealing with case distinctions.The aim of this new paper is to focus on the role of generalized extensivityproperty for dealing with exceptions. Moreover, the presentation of this papermakes only a restricted use of category theory.
Resource
2009 EN
IMJ Dominique Lecomte
Let $\xi\geq 1$ be a countable ordinal. We study the Borel subsets of theplane that can be made ${\bf\Pi}^0_\xi$ by refining the Polish topology on thereal line. These sets are called potentially ${\bf\Pi}^0_\xi$. We give aHurewicz-like test to recognize potentially ${\bf\Pi}^0_\xi$ sets.
Resource
2009 EN
IEMN, ProBioGéM Abdennour Abbas · IEMN Anthony Trezeibre · IEMN Nourredine Bourzgui
+4 more
This work focuses on the fabrication and use of a BiologicalMicro-ElectroMechanical System (BioMEMS) for TeraHertz (THz) detection andcharacterization of enzymatic catalysis reactions. The fluidic microdevice wasfabricated using traditional lithographic techniques. It was thenfunctionalized by reactive amine functions using plasma polymerized allylamine(pp-allylamine), followed by enzyme immobilization inside the microchannels.The enzymatic reaction was controlled by fluorescent microscopy before beinganalysed by sub-THz spectroscopy in the frequency range 0.06--0.11 THz. Thepreliminary results show the feasibility of terahertz monitoring of thebiocatalysis reaction.
Resource
2009 EN
TIMC Laurie Faisandier · TIMC Vincent Bonneterre · TIMC Régis De Gaudemaris
+1 more
In the context of surveillance of health problems, the research carried outby the French national occupational disease surveillance and prevention network(R\'eseau National de Vigilance et de Pr\'evention des PathologiesProfessionnelles, RNV3P) aims to develop, among other approaches, methods ofsurveillance, statistical analysis and modeling in order to study the structureand change over time of relationships between disease and exposure, and todetect emerging disease-exposure associations. In this perspective, this paperaims to present the concept of the "exposome" and to explain on what bases itis constructed. The exposome is defined as a network of relationships betweenoccupational health problems that have in common one or several elements ofoccupational exposure (exposures, occupation and/or activity sector). The paperalso aims to outline its potential for the study and programmed surveillance ofcomposite disease-occupational exposure associations. We illustrate thisapproach by applying it to a sample from the RNV3P data, taking malignanttumours and focusing on the subgroup of non-Hodgkin lymphomas.
Resource
2009 EN
TIMC Laurie Faisandier · TIMC Régis De Gaudemaris · EPSP Dominique J Bicout
We present a thinking on the concept of relational networks applied to thefrench national occupational disease surveillance and prevention network(R\'eseau National de Vigilance et de Pr\'evention des PathologiesProfessionnelles, RNV3P). This approach consists in searching common exposuresto occupational health problems.
Resource
2009 EN
LJK Dominique Duval · César Dominguez
The parameterization process used in the symbolic computation systems Kenzoand EAT is studied here as a general construction in a categorical framework.This parameterization process starts from a given specification and builds aparameterized specification by transforming some operations into parameterizedoperations, which depend on one additional variable called the parameter. Givena model of the parameterized specification, each interpretation of theparameter, called an argument, provides a model of the given specification.Moreover, under some relevant terminality assumption, this correspondencebetween the arguments and the models of the given specification is a bijection.It is proved in this paper that the parameterization process is provided by afree functor and the subsequent parameter passing process by a naturaltransformation. Various categorical notions are used, mainly adjoint functors,pushouts and lax colimits.
Resource
2009 EN
LJK Cesar Dominguez · LJK Dominique Duval
This paper provides an abstract definition of some kinds of logics, calleddiagrammatic logics, together with a definition of morphisms and of 2-morphismsbetween diagrammatic logics. The definition of the 2-category of diagrammaticlogics rely on category theory, mainly on adjunction, categories of fractionsand limit sketches. This framework is applied to the formalization of aparameterization process. This process, which consists in adding a formalparameter to some operations in a given specification, is presented as amorphism of logics. Then the parameter passing process, for recovering a modelof the given specification from a model of the parameterized specification andan actual parameter, is seen as a 2-morphism of logics.
Resource
2009 EN
LJK César Dominguez · LJK Dominique Duval
The parameterization process used in the symbolic computation systems Kenzoand EAT is studied here as a general construction in a categorical framework.This parameterization process starts from a given specification and builds aparameterized specification by adding a parameter as a new variable to someoperations. Given a model of the parameterized specification, eachinterpretation of the parameter, called an argument, provides a model of thegiven specification. Moreover, under some relevant terminality assumption, thiscorrespondence between the arguments and the models of the given specificationis a bijection. It is proved in this paper that the parameterization process isprovided by a functor and the subsequent parameter passing process by a naturaltransformation. Various categorical notions are used, mainly adjoint functors,pushouts and lax colimits.