Resource
2009 EN
ELM Olivier Finkel · IMJ Dominique Lecomte
We answer two questions posed by Castro and Cucker, giving the exactcomplexities of two decision problems about cardinalities of omega-languages ofTuring machines. Firstly, it is $D_2(\Sigma_1^1)$-complete to determine whetherthe omega-language of a given Turing machine is countably infinite, where$D_2(\Sigma_1^1)$ is the class of 2-differences of $\Sigma_1^1$-sets. Secondly,it is $\Sigma_1^1$-complete to determine whether the omega-language of a givenTuring machine is uncountable.
Resource
2009 EN
Dominique Tschopp · Suhas Diggavi
This paper addresses the problem of finding the nearest neighbor (or one ofthe R-nearest neighbors) of a query object q in a database of n objects. Incontrast with most existing approaches, we can only access the ``hidden'' spacein which the objects live through a similarity oracle. The oracle, given tworeference objects and a query object, returns the reference object closest tothe query object. The oracle attempts to model the behavior of human users,capable of making statements about similarity, but not of assigning meaningfulnumerical values to distances between objects.
Resource
2009 EN
Dominique Tschopp · Suhas Diggavi · Matthias Grossglauser
Wireless network topologies change over time and maintaining routes requiresfrequent updates. Updates are costly in terms of consuming throughput availablefor data transmission, which is precious in wireless networks. In this paper,we ask whether there exist low-overhead schemes that produce low-stretchroutes. This is studied by using the underlying geometric properties of theconnectivity graph in wireless networks.
Resource
2009 EN
MAPMO Dominique Lépingle
Stochastic variational inequalities provide a unified treatment forstochastic differential equations living in a closed domain with normalreflection and (or) singular repellent drift. When the domain is a polyhedron,we prove that the reflected-repelled Brownian motion does not hit thenon-smooth part of the boundary. A sufficient condition for non-hitting a faceof the polyhedron is derived from the one-dimensional case. A complete answerto the question of attainability of the walls of the Weyl chamber may be givenfor a radial Dunkl process.
Resource
2009 EN
INIST Ivana Roche · INIST Dominique Besagni · INIST Claire François
+2 more
This paper focuses on methodological approaches for characterising thespecific topics within a technological field based on scientific literaturedata. We introduce a diachronic clustering analysis approach and somebibliometric indicators. The results are visualised with the software-toolStanalyst [1]. We are applying our methods to the field "Molecular Biology".This field has grown a great deal in the last decade.
Resource
2009 EN
LJK Dominique Duval
This paper is a submission to the contest: How to combine logics? at theWorld Congress and School on Universal Logic III, 2010. We claim that combining"things", whatever these things are, is made easier if these things can be seenas the objects of a category. We define the category of diagrammatic logics, sothat categorical constructions can be used for combining diagrammatic logics.As an example, a combination of logics using an opfibration is presented, inorder to study computational side-effects due to the evolution of the stateduring the execution of an imperative program.
Resource
2009 EN
Dominique Gouyou-Beauchamps · Philippe Nadeau
We give an extension of the classical Schensted correspondence to the case ofribbon tableaux, where ribbons are allowed to be of different sizes. This isdone by extending Fomin's growth diagram approach of the classicalcorrespondence between permutations and pairs of standard tableaux of the sameshape, in particular by allowing signs in the enumeration. As an application wegive a combinatorial proof for the column sums of the character table of thesymmetric group.
Resource
2009 EN
IEMN, NA Abdennour Abbas · IEMN Thomas Dargent · NA Dominique Croix
+2 more
Background: Electromagnetic frequencies up to a few terahertz (THz) can yieldreal-time and noninvasive measurements on biological matter. Unfortunately,strong absorption in aqueous solutions and low spatial resolution returndifficult free-space investigations. A new approach based on integrated THzcircuits was used. The authors designed and fabricated a BioMEMS (BiologicalMicroElectro-Mechanical System) compatible with microfluidic circulation andelectromagnetic propagation. It is dedicated to the ex vivo detection of nitricoxide synthase (NOS) activity, which is involved in neurodegenerativephenomena. Material/Methods: The biological model was a leech's central nervous system.After its injury, the production of NO was observed and measured in the far-THzspectral domain. The nerve cord was put inside a BioMEMS realized inpolydimethylsiloxane (PDMS) sealed on a glass wafer. Glass is a good materialfor supporting high-frequency integrated waveguides such as coplanar waveguides(CPWs). Measurements were performed with vectorial network analyser (VNA). Results: The transmission parameter in the frequency range of 0.14-0.22 THzwas measured through CPWs located just below the microchannel containing theinjured leech nerve cord. The lesion caused a decreased transmissioncoefficient due to the NOS activity. L-NAME was injected inside themicrochannel and it was verified that it inhibits this activity. Conclusions: It was demonstrated that THz spectroscopy can detect abiochemical event, such as NOS activity around an injured leech's nerve cord,in real time. Future studies will be dedicated to quantitative measurements ofthe reaction products using the sophisticated management of several drugsallowed with microfluidic microsystems.
Resource
2009 EN
Abdennour Abbas · Thomas Dargent · Dominique Croix
+2 more
Electromagnetic frequencies up to a few terahertz (THz) can yield real-timeand noninvasive measurements on biological matter. Unfortunately, strongabsorption in aqueous solutions and low spatial resolution return difficultfree-space investigations. A new approach based on integrated THz circuits wasused. The authors designed and fabricated a BioMEMS (BiologicalMicroElectro-Mechanical System) compatible with microfluidic circulation andelectromagnetic propagation. It is dedicated to the ex vivo detection of nitricoxide synthase (NOS) activity, which is involved in neurodegenerativephenomena. MATERIAL/METHODS: The biological model was a leech's central nervoussystem. After its injury, the production of NO was observed and measured in thefar-THz spectral domain. The nerve cord was put inside a BioMEMS realized inpolydimethylsiloxane (PDMS) sealed on a glass wafer. Glass is a good materialfor supporting high-frequency integrated waveguides such as coplanar waveguides(CPWs). Measurements were performed with vectorial network analyser (VNA).RESULTS: The transmission parameter in the frequency range of 0.14-0.22 THz wasmeasured through CPWs located just below the microchannel containing theinjured leech nerve cord. The lesion caused a decreased transmissioncoefficient due to the NOS activity. L-NAME was injected inside themicrochannel and it was verified that it inhibits this activity. CONCLUSIONS:It was demonstrated that THz spectroscopy can detect a biochemical event, suchas NOS activity around an injured leech's nerve cord, in real time. Futurestudies will be dedicated to quantitative measurements of the reaction productsusing the sophisticated management of several drugs allowed with microfluidicmicrosystems.
Resource
2009 EN
Margherita Barile · Dominique Bernardi · Alexander Borisov
+1 more
We give an almost complete classification of empty lattice simplices indimension 4 using the conjectural results of Mori-Morrison-Morrison, laterproved by Sankaran and Bober. In particular, all of these simplices correspondto cyclic quotient singularities, and all but finitely many of them have widthbounded by 2.