|
|
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.
Journal articles
hal-03738159v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Generating Upper-Body Motion for Real-Time Characters Making their Way through Dynamic Environments
Eduardo Alvarado
,
Damien Rohmer
,
Marie-Paule Cani
Journal articles
hal-03757439v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
hal-02525210v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Backward lasing of singly ionized nitrogen ions pumped by femtosecond laser pulses
Xiang Zhang
,
Rostyslav Danylo
,
Zhengquan Fan
,
Pengji Ding
,
Chenhao Kou
et al.
Journal articles
hal-02525234v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
hal-03902418v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|