Search - IMAG Access content directly

Filter your results

1 285 Results
Deposit type : Fulltext
Image document

Hybrid geometric self-calibration of radiological systems

Anastasia Konik
Image Processing [eess.IV]. Université Grenoble Alpes [2020-..], 2023. English. ⟨NNT : 2023GRALM002⟩
Theses tel-04116886v1
Image document

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
Image document

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
SPIE Medical Imaging,, Feb 2020, Houston, United States. pp.27, ⟨10.1117/12.2549516⟩
Conference papers hal-03184989v1
Image document

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.
ACS Nano, 2020, 14 (6), pp.7121-7139. ⟨10.1021/acsnano.0c01893⟩
Journal articles hal-02990387v1
Image document

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
ACM ISS 2019 - Conference on Interactive Surfaces and Spaces, Nov 2019, Séoul, South Korea. ⟨10.1145/3343055.3359710⟩
Conference papers hal-02323605v1
Image document

Suivi non-invasif du rythme cardiaque foetal : exploitation de la factorisation non-négative des matrices sur signaux électrocardiographiques et phonocardiographiques

Nafissa Dia
Biotechnologies. Université Grenoble Alpes, 2019. Français. ⟨NNT : 2019GREAS034⟩
Theses tel-02936487v1
Image document

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.
Emerging microbes & infections, 2021, ⟨10.1080/22221751.2021.1885999⟩
Journal articles hal-03132662v1
Image document

Fast Inference of Individual Admixture Coefficients Using Geographic Data

Kevin Caye , Flora Jay , Olivier J.J. Michel , Olivier François
Annals of Applied Statistics, 2018, 12 (1), pp.586-608. ⟨10.1214/17-AOAS1106⟩
Journal articles hal-01676712v1
Image document

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
Image document

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
Médecine humaine et pathologie. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAS001⟩
Theses tel-01691750v1
Image document

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
Image document

Apprentissage des biopsies prostatiques par la simulation : vers la validation du simulateur Biopsym

Gaëlle Fiard
Bio-informatique [q-bio.QM]. Université Grenoble Alpes, 2018. Français. ⟨NNT : 2018GREAS037⟩
Theses tel-02402526v1
Image document

An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection

Hang Yu , David Monniaux
Static Analysis (SAS 2019), Oct 2019, Porto, Portugal. pp.203-224, ⟨10.1007/978-3-030-32304-2_11⟩
Conference papers hal-02362102v1
Image document

Schedulability in Mixed-criticality Systems

Rany Kahil
Performance [cs.PF]. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM023⟩
Theses tel-02462740v1
Image document

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.
Scientific Reports, 2019, 9 (1), ⟨10.1038/s41598-019-48789-8⟩
Journal articles hal-02269754v1
Image document

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
Image document

Modélisation biomécanique pour l'imagerie de prostate

Johan Sarrazin
Médecine humaine et pathologie. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAS032⟩
Theses tel-01692548v1
Image document

Learning regular languages over large alphabets

Irini-Eleftheria Mens
Machine Learning [cs.LG]. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM052⟩
Theses tel-01792635v1
Image document

Hybrid Modelling in Biology: a Classification Review

A Stéphanou , Vitaly Volpert
Mathematical Modelling of Natural Phenomena, 2016, 11, pp.37 - 48. ⟨10.1051/mmnp/201611103⟩
Journal articles hal-01397430v1
Image document

Verifying Programs with Arrays and Lists

Julien Braine , Laure Gonnord , David Monniaux
[Internship report] ENS Lyon. 2016
Reports hal-01337140v1
Image document

Modulation of hemoglobin dynamics by an allosteric effector

Jyotsana Lal , Marco Maccarini , Peter Fouquet , Nancy T Ho , Chien Ho , et al.
Protein Science, 2016, 11 (3), pp.399 - 514. ⟨10.1002/pro.3099⟩
Journal articles hal-01538121v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Self-Triggered Control for Sampled-data Systems using Reachability Analysis

Mohammad Al Khatib , Antoine Girard , Thao Dang
IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.745⟩
Conference papers hal-01540847v1
Image document

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
Image document

Hybrid 2D–3D ultrasound registration for navigated prostate biopsy

Sonia-Yuki Selmi , Emmanuel Promayon , Jocelyne Troccaz
International Journal of Computer Assisted Radiology and Surgery, 2018, 13 (7), pp.987-995. ⟨10.1007/s11548-018-1736-4⟩
Journal articles hal-01739427v1
Image document

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.
DNA Barcodes, 2015, 3 (1), pp.170-186. ⟨10.1515/dna-2015-0019⟩
Journal articles mnhn-02309917v1
Image document

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
PLoS Biology, 2019, 17 (7), pp.e3000390. ⟨10.1371/journal.pbio.3000390⟩
Journal articles pasteur-02263349v1