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


Nombre de notices

1 836

Evolution des dépôts

Mots clés

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