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 829

NUMBER OF FULLTEXT

1 223

Evolution of ressources

 

KEYWORDS

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