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 847

NUMBER OF FULLTEXT

1 331

Evolution of ressources

 

KEYWORDS

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