Rechercher

		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 20 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00624833v1 Communication dans un congrès Xiaomu Shi, Jean-François Monin, Frédéric Tuong, Frédéric Blanqui. First steps towards the certification of an ARM simulator using Compcert First International Conference on Certified Programs and Proofs, Dec 2011, Hengchun, Taiwan. 7086, 2011, LNCS. <10.1007/978-3-642-25379-9_25>
	halshs-00601773v1 Chapitre d'ouvrage Patrick Criqui, Jean Charles Hourcade. Projeter les émissions de GES Catherine Jeandel et Rémy Mosseri. Le climat à découvert, CNRS Editions, pp.214-216, 2011
	halshs-00601775v1 Chapitre d'ouvrage Patrick Criqui, Jean Charles Hourcade. Scénarios GIEC et déterminants des émissions à long terme Catherine Jeandel et Rémy Mosseri. Le climat à découvert, CNRS Editions, pp.217-219, 2011
	hal-00844262v1 Communication dans un congrès Jean-Yves Delenne, Vincent Richefeu, Farhang Radjai. Condensation capillaire dans les miieux granulaires Colloque annuel du GdR MeGe, Jun 2011, La Rochelle, France
	hal-00647802v1 Communication dans un congrès Yuxin Deng, Stéphane Grumbach, Jean-François Monin. A Framework for Verifying Data-Centric Protocols Bruni, Roberto and Dingel, Juergen. DisCoTec 2011 - 6th International Federated Conferences on Formal Techniques for Distributed Systems, Jun 2011, Reykjavik, Iceland. Springer, 6722, pp.106-120, 2011, Lecture Notes in Computer Science; Formal Techniques for Distributed Systems. <10.1007/978-3-642-21461-5_7>
	halshs-00638302v1 Chapitre d'ouvrage Philippe Menanteau, Paolo Avner. Gaz à effet de serre (GES) et nouveaux véhicules urbains D. Pumain et M. F. Mattei. Données urbaines 6, Economica, pp.327-336, 2011
	inria-00583818v1 Communication dans un congrès Heng Wang, Alexander Kläser, Cordelia Schmid, Liu Cheng-Lin. Action Recognition by Dense Trajectories CVPR 2011 - IEEE Conference on Computer Vision & Pattern Recognition, Jun 2011, Colorado Springs, United States. IEEE, pp.3169-3176, 2011, <10.1109/CVPR.2011.5995407>
	hal-00684558v1 Article dans une revue Cécile Albert, Fabrice Grassein, F. M. Schurr, Ghislain Vieilledent, Cyrille Violle. When and how should intraspecific variability be considered in trait-based plant ecology? Perspectives in Plant Ecology Evolution and Systematics, 2011, 13 (3), pp.217-225. <10.1016/j.ppees.2011.04.003>
	hal-01328486v1 Communication dans un congrès F. Quétier, Thierry Dutoit, S. Gaucherand, F. Isselin, S. Lavorel et al. La question clé des délais et de la fiabilité des opérations d’ingénierie écologique en faveur de la biodiversité. Journées ateliers REVER3, Feb 2011, Metz, France
	inria-00567811v1 Rapport Yuxin Deng, Stéphane Grumbach, Jean-François Monin. Verifying Declarative Netlog Protocols with Coq: a First Experiment [Research Report] RR-7511, INRIA. 2011
	hal-01331236v1 Article dans une revue Denis Giguère, Sabine André, Marc-André Bonin, Marc-André Bellefleur, Alexandre Provencal et al. Inhibitory potential of chemical substitutions at bioinspired sites of b-D-galactopyranose on neoglycoprotein/cell surface binding of two classes of medically relevant lectins. Bioorganic and Medicinal Chemistry, 2011, <10.1016/j.bmc.2011.03.022>
	hal-00937500v1 Article dans une revue Dorothée Charlier, Alejandro Mosino, Aude Pommeret. Energy-saving Technology Adoption under Uncertainty in the Residential Sector Annales d'Economie et Statistiques, 2011, pp.43-70
	inria-00546228v1 Communication dans un congrès Frédéric Blanqui, Claude Helmstetter, Vania Joloboff, Jean-François Monin, Xiaomu Shi. Designing a CPU model: from a pseudo-formal document to fast code 3rd Workshop on: Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2011, Heraklion, Greece. 2010
	hal-00827700v1 Chapitre d'ouvrage Ottmar Edenhofer, R. Pichs-Madruga, Y. Sokona, K. Seyboth, D. Arvizu et al. Summary for Policy Makers P. Matschoss, S. Kadner, T. Zwickel, P. Eickemeier, G. Hansen, S. Schlömer, CV. Stechow. IPCC Special Report on Renewable Energy Sources and Climate Change Mitigation, Cambridge, United Kingdom and New York, NY, USA, pp.1-29, 2011
	hal-00855922v1 Article dans une revue Xavier Argout, Jerome Salse, Jean-Marc Aury, Mark J Guiltinan, Gaetan Droc et al. The genome of Theobroma cacao. Nature Genetics, Nature Publishing Group, 2011, 43 (2), pp.101-8. <10.1038/ng.736>
	insu-00648872v1 Article dans une revue L. Nodichao, J.L. Chopart, O. Roupsard, M. Vauclin, S. Aké et al. Genotypic variability of oil palm root system distribution in the field. Consequences for water uptake Plant and Soil, Springer Verlag, 2011, 341 (1-2), <10.1007/s11104-010-0663-0>
	hal-00694835v1 Article dans une revue Olivier Labussiere, Alain Nadaï. Expérimentations cartographiques et devenirs paysagers : la planification éolienne de la Narbonnaise (Aude) Espaces et societes (Paris, France), Erès, 2011, pp.71-92
	hal-00780083v1 Communication dans un congrès V. Lenouvel, M. Montginoul, S. Thoyer. From a blind truncheon to a one-eyed stick: testing in the lab an optional target-based mechanism adapted to groundwater withdrawals Annual Conference of European Association of Environmental and Resource Economists, Jun 2011, Rome, Italy. 23 p., 2011
	insu-00648785v1 Article dans une revue S. Massuel, B. Cappelaere, G. Favreau, C. Leduc, T. Lebel et al. Integrated surface water-groundwater modelling in the context of increasing water reserves of a regional Sahelian aquifer = Modélisation intégrée surface--souterrain dans un contexte de hausse des réserves d'un aquifère régional Sahélien Hydrological Sciences Journal, Taylor & Francis, 2011, 56 (7), pp.1242-1264. <10.1080/02626667.2011.609171>
	halshs-00557114v2 Article dans une revue Dominique Finon, Michel Damian. Le captage et le stockage du carbone, entre nécessité et réalisme Natures Sciences Sociétés, EDP Sciences, 2011, 19 (1), pp.56-61. <10.1051/nss/2011102>
		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 20 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