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
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
...
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⟩
...
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-00124141v1  Conference papers
Veronique PrinetC. CassisaF.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
inria-00124202v1  Conference papers
W. LiuVeronique Prinet. Probabilistic Modeling for Structural Change Inference
7th Asian Conference on Computer Vision (ACCV), Jan 2006, Hyderabad/ Inde, India. pp.836-846, ⟨10.1007/11612032_84⟩
inria-00124182v1  Conference papers
F.F TangVeronique Prinet. Computing Invariants for Structural Change Detection in Urban Areas
Proc. URBAN, Apr 2007, Paris/France, France
inria-00123878v1  Conference papers
Kun WangTianzi JiangMeng LiangLiang WangLixia Tian et al.  Discriminative analysis of early Alzheimer's disease based on two intrinsically anti-correlated networks with resting-state fMRI
Proceedings of Medical Image Computing and Computer Assisted Intervention -MICCAI'06, Oct 2006, Copenhague, Danemark, Denmark. pp.340-347, ⟨10.1007/11866763_42⟩
inria-00123894v1  Conference papers
Longfei CongSu-Lin LeeAndrew HuntbatchTianzi JiangGuang-Zhong Yang. An Embedding Framework for Myocardial Velocity Field Mapping with MRI
Proceedings of Medical Image Computing and Computer Assisted Intervention -MICCAI'06, Aug 2006, Shanghai, Chine, China. pp.44-51, ⟨10.1007/11812715_6⟩