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 838

Evolution des dépôts

Mots clés

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