Browsing by Author "Sánchez Prieto, Sebastián"
Now showing items 1-20 of 30
-
Automatic verification of timing constraints for safety critical space systems
Fernández Salgado, Javier; Parra Espada, Pablo; Sánchez Prieto, Sebastián; Rodríguez Polo, Óscar; Bernat, Guillem (2019-09) -
Calma Station and a new data acquisition system for Neutron Monitors
García Población, Óscar (2019) -
Comparativa de estrategias de SLAM visual en sistemas empotrados de bajo coste
Guerrero Gomez-Olmedo, Antonio (2021) -
Control y planificación óptima de sistemas extendido a plataformas no lineales e inestables
Arribas Navarro, Tomás (2016) -
Filtering of pulses from particle detectors by means of Singular Value Decomposition (SVD)
Regadío Carretero, Alberto; Sánchez Prieto, Sebastián; Esteban, Luis (2019-04-01) -
Filtering of pulses from particle detectors using neural networks by dimensionality reduction
Regadío Carretero, Alberto; Sánchez Prieto, Sebastián; Esteban, Luis (2019-10-21) -
First near-relativistic solar electron events observed by EPD onboard Solar Orbiter
Gómez Herrero, Raúl; Espinosa Lara, Francisco; Cernuda Cangas, Ignacio Manuel; Rodríguez-Pacheco Martín, Javier; Prieto Mateo, Manuel; [et al.] (2021-12-14) -
The first widespread solar energetic particle event observed by Solar Orbiter on 2020 November 29
Kollhoff, A.; Gómez Herrero, Raúl; Rodríguez García, Laura; Cernuda Cangas, Ignacio Manuel; Espinosa Lara, Francisco; [et al.] (2021-12-14) -
First year of energetic particle measurements in the inner heliosphere with Solar Orbiter's Energetic Particle Detector
Wimmer-Schweingruber, R. F.; Janitzek, N. P; Pacheco, D.; Cernuda Cangas, Ignacio Manuel; Espinosa Lara, Francisco; [et al.] (2021-12-14) -
Impact of colored noise in pulse amplitude measurements: A time-domain approach using differintegrals
Sánchez Prieto, Sebastián; Regadío Carretero, Alberto; Tabero Godino, Jesús (2016-03-01) -
Implementation of a real-time adaptive digital shaping for nuclear spectroscopy
Regadío Carretero, Alberto; Sánchez Prieto, Sebastián; Prieto Mateo, Manuel; Tabero Godino, Jesús (2014-01-21) -
Increase in Interference Levels in the 45 -- 870 MHz Band at the Spanish e-CALLISTO Sites over the Years 2012 and 2019
Prieto Mateo, M.; Bussons Gordo, Javier; Rodríguez-Pacheco Martín, Javier; Martínez Hellín, Agustín; Sánchez Prieto, Sebastián; [et al.] (2020-01-15) -
Localización en interiores de aeronaves ligeras mediante técnicas basadas en láser
Juara Casero, Diego (2018) -
Memory management unit for hardware-assisted dynamic relocation in on-board satellite systems
Losa Cruz, Borja; Parra Espada, Pablo; Da Silva Fariña, Antonio; Rodríguez Polo, Óscar; García Tejedor, Juan Ignacio; [et al.] (2023-06-08) -
Model-driven engineering for low-code ground support equipment configuration and automatic test procedures definition
Montalvo Taravillo, Aarón; Rodríguez Polo, Óscar; Parra Espada, Pablo; Carrasco Gallardo, Alberto; Da Silva Fariña, Antonio; [et al.] (2023-10-01) -
Nuevas técnicas de inyección de fallos en sistemas embebidos mediante el uso de modelos virtuales descritos en el nivel de transacción
Fariña, Antonio da Silva (2015) -
Planificación óptima de movimiento y aprendizaje por refuerzo en vehículos móviles autónomos
Gómez Plaza, Mariano (2009) -
Procesamiento digital de señal aplicado a la detección de partículas energéticas
Regadío Carretero, Alberto (2014) -
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 (2016) -
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 (2016)