Skip to Main content Skip to Navigation

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-03300802v1  Conference papers
David DeharbePascal FontaineDaniel Le BerreBertrand Mazure. Computing prime implicants
13th International Conference on Formal Methods in Computer-Aided Design (FMCAD'13), 2013, Portland, Oregon, United States. pp.46-52
hal-03298940v1  Conference papers
Maxime AmblardKarën FortBruno GuillaumePhilippe de GrooteChuyuan Li et al.  The Annotators Did Not Agree on Some of the Guidelines Examples
ISA-17, the Seventeenth Workshop on Interoperable Semantic Annotation, Jun 2021, Groningen, Netherlands
hal-03298750v1  Conference papers
Zheng ChengDominique Méry. A Refinement Strategy for Hybrid System Design with Safety Constraints
Model and Data Engineering - 10th International Conference, , Jun 2021, TALLINN, France. pp.3-17, ⟨10.1007/978-3-030-78428-7_1⟩
hal-03297832v1  Conference papers
Sanne BeversSander KooijmansE. van de VeldeM EversS. Seghers et al.  Tuning LNPs to target antigen presenting cells in spleen induces CD8 T-cell responses and tumor regression in mice
18th CIMT Annual Meeting, CIMT Association for Cancer Immunotherapy, May 2021, Mainz, Germany
hal-03296186v1  Conference papers
Olivier DevillersCharles Duménil. Stochastic Analysis of Empty-Region Graphs
CCCG 2021 - 33rd Canadian Conference on Computational Geometry, Aug 2021, Halifax / Virtual, Canada
hal-03081725v1  Journal articles
Julien FrancqLoic BessonPaul HuynhPhilippe GuillotGilles Millérioux et al.  Non-triangular self-synchronizing stream ciphers
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TC.2020.3043714⟩
hal-03292416v1  Conference papers
Hamid BoukerrouGilles MilleriouxMarine Minier. Hybrid architecture of LPV dynamical systems in the context of cybersecurity
LPVS 2021 - 4th IFAC Workshop on Linear Parameter Varying Systems, Jul 2021, Milano / Virtual, Italy
hal-03287031v1  Journal articles
Gilles Simon. Jan Van Eyck's Perspectival System Elucidated Through Computer Vision
Proceedings of the ACM on Computer Graphics and Interactive Techniques, ACM, In press, 4 (2), ⟨10.1145/3465623⟩
tel-03286314v1  Habilitation à diriger des recherches
Sorin Stratulat. Noetherian Induction for Computer-Assisted First-Order Reasoning
Symbolic Computation [cs.SC]. Université de Lorraine, 2021
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