Zobrazeno 1 - 10
of 2 046
pro vyhledávání: '"Gorostiaga, A."'
Reactive synthesis is the process of generating correct controllers from temporal logic specifications. Classical LTL reactive synthesis handles (propositional) LTL as a specification language. Boolean abstractions allow reducing LTLt specifications
Externí odkaz:
http://arxiv.org/abs/2407.09348
In online monitoring, we first synthesize a monitor from a formal specification, which later runs in tandem with the system under study, incrementally receiving its progress and evolving with the system. In offline monitoring the trace is logged as t
Externí odkaz:
http://arxiv.org/abs/2307.06763
Autor:
M. Garcés Pellejero, L. López Gata, L. Olea Ramírez, A. Barneto Clavijo, I. García Gorostiaga, J. Duarte Martín, E. Morales Bacas, J. Portilla Cuenca, I. Casado Naranjo
Publikováno v:
Neurology Perspectives, Vol 4, Iss , Pp 9- (2024)
Externí odkaz:
https://doaj.org/article/a48267854b4d42489d517cee638b9d15
Autor:
L. López Gata, J. Portilla Cuenca, M. Garcés Pellejero, L. Olea Ramírez, A. Barneto Clavijo, E. Morales Bacas, J. Duarte Martín, I. García Gorostiaga, A. Falcón García, I. Casado Naranjo
Publikováno v:
Neurology Perspectives, Vol 4, Iss , Pp 157- (2024)
Externí odkaz:
https://doaj.org/article/63fa07c79ef04776a8242974f2d6c71b
Autor:
Maura Isabel Diaz Lezcano, Higinio Moreno-Resquín, Jorge Daniel Caballero-Mascheroni, Esteban Isrrael Moreira-Rivas, José Manuel Gorostiaga Ovelar
Publikováno v:
Revista Investigaciones y Estudios de la UNA, Vol 15, Iss 1, Pp 48-61 (2024)
El manejo de los sistemas silvopastoriles asociados con los algarrobos (Neltuma spp.) como componente arbóreo constituyen un potencial forestal para la ecorregión chaqueña, además de beneficiar al bienestar animal por suministro de sombra, fuente
Externí odkaz:
https://doaj.org/article/d90c21bb697b401b8e833fa07564b922
Autor:
A. Barneto Clavijo, L. López Gata, L. Olea Ramírez, M. Garcés Pellejero, I. García Gorostiaga, I. Casado Naranjo, R. Cano Plasencia, C. Quijada Miranda
Publikováno v:
Neurology Perspectives, Vol 4, Iss , Pp 236-237 (2024)
Externí odkaz:
https://doaj.org/article/277a79639e5a443bbcc41e5d2e66e818
Publikováno v:
In Journal of Biomechanics July 2024 172
Autor:
Arriaga, O., Wawrzynkowski, P., Muguerza, N., Díez, I., Gorostiaga, J.M., Quintano, E., Becerro, M.A.
Publikováno v:
In Marine Environmental Research March 2024 195
Autor:
Muguerza, N., Quintano, E., Díez, I., García- Baquero, G., Figueroa, F.L., Vega, J., Gorostiaga, J.M.
Publikováno v:
In Marine Environmental Research February 2024 194
Autor:
Unai Miqueleiz, Roberto Aguado-Jimenez, Pablo Lecumberri, Ibai Garcia-Tabar, Esteban M. Gorostiaga
Publikováno v:
Frontiers in Sports and Active Living, Vol 6 (2024)
IntroductionInertial measurement units (IMUs) are utilized to measure trunk acceleration variables related to both running performances and rehabilitation purposes. This study examined both the reliability and sex-based differences of these variables
Externí odkaz:
https://doaj.org/article/953ad0e3cd6a4b669d44991f2d9e3b78