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 852

NUMBER OF FULLTEXT

1 090

Evolution of ressources

 

KEYWORDS

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