|
||
---|---|---|
hal-02393742v1
Journal articles
Multiple instance learning for sequence data with across bag dependencies International journal of machine learning and cybernetics, Springer, 2020, 11, pp.629-642. ⟨10.1007/s13042-019-01021-5⟩ ![]() |
||
hal-02975379v2
Conference papers
3D-Aware Ellipse Prediction for Object-Based Camera Pose Estimation 3DV 2020 - International Virtual Conference on 3D Vision, Nov 2020, Fukuoka / Virtual, Japan |
||
hal-03007287v1
Journal articles
Duration modelling and evaluation for Arabic statistical parametric speech synthesis Multimedia Tools and Applications, Springer Verlag, 2020, ⟨10.1007/s11042-020-09901-7⟩ |
||
hal-03018433v1
Conference papers
Computational Adequacy for Substructural Lambda Calculi Applied Category Theory 2020, Jul 2020, Virtual, United States. ⟨10.4204/EPTCS.333.22⟩ ![]() |
||
hal-03018418v1
Conference papers
Semantics for First-Order Affine Inductive Data Types via Slice Categories International Workshop on Coalgebraic Methods in Computer Science, Sep 2020, Virtual, France. ⟨10.1007/978-3-030-57201-3_10⟩ ![]() |
||
hal-02983557v1
Conference papers
Conflict-Free Replicated Relations for Multi-Synchronous Database Management at Edge IEEE International Conference on Smart Data Services, 2020 IEEE World Congress on Services, Oct 2020, Beijing, China |
||
hal-02735272v1
Journal articles
WatchPose: A View-Aware Approach for Camera Pose Data Collection in Industrial Environments Sensors, MDPI, 2020, 20 (11), ⟨10.3390/s20113045⟩ |
||
hal-02992003v1
Journal articles
DHFSlicer: Double Height-Field Slicing for Milling Fixed-Height Materials ACM Transactions on Graphics, Association for Computing Machinery, 2020, 39 (6), ⟨10.1145/3414685.3417810⟩ |
||
hal-03080192v1
Conference papers
Optimally Solving Two-Agent Decentralized POMDPs Under One-Sided Information Sharing ICML 2020 - 37th International Conference on Machine Learning, Jul 2020, Vienne / Virtual, Austria. pp.1-10 |
||
hal-02958831v1
Conference papers
HUMAN: Hierarchical Universal Modular ANnotator EMNLP 2020 System Demonstration, Nov 2020, Punta Cana (Virtual), Dominican Republic ![]() |
||
hal-02546993v2
Conference papers
CHiME-6 Challenge: Tackling multispeaker speech recognition for unsegmented recordings CHiME 2020 - 6th International Workshop on Speech Processing in Everyday Environments, May 2020, Barcelona / Virtual, Spain |
||
hal-02945493v1
Journal articles
ASVspoof 2019: A large-scale public database of synthesized, converted and replayed speech Computer Speech and Language, Elsevier, 2020, 64, pp.101114. ⟨10.1016/j.csl.2020.101114⟩ |
||
hal-03059893v1
Journal articles
Robust adaptive stabilization by delay under state parametric uncertainty and measurement bias IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, ⟨10.1109/TAC.2020.3045125⟩ |
||
hal-03106208v1
Conference papers
A Comprehensive Framework for Saturation Theorem Proving IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩ |
||
hal-03560332v1
Journal articles
Towards scalable bosonic quantum error correction Quantum Science and Technology, IOP Science, 2020, 5 (4), pp.043001. ⟨10.1088/2058-9565/ab98a5⟩ ![]() |
||
hal-03137343v1
Conference papers
Momentum in Reinforcement Learning AISTATS 2020 - 23rd International Conference on Artificial Intelligence and Statistics, Aug 2020, Palermo / Virtual, Italy |
||
hal-03468859v1
Conference papers
Munchausen Reinforcement Learning NeurIPS, Dec 2020, Vancouver (online), Canada ![]() |
||
hal-03137351v1
Conference papers
Leverage the Average: an Analysis of KL Regularization in Reinforcement Learning NeurIPS - 34th Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Online, Canada |
||
hal-02963914v1
Book sections
A Mission Definition, Verification and Validation Architecture Formal Methods. FM 2019 International Workshops, 12232, pp.281-287, 2020, 978-3-030-54993-0. ⟨10.1007/978-3-030-54994-7_20⟩ |
||
hal-02475589v1
Journal articles
Anisotropic soft robots based on 3D printed meso-structured materials: design, modeling by homogenization and simulation IEEE Robotics and Automation Letters, IEEE 2020, 5 (2), pp.2380-2386. ⟨10.1109/LRA.2020.2969926⟩ |
||
hal-02891700v4
Conference papers
Improving Sound Event Detection In Domestic Environments Using Sound Separation DCASE Workshop 2020 - Detection and Classification of Acoustic Scenes and Events, Nov 2020, Tokyo / Virtual, Japan |
||
hal-02891665v2
Conference papers
Training Sound Event Detection On A Heterogeneous Dataset DCASE Workshop, Nov 2020, Tokyo, Japan |
||
hal-02467401v4
Conference papers
Limitations of weak labels for embedding and tagging ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain |
||
hal-02907929v1
Conference papers
Achieving Multi-Accent ASR via Unsupervised Acoustic Model Adaptation INTERSPEECH 2020, Oct 2020, Shanghai, China |
||
hal-03090869v1
Conference papers
DNN-Based Parametric Speech Synthesis Enhanced With Articulatory Information ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States |
||
hal-02469093v1
Journal articles
Constrained Stochastic State Estimation of Deformable 1D Objects: Application to Single-view 3D Reconstruction of Catheters with Radio-opaque Markers Computerized Medical Imaging and Graphics, Elsevier, 2020, 81, ⟨10.1016/j.compmedimag.2020.101702⟩ |
||
tel-03021043v1
Theses
Image-guided Interactive Simulation for Endovascular Surgery Modeling and Simulation. Université de Strasbourg, 2020. English |
||
hal-02524371v3
Journal articles
Freely orientable microstructures for designing deformable 3D prints ACM Transactions on Graphics, Association for Computing Machinery, 2020, 39 (6), pp.1-16. ⟨10.1145/3414685.3417790⟩ |
||
hal-03049088v1
Conference papers
Lifting congruence closure with free variables to λ-free higher-order logic via SAT encoding SMT 2020 - 18th International Workshop on Satisfiability Modulo Theories, Jul 2020, Online COVID-19, France |
||
hal-03623450v2
Reports
The VoicePrivacy 2020 Challenge Evaluation Plan [Other] LIA - Laboratoire Informatique d'Avignon; MULTISPEECH - Speech Modeling for Facilitating Oral-Based Communication Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery; Eurecom [Sophia Antipolis]; University of Edinburgh. 2020 |
||
hal-02562199v3
Conference papers
Introducing the VoicePrivacy initiative INTERSPEECH 2020, Oct 2020, Shanghai, China |
||
hal-02943028v1
Conference papers
Monte Carlo Information-Oriented Planning 24th ECAI 2020 - European Conference on Artificial Intelligence, Aug 2020, Santiago de Compostela, Spain |
||
hal-03122764v1
Conference papers
A Bayesian Neural Network based on Dropout Regulation Workshop on Uncertainty in Machine Learning (WUML) at ECML-PKDD 2020 Conference, Eyke Hüllermeier; Sébastien Destercke, Sep 2020, N.A. (online), France |
||
hal-02965030v1
Journal articles
SPASS-AR: A First-Order Theorem Prover Based on Approximation-Refinement into the Monadic Shallow Linear Fragment Journal of Automated Reasoning, Springer Verlag, 2020, 64 (3), pp.611-640. ⟨10.1007/s10817-020-09546-z⟩ |
||
hal-02510046v1
Conference papers
Triangulations in CGAL - To non-Euclidean spaces and beyond! EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany |
||
hal-03130613v1
Conference papers
Use of stereo-laparoscopic liver surface reconstruction to compensate for pneumoperitoneum deformation through biomechanical modeling. VPH2020 - Virtual Physiological Human, Aug 2020, Paris, France |
||
hal-02986039v1
Master thesis
Advances in the inverse biomechanical simulation framework for autonomous robotic needle steering. Automatic Control Engineering. 2020 |
||
hal-02862808v1
Reports
On biases in displacement estimation for image registration, with a focus on photomechanics - Extended version [Research Report] LORIA (Université de Lorraine, CNRS, INRIA); Institut Pascal (Université Clermont-Auvergne, SIGMA, CNRS). 2020 |
||
hal-02965319v2
Conference papers
SPIKE, an automatic theorem prover -- revisited SYNASC2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2020, Timisoara, Romania. pp.93-96 |
||
|
||
hal-02732968v1
Journal articles
Enhanced clinical phenotyping by mechanistic bioprofiling in heart failure with preserved ejection fraction: insights from the MEDIA-DHF study (The Metabolic Road to Diastolic Heart Failure) Biomarkers, Taylor & Francis, 2020, 25 (2), pp.201-211. ⟨10.1080/1354750X.2020.1727015⟩ |
||
hal-02928742v1
Journal articles
Sex differences in circulating proteins in heart failure with preserved ejection fraction Biology of Sex Differences, BioMed Central, 2020, 11 (1), pp.47. ⟨10.1186/s13293-020-00322-7⟩ |
||
hal-02610447v2
Conference papers
Design Choices for X-vector Based Speaker Anonymization INTERSPEECH 2020, International Speech Communication Association (ISCA), Oct 2020, Shanghai, China |
||
hal-02355115v2
Conference papers
Evaluating Voice Conversion-based Privacy Protection against Informed Attackers ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, IEEE Signal Processing Society, May 2020, Barcelona, Spain. pp.2802-2806 |
||
hal-02313600v2
Conference papers
Experimental comparison of velocity estimators for a control moment gyroscope inverted pendulum AMC 2020 - 16th IEEE International Workshop on Advanced Motion Control, Sep 2020, Kristiansand / Virtual, Norway |
||
hal-03144080v1
Journal articles
Contributions from the 2019 Literature on Bioinformatics and Translational Informatics IMIA Yearbook of Medical Informatics, Schattauer, 2020, 29 (01), pp.188-192. ⟨10.1055/s-0040-1702002⟩ ![]() |
||
tel-02961882v1
Theses
Localization guided speech separation Machine Learning [cs.LG]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0078⟩ |
||
hal-02355613v2
Conference papers
SLOGD: Speaker Location Guided Deflation Approach to Speech Separation ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain |
||
hal-02987029v1
Conference papers
Generic Document Image Dewarping by Probabilistic Discretization of Vanishing Points ICPR 2020 - 25th International Conference on Pattern Recognition, Sep 2020, Milan / Virtual, Italy |
||
hal-02962716v1
Conference papers
Politeness for the Theory of Algebraic Datatypes 10th International Joint Conference on Automated Reasoning, IJCAR, Jul 2020, Paris, France. pp.238--255, ⟨10.1007/978-3-030-51074-9_14⟩ ![]() |
||
|