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 845

NUMBER OF FULLTEXT

1 097

Evolution of ressources

 

KEYWORDS

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