Search
Now showing items 21-30 of 650
Formal verification for task description languages. A Petri Net approach
López Fernández, Joaquín
; Santana Alonso, Alejandro Alejo; Diaz Cacho Medina, Miguel Ramon
; Santana Alonso, Alejandro Alejo; Diaz Cacho Medina, Miguel Ramon
- article
- Enxeñaría de sistemas e automática
The family of cost monotonic and cost additive rules in minimum cost spanning tree problems
Bergantiño Cid, Gustavo; Lorenzo Picado, Leticia; Lorenzo Freire, Silvia Maria
; Lorenzo Picado, Leticia; Lorenzo Freire, Silvia Maria
- article
- Estatística e investigación operativa
ROC curves in non-parametric location-scale regression models
González Manteiga, Wenceslao; Pardo Fernández, Juan Carlos; Keilegom, Ingrid van
; Keilegom, Ingrid van
- article
- Estatística e investigación operativa
Advancing climate services for the European renewable energy sector through capacity building and user engagement
Goodess, C.M.; Troccoli, A.; Acton, C.; Añel Cabanelas, Juan Antonio; Bett, P.E.; Brayshaw, D.J.; De Felice, M.; Dorling, S.R.; Dubus, L.; Penny, L.; Percy, B.; Ranchin, T.; Thomas, C.; Trolliet, M.; Wald, L.
; Bett, P.E.; Brayshaw, D.J.; De Felice, M.; Dorling, S.R.; Dubus, L.; Penny, L.; Percy, B.; Ranchin, T.; Thomas, C.; Trolliet, M.; Wald, L.
- article
- Física aplicada
Differential circadian and light-driven rhythmicity of clock gene expression and behaviour in the turbot, Scophthalmus maximus
Ceinos Caride, Rosa María; Chivite Alcalde, Mauro; López Patiño, Marcos Antonio; Naderi , Fatemeh; Soengas Fernández, José Luis; Foulkes, Nicholas S; Míguez Miramontes, Jesús Manuel
; Chivite Alcalde, Mauro; López Patiño, Marcos Antonio; Naderi , Fatemeh; Soengas Fernández, José Luis; Foulkes, Nicholas S; Míguez Miramontes, Jesús Manuel
- article
- Bioloxía funcional e ciencias da saúde
ALBAYZIN Query-by-example spoken term detection 2016 evaluation
Tejedor Noguerales, Javier; Toledano, Doroteo T; López Otero, Paula; Docío Fernández, Laura; Proença, Jorge; Perdigão, Fernando; García Granada, Fernando; Sanchís Arnal, Emilio; Pompili, Anna; Abad Gareta, Alberto
; Docío Fernández, Laura; Proença, Jorge; Perdigão, Fernando; García Granada, Fernando; Sanchís Arnal, Emilio; Pompili, Anna; Abad Gareta, Alberto
- article
- Teoría do sinal e comunicacións
