Skip to Main content Skip to Navigation

hal-02167870v2  Reports
Jens Gustedt. Revise spelling of keywords
[Research Report] N2457, ISO JTC1/SC22/WG14. 2019
hal-02167916v2  Reports
Jens Gustedt. Make false and true first-class language features
[Research Report] N2458, ISO JTC1/SC22/WG14. 2019
hal-02378605v1  Reports
Jens Gustedt. Add an interface to query resolution of time bases
[Research Report] N2459, ISO JTC1/SC22/WG14. 2019
hal-02378645v1  Reports
Jens Gustedt. Add new optional time bases v3 Proposal for C2x
[Research Report] N2460, ISO JCT1/SC22/WG14. 2019
hal-02378784v1  Reports
Larry JonesJens Gustedt. ISO/IEC 9899 editor report November 2019
[Research Report] N2456, ISO JCT1/SC22/WG14. 2019
hal-02167850v2  Reports
Jens Gustedt. Synchronization at thread and execution termination
[Research Report] N2461, ISO JTC1/SC22/WG14. 2019
hal-01636772v1  Poster communications
Nazim HaouchineAntoine PetitFrederick RoyStéphane Cotin. Deformed Reality: Proof of concept and preliminary results
ISMAR 2017 - 16th IEEE International Symposium on Mixed and Augmented Reality, Oct 2017, Nantes, France. 2017
hal-00655485v1  Conference papers
Bruno Cuervo ParrinoJulien NarbouxEric ViolardNicolas Magaud. Dealing with arithmetic overflows in the polyhedral model
IMPACT 2012 - 2nd International Workshop on Polyhedral Compilation Techniques, Louis-Noel Pouchet, Jan 2012, Paris, France
hal-00584902v1  Journal articles
Simon TamayoThibaud MonteiroNathalie Sauer. Deliveries optimization by exploiting production traceability information
Engineering Applications of Artificial Intelligence, Elsevier, 2009, 22 (4/5), pp. 557-568. ⟨10.1016/j.engappai.2009.02.007⟩
hal-00580612v2  Journal articles
Simon TamayoSimon TamayoThibaud MonteiroNathalie Sauer. Dispersion optimization using a genetic algorithm
International Journal of Advanced Operations Management, Inderscience, 2009, 1 (2/3), pp.267-285. ⟨10.1504/IJAOM.2009.030676⟩
hal-02089907v1  Reports
Peter SewellKayvan MemarianVictor GomesJens GustedtMartin Uecker. C provenance semantics: examples
[Technical Report] N2363, ISO JCT1/SC22/WG14. 2019
hal-02538101v1  Book sections
Andrea MendizabalEleonora TagliabueTristan HoellingerJean-Nicolas BrunetSergei Nikolaev et al.  Data-driven simulation for augmented surgery
Bilen Emek Abali; Ivan Giorgio. Developments and Novel Approaches in Biomechanics and Metamaterials, 132, pp.71-96, 2020, 978-3-030-50464-9. ⟨10.1007/978-3-030-50464-9⟩
hal-02276090v1  Journal articles
Eleonora TagliabueDiego Dall’albaEnrico MagnaboscoChiara TengaIgor Peterlik et al.  Position-based modeling of lesion displacement in Ultrasound-guided breast biopsy
International Journal of Computer Assisted Radiology and Surgery, Springer Verlag, 2019, 14 (8), pp.1329-1339. ⟨10.1007/s11548-019-01997-z⟩
hal-01184498v2  Conference papers
Christoph PaulusNazim HaouchineDavid CazierStéphane Cotin. Surgical Augmented Reality with Topological Changes
Medical Image Computing and Computer Assisted Interventions, Oct 2015, München, Germany
hal-01184495v2  Conference papers
Christoph PaulusNazim HaouchineDavid CazierStéphane Cotin. Augmented Reality during Cutting and Tearing of Deformable Objects
The 14th IEEE International Symposium on Mixed and Augmented Reality, Sep 2015, Fukuoka, Japan. pp.6
hal-01823810v1  Conference papers
Sergei NikolaevIgor PeterlikStéphane Cotin. Stochastic Correction of Boundary Conditions during Liver Surgery
CVCS 2018 - 9th Colour and Visual Computing Symposium 2018, NTNU: Norwegian University of Science and Technology, Sep 2018, Gjovik, Norway. pp.1 - 4, ⟨10.1109/CVCS.2018.8496720⟩
hal-01337093v1  Conference papers
Mariem SaiedJens GustedtGilles Muller. Automatic Code Generation for Iterative Multi-dimensional Stencil Computations
High Performance Computing, Data, and Analitics, Dec 2016, Hydarabat, India
hal-02282919v1  Journal articles
Stanislav AranovskiyAndrei BiryukEvgeny V. NikulchevIgor RyadchikovDmitry Sokolov. Observer Design for an Inverted Pendulum with Biased Position Sensors
Izvestia Rossiiskoi Akademii Nauk.Teoriya i Systemy Upravleniya / Journal of Computer and Systems Sciences International, MAIK Nauka/Interperiodica, 2019, 58 (2), pp.297-304. ⟨10.1134/S1064230719020023⟩
hal-02311460v1  Reports
Jens Gustedt. Contain the floating point naming explosion
[Research Report] N2426, ISO JCT1/SC22/WG14. 2019
hal-02311454v1  Reports
Jens Gustedt. Modernize time.h functions
[Research Report] N2417, ISO JCT1/SC22/WG14. 2019
hal-01353185v1  Conference papers
Nazim HaouchineFrederick RoyLionel UntereinerStéphane Cotin. Using Contours as Boundary Conditions for Elastic Registration during Minimally Invasive Hepatic Surgery
International Conference on Intelligent Robots and Systems, Oct 2016, Daejeon, South Korea
hal-01626896v1  Conference papers
Vilmos KomornikPaola LoretiMichel Mehrenberger. Observability of a Ring Shaped Membrane via Fourier Series
27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.322-330, ⟨10.1007/978-3-319-55795-3_30⟩
hal-01518660v1  Conference papers
Nicolas Magaud. Transferring Arithmetic Decision Procedures (on Z) to Alternative Representations
CoqPL 2017: The Third International Workshop on Coq for Programming Languages, Jan 2017, Paris, France. ⟨10.1145/nnnnnnn.nnnnnnn⟩
hal-01524609v1  Conference papers
Nazim HaouchineStéphane Cotin. Template-based Monocular 3D Recovery of Elastic Shapes using Lagrangian Multipliers
Computer Vision and Pattern Recognition (CVPR), Jul 2017, Honolulu, Hawai, United States
hal-01542395v1  Conference papers
Nazim HaouchineDanail StoyanovFrederick RoyStéphane Cotin. DejaVu: Intra-operative Simulation for Surgical Gesture Rehearsal
Medical Image Computing and Computer Assisted Interventions Conference MICCAI 2017, Oct 2017, Quebec City, Canada
hal-01304108v1  Conference papers
Jens Gustedt. Futex based locks for C11's generic atomics (extended abstract)
The 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. ⟨10.1145/2851613.2851956⟩
hal-02381769v1  Conference papers
Paul Godard. Échanges non bloquants de données ordonnées entre producteurs multiples et consommateur unique
COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
inria-00553519v1  Conference papers
Éric Villemonte de la ClergerieChristelle AyacheGaël de ChalendarGil FrancopouloClaire Gardent et al.  Large scale production of syntactic annotations for French
First Workshop on Automated Syntactic Annotations for Interoperable Language Resources, ISO TC37/SC4, Jan 2008, Hong-Kong, Hong Kong SAR China
hal-00481868v1  Conference papers
Alexandre DenisLina Maria Rojas BarahonaMatthieu Quignard. Extending MMIL Semantic Representation: Experiments in Dialogue Systems and Semantic Annotation of Corpora
Fifth Joint ISO-ACL/SIGSEM Workshop on Interoperable Semantic Annotation isa-5, Jan 2010, Hong-Kong, China
inria-00424625v1  Conference papers
Alexandre DenisMatthieu Quignard. Exploitation du terrain commun pour la production d'expressions référentielles dans les systèmes de dialogue
Conférence sur le Traitement Automatique des Langues Naturelles - TALN'09, Jun 2009, Senlis, France. pp.24 - 26
inria-00636479v1  Conference papers
Alexandre Denis. The Loria Instruction Generation System L in GIVE 2.5
13th European Workshop on Natural Language Generation, Sep 2011, Nancy, France
inria-00112897v1  Conference papers
Alexandre DenisMatthieu QuignardGuillaume Pitel. A Deep-Parsing Approach to Natural Language Understanding in Dialogue System: Results of a Corpus-Based Evaluation
Proceedings of Language Resources and Evaluation Conference, 2006, Genoa, Italy. pp.339-344
inria-00110858v1  Conference papers
Alexandre DenisGuillaume PitelMatthieu Quignard. A model of grouping for plural and ordinal references
18th European Summer School in Logic, Language and Information - ESSLLI 2006, 2006, Malaga, Spain
inria-00636303v1  Conference papers
Luciana BenottiAlexandre Denis. Giving instructions in virtual environments by corpus based selection
SIGdial Meeting on Discourse and Dialogue, Jun 2011, Portland, United States
inria-00112888v1  Conference papers
Alexandre DenisGuillaume PitelMatthieu Quignard. Resolution of Referents Groupings in Practical Dialogues
7th SIGDial Workshop on Discourse and Dialogue - SIGdial'06, 2006, Sydney, Australia
hal-00516998v1  Conference papers
Alexandre Denis. Reference reversibility with Reference Domain Theory
Proceedings of the 11th annual SIGdial Meeting on Discourse and Dialogue - SIGDIAL 2010, Sep 2010, Tokyo, Japan
inria-00636300v1  Conference papers
Luciana BenottiAlexandre Denis. Prototyping virtual instructors from human-human corpora
Association for Computational Linguistics: Human Language Technologies, Jun 2011, Portland, United States
hal-00482337v1  Conference papers
Carlos ArecesGuillaume HoffmannAlexandre Denis. Modal Logics with Counting
17th Workshop on Logic, Language, Information and Computation - WoLLIC 2010, Jul 2010, Brasilia, Brazil
inria-00179697v1  Conference papers
Alexandre DenisFrédéric BechetMatthieu Quignard. Résolution de la référence dans des dialogues homme-machine : évaluation sur corpus de deux approches symbolique et probabiliste
Actes de la 14e conférence sur le Traitement Automatique des Langues Naturelles - TALN 2007, Jun 2007, Toulouse, France. pp.261-270
inria-00179694v1  Conference papers
Alexandre DenisGuillaume PitelMatthieu QuignardPatrick Blackburn. Incorporating Asymmetric and Asynchronous Evidence of Understanding in a Grounding Model
11th Workshop on the Semantics and Pragmatics of Dialogue - DECALOG 2007, May 2007, Trento, Italy
hal-00326876v1  Conference papers
Alexandre DenisMatthieu Quignard. Modélisation du principe d'ancrage pour la robustesse des systèmes de dialogue homme-machine finalisés
Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2008, Jun 2008, Avignon, France. pp.89-98
hal-00502414v1  Conference papers
Alexandre Denis. Generating Referring Expressions with Reference Domain Theory
INLG 2010, Jul 2010, Dublin, Ireland. pp.27-35
inria-00636474v1  Conference papers
Luciana BenottiAlexandre Denis. CL system: Giving instructions by corpus based selection
13th European Workshop on Natural Language Generation, Sep 2011, Nancy, France
hal-01878682v2  Journal articles
Andrea MendizabalTatiana FountoukidouJan HermannRaphael SznitmanStéphane Cotin. A Combined Simulation & Machine Learning Approach for Image-based Force Classification during Robotized Intravitreal Injections
Medical image computing and computer-assisted intervention : MICCAI .. International Conference on Medical Image Computing and Computer-Assisted Intervention, Springer, 2018
tel-01752605v2  Theses
Smaïl Khouider. Outils d'aide à la décision pour la prise de commandes imprévues
Sciences de l'ingénieur [physics]. Université Paul Verlaine - Metz, 2008. Français. ⟨NNT : 2008METZ039S⟩
hal-02311453v1  Reports
Jean-François BastienJens Gustedt. Two's complement sign representation for C2x
[Research Report] ISO JCT1/SC22/WG14. 2019, pp.N2412
hal-02311457v1  Reports
Jens Gustedt. intmax\_t, a way out
[Research Report] N2425, ISO JCT1/SC22/WG14. 2019
hal-01169491v4  Reports
Jens Gustedt. Modular C
[Research Report] RR-8751, INRIA. 2015
hal-00614071v1  Conference papers
Maha GhribiPascal CuxacJean-Charles LamirelAlain Lelu. Mesures de qualité de clustering de documents : Prise en compte de la distribution des mots clés
10ième Conférence Internationale Francophone sur l'Extraction et la Gestion des Connaissances - EGC 2010, Jan 2010, Hammamet, Tunisie
hal-01236734v1  Reports
Jens Gustedt. Futex based locks for C11's generic atomics
[Research Report] RR-8818, INRIA Nancy. 2015
hal-01120837v2  Reports
Soumeya Leila HernaneJens GustedtMohamed Benyettou. Data handover on a peer-to-peer system
[Research Report] RR-8690, Inria Nancy - Grand Est (Villers-lès-Nancy, France); INRIA. 2015, pp.37
hal-01308989v1  Book sections
Soumeya Leila HernaneJens Gustedt. Transparent distributed data management in large scale distributed systems
Pervasive Computing, Academic Press, pp.153-194, 2016, 978-0-12-803663-1
hal-01314970v1  Conference papers
Nazim HaouchineStéphane Cotin. Segmentation and Labelling of Intra-operative Laparoscopic Images using Structure from Point Cloud
International Symposium on Biomedical Imaging : "From Nano to Macro" (ISBI 2016), Apr 2016, Prague, Czech Republic
hal-01792837v1  Conference papers
Yinoussa AdagolodjoNicolas GolseEric VibertMichel de MathelinStéphane Cotin et al.  Marker-based Registration for Large Deformations -Application to Open Liver Surgery
ICRA 2018 - International Conference on Robotics and Automation, May 2018, Brisbane, Australia
tel-01939268v1  Theses
Yinoussa Adagolodjo. Couplage de La rObotique et de la simulatioN médicalE pour des proCédures automaTisées (CONECT)
Optimisation et contrôle [math.OC]. Université de Strasbourg, 2018. Français
hal-01353925v1  Conference papers
Yinoussa AdagolodjoLaurent GoffinMichel de MathelinHadrien Courtecuisse. Inverse real-time Finite Element simulation for robotic control of flexible needle insertion in deformable tissues
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016) , Oct 2016, Daejeon, South Korea
hal-01325648v1  Conference papers
Daniel SalasJens GustedtRacoceanu DanielIsabelle Perseil. Resource-Centered Distributed Processing of Large Histopathology Images
19th IEEE International Conference on Computational Science and Engineering, Aug 2016, Paris, France
tel-01516170v1  Theses
Christoph Paulus. Topological Changes in Simulations of Deformable Objects
Modeling and Simulation. University of Strasbourg, 2017. English
hal-02311462v1  Reports
Niall DouglasJens Gustedt. Function failure annotation
[Research Report] N2429, ISO JCT1/SC22/WG14. 2019
hal-01936351v1  Conference papers
Cristian Ramon-CortesRamon AmelaJorge EjarquePhilippe ClaussRosa Badia. AutoParallel: A Python module for automatic parallelization and distributed execution of affine loop nests
PyHPC 2018 - 8th Workshop on Python for High-Performance and Scientific Computing, Nov 2018, Dallas, TX, United States
hal-02046105v1  Conference papers
Jens GustedtMaxime Mogé. Memory access classification for vertical task parallelism
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavia, Italy
hal-01396200v1  Journal articles
Philippe HelluyOlivier HurisseErwan Le Coupanec. Verification of a two-phase flow code based on an homogeneous model
International Journal on Finite Volumes, Institut de Mathématiques de Marseille, AMU, 2016, 13
hal-00809448v1  Documents associated with scientific events
Julien Narboux. Les assistants de preuve, ou comment avoir confiance en ses démonstrations.
Séminaire L, Mar 2013, Strasbourg, France
hal-01889783v1  Conference papers
Fanny FicucielloAlessandro MigliozziEulalie CoevoetAntoine PetitChristian Duriez. FEM-based Deformation Control for Dexterous Manipulation of 3D Soft Objects
IROS 2018 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2018, Madrid, Spain
tel-01746230v2  Theses
Erica Schwindt. Problemas de Interacción entre un Fluido Newtoniano Incompresible y una Estructura
Analysis of PDEs [math.AP]. Universidad de Chile; Université Henri Poincaré - Nancy 1, 2011. Español. ⟨NNT : 2011NAN10068⟩
inria-00087876v1  Journal articles
Jorge San MartinJean-Francois ScheidTakéo TakahashiMarius Tucsnak. An Initial and Boundary Value Problem Modeling Fish-like Swimming
Archive for Rational Mechanics and Analysis, Springer Verlag, 2008, 188 (3), pp.429-455. ⟨10.1007/s00205-007-0092-2⟩
hal-00092094v1  Journal articles
Jorge San MartinJean-Francois ScheidTakéo TakahashiMarius Tucsnak. Convergence of the Lagrange-Galerkin method for the Equations Modelling the Motion of a Fluid-Rigid System
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2005, Volume 43, Issue 4, pp.1536-1571. ⟨10.1137/S0036142903438161⟩