Skip to Main content Skip to Navigation


...
inria-00555008v1  Journal articles
Sho SuzukiKeiichirou KusakariFré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 ToMatthieu JungSamantha LycettOlivier 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 GascuelTanja 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 RamdaniNacim MeslemYves 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. SongY. GuoB.G. LiPhilippe 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. WangY. GuoB.G. LiY.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
lirmm-01889394v1  Journal articles
Mathias WellerAnnie ChateauRodolphe GiroudeauJean-Claude KönigValentin 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 ChenLinqiang ChenYigang WangGang XuJun-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 YaoShan 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 CorpettiEtienne 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 LiuZhening LiuMeng LiangYihui HaoLihua Tan et al.  Decreased Regional Homogeneity in Schizophrenia : a Resting State fMRI study
NeuroReport, Lippincott, Williams & Wilkins, 2006, NeuroReport, 17 (1), pp.19-22
...
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 CourtyThomas 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-00763495v1  Conference papers
Frédéric BlanquiKim Quyen Ly. Automated verification of termination certificates
15th National Symposium of Selected ICT Problems, Dec 2012, Hanoi, Vietnam
hal-00777156v1  Conference papers
Zhang ZuyuVania JoloboffXinlei ZhouClaude 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 HelmstetterVania 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 SongClaude HelmstetterVania JoloboffHongwei 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⟩