HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
  1. Search


...
hal-01667161v1  Conference papers
Yacine Bouzidi, Thomas Cluzeau, Guillaume Moroz, Alban Quadrat. Computing effectively stabilizing controllers for a class of $n$D systems
The 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.1847 - 1852, ⟨10.1016/j.ifacol.2017.08.200⟩
...
hal-01889825v1  Other publications
François Boulier, François Fages, Ovidiu Radulescu, Satya Samal, Andreas Schuppert et al.  The SYMBIONT Project: Symbolic Methods for Biological Networks
2018
...
hal-01136728v1  Journal articles
Nazim Haouchine, Stéphane Cotin, Igor Peterlik, Jérémie Dequidt, Mario Sanz Lopez et al.  Impact of Soft Tissue Heterogeneity on Augmented Reality for Liver Surgery
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2015, 21 (5), pp.584 - 597. ⟨10.1109/TVCG.2014.2377772⟩
hal-01393492v1  Journal articles
Mohamad Daher, Ahmad Diab, Maan El Badaoui El Najjar, Mohamad Khalil, François Charpillet. Elder Tracking and Fall Detection System using Smart Tiles
IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2017, 17 (2), ⟨10.1109/JSEN.2016.2625099⟩
hal-01509756v1  Conference papers
Maan El Badaoui El Najjar, Cindy Cappelle, Denis Pomorski, François Charpillet. Fusion de données GPS, vision, Lidar et SIG3D pour la géo-localisation et la détection d’obstacles
7èmes Journées Nationales de la Recherche en Robotique (JNRR’2009), Nov 2009, Neuvy-sur-Barangeon, France
...
hal-02427488v1  Journal articles
Mohamad Daher, Joelle Al Hage, Maan El Badaoui El Najjar, Ahmad Diab, Khalil Mohamad et al.  Toward High Integrity Personal Localization System Based on Informational Formalism
IEEE Transactions on Instrumentation and Measurement, Institute of Electrical and Electronics Engineers, 2019, 68 (11), pp.4590-4599. ⟨10.1109/TIM.2018.2886976⟩
...
hal-01390923v1  Journal articles
Erwan Kerrien, Ahmed Yureidini, Jérémie Dequidt, Christian Duriez, René Anxionnat et al.  Blood vessel modeling for interactive simulation of interventional neuroradiology procedures
Medical Image Analysis, Elsevier, 2017, 35, pp.685 - 698. ⟨10.1016/j.media.2016.10.003⟩
hal-00821916v1  Journal articles
Cindy Cappelle, Maan El Badaoui El Najjar, Denis Pomorski, François Charpillet. Intelligent Geolocalization in Urban Areas Using Global Positioning Systems, Three-Dimensional Geographic Information Systems, and Vision
Journal of Intelligent Transportation Systems: Technology, Planning, and Operations, Taylor & Francis: STM, Behavioural Science and Public Health Titles, 2010, 14 (1 (Part 2)), pp.3-12. ⟨10.1080/15472450903385999⟩
...
hal-03049726v1  Journal articles
Emmanuel Bresso, Alessandro Furlan, Philippe Noel, Vincent Leroux, Flavio Maina et al.  Large-Scale Virtual Screening Against the MET Kinase Domain Identifies a New Putative Inhibitor Type
Molecules, MDPI, 2020, 25 (4), pp.938. ⟨10.3390/molecules25040938⟩
...
hal-03242324v2  Conference papers
Gabrielle de Micheli, Pierrick Gaudry, Cécile Pierrot. Lattice Enumeration for Tower NFS: a 521-bit Discrete Logarithm Computation
ASIACRYPT 2021 - 27th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2021, Virtual, Singapore. pp.67-96, ⟨10.1007/978-3-030-92062-3_3⟩
...
hal-03197376v2  Preprints, Working Papers, ...
Brij Mohan Lal Srivastava, Mohamed Maouche, Md Sahidullah, Emmanuel Vincent, Aurélien Bellet et al.  Privacy and utility of x-vector based speaker anonymization
2021
...
tel-03598275v1  Theses
Nicolas Furnon. Apprentissage profond pour le rehaussement de la parole dans les antennes acoustiques ad-hoc
Informatique [cs]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0277⟩
...
hal-03464025v1  Conference papers
Amélie Aussel, Laure Buhry, Radu Ranta. Design of experiments and Sobol' sensitivity analysis of a hippocampus computational model
43rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2021, Oct 2021, Guadalajara/Virtual, Mexico
...
hal-03327306v1  Preprints, Working Papers, ...
Imran Sheikh, Emmanuel Vincent, Irina Illina. Training RNN Language Models on Uncertain ASR Hypotheses in Limited Data Scenarios
2021
...
hal-03257450v1  Conference papers
Sunit Sivasankaran, Emmanuel Vincent, Dominique Fohr. Explaining deep learning models for speech enhancement
INTERSPEECH 2021, Aug 2021, Brno, Czech Republic. ⟨10.21437/Interspeech.2021-1764⟩
...
hal-03341368v1  Conference papers
Pascal Fontaine, Hans-Jörg Schurr. Quantifier Simplification by Unification in SMT
FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.232-249, ⟨10.1007/978-3-030-86205-3_13⟩
...
hal-03264085v1  Conference papers
Raphaël Duroselle, Md Sahidullah, Denis Jouvet, Irina Illina. Modeling and training strategies for language recognition systems
INTERSPEECH 2021, Aug 2021, Brno, Czech Republic. ⟨10.21437/Interspeech.2021-277⟩
...
hal-03228823v2  Conference papers
Raphaël Duroselle, Md Sahidullah, Denis Jouvet, Irina Illina. Language recognition on unknown conditions: the LORIA-Inria-MULTISPEECH system for AP20-OLR Challenge
INTERSPEECH 2021, Aug 2021, Brno, Czech Republic. ⟨10.21437/Interspeech.2021-276⟩
...
hal-02978485v3  Conference papers
Ajinkya Kulkarni, Vincent Colotte, Denis Jouvet. Improving transfer of expressivity for end-to-end multispeaker text-to-speech synthesis
EUSIPCO 2021 - 29th European Signal Processing Conference, European Association for Signal Processing (EURASIP), Aug 2021, Dublin / Virtual, Ireland. ⟨10.23919/EUSIPCO54536.2021.9616249⟩
...
hal-03259801v1  Conference papers
Nicolas Furnon, Romain Serizel, Slim Essid, Irina Illina. Attention-based distributed speech enhancement for unconstrained microphone arrays with varying number of nodes
EUSIPCO 2021 - 29th European Signal Processing Conference, IEEE, Aug 2021, Dublin / Virtual, Ireland. ⟨10.23919/EUSIPCO54536.2021.9616358⟩
...
tel-03539738v1  Theses
Brij Mohan Lal Srivastava. Speaker Anonymization: Representation, Evaluation and Formal Guarantees
Artificial Intelligence [cs.AI]. Inria Lille Nord Europe - Laboratoire CRIStAL - Université de Lille, 2021. English
...
hal-03355184v1  Conference papers
Francesca Ronchini, Romain Serizel, Nicolas Turpault, Samuele Cornell. The impact of non-target events in synthetic soundscapes for sound event detection
DCASE 2021 - Detection and Classification of Acoustic Scenes and Events, Nov 2021, Barcelona/Virtual, Spain
...
hal-03387778v1  Conference papers
Michel Olvera, Emmanuel Vincent, Gilles Gasso. Improving Sound Event Detection with Auxiliary Foreground-Background Classification and Domain Adaptation
DCASE 2021 - 6th Workshop on Detection and Classification of Acoustic Scenes and Events, Nov 2021, Virtual, Spain
...
tel-03395953v1  Theses
Manuel Pariente. Implicit and explicit phase modeling in deep learning-based source separation
Machine Learning [stat.ML]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0150⟩
...
hal-03351943v3  Conference papers
Pierre Champion, Denis Jouvet, Anthony Larcher. Evaluating X-vector-based Speaker Anonymization under White-box Assessment
SPECOM 2021 - 23rd International Conference on Speech and Computer, Sep 2021, Saint Petersburg, Russia
...
hal-03391884v1  Conference papers
Youssef Assis, Liang Liao, Fabien Pierre, René Anxionnat, Erwan Kerrien. An efficient data strategy for the detection of brain aneurysms from MRA with deep learning
DALI 2021 - MICCAI workshop on Data Augmentation, Labeling, and Imperfections, Sep 2021, Strasbourg, France. pp.226-234, ⟨10.1007/978-3-030-88210-5_22⟩
...
hal-03369137v1  Preprints, Working Papers, ...
Mohamed Maouche, Brij Mohan Lal Srivastava, Nathalie Vauquier, Aurélien Bellet, Marc Tommasi et al.  Enhancing Speech Privacy with Slicing
2021
...
hal-03313556v1  Conference papers
Safa Alsaidi, Amandine Decker, Puthineath Lay, Esteban Marquer, Pierre-Alexandre Murena et al.  A Neural Approach for Detecting Morphological Analogies
DSAA 2021 - 8th IEEE International Conference on Data Science and Advanced Analytics, Oct 2021, Porto/Online, Portugal. pp.1-10
...
hal-03341357v1  Conference papers
Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais. Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant
CADE 2021 - 28th International Conference on Automated Deduction, Jul 2021, Pittsburgh, PA / online, United States. ⟨10.1007/978-3-030-79876-5⟩
...
hal-02985794v3  Conference papers
Nicolas Furnon, Romain Serizel, Irina Illina, Slim Essid. Distributed speech separation in spatially unconstrained microphone arrays
ICASSP 2021 - 46th International Conference on Acoustics, Speech, and Signal Processing, Jun 2021, Toronto / Virtual, Canada. ⟨10.1109/ICASSP39728.2021.9414758⟩
...
hal-03354695v1  Preprints, Working Papers, ...
Joris Cosentino, Manuel Pariente, Samuele Cornell, Antoine Deleforge, Emmanuel Vincent. LibriMix: An open-source dataset for generalizable speech separation
2020
...
hal-03634072v1  Preprints, Working Papers, ...
Shakeel Sheikh, Md Sahidullah, Fabrice Hirsch, Slim Ouni. Machine Learning for Stuttering Identification: Review, Challenges & Future Directions
2022
...
hal-03141101v2  Preprints, Working Papers, ...
Vincenzo Innocente, Paul Zimmermann. Accuracy of Mathematical Functions in Single, Double, Extended Double and Quadruple Precision
2022
...
hal-03623769v1  Preprints, Working Papers, ...
Mostafa Sadeghi, Paul Magron. A Sparsity-promoting Dictionary Model for Variational Autoencoders
2022
...
hal-03554305v2  Conference papers
Francesca Ronchini, Romain Serizel. A benchmark of state-of-the-art sound event detection systems evaluated on synthetic soundscapes
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing, May 2022, Singapore/Virtual, Singapore. ⟨10.1109/ICASSP43922.2022.9747577⟩
...
hal-03541726v1  Conference papers
Samuel Vivien. Parallel integer multiplication
PDP 2022 - 30th Euromicron International Conference on Parallel, Distributed, and Network-Based Processing, Mar 2022, Valladoid, Spain. ⟨10.1109/PDP55904.2022.00024⟩
...
hal-01171249v1  Reports
Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé. Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices
[Research Report] Université Grenoble Alpes (UGA). 2015
...
hal-03657779v1  Preprints, Working Papers, ...
Corentin Dumery, François Protais, Sébastien Mestrallet, Christophe Bourcier, Franck Ledoux. Evocube: a Genetic Labeling Framework for Polycube-Maps
2022
...
hal-03537852v1  Journal articles
David Desobry, François Protais, Nicolas Ray, Etienne Corman, Dmitry Sokolov. Frame Fields for CAD models
Lecture Notes in Computer Science, Springer, 2022, 13018, pp.421-434. ⟨10.1007/978-3-030-90436-4_34⟩
...
hal-03542913v1  Journal articles
A West, James Hermus, Meghan Huber, Pauline Maurice, Dagmar Sternad et al.  Dynamic Primitives Limit Human Force Regulation during Motion
IEEE Robotics and Automation Letters, IEEE 2022, 7 (2), pp.2391 - 2398. ⟨10.1109/LRA.2022.3141778⟩
...
hal-03602394v1  Journal articles
Matthieu Zins, Gilles Simon, Marie-Odile Berger. Object-Based Visual Camera Pose Estimation From Ellipsoidal Model and 3D-Aware Ellipse Prediction
International Journal of Computer Vision, Springer Verlag, 2022, 130, pp.1107-1126. ⟨10.1007/s11263-022-01585-w⟩
hal-03585479v1  Book sections
Frédéric Sur, Benoît Blaysat, Michel Grédiac. Which Pattern for a Low Pattern-Induced Bias?
Sharlotte L.B. Kramer, Rachael Tighe, Ming-Tzer Lin, Cosme Furlong, Chi-Hung Hwang. Thermomechanics & Infrared Imaging, Inverse Problem Methodologies, Mechanics of Additive & Advanced Manufactured Materials, and Advancements in Optical Methods & Digital Image Correlation, Volume 4, Springer International Publishing, pp.103-105, 2022, Conference Proceedings of the Society for Experimental Mechanics Series, ⟨10.1007/978-3-030-86745-4_15⟩
hal-02930662v1  Conference papers
Viet-Nhat Nguyen, Mostafa Sadeghi, Elisa Ricci, Xavier Alameda-Pineda. Deep Variational Generative Models for Audio-visual Speech Separation
MLSP 2021 - IEEE International Workshop on Machine Learning for Signal Processing, Oct 2021, Gold Coast, Australia
...
hal-02926172v2  Journal articles
Mostafa Sadeghi, Xavier Alameda-Pineda. Mixture of Inference Networks for VAE-based Audio-visual Speech Enhancement
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2021, 69, pp.1899-1909. ⟨10.1109/TSP.2021.3066038⟩
...
hal-03339672v2  Conference papers
Youssef Assis, Liang Liao, Fabien Pierre, René Anxionnat, Erwan Kerrien. Une stratégie de données efficace pour la détection des anévrismes cérébraux avec l'apprentissage profond
ORASIS 2021 - 18èmes journées francophones des jeunes chercheurs en vision par ordinateur, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
...
hal-03244472v1  Conference papers
Ashwin Geet d'Sa, Irina Illina, Dominique Fohr, Dietrich Klakow, Dana Ruiter. Exploring Conditional Language Model Based Data Augmentation Approaches For Hate Speech Classification
TSD 2021 - 24th International Conference on Text, Speech and Dialogue, Sep 2021, Olomouc, Czech Republic
...
hal-01873685v1  Conference papers
Begona Garcia-Zapirain, Cristian Castillo, Aritz Badiola, Sofia Zahia, Amaia Mendez et al.  A Proposed Methodology for Subjective Evaluation of Video and Text Summarization
MISSI 2018 - 11th edition of the International Conference on Multimedia and Network Information Systems, Sep 2018, Wrocław, Poland. pp.396-404, ⟨10.1007/978-3-319-98678-4_40⟩
...
hal-01819720v1  Conference papers
Kamel Smaïli, Dominique Fohr, Carlos-Emiliano González-Gallardo, Michal Grega, Lucjan Janowski et al.  A First Summarization System of a Video in a Target Language
MISSI 2018 - 11th edition of the International Conference on Multimedia and Network Information Systems, Sep 2018, Wrocław, Poland. pp.1-12
...
hal-02271287v1  Journal articles
Kamel Smaïli, Dominique Fohr, Carlos-Emiliano González-Gallardo, Michał Grega, Lucjan Janowski et al.  Summarizing videos into a target language: Methodology, architectures and evaluation
Journal of Intelligent and Fuzzy Systems, IOS Press, 2019, 1, pp.1-12. ⟨10.3233/JIFS-179350⟩
...
hal-03537698v1  Conference papers
Chuyuan Li, Maxime Amblard, Chloé Braud, Caroline Demily, Nicolas Franck et al.  Investigating non lexical markers of the language of schizophrenia in spontaneous conversations
CODI 2021 - 2nd Workshop on Computational Approaches to Discourse, Nov 2021, Punta Cana, Dominican Republic. pp.20-28, ⟨10.18653/v1/2021.codi-main.3⟩
...
hal-03371070v1  Master thesis
Fabien Bernier. A Study about Explainability and Fairness in Machine Learning and Knowledge Discovery
Artificial Intelligence [cs.AI]. 2021
...
hal-03318571v1  Conference papers
Georgios Zervakis, Emmanuel Vincent, Miguel Couceiro, Marc Schoenauer. On Refining BERT Contextualized Embeddings using Semantic Lexicons
ECML PKDD 2021 - Machine Learning with Symbolic Methods and Knowledge Graphs co-located with European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2021, Online, Spain
...
hal-01005441v1  Other publications
Patrick Lacharme, Andrea Rock, Vincent Strubel, Marion Videau. The Linux Pseudorandom Number Generator Revisited
2012
hal-00969197v1  Book sections
Aurélie Beynier, François Charpillet, Daniel Szer, Abdel-Illah Mouaddib. DEC-MDP / DEC-POMDP
Olivier Buffet, Olivier Sigaud. Markov Decision Processes in Artificial Intelligence, Wiley-ISTE, pp.277-313, 2010, 978-1-84821-167-4
...
hal-02048224v1  Journal articles
Willy Ugarte, Patrice Boizumault, Bruno Crémilleux, Alban Lepailleur, Samir Loudni et al.  Skypattern mining: From pattern condensed representations to dynamic constraint satisfaction problems
Artificial Intelligence, Elsevier, 2017, 244, pp.48-69. ⟨10.1016/j.artint.2015.04.003⟩
hal-01938635v1  Journal articles
Vassili Rivron, Cécile Dolbeau-Bandin. La baguette magique du tout-connecté. Entretien avec Évelyne Broudoux
Terminal. Technologie de l’information, culture & société, L'Harmattan / CREIS, 2016, Us et abus de l'Internet, [11 p.]. ⟨10.4000/terminal.1552⟩
...
hal-01657473v1  Journal articles
Xuan Son Nguyen, Thanh Phuong Nguyen, François Charpillet, Ngoc-Son Vu. Local Derivative Pattern for Action Recognition in Depth Images
Multimedia Tools and Applications, Springer Verlag, 2017, pp.1-19. ⟨10.1007/s11042-017-4749-z⟩
...
hal-00761006v1  Conference papers
Chihab Hanachi, François Charoy, Serge Stinckwich. Introduction to Collaborative Technology for Coordinating Crisis Management (CT2CM) track
2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2012, Toulouse, France. pp.351, ⟨10.1109/WETICE.2012.115⟩
...
hal-00769639v1  Conference papers
Yann Mathet, Antoine Widlöcher, Karën Fort, Claire François, Olivier Galibert et al.  Manual Corpus Annotation: Giving Meaning to the Evaluation Metrics
International Conference on Computational Linguistics, Dec 2012, Mumbaï, India. pp.809--818
hal-01246023v1  Book sections
Fabrice Bouquet, Sébastien Chipeaux, Christophe Lang, Nicolas Marilleau, Jean-Marc Nicod et al.  Introduction à l'approche agent
Simulation spatiale à base d'agents avec NetLogo, partie 1, ISTE, pp.15--36, 2015
...
halshs-00666615v2  Book sections
Guillaume Jacquet, Jean-Luc Manguin, Fabienne Venant, Bernard Victorri. Construire le sens d'un verbe dans son cadre prédicatif
F. Neveu, P. Blumenthal, N. Le Querler. Au commencement était le verbe. Syntaxe, Sémantique et Cognition, Peter Lang, pp.233-252, 2011
...
hal-00526804v1  Conference papers
Guillaume Jacquet, Jean-Luc Manguin, Fabienne Venant, Bernard Victorri. Construction dynamique du sens : application à la prédication verbale
Rochebrune 2010, Jan 2010, Rochebrune, France
...
hal-03481267v1  Conference papers
Athénaïs Vaginay, Taha Boukhobza, Malika Smaïl-Tabbone. From quantitative SBML to boolean networks
19th conference on Computational Methods in Systems Biology, CMSB 2021, Sep 2021, Bordeaux, France
...
hal-03256693v1  Conference papers
Athénaïs Vaginay, Taha Boukhobza, Malika Smaïl-Tabbone. Automatic synthesis of boolean networks from biological knowledge and data
International Conference of Optimization and Learning, OLA 2021, Jun 2021, Catane, Italy
...
hal-03481396v1  Conference papers
Athénaïs Vaginay, Taha Boukhobza, Malika Smaïl-Tabbone. From quantitative SBML models to boolean networks
10th International Conference on Complex Networks and their Applications, CNA 2021, Nov 2021, Madrid, Spain
...
hal-03501774v2  Conference papers
Hee-Soo Choi, Bruno Guillaume, Karën Fort. Corpus-based Language Universals Analysis using Universal Dependencies
SyntaxFest Quasy 2021 - Quantitative Syntax, Mar 2022, Sofia, Bulgaria
...
hal-01985178v1  Conference papers
Radu Ranta, Steven Le Cam, Gundars Bergmanis-Korats, Sébastien Rimbert, Laurent Bougrain. On source space resolution in EEG brain imaging for motor imagery
9th International IEEE EMBS Conference on Neural Engineering, NER 2019, Mar 2019, San Francisco, United States
...
hal-01654279v1  Conference papers
V Avrutov, P Aksonenko, Patrick Henaff, Laurent Ciarletta. 3D-Calibration of the IMU
ELNANO 2017 - IEEE 37th International Conference on Electronics and Nanotechnology, Apr 2017, KIEV, Ukraine. pp.1-6, ⟨10.1109/ELNANO.2017.7939782⟩
...
hal-03481253v1  Conference papers
Athénaïs Vaginay, Taha Boukhobza, Malika Smaïl-Tabbone. Automatic synthesis of boolean networks from biological knowledge and data
Journées Ouvertes en Biologie, Informatique et Mathématiques, JOBIM 2021, Jul 2021, Paris, France
...
hal-00755264v1  Conference papers
Iadine Chadès, Josie Carwardine, Tara Martin, Samuel Nicol, Régis Sabbadin et al.  MOMDPs: a Solution for Modelling Adaptive Management Problems
Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI-12), Jul 2012, Toronto, Canada. 7 p
...
hal-02433990v1  Conference papers
Arthur Renaudeau, François Lauze, Fabien Pierre, Jf Aujol, J.-D. Durou. Inpainting vidéo pour la restauration de films par reconstructions alternées de la structure et de la texture
ORASIS 2019 - 17ème journées francophones des jeunes chercheurs en vision par ordinateur, May 2019, Saint-Dié-des-Vosges, France
...
hal-02433997v1  Conference papers
Arthur Renaudeau, François Lauze, Fabien Pierre, Jf Aujol, J.-D. Durou. Alternate Structural-Textural Video Inpainting for Spot Defects Correction in Movies
SSVM 2019 - Seventh International Conference on Scale Space and Variational Methods in Computer Vision, Jun 2019, Hofgeismar, Germany
...
hal-02965296v1  Conference papers
Arthur Renaudeau, Travis Seng, Axel Carlier, Fabien Pierre, François Lauze et al.  Learning Defects in Old Movies from Manually Assisted Restoration
ICPR 2020 - 25th International Conference on Pattern Recognition, Sep 2020, Milan / Virtual, Italy
...
hal-03487124v1  Conference papers
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque. Leveraging Event-B Theories for Handling Domain Knowledge in Design Models
7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing/Online, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
...
hal-00905822v1  Conference papers
Shuguo Zhuo, Zhi Wang, Ye-Qiong Song, Zhibo Wang, Almeda Luis. iQueue-MAC: A Traffic Adaptive duty-cycled MAC Protocol With Dynamic Slot Allocation
IEEE SECON, IEEE, Jun 2013, New Orleans, United States. pp.95-103, ⟨10.1109/SAHCN.2013.6644967⟩
hal-02974993v1  Conference papers
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos et al.  The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
SP 2020 - 41st IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.965-982, ⟨10.1109/SP40000.2020.00028⟩
cea-01834980v1  Directions of work or proceedings
Jasmin Christian Blanchette, Nikolai Kosmatov. Tests and Proofs
Jasmin Christian Blanchette; Nikolai Kosmatov. Tests and Proofs, Jul 2015, L’Aquila, Italy. 9154, Springer Verlag, 2015, 9783319212142. ⟨10.1007/978-3-319-21215-9⟩
...
hal-02348629v1  Conference papers
Pauline Maurice, Vincent Padois, Yvan Measson, Philippe Bidaud. Assessing and improving human movements using sensitivity analysis and digital human simulation
8th World Congress of Biomechanics, Jul 2018, Dublin, Ireland
...
hal-01721492v1  Conference papers
Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet et al.  Specification of Concretization and Symbolization Policies in Symbolic Execution
ISSTA 2016 - The International Symposium on Software Testing and Analysis , Jul 2016, Saarland, Germany. pp.1-11
cea-01836560v1  Conference papers
Sebastien Bardin, Mickael Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis et al.  Sound and quasi-complete detection of infeasible test requirements
ICST 2015 - IEEE 8th International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. pp.1-10, ⟨10.1109/ICST.2015.7102607⟩
...
hal-01721502v1  Conference papers
Robin David, Sébastien Bardin, Thanh Ta, Josselin Feist, Laurent Mounier et al.  BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis
3rd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Mar 2016, Osaka, Japan
...
hal-03477901v2  Book sections
Félix Gaschi, Parisa Rastin, Yannick Toussaint. Handling the Deviation from Isometry Between Domains and Languages in Word Embeddings: Applications to Biomedical Text Translation
Neural Information Processing, 13109, Springer International Publishing, pp.216-227, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92270-2_19⟩
...
hal-03578480v1  Conference papers
Félix Gaschi, Alexandre Joutard, Parisa Rastin, Yannick Toussaint. Évaluation des propriétés multilingues d'un embedding contextualisé
EGC 2022 - Conférence francophone sur l'Extraction et la Gestion des Connaissances, Jan 2022, Blois, France
...
hal-03438168v1  Conference papers
Hamid Rahkooy, Thomas Sturm. Parametric Toricity of Steady State Varieties of Reaction Networks
CASC 2021 - Computer Algebra in Scientific Computing, Sep 2021, Sochi, Russia. pp.314-333, ⟨10.1007/978-3-030-85165-1_18⟩
hal-03438907v1  Directions of work or proceedings
Matthew England, Wolfram Koepf, Timur Sadykov, Werner Seiler, Thomas Sturm. Computer Algebra in Scientific Computing 2019
Mathematics in Computer Science, 15 (2), 2021
...
hal-01889827v1  Conference papers
Hoon Hong, Thomas Sturm. Positive Solutions of Systems of Signed Parametric Polynomial Inequalities
CASC 2018 - International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. pp.238 - 253, ⟨10.1007/978-3-319-99639-4_17⟩
...
hal-02397168v1  Journal articles
Martin Bromberger, Thomas Sturm, Christoph Weidenbach. A complete and terminating approach to linear integer solving
Journal of Symbolic Computation, Elsevier, 2020, 100, pp.102-136. ⟨10.1016/j.jsc.2019.07.021⟩
hal-03142461v1  Directions of work or proceedings
James Harold Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli. Special Issue : Symbolic Computation and Satisfiability Checking
Journal of Symbolic Computation, 100, Elsevier, 2020
hal-03142063v1  Conference papers
Thomas Sturm, Ashish Tiwari. Verification and synthesis using real quantifier elimination
Proc. ISSAC 2011, Jun 2011, San Jose, United States. pp.329, ⟨10.1145/1993886.1993935⟩
hal-03142481v1  Directions of work or proceedings
Matthew England, Wolfram Koepf, Timur Sadykov, Werner Seiler, Thomas Sturm. Special Issue
Aug 2019, Moscow, Russia. Mathematics in Computer Science, Springer, 2021
...
hal-01377655v1  Conference papers
Eriká Abrahám, John Abbott, Bernd Becker, Anna Bigatti, Martin Brain et al.  SC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper)
Intelligent Computer Mathematics, Jul 2016, Bialystok, Poland
hal-02977488v1  Book sections
Hamid Rahkooy, Thomas Sturm. First-Order Tests for Toricity
Computer Algebra in Scientific Computing: 22nd International Workshop - CASC 2020, 12291, pp.510-527, 2020, LNCS, ⟨10.1007/978-3-030-60026-6_30⟩
hal-03438922v1  Directions of work or proceedings
Matthew England, François Boulier, Timur Sadykov, Thomas Sturm. Computer Algebra in Scientific Computing 2020
Mathematics in Computer Science, 15 (3), 2021
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/