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 906

Nombre de textes intégraux

944

Evolution des ressources

mots-clefs

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