Recherche - Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes Accéder directement au contenu

Filtrer vos résultats

120 799 résultats
Page :
triés par
Image document

Generating Tests from B Specifications and Dynamic Selection Criteria

 Jacques Julliand , Pierre-Alain Masson , Régis Tissot , Pierre-Christophe Bué
Formal Aspects of Computing, 2011, 23, pp.3 - 19
Article dans une revue hal-00956576v1

Real-time control and evaluation of a teleoperated miniature arm for Single Port Laparoscopy

 Luis Alonso Sanchez Secades , Gianluigi Petroni , Marco Piccigallo , Umberto Scarfogliero , Marta Niccolini , et al.
EMBC: Engineering in Medicine and Biology Conference, Aug 2011, Boston, United States. pp.7049-7053, ⟨10.1109/IEMBS.2011.6091782⟩
Communication dans un congrès lirmm-00808384v1

The impact of interaction model on stability and transparency in bilateral teleoperation for medical applications

 Luis Alonso Sanchez Secades , Minh-Quyen Le , Chao Liu , Nabil Zemiti , Philippe Poignet
ICRA: International Conference on Robotics and Automation, May 2012, St. Paul, MN, United States. pp.1607-1613, ⟨10.1109/ICRA.2012.6225314⟩
Communication dans un congrès lirmm-00808388v1
Image document

Computation and Visualization of Risk Assessment in Deep Brain Stimulation

 Alexandre Bilger , Christian Duriez , Stéphane Cotin
MMVR 21 - Medicine Meets Virtual Reality, Feb 2014, Manhattan Beach, California, United States
Communication dans un congrès hal-00881694v2
Image document

Local Normal Forms for First-Order Logic with Applications to Games and Automata

 Thomas Schwentick , Klaus Barthelmann
Discrete Mathematics and Theoretical Computer Science, 1999, Vol. 3 no. 3 (3), pp.109-124. ⟨10.46298/dmtcs.254⟩
Article dans une revue hal-00958930v1
Image document

Analysis of an Approximation Algorithm for Scheduling Independent Parallel Tasks

 Keqin Li
Discrete Mathematics and Theoretical Computer Science, 1999, Vol. 3 no. 4 (4), pp.155-166. ⟨10.46298/dmtcs.262⟩
Article dans une revue hal-00958934v1
Image document

Benders decomposition for local access network design with two technologies

 C. D. Randazzo , H. P. L. Luna , P. Mahey
Discrete Mathematics and Theoretical Computer Science, 2001, Vol. 4 no. 2 (2), pp.235-246. ⟨10.46298/dmtcs.288⟩
Article dans une revue hal-00958958v1
Image document

Towards automated proofs of observational properties

 Narjes Berregeb , Riadh Robbana , Ashish Tiwari
Discrete Mathematics and Theoretical Computer Science, 2004, Vol. 6 no. 2 (2), pp.143-162. ⟨10.46298/dmtcs.331⟩
Article dans une revue hal-00959001v1
Image document

AN ANALYTIC EXPRESSION OF THE RELIABILITY OF TRANSMISSIONS IN FIELDBUSES WITH PROPAGATED FAILURES

 Damien Aza-Vallina , Jean-Marc Faure
4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), Sep 2013, York, United Kingdom. Paper n°18
Communication dans un congrès hal-00859016v1
Image document

On Locating-Dominating Codes in Binary Hamming Spaces

 Iiro Honkala , Tero Laihonen , Sanna Ranto
Discrete Mathematics and Theoretical Computer Science, 2004, Vol. 6 no. 2 (2), pp.265-282. ⟨10.46298/dmtcs.322⟩
Article dans une revue hal-00959008v1
Image document

Characterisations of Ideal Threshold Schemes

 Josef Pieprzyk , Xian-Mo Zhang
Discrete Mathematics and Theoretical Computer Science, 2004, Vol. 6 no. 2 (2), pp.471-482. ⟨10.46298/dmtcs.328⟩
Article dans une revue hal-00959021v1
Image document

Some equinumerous pattern-avoiding classes of permutations

 M. D. Atkinson
Discrete Mathematics and Theoretical Computer Science, 2005, Vol. 7, pp.71-74. ⟨10.46298/dmtcs.356⟩
Article dans une revue hal-00959031v1
Image document

Control of meso-robots for endoluminal Surgery

 Luis Alonso Sanchez Secades , Chao Liu , Nabil Zemiti , Philippe Poignet , Etienne Dombre
CRAS: New Technologies for Computer/Robot Assisted Surgery, Sep 2013, Verone, Italy
Communication dans un congrès lirmm-00958690v1

Path planning for steerable needles using duty-cycling

 Mariana C. Bernardes , Bruno Vilhena Adorno , Nabil Zemiti , Philippe Poignet , Geovany A. Borges
CARS: Computer-Assisted Radiology and Surgery, 2011, Berlin, Germany. pp.293-294
Communication dans un congrès lirmm-00958702v1
Image document

A further generalization of the colourful Carathéodory theorem

 Frédéric Meunier , Antoine Deza
2011
Pré-publication, Document de travail hal-00608898v1
Image document

Conception optimale d'instruments robotisés à haute mobilité pour la chirurgie mini-invasive

 Damien Sallé
Automatique / Robotique. Université Pierre et Marie Curie - Paris VI, 2004. Français. ⟨NNT : ⟩
Thèse tel-00762265v1
Image document

An Efficient Implementation of Tiled Polymorphic Temporal Media

 Simon Archipoff
ICFP FARM, ACM SIGPAN, Sep 2015, Vancouver, Canada. ⟨10.1145/2808083.2808089⟩
Communication dans un congrès hal-01214101v1

Fast finite-horizon kalman filter in wavefront estimation for adaptive optics

 Paolo Massioni , Michaël Di Loreto
ECC, Jun 2014, Strasbourg, France. pp.2398 - 2403, ⟨10.1109/ECC.2014.6862311⟩
Communication dans un congrès hal-01064038v1

Anti-phase tremor attenuation system using surface electromyography and accelerometer

 Ferdinan Widjaja , Cheng Yap Shee , Wing Lok Au , Philippe Poignet , Wei Tech Ang
ICRA: International Conference on Robotics and Automation, May 2011, Shanghai, China
Communication dans un congrès lirmm-00812828v1
Image document

Arithmetics in β-numeration

 Julien Bernat
Discrete Mathematics and Theoretical Computer Science, 2007, Vol. 9 no. 1 (1), pp.85--106. ⟨10.46298/dmtcs.389⟩
Article dans une revue hal-00966511v1

Bin-EM-CEM algorithms of general parsimonious Gaussian mixture models for binned data clustering

 Jingwen Wu , Hani Hamdan
2013 IEEE 9th International Conference on Computational Cybernetics (ICCC 2013), Jul 2013, Tihany, Hungary. pp.17-22, ⟨10.1109/ICCCyb.2013.6617603⟩
Communication dans un congrès hal-00865797v1
Image document

{MAHEVE}: An Efficient Reliable Mapping of Asynchronous Iterative Applications on volatile and Heterogeneous Environments

 Raphaël Couturier , David Laiymani , Sébastien Miquée
HeteroPar'10, 8-th Int. Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms, 2011, Italy. pp.31--39
Communication dans un congrès hal-00662874v1

Automated Boundary Test Generation from {JML} Specifications

 Fabrice Bouquet , Frédéric Dadeau , Bruno Legeard
FM'06, 14th Int. Conf. on Formal Methods, 2006, Canada. pp.428--443
Communication dans un congrès hal-00662884v1

{SysML} to {UML} model transformation for test generation purpose

 Jonathan Lasalle , Fabrice Bouquet , Bruno Legeard , Fabien Peureux
UML&FM'10, 3rd IEEE Int. Workshop on UML and Formal Methods, 2010, China. pp.1--8
Communication dans un congrès hal-00662915v1

Assessing the Quality of {B} Models

 Adrien de Kermadec , Frédéric Dadeau , Fabrice Bouquet
SEFM'2010, 8th IEEE Int. Conf. on Software Engineering and Formal Methods, 2010, Italy. pp.83--90
Communication dans un congrès hal-00662917v1

Frequent Links: An Approach That Combines Attributes and Structure for Extracting Frequent Patterns in Social Networks

 Erick Stattner , Martine Collard
Advances in Databases and Information Systems (ADBIS), 2012, Poznań, Poland. pp.371-384, ⟨10.1007/978-3-642-33074-2_28⟩
Communication dans un congrès hal-00767050v1

A Methodology to Derive a Valid Scenario of an Interactive Storytelling

 Kim Dung Dang , Ronan Champagnat , Michel Augeraud
Proceedings of the 8th International Conference on Advances in Computer Entertainment Technology, Nov 2011, Lisbon, Portugal. pp.35, ⟨10.1145/2071423.2071467⟩
Communication dans un congrès hal-00714904v1
Image document

Subject-Specific Ligament Models: Towards Real-Time Simulation of the Knee Joint

 Tobias Heimann , François Chung , Hans Lamecker , Hervé Delingette
Computational Biomechanics for Medicine IV Workshop 2009, 2009, London, United Kingdom. pp.107-119, ⟨10.1007/978-1-4419-5874-7_12⟩
Communication dans un congrès istex inria-00616129v1
Image document

Strategies to face imbalanced and unlabelled data in PHM applications.

 Rafael Gouriveau , Emmanuel Ramasso , Noureddine Zerhouni
Chemical Engineering Transactions, 2013, 33, pp.115-120. ⟨10.3303/CET1333020⟩
Article dans une revue hal-00867770v1

A Fast-Marching Approach to Cardiac Electrophysiology Simulation for XMR Interventional Imaging

 Maxime Sermesant , Yves Coudière , Valérie Moreau-Villéger , Kawal S. Rhode , Derek Hill , et al.
Proceedings of Medical Image Computing and Computer-Assisted Intervention (MICCAI'05), 2005, Palm Springs, California, United States. pp.607--615, ⟨10.1007/1156648975⟩
Communication dans un congrès inria-00616008v1
Page :