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-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-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
hal-03688845v2  Journal articles
Sorin Stratulat. Récurrence noethérienne pour le raisonnement de premier ordre
1024 : Bulletin de la Société Informatique de France, Société Informatique de France, 2022, pp.157-169. ⟨10.48556/SIF.1024.19.157⟩
hal-03690174v1  Conference papers
Tulika BoseNikolaos AletrasIrina IllinaDominique Fohr. Dynamically Refined Regularization for Improving Cross-corpora Hate Speech Detection
ACL 2022 - 60th meeting Association for Computational Linguistics Findings, May 2022, Dublin, Ireland
hal-03690071v1  Conference papers
Étienne AndréMasaki WagaNatuski UrabeIchiro Hasuo. Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior
14th NASA Formal Methods Symposium (NFM 2022), May 2022, Pasadena, United States. pp.470-488, ⟨10.1007/978-3-031-06773-0_25⟩
hal-03690070v1  Conference papers
Johan ArcileÉtienne André. Zone Extrapolations in Parametric Timed Automata
14th NASA Formal Methods Symposium (NFM 2022), Klaus Havelund; Jyo Deshmukh; Ivan Perez, May 2022, Caltech, Pasadena, United States. pp.451-469, ⟨10.1007/978-3-031-06773-0_24⟩
hal-03689476v1  Conference papers
Abir LarabaJérôme FrançoisIsabelle ChrismentShihabur Rahman ChowdhuryRaouf Boutaba. Detecting Multi-Step Attacks: A Modular Approach for Programmable Data Plane
NOMS2022 - IEEE/IFIP Network Operations and Management Symposium, Apr 2022, Budapest, Hungary