The List institute is committed to technological innovation in digital systems.
Its R&D activities encompass four main themes: factory of the future, cyber-physical systems, artificial intelligence and digital health.


HAL-LIST is an open archive where you can consult all LIST scientific publications deposited on HAL.

Click on the department name to consult its publications

 

Last submissions

 

 

 

Search

NUMBER OF BIBLIOGRAPHIC RECORDS

1 838

NUMBER OF FULLTEXT

1 135

Evolution of ressources

 

KEYWORDS

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