Skip to Main content Skip to Navigation

hal-02538101v1  Book sections
Andrea MendizabalEleonora TagliabueTristan HoellingerJean-Nicolas BrunetSergei Nikolaev et al.  Data-driven simulation for augmented surgery
Bilen Emek Abali; Ivan Giorgio. Developments and Novel Approaches in Biomechanics and Metamaterials, 132, pp.71-96, 2020, 978-3-030-50464-9. ⟨10.1007/978-3-030-50464-9⟩
hal-03468859v1  Conference papers
Nino VieillardOlivier PietquinMatthieu Geist. Munchausen Reinforcement Learning
NeurIPS, 2020, Vancouver / online, Canada
hal-02999148v1  Conference papers
Ismaël MendilNeeraj Kumar SinghYamine Aït-AmeurDominique MéryPhilippe Palanque. An Integrated Framework for the Formal Analysis of Critical Interactive Systems
The 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10
hal-02158012v1  Journal articles
Emmanuel JeandelEtienne MoutotPascal Vanier. Slopes of multidimensional subshifts
Theory of Computing Systems, Springer Verlag, 2020, 64 (1), pp.35-61. ⟨10.1007/s00224-019-09931-1⟩
hal-03059165v1  Journal articles
Peter Beim GrabenAxel HuttNorbert MarwanChristian UhlCharles Webber. Editorial: Recurrence Analysis of Complex Systems Dynamics
Frontiers in Applied Mathematics and Statistics, Frontiers Media S.A, 2020, 6, ⟨10.3389/fams.2020.00033⟩
hal-02451368v1  Book sections
Philippe HelluyOlivier HurisseLucie Quibel. Simulation of a liquid-vapour compressible flow by a Lattice Boltzmann Method
Finite Volumes for Complex Applications IX - Methods, Theoretical Aspects, Examples. FVCA 2020., 2020, 978-3-030-43650-6. ⟨10.1007/978-3-030-43651-3_63⟩
hal-02895528v1  Reports
Zheng ChengDominique Méry. A Refinement Strategy for Hybrid System Design with Safety Constraints
[Research Report] Université de Lorraine; INRIA; CNRS. 2020
hal-02555221v1  Conference papers
Adam GaierAlexander AsterothJean-Baptiste Mouret. Discovering Representations for Black-box Optimization
GECCO'20 - Genetic and Evolutionary Computation Conference, Jul 2020, Cancun, Mexico. ⟨10.1145/3377930.3390221⟩
hal-02469901v3  Conference papers
Diego Di CarloClément ElviraAntoine DeleforgeNancy BertinRémi Gribonval. BLASTER: An Off-Grid Method for Blind and Regularized Acoustic Echoes Retrieval -- with supplementary material
ICASSP 2020 - IEEE International Conference on Acoustic Speech and Signal Processing, IEEE, May 2020, Barcelona, Spain
hal-03014927v1  Conference papers
Carlos RamischAgata SavaryBruno GuillaumeJakub WaszczukMarie Candito et al.  Edition 1.2 of the PARSEME Shared Task on Semi-supervised Identification of Verbal Multiword Expressions
Joint Workshop on Multiword Expressions and Electronic Lexicons (MWE-LEX 2020), 2020, Barcelona, Spain
hal-02427044v2  Book sections
Romane HéliePhilippe HelluyEmmanuel FranckLaurent Navoret. Kinetic over-relaxation method for the convection equation with Fourier solver
Finite Volumes for Complex Applications IX - Methods, Theoretical Aspects, Examples. FVCA 2020., pp.745-753, 2020, 978-3-030-43650-6. ⟨10.1007/978-3-030-43651-3_71⟩
hal-02498022v1  Journal articles
Étienne AndréDidier LimeNicolas Markey. Language Preservation Problems in Parametric Timed Automata
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (1), ⟨10.23638/LMCS-16⟩
hal-02984307v1  Conference papers
Andrey SakryukinChedy RaïssiMohan Kankanhalli. Inferring DQN structure for high-dimensional continuous control
2020 International Conference on Machine Learning, Jul 2020, Vienna, Austria
hal-02985551v1  Conference papers
Sanaz EidizadehakhchelooBizhan Alipour PijaniAbdessamad ImineMichaël Rusinowitch. Your Age Revealed by Facebook Picture Metadata
BBIGAP 2020 - Second Workshop of BI and Big Data Applications, Aug 2020, Lyon / Virtual, France. pp.259-270, ⟨10.1007/978-3-030-55814-7_22⟩
hal-03122451v1  Conference papers
Alexandre BlanschéLydia Boudjeloud-Assala. Biclustering itératif par une approche évolutionnaire
EGC 2020 Extraction et Gestion des Connaissances, Jan 2020, Brussels, Belgique
hal-02421312v2  Journal articles
Renata BunoiuLucas ChesnelKarim RamdaniMahran Rihani. Homogenization of Maxwell's equations and related scalar problems with sign-changing coefficients
Annales de la Faculté des Sciences de Toulouse. Mathématiques., Université Paul Sabatier _ Cellule Mathdoc In press
hal-03196390v1  Journal articles
Jean-Charles LamirelMarie CottrellMadalina OlteanuBruno Lévy. Editorial of Special Issue on WSOM+ 2017
Neural Computing and Applications, Springer Verlag, 2020, 32, pp.17973-17975. ⟨10.1007/s00521-020-05481-7⟩
hal-02861799v1  Journal articles
Axel Hutt. Divergence of the Ensemble Transform Kalman Filter (LETKF) by nonlocal observations
Frontiers in Applied Mathematics and Statistics, Frontiers Media S.A, 2020, ⟨10.3389/fams.2020.00042⟩
tel-02445322v3  Theses
Pierre Gerhard. Réduction de modèles cinétiques et applications à l'acoustique du bâtiment
Acoustique [physics.class-ph]. Université de Strasbourg, 2020. Français. ⟨NNT : 2020STRAD001⟩
tel-02941486v3  Theses
Lucie Quibel. Simulation of water-vapor two-phase flows with non-condensable gas.
Mathematics [math]. Université de Strasbourg, 2020. English
tel-03023095v1  Theses
Marie Houillon. Schémas Galerkin Discontinu optimisés pour les problèmes d'électromagnétisme avec des géométries complexes
Equations aux dérivées partielles [math.AP]. Université de Strasbourg, IRMA UMR 7501, 2020. Français
hal-02499149v1  Conference papers
Emmanuel HainryDamiano MazzaRomain Péchoux. Polynomial time over the reals with parsimony
FLOPS 2020 - International Symposium on Functional and Logic Programming, Apr 2020, Akita, Japan
hal-02499206v2  Journal articles
Emmanuel HainryRomain Péchoux. Theory of Higher Order Interpretations and Application to Basic Feasible Functions
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (4), pp.25. ⟨10.23638/LMCS-16(4:14)2020⟩
hal-02881308v1  Conference papers
Emmanuel HainryBruce KapronJean-Yves MarionRomain Péchoux. A tier-based typed programming language characterizing Feasible Functionals
LICS '20 - 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.535-549, ⟨10.1145/3373718.3394768⟩
hal-03065619v1  Journal articles
Nazim HaouchinePariskhit JuvekarAlexandra GolbySarah Frisken. Predicted Microscopic Cortical Brain Images for Optimal Craniotomy Positioning and Visualization
Computer Methods in Biomechanics and Biomedical Engineering: Imaging & Visualization, Taylor & Francis, 2020, ⟨10.1080/21681163.2020.1834874⟩
hal-03065632v1  Conference papers
Nazim HaouchineParikshit JuvekarAlexandra GolbyWilliam WellsStéphane Cotin et al.  Alignment of Cortical Vessels viewed through the Surgical Microscope with Preoperative Imaging to Compensate for Brain Shift
Medical Imaging 2020: Image-Guided Procedures, Robotic Interventions, and Modeling, Feb 2020, Houston, United States
hal-03196372v1  Directions of work or proceedings
Jean-Charles LamirelMarie CottrellMadalina OlteanuBruno Lévy. Special Issue on WSOM+ 2017
Neural Computing and Applications, 32, 2020, Neural Computing and Applications