Now showing items 133-136 of 324

    • Thumbnail

      One-Pass Context-Based Tableaux Systems for CTL and ECTL 

      Abuin Yepes, Alex; Bolotov, Alexander; Hermo Huguet, Montserrat; Lucio Carrasco, Francisca (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 ...
    • Thumbnail

      La mezcla de códigos (euskera-castellano) en el habla infantil: una prueba más de la separación gramatical temprana 

      Ezeizabarrena Segurola, María José ORCID; Manterola Agirre, Julen (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. ...
    • Thumbnail

      Pre-clinical validation of the UHP multifunctional upper-limb rehabilitation robot based platform 

      Mancisidor Barinagarrementeria, Aitziber ORCID; Zubizarreta Pico, Asier ORCID; Cabanes Axpe, Itziar ORCID; Brull Mesanza, Asier ORCID; Rodríguez Larrad, Ana; Jung, Je Hyung (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 ...
    • Thumbnail

      VO / OV en la mezcla de códigos infantil de bilingües vasco-castellano 

      Manterola Agirre, Julen (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 ...