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
...
lirmm-01348367v1  Journal articles
Thu-Hien To, Matthieu Jung, Samantha Lycett, Olivier Gascuel. Fast Dating Using Least-Squares Criteria and Algorithms
Systematic Biology, Oxford University Press (OUP), 2016, 65 (1), pp.82-97. ⟨10.1093/sysbio/syv068⟩
lirmm-01397013v1  Journal articles
Olivier Gascuel, Tanja Stadler. Mathematical and Computational Evolutionary Biology (2013)
Systematic Biology, Oxford University Press (OUP), 2015, 64 (1), pp.1-2. ⟨10.1093/sysbio/syu086⟩
hal-00629909v1  Journal articles
Nacim Ramdani, Nacim Meslem, Yves Candau. Computing reachable sets for uncertain nonlinear monotone systems
Nonlinear Analysis: Hybrid Systems, Elsevier, 2010, 4 (2), pp.263-278
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
...
hal-02438031v1  Journal articles
Zhenhua Liu, R. Tavares, Evan Forsythe, François André, Raphaël Lugan et al.  Evolutionary interplay between sister cytochrome P450 genes shapes plasticity in plant metabolism
Nature Communications, Nature Publishing Group, 2016, 7 (1), pp.13026. ⟨10.1038/ncomms13026⟩
...
hal-01378371v1  Journal articles
Z. Liu, R. Tavares, E.S. Forsythe, F. André, R. Lugan et al.  Evolutionary interplay between sister cytochrome P450 genes shapes plasticity in plant metabolism
Nature Communications, Nature Publishing Group, 2016, 7, pp.13026. ⟨10.1038/ncomms13026⟩
...
lirmm-00879575v1  Conference papers
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
lirmm-01889394v1  Journal articles
Mathias Weller, Annie Chateau, Rodolphe Giroudeau, Jean-Claude König, Valentin Pollet. On Residual Approximation in Solution Extension Problems
Journal of Combinatorial Optimization, Springer Verlag, 2018, 36 (4), pp.1195-1220. ⟨10.1007/s10878-017-0202-5⟩
...
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
...
inserm-01390470v1  Journal articles
Sacha Beaumeunier, Jérôme Audoux, Anthony Boureux, Florence Rufflé, T. Commes et al.  On the evaluation of the fidelity of supervised classifiers in the prediction of chimeric RNAs
BioData Mining, BioMed Central, 2016, 9 (1), pp.34. ⟨10.1186/s13040-016-0112-6⟩
...
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-01595465v1  Journal articles
Yves Pacheco, Alain Calender, Dominique Israël-Biet, Pascal Roy, Serge Lebecque et al.  Familial vs. sporadic sarcoidosis: BTNL2 polymorphisms, clinical presentations, and outcomes in a French cohort
Orphanet Journal of Rare Diseases, BioMed Central, 2016, 11 (1), ⟨10.1186/s13023-016-0546-4⟩
...
hal-00851247v1  Journal articles
Emmanuelle Deniaud, Joël Baguet, Roxane Chalard, Bariza Blanquier, Lilia Brinza et al.  Overexpression of transcription factor Sp1 leads to gene expression perturbations and cell cycle inhibition.
PLoS ONE, Public Library of Science, 2009, 4 (9), pp.e7035. ⟨10.1371/journal.pone.0007035⟩
...
hal-02637603v1  Journal articles
Nicolas Blavet, Hana Blavet, Aline Muyle, Jos Käfer, Radim Cegan et al.  Identifying new sex-linked genes through BAC sequencing in the dioecious plant Silene latifolia
BMC Genomics, BioMed Central, 2015, 16, ⟨10.1186/s12864-015-1698-7⟩