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-01992078v1  Journal articles
Alhussein FawziOmar FawziPascal Frossard. Analysis of classifiers’ robustness to adversarial perturbations
Machine Learning, Springer Verlag, 2018, 107 (3), pp.481-508
...
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-01949207v1  Journal articles
Niki VazouÉric TanterDavid van Horn. Gradual liquid type inference
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (OOPSLA), pp.1-25. ⟨10.1145/3276502⟩
...
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-01949209v1  Journal articles
Max NewAmal Ahmed. Graduality from embedding-projection pairs
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1-30. ⟨10.1145/3236768⟩
hal-01890511v1  Journal articles
Jan-Oliver KaiserBeta ZilianiRobbert KrebbersYann Régis-GianasDerek Dreyer. Mtac2: typed tactics for backward reasoning in Coq
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 31. ⟨10.1145/3236773⟩
...
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-01887814v1  Conference papers
Ludovic GavérinaJean-Pierre MoncheauLaurent IbosJean Dumoulin. Smart and Light data logger for thermal and environmental monitoring
EGU 2018 - European Geosciences Union General Assembly 2018, Apr 2018, Vienne, Austria
hal-01890853v1  Conference papers
Jean Dumoulin. Review on past to present achievements in Non Destructive Testing by active infrared thermography and current prospects
International School of Quantum Electronics, Progress in Photoacoustic & Photothermal Phenomena: Focus on BIOMEDICAL, NANOSCALE, NDE and Thermophysical phenomena and technologies, Sep 2018, Erice, Italy
...
hal-01978795v1  Conference papers
Arthur LebéeLaurent MonasseH. Nassar. Fitting surfaces with the Miura tessellation
7th International Meeting on Origami in Science, Mathematics and Education (7OSME), Sep 2018, Oxford, United Kingdom. pp.811
...
hal-01909588v1  Conference papers
Qinghua ZhangNassif BerrabahMaud FranchetDenis Vautrin. De-embedding Unmatched Connectors for Electric Cable Fault Diagnosis
SAFEPROCESS 2018 - 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Aug 2018, Warsaw, Poland. pp.1439-1444, ⟨10.1016/j.ifacol.2018.09.535⟩
...
hal-01909572v1  Conference papers
Qinghua ZhangLiangquan Zhang. State Estimation for Stochastic Time Varying Systems with Disturbance Rejection
SYSID 2018 - 18th IFAC Symposium on System Identification, Jul 2018, Stockholm, Sweden. pp.55-59, ⟨10.1016/j.ifacol.2018.09.090⟩
hal-01887787v1  Conference papers
Thibaud ToullierJean DumoulinLaurent Mevel. Design and study of a post-processing tool for long-term thermal infrared image sequences and multi-sensor data exploitation
EGU 2018 - European Geosciences Union General Assembly 2018, Apr 2018, Vienne, Austria. pp.1
...
hal-01877136v1  Conference papers
Romain PostoyanQinghua Zhang. Local adaptive observer for linear time-varying systems with parameter-dependent state matrices
57th IEEE Conference on Decision and Control, CDC 2018, Dec 2018, Miami, United States. pp.4649-4554, ⟨10.1109/CDC.2018.8619470⟩
lirmm-01889394v1  Journal articles
Mathias WellerAnnie ChateauRodolphe GiroudeauJean-Claude KönigValentin Pollet. On Residual Approximation in Solution Extension Problems
Journal of Combinatorial Optimization, Springer Verlag, 2018, 36 (4), pp.1195-1220. ⟨10.1007/s10878-017-0202-5⟩
hal-01993403v1  Journal articles
Maria ChudnovskyRingi KimChun-Hung LiuPaul SeymourStéphan Thomassé. Domination in tournaments
Journal of Combinatorial Theory, Series B, Elsevier, 2018, 130, pp.98-113
hal-02107537v1  Journal articles
J. KushataS. PériquetT. TarakiniM. MuzambaB. Mafuwa et al.  Drivers of diurnal rest site selection by spotted hyaenas
Journal of zoology, Oxford University Press, 2018, 304 (2), pp.132-140. ⟨10.1111/jzo.12504⟩