Skip to Main content Skip to Navigation
  1. Search


...
inria-00555008v1  Journal articles
Sho Suzuki, Keiichirou Kusakari, Frédéric Blanqui. Argument filterings and usable rules in higher-order rewrite systems
IPSJ Transactions on Programming, IPSJ, 2011, 4 (2), pp.1-12
...
halsde-00184693v1  Journal articles
Charlotte Faurie, Dominique Pontier, Michel Raymond. Student athletes claim to have more sexual partners than other students
Evolution and Human Behavior, Elsevier, 2004, 25, pp.1-8. ⟨10.1016/S1090-5138(03)00064-3⟩
inria-00122482v1  Journal articles
Y.H. Song, Y. Guo, B.G. Li, Philippe de Reffye. Virtual maize model II. plant morphological constructing based on organ biomass accumulation
Acta Ecologica Sinica, Elsevier, 2003, Acta Ecologica Sinica, 23 (12), pp.2579-2586
inria-00122484v1  Journal articles
X.P. Wang, Y. Guo, B.G. Li, Y.T. Ma. Modelling the three dimensional distribution of direct solar radiation in maize canopy
Acta Ecologica Sinica, Elsevier, 2005, Acta Ecologica Sinica, 25 (1), pp.7-12
...
inria-00518351v1  Journal articles
Xiao-Diao Chen, Linqiang Chen, Yigang Wang, Gang Xu, Jun-Hai Yong et al.  Computing the minimum distance between two Bézier curves
Journal of Computational and Applied Mathematics, Elsevier, 2009, 229 (1), pp.194-301. ⟨10.1016/j.cam.2008.10.050⟩
hal-01086346v1  Journal articles
Anbang Yao, Shan Yu. Robust Face Representation Using Hybrid Spatial Feature Interdependence Matrix
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2013, 22 (8), pp.3247-3259
...
hal-00694584v1  Journal articles
Thomas Corpetti, Etienne Mémin. Stochastic uncertainty models for the luminance consistency assumption
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2012, 21 (2), pp.481-493. ⟨10.1109/TIP.2011.2162742⟩
inria-00123792v1  Journal articles
Haihong Liu, Zhening Liu, Meng Liang, Yihui Hao, Lihua Tan et al.  Decreased Regional Homogeneity in Schizophrenia : a Resting State fMRI study
NeuroReport, Lippincott, Williams & Wilkins, 2006, NeuroReport, 17 (1), pp.19-22
...
hal-02917533v1  Reports
. Comité Scientifique Du Haut Conseil Des Biotechnologies, Claude Bagnis, Avner Bar-Hen, Marie Anne Barny, Florence Bellivier et al.  Avis en réponse à la saisine HCB 150129 - dossier 2014-1211 concernant le dossier EFSA-GMO-NL-2014-121. Paris, le 22 avril 2015
[Rapport de recherche] Haut Conseil des Biotechnologies. 2015, 23 p
...
hal-02917777v1  Reports
. Comité Scientifique Du Haut Conseil Des Biotechnologies, Frederique Angevin, Claude Bagnis, Avner Bar-Hen, Marie-Anne Barny et al.  Avis en réponse à la saisine HCB- dossier 2019-159. Paris, le 16 décembre 2019
Haut Conseil des Biotechnologies. 2019, 34 p
...
hal-02788222v1  Reports
. Comité Scientifique Du Haut Conseil Des Biotechnologies, Frederique Angevin, Claude Bagnis, Avner Bar-Hen, Marie-Anne Barny et al.  Avis en réponse à la saisine HCB - dossier RX-015. Paris, le 26 février 2019
[Rapport de recherche] Haut Conseil des Biotechnologies. 2019
...
hal-02790157v1  Reports
. Comité Scientifique Du Haut Conseil Des Biotechnologies, Frederique Angevin, Claude Bagnis, Avner Bar-Hen, Marie-Anne Barny et al.  Avis en réponse à la saisine HCB - dossier 2018-151. Paris, le 10 janvier 2019
[Rapport de recherche] Haut Conseil des Biotechnologies. 2019
...
hal-02917686v1  Reports
. Comité Scientifique Du Haut Conseil Des Biotechnologies, Frederique Angevin, Claude Bagnis, Avner Bar-Hen, Marie-Anne Barny et al.  Avis en réponse à la saisine du 2 juillet 2020 relative au projet de décret modifiant l’article D.531-2 du code de l'environnement
[Rapport de recherche] Haut Conseil des Biotechnologies. 2020, 44 p
...
tel-00516709v1  Theses
Hehua Zhang. Domain-specific modeling and verification language EDOLA
Software Engineering [cs.SE]. Tsinghua university, 2009. Chinese
...
hal-00493381v1  Journal articles
Nicolas Courty, Thomas Corpetti. Crowd Motion Capture
Computer Animation and Virtual Worlds (selected best papers from CASA 2007), 2007, 18 (4--5), pp.361--370. ⟨10.1002/cav.v18:4/5⟩
...
hal-00780322v1  Journal articles
Yang Gang, Cao Weiqun, Liu Dongxiang, Meng Zhen Kang, Véronique Letort et al.  Growth and development simulation based on functional-structural model GreenLab for poplar (Salicaceae)
African Journal of Agricultural Research, 2011, 6 (13), pp.3071-3077
...
hal-00763495v1  Conference papers
Frédéric Blanqui, Kim Quyen Ly. Automated verification of termination certificates
15th National Symposium of Selected ICT Problems, Dec 2012, Hanoi, Vietnam
hal-00777156v1  Conference papers
Zhang Zuyu, Vania Joloboff, Xinlei Zhou, Claude Helmstetter. Fast Dynamic Translation Using LLVM On Multi-Core Hosts
5th Workshop on Architectural and Microarchitectural Support for Binary Translation (AMAS-BT), Intel Corporation, Jun 2012, Portland, Oregon, United States
hal-00777158v1  Conference papers
Claude Helmstetter, Vania Joloboff. SimSoC: A SystemC TLM integrated ISS for full system simulation
APCCAS - IEEE Asia-Pacific Conference on Circuits and Systems - 2008, IEEE, Nov 2008, Macau, Macau SAR China. ⟨10.1109/APCCAS.2008.4746381⟩
hal-00777157v1  Conference papers
Jiajia Song, Claude Helmstetter, Vania Joloboff, Hongwei Hao. Generation of Executable Representation for Processor Simulation with Dynamic Translation
2008 International Conference on Computer Science and Software Engineering, Dec 2008, Wuhan, China. ⟨10.1109/CSSE.2008.635⟩
...
hal-02951526v1  Reports
Jean-François Silvain, Robin Goffaux, Hélène Soubelet, Francois Sarrazin, Luc Abbadie et al.  Mobilisation de la FRB par les pouvoirs publics français sur les liens entre Covid-19 et biodiversité
[Rapport de recherche] FRB. 2020, 54 p
...
cel-00934160v1  Lectures
Frédéric Blanqui. Elements of mathematics and logic for computer program analysis
Master. Institute of Applied Mechanics and Informatics (IAMA) of the Vietnamese Academy of Sciences and Technology (VAST) at Ho Chi Minh City, Vietnam, 2013, pp.37
...
inria-00585694v1  Conference papers
Sylvain Merlet, Jian Cheng, Aurobrata Ghosh, Rachid Deriche. Spherical Polar Fourier EAP and ODF Reconstruction via Compressed Sensing in Diffusion MRI
ISBI, Mar 2011, Chicago, United States
...
inria-00124141v1  Conference papers
Veronique Prinet, C. Cassisa, F.F. Tang. MRF Modeling for Optical Flow Computation From Multistructure Objects
IEEE International Conference on Image Processing (ICIP), Oct 2006, Atlanta/USA, United States. pp.1093-1096