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 836

NUMBER OF FULLTEXT

1 253

Evolution of ressources

 

KEYWORDS

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