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

906

Nombre de notices

1 787

Evolution des dépôts

Mots clés

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