Rechercher

	1 2 3	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 86 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00122487v1 Communication dans un congrès L. Wu, Philippe De Reffye, François Xavier Le Dimet, Baogang Hu. Optimization of Source-Sink Relationship based on a Plant Functional-Structural Model: A Case study on Maize Hu, B. G. and Jaeger M. Plant Growth Modeling and Applications, 2003, BeiJing / China, Springer and Tsinghua University Press, pp.285-295, 2003
	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>
	hal-00908214v1 Communication dans un congrès Renaud Hostache, Xijun Lai, Jerome Monnier, Christian Puech. Assimilation of one satellite SAR image for flood simulations. Method and test case (Moser river) AOGS 2010 - Asia Oceania Geosciences Society, Jul 2010, Hyderabad, India. World Scientific, 22, pp.49-65, 2010
	inria-00506093v1 Rapport Yuxin Deng, Stéphane Grumbach, Jean-François Monin. Towards Verifying Declarative Netlog Protocols with Coq [Intern report] 2010, pp.20
	hal-00725627v2 Rapport Heng Wang, Alexander Kläser, Cordelia Schmid, Cheng-Lin Liu. Dense trajectories and motion boundary descriptors for action recognition [Research Report] RR-8050, 2012
	hal-00733634v1 Communication dans un congrès Meixian Chen, Jean-François Monin. Formal Verification of Netlog Protocols Tiziana Margaria and Zongyan Qiu and Hongli Yang. TASE, Jul 2012, Beijing, China. IEEE, 2012
	hal-00937168v1 Communication dans un congrès Jean-François Monin, Xiaomu Shi. Handcrafted Inversions Made Operational on Operational Semantics Sandrine Blazy and Christine Paulin-Mohring and David Pichardie. ITP 2013 - 4th International Conference Interactive Theorem Proving, Jul 2013, Rennes, France. Springer, 7998, pp.338-353, 2013, LNCS - Lecture Notes in Computer Science; Interactive Theorem Proving. <10.1007/978-3-642-39634-2_25>
	hal-00190323v1 Autre publication Nicolas Balacheff, Ricardo Caferra, Michele Cerulli, Nathalie Gaudin, Mirko Maracci et al. Baghera Assessment Project, designing an hybrid and emergent educational society Research report. 2003
	hal-00953627v1 Communication dans un congrès Christine Plumejeaud, Jean-Marc Vincent, Claude Grasland, Sandro Bimonte, Hélène Mathian et al. A System for Interactive Spatial Analysis via Potential Maps W2GIS, 2008, Shanghai, China. 2008
	inria-00510174v1 Article dans une revue Cyril Soler, François X. Sillion, Frédéric Blaise, Philippe De Reffye. An Efficient Instantiation Algorithm for Simulating Radiant Energy Transfer in Plant Models ACM Transactions on Graphics, Association for Computing Machinery, 2003, 22 (2), pp.204 - 233. <10.1145/636886.636890>
	hal-00956925v1 Article dans une revue Agnès Bouchez, Noémie Pascault, Cècile Chardon, Marc Bouvy, Philippe Cecchi et al. Mangrove microbial diversity and the impact of trophic contamination Marine Pollution Bulletin, Elsevier, 2013, vol. 66, pp. 39-46. <10.1016/j.marpolbul.2012.11.015>
	inria-00402079v1 Communication dans un congrès Xing Mei, Philippe Decaudin, Bao-Gang Hu. Fast Hydraulic Erosion Simulation and Visualization on GPU Marc Alexa and Steven J. Gortler and Tao Ju. PG '07 - 15th Pacific Conference on Computer Graphics and Applications, Oct 2007, Maui, United States. IEEE, pp.47-56, 2007, Pacific Graphics 2007. <10.1109/PG.2007.15>
	lirmm-00806676v1 Communication dans un congrès Maximilien Servajean, Esther Pacitti, Sihem Amer-Yahia, Pascal Neveu. Profile Diversity in Search and Recommendation Ido Guy; Michelle X. Zhou; Li Chen. SRS: Social Recommender Systems (in conjunction WWW 2013), May 2013, Rio de Janeiro, Brazil. IW3C2, International World Wide Web Conference Committee (IW3C2) - SRS 2013: 4th International Workshop on Social Recommender Systems (in conjunction WWW 2013 Companion, ACM 978-1-4503-2038-2/13/05., pp.973-980, 2013, <www2013.org/program/4th-international-conference-on-social-recommender-systems/>
	lirmm-00879575v1 Communication dans un congrès Maximilien Servajean, Esther Pacitti, Sihem Amer-Yahia, Pascal Neveu. Profile Diversity for Phenotyping Data Search and Recommendation BDA: Bases de Données Avancées, Oct 2013, Nantes, France. 29e Journées Bases de Données Avancées, 2013, <http://bda2013.univ-nantes.fr>
	hal-00457304v1 Chapitre d'ouvrage N. Bedjaoui, X. Litrico, D. Koenig, P.O. Malaterre. H infinity observer for time-delay systems. Application to FDI for irrigation canals Decision and Control, 2006, Proceedings, IEEE, p. 532 - p. 537, 2006, <10.1109/CDC.2006.377709>
	halshs-01321796v1 Pré-publication, Document de travail Philippe Menanteau, Dominique Finon, Marie-Laure Lamy. Prix versus quantités : Les politiques environnementales d’incitation au développement des énergies renouvelables cahier de recherche IEPE ; 25. 2001
	tel-00140232v1 Thèse Nadia Bedjaoui. Supervision dynamique d'un canal d'irrigation Automatique / Robotique. Institut National Polytechnique de Grenoble - INPG, 2006. Français
	halshs-00119602v1 Autre publication Dominique Finon, Catherine Locatelli. L'interdépendance gazière de la Russie et de l'Union européenne : quel équilibre entre le marché et la géopolitique ? Cahier de recherche LEPII. série EPE ; n° 41. 2006
	halshs-00000965v1 Pré-publication, Document de travail Jean Charles Hourcade, Frédéric Ghersi, Patrick Criqui. Viable Responses to the equity-responsability dilemna : a consequentialist view. Date de rédaction : 2003. 2003
	inria-00489412v2 Communication dans un congrès Jean-François Monin. Proof Trick: Small Inversions Yves Bertot. Second Coq Workshop, Jul 2010, Edinburgh, United Kingdom. 2010
	hal-01470785v1 Article dans une revue Audrey Richard-Ferroudji, Nadia Dupont, Séverine Durand, Frédéric Grelot. Une politique du vivre avec un fleuve et ses débordements Vertigo, Paris : Avancées cinématographiques, 2014, 14 (2), <10.4000/vertigo.15057>
	hal-01261708v1 Article dans une revue Lin Wu, Philippe De Reffye, Bao-Gang Hu, François-Xavier Le Dimet, Paul-Henry Cournède. A Water Supply Optimization Problem for Plant Growth Based on GreenLab Model Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2005, 3, pp.197-207
	hal-01090836v1 Article dans une revue Jean-Baptiste Durand, Yann Guédon. Localizing the latent structure canonical uncertainty: entropy profiles for hidden Markov models Statistics and Computing, Springer Verlag (Germany), 2016, 26 (1), pp.549-567. <10.1007/s11222-014-9494-9>
	hal-00699815v1 Article dans une revue Clémence Hatt, François Mankessi, Jean-Baptiste Durand, Frédéric Boudon, Fabienne Montes et al. Characteristics of Acacia mangium shoot apical meristems in natural and in vitro conditions in relation to heteroblasty Trees - Structure and Function, Springer Verlag, 2012, 26 (3), pp.1031-1044. <http://www.springerlink.com/content/v36n1g4136403843/>. <10.1007/s00468-012-0680-0>
	hal-01426322v1 Article dans une revue Ruben Bibas, Sandrine Mathy, Meike Fink. Elaboration et analyse macroéconomiquemacroéconomique d'un scénario bas carbone « acceptable » Economie et Prévision, Minefi - Direction de la prévision, 2016, pp.77-104. <http://www.cairn.info/revue-economie-et-prevision.htm>
	inria-00435247v1 Communication dans un congrès Claude Helmstetter, Vania Joloboff, Hui Xiao. SimSoC: A full system simulation software for embedded systems IEEE. 2009 International Workshop on Open-source Software for Scientific Computation (OSSC-2009), Sep 2009, Guiyang, China. 7 p., 2009
	inria-00072514v1 Rapport Cyril Soler, François X. Sillion, Frédéric Blaise, Philippe De Reffye. A physiological Plant Growth Simulation Engine Based on Accurate Radiant Energy Transfer [Research Report] RR-4116, INRIA. 2001
	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>
	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-00831818v1 Document associé à des manifestations scientifiques Patrick Heuret, Jean-Baptiste Durand, Eric Nicolini, Sabrina Coste, Yves Caraglio. Exploring morphogenetical gradient variability using hidden Markov tree models in young individuals of the tropical species Symphonia globulifera (Clusiaceae) 5th International Workshop on Functional-Structural Plant Models, 2007, Napier, New Zealand. pp.P19, 1, 2007
	1 2 3	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 86 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