Skip to Main content Skip to Navigation


...
inria-00407778v1  Reports
Georges GonthierRoux Stéphane Le. An Ssreflect Tutorial
[Technical Report] RT-0367, INRIA. 2009, pp.33
...
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
...
inria-00576472v1  Reports
C. Mouton. Configuration File Parser Library
[Technical Report] 2009, pp.12
...
inria-00576469v1  Reports
C. Mouton. Linear Algebra Libraries
[Technical Report] 2009, pp.35
...
tel-00633697v1  Theses
Ender Konukoglu. Modeling Glioma Growth and Personalizing Growth Models in Medical Images
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2009. English. ⟨NNT : 2009NICE4000⟩
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-00519766v1  Book sections
Frédéric Legoll. Multiscale methods coupling atomistic and continuum mechanics: some examples of mathematical analysis
Analytical and Numerical Aspects of Partial Differential Equations, de Gruyter, pp.193-245, 2009, Proceedings in Mathematics
...
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-00713039v1  Conference papers
Nicolas ViandierAsma RabaouiJuliette MaraisEmmanuel Duflos. Enhancement of Galileo and multi-constellation accuracy by modeling pseudorange noises
Intelligent Transport Systems Telecommunications, (ITST), Oct 2009, Lille, France. pp.459-464, ⟨10.1109/ITST.2009.5399311⟩
hal-00784554v1  Conference papers
Maurice GoursatLaurent Mevel. Algorithms for Covariance Subspace Identification: A Choice of Effective Implementations
27th International Modal Analysis Conference (IMAC-XXVII), SEM, Feb 2009, Orlando, United States
hal-00785599v1  Conference papers
Dominique SiegertLaurent MevelEdwin ReyndersGuido de RoeckMaurice Goursat. Variation of modal parameter estimates of a prestressed concrete bridge
27th International Modal Analysis Conference (IMAC-XXVII), SEM, Feb 2009, Orlando, United States
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-00954024v1  Conference papers
Philippe MulhemDelphine Verbyst. Utilisation des liens entre documents structurés pour la recherche d'information
Actes de la conférence CORIA, 2009, Giens, France. pp.319-331
...
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⟩