Skip to Main content Skip to Navigation
  1. Search


...
hal-03190262v1  Journal articles
Stéphane Demri, Ranko Lazić, Arnaud Sangnier. Model checking memoryful linear-time logics over one-counter automata
Theoretical Computer Science, Elsevier, 2010, 411 (22-24), pp.2298-2316. ⟨10.1016/j.tcs.2010.02.021⟩
...
hal-03188381v1  Journal articles
Stéphane Demri, Denis Lugiez. Complexity of Modal Logics with Presburger Constraints
Journal of Applied Logic, Elsevier, 2010, 8 (3), pp.233-252. ⟨10.1016/j.jal.2010.03.001⟩
...
inria-00527803v1  Journal articles
Li Guan, Jean-Sébastien Franco, Marc Pollefeys. Multi-view occlusion reasoning for probabilistic silhouette-based dynamic scene reconstruction
International Journal of Computer Vision, Springer Verlag, 2010, 90 (3), pp.283-303. ⟨10.1007/s11263-010-0341-y⟩
hal-03177982v1  Journal articles
Henrieta Škovierová, Gerald Larrouy-Maumus, Ha Pham, Martina Belanová, Nathalie Barilone et al.  Biosynthetic Origin of the Galactosamine Substituent of Arabinogalactan in Mycobacterium tuberculosis*
Journal of Biological Chemistry, American Society for Biochemistry and Molecular Biology, 2010, 285 (53), pp.41348-41355. ⟨10.1074/jbc.M110.188110⟩
...
hal-03177384v1  Journal articles
Igor Peterlik, Mert Sedef, Cagatay Basdogan, Luděk Matyska. Real-time visio-haptic interaction with static soft tissue models having geometric and material nonlinearity
Computers and Graphics, Elsevier, 2010, 34 (1), pp.43-54. ⟨10.1016/j.cag.2009.10.005⟩
...
insu-00565022v1  Journal articles
V. Etienne, E. Chaljub, J. Virieux, N. Glinsky. An hp-adaptive discontinuous Galerkin finite-element method for 3-D elastic wave modelling
Geophysical Journal International, Oxford University Press (OUP), 2010, 183, pp.941-962. ⟨10.1111/J.1365-246X.2010.04764.X⟩
...
hal-03117246v1  Journal articles
Nicolas Ginoux, Jean-François Grosjean. Almost harmonic spinors
Comptes Rendus Mathématique, Elsevier Masson, 2010, 348 (13-14), pp.811-814. ⟨10.1016/j.crma.2010.06.010⟩
...
hal-00465155v2  Journal articles
Guillaume Rivière, Nadine Couture, Patrick Reuter. The activation of modality in virtual objects assembly
Journal on Multimodal User Interfaces, Springer, 2010, 3 (3), pp.189-196. ⟨10.1007/s12193-010-0038-0⟩
...
inria-00543082v1  Journal articles
S. Enault, D. Lombardi, Philippe Poncet, Marc Thiriet. Mucus dynamics subject to air and wall motion
ESAIM: Proceedings, EDP Sciences, 2010, 30, pp.125-141
...
hal-02593758v1  Journal articles
Zohra Bellahsene, Salima Benbernou, Hélène Jaudoin, François Pinet, Olivier Pivert et al.  FORUM: A flexible data integration system based on data semantics
SIGMOD record, ACM, 2010, 39 (2), pp.11-18. ⟨10.1145/1893173.1893175⟩
...
hal-00784056v1  Journal articles
Grégoire Allaire, Andro Mikelic, Andrey Piatnitski. Homogenization approach to the dispersion theory for reactive transport through porous media
SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2010, 42 (1), pp.125-144
...
hal-00784058v1  Journal articles
Grégoire Allaire, Andrey Piatnitski. Homogenization of nonlinear reaction-diffusion equation with a large reaction term
Annali dell'Universita di Ferrara, Springer Verlag, 2010, 56, pp.141-161
...
hal-00542455v1  Journal articles
Antoine Coulon, Olivier Gandrillon, Guillaume Beslon. On the spontaneous stochastic dynamics of a single gene: complexity of the molecular interplay at the promoter.
BMC Systems Biology, BioMed Central, 2010, 4, pp.2. ⟨10.1186/1752-0509-4-2⟩
...
hal-00690651v1  Journal articles
Ludovic Cottret, David Wildridge, Florence Vinson, Michael P Barrett, Hubert Charles et al.  MetExplore: a web server to link metabolomic experiments and genome-scale metabolic networks.
Nucleic Acids Research, Oxford University Press, 2010, 38 (Web Server issue), pp.W132-7. ⟨10.1093/nar/gkq312⟩
...
inria-00540978v1  Journal articles
Peter M. Carlton, Jérôme Boulanger, Charles Kervrann, Jean-Baptiste Sibarita, Jean Salamero et al.  Fast live simultaneous multiwavelength four-dimensional optical microscopy
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2010, 107 (37), pp.16016-16022. ⟨10.1073/pnas.1004037107⟩
...
inria-00541072v1  Journal articles
Jérôme Boulanger, Alexandre Gidon, Charles Kervrann, Jean Salamero. A Patch-Based Method for Repetitive and Transient Event Detection in Fluorescence Imaging
PLoS ONE, Public Library of Science, 2010, 5 (10), pp.e13190. ⟨10.1371/journal.pone.0013190⟩
...
hal-00632959v1  Journal articles
Lilia Brinza, Federica Calevro, Gabrielle Duport, Karen Gaget, Christian Gautier et al.  Structure and dynamics of the operon map of Buchnera aphidicola sp. strain APS.
BMC Genomics, BioMed Central, 2010, 11 (666), pp.666. ⟨10.1186/1471-2164-11-666⟩
...
hal-00723331v1  Journal articles
Paul Bourgine, Robert Cunderlik, Olga Drblikova-Stasova, Karol Mikula, Nadine Peyriéras et al.  4D Embryogenesis image analysis using PDE methods of image processing
Kybernetika, Institute of Information Theory and Automation, 2010, 46 (2), pp.226-259
...
hal-00554754v1  Journal articles
Francine Perrine-Walker, Patrick Doumas, Mikael Lucas, Virginie Vaissayre, Nicholas J Beauchemin et al.  Auxin carriers localization drives auxin accumulation in plant cells infected by Frankia in Casuarina glauca actinorhizal nodules.
Plant Physiology, American Society of Plant Biologists, 2010, 154 (3), pp.1372-80. ⟨10.1104/pp.110.163394⟩
...
inria-00537901v1  Journal articles
Anne-Nathalie Volkoff, Véronique Jouan, S Urbach, Sylvie Samain, Max Bergoin et al.  Analysis of virion structural components reveals vestiges of the ancestral ichnovirus genome.
PLoS Pathogens, Public Library of Science, 2010, 6 (5), pp.e1000923. ⟨10.1371/journal.ppat.1000923⟩
...
inria-00537908v1  Journal articles
E. d'Alençon, H. Sezutsu, Fabrice Legeai, E. Permal, S. Bernard-Samain et al.  Extensive synteny conservation of holocentric chromosomes in Lepidoptera despite high rates of local genome rearrangements.
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2010, 107 (17), pp.7680-5. ⟨10.1073/pnas.0910413107⟩
...
hal-00690650v1  Journal articles
Ludovic Cottret, Paulo Vieira Milreu, Vicente Acuña, Alberto Marchetti-Spaccamela, Leen Stougie et al.  Graph-based analysis of the metabolic exchanges between two co-resident intracellular symbionts, Baumannia cicadellinicola and Sulcia muelleri, with their insect host, Homalodisca coagulata.
PLoS Computational Biology, Public Library of Science, 2010, 6 (9), epub ahead of print. ⟨10.1371/journal.pcbi.1000904⟩
hal-02661047v1  Journal articles
Nicolas Verzelen, Fanny Villers. Goodness-of-fit tests for high-dimensional Gaussian linear models
Annals of Statistics, Institute of Mathematical Statistics, 2010, 38 (2), pp.704-752. ⟨10.1214/08-AOS629⟩