Search - Archive ouverte HAL Access content directly

Filter your results

5 590 Results

Falsification of hybrid systems using symbolic reachability and trajectory splicing

Bogomolov Sergiy , Frehse Goran , Gurung Amit , Li Dongxu , Martius Georg et al.
HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2019, Montreal, Canada
Conference papers hal-02446204v1

Autonomous Evasive Steering with Differential Braking Backup

Moad Kissai , Anh-Lam Do , Xavier Mouton , Bruno Monsuez
2020 20th International Conference on Control, Automation and Systems (ICCAS), Oct 2020, Busan, South Korea. pp.1172-1176, ⟨10.23919/ICCAS50221.2020.9268324⟩
Conference papers hal-03112206v1
Image document

Planification adaptative des ressources ferroviaires

Rémi Lucas
Mathématiques [math]. Institut Polytechnique Paris, 2020. Français. ⟨NNT : ⟩
Theses tel-03009036v1

JuliaReach: a toolbox for set-based reachability

Bogomolov Sergiy , Forets Marcelo , Frehse Goran , Potomkin Kostiantyn , Schilling Christian et al.
HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2019, Apr 2019, Montreal, Canada
Conference papers hal-02446216v1

Undulator design for a laser-plasma-based free-electron-laser

A. Ghaith , M.-E. Couprie , D. Oumbarek-Espinos , I.A. Andriyash , F. Massimo et al.
Phys.Rept., 2021, 937, pp.1-73. ⟨10.1016/j.physrep.2021.09.001⟩
Journal articles hal-03400754v1
Image document

RobotDrlSim: A real time robot simulation platform for reinforcement learning and human interactive demonstration learning

Te Sun , Liang Gong , Xvdong Li , Shenghan Xie , Zhaorun Chen et al.
MSOTA 2020 - 3rd International Conference on Modeling, Simulation and Optimization Technologies and Applications, Nov 2020, Beijing / Virtual, China
Conference papers hal-03021400v1

Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++

Thérèse Hardin , Mathieu Jaume , François Pessaux , Veronique Viguie Donzeau-Gouge
ISTE Editions, 2021, 9781784057015
Books hal-03030484v1
Image document

Projet KidLearn : Vers une personnalisation motivante des parcours d’apprentissage

Pierre-Yves Oudeyer , Benjamin Clément , Didier Roy , Hélène Sauzéon
Education & IA, 2020, pp.51-55
Other publications hal-03116423v1

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Naji Amine , Florian Brandner
9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
Conference papers hal-02287276v1
Image document

High-field mid-infrared pulses derived from frequency domain optical parametric amplification

Adrien Leblanc , Gilles Dalla-Barba , Philippe Lassonde , Antoine Laramée , Bruno E Schmidt et al.
Optics Letters, 2020, 45 (8), pp.2267. ⟨10.1364/OL.389804⟩
Journal articles hal-02877690v2
Image document

Ambient effects on the output strain of Ni–Mn-Ga single crystal magnetic shape memory alloy

Shaobin Zhang , Guoshun Qin , Yongjun He
Journal of Alloys and Compounds, 2020, 835, pp.155159 -. ⟨10.1016/j.jallcom.2020.155159⟩
Journal articles hal-03490799v1
Image document

Nonlinear ionization dynamics of hot dense plasma observed in a laser-plasma amplifier

F. Tuitje , P. Martínez Gil , T. Helk , J. Gautier , F. Tissandier et al.
Light: Science and Applications, 2020, 9, pp.187. ⟨10.1038/s41377-020-00424-2⟩
Journal articles hal-03021081v1
Image document

Semidefinite programming relaxations through quadratic reformulation for box-constrained polynomial optimization problems

Sourour Elloumi , Amélie Lambert , Arnaud Lazare
2019 6th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2019, Paris, France. pp.1498-1503, ⟨10.1109/CoDIT.2019.8820690⟩
Conference papers hal-02455410v1

Guaranteed master for interval-based cosimulation

Adrien Le Coënt , Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Software and Systems Modeling, 2021, ⟨10.1007/s10270-020-00858-7⟩
Journal articles hal-03158710v1

Robust treatment of cross points in Optimized Schwarz Methods

Xavier Claeys , Emile Parolin
Numerische Mathematik, 2022, 151 (2), pp.405-442. ⟨10.1007/s00211-022-01288-x⟩
Journal articles hal-03118695v1

Worst-Case Execution Time Analysis of Predicated Architectures

Florian Brandner , Naji Amine
Workshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
Conference papers hal-02288493v1
Image document

Low-temperature-grown GaAs : modeling of transient reflectivity experiments

V. Ortiz , J. Nagle , Jean-Francois Lampin , Emmanuel Peronne , Antigoni Alexandrou et al.
Journal of Applied Physics, 2007, 102, pp.043515-1-9. ⟨10.1063/1.2763971⟩
Journal articles hal-00283048v1

Controlled acceleration of GeV electron beams in an all-optical plasma waveguide

Kosta Oubrerie , Adrien Leblanc , Olena Kononenko , Ronan Lahaye , Igor A. Andriyash et al.
Light Sci.Appl., 2022, 11, pp.180. ⟨10.1038/s41377-022-00862-0⟩
Journal articles hal-03323973v1
Image document

Optimization of a domestic microgrid equipped with solar panel and battery: Model Predictive Control and Stochastic Dual Dynamic Programming approaches

François Pacaud , Pierre Carpentier , Jean-Philippe Chancelier , Michel de Lara
Preprints, Working Papers, ... hal-03667607v1
Image document

Naturally Constrained Online Expectation Maximization

Daniela Pamplona , Antoine Manzanera
International Conference on Pattern Recognition (ICPR 2020), Jan 2021, Milan, Italy
Conference papers hal-03012909v1

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Julien Alexandre Dit Sandretto , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Christophe Garion , Xavier Thirioux et al.
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩
Conference papers hal-03587676v1
Image document

Liaisons convexes et endommagement à variation graduée

Nunziante Valoroso , Claude Stolz
CSMA 2019, 14ème Colloque National en Calcul des Structures, May 2019, Giens (Var), France
Conference papers hal-02266884v1

Cosimulation-based control synthesis

Adrien Le Coent , Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Workshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩
Conference papers hal-03035228v1

Predictions of solvation Gibbs free energies with COSMO-SAC approaches

Chourouk Nait Saidi , Detlev Conrad Mielczarek , Patrice Paricaud
Fluid Phase Equilibria, 2020, 517, pp.112614. ⟨10.1016/j.fluid.2020.112614⟩
Journal articles hal-02614634v1

Only thickness is essential in the Thick Level Set approach

Nunziante Valoroso , Claude Stolz
The 6th edition of International Conference on Computational Modeling of Fracture and Failure of Materials and Structures (CFRAC-2019), Jun 2019, Braunschweig, Germany
Conference papers hal-02266886v1

Major R&D firms: How defense technological innovation contribute to their arms sales

Cécile Fauconnet , François-Xavier Meunier
SIBR Tokyo conference on interdisciplinary business & economic research, Jan 2019, Tokyo, Japan
Conference papers hal-02134272v1

Major R&D firms: how defense technological innovation contribute to their arms sales ?

Cécile Fauconnet , François-Xavier Meunier
PimpMyPhD - Irsem, Dec 2018, Paris, France
Conference papers hal-02134301v1
Image document

On a surprising instability result of Perfectly Matched Layers for Maxwell's equations in 3D media with diagonal anisotropy

Eliane Bécache , Sonia Fliss , Maryna Kachanovska , Maria Kazakova
Comptes Rendus. Mathématique, 2021, ⟨10.5802/crmath.165⟩
Journal articles hal-02873620v1

Antenna design and channel modelling in the BAN context--part II: channel

Christophe Roblin , Jean-Marc Laheurte , Raffaele d'Errico , Azeddine Gati , David Lautru et al.
Annals of Telecommunications - annales des télécommunications, 2011, 66 (3 - 4), pp.157-175. ⟨10.1007/s12243-010-0231-x⟩
Journal articles istex hal-00583766v1
Image document

Automatic Curriculum Learning For Deep RL: A Short Survey

Rémy Portelas , Cédric Colas , Lilian Weng , Katja Hofmann , Pierre-Yves Oudeyer et al.
IJCAI 2020 - International Joint Conference on Artificial Intelligence, Jan 2021, Kyoto / Virtuelle, Japan
Conference papers hal-02923635v1