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 864

Nombre de textes intégraux

1 005

Evolution des ressources

mots-clefs

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