Skip to Main content Skip to Navigation

hal-01724375v1  Journal articles
Imen Ben OthmaneJoseph Di MartinoKais Ouni. Enhancement of esophageal speech using statistical and neuromimetic voice conversion techniques
Journal of International Science and General Applications, ISGA, 2018, 1 (1), pp.10
hal-01817505v1  Journal articles
Adam GaierAlexander AsterothJean-Baptiste Mouret. Data-Efficient Design Exploration through Surrogate-Assisted Illumination
Evolutionary Computation, Massachusetts Institute of Technology Press (MIT Press), 2018, 26 (3), pp.381-410. ⟨10.1162/evcoa_00231⟩
hal-01672734v1  Journal articles
Danel Ahman. Handling Fibred Algebraic Effects
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-29. ⟨10.1145/3158095⟩
hal-01672735v1  Journal articles
William J. BowmanYouyou CongNick RiouxAmal Ahmed. Type‐Preserving CPS Translation of Σ and Π Types is Not Not Possible
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-33. ⟨10.1145/3158110⟩
hal-02010703v1  Journal articles
Pengliang YangRomain BrossierLudovic MétivierJean VirieuxWei Zhou. A Time-Domain Preconditioned Truncated Newton Approach to Visco-acoustic Multiparameter Full Waveform Inversion
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2018, 40 (4), pp.B1101-B1130. ⟨10.1137/17M1126126?mobileUi=0⟩
hal-02491166v1  Conference papers
Aurélien AntoineEduardo MirandaJean-Michaël CelerierMyriam Desainte-Catherine. Generating Orchestral Sequences with Timbral Descriptors
Proceedings of Timbre 2018 : Timbre Is A Many Splendored Thing, 2018, Montréal, Canada
hal-02491170v1  Conference papers
Eduardo MirandaAurélien AntoineJean-Michaël CelerierMyriam Desainte-Catherine. i-Berlioz : Interactive Computer-Aided Orchestration with Temporal Control
Proceedings of 5th International Conference on New Music Concepts (ICNMC), 2018, Treviso, Italy
hal-01743104v1  Journal articles
Tatiana RocherMathieu GiraudMikaël Salson. Indexing labeled sequences
PeerJ Computer Science, PeerJ, 2018, 4, pp.1-14. ⟨10.7717/peerj-cs.148⟩
hal-01913822v1  Conference papers
Cláudio GomesCasper ThuleJulien DeantoniPeter Gorm LarsenHans Vangheluwe. Co-simulation: The Past, Future, and Open Challenges
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018, Limassol, Cyprus. pp.504--520
hal-02096267v1  Journal articles
Guidedi KaladzaviPapa Fary DialloCedric BéréOlivier CorbyIsabelle Mirbel et al.  Ontologies-based Architecture for Sociocultural Knowledge Co-Construction Systems
Online Journal of Applied Knowledge Management, International Institute for Applied Knowledge Management, 2018, 6:1
hal-01948604v1  Directions of work or proceedings
Catherine Faron ZuckerChiara GhidiniAmedeo NapoliYannick Toussaint. Knowledge Engineering and Knowledge Management
EKAW 2018 - 21st International Conference on Knowledge Engineering and Knowledge Management, Nov 2018, Nancy, France. 11313, Springer, 2018, Lecture Notes in Computer Science, 978-3-030-03666-9. ⟨10.1007/978-3-030-03667-6⟩
hal-02986176v1  Conference papers
Michel MartiThomas Studer. The Internalized Disjunction Property for Intuitionistic Justification Logic
12th International Conference on Advances in Modal Logic, AiML 2018, 2018, Bern, Switzerland. pp.511-530
hal-01873788v1  Journal articles
Fadi Al-GhawanmehKamel Smaïli. Statistical Machine Translation from Arab Vocal Improvisation to Instrumental Melodic Accompaniment
Journal of International Science and General Applications, ISGA, 2018, 1 (1), pp.11-17
hal-01515347v1  Book sections
Julie DucasseAnke BrockChristophe Jouffrais. Accessible Interactive Maps for Visually Impaired Users
Edwige Pissaloux; Ramiro Velazquez. Mobility in Visually Impaired People - Fundamentals and ICT Assistive Technologies, Springer, 2018, ⟨10.1007/978-3-319-54446-5_17⟩
hal-01741650v1  Conference papers
Hao FangFlorent LafargeMathieu Desbrun. Planar Shape Detection at Structural Scales
IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2018, Salt Lake City, United States
hal-01934176v1  Journal articles
Leo DucasEike KiltzTancrede LepointVadim LyubashevskyPeter Schwabe et al.  CRYSTALS-Dilithium: A Lattice-Based Digital Signature Scheme
IACR Transactions on Cryptographic Hardware and Embedded Systems, IACR, 2018
hal-01946806v1  Journal articles
Argiris DelisHervé GuillardYih-Chin Tai. Numerical simulations of hydraulic jumps with the Shear Shallow Water model
SMAI Journal of Computational Mathematics, Société de Mathématiques Appliquées et Industrielles (SMAI), 2018, 4, pp.319-344
hal-01963091v1  Directions of work or proceedings
Vlad Rusu. Rewriting Logic and Its Applications
WRLA 2018 - 12th International Workshop on Rewriting Logic and Its Applications, Jun 2018, Thessaloniki, Greece. 11152, Springer International Publishing, pp.XII, 261, 2018, Theoretical Computer Science and General Issues, 978-3-319-99839-8
hal-01576314v1  Journal articles
Enzo FerranteNikos Paragios. Graph-Based Slice-to-Volume Deformable Registration
International Journal of Computer Vision, Springer Verlag, 2018, 126 (1), pp.36-58. ⟨10.1007/s11263-017-1040-8⟩