Skip to Main content Skip to Navigation

hal-03466780v2  Conference papers
yoann FleytouxAnji MaSerena IvaldiJean-Baptiste Mouret. Data-efficient learning of object-centric grasp preferences
ICRA 2022 - IEEE International Conference on Robotics and Automation, May 2022, Philadelphia, United States
tel-03704004v1  Theses
Semyon Efremov. Parametrized growth and procedural noise for mechanical metamaterial design
Computational Geometry [cs.CG]. Université de Lorraine, 2022. English. ⟨NNT : 2022LORR0046⟩
hal-03700018v1  Conference papers
Marcos FreireSamuel HornusSalim PerchySylvain Lefebvre. Procedural bridges-and-pillars support generation
Eurographics 2022 - 43rd annual conference of the european association for computer graphics, Apr 2022, Reims, France
hal-03698581v1  Conference papers
Valentin D. Richard. Introducing Proof Tree Automata and Proof Tree Graphs
SLSS 2022 - 11th Scandinavian Logic Symposium, Åsa Hirvonen; Fernando Velázquez-Quesada, Jun 2022, Bergen, Norway. pp.10-12, ⟨10.48550/arXiv.2206.06294⟩
hal-03700492v1  Conference papers
Vincent ChevalRaphaëlle CrubilléSteve Kremer. Symbolic protocol verification with dice: process equivalences in the presence of probabilities
CSF'22 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel
hal-03699463v1  Conference papers
Nyoman JuniartaOlivier BonamiNabil HathoutFiammetta NamerYannick Toussaint. Organizing and Improving a Database of French Word Formation Using Formal Concept Analysis
LREC 2022 - 13th Language Resources and Evaluation Conference, ELRA, Jun 2022, Marseille, France. pp.3969-3976
hal-03698066v1  Conference papers
Mohammadamin Soltani-SarvestaniStéphane CotinPaola Saccomandi. Unscented Kalman Filtering for Real Time Thermometry During Laser Ablation Interventions
EMBC 2022 - International Engineering in Medicine and Biology Conference, Jul 2022, Glasgow, United Kingdom
hal-03623769v2  Conference papers
Mostafa SadeghiPaul Magron. A Sparsity-promoting Dictionary Model for Variational Autoencoders
INTERSPEECH 2022, Sep 2022, Incheon, South Korea
hal-03697875v1  Journal articles
Clélie AmiotFrançois CharoyJérôme Dinet. Trustworthy automation for large-scale collaboration: a proposed exploratory study
CEUR Workshop Proceedings, CEUR Workshop Proceedings, 2022, Engaging with Automation - Understanding and Designing for Operation, Appropriation, and Behaviour Change 2022., Proceedings of the Workshop on Engaging with Automation (AutomationXP) co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2022) New Orleans, LA, USA, (3154)
hal-03691913v1  Conference papers
Guillaume MestdaghStéphane Cotin. An Optimal Control Problem for Elastic Registration and Force Estimation in Augmented Surgery
MICCAI 2022 - 25th International Conference on Medical Image Computing and Computer Assisted Intervention, Sep 2022, Singapore, Singapore
hal-03697401v1  Conference papers
Sergei NikolaevStéphane Cotin. Estimation of boundary conditions for patient-specific liver simulation during augmented surgery
IPCAI 2020 - The 11th International Conference on Information Processing in Computer-Assisted Interventions, Jun 2020, Munich, Germany. pp.1107-1115
hal-03697393v1  Journal articles
Sergei NikolaevStéphane Cotin. Estimation of boundary conditions for patient-specific liver simulation during augmented surgery
International Journal of Computer Assisted Radiology and Surgery, Springer Verlag, 2020, 15 (7), pp.1107-1115. ⟨10.1007/s11548-020-02188-x⟩
hal-03693843v2  Conference papers
Vincent ChevalCharlie JacommeSteve KremerRobert Künnemann. Sapic+ : protocol verifiers of the world, unite!
USENIX 2022 - 31st USENIX Security Symposium, Aug 2022, Boston, United States
hal-03695471v1  Conference papers
Laure CrochepierreLydia Boudjeloud-AssalaVincent Barbesant. Interactive Reinforcement Learning for Symbolic Regression from Multi-Format Human-Preference Feedbacks
IJCAI 2022- 31st International Joint Conference on Artificial Intelligence, Jul 2022, Vienne, Austria
hal-03691141v1  Journal articles
Fabrice BoudotPierrick GaudryAurore GuillevicNadia HeningerEmmanuel Thomé et al.  The State of the Art in Integer Factoring and Breaking Public-Key Cryptography
IEEE Security and Privacy Magazine, Institute of Electrical and Electronics Engineers, 2022, 20 (2), pp.80-86. ⟨10.1109/MSEC.2022.3141918⟩
hal-03675515v2  Conference papers
Hee-Soo Choi. État de l'art : Liage de ressources lexicales du français
RÉCITAL 2022 - 24e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, Jun 2022, Avignon, France