Search - Archive ouverte HAL Access content directly

Filter your results

9 Results
Portail de dépôt: identifiant numérique interne : 7802
Page :
sorted by
Image document

An Analytical Algorithm for Tensor Tomography from Projections Acquired about Three Axes

 Weijie Tao , Damien Rohmer , Grant T Gullberg , Youngho Seo , Qiu Huang et al.
IEEE Transactions on Medical Imaging, 2022, 41 (11), ⟨10.1109/tmi.2022.3186983⟩
Journal articles hal-03738159v1

Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation

 Amel Mammar , Meryem Afendi , Régine Laleau
Science of Computer Programming, 2022
Journal articles hal-03916799v1
Image document

Caractérisation résolue spectralement du champ lointain de puces laser à semi-conducteur

 Jannik F. Ehlert , Alain Mugnier , Frederic Grillot
OPTIQUE, Jul 2021, Dijon, France
Conference papers hal-03268945v1
Image document

Generating Upper-Body Motion for Real-Time Characters Making their Way through Dynamic Environments

 Eduardo Alvarado , Damien Rohmer , Marie-Paule Cani
Computer Graphics Forum, 2022, 41 (8), ⟨10.1111/cgf.14633⟩
Journal articles hal-03757439v1
Image document

Rydberg excitons in Cu 2 O microcrystals grown on a silicon platform

 Stephan Steinhauer , Marijn a M Versteegh , Samuel Gyger , Ali W Elshaari , Birgit Kunert et al.
Communications Materials, 2020, 1, pp.11. ⟨10.1038/s43246-020-0013-6⟩
Journal articles hal-02525210v1
Image document

Backward lasing of singly ionized nitrogen ions pumped by femtosecond laser pulses

 Xiang Zhang , Rostyslav Danylo , Zhengquan Fan , Pengji Ding , Chenhao Kou et al.
Applied Physics B - Laser and Optics, 2020, 126 (3), pp.53. ⟨10.1007/s00340-020-7402-x⟩
Journal articles hal-02525234v1

Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study

 Meryem Afendi , Amel Mammar , Régine Laleau
International Conference on Engineering of Complex Computer Systems, Mar 2022, Hiroshima, Japan
Conference papers hal-03916803v1

Laser à cavité externe accordable sur 174 nm intégrant une puce à boîtes quantiques

 Jannik F. Ehlert , Alain Mugnier , Frederic Grillot
Les Journées Scientifiques 2022 d’URSI-France, Mar 2022, Palaiseau, France
Conference papers hal-03571842v1
Image document

Artificial intelligence workflow quantifying muscle features on Hematoxylin–Eosin stained sections reveals dystrophic phenotype amelioration upon treatment

 Marie Reinbigler , Jérémie Cosette , Zoheir Guesmia , Simon Jimenez , Catalin Fetita et al.
Scientific Reports, 2022, 12 (1), pp.19913. ⟨10.1038/s41598-022-24139-z⟩
Journal articles hal-03902418v1
Page :