 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00555008v1
Article dans une revue
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 |
||
|
hal-00654399v1
Communication dans un congrès
Régis Behmo, Paul Marcombes, Arnak S. Dalalyan, Veronique Prinet. Towards Optimal Naive Bayes Nearest Neighbor ECCV 2010 - 11th European Conference on Computer Vision, Sep 2010, Heraklion, Crete, Greece. Springer-Verlag, 6314, pp.171-184, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-15561-1_13> |
||
|
inria-00424764v1
Communication dans un congrès
Jian Cheng, Aurobrata Ghosh, Tianzi Jiang, Rachid Deriche. A Riemannian Framework for Orientation Distribution Function Computing Medical Image Computing and Computer-Assisted Intervention – MICCAI 2009, Sep 2009, London, United Kingdom. Springer, 5761, 2009, Lecture Notes in Computer Science; MICCAI 2009. <http://www.springerlink.com/content/vk4t377274521434/>. <10.1007/978-3-642-04268-3_112> |
||
|
inria-00424765v1
Communication dans un congrès
Jian Cheng, Feng Shi, Kun Wang, Ming Song, Jiefeng Jiang et al. Nonparametric Mean Shift Functional Detection in the Functional Space for Task and Resting-state fMRI Workshop on fMRI data analysis: statistical modeling and detection issues in intra- and inter-subject functional MRI data analysis, in conjunction with the MICCAI 2009, Sep 2009, London, United Kingdom. 2009 |
||
|
hal-00824507v1
Communication dans un congrès
Jian Cheng, Tianzi Jiang, Rachid Deriche, Shen Dinggang, Yap Pew-Thian. Regularized Spherical Polar Fourier Diffusion MRI with Optimal Dictionary Learning Kensaku Mori and Ichiro Sakuma and Yoshinobu Sato and Christian Barillot and Nassir Navab. The 16th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI), Sep 2013, Nagoya, Japan. Springer, 8149, pp.639-646, 2013, Lecture Notes in Computer Science; Medical Image Computing and Computer-Assisted Intervention - MICCAI 2013. <10.1007/978-3-642-40811-3_80> |
||
|
tel-00724233v2
HDR
Frédéric Blanqui. Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité Logique [math.LO]. Université Paris-Diderot - Paris VII, 2012 |
||
|
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-00777156v1
Communication dans un congrès
Zhang Zuyu, Vania Joloboff, Xinlei Zhou, Claude Helmstetter. Fast Dynamic Translation Using LLVM On Multi-Core Hosts ACM. 5th Workshop on Architectural and Microarchitectural Support for Binary Translation (AMAS-BT), Jun 2012, Portland, Oregon, United States. 2012 |
||
|
hal-00777158v1
Communication dans un congrès
Claude Helmstetter, Vania Joloboff. SimSoC: A SystemC TLM integrated ISS for full system simulation IEEE. APCCAS - IEEE Asia-Pacific Conference on Circuits and Systems - 2008, Nov 2008, Macau, Macau SAR China. 2008, <http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4746381>. <10.1109/APCCAS.2008.4746381> |
||
|
hal-00777157v1
Communication dans un congrès
Jiajia Song, Claude Helmstetter, Vania Joloboff, Hongwei Hao. Generation of Executable Representation for Processor Simulation with Dynamic Translation IEEE. 2008 International Conference on Computer Science and Software Engineering, Dec 2008, Wuhan, China. IEEE, 2008, <10.1109/CSSE.2008.635> |
||
|
inria-00123878v1
Communication dans un congrès
Kun Wang, Tianzi Jiang, Meng Liang, Liang Wang, Lixia Tian et al. Discriminative analysis of early Alzheimer's disease based on two intrinsically anti-correlated networks with resting-state fMRI JR. Larsen, M. Nielsen, and J. Sporring. Proceedings of Medical Image Computing and Computer Assisted Intervention -MICCAI'06, Oct 2006, Copenhague, Danemark, Springer, 4119, pp.340-347, 2006, Lecture Notes in Computer Science. <10.1007/11866763_42> |
||
|
inria-00122761v1
Communication dans un congrès
Hu Bao-Gang, Xing Hong-Jie, Yang Yu-Jiu. Geometric Interpretation of Nonlinear Approximation Capability for Feedforward Neural Networks. Advances in Neural Networks - ISNN 2004, International Symposium on Neural Networks, Aug 2004, Dalian / China, Springer, 3173 (3173), pp.7-13, 2004, Lecture Notes in Computer Science. <10.1007/b99834> |
||
|
inria-00122767v1
Communication dans un congrès
Weiwei Yin, Marc Jaeger, Jun Teng, Bao-Gang Hu. Modelling and Sampling Ramified Objects with Substructure-Based Method. Sunderam Vaidy S. and van Albada G. Dick and Sloot Peter M. A. and Dongarra Jack. International Conference on Computational Science (2) - ICCS 2005, May 2005, Atlanta / GA / USA, Springer, 3515 (3515), pp.322-326, 2005, Lecture Notes in Computer Science. <10.1007/11428848_40> |
||
|
inria-00122738v1
Communication dans un congrès
Shuang-Hong Yang, Bao-Gang Hu. Reformulated Parametric Learning Based on Ordinary Differential Equations. Huang De-Shuang and Li Kang and Irwin George W. Computational Intelligence, International Conference on Intelligent Computing, ICIC 2006, Aug 2006, Kunming / China, Springer, 4114, pp.256-267, 2006, Lecture Notes in Computer Science. <10.1007/11816171_33> |
||
|
inria-00123894v1
Communication dans un congrès
Longfei Cong, Su-Lin Lee, Andrew Huntbatch, Tianzi Jiang, Guang-Zhong Yang. An Embedding Framework for Myocardial Velocity Field Mapping with MRI Guang-ZhongYang and Tianzi Jiang and Dinggang Shen and Lixu Gu and Jie Yang. Proceedings of Medical Image Computing and Computer Assisted Intervention -MICCAI'06, Aug 2006, Shanghai, Chine, Elsevier, 4091, pp.44-51, 2006, Lecture Notes in Computer Science. <10.1007/11812715_6> |
||
|
hal-00646947v1
Communication dans un congrès
Vania Joloboff, Xinlei Zhou, Claude Helmstetter, Xiaopeng Gao. Fast Instruction Set Simulation Using LLVM-based Dynamic Translation International MultiConference of Engineers and Computer Scientists 2011, Mar 2011, Hong Kong, China. Springer, 2188, pp.212-216, 2011, Lecture Notes in Engineering and Computer Science |
||
|
cel-00934160v1
Cours
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
Communication dans un congrès
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. 2011 |
||
|
hal-01086346v1
Article dans une revue
Anbang Yao, Shan Yu. Robust Face Representation Using Hybrid Spatial Feature Interdependence Matrix IEEE Transaction on Image Processing, IEEE, 2013, 22 (8), pp.3247-3259 |
||
|
tel-00516709v1
Thèse
Hehua Zhang. Domain-specific modeling and verification language EDOLA Software Engineering [cs.SE]. Tsinghua university, 2009. Chinese |
||
|
inria-00516906v1
Communication dans un congrès
Jean-Pierre Jouannaud, Pierre-Yves Strub, Lianyi Zhang. Certification of SAT Solvers in Coq Guangzhou Symposium on Satisfiability in Logic-Based Modeling, Sep 2010, Zuhai, China. 2010, Proc. Guangzhou Symposium on Satisfiability in Logic-Based Modeling |
||
|
hal-00763495v1
Communication dans un congrès
Frédéric Blanqui, Kim Quyen Ly. Automated verification of termination certificates 15th National Symposium of Selected ICT Problems, Dec 2012, Hanoi, Vietnam. 2012 |
||
|
hal-00516785v1
Article dans une revue
Hehua Zhang, Stephan Merz, Ming Gu. Specifying and Verifying PLC systems with TLA+: a case study Computers & Mathematics with Applications, Elsevier, 2010, 60 (3), pp.695-705. <10.1016/j.camwa.2010.05.017> |
||
|
inria-00516236v1
Communication dans un congrès
Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan. Formal specification and Code Generation of Programmable Logic Controllers IEEE International Conference on Engineering of Complex Computer System, 2009, Berlin, Germany. 2009 |
||
|
inria-00516164v1
Communication dans un congrès
Hehua Zhang, Ming Gu, Xiaoyu Song. Specifying time-sensitive systems with TLA+ COMPSAC 2010 : 34th Annual IEEE Computer Software and Applications Conference, Jul 2010, Seoul, South Korea. pp.425-430, 2010 |
||
|
inria-00516181v1
Communication dans un congrès
Hehua Zhang, Ming Gu, Xiaoyu Song. Modeling and Analysis of Stage Machinery Control Systems by Timed Colored Petri Nets SIES 2008, Jun 2008, Monpellier, France. 2008 |
||
|
inria-00517257v1
Communication dans un congrès
Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi. Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction Verification, Model Checking, and Abstract Interpretation, Jan 2010, Madrid, Spain. 2010 |
||
|
inria-00537430v1
Chapitre d'ouvrage
Alexandre Meyer, Philippe Decaudin, Fabrice Neyret. Représentations Alternatives Bernard Péroche and Dominique Bechmann. Informatique Graphique et Rendu (Traité IC2), Hermes Science Publication, 2007, Traitement du Signal et de l'Image, 978-2-7462-1515-3 |
||
|
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-00988584v1
Communication dans un congrès
Philippe Xu, Franck Davoine, Thierry Denoeux. Transformation de scores SVM en fonctions de croyance 19ème congrès national sur la Reconnaissance de Formes et l'Intelligence Artificielle (RFIA'14), Jun 2014, Rouen, France. 2014 |
||
|
|
||