Komunikazioak;;Comunicaciones: Recent submissions
Now showing items 133-136 of 324
-
One-Pass Context-Based Tableaux Systems for CTL and ECTL
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020-09-25)When building tableau for temporal logic formulae, applying a two-pass construction, we first check the validity of the given tableaux input by creating a tableau graph, and then, in the second “pass”, we check if all the ... -
La mezcla de códigos (euskera-castellano) en el habla infantil: una prueba más de la separación gramatical temprana
(AESLA, 2005)Este trabajo aporta datos de producción de mezclas de código al debate sobre la existencia de un único sistema versus dos sistemas lingüísticos durante las fases iniciales del desarrollo lin- güístico de niños bilingües. ... -
Pre-clinical validation of the UHP multifunctional upper-limb rehabilitation robot based platform
(IEEE, 2019-01-06)Interest in robotic devices for rehabilitation has increased in the last years, due to the increasing number of patients that require rehabilitation therapies, and the need to optimize existing resources. The UHP rehabilitation ... -
VO / OV en la mezcla de códigos infantil de bilingües vasco-castellano
(Universidad de Salamanca, 2005)En el debate abierto sobre si en la adquisición bilingüe temprana hay una fusión inicial de los códigos, se proponen diversos criterios de medición y cuantificación. Entre ellos, uno de los más utilizados como argumento a ...