Skip to Main content Skip to Navigation


...
hal-02101739v3  Journal articles
Michel BenaïmNicolas ChampagnatDenis Villemonais. Stochastic approximation of quasi-stationary distributions for diffusion processes in a bounded domain
Annales de l'Institut Henri Poincaré (B) Probabilités et Statistiques, Institut Henri Poincaré (IHP), 2022, 57 (2), pp.726-739. ⟨10.1214/20-AIHP1093⟩
...
hal-03285178v1  Conference papers
W GomesP MauriceN SettembreJ TheurelL Wioland et al.  Biomechanical effects of using a passive back support exoskeleton during prone-positioning maneuver: A pilot study
46th Congress of the Society of Biomechanics, Oct 2021, Saint-Etienne, France
...
hal-03304656v1  Conference papers
Prerak SrivastavaAntoine DeleforgeEmmanuel Vincent. Blind room parameter estimation using multiple multichannel speech recordings
WASPAA 2021- IEEE Workshop on Applications of Signal Processing to Audio and Acoustics, Oct 2021, New Paltz, NY, United States
...
hal-03326002v2  Conference papers
Zhiqi KangRadu HoraudMostafa Sadeghi. Robust Face Frontalization For Visual Speech Recognition
ICCV 2021 - International Conference on Computer Vision Workshops, IEEE, Oct 2021, Montreal - Virtual, Canada. pp.1-16
...
hal-03328841v1  Poster communications
Safa AlsaidiAmandine DeckerPuthineath LayEsteban MarquerPierre-Alexandre Murena et al.  A Neural Approach for Detecting Morphological Analogies
IEEE DSAA 2021 - The 8th IEEE International Conference on Data Science and Advanced Analytics, Oct 2021, Porto / Online, Portugal. IEEE DSAA 2021
...
hal-03313556v1  Conference papers
Safa AlsaidiAmandine DeckerPuthineath LayEsteban MarquerPierre-Alexandre Murena et al.  A Neural Approach for Detecting Morphological Analogies
The 8th IEEE International Conference on Data Science and Advanced Analytics (DSAA), Oct 2021, Porto/Online, Portugal
...
hal-03312797v2  Conference papers
Guilherme AlvesMaxime AmblardFabien BernierMiguel CouceiroAmedeo Napoli. Reducing Unintended Bias of ML Models on Tabular and Textual Data
The 8th IEEE International Conference on Data Science and Advanced Analytics (DSAA), Oct 2021, Porto/Online, Portugal
...
hal-02965830v1  Conference papers
Rasha FaqehChristof FetzerHolger HerrmannsJörg HoffmannMichaela Klauck et al.  Towards Dynamic Dependable Systems through Evidence-Based Continuous Certification
ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2021, Rhodes, Greece
...
hal-03315008v1  Conference papers
Eleonora TagliabueMarco PiccinelliDiego Dall'AlbaJuan VerdeMicha Pfeiffer et al.  Intra-operative Update of Boundary Conditions for Patient-specific Surgical Simulation
MICCAI - 24th International Conference on Medical Image Computing and Computer Assisted Intervention, Sep 2021, Strasbourg, France
...
hal-03313591v1  Conference papers
Safa AlsaidiAmandine DeckerPuthineath LayEsteban MarquerPierre-Alexandre Murena et al.  On the Transferability of Neural Models of Morphological Analogies
AIMLAI, ECML PKDD 2021: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2021, Bilbao/Virtual, Spain
...
hal-03339617v1  Conference papers
Matthieu ZinsGilles SimonMarie-Odile Berger. 3D-Aware Ellipse Prediction for Object-Based Camera Pose Estimation
ORASIS 2021, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
...
hal-03339640v1  Conference papers
Arthur RenaudeauTravis SengAxel CarlierFabien PierreFrançois Lauze et al.  Détection des défauts dans les vieux films par apprentissage profond à partir d'une restauration semi-manuelle
18èmes journées francophones des jeunes chercheurs en vision par ordinateur (ORASIS 2021), Centre National de la Recherche Scientifique [CNRS]; Equipe REVA, IRIT : Institut de Recherche en Informatique de Toulouse, Sep 2021, Saint Ferréol, France
...
hal-03339672v1  Conference papers
Youssef AssisLiang LiaoFabien PierreRené AnxionnatErwan Kerrien. Une stratégie de données efficace pour la détection des anévrismes cérébraux avec l'apprentissage profond
ORASIS 2021, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
...
hal-03339639v1  Conference papers
Abdelkarim ElassamMarie-Odile BergerGilles Simon. Détection de la ligne d'horizon et des points de fuite par apprentissage profond
ORASIS 2021, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
...
hal-03318571v1  Conference papers
Georgios ZervakisEmmanuel VincentMiguel CouceiroMarc Schoenauer. On Refining BERT Contextualized Embeddings using Semantic Lexicons
ECML/PKDD2021 Workshop on Combination of Symbolic and Sub-symbolic Methods and their Applications, Sep 2021, Online, Spain
...
hal-03341413v1  Conference papers
Hans-Jörg SchurrMathias FleuryHaniel BarbosaPascal Fontaine. Alethe: Towards a Generic SMT Proof Format (extended abstract)
PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem Proving, Sep 2021, Pittsburgh/Virtual, United States. pp.49-54, ⟨10.4204/EPTCS.336.6⟩
...
hal-02464242v4  Conference papers
Sorin Stratulat. E-Cyclist: Implementation of an Efficient Validation of FOL ID Cyclic Induction Reasoning
SYMBOLIC COMPUTATION FOR SOFTWARE SCIENCE, Sep 2021, Linz (vitual), Austria
...
hal-03337755v1  Conference papers
Emmanuel HainryEmmanuel JeandelRomain PéchouxOlivier Zeyen. ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs
ICTAC 2021 - 18th International Colloquium on Theoretical Aspects of Computing, Sep 2021, Nur-Sultan/Virtual, Kazakhstan. pp.357-365, ⟨10.1007/978-3-030-85315-0_20⟩
...
hal-03341368v1  Conference papers
Pascal FontaineHans-Jörg Schurr. Quantifier Simplification by Unification in SMT
FroCoS 2021 - The 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-03346531v1  Conference papers
Serdar ErbaturAndrew MarshallChristophe Ringeissen. Non-disjoint Combined Unification and Closure by Equational Paramodulation
Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Sep 2021, Birmingham, United Kingdom. pp.25-42, ⟨10.1007/978-3-030-86205-3_2⟩
...
hal-03244472v1  Conference papers
Ashwin Geet d'SaIrina IllinaDominique FohrDietrich KlakowDana Ruiter. Exploring Conditional Language Model Based Data Augmentation Approaches For Hate Speech Classification
The 24th International Conference of Text, Speech and Dialogue (TSD2021), Sep 2021, Olomouc, Czech Republic