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 780

Evolution des dépôts

Mots clés

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