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 772

Evolution des dépôts

Mots clés

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