Skip to Main content Skip to Navigation


hal-03707078v1  Conference papers
Phuc NgoIsabelle Debled-Rennesson. Tangential cover for 3D irregular noisy digital curves
DGMM2022-Second International Conference on Discrete Geometry and Mathematical Morphology (DGMM), Oct 2022, Strasbourg, France
...
hal-03623769v2  Conference papers
Mostafa SadeghiPaul Magron. A Sparsity-promoting Dictionary Model for Variational Autoencoders
INTERSPEECH 2022, Sep 2022, Incheon, South Korea
...
hal-02279942v9  Conference papers
Joachim NiehrenAthénaïs VaginayCristian Versari. Abstract Simulation of Reaction Networks via Boolean Networks
CMSB202 - International Conference on Computational Methods in Systems Biology, Sep 2022, Bucarest, Romania
...
hal-03701615v1  Conference papers
Kamel SmaïliDavid LangloisPeter Pribil. Language rehabilitation of people with BROCA aphasia using deep neural machine translation
Fifth International Conference on Computational Linguistics in Bulgaria, Sep 2022, Sofia, Bulgaria
...
hal-03629785v1  Conference papers
Shakeel SheikhMd SahidullahFabrice HirschSlim Ouni. Robust Stuttering Detection via Multi-task and Adversarial Learning
EUSIPCO 2022 - 30th European Signal Processing Conference, Aug 2022, Belgrade, Serbia
...
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-03473179v1  Conference papers
Véronique CortierAntoine DallonStéphanie Delaune. A small bound on the number of sessions for security protocols
CSF 2022 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel
...
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-03658815v1  Conference papers
Zhao ZhangArmelle BrunBoyer Anne. Managing Learners' Memory Strength in a POMDP-based Learning Path Recommender System
23rd International Conference on Artificial Intelligence in Education, Jul 2022, Durham, United Kingdom
hal-03556366v1  Conference papers
Jérôme Dinet. Would you be friends with a robot?”: The impact of perceived autonomy and perceived risk
AHFE 2022 - 13th International Conference on Applied Human Factors and Ergonomics, Jul 2022, New York, United States
hal-03556371v1  Conference papers
Jérôme DinetRui Nouchi. Promoting Physical Activity for Elderly People with Immersive Virtual Reality (IVR)
AHFE 2022 - 13th International Conference on Applied Human Factors and Ergonomics, Jul 2022, New York, 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-03671013v1  Conference papers
Loïc RouquetteDavid GeraultMarine MinierChristine Solnon. And Rijndael? Automatic Related-key Differential Analysis of Rijndael
AfricaCrypt 2022 - 13th International Conference on Cryptology AfricaCrypt, Jul 2022, Fes, Morocco
...
hal-03655953v1  Conference papers
Alexandre BettingerArmelle BrunAnne Boyer. Independent Influence of Exploration and Exploitation for Metaheuristic-based Recommendations
The Genetic and Evolutionary Computation Conference (GECCO), Jul 2022, Boston, United States. ⟨10.1145/3520304.3528972⟩
...
hal-03636686v1  Journal articles
Leslie LamportStephan Merz. Prophecy Made Simple
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2022, 44 (2), pp.1-27. ⟨10.1145/3492545⟩
...
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-03680569v1  Conference papers
Alice Millouryoann DupontAlexane JouglarKarën Fort. FENEC : un corpus à échantillons équilibrés pour l'évaluation des entités nommées en français
Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Jun 2022, Avignon, France
...
hal-03680571v1  Conference papers
Nicolas HiebelOlivier FerretKarën FortAurélie Névéol. CLISTER : un corpus pour la similarité sémantique textuelle dans des cas cliniques en français
Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Jun 2022, Avignon, France
...
hal-03705816v1  Conference papers
Hee-Soo Choi. État de l'art : Liage de ressources lexicales du français
TALN + RECITAL 2022 : 29e Conférence sur le Traitement Automatique des Langues Naturelles. 24e Rencontres Etudiants Chercheurs en Informatique pour le pour le Traitement Automatique des Langues (RECITAL), Jun 2022, Avignon, France. pp.55-68
...
hal-03659318v1  Conference papers
Alexandre BettingerArmelle BrunAnne Boyer. Influence indépendante de l'exploration et de l'exploitation : le cas des systèmes de recommandation par métaheuristiques
CNIA 2022 - Conférence Nationale en Intelligence Artificielle, Jun 2022, Saint Etienne, France
...
hal-03676506v1  Conference papers
Nicolas ZampieriCarlos RamischIrina IllinaDominique Fohr. Identification des Expressions Polylexicales dans les Tweets
RECITAL 2022- Traitement Automatique des Langues Naturelles (TALN), Jun 2022, Avignon, France
...
hal-03680565v1  Conference papers
Fanny DucelKarën FortGaël Lejeuneyves Lepage. Langues « par défaut » ? Analyse contrastive et diachronique des langues non citées dans les articles de TALN et d'ACL
Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Jun 2022, Avignon, France
hal-03658833v1  Conference papers
Evan DufraisseCelina TreuillierArmelle BrunJulien TourilleSylvain Castagnos et al.  Don't burst blindly: for a better use of natural language processing to fight opinion bubbles in news recommendations
PoliticalNLP 2022 - First Workshop on Natural Language Processing for Political sciences, Jun 2022, Marseille, France
...
tel-03706282v1  Habilitation à diriger des recherches
Marc Pouget. Bivariate systems and topology of plane curves: algebraic and numerical methods
Symbolic Computation [cs.SC]. Université de Lorraine, 2022
...
hal-03189354v2  Conference papers
Mehmet Ali Tugtekin TuranDietrich KlakowEmmanuel VincentDenis Jouvet. Adapting Language Models When Training on Privacy-Transformed Data
LREC 2022 - 13th Language Resources and Evaluation Conference, Jun 2022, Marseille, France
...
hal-03362828v2  Conference papers
Imran Ahamad SheikhEmmanuel VincentIrina Illina. Transformer versus LSTM Language Models Trained on Uncertain ASR Hypotheses in Limited Data Scenarios
LREC 2022 - 13th Language Resources and Evaluation Conference, Jun 2022, Marseille, France
...
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-03680563v1  Conference papers
Nicolas HiebelOlivier FerretKarën FortAurélie Névéol. CLISTER: A Corpus for Semantic Textual Similarity in French Clinical Narratives
LREC 2022 - International Conference on Language Resources and Evaluation (LREC), Jun 2022, Marseille, France
...
hal-03680561v1  Conference papers
Fanny DucelKarën FortGaël Lejeuneyves Lepage. Do we Name the Languages we Study? The #BenderRule in LREC and ACL articles
LREC 2022 - International Conference on Language Resources and Evaluation (LREC), Jun 2022, Marseille, France
...
hal-03676508v1  Conference papers
Nicolas ZampieriCarlos RamischIrina IllinaDominique Fohr. Identification of Multiword Expressions in Tweets for Hate Speech Detection
LREC 2022 - 13th Edition of its Language Resources and Evaluation Conference, Jun 2022, Marseille, 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-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-03359508v1  Journal articles
Dominik KirstDominique Larchey-Wendling. Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2022, 18 (2), pp.17:1-17:29. ⟨10.46298/lmcs-18(2:17)2022⟩
...
hal-03609205v1  Conference papers
Pierre ChampionDenis JouvetAnthony Larcher. Anonymisation de parole par quantification vectorielle
JEP 2022 - Journées d'Études sur la Parole, Jun 2022, Île de Noirmoutier, France
...
hal-03636737v1  Conference papers
Hubert NourtelPierre ChampionDenis JouvetAnthony LarcherMarie Tahon. Analyse de l'anonymisation du locuteur sur de la parole émotionnelle
JEP 2022 - Journées d'Études sur la Parole, Jun 2022, Île de Noirmoutier, France
...
hal-03123117v1  Conference papers
Antoine MarotAlexandre RozierMatthieu DussartreLaure CrochepierreBenjamin Donnot. Towards an AI assistant for human grid operators
Hybrid Human Artificial Intelligence (HHAI), Jun 2022, Amsterdam, France