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 868

NUMBER OF FULLTEXT

1 384

Evolution of ressources

 

KEYWORDS

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