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 006

Evolution des ressources

mots-clefs

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