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 849

NUMBER OF FULLTEXT

1 335

Evolution of ressources

 

KEYWORDS

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