Información del autor
Documentos disponibles escritos por este autor (9)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Martín Martín, Enrique ; Riesco Rodríguez, Adrián ; Montenegro Montes, Manuel ; Tamarit Muñoz, Salvador ; Sánchez Hernández, Jaime ; Gregorio Rodríguez, Carlos | 2016-01-28Proponemos estudiar la aplicabilidad y posibles medios de implementación de un sistema de tutoriales interactivos para el aprendizaje de la programación, donde el alumno aprende nuevos conceptos a la vez que los practica.texto impreso
Juan de Dios Cuartas, Marco Antonio ; Aguilar Hernández, Cristina ; Aráez Santiago, Tatiana ; Cerdá Vargas, Diego ; Colmenero Álvarez, Manuel ; Cuenca Rodríguez, María Elena ; Díaz Larraín, Pablo ; Espiga Méndez, Pablo ; Ferreiro Carballo, David ; Flores Fernández, Sindulfo ; Fraile Prieto, María Teresa ; Gregori Vaya, Natalia del Pilar ; Herradon Cueto, David ; Llorens Martín, Ana ; López Lorenzo, María Jesús ; Martínez Beltrán, Zoila ; Nagore Ferrer, María ; Peral Vega, Emilio Javier ; Pereira García, José María ; Pérez Castillo, María Belén ; Rodríguez-Tembleco Guilabert, Pablo ; Royan González, Isabel ; Sánchez Hernández, Jaime ; Sastre González, Javier ; Suarez Pajares, Francisco Javier ; Tello Ruiz-Pérez, Arturo ; Torres Clemente, Elena ; Valverde Flores, Tamara | 2020-06-30texto impreso
texto impreso
Román Navarro, Sara ; Hassan, Samer ; Ullán Hernández, Eva ; Gómez Gauchía, Héctor ; Sánchez Hernández, Jaime ; Peinado Gil, Federico ; Tenorio Fornés, Antonio | 2015-07-01El propósito de este proyecto era explorar el potencial de las aplicaciones web colaborativas para fomentar el aprendizaje cooperativo, y mejorar la participación y la motivación de los estudiantes, todo ello en función de distintos tipos de con[...]texto impreso
Aranda López, Gabriel ; Nieva Soto, Susana ; Sáenz Pérez, Fernando ; Sánchez Hernández, Jaime | Assoc Computing Machinery | 2009This work is aimed to show a concrete implementation of a deductive database system based on the scheme HH-(C) (Hereditary Harrop Formulas with Negation and Constraints) following a fixpoint semantics proposed in a previous work. We have develop[...]texto impreso
Juan de Dios Cuartas, Marco Antonio ; Torres Clemente, Elena ; Sánchez Hernández, Jaime ; Llorens Martín, Ana ; Gregori Vaya, Natalia del Pilar ; Nagorre Ferrer, María ; Suarez Pajares, Francisco Javier ; Pérez Castillo, María Belén ; Pereira García, José María ; Flores Fernández, Sindulfo ; Peral Vega, Emilio Javier ; Ferreiro Carballo, David ; Aráez Santiago, Tatiana ; Valverde Flores, Tamara ; Martínez Beltrán, Zoila ; Aguilar Hernández, Cristina ; Espiga Méndez, Pablo ; Martínez Fernández, Iker ; Rodríguez-Tembleco Gilabert, Pablo ; Herradon Cueto, David ; Díaz Larraín, Pablo ; Colmenero Álvarez, Manuel ; Moure Pascual, Carmen Ángela ; Royan González, Isabel ; Fraile Prieto, María Teresa ; Cuenca Rodríguez, María ElenaMemoria de las actividades del proyecto de Innova-Docencia nº256, coordinado por el Dr. Marco Antonio Juan de Dios Cuartas, profesor del Departamento de Musicología de la Universidad Complutense de Madrid.texto impreso
Peinado Gil, Federico ; Pavón Mestras, Juan ; Román Navarro, Sara ; Sánchez Hernández, Jaime ; Gómez Gauchía, Héctor ; Arroyo Gallardo, Javier ; Ullán Hernández, Eva ; Hassan, Samer ; Tenorio Fornés, Antonio | 2016-07-29El propósito de este proyecto ha sido el desarrollo y la consolidación de la manera en que los docentes gestionamos las denominadas ‘wikis’, páginas web autoeditables que varias asignaturas universitarias utilizan ya como recursos docentes abier[...]texto impreso
Aranda López, Gabriel ; Nieva Soto, Susana ; Sáenz Pérez, Fernando ; Sánchez Hernández, Jaime | 2013The relational database language SQL:1999 standard supports recursion, but thisapproach is limited to the linear case. Moreover, mutual recursion is not supported,and negation cannot be combined with recursion. We designed the language R-SQLto [...]texto impreso
López Fraguas, Francisco J. ; Martín Martín, Enrique ; Rodríguez Hortalá, Juan ; Sánchez Hernández, Jaime | Cambridge University Press | 2014-03Non-confluent and non-terminating constructor-based term rewrite systems are useful for the purpose of specification and programming. In particular, existing functional logic languages use such kind of rewrite systems to define possibly non-stri[...]
