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 835

NUMBER OF FULLTEXT

1 141

Evolution of ressources

 

KEYWORDS

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