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
hal-01676355v1  Book sections
David GonzálezJoshué PérezVicente MilanésFawzi NashashibiMarga Saez Tort et al.  Arbitration and Sharing Control Strategies in the Driving Process
Guillermo Payá-Vayá; Holger Blume. Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems The DESERVE Approach, River Publishers , pp.24, 2017, 9788793519145
tel-01647934v1  Habilitation à diriger des recherches
Francis Colas. Modélisation bayésienne et robotique
Robotique [cs.RO]. Université de Lorraine, 2017
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
hal-01556289v1  Book sections
Martin SerranoAmelie GyrardMichael BonifacePaul GraceNikolaos Georgantas et al.  Cross-Domain Interoperability Using Federated Interoperable Semantic IoT/Cloud Testbeds and Applications: The FIESTA-IoT Approach
Building the Future Internet through FIRE 2016 FIRE Book: A Research and Experiment based Approach, River Publishers, 2017, 978-87-93519-11-4
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-01943801v1  Journal articles
Mélissa VerinSalomé BourgFrédéric MenuEtienne Rajon. The Biased Evolution of Generation Time
American Naturalist, University of Chicago Press, 2017, 190, pp.E28-E39. ⟨10.1086/692324⟩
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-01672706v1  Journal articles
Jonathan ProtzenkoJean‐karim ZinzindohouéAseem RastogiTahina RamananandroPeng Wang et al.  Verified Low‐Level Programming Embedded in F*
Proceedings of the ACM on Programming Languages, ACM, 2017, 1 (ICFP), pp.17:1--17:29. ⟨10.1145/3110261⟩
hal-02885666v1  Journal articles
Caroline RoneyChris CantwellJason BayerNorman QureshiPhang Boon Lim et al.  Spatial Resolution Requirements for Accurate Identification of Drivers of Atrial Fibrillation
Circulation. Arrhythmia and electrophysiology, Lippincott Williams & Wilkins, 2017, 10 (5), pp.e004899. ⟨10.1161/CIRCEP.116.004899⟩
hal-01497878v1  Journal articles
Jacques SaraydaryanFabrice JumelOlivier Simonin. Patrouille Multi-Agent Dynamique, application Robotique pour le Service de Personnes Mobiles
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2017, 31 (4), pp.379-400. ⟨10.3166/ria.31.379-400⟩
hal-01586511v1  Journal articles
Olivier DevillersMenelaos KaravelasMonique Teillaud. Qualitative Symbolic Perturbation: Two Applications of a New Geometry-based Perturbation Framework
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2017, 8 (1), pp.282--315. ⟨10.20382/jocg.v8i1a11⟩
hal-01098554v1  Journal articles
Abdelkoddousse AhdidaAurélien AlfonsiErnesto Palidda. Smile with the Gaussian term structure model
The Journal of Computational Finance, Incisive Media, 2017, 21 (1), ⟨10.21314/JCF.2016.328⟩
hal-01555429v1  Journal articles
Pedro Henrique GomesThomas WatteyneBhaskar Krishnamachari. MABO-TSCH: Multi-hop And Blacklist-based Optimized Time Synchronized Channel Hopping
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017
hal-01548381v1  Journal articles
Karun M. JosephThomas WatteyneBranko Kerkez. Awa: Using Water Distribution Systems to Transmit Data
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017
hal-01533174v1  Journal articles
Tengfei ChangThomas WatteyneXavier VilajosanaQin Wang. CCR: Cost-Aware Cell Relocation in 6TiSCH Networks
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017
hal-01565519v1  Journal articles
Vitaly VolpertS PetrovskiiA Zincenko. Interaction of human migration and wealth distribution
Nonlinear Analysis: Hybrid Systems, Elsevier, 2017, 159, pp.408 - 423. ⟨10.1016/⟩
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-01376212v1  Book sections
Francesco SoldovieriJean Dumoulin. Integrated monitoring at a modern architectural masterpiece: the case of Viaduct Basento in Potenza
Sensing the past , Springer, pp.499-514, 2017, Geoscience and Sensing Technologies for cultural heritage
hal-01635131v1  Conference papers
Qinghua Zhang. Inverse Scattering for Electrical Cable Soft Fault Diagnosis
IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.1-2
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-01563862v1  Conference papers
Nicolas Le TouzJean DumoulinJean-Michel Piau. Étude numérique de la résolution du couplage convection/radiation/diffusion dans une structure de chaussée hybride
25eme congrès français de thermique, Société Française de Thermique (SFT), May 2017, Marseille, France
hal-01563859v1  Journal articles
Nicolas Le TouzJean DumoulinGianluca GennarelliFrancesco Soldovieri. A joint thermal and electromagnetic diagnostics approach for the inspection of thick walls
Geoscientific Instrumentation, Methods and Data Systems Discussions, European Geosciences Union 2017, 6 (1), pp.81 - 92. ⟨10.5194/gi-6-81-2017⟩
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-01509555v1  Conference papers
Jean DumoulinAntoine Crinière. Infrared Thermography applied to transport infrastructures monitoring: outcomes and perspectives
SPIE - Thermosense: Thermal Infrared Applications XXXIX, Apr 2017, Anaheim California, United States
hal-01635124v1  Conference papers
Masoud PourasgharVicenç PuigCarlos Ocampo-MartinezQinghua Zhang. Reduced-order Interval-observer Design for Dynamic Systems with Time-invariant Uncertainty
IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.1-6