Rechercher

	1 2	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 51 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00925738v1 Communication dans un congrès Amina Bittame, Grégory Effantin, Anne Valat, E. Gentilhomme, Eric Maréchal et al. The dense granule proteins GRA2 and GRA6 cooperate to generate membranous nanotubes 11th International Congress on Toxoplasmosis, Jun 2011, Ottawa, Canada
	hal-00926156v1 Communication dans un congrès Amina Bittame, E. Gentilhomme, Grégory Effantin, Eric Maréchal, M. Jamin et al. Characterization of the membrane tubulation mechanism induced by the Toxoplasma GRA2 protein XXIIème Congès de la Société Française de Biophysique, Sep 2010, La Colle sur Loup, France
	hal-00993457v1 Article dans une revue Gautier Hoarau, Sylvain Bernard, Patricia Pavese, Dominique Saragaglia, Jacques Croize et al. Gardnerella vaginalis as a rare cause of prosthetic joint infection. J Clin Microbiol, 2012, 50 (12), pp.4154-6. <10.1128/JCM.01969-12>
	hal-01103557v1 Communication dans un congrès Vincent Acary, Hidde De Jong, Bernard Brogliato. Numerical simulation of piecewise-linear models of gene regulatory networks using complementarity systems (Extended Abstract) MTNS 2014 - 21st International Symposium on Mathematical Theory of Networks and Systems, Jul 2014, Groningen, Netherlands. 2014
	inria-00610831v1 Article dans une revue Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde De Jong. CTRL: Extension of CTL with Regular Expressions and Fairness Operators to Verify Genetic Regulatory Networks Theoretical Computer Science, Elsevier, 2011, Foundations of Formal Reconstruction of Biochemical Networks, 412 (26), pp.2854-2883. <http://www.sciencedirect.com/science/article/pii/S0304397510002902>. <10.1016/j.tcs.2010.05.009>
	inria-00277995v2 Rapport Radu Mateescu, Pedro Monteiro, Estelle Dumas, Hidde De Jong. Computation Tree Regular Logic for Genetic Regulatory Networks [Research Report] RR-6521, INRIA. 2008, pp.53
	hal-00925321v1 Communication dans un congrès Catherine Larose, Aurélien Dommergue, Martine De Angelis, Daniel Cossa, Bernard Averty et al. Assessing interactions between snow chemistry and microbial populations in the snowpack: a metagenomic approach International Polar Year Oslo Conference 2010, Norway: 'Polar Science - Global Impact', Jun 2010, Oslo, Norway
	hal-00171700v1 Article dans une revue N. Saurel, P. Pavese, L. Boyer, J.-P. Vittoz, C. Decouchon et al. [Adequacy of antibiotic therapy to guidelines for urinary tract infection in hospital] Médecine et Maladies Infectieuses, Elsevier Masson, 2006, 36 (7), pp.369-74. <10.1016/j.medmal.2006.02.004>
	hal-00766266v1 Document associé à des manifestations scientifiques Vincent Acary, Hidde De Jong, Bernard Brogliato. Numerical simulation of piecewise-linear models of gene regulatory networks using complementarity systems Optimization: Computation, Theory and Modeling. Workshop III - Complementarity And Its Extensions, Dec 2012, Singapore, Singapore. 2012
	hal-00817999v1 Article dans une revue Danièle Maubon, Muriel Dubosson, Christophe Chiquet, Hélène Yera, Marie-Pierre Brenier-Pinchart et al. A one-step multiplex PCR for acanthamoeba keratitis diagnosis and quality samples control. Invest Ophthalmol Vis Sci, 2012, 53 (6), pp.2866-72. <10.1167/iovs.11-8587>
	hal-00869086v1 Rapport Bernard Ycart, Agnès Hamon, Joël Gaffé, Dominique Schneider. Some mathematical tools for the Lenski experiment 2011
	hal-01178203v1 Article dans une revue Hidde De Jong, Delphine Ropers, Radu Mateescu, Johannes Geiselmann. De la cellule à la puce Les Cahiers de l'INRIA - La Recherche, INRIA, 2008, 419, pp.I-II
	hal-00778412v1 Rapport Vincent Acary, Hidde De Jong, Bernard Brogliato. Numerical Simulation of Piecewise-Linear Models of Gene Regulatory Networks Using Complementarity Systems [Research Report] RR-8207, INRIA. 2013, pp.42
	inria-00482569v1 Rapport Grégory Batt, Michel Page, Irene Cantone, Gregor Goessler, Pedro T. Monteiro et al. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [Research Report] RR-7284, INRIA. 2010
	hal-01178207v1 Chapitre d'ouvrage Radu Mateescu, Pedro Tiago Monteiro, Estelle Dumas, Hidde De Jong. Computation Tree Regular Logic for genetic regulatory networks S. Cha and J.-Y. Choi and M. Kim and I. Lee and M. Viswanathan. Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), 5311, Springer-Verlag, pp.48-63, 2008, Lecture Notes in Computer Science, <10.1007/978-3-540-88387-6_6>
	hal-00793023v1 Communication dans un congrès Pedro T. Monteiro, Ana T. Freitas, Delphine Ropers, Radu Mateescu, Hidde Jong. Modeling and formal verification of biological regulatory networks: an integrative approach Proceedings of the IEEE International Conference on Bioinformatics & Biomedicine (BIBM 2010). First Workshop on Knowledge Engineering, Discovery and Dissemination in Health (KEDDH10), 2010, Ottawa, Canada. 2010
	hal-00784446v1 Article dans une revue Pedro Monteiro, Estelle Dumas, Bruno Besson, Radu Mateescu, Michel Page et al. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks BMC Bioinformatics, BioMed Central, 2009, 10 (1), pp.450. <10.1186/1471-2105-10-450>
	hal-00947196v1 Article dans une revue Mathieu Trauchessec, Michel Jaquinod, Aline Bonvalot, Virginie Brun, Christophe Bruley et al. Mass spectrometry-based workflow for accurate quantification of E. coli enzymes: how proteomics can play a key role in metabolic engineering. Molecular and Cellular Proteomics, American Society for Biochemistry and Molecular Biology, 2014, 13 (4), pp.954-968. <10.1074/mcp.M113.032672>
	hal-00924044v1 Article dans une revue Vincent Acary, Hidde De Jong, Bernard Brogliato. Numerical simulation of piecewise-linear models of gene regulatory networks using complementarity systems Physica D: Nonlinear Phenomena, Elsevier, 2014, 269, pp.103-119. <http://www.sciencedirect.com/science/article/pii/S0167278913003229>. <10.1016/j.physd.2013.11.013>
	hal-00173312v1 Article dans une revue Pierre Andreoletti, Germaine Sainz, Michel Jaquinod, Jean Gagnon, Hélène Marie Jouve. High-resolution structure and biochemical properties of a recombinant Proteus mirabilis catalase depleted in iron. Proteins - Structure, Function and Bioinformatics, Wiley, 2003, 50 (2), pp.261-71. <10.1002/prot.10283>
	hal-00926033v1 Article dans une revue Claudine Chaouiya, Duncan Bérenguier, Sarah Keating, Aurélien Naldi, Martijn Van Iersel et al. SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools BMC Systems Biology, BioMed Central, 2013, 7 (1), pp.135. <10.1186/1752-0509-7-135>
	hal-01458212v1 Article dans une revue Céline Lucchetti-Miganeh, David Redelberger, Gaël Chambonnier, François Rechenmann, Sylvie Elsen et al. Pseudomonas aeruginosa Genome Evolution in Patients and under the Hospital Environment. Pathogens, Multidisciplinary Digital Publishing Institute, 2014, 3 (2), pp.309--40. <10.3390/pathogens3020309>
	hal-00995657v1 Article dans une revue Evelyne Gout, Christine Moriscot, Andrea Doni, Chantal Dumestre-Pérard, Monique Lacroix et al. M-ficolin interacts with the long pentraxin PTX3: a novel case of cross-talk between soluble pattern-recognition molecules. Journal of Immunology, Publisher : Baltimore : Williams & Wilkins, c1950-. Latest Publisher : Bethesda, MD : American Association of Immunologists, 2011, 186 (10), pp.5815-22. <10.4049/jimmunol.1100180>
	hal-00354555v1 Article dans une revue Monique Lacroix, Chantal Dumestre-Pérard, Guy Schoehn, Gunnar Houen, Jean-Yves Cesbron et al. Residue Lys57 in the collagen-like region of human L-ficolin and its counterpart Lys47 in H-ficolin play a key role in the interaction with the mannan-binding lectin-associated serine proteases and the collectin receptor calreticulin. Journal of Immunology, Publisher : Baltimore : Williams & Wilkins, c1950-. Latest Publisher : Bethesda, MD : American Association of Immunologists, 2009, 182 (1), pp.456-65
	hal-01470814v1 Article dans une revue S. Bailly, C. Garnaud, M. Cornet, P. Pavese, R. Hamidfar-Roy et al. Impact of systemic antifungal therapy on the detection of Candida species in blood cultures in clinical cases of candidemia European Journal of Clinical Microbiology and Infectious Diseases, Springer Verlag, 2016, 35 (6), pp.1023 - 1032. <10.1007/s10096-016-2633-9>
	hal-00993882v1 Article dans une revue Gautier Hoarau, Isabelle Pelloux, Armelle Gayot, Isabelle Wroblewski, Michel-Robert Popoff et al. Two cases of type A infant botulism in Grenoble, France: no honey for infants. European Journal of Pediatrics, Springer Verlag, 2012, 171 (3), pp.589-91. <10.1007/s00431-011-1649-5>
	hal-00141329v1 Article dans une revue Kavita Shah, Claude Penel, Jean Gagnon, Christophe Dunand. Purification and identification of a Ca(2+)-pectate binding peroxidase from Arabidopsis leaves. Phytochemistry, Elsevier, 2004, 65 (3), pp.307-12
	hal-01470813v1 Article dans une revue Yanan Zhao, Cécile Garnaud, Marie-Pierre Brenier-Pinchart, Anne Thiébaut-Bertrand, Christel Saint-Raymond et al. Direct Molecular Diagnosis of Aspergillosis and CYP51A Profiling from Respiratory Samples of French Patients Frontiers in Microbiology, Frontiers Media, 2016, 7, <10.3389/fmicb.2016.01164>
	halshs-00578858v1 Article dans une revue Nicolas Marusczak, Catherine Larose, Aurélien Dommergue, Serge Paquet, Jean-Sébastien Beaulne et al. Mercury and methylmercury concentrations in high altitude lakes and fish (Arctic charr) from the French Alps related to watershed characteristics Science of the Total Environment, Elsevier, 2011, pp.1909-1915
	hal-00319485v1 Article dans une revue Grégory Batt, Hidde De Jong, Michel Page, Johannes Geiselmann. Symbolic reachability analysis of genetic regulatory networks using discrete abstractions Automatica, Elsevier, 2008, 44 (4), pp.982-989
	1 2	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 51 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Domaine

Laboratoire

Langue

Type de dépôt

Année