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/j.na.2018.09.011⟩
...
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⟩