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 846

NUMBER OF FULLTEXT

1 265

Evolution of ressources

 

KEYWORDS

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