Nombre de documents

667

Nombre de notices

904

Evolution des dépôts

Mots-clés

Ingénierie dirigée par les modèles Blockchain Computer architecture Friction Eddy current testing Robotics Fault detection Reflectometers Identification Security GPU Classification Reflectometry Robots Evaluation Model-driven engineering Ferromagnetic materials SLAM Reflection Codes symbols Abstract interpretation Optimization Ultrasonic testing Modélisation Diamonds Performance Ultrasonics Modeling C programming language Real-time systems Artificial intelligence Computer vision Manipulators AUTOSAR Deductive verification MEMS Ferromagnetism Reliability Narrow cracks Contrôle non destructif UML Design space exploration Graph partitioning Game semantics Model checking Model Driven Engineering Defects Formal methods IoT Virtual reality Courants de Foucault Guided electromagnetic wave propagation Monte Carlo simulation Augmented reality Embedded systems Ergonomics CMOS Nondestructive examination Dictionary learning Ultrasons Image classification Energy efficiency Simulation Efficiency calibration Optimisation Automation Image processing Image retrieval Control Electronic nose Machine learning SIMD Input Output Symbolic Transition Systems Temps réel MARTE Elastic waves Diffraction Boundary element method Parallélisme Geometry Geometrical theory of diffraction MDD Symbolic execution Non-destructive testing Haptics Digital Human Model Diamond Non destructive testing Fusion Design Radiotherapy Piezoelectricity Semantics Intelligent robots Model-based testing Anisotropy MDE Static analysis Eddy current Haptic interfaces