Browsing by Author "Sánchez Prieto, Sebastián"
Now showing items 1-16 of 16
-
Automatic verification of timing constraints for safety critical space systems
Fernández Salgado, Javier; Parra Espada, Pablo
-
Comparativa de estrategias de SLAM visual en sistemas empotrados de bajo coste
Guerrero Gomez-Olmedo, Antonio -
Control y planificación óptima de sistemas extendido a plataformas no lineales e inestables
Arribas Navarro, Tomás -
Impact of colored noise in pulse amplitude measurements: A time-domain approach using differintegrals
Sánchez Prieto, Sebastián -
Implementation of a real-time adaptive digital shaping for nuclear spectroscopy
Regadío Carretero, Alberto -
Localización en interiores de aeronaves ligeras mediante técnicas basadas en láser
Juara Casero, Diego -
Planificación óptima de movimiento y aprendizaje por refuerzo en vehículos móviles autónomos
Gómez Plaza, Mariano -
Procesamiento digital de señal aplicado a la detección de partículas energéticas
Regadío Carretero, Alberto -
Proceso de verificación y validación de software embarcado en satélite: una estrategia basada en propiedades de composición
Fernández Salgado, Javier -
Proceso de verificación y validación de software embarcado en satélite: Una estrategia basada en propiedades de composición
Fernández Salgado, Javier -
Sistemas multiagente de tiempo real
Marsá Maestre, Iván -
Synthesis of optimal digital shapers with arbitrary noise using a genetic algorithm
Sánchez Prieto, Sebastián -
Synthesis of optimal digital shapers with arbitrary noise using simulated annealing
Regadío Carretero, Alberto -
Unfolding and unfoldability of digital pulses in the z-domain
Sánchez Prieto, Sebastián
