Skip to Main content Skip to Navigation


...
tel-01950884v2  Theses
Nadim Kobeissi. Formal Verification for Real-World Cryptographic Protocols and Implementations
Computer Science [cs]. INRIA Paris; Ecole Normale Supérieure de Paris - ENS Paris, 2018. English
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-01982895v1  Journal articles
Hassan FahsG. OvarlezXavier Chateau. Pair-particle trajectories in a shear flow of a Bingham fluid
Journal of Non-Newtonian Fluid Mechanics, Elsevier, 2018, 261, pp.171-187. ⟨10.1016/j.jnnfm.2018.07.010⟩
...
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-01887783v1  Conference papers
Guillaume GautierLaurent MevelJean DumoulinMichael Döhler. An experimental setup for subspace based damage identification methods”
EGU 2018 - European Geosciences Union General Assembly, Apr 2018, Vienne, Austria
...
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⟩