Publications scientifiques du LIST

 

Cliquez sur le nom du département pour sélectionner ses publications

Laboratoire d'Intégration des Systèmes et des Technologies (LIST)

 

Dépôts récents

Nombre de documents

903

Nombre de notices

1 771

Evolution des dépôts

Mots clés

Radiotherapy Modeling Modélisation UML Symbolic execution Radionuclide metrology Deductive verification Learning systems Image processing Reflectometers Algorithms Haptic interfaces Real time systems Frama-C Model checking Metrology Eddy current testing Design State of the art Benchmarking Hardware Piezoelectricity C programming language Application programs Actuators Cryptography Scheduling Virtual reality Neural networks Ferromagnetic materials Optimization Software testing Codes symbols Fiber Bragg gratings Robots Classification Cables Simulation Education Ferromagnetism Signal processing Many-core architecture Structural health monitoring Monitoring Reconfigurable hardware Complex networks MDE Sensors Robotics Software engineering Signal detection Verification Time domain reflectometry Semantics Security Nanodiamonds Dosimetry Image retrieval Cameras Non-destructive testing Computational linguistics Reflection Time domain analysis Fault detection Model-driven Engineering Ultrasonic testing Pattern recognition Non destructive testing Gamma-ray spectrometry Computer software Geometry Computation theory Specifications Nondestructive examination Reflectometry Elastic waves Energy utilization Static analysis Wire Monte Carlo simulation Computer architecture Energy efficiency STABILITY Reliability Finite element method SLAM Simultaneous Localisation and Mapping Artificial intelligence Guided electromagnetic wave propagation Systems analysis FILMS Computer vision Specification languages Diffraction Embedded systems Natural language processing systems Calibration Formal methods Defects Mapping Diamond