Filter your results
- 28
- 4
- 17
- 8
- 3
- 2
- 1
- 1
- 32
- 9
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 3
- 9
- 2
- 2
- 3
- 1
- 1
- 1
- 26
- 6
- 23
- 19
- 6
- 5
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 10
- 8
- 7
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Modeling CHP descriptions in Labeled Transitions Systems for an efficient formal validation of asynchronous circuit specificationsForum on specification and Design Languages (FDL'03), Sep 2003, Frankfurt, Allemagne
Conference papers
hal-01391640v1
|
|||
Medical Needles Deformation TrackingMICCAI Workshop " Needle Steering ", Sep 2008, New York, United States
Conference papers
hal-00418371v1
|
|||
Maîtrise de la consommation d'énergie en domotique par un système multi-agentsSystèmes multi-agents : articulation entre l'individuel et le collectif, Hermes, pp.141-144, 2006
Book sections
hal-00366936v1
|
|||
Preliminary characterization study of a miniaturized GaN-based X-ray detector for Virtual Fluoroscopy57èmes Journées de la Société Française de Physique Médicale, Jun 2018, Toulouse, France. pp.29-30, ⟨10.1016/j.ejmp.2018.09.066⟩
Conference papers
hal-02021063v1
|
|||
A Biomimetic Lipid Membrane Device Reveals the Interaction of Cancer Biomarkers with Human Serum Lipidic MoietiesBiotechnology Journal, 2018, 13 (12), pp.1800463
Journal articles
hal-01978406v1
|
|||
Control of cell morphodynamic and displacement orientation by precise tuning between substrate nanopatterning and rigidityNanobio Europe 2008, Jun 2008, Barcelona, Spain
Conference papers
hal-00340397v1
|
|||
|
The motility of normal and cancer cells in response to the combined influence of substrate rigidity and anisotropic microstructureBiomaterials, 2008, 29 (10), pp.1541--1551. ⟨10.1016/j.biomaterials.2007.12.016⟩
Journal articles
hal-00291559v1
|
||
Modelling and Characterization of an Instrumented Medical Needle in Sight of New Microsensor Design for its Insertion Guidance32nd Annual International Conference of the IEEE Engineering in Medicine and Biology (EMBC'10), Aug 2010, Buenos Aires, Argentina. pp.6465 - 6468, ⟨10.1109/IEMBS.2010.5627342⟩
Conference papers
hal-00560545v1
|
|||
|
Electrochemical biosensing of glucose based on the enzymatic reduction of glucoseSensors, 2022, 22 (19), pp.7105. ⟨10.3390/s22197105⟩
Journal articles
hal-03798340v1
|
||
Validation of asynchronous circuit specifications using IF/CADP12th IFIP International Conference on Very Large Scale Integration (VLSI'03), Dec 2003, Darmstadt, Germany
Conference papers
hal-01376277v1
|
|||
Mathematical Modelling of Fibroblast shape Transition on Arrays of Adhesive Micropatterns with Varying PitchECMTB08; European Conference on Mathematical and Theoretical Biology, Jun 2008, Edinburgh, United Kingdom
Conference papers
hal-00340399v1
|
|||
Rectus Abdominis Electromyography and Mechanomyography Comparison for the Detection of Cough32nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, "Merging Medical Humanism and Technology" (EMBS'10), Aug 2010, Buenos Aires, Argentina. pp.6502-6505, ⟨10.1109/IEMBS.2010.5627369⟩
Conference papers
hal-00544317v1
|
|||
Dispositif d'intervention chirurgicale comprenant un instrument susceptible de se déformerFrance, Patent n° : FR0855617. 2008
Patents
hal-00419382v1
|
|||
Design and Implementation of an Automated Artificial Urinary SphincterEngineering and Urology Society, May 2008, Orlando, Florida, United States
Conference papers
hal-01445911v1
|
|||
|
How Sensor, Signal, and Imaging Informatics May Impact Patient Centered Care and Care CoordinationIMIA Yearbook of Medical Informatics, 2015, 1, pp.102-105. ⟨10.15265/IY-2015-025⟩
Journal articles
hal-01424479v1
|
||
|
Unintended Consequences of Sensor, Signal, and Imaging Informatics: New Problems and New SolutionsIMIA Yearbook of Medical Informatics, 2016, 1, pp.159-162. ⟨10.15265/IY-2016-053⟩
Journal articles
hal-01424525v1
|
||
Metal-insulator transition materials for bioinspired functions implementationLe premier colloque du GDR BioComp 4 au 8 octobre 2015 à Saint Paul de Vence, France, Oct 2015, Saint Paul de Vence, France
Conference poster
hal-01226172v1
|
|||
|
Validation of Asynchronous Circuit Specifications Using IF/CADPManfred Glesner, Ricardo Reis, Leandro Indrusiak, Vincent Mooney and Hans Eveking. VLSI-SOC: From Systems to Chips, Springer, pp.85-100, 2006, Serie : IFIP International Federation for Information Processing, ⟨10.1007/0-387-33403-3⟩
Book sections
hal-00107431v1
|
||
Architectures logicielles et matériellesDunod, 2000
Books
hal-00188048v1
|
|||
Sphincter urinaire électronique dynamique3ème Conférence Internationale SURGETICA, Sep 2007, Chambery, France
Conference papers
hal-00288358v1
|
|||
Dispositif de prévention des fuites urinairesFrance, N° de brevet: FR0757159. 2007
Patents
hal-00419384v1
|
|||
|
Optimization of Poly-Di-Methyl-Siloxane (PDMS) substrates for studying cellular adhesion and motilityMicroelectronic Engineering, 2008, 85 (5-6), pp.1289-1293. ⟨10.1016/j.mee.2008.02.004⟩
Journal articles
hal-00291575v1
|
||
Finite state machines: composition, verification, minimization: a case studyProceedings-of-the-10th-International-Conference-Mixed-Design-of-Integrated-Circuits-and-Systems.-MIXDES-2003, 2003, Lodz, Poland. pp.214-19
Conference papers
hal-00017371v1
|
|||
Using formal tools to study complex circuits behaviourProceedings-Euromicro-Symposium-on-Digital-System-Design.-Architectures,-Methods-and-Tools., 2002, Dortmund, Germany. pp.180-6, ⟨10.1109/DSD.2002.1115367⟩
Conference papers
hal-00017372v1
|
|||
Development of a Novel Artificial Urinary Sphincter: A Versatile Automated DeviceIEEE/ASME Transactions on Mechatronics, 2010, 15 (6, December), pp.916 - 924. ⟨10.1109/TMECH.2010.2056927⟩
Journal articles
hal-00817890v1
|
|||
|
Multi-View Vision System for Laparoscopy Surgery.International Journal of Computer Assisted Radiology and Surgery, 2014, 9 (2), pp.1-17. ⟨10.1007/s11548-014-1064-2⟩
Journal articles
hal-01002505v1
|
||
Classical vs. neural approaches for on-board image satellite analysis2nd round table on Micro-Nano Tehnologies for Space (ESTEC'97), Oct 1997, Noordwijk, Netherlands
Conference papers
hal-01388686v1
|
|||
Design and Implementation of an Automated Artificial Urinary Sphincter ?Symposium: Endoskopie Euro (EUS'08), May 2008, Orlando, United States
Conference papers
hal-00418368v1
|
|||
Design and Implementation of an Automated Artificial Urinary SphincterInternational Workshop on Wearable Micro and Nanosystems for Personalised Health (Phealth'08), May 2008, Valencia, Spain
Conference papers
hal-00418369v1
|
|||
Développement de microjauges pour détecter la déformée des instruments médicaux percutanésColloque national sur la Recherche en Imagerie et Technologies pour la Santé (RITS'11), Apr 2011, Rennes, France
Conference papers
hal-00639950v1
|
- 1
- 2