Search - Archive ouverte HAL

4 908 Results

language_s : English

	For these 1000 documents Send to ORCID RSS ATOM Export BibTeX TEI CSV RTF EndNote PDF HTML Advanced export Share Gmail Facebook Twitter LinkedIn More	Page : Page précédente 1 2 3 4 5 6 7 8 9 10 Page suivante	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Synthesis and activation of an iron oxide immobilized drug-mimicking reporter under conventional and pulsed X-ray irradiation conditions Anna Barosi , Petra Dunkel , Erwann Guénin , Yoann Lalatonne , Philippe Zeitoun et al. RSC Advances, 2020, 10 (6), pp.3366-3370. ⟨10.1039/C9RA09828C⟩ Journal articles hal-02469284v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Reduced-order modeling of the fluidic pinball Pastur Luc , Nan Deng , Morzyński Marek 11th Chaos Conference Proceedings, Jun 2018, Rome, Italy. pp.205-214 Conference papers hal-02398867v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Probing Ultrafast Magnetic-Field Generation by Current Filamentation Instability in Femtosecond Relativistic Laser-Matter Interactions G. Raj , O. Kononenko , A. Doche , X. Davoine , C. Caizergues et al. Phys.Rev.Res., 2020, 2 (2), pp.023123 Journal articles hal-02290775v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		High Gradient Wakefield Accelerator Sébastien Corde CERN Accelerator School, Mar 2019, Sesimbra, Portugal Conference papers hal-02464451v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Quantum Interference Between Transition Probability Amplitudes in N2+ André Mysyrowicz , Rostyslav Danylo , Aurélien Houard , V Tikhonchuk , P. Ding et al. Laser Physics Workshop LPHYS’19, Jul 2019, Gyeongju, South Korea Conference papers hal-02464374v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Remote acoustic wave generation in water using ultrashort lasers Aurélien Houard Conference on Ultrafast Optical Science in Lebedev Physical Institute, Sep 2019, Moscou, Russia Conference papers hal-02464419v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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 2022 Preprints, Working Papers, ... hal-03667607v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Naturally Constrained Online Expectation Maximization Daniela Pamplona , Antoine Manzanera International Conference on Pattern Recognition (ICPR 2020), Jan 2021, Milan, Italy Conference papers hal-03012909v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Patterns of precipitation and convection occurrence over the mediterranean basin derived from a decade of microwave satellite observations Bahjat Alhammoud , Chantal Claud , Beatriz M. Funatsu , Karine Béranger , Jean-Pierre Chaboureau et al. Atmosphere, 2014, 5 (2), pp.370-398. ⟨10.3390/atmos5020370⟩ Journal articles hal-01087284v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Trapped modes in thin and infinite ladder like domains. Part 2 : asymptotic analysis and numerical application Bérangère Delourme , Sonia Fliss , Patrick Joly , Elizaveta Vasilevskaya Asymptotic Analysis, In press Journal articles hal-01822437v2	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Impact of ultrafast laser generated Weibel magnetic fields on propagation dynamics of relativistic electron bunches Gaurav Raj 46th European Physical Society Conference on Plasma Physics, 2019, Milan, Italy Conference papers hal-02468081v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		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	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More

Filter your results

Falsification of hybrid systems using symbolic reachability and trajectory splicing

Autonomous Evasive Steering with Differential Braking Backup

JuliaReach: a toolbox for set-based reachability

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

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

Synthesis and activation of an iron oxide immobilized drug-mimicking reporter under conventional and pulsed X-ray irradiation conditions

Reduced-order modeling of the fluidic pinball

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

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

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

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

Probing Ultrafast Magnetic-Field Generation by Current Filamentation Instability in Femtosecond Relativistic Laser-Matter Interactions

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

Guaranteed master for interval-based cosimulation

Robust treatment of cross points in Optimized Schwarz Methods

Worst-Case Execution Time Analysis of Predicated Architectures

High Gradient Wakefield Accelerator

Quantum Interference Between Transition Probability Amplitudes in N2+

Remote acoustic wave generation in water using ultrashort lasers

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

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

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

Naturally Constrained Online Expectation Maximization

Patterns of precipitation and convection occurrence over the mediterranean basin derived from a decade of microwave satellite observations

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

Cosimulation-based control synthesis

Predictions of solvation Gibbs free energies with COSMO-SAC approaches

Trapped modes in thin and infinite ladder like domains. Part 2 : asymptotic analysis and numerical application

Impact of ultrafast laser generated Weibel magnetic fields on propagation dynamics of relativistic electron bunches

Only thickness is essential in the Thick Level Set approach