![]() |
![]() |
|
||
---|---|---|
inria-00539220v1
Conference papers
Reactive synthesizing of human locomotion combining nonholonomic and holonomic behaviors IEEE/RAS-EMBS International Conference on Biomedical Robotics and Biomechatronics (BIOROB 2010), Sep 2010, Tokyo, Japan |
||
hal-00782505v1
Journal articles
Balance in dynamic situations: role of the underlying model Computer Methods in Biomechanics and Biomedical Engineering, Taylor & Francis, 2009, "Société de Biomécanique" congress special issue, 12 (Suppl 1), pp.147-149 |
||
hal-00782506v1
Conference papers
Balance in dynamic situations: role of COP, xCOM and ground reaction force ISPGR Satellite Symposium, Jun 2009, Pavia, Italy |
||
hal-00646426v1
Conference papers
Teaching MDE through the Formal Verification of Process Models 7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Marion Brandsteidl; Andreas Winter, Oct 2011, Wellington, New Zealand |
||
hal-00953888v1
Conference papers
The ARGOS campaign: Evaluation of Video Analysis Tools Fifth International Workshop on Content-Based Multimedia Indexing (CBMI'07), 2007, Bordeaux, France. ⟨10.1109/CBMI.2007.385402⟩ |
||
inria-00555754v1
Journal articles
Modal Specifications for the Control Theory of Discrete Event Systems Discrete Event Dynamic Systems, Springer Verlag, 2007, 17 (2), pp.211-232 |
||
hal-00766735v1
Conference papers
Ensuring Reachability by Design Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, IIIT Bangalore, Sep 2012, Bangalore, India. pp.213-227, ⟨10.1007/978-3-642-32943-2_17⟩ ![]() |
||
inria-00001155v1
Conference papers
Critères d'évaluation pour les interfaces des systèmes de recherche d'information 3ème Conférence en Recherche d'Information et Applications (CORIA'06), LIRIS, Mar 2006, Lyon, France. pp.109-114 |
||
hal-00766793v1
Conference papers
Application of Interface Theories to the Separate Compilation of Synchronous Programs 51st IEEE Conference on Decision and Control, Jay A. Farrell, Dec 2012, Maui, Hawaii, United States |
||
|
||
hal-00269302v1
Conference papers
A dependable intrusion detection architecture based on agreement services Eighth International Symposium on Stabilization, Safety, and Security of Distributes Systems, Nov 2006, France. 17 p |
||
inria-00534372v1
Reports
A framework for proving the self-organization of dynamic systems [Research Report] Rapport LAAS n° 10746, 2010, pp.26 |
||
inria-00556839v1
Book sections
Protection de la vie privée: principes et technologies Daniel Le Métayer. Les technologies de l'information au service des droits : opportunités, défis, limites, 32, Bruylant Bruxelles, 2010, Cahiers du Centre de Recherches Informatique et Droit (CRID), 978-2-8027-2960-0 |
||
inria-00556830v1
Journal articles
A Proposal for a Privacy-preserving National Identity Card Transactions on Data Privacy, IIIA-CSIC, 2010, 3 (3), pp.253-276 |
||
inria-00556835v1
Conference papers
GEPETO: a GEoPrivacy-Enhancing TOolkit Proceedings of the International Workshop on Advances in Mobile Computing and Applications: Security, Privacy and Trust, held in conjunction with the 24th IEEE AINA conference, Apr 2010, Perth, Australia. ⟨10.1109/WAINA.2010.170⟩ ![]() |
||
inria-00556833v1
Conference papers
Show me how you move and I will tell you who you are Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Security and Privacy in GIS and LBS (SPRINGL'10), Nov 2010, San José, United States. ⟨10.1145/1868470.1868479⟩ ![]() |
||
inria-00555044v1
Conference papers
Trust in MDE Components: the DOMINO Experiment SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria |
||
inria-00544163v1
Conference papers
Validity of the independence assumption for the separation of instantaneous and convolutive mixtures of speech and music sources 8th Int. Conf. on Independent Component Analysis and Signal Separation (ICA), Mar 2009, Paraty, Brazil. pp.613--620 |
||
inria-00544027v1
Book sections
Audio applications P. Comon and C. Jutten. Handbook of Blind Source Separation, Independent Component Analysis and Applications, Academic Press, pp.779--819, 2010, ⟨10.1016/B978-0-12-374726-6.00024-2⟩ |
||
inria-00381639v1
Conference papers
Présentation des résultats du projet OpenEmbeDD Neptune, May 2009, Paris, France |
||
hal-00926244v1
Conference papers
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013) GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. pp.3-13 |
||
hal-00721049v1
Reports
Application of Interface Theories to the Separate Compilation of Synchronous Programs [Research Report] RR-8030, INRIA. 2012 |
||
inserm-01246564v1
Poster communications
When the extended hippocampal system is of no need for context-free memory: a case of developmental amnesia Memory Mechanisms in Machine and Man, Sep 2015, Albi, France. 2015 |
||
inserm-00139814v1
Other publications
Neurobase: gestion de données et de connaissances distribuées en neuroimagerie 2005 |
||
hal-00832196v2
Conference papers
Multi-criteria Search Algorithm: An Efficient Approximate K-NN Algorithm for Image Retrieval 2013 IEEE International Conference on Image Processing (ICIP 2013), Sep 2013, Melbourne, Australia. pp.2901-2905, ⟨10.1109/ICIP.2013.6738597⟩ |
||
hal-02043818v1
Other reports
Adversarial frontier stitching for remote neural network watermarking Rapport LAAS n° 17713. 2017 |
||
inria-00000284v1
Conference papers
Grid'5000: a large scale, reconfigurable, controlable and monitorable Grid platform 6th IEEE/ACM International Workshop on Grid Computing - GRID 2005, Nov 2005, Seattle, USA, United States |
||
inria-00001156v1
Conference papers
Évaluation des Interfaces Utilisateur d'Information 4ème Atelier Visualisation et Extraction de Connaissances - EGC'06, Jan 2006, Lille, France. pp.23-38 |
||
hal-00591099v1
Conference papers
IRIM at TRECVID 2010: Semantic Indexing and Instance Search TRECVID - TREC Video Retrieval Evaluation workshop, Nov 2010, Gaithersburg, MD, United States |
||
hal-00739332v1
Conference papers
A Design Pattern to Build Executable DSMLs and associated V&V tools The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Dec 2012, Hong Kong, Hong Kong SAR China |
||
|