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-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-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-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-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-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-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-02393625v1  Master thesis
Leo Valque. 3D Snap Rounding
Computational Geometry [cs.CG]. 2019
...
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-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-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-01985178v1  Conference papers
Radu RantaSteven Le CamGundars Bergmanis-KoratsSébastien RimbertLaurent Bougrain. On source space resolution in EEG brain imaging for motor imagery
NER 2019 - 9th International IEEE EMBS Conference on Neural Engineering, Mar 2019, San Francisco, United States