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 843

NUMBER OF FULLTEXT

1 112

Evolution of ressources

 

KEYWORDS

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