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-01645392v1  Journal articles
Yayaoui CheherazedJean-Louis LanetMohamed MezghicheKarim Tamine. Machine Learning Techniques to Predict Sensitive Patterns to Fault Attack in the Java Card Application
Journal of Experimental and Theoretical Artificial Intelligence, Taylor & Francis, 2018, 30 (1), pp.101-127. ⟨10.1080/0952813x.2017.1409276⟩
hal-01864323v1  Journal articles
Valeria LoscrìBige UnluturkAnna Maria Vegni. A Molecular Optical Channel Model based on Phonon-Assisted Energy Transfer Phenomenon
IEEE Transactions on Communications, Institute of Electrical and Electronics Engineers, 2018, 66 (12), pp.6247 - 6259. ⟨10.1109/TCOMM.2018.2865895⟩
hal-01417105v1  Journal articles
Antoine Benoit. Semi-group stability of finite difference schemes in corner domains
Numerical mathematics : a journal of Chinese universities, Nanjing University Press, 2018, 11 (3), pp.618-654. ⟨10.4208/nmtma.2017-OA-0072⟩
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-02550699v1  Conference papers
Safia BoudraItheri YahiaouiAli Behloul. Plant identification from bark: A texture description based on Statistical Macro Binary Pattern
International Conference on Pattern Recognition (ICPR), 2018, Beijing, France. pp.1530-1535, ⟨10.1109/ICPR.2018.8545798⟩
hal-02550691v1  Conference papers
Safia BoudraItheri YahiaouiAli Behloul. Bark Identification Using Improved Statistical Radial Binary Patterns
International Conference on Content-Based Multimedia Indexing (CBMI), 2018, La Rochelle, France. pp.1-6, ⟨10.1109/CBMI.2018.8516536⟩
hal-01390478v1  Journal articles
Tobias MarschallManja MarzThomas AbeelLouis DijkstraBas E. Dutilh et al.  Computational pan-genomics: status, promises and challenges
Briefings in Bioinformatics, Oxford University Press (OUP), 2018, 19 (1), pp.118-135. ⟨10.1093/bib/bbw089⟩
hal-01947467v1  Journal articles
Anelise NewmanZoya BylinskiiSteve HarozSpandan MadanFrédo Durand et al.  Effects of title wording on memory of trends in line graphs
Journal of Vision, Association for Research in Vision and Ophthalmology, 2018, 18 (10), pp.837. ⟨10.1167/18.10.837⟩
hal-01927559v1  Journal articles
Nicolas RayDmitry SokolovSylvain LefebvreBruno Lévy. Meshless Voronoi on the GPU
ACM Transactions on Graphics, Association for Computing Machinery, In press, 37, ⟨10.1145/3272127.3275092⟩
hal-02618249v1  Journal articles
Erwan QuéméréSophie RossiYvette GameElodie PetitMaxime Galan et al.  Bouquetins du Bargy et infection brucellique : que nous révèle la génétique ?
Epidémiologie et Santé Animale, Association pour l'Etude de l'Epidémiologie des Maladies Animales (AEEMA), 2018, 74, pp.17-24
hal-01945905v1  Journal articles
Sébastien MotschMehdi MoussaidElsa GuillotMathieu MoreauJulien Pettré et al.  Modeling crowd dynamics through coarse-grained data analysis
Mathematical Biosciences and Engineering, AIMS Press, 2018, 15 (6), pp.1271-1290. ⟨10.3934/mbe.2018059⟩
hal-01867771v1  Journal articles
Wouter KuijperVictor ErmolaevOlivier Devillers. Celestial Walk: A Terminating, Memoryless Walk for Convex Subdivisions
Journal of Computer Graphics Techniques, Williams College, 2018, 7 (3), pp.29-49
hal-01926294v1  Reports
Mehdi DastaniJürgen DixHarko VerhagenSerena Villata. Normative Multi-Agent Systems (Dagstuhl Seminar 18171)
[Research Report] Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. 2018
hal-01876489v1  Conference papers
Serena VillataSahbi BenlamineElena CabrioClaude FrassonFabien Gandon. Assessing Persuasion in Argumentation through Emotions and Mental States
Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018, 2018, Melbourne, United States
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-02786879v1  Book sections
Alexis JolyPierre BonnetStefanos VrochidisKostas KaratzasAri Karppinen. Multimedia Tools and Applications for Environmental & Biodiversity Informatics - Preface
Joly A.; Vrochidis S.; Karatzas K.; Karppinen A.; Bonnet P. Multimedia Tools and Applications for Environmental & Biodiversity Informatics, Springer, pp.1-7, 2018, Multimedia Systems and Applications (MMSA), 978-3-319-76445-0; 978-3-319-76444-3. ⟨10.1007/978-3-319-76445-0_1⟩
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-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-01247118v3  Journal articles
Karim BouyarmaneAbderrahmane Kheddar. On Weight-Prioritized Multi-Task Control of Humanoid Robots
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2018, 63 (6), pp.1632-1647. ⟨10.1109/TAC.2017.2752085⟩
lirmm-02154697v1  Book sections
Karim BouyarmaneStéphane CaronAdrien EscandeAbderrahmane Kheddar. Multi-contact Motion Planning and Control
Ambarish Goswami; Prahlad Vadakkepat. Humanoid Robotics: A Reference, Springer Nature, pp.1763-1804, 2018, 978-94-007-6047-9. ⟨10.1007/978-94-007-6046-2_32⟩
hal-01953446v1  Journal articles
Michael BurrShuhong GaoElias Tsigaridas. The Complexity of Subdivision for Diameter-Distance Tests
Journal of Symbolic Computation, Elsevier, In press
hal-01705612v2  Journal articles
Fredrik JohanssonMarc Mezzarobba. Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2018, 40 (6), pp.C726-C747. ⟨10.1137/18M1170133⟩
hal-01826870v4  Journal articles
Miguel CouceiroLucien HaddadKarsten Schölzel. On the lower part of the lattice of partial clones
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, In press
hal-01625421v2  Journal articles
Erik BurmanAlexandre Ern. An unfitted Hybrid High-Order method for elliptic interface problems
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2018, 56 (3), pp.1525-1546
hal-01599304v4  Journal articles
Amina BenaceurVirginie EhrlacherAlexandre ErnSébastien Meunier. A progressive reduced basis/empirical interpolation method for nonlinear parabolic problems
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2018, 40 (5), pp.A2930-A2955