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-00428328v1  Journal articles
C. CalengeStéphane DrayM. Royer-Carenzi. The concept of animals trajectories from a data analysis perspective
Ecological Informatics, Elsevier, 2009, 4, pp.34-41
inria-00087024v3  Journal articles
Laurent BaratchartJean-Baptiste Pomet. On local linearization of control systems
Journal of Dynamical and Control Systems, Springer Verlag, 2009, 15 (4), pp.471-536. ⟨10.1007/s10883-009-9077-9⟩
hal-00428336v1  Journal articles
C.-M. CourisS. PolazziaF. OliveL. RemontetNadine Bossard et al.  Breast cancer incidence using administrative data: correction with sensitivity and specificity
Journal of Clinical Epidemiology, Elsevier, 2009, 62(6), pp.660-666
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-00782990v1  Journal articles
Jing-Rebecca LiDonna CalhounLucien Brush. Efficient thermal field computation in phase-field models
Journal of Computational Physics, Elsevier, 2009, 228 (24), pp.8945--8957. ⟨10.1016/⟩
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⟩