 |
 |
 |
|
|
||
|---|---|---|
| hal-03466780v2
Conference papers
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
Parametrized growth and procedural noise for mechanical metamaterial design Computational Geometry [cs.CG]. Université de Lorraine, 2022. English. ⟨NNT : 2022LORR0046⟩ |
||
| |
||
|
|
||
| hal-03701278v1
Preprints, Working Papers, ...
Étude d'un algorithme d'optimisation pour le fading temps-fréquence 2022 |
||
| hal-03700018v1
Conference papers
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
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
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
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-03698534v1
Journal articles
Quantifying the uncertainty in a hyperelastic soft tissue model with stochastic parameters Applied Mathematical Modelling, Elsevier, 2018, 62, pp.86-102. ⟨10.1016/j.apm.2018.04.021⟩ |
||
| hal-03698066v1
Conference papers
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
A Sparsity-promoting Dictionary Model for Variational Autoencoders INTERSPEECH 2022, Sep 2022, Incheon, South Korea |
||
| hal-03697875v1
Journal articles
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
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
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
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-03656608v2
Preprints, Working Papers, ...
Filling the gap between individual-based evolutionary models and Hamilton-Jacobi equations 2022 |
||
| hal-03696332v1
Preprints, Working Papers, ...
Porous Flow and Sediment Transport Simulation for Physically-Based Weathering 2022 |
||
| hal-03696115v1
Preprints, Working Papers, ...
The Multi-type Bisexual Galton-Watson Branching Process 2022 |
||
| tel-03695908v1
Theses
Expected Size of the 3-Dimensional Delaunay Triangulation of Random Points on a Surface Computational Geometry [cs.CG]. Université de Lorraine, 2022. English. ⟨NNT : 2022LORR0050⟩ |
||
| hal-03693843v2
Conference papers
Sapic+ : protocol verifiers of the world, unite! USENIX 2022 - 31st USENIX Security Symposium, Aug 2022, Boston, United States |
||
| hal-02977023v2
Journal articles
Shape and topology optimization for maximum probability domains in quantum chemistry Numerische Mathematik, Springer Verlag, In press |
||
| hal-03695471v1
Conference papers
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-03197376v3
Preprints, Working Papers, ...
Privacy and utility of x-vector based speaker anonymization 2022 |
||
| hal-03694167v1
Journal articles
Real‐Time FE Simulation for Large‐Scale Problems Using Precondition‐Based Contact Resolution and Isolated DOFs Constraints Computer Graphics Forum, Wiley, 2022, ⟨10.1111/cgf.14563⟩ |
||
| hal-03693686v1
Conference papers
Use of a Citizen Science Platform for the Creation of a Language Resource to Study Bias in Language Models for French: a case study 2nd LREC Workshop on Novel Incentives in Data Collection from People, Jun 2022, Marseille, France |
||
| |
||
| hal-03691141v1
Journal articles
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
É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 |
||
|
|
||
