Hybrid geometric self-calibration of radiological systems
Anastasia Konik
Image Processing [eess.IV]. Université Grenoble Alpes [2020-..], 2023. English.
⟨NNT : 2023GRALM002⟩
Theses
tel-04116886v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Virtual pre-operative planning in acetabular surgery using a patient-specific biomechanical model: a prospective clinical study
Mehdi Boudissa
,
Matthieu Chabanas
,
Gaetan Bahl
,
Hadrien Oliveri
,
Jérôme Tonetti
CAOS 2020. The 20th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery , 2020, Brest, France.
⟨10.29007/gp5w⟩
Conference papers
hal-03185100v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Automatic segmentation of brain tumor in intraoperative ultrasound images using 3D U-Net
François-Xavier Carton
,
Matthieu Chabanas
,
Bodil K R Munkvold
,
Ingerid Reinertsen
,
Jack H Noble
Conference papers
hal-03184989v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Coupling Polar Adhesion with Traction, Spring, and Torque Forces Allows High-Speed Helical Migration of the Protozoan Parasite Toxoplasma
Georgios Pavlou
,
Bastien Touquet
,
Luis Vigetti
,
Patricia Renesto
,
Alexandre Bougdour
,
et al.
Journal articles
hal-02990387v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Is it Real? Measuring the Effect of Resolution, Latency, Frame rate and Jitter on the Presence of Virtual Entities
Thibault Louis
,
Jocelyne Troccaz
,
Amélie Rochet-Capellan
,
François Bérard
Conference papers
hal-02323605v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Suivi non-invasif du rythme cardiaque foetal : exploitation de la factorisation non-négative des matrices sur signaux électrocardiographiques et phonocardiographiques
Nafissa Dia
Theses
tel-02936487v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Amoebae can promote the survival of Francisella species in the aquatic environment
Aurélie Hennebique
,
Julien Peyroux
,
Camille Brunet
,
Amandine Martin
,
Thomas Henry
,
et al.
Journal articles
hal-03132662v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fast Inference of Individual Admixture Coefficients Using Geographic Data
Kevin Caye
,
Flora Jay
,
Olivier J.J. Michel
,
Olivier François
Journal articles
hal-01676712v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
3D-2D ultrasound feature-based registration for navigated prostate biopsy: A feasibility study
Sonia y Selmi
,
Emmanuel Promayon
,
Jocelyne Troccaz
38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC'16) , Aug 2016, Orlando, FL, United States. pp.4109 - 4112,
⟨10.1109/EMBC.2016.7591630⟩
Conference papers
hal-01387243v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
L'hypertrophie de la prostate et la rétention aiguë d'urine : vers un stent urétral à base de bio-matériaux NiTi et silicone
Gabriel Antherieu
Theses
tel-01691750v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Improving dm-crypt performance for XTS-AES mode through extended requests: first results
Levent Demir
,
Mathieu Thiery
,
Vincent Roca
,
Jean-Louis Roch
,
Jean-Michel Tenkes
GreHack 2016. The 4th International Symposium on Research in Grey-Hat Hacking - aka GreHack , Nov 2016, Grenoble, France
Conference papers
hal-01399967v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Apprentissage des biopsies prostatiques par la simulation : vers la validation du simulateur Biopsym
Gaëlle Fiard
Theses
tel-02402526v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection
Hang Yu
,
David Monniaux
Conference papers
hal-02362102v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Schedulability in Mixed-criticality Systems
Rany Kahil
Theses
tel-02462740v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
High inhaled oxygen concentration quadruples exhaled CO in healthy volunteers monitored by a highly sensitive laser spectrometer
Vivien Brenckmann
,
Irène Ventrillard
,
Daniele Romanini
,
Kévin Jaulin
,
Pascale Calabrese
,
et al.
Journal articles
hal-02269754v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
scat: Learning from a Single Execution of a Binary
Franck de Goër
,
Christopher Ferreira
,
Laurent Mounier
IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER) , 2017, Klagenfurt, Austria
Conference papers
hal-02062344v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Modélisation biomécanique pour l'imagerie de prostate
Johan Sarrazin
Theses
tel-01692548v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Learning regular languages over large alphabets
Irini-Eleftheria Mens
Theses
tel-01792635v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Hybrid Modelling in Biology: a Classification Review
A Stéphanou
,
Vitaly Volpert
Journal articles
hal-01397430v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Verifying Programs with Arrays and Lists
Julien Braine
,
Laure Gonnord
,
David Monniaux
[Internship report] ENS Lyon. 2016
Reports
hal-01337140v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Modulation of hemoglobin dynamics by an allosteric effector
Jyotsana Lal
,
Marco Maccarini
,
Peter Fouquet
,
Nancy T Ho
,
Chien Ho
,
et al.
Journal articles
hal-01538121v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On-line C-arm Intrinsic Calibration by means of an Accurate Method of Line Detection using the Radon Transform
Benjamin Spencer
Bioengineering. Université de Grenoble, 2015. English.
⟨NNT : ⟩
Theses
tel-01491380v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems
Braham Lotfi Mediouni
,
Ayoub Nouri
,
Marius Bozga
,
Mahieddine Dellabani
,
Axel Legay
,
et al.
ATVA 2018 - 16th International Symposium Automated Technology for Verification and Analysis , Oct 2018, Los Angeles, CA, United States. pp.536-542,
⟨10.1007/978-3-030-01090-4_33⟩
Conference papers
hal-01888538v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Programming Dynamic Reconfigurable Systems
Rim El Ballouli
,
Saddek Bensalem
,
Marius Bozga
,
Joseph Sifakis
Formal Aspects of Component Software - 15th International Conference, FACS 2018 , Oct 2018, Pohang, South Korea
Conference papers
hal-01888550v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Scheduling of Embedded Controllers Under Timing Contracts
Mohammad Al Khatib
,
Antoine Girard
,
Thao Dang
20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2017) , Apr 2017, Pittsburgh, PA, United States. pp.131 - 140,
⟨10.1145/3049797.3049816⟩
Conference papers
hal-01540841v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Self-Triggered Control for Sampled-data Systems using Reachability Analysis
Mohammad Al Khatib
,
Antoine Girard
,
Thao Dang
Conference papers
hal-01540847v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Algèbre linéaire pour invariants polynomiaux
Steven de Oliveira
,
Saddek Bensalem
,
Virgile Prévosto
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels , Jun 2016, Besançon, France. pp.61
Conference papers
hal-01391490v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Hybrid 2D–3D ultrasound registration for navigated prostate biopsy
Sonia-Yuki Selmi
,
Emmanuel Promayon
,
Jocelyne Troccaz
Journal articles
hal-01739427v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fishing for barcodes in the Torrent: from COI to complete mitogenomes on NGS platforms
Damien Hinsinger
,
Régis Debruyne
,
Maeva Thomas
,
Gaël Denys
,
Marion I. Mennesson
,
et al.
Journal articles
mnhn-02309917v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Diversification of the type IV filament superfamily into machines for adhesion, protein secretion, DNA uptake, and motility
Rémi Denise
,
Sophie S. Abby
,
Eduardo P. C. Rocha
Journal articles
pasteur-02263349v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More