Skip to Main content Skip to Navigation

tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
tel-02438652v1  Theses
Arthur Loussert. Understanding and Guiding the Computing Resource Management in a Runtime Stacking Context
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Bordeaux, 2019. English
tel-01995823v1  Habilitation à diriger des recherches
Cătălin Hriţcu. The Quest for Formally Secure Compartmentalizing Compilation
Programming Languages [cs.PL]. ENS Paris; PSL Research University, 2019
tel-02276259v1  Theses
Imen Ben Othmane. Conversion de la voix : Approches et applications
Traitement du signal et de l'image [eess.SP]. Université de Carthage (Tunisie), 2019. Français
hal-02392487v1  Journal articles
Francisco NavasVicente Milanés. Mixing V2V- and non-V2V-equipped vehicles in car following
Transportation research. Part C, Emerging technologies, Elsevier, 2019, 108, pp.167-181. ⟨10.1016/j.trc.2019.08.021⟩
hal-01671777v3  Journal articles
Matthieu SozeauCyprien Mangin. Equations reloaded
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341690⟩
hal-01960553v1  Journal articles
Matías ToroElizabeth LabradaÉric Tanter. Gradual Parametricity, Revisited
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), ⟨10.1145/3290330⟩
hal-02294079v1  Conference papers
Jean Dumoulin. Uncooled infrared thermal camera for thermal monitoring or Non-Destructive Testing of Civil Engineering structures
ANCRiSST 2019 - 14th International Workshop on Advanced Smart Materials and Smart Structures Technology, Jul 2019, Rome, Italy
hal-02373906v1  Journal articles
Qinghua ZhangLiangquan Zhang. Stability Analysis of the Kalman Predictor
International Journal of Control, Taylor & Francis, 2019, pp.1-16. ⟨10.1080/00207179.2019.1638971⟩
hal-02274963v1  Conference papers
Sébastien BrisardVirginie Ehrlacher. Méthodes MsFEM pour les plaques hétérogènes
CFM 2019 - 24ème Congrès Français de Mécanique, Aug 2019, Brest, France
hal-02174938v2  Journal articles
Florentin DelaineBérengère LebentalHervé Rivano. In Situ Calibration Algorithms for Environmental Sensor Networks: a Review
IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2019, 19 (15), pp 5968 - 5978. ⟨10.1109/JSEN.2019.2910317⟩
hal-02414207v1  Conference papers
Qinghua ZhangFouad GiriTarek Ahmed-Ali. Regularized Adaptive Observer to Address Deficient Excitation
13th IFAC Workshop on Adaptive and Learning Control Systems (ALCOS 2019), Dec 2019, Winchester, United Kingdom
hal-02294671v1  Conference papers
Ludovic GavérinaToan HaJulien WaeytensVincent FeuilletJean-Luc Manceau et al.  Study and designed of an active infrared system for in-situ characterization of thermal resistance of building envelopes
QIRT ASIA 2019 - 3rd Asian Conference on Quantitative InfraRed Thermography, Jul 2019, Tokyo, Japan
hal-02294081v1  Conference papers
Nicolas Le TouzJean Dumoulin. Study of an optimal command law combining weather forecast and energy reduction for transport structure surface de-icing by Joule effect
ANCRiSST 2019 - 14th International Workshop on Advanced Smart Materials and Smart Structures Technology, Jul 2019, Rome, Italy
hal-02264743v1  Conference papers
Thibaud ToullierJean DumoulinLaurent Mevel. Study of complementary multi-sensors data influence on infrared thermography measurements for in-situ long-term monitoring
2019 - Multimodal Sensing and Artificial Intelligence: Technologies and Applications, Jun 2019, Munich, Germany. pp.1-10, ⟨10.1117/12.2526229⟩
hal-01624049v1  Journal articles
Claude Le BrisFrédéric LegollFrançois Madiot. Multiscale Finite Element methods for advection-dominated problems in perforated domains
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2019, 17 (2), pp.773-825. ⟨10.1137/17M1152048⟩
hal-02447152v1  Patents
Qinghua ZhangNassif Berrabah. Method and System for Locating Defects on an Electric Cable
United States, Patent n° : US2019162772 (A1). 2019
hal-02363403v1  Journal articles
Nicolas RattoMartine MarionVitaly Volpert. Existence of Waves for a Bistable Reaction–Diffusion System with Delay
Journal of Dynamics and Differential Equations, Springer Verlag, 2019, 16 (5), pp.4196-4212. ⟨10.1007/s10884-019-09751-4⟩
hal-02397396v1  Journal articles
Jung Hee CheonKyoohyung HanChangmin LeeHansol RyuDamien Stehlé. Cryptanalysis of the CLT13 Multilinear Map
Journal of Cryptology, Springer Verlag, 2019, 32 (2), pp.547-565. ⟨10.1007/s00145-018-9307-y⟩
hal-02296014v1  Journal articles
Alexander BentkampJasmin BlanchetteDietrich Klakow. A Formal Proof of the Expressiveness of Deep Learning
Journal of Automated Reasoning, Springer Verlag, 2019, 63 (2), pp.347-368. ⟨10.1007/s10817-018-9481-5⟩
hal-02378053v1  Journal articles
David GommeletJulien Le TanouAline RoumyMichael RopertChristine Guillemot. Optical-Flow Based Nonlinear Weighted Prediction for SDR and Backward Compatible HDR Video Coding
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, In press, pp.1-16. ⟨10.1109/TIP.2019.2945685⟩
hal-02155040v1  Journal articles
Jinglei ShiXiaoran JiangChristine Guillemot. A framework for learning depth from a flexible subset of dense and sparse light field views
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2019, pp.5867-5880. ⟨10.1109/TIP.2019.2923323⟩
hal-02130555v1  Journal articles
Mikaël Le PenduChristine GuillemotAljosa Smolic. A Fourier Disparity Layer representation for Light Fields
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, In press, pp.5740 - 5753. ⟨10.1109/TIP.2019.2922099⟩
hal-02395177v1  Journal articles
Jasmin BlanchetteStephan Merz. Selected Extended Papers of ITP 2016: Preface
Journal of Automated Reasoning, Springer Verlag, 2019, 62 (2), pp.169-170. ⟨10.1007/s10817-018-9470-8⟩
hal-01813903v1  Journal articles
Jarosław BłasiokMarcin KamińskiJean-Florent RaymondThéophile Trunck. Induced minors and well-quasi-ordering
Journal of Combinatorial Theory, Series B, Elsevier, 2019, 134, pp.110-142. ⟨10.1016/j.jctb.2018.05.005⟩
hal-01573773v1  Journal articles
Martine MarionVitaly Volpert. Existence of Pulses for the System of Competition of Species
Journal of Dynamics and Differential Equations, Springer Verlag, 2019, 31, pp.1653-1670. ⟨10.1007/s10884-017-9582-6⟩
hal-02371659v1  Journal articles
Anthony StrockXavier HinautNicolas P. Rougier. A Robust Model of Gated Working Memory
Neural Computation, Massachusetts Institute of Technology Press (MIT Press), 2019, pp.1-29. ⟨10.1162/neco_a_01249⟩
hal-01941461v1  Journal articles
Moitri SenVitaly VolpertVitali Vougalter. Existence of waves for a reaction–diffusion–dispersion system
Nonlinear Analysis: Theory, Methods and Applications, Elsevier, 2019, 180, pp.52-66. ⟨10.1016/⟩
hal-02012672v1  Journal articles
George GiakkoupisPhilipp Woelfel. Efficient Randomized Test-And-Set Implementations
Distributed Computing, Springer Verlag, In press, pp.565-586. ⟨10.1007/s00446-019-00349-z⟩
hal-02323928v1  Book sections
Damien M. de Vienne. L'arbre du vivant
Denis Faure, Dominique Joly, Sylvie Salamitou. 101 secrets de l'adn, CNRS Éditions, pp.358, 2019, SOCIETE, 978-2-271-12323-7
hal-02393625v1  Master thesis
Leo Valque. 3D Snap Rounding
Computational Geometry [cs.CG]. 2019
hal-02753707v1  Conference papers
Meriem Mejhed MkhininiOuassila LabbaniChristophe Nicolle. Enterprise Knowledge Modeling, UML vs Ontology: Formal Evaluation
2019 IEEE 15th International Conference on Intelligent Computer Communication and Processing (ICCP), IEEE, Sep 2019, Cluj-Napoca, Romania. pp.127-134, ⟨10.1109/ICCP48234.2019.8959686⟩
hal-02138892v1  Journal articles
Pablo OliveraSilvio DaneseNicolas JayGioacchino NatoliLaurent Peyrin-Biroulet. Big data in IBD: a look into the future
Nature reviews. Gastroenterology & hepatology, Nature Publishing Group, 2009-, 2019, 16 (5), pp.312-321. ⟨10.1038/s41575-019-0102-5⟩
hal-02194763v1  Conference papers
Ganesh JawaharDjamé Seddah. Contextualized Diachronic Word Representations
1st International Workshop on Computational Approaches to Historical Language Change 2019 (colocated with ACL 2019), Aug 2019, Florence, Italy
hal-02126782v2  Conference papers
Cassio DantasJérémy CohenRémi Gribonval. Learning Tensor-structured Dictionaries with Application to Hyperspectral Image Denoising
EUSIPCO 2019 - 27th European Signal Processing Conference, Sep 2019, A Coruña, Spain. pp.1-5, ⟨10.23919/EUSIPCO.2019.8902593⟩
hal-02175630v1  Conference papers
Cassio DantasJérémy CohenRémi Gribonval. Hyperspectral Image Denoising using Dictionary Learning
WHISPERS 2019 - 10th Workshop on Hyperspectral Image and Signal Processing: Evolution in Remote Sensing, Sep 2019, Amsterdam, Netherlands. pp.1-5, ⟨10.1109/WHISPERS.2019.8921110⟩
hal-02378897v1  Journal articles
Mohammed Riyadh Abdmeziem. Securing IoT-based collaborative applications using a new compressed and distributed MIKEY mode
International Journal of Information and Computer Security, Inderscience, 2019
hal-02436226v1  Conference papers
Hugo MonzónHernan AguirreSébastien VerelArnaud LiefoogheBilel Derbel et al.  Dynamic compartmental models for algorithm analysis and population size estimation
GECCO 2019 - Genetic and Evolutionary Computation Conference, Jul 2019, Prague, Czech Republic. pp.2044-2047, ⟨10.1145/3319619.3326912⟩
hal-02179172v1  Conference papers
Zeinab Abou KhalilEleni ConstantinouTom MensLaurence DuchienClément Quinton. A Longitudinal Analysis of Bug Handling Across Eclipse Releases
ICSME 2019 - 35th IEEE International Conference on Software Maintenance and Evolution, Sep 2019, Cleveland, United States
hal-02282986v1  Conference papers
Bilel DerbelArnaud LiefoogheSébastien VerelHernan AguirreKiyoshi Tanaka. New Features for Continuous Exploratory Landscape Analysis based on the SOO Tree
FOGA 2019 - 15th ACM/SIGEVO Workshop on Foundations of Genetic Algorithms, Aug 2019, Potsdam, Germany. pp.72-86
hal-02064547v1  Conference papers
Taishi ItoHernan AguirreKiyoshi TanakaArnaud LiefoogheBilel Derbel et al.  Estimating Relevance of Variables for Effective Recombination
EMO 2019 - International Conference on Evolutionary Multi-Criterion Optimization, Mar 2019, East Lansing, Michigan, United States. pp.411-423, ⟨10.1007/978-3-030-12598-1_33⟩
hal-02064548v1  Conference papers
Yuri MarcaHernan AguirreSaúl Zapotecas MartinezArnaud LiefoogheBilel Derbel et al.  Approximating Pareto Set Topology by Cubic Interpolation on Bi-objective Problems
EMO 2019 - International Conference on Evolutionary Multi-Criterion Optimization, Mar 2019, East Lansing, Michigan, United States. pp.386-398, ⟨10.1007/978-3-030-12598-1_31⟩
hal-02177158v1  Journal articles
Paul TempleMathieu AcherJean-Marc Jézéquel. Empirical Assessment of Multimorphic Testing
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, In press, pp.1-21. ⟨10.1109/TSE.2019.2926971⟩
hal-02313650v1  Conference papers
Routa MoussailebCharles BerrtiGuillaume DeboisdeffreNora CuppensJean-Louis Lanet. Watch Out! Doxware on The Way…
CRiSIS 2019 - 14th International Conference on Risks and Security of Internet and Systems, Oct 2019, Hammamet, Tunisia
hal-02118385v1  Conference papers
Emmanuelle AnceaumeAdeline GuellierRomaric LudinardBruno Sericola. Sycomore : un registre de transactions distribué et public au débit auto-adaptatif
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4
hal-02313656v1  Conference papers
Routa MoussailebNora CuppensJean-Louis LanetHélène Le Bouder. Ransomware Network Traffic Analysis for Pre-Encryption Alert
FPS 2019 : 12th International Symposium on Foundations & Practice of Security, Nov 2019, Toulouse, France
hal-02313981v1  Journal articles
Carolina SaavedraRodrigo SalasLaurent Bougrain. Wavelet-Based Semblance Methods to Enhance the Single-Trial Detection of Event-Related Potentials for a BCI Spelling System
Computational Intelligence and Neuroscience, Hindawi Publishing Corporation, 2019, 2019 (Article ID 8432953), pp.10. ⟨10.1155/2019/8432953⟩