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 833

NUMBER OF FULLTEXT

1 140

Evolution of ressources

 

KEYWORDS

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