Le Laboratoire d'Intégration des Systèmes et des Technologies (LIST) focalise ses recherches sur les systèmes numériques intelligents. Ses programmes de R&D sont centrés sur l’intelligence artificielle, l’usine du futur, l’instrumentation innovante, les systèmes cyberphysiques et la santé numérique.

HAL-LIST est la plateforme de consultation des productions scientifiques du LIST.

Cliquez sur le nom du département pour sélectionner ses publications

 

Derniers Depots

 

 

 

Recherche

Nombre de notices

1 897

Nombre de textes intégraux

933

Evolution des ressources

mots-clefs

Reflection Diamonds Reflectometers Static analysis Geometry Guided electromagnetic wave propagation Artificial intelligence Nanodiamonds Radionuclide metrology Non-destructive testing Identification Software engineering Defects Learning systems Ferromagnetic materials Frama-C Software testing Model checking SPECTROSCOPY UML SLAM Simultaneous Localisation and Mapping Deductive verification Haptic interfaces Diffraction Sensors State of the art Diamond Computer vision Nanoparticles Monte Carlo simulation Neutron detection Classification Benchmarking Computational linguistics Solid scintillation detectors Non destructive testing Computer software Fluorescence Reflectometry Complex networks Eddy current testing Time domain analysis Time domain reflectometry Gamma-ray spectrometry Modeling MDE Virtual reality Monte Carlo methods Gadolinium Security Calibration Nondestructive examination Optical fibers Instrumentation Image processing Radiotherapy Monitoring Neural networks Fiber Bragg gratings Energy efficiency Embedded systems Simulation Cryptography Cameras Verification Uncertainty Application programs Metrology Semantics Elastic waves Signal processing Optimization Piezoelectricity Neutrons Real time systems Algorithms Finite element method Natural language processing systems Specification languages Actuators STABILITY Hardware Model-driven Engineering Mapping Computer architecture Temperature sensors Fault detection Nuclear Detectors Scheduling Design C programming language Robots Reliability Symbolic execution Ultrasonic testing Codes symbols Dosimetry Systems analysis Robotics