Skip to Main content Skip to Navigation


hal-02164364v1  Journal articles
Romain AzaïsGuillaume CeruttiDidier GemmerléFlorian Ingels. Treex : a Python package for manipulating rooted trees
Journal of Open Source Software, Open Journals, 2019, 4 (38), pp.1-2. ⟨10.21105/joss.01351⟩
hal-02278033v1  Journal articles
Shane GriffithGeorges ChahineCédric Pradalier. Symphony Lake Dataset
The International Journal of Robotics Research, SAGE Publications, 2017, 36 (11), pp.1151-1158. ⟨10.1177/0278364917730606⟩
hal-01205739v1  Journal articles
Jean-Baptiste TylczThierry BastogneAlexia BourguignonCéline FrochotMuriel Barberi-Heyob. Realtime tracking of the photobleaching trajectory during photodynamic therapy
IEEE Transactions on Biomedical Engineering, Institute of Electrical and Electronics Engineers, 2017, 64 (8), pp.1742-1749. ⟨10.1109/TBME.2016.2620239⟩
hal-02278048v1  Journal articles
Oliver GlauserBenedek VartokWan-Chun MaDaniele PanozzoAlec Jacobson et al.  Rig animation with a tangible and modular input device
Interactions, Association for Computing Machinery, 2017, 24 (2), pp.16-17. ⟨10.1145/3041959⟩
hal-01466800v1  Journal articles
Maxime Amblard. Regard sur « Le temps des algorithmes »
Interstices, INRIA, 2017
hal-01401140v2  Journal articles
Mireille BossyJose EspinaJacques MoriceCristian ParisAntoine Rousseau. Modeling the wind circulation around mills with a Lagrangian stochastic approach
SMAI Journal of Computational Mathematics, Société de Mathématiques Appliquées et Industrielles (SMAI), 2016, 2, pp.177-214. ⟨10.5802/smai-jcm.13⟩
hal-01326803v1  Journal articles
Paul RetifThierry Thierry BastogneMuriel Barberi-Heyob. Robustness analysis of a Geant4-Gate simulator for nano-radiosensitizers characterization
IEEE Transactions on NanoBioscience, Institute of Electrical and Electronics Engineers, 2016, 15 (3), pp.209-217. ⟨10.1109/TNB.2016.2527720⟩
hal-01225798v1  Journal articles
Timothé ColletOlivier Pietquin. Optimism in Active Learning
Computational Intelligence and Neuroscience, Hindawi Publishing Corporation, 2015, 2015, pp.1--17. ⟨10.1155/2015/973696⟩
hal-01184950v1  Journal articles
Irina IllinaDominique FohrGeorges Linarès. Ajout de nouveaux noms propres au vocabulaire d’un système de transcription en utilisant un corpus diachronique
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2014, 55 (2), pp.47-72
hal-00764626v1  Journal articles
Ghazi BouselmiDominique FohrIrina Illina. Multilingual Recognition of Non-Native Speech using Acoustic Model Transformation and Pronunciation Modeling
International Journal of Speech Technology, Springer Verlag, 2012, 15 (2), pp.203 - 213
emse-00694373v1  Journal articles
Alexandre DolguiJean-Marie Proth. Editorial : Special section on Radio Frequency Identification
IEEE Transactions on Industrial Informatics, Institute of Electrical and Electronics Engineers, 2012, ⟨10.1109/TII.2012.2194504⟩
hal-00756031v1  Journal articles
Laurent AlonsoEdward M. Reingold. Improved bounds for cops-and-robber pursuit
Computational Geometry, Elsevier, 2011, 44 (8), pp.365-369. ⟨10.1016/j.comgeo.2011.03.001⟩
inria-00636532v1  Journal articles
Wahiba TaoualiThierry ViévilleNicolas P. RougierFrédéric Alexandre. No clock to rule them all
Journal of Physiology - Paris, Elsevier, 2011, 105 (1-3), pp.83-90. ⟨10.1016/j.jphysparis.2011.08.005⟩
hal-00646572v1  Journal articles
Lu yueThomas NolteIan BateLiliana Cucu-Grosjean. A New Way about using Statistical Analysis of Worst-Case Execution Times
ACM SIGBED Review, Association for Computing Machinery (ACM), 2011, 8 (3), pp.11-14. ⟨10.1145/2038617.2038619⟩
hal-00599703v1  Journal articles
Cindy CappelleMaan El Badaoui El NajjarFrançois CharpilletDenis Pormski. Virtual 3D City Model for Navigation in Urban Areas
Journal of Intelligent and Robotic Systems, Springer Verlag, 2011, 66, pp.377-399. ⟨10.1007/s10846-011-9594-0⟩
inria-00578733v1  Journal articles
Asterios ToutiosSlim Ouniyves Laprie. Estimating the control parameters of an articulatory model from electromagnetic articulograph data
Journal of the Acoustical Society of America, Acoustical Society of America, 2011, Speech Production, 129 (5), pp.3245-3257. ⟨10.1121/1.3569714⟩
hal-00646576v1  Journal articles
Liliana Cucu-GrosjeanJoël Goossens. Exact Schedulability Tests for Real-Time Scheduling of Periodic Tasks on Unrelated Multiprocessor Platforms
Journal of Systems Architecture, Elsevier, 2011, Special Issue on Multiprocessor Systems, 57 (5), pp.561-569. ⟨10.1016/j.sysarc.2011.02.007⟩
hal-00646578v1  Journal articles
Luca SantinelliLiliana Cucu-Grosjean. Towards Probabilistic Real-Time Calculus
ACM SIGBED Review, Association for Computing Machinery (ACM), 2011, Special issue related to the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems - CRTS 2010, 8 (1), pp.54-61. ⟨10.1145/1967021.1967028⟩
inria-00594861v1  Journal articles
Abdelkader LahmadiOlivier Festor. SecSIP : un environnement de protection pour la voix sur IP
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2011, INNOVATION
inria-00518033v1  Journal articles
Xavier GoaocStefan KoenigSylvain Petitjean. Pinning a Line by Balls or Ovaloids in $R^3$
Discrete and Computational Geometry, Springer Verlag, 2011, 45 (2), pp.303-320. ⟨10.1007/s00454-010-9297-5⟩
hal-00763270v1  Journal articles
Nicolas BonneelMichiel van de PanneSylvain ParisWolfgang Heidrich. Displacement interpolation using Lagrangian mass transport
ACM Transactions on Graphics, Association for Computing Machinery, 2011, Proceedings of ACM SIGGRAPH Asia 2011, 30 (6), pp.Article n°158. ⟨10.1145/2070781.2024192⟩
hal-00640079v1  Journal articles
Tomas Navarrete GutierrezJulien SiebertLaurent CiarlettaVincent Chevrier. Impact des dimensions spatiale et temporelle dans la modélisation d'un phénomène collectif de type free-riding
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2011, 25 (5), pp.625--651. ⟨10.3166/ria.25.625-651⟩
inria-00525761v1  Journal articles
Tony Bourdier. Specification, analysis and transformation of security policies via rewriting techniques
Journal of Information Assurance and Security, Dynamic Publishers Inc., USA, 2011, 6 (5), pp.357-368
hal-00763324v1  Journal articles
Feng Sunyi-King ChoiWenping WangDong-Ming yanyang Liu et al.  Obtuse triangle suppression in anisotropic meshes
Computer Aided Geometric Design, Elsevier, 2011, 28 (9), pp.537-548. ⟨10.1016/j.cagd.2011.09.007⟩
inria-00518028v1  Journal articles
Boris AronovOtfried CheongXavier GoaocRote Günter. Lines Pinning Lines
Discrete and Computational Geometry, Springer Verlag, 2011
hal-00763290v1  Journal articles
E. R. LiBruno LévyXiaopeng ZhangWu-Jun CheWeiming Dong et al.  Meshless quadrangulation by global parameterization
Computers and Graphics, Elsevier, 2011, 35 (5), pp.992-1000. ⟨10.1016/j.cag.2011.05.003⟩
hal-00601991v1  Journal articles
Corinne GracAgnès BraudFlorence Le BerMichèle Trémolières. Un système d'information pour le suivi et l'évaluation de la qualité des cours d'eau -- Application à l'hydro-écorégion de la plaine d'Alsace
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2011, 16, pp.9-30
inria-00543031v1  Journal articles
Hung Tat ChenKwan Ting NgAmine BermakMan Kay LawDominique Martinez. Spike latency coding in a biologically inspired micro-electronic nose
IEEE Transactions on Biomedical Circuits and Systems, Institute of Electrical and Electronics Engineers, 2011, 5, 2, pp.160-168
inria-00598379v1  Journal articles
Hugues BerryNazim Fatès. Robustness of the Critical Behaviour in the Stochastic Greenberg-Hastings Cellular Automaton Model
International Journal of Unconventional Computing, Old City Publishing, 2011, 7 (1-2), pp.65-85
hal-00579092v1  Journal articles
Joseph RazikOdile MellaDominique FohrJean-Paul Haton. Frame-Synchronous and Local Confidence Measures for Automatic Speech recognition
International Journal of Pattern Recognition and Artificial Intelligence, World Scientific Publishing, 2011, 25 (2), pp.1-26. ⟨10.1142/S0218001411008543⟩
hal-01205816v1  Journal articles
Simona DobreThierry Thierry BastogneMuriel Barberi-HeyobFrançois GuilleminAlain Richard. Conception assistée par une analyse de sensibilité globale d’une plate-forme dédiée à la recherche en thérapie photodynamique
Journal de la Société Française de Statistique, Société Française de Statistique et Société Mathématique de France, 2011, 152 (1), pp.72-88
hal-00642715v1  Journal articles
Alain DutechEtienne CoutureauAlain Marchand. A reinforcement learning approach to instrumental contingency degradation in rats
Journal of Physiology - Paris, Elsevier, 2011, Computational Neuroscience: Neurocomp 2010, 105 (1-3), pp.36-44. ⟨10.1016/j.jphysparis.2011.07.017⟩
inria-00537988v1  Journal articles
David RitchieVishwesh Venkatraman. Ultra-fast FFT protein docking on graphics processors
Bioinformatics, Oxford University Press (OUP), 2010, 26 (19), pp.2398-2405. ⟨10.1093/bioinformatics/btq444⟩
inria-00566894v1  Journal articles
Jens KerberArt TevsRhaleb ZayerAlexander BelyaevHans-Peter Seidel. Real-time Generation of Digital Bas-Reliefs
Computer-Aided Design and Applications, CAD Solutions LLC (imprimé) and Taylor & Francis Online (en ligne), 2010, Special Issue: CAD in the Arts, 7 (4), pp.465-478. ⟨10.3722/cadaps.2010.465-478⟩
inria-00430920v1  Journal articles
Louis-Claude CanonEmmanuel Jeannot. Evaluation and Optimization of the Robustness of DAG Schedules in Heterogeneous Environments
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2010, 21 (4), ⟨10.1109/TPDS.2009.84>⟩
hal-00556812v1  Journal articles
Wilfried KirschenmannLaurent PlagneAngélique PonçotStéphane Vialle. Parallel SPN on Multi-Core CPUS and Many-Core GPUS
Transport Theory and Statistical Physics, Taylor & Francis, 2010, 39 (2-4), pp.255-281. ⟨10.1080/00411450.2010.533741⟩
inria-00429226v1  Journal articles
Horatiu CirsteaClaude KirchnerRadu KopetzPierre-Etienne Moreau. Anti-patterns for Rule-based Languages
Journal of Symbolic Computation, Elsevier, 2010, 54 (5), pp.523-550. ⟨10.1016/j.jsc.2010.01.007⟩
hal-00471405v1  Journal articles
Frédéric PennerathGilles NielPhilippe VismaraPhilippe JauffretClaude Lauren et al.  Graph-Mining Algorithm for the Evaluation of Bond Formability
Journal of Chemical Information and Modeling, American Chemical Society, 2010, 50 (2), pp.221-239. ⟨10.1021/ci9003909⟩
inria-00526622v1  Journal articles
Emmanuel Naueryannick Toussaint. Crechaindo : un système itératif et interactif de classification par treillis de concepts, pour la recherche d'information sur le web
Document Numérique, Lavoisier, 2010, Recherche d'information représentation, organisation et accès personnalisés, 13 (1), pp.41-62. ⟨10.3166/dn.13.1.41-62⟩
inria-00434441v1  Journal articles
Axel Hutt. Oscillatory activity in excitable neural systems
Contemporary Physics, Taylor & Francis, 2010, 51 (1), pp.3-16. ⟨10.1080/00107510903293710⟩
inria-00441814v1  Journal articles
Cindy CappelleMaan El Badaoui El NajjarDenis PomorskiFrançois Charpillet. Intelligent geo-localisation in urban areas using global positioning systems, 3dimensional geographic information systems, and vision
Journal of Intelligent Transportation Systems: Technology, Planning, and Operations, Taylor & Francis: STM, Behavioural Science and Public Health Titles, 2010, 14 (1), pp.3 - 12. ⟨10.1080/15472450903385999⟩
inria-00594387v1  Journal articles
Pierre Saqui-SannesThierry VillemurBenjamin FontanSara del Socorro Mota GonzalezMohamed Salah Bouassida et al.  Formal Verification of Secure Group Communication Protocols Modelled in UML
Innovations in Systems and Software Engineering, Springer Verlag, 2010, Special Issue ICFEM'09, 6 (1-2), pp.125-133. ⟨10.1007/s11334-010-0122-3⟩
inria-00459460v1  Journal articles
Laurent AlonsoEdward M. Reingold. Bounds for Cops and Robber Pursuit
Computational Geometry, Elsevier, 2010, 43 (9), pp.749-766. ⟨10.1016/j.comgeo.2010.02.002⟩
inria-00494636v1  Journal articles
Tony BourdierHoratiu CirsteaDaniel J. DoughertyHélène Kirchner. Extensional and Intensional Strategies
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2010, Reduction Strategies in Rewriting and Programming, 15, pp.1-19. ⟨10.4204/EPTCS.15.1⟩
hal-00756242v1  Journal articles
Mihai Bostan. Boundary value problems for the stationary Nordström-Vlasov system
Journal of the Korean Mathematical Society, The Korean Mathematical Society, 2010, 47 (4), pp.743-766. ⟨10.4134/JKMS.2010.47.4.743⟩
inria-00439530v1  Journal articles
Gabriel CoronaFrançois Charpillet. Distribution sur les croyances pour la planification de Dec-POMDP
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2010, 24 (4), pp.525-544
hal-00361039v1  Journal articles
Gerd FinkePierre LemaireJean-Marie ProthMaurice Queyranne. Minimizing the number of machines for minimum length schedules
European Journal of Operational Research, Elsevier, 2009, 199 (3), pp.702-705. ⟨10.1016/j.ejor.2006.11.050⟩
inria-00431408v1  Journal articles
Xavier GoaocJan Kratochvilyoshio OkamotoChan-Su ShinAndreas Spillner et al.  Untangling a Planar Graph
Discrete and Computational Geometry, Springer Verlag, 2009, 42 (4), pp.542-569. ⟨10.1007/s00454-008-9130-6⟩
inria-00425516v1  Journal articles
Stéphane GenaudEmmanuel JeannotChoopan Rattanapoka. Fault management in P2P-MPI
International Journal of Parallel Programming, Springer Verlag, 2009, 37 (5), pp.433-461. ⟨10.1007/s10766-009-0115-8⟩
inria-00426383v1  Journal articles
Dominique Méry. Refinement-Based Guidelines for Algorithmic Systems
International Journal of Software and Informatics (IJSI), ISCAS, 2009, 3 (2-3), pp.197-239
inria-00433598v1  Journal articles
Sami BhiriClaude GodartOlivier Perrin. Patrons transactionnels pour assurer des compositions fiables de services web
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2009, 28 (3), pp.301-330
inria-00426384v1  Journal articles
Dominique Méry. A Simple Refinement-based Method for Constructing Algorithms
Sigcse Bulletin, Association for Computing Machinery, 2009, inroads — SIGCSE Bulletin, 41 (2), pp.51-59. ⟨10.1145/1595453.1595462⟩
inria-00326906v1  Journal articles
Olivier SimoninOlivier Grunder. A cooperative multi-robot architecture for moving a paralyzed robot
Mechatronics, Elsevier, 2009, Robotics and Factory of the Future, New Trends and Challenges in Mechatronics - INCOM 2006, 19 (4), pp.463-470. ⟨10.1016/j.mechatronics.2008.11.006⟩
inria-00330698v1  Journal articles
Christophe Cerisara. Automatic discovery of topics and acoustic morphemes from speech
Computer Speech and Language, Elsevier, 2009, 23 (2), pp.220-239. ⟨10.1016/j.csl.2008.06.004⟩
inria-00433409v1  Journal articles
Claude KirchnerHelene KirchnerAnderson Santana de Oliveira. Analysis of Rewrite-Based Access Control Policies
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of the Third International Workshop on Security and Rewriting Techniques (SecReT 2008), Pittsburgh, PA, USA, 22 June 2008, 234, pp.55-75. ⟨10.1016/j.entcs.2009.02.072⟩