Biblioteca de la Universidad Complutense de Madrid

Consultar por Materia

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Agrupar por: Tipo de documento | Autores
Ir a: | A | B | C | D | E | F | G | H | I | L | M | N | O | P | Q | R | S | T | V | Á
Número de eprints en este nivel: 207.

Barroso Puertas, Carmen y Guillamón Martín, Joaquín y Gonzalo Hinojosa, Iván (2013) Diseño de una herramienta software para el aprendizaje del idioma basado en procesos históricos. [Trabajo de curso] (No publicado)

A

Amador Pacheco, Julia (2016) The SEIQS stochastic epidemic model with external source of infection. Applied mathematical modelling . ISSN 0307-904X

Almache Montoya, Jefferson y Armas Perona, Juan Luis y Salgado Iturrino, María (2016) Desarrollo de un sistema informático para ayudar a adultos con síndrome de Asperger. [Trabajo Fin de Grado]

Alonso Garralón, Pedro (2016) Modelos de uso y recomendación social en entornos de enseñanza. [Trabajo Fin de Grado]

Albert Albiol, Elvira y Arenas Sánchez, Purificación y Genaim, Samir y Puebla, Germán (2015) A practical comparator of cost functions and its applications. Science of Computer Programming, 111 (P3). pp. 483-504. ISSN 0167-6423

Albert Albiol, Elvira y Arenas Sánchez, Purificación y Gómez Zamalloa, Miguel (2015) Test Case Generation of Actor Systems. In 13th International Symposium, ATVA 2015, October 12-15, 2015, Shanghai, China.

Albert Albiol, Elvira y Correas Fernández, Jesús y Puebla, Germán y Román Díez, Guillermo (2015) A Multi-Domain Incremental Analysis Engine and its Application to Incremental Resource Analysis. Theoretical Computer Science, 585 (20). pp. 91-114. ISSN 0304-3975

Almarza Díaz, David (2015) Evaluación del programa de simulación NetLogo como herramienta motivadora y eficaz para trabajar destrezas científicas. [Trabajo Fin de Máster]

Alfonso-Cendón, Javier y Fernández-de-Alba, José Mª y Fuentes-Fernández, Rubén y Pavón Mestras, Juan (2015) Implementation of context-aware workflows with Multi-agent Systems. Neurocomputing, 176 . pp. 91-97. ISSN 0925-2312

Albert Albiol, Elvira y Correas Fernández, Jesús y Román Díez, Guillermo (2015) Non-Cumulative Resource Analysis (Author’s version). In 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15), April 11-18, 2015, Londres, Reino Unido.

Albert Albiol, Elvira y Genaim, Samir y Gutiérrez, Raúl (2014) A Transformational Approach to Resource Analysis with Typed-Norms. In 23rd International Symposium, LOPSTR 2013, September 18–19, 2013, Madrid.

Albert Albiol, Elvira y Correas Fernández, Jesús y Puebla, Germán y Román Díez, Guillermo (2014) Quantified Abstract Configurations of Distributed Systems. Formal Aspects of Computing, 27 (4). pp. 665-699. ISSN 0934-5043

Albert Albiol, Elvira y Arenas Sánchez, Purificación y Genaim, Samir y Puebla, Germán y Román Díez, Guillermo (2014) Conditional Termination of Loops over Heap-Allocated Data. Science of computer programming, 92 (Part A). pp. 2-24. ISSN 0167-6423

Albert Albiol, Elvira y Correas Fernández, Jesús y Martín Martín, Enrique y Román Díez, Guillermo (2014) Static Inference of Transmission Data Sizes in Distributed Systems. In 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, 8 - 11 October 2014, Imperial, Corfu (Greece).

Alfonso-Cendón, Javier y Castejón Limas, Manuel y Ordieres Meré, Joaquín B. y Pavón Mestras, Juan (2014) Insights into the Prevalence of Software Project Defects. The Scientific World Journal, 2014 . ISSN 1537-744X

Ascanio Padilla, Juan R. (2014) ¿CRM, ERP o ambos? In Ciclo de conferencias de la Facultad de Informática 2013/2014, 21-05-2014, Aula 3 de la Facultad de Informática de la UCM. (No publicado)

Albert Albiol, Elvira y Arenas Sánchez, Puri y Gómez Zamalloa, Miguel (2014) Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. In 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, June 2014, Berlin.

Albert Albiol, Elvira y Arenas Sánchez, Purificación y Gómez Zamalloa, Miguel y Rojas, José Miguel (2014) Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency. In 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, June 16-20, 2014, Bertinoro, Italy.

Ascanio Padilla, Juan R. (2014) Érase una vez en el software corporativo. In Ciclo de conferencias de la Facultad de Informática 2013/2014. (No publicado)

Aragón Tebar, Laura y Arranz Ropero, Mario y Cabrerizo Galán, Sergio (2014) Rutas seguras en la ciudad para discapacitados psíquicos. [Trabajo de curso] (No publicado)

Alonso Rodríguez, Victor Manuel y Rodríguez García, Jaime Balbino y Grande Ayuso, María del Pilar (2013) Generación automática de reglas de cobertura para consultas SQL. [Trabajo Fin de Grado]

Alfaro Orgaz, Ana y Ballesteros Navajas, Sergio y Sesma Salgado, Lidia (2013) Mapa de recursos en la ciudad de Madrid: accesibilidad integral para el ciudadano. [Trabajo de curso] (No publicado)

Agudo Calvo, Belén y Jorro Aragoneses, José Luis y Valle Corral, Jessica del (2013) Sistema de recomendación de actividades turísticas: Madrid Live. [Trabajo de curso] (No publicado)

Andrés Sánchez, César y García Merayo, Mercedes y Núñez , M. (2012) Formal passive testing of timed systems: theory and tools. Software testing verification & reliability, 22 (6). pp. 365-405. ISSN 0960-0833

Andradas Heranz, Carlos y Recio, Tomás y Tabera, Luis F. y Rafael Sendra, J. y Villarino, Carlos (2011) Proper real reparametrization of rational ruled surfaces. Computer aided geometric design, 28 (2). pp. 102-113. ISSN 0167-8396

Andrés Sánchez, César (2008) Two quantitative extensions to perform formal testing of timed systems. [Trabajo Fin de Máster]

Alba Pastor, Carmen (2002) Evaluación sumativa y formativa de software educativo para la etapa infantil. [Tesis Doctoral]

B

Besada Portas, Eva (2016) EJS-TwinCAT 3.0: Nuevo laboratorio remoto integrado en Moodle para prácticas de control de Ingeniería de Sistemas y Automática. [Proyecto de Innovación Docente]

Boixadós Martínez, Jaime y Cifuentes de la Torre, Benito Álvaro y Zhang, Yaofang (2016) Generación automática de tests en DomJudge. [Trabajo Fin de Grado]

Báscones García, Daniel (2016) Implementación sobre FPGA de un algoritmo de compresión de imágenes hiperespectrales bajo el estándar CCSDS 123.0-B-1. [Trabajo Fin de Grado]

Ben-Amran, Amir M., Amir M. y Genaim, Samir (2015) Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions. In 27th International Conference, CAV 2015, July 18-24, 2015, San Francisco (California).

Borro Escribano, Blanca Beatriz (2015) Sistematización del desarrollo de simulaciones educativas con estrategia de juego en el campo médico. [Tesis Doctoral]

Blázquez García, Carlos y Aguado Minero, Miguel (2014) Auditor automático para nivel 3 del CMMI‐SW. [Trabajo de curso] (No publicado)

Bueno Gómez, Miguel y Segovia Sanz, Alberto y Torres González, Víctor (2013) Aplicación móvil itinerarios guiados Parque del Retiro. [Trabajo de curso] (No publicado)

Bustillo Rebanal, Álvaro y Callejo Luis, Arturo y Martos Gómez, Héctor A. (2013) Camino seguro al cole: aplicación móvil en colaboración con el Ayuntamiento de Madrid. [Trabajo de curso] (No publicado)

Bautista Barahona, Enrique y Salcedo Ramos, Ignacio y Ureña Herradón, Alberto (2012) Procesador automático de informes médicos. [Trabajo de curso] (No publicado)

Berbis González, Eduardo y León Guerrero,, Saúl y Orna Ruiz, Eva Pilar (2011) Tableaux verification tool. [Trabajo de curso] (No publicado)

Burgos Artizzu, Xavier Paolo (2010) Percepción y actuación para el tratamiento selectivo de malas hierbas en tiempo real. [Tesis Doctoral]

Blanco Aguado , Ángel del (2009) Una arquitectura general para la integración de videojuegos educativos en entornos virtuales de enseñanza. [Trabajo Fin de Máster]

Buenaga Rodríguez, Manuel de (2002) Integración de técnicas de procesamiento del lenguaje natural para la recuperación de información en bibliotecas de componentes software. [Tesis Doctoral]

C

Cabana Ramírez, Richard Jordan (2016) Anonimización de citas médicas mediante programación con restricciones. [Trabajo Fin de Máster]

Chamache Cachique, Óscar Andrés (2016) Análisis cuantitativo de técnicas de fusión de imágenes. [Trabajo Fin de Máster]

Camino García, Ana María (2016) Comparativa de herramientas de simulación de redes sociales. [Trabajo Fin de Máster]

Cobos Hernando, Raúl y Picado Álvarez, María y Soler Rus, Álvar David (2016) Realidad aumentada en el MIGS. [Trabajo Fin de Grado]

Cabeza García, José Pablo (2015) Azimuth: diseño y desarrollo de un videojuego no euclídeo. [Trabajo Fin de Grado]

Criado Gallart, Francisco (2015) Azimuth: diseño y desarrollo de un videojuego no euclídeo. [Trabajo Fin de Grado]

Crespo Cepeda, Rodrigo y El Yamri El Khatibi, Meriem y Carrera García, Juan Manuel (2015) CtOS Enabler. [Trabajo Fin de Grado]

Carrión Ovejero, Lara (2015) Detección de wedgies en BGP. [Trabajo Fin de Grado]

Costero Valero, Luis María (2015) Ejecución y adaptación de trazas de juegos para la automatización de pruebas. [Trabajo Fin de Grado]

Cerro Cañizares, Pablo (2015) MuTomVo: Mutation Testing framework for omnet-based simulated enVironments. [Trabajo Fin de Máster]

Castro Saturio, Laura María de y García Segador, Samuel y Hernández García, Mariano (2015) Videojuegos para aprender a programar videojuegos. [Trabajo Fin de Grado]

Crespo Salazar, Óscar y Jimeno Garrachón, Gorka y Valero Martín, Luis (2014) VNC++, control remoto desde Android. [Trabajo Fin de Grado]

Cruz Botelho, Giovanna da (2013) Auditor automático para nivel 2 del CMMI-SW. [Trabajo de curso] (No publicado)

Cerro Cañizares, Pablo y Esteban Luis, Cristina María (2013) Emulador software para el cálculo de primos de Mersenne. [Trabajo de curso] (No publicado)

Crespo Salazar, Óscar y Jimeno Garrachón, Gorka y Valero Martín, Luis (2013) VNC++, control remoto desde Android. [Trabajo Fin de Grado]

Celador Hernández, José Enrique y Lucas Martín, Ignacio y Torres Bustillos, Carla (2012) Simulador ARM en el ámbito docente. [Trabajo de curso] (No publicado)

Camacho González , Carlos (2012) Software product lines using FODA: a formal approach. [Trabajo Fin de Máster]

Cortés Benavides, Humberto Javier (2011) Extensión UML para el modelado de mapas navegacionales de aplicaciones web basado en MDA. [Trabajo Fin de Máster]

Cristóbal Barrios, Jesús (2011) Soporte en plataformas de e-Learning a patrones pedagógicos. [Trabajo Fin de Máster]

Cabañas Ruiz, Israel y lores Montoya, Antonio y Gutiérrez Mota, Sergio (2011) jPET: un generador de casos de prueba sobre programas Java. [Trabajo de curso] (No publicado)

Codescu, Mihai y Mossakowski, Till y Riesco Rodríguez, Adrián y Christian, Maeder (2010) Integrating Maude into Hets. [ ] (No publicado)

Collado Iglesias , Blanca y Fernández Sánchez , Antonio Javier y Pozuelo González , Sara (2010) Detección de pares de movimiento propio común mediante minería de datos. [Trabajo de curso] (No publicado)

Castilla Carramiñana , Joaquín y Mendiola Martínez, Laura y Zumaeta Sánchez, Rosa Olivia (2010) Generador de currículos en diferentes estilos: aplicación web. [Trabajo de curso] (No publicado)

Caballero Prados, Jorge y Jimeno Hidalgo, Pablo Rodrigo y Ortega Maestro, Raúl (2010) Sistema de análisis de encuestas de marcas de distribuidor. [Trabajo de curso] (No publicado)

Cleva Millor, José Miguel y Gregorio Rodríguez, Carlos y Rosa Velardo, Fernando (2005) Un campus virtual alternativo. In II Jornada Campus Virtual UCM: cómo integrar investigación y docencia en el CV-UCM. Editorial Complutense, Madrid, pp. 222-232. ISBN 84-7491-787-5

D

Díaz Bailón, Diego y Martínez Sánchez, Manuel y Panero, Pablo (2016) Desarrollo de una app para la generación preventiva de alertas sanitarias. [Trabajo Fin de Grado]

Doménech Arellano, Jesús Javier (2016) EasyInterface: a toolkit for the rapid development of GUIs for research prototype tools. [Trabajo Fin de Máster]

Delgado Rodríguez, Cristina y Rocillo Landa, Ignacio y Muñoz Rodríguez, Jorge y Rueda Garzón, Jorge y Fuentes Urabayen, Sergio (2016) Recomendación dinámica de productos a grupos con realidad aumentada. [Trabajo Fin de Grado]

Del Barrio García, Alberto Antonio y Ayala Rodrigo, José Luis y Hermida Correa, Román (2015) Receptor Software de bajo coste e Interfaz Computerizada para el Estudio Práctico de las Comunicaciones Radioeléctricas. [Proyecto de Innovación Docente]

Díaz de la Cruz, Virginia (2014) Análisis hidrológico e hidráulico mediante técnicas SIG de la peligrosidad por inundaciones en el cuenca del Pla de Sant Jordi (Mallorca). [Trabajo Fin de Máster]

Domínguez Bayo, Helio Alejandro (2012) Simulación de modelos demográficos basados en agentes. [Trabajo Fin de Máster]

Domenech Marín, Francisco (2011) ASA: sistema automático de personalización aplicado a personajes de videojuegos. [Trabajo Fin de Máster]

E

Estévez González, Víctor (2013) Visión general de los Sistemas de Información Geográfica: Geoservicios en la web. [Trabajo Fin de Máster]

Esteve Díaz, Pablo y Roldán Gutiérrez, David y Mendoza Macías, Juan Carlos de (2010) e-Learning managements tools. [Trabajo de curso] (No publicado)

F

Fernández-Pampillón Cesteros, Ana Mª y Sarasa Cabezuelo, Antonio (2016) Una propuesta para medir la calidad de la docencia virtual. Actas del Fourth International Conference on Technological Ecosystems for Enhancing Multiculturality (TEEM 2016). . pp. 155-162. (No publicado)

Fernández Isabel, Alberto (2016) Desarrollo dirigido por modelos para la simulación de tráfico rodado basada en agentes. [Tesis Doctoral]

Feliu Ladaria, Juan Carlos y Gutiérrez Hernández-Gil, Carlos y Olmedo Martín, Jacobo y Pavón Núñez, Javier (2014) HAAP: servicios de hotel en el móvil. [Trabajo Fin de Grado]

Fernández Ortihuela, Jorge y Torre González, Ricardo de la (2014) Simulador ferroviario del elemento de campo baliza. [Trabajo de curso] (No publicado)

Fernández-Valmayor Crespo, Alfredo y Fernández-Pampillón Cesteros, Ana y Varadero Software Factory, VSF (2013) Guía de Gestión del repositorio de Objetos Digitales OdA. [ ] (No publicado)

Fernández Vázquez, Carlos y Octavio de Toledo Rodríguez, María del Mar y Sanmartín Sánchez, Antonio (2013) Aplicación móvil para escuelas de educación ambiental del Ayuntamiento de Madrid. [Trabajo de curso] (No publicado)

Fernández-Pampillón Cesteros, Ana (2012) El proyecto OdA: “Objetos de Aprendizaje en el campus virtual”. [ ] (No publicado)

Fernández Sáez, Pedro Antonio (2009) Un análisis crítico de la aproximación Model-Driven architecture. [Trabajo Fin de Máster]

Fernández Sánchez, Alberto y Arnáiz García, Diego y Martín Esquifino, Javier (2004) Cluster de PlayStation 2. [Trabajo de curso] (No publicado)

G

Gómez-Zamalloa Gil, Miguel y Albert Albiol, Elvira y Arenas Sánchez, Purificación y Correas Fernández, Jesús y Genaim, Samir y Román Díez, Guillermo (2016) Aplicación del sistema jPET para la generación automática de tests en asignaturas de programación con Java. [Proyecto de Innovación Docente]

González García, María Victoria (2016) Análisis del movimiento en secuencias de imágenes. [Trabajo Fin de Grado]

García González-Albo, Javier (2016) Software de comunicación para personas con parálisis cerebral. [Trabajo Fin de Grado]

Gervás Gómez-Navarro, Pablo y Hervás Ballesteros, Raquel y Bautista Blasco, Susana y Rojo, Javier (2015) An Approach to Treat Numerical Information in the Text Simplification Process. Universal Access in the Information Society . p. 18. ISSN 1615-5289

García de Dios, Miguel Ángel (2015) Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información. [Tesis Doctoral]

Gervás Gómez-Navarro, Pablo (2015) Tightening the Constraints on Form and Content for an Existing Computer Poet. AISB Convention 2015 .

Gilabert Santos, Juan Antonio (2015) Aprendizaje mediante el desarrollo de una actividad colaborativa entre estudiantes de veterinaria y de informática: desarrollo de la app "Formulario Terapéutico de Mamíferos Marinos". [Proyecto de Innovación Docente]

Gayoso Cabada, Joaquín y Fernández-Pampillón Cesteros, Ana M. y Sierra Rodríguez, Jose Luis (2015) Exportador/Actualizador de datos OdA-XLS. Guía Técnica. [ ] (No publicado)

Gayoso Cabada, Joaquín y Fernández-Pampillón Cesteros, Ana M. y Sierra Rodríguez, Jose Luis (2015) Generador de informes HTML con OdA-Clavy. Guía Técnica. [ ] (No publicado)

Gil García, Eva María (2015) INTERacción comunicativa en mensajería instantánea bajo sistemas SAACs : <<INTERSAACs>>. [Trabajo Fin de Máster]

Gil Jiménez, Sergio y Aguilar Méndez, Johanna (2015) Sistema online de apoyo al programa de Mentorias FDI. [Trabajo Fin de Grado]

Gordillo Alguacil, Pablo (2015) Static analysis of concurrent objects: May-Happen-in-Parallel fo asynchronous programs with Inter-procedural synchronization. [Trabajo Fin de Grado]

Gervás Gómez-Navarro, Pablo y León Aznar, Carlos (2015) When Reflective Feedback Triggers Goal Revision: a computational Model for Literary Creativity∗. CEUR Workshop Proceedings, 1407 . pp. 32-39.

Gervás Gómez-Navarro, Pablo (2014) Reviewing Propp’s Story Generation Procedure in the Light of Computational Creativity. AISB 2014 .

García Rodríguez, Hugo y Román García, Miguel y Martínez Molinos, Pablo (2014) Calidad del software en tecnologías móviles : adaptación y actualización de aplicaciones móviles a los estándares de calidad del Ayuntamiento de Madrid. [Trabajo de curso] (No publicado)

Gallofré Nieva, Xavier y López San José, Jesús F. y Pérez Liaño, Álvaro (2014) Desarrollo de dispositivos e-Health de bajo coste para Raspberry Pi. [Trabajo de curso] (No publicado)

Gervás Gómez-Navarro, Pablo y León Aznar, Carlos (2014) The Need for Multi-Aspectual Representation of Narratives in Modelling their Creative Process. OpenAccess Series in Informatics, 41 . pp. 61-76.

González del Campo Rodríguez Barbero, Ramón (2013) Generalizaciones de las medidas de especificidad de la Τ-transitividad para conjuntos difusos intervalo valorados. [Tesis Doctoral]

Goicoechea Lassaletta, Aris y Calleja Fernández, Marcos y Pizarro Moleón, Pablo (2012) Terraform: simulación de vida sobre planetas generados. [Trabajo de curso] (No publicado)

González Escudero, Álvaro y Álvarez Ramírez, Daniel y Acosta Berrio, Laura (2012) jPET 2.0: un generador automático de casos de prueba sobre programas Java. [Trabajo de curso] (No publicado)

García, Pedro Pablo (2011) Desarrollo de un sistema de consultas web para sistemas SAT. [Trabajo de curso] (No publicado)

García Gallardo, Orión (2011) Simulación basada en agentes de tráfico aéreo. [Trabajo Fin de Máster]

García Tartera, Francisco J. (2010) Programas simuladores. MAD.RID . pp. 3-10. ISSN 2171-7842

García-Magariño García, Iván (2010) Un marco para la definición y transformación de modelos en los sistemas multiagentes. [Tesis Doctoral]

García Logrosán, Ángel y Vicente Díez, Beatriz y Vlad, Alexandra (2010) Bib Manager y Word Citer. [Trabajo de curso] (No publicado)

García Sánchez , Ana María (2010) Evaluación de métricas de calidad del software sobre un programa Java. [Trabajo Fin de Máster]

Gracia Benítez, Juan Pablo (2010) Marco para la transformación de modelos basado en gramáticas de atributos. [Trabajo Fin de Máster]

Galán Vicente, Daniel y González Ariibas, Francisco (2010) Simulador de elementos de campo para el control de tráfico ferroviario. [Trabajo de curso]

Gómez Martín, Marco Antonio (2009) Arquitectura y metodología para el desarrollo de sistemas educativos basados en videojuegos. [Tesis Doctoral]

Gómez Martín, Pedro Pablo (2009) Modelo de enseñanza basada en casos: de los tutores inteligentes a los videojuegos. [Tesis Doctoral]

Gómez Albarrán, Mercedes y Jiménez Díaz, Guillermo y López Fernández, Marta y Gómez Martín, Marco Antonio y Hernández Yáñez, Luis Antonio y Ruiz Iniesta, Almudena y Díaz Esteban, Alberto (2009) Evolución de un espacio de trabajo multidisciplinar para el aprendizaje de la programación basado en casos prácticos: de los repositorios a los cursos adaptativos en el Campus Virtual de la UCM. In V Jornada Campus Virtual UCM: Buenas prácticas e indicios de calidad. Universidad Complutense, Madrid, pp. 39-49. ISBN 978-84-7491-968-4

Gómez Gómez, Francisco y Munuera Gómez, Pilar (2006) Experiencia del espacio virtual de coordinación de la Escuela de Trabajo Social. Acciones e Investigaciones Sociales (22). pp. 1-23. ISSN 1132-192X

Gómez Gómez, Francisco (2006) Innovación y Mejora de la Calidad Docente en Trabajo Social. Innovation and Improvement of the Educational Quality in Social Work. Acciones e Investigaciones Sociales (22). pp. 1-29. ISSN 1132-192X

Gutiérrez, J. P. y Goyache, F. (2005) A note on ENDOG: a computer program for analysing pedigree information. Journal of Animal Breeding and Genetics, 122 (3). pp. 172-176. ISSN 0931-2668

Gutiérrez García, Juan Pablo y Royo Martín, Luis José y Fernández Álvarez, Ana Isabel y Goyache Goñi, Félix María (2005) MolKin v2.0: a computer program for genetic analysis of populations using molecular coancestry information. Journal of Heredity, 96 (6). pp. 718-721. ISSN 0022-1503

Gómez-Zamalloa Gil, Miguel y Albert Albiol, Elvira y Arenas Sánchez, Purificación y Correas Fernández, Jesús y Genaim, Samir y Puebla Sánchez, Germán y Román Díez, Guillermo y Peces, Raquel y Giraldo, Carlos Gabriel y Antolín, Clara (2015) Desarrollo de una herramienta de depuración simbólica para las asignaturas de iniciación a la programación en las facultades de Informática y Estudios Estadísticos. [Proyecto de Innovación Docente]

H

Hernández Bécares, Jennifer (2015) Ejecución y adaptación de trazas de juegos para la automatización de pruebas. [Trabajo Fin de Grado]

Hervás Martín, Lucía y Martínez Simón, Víctor y Sánchez Martínez, Irene (2013) Extracción de información en informes médicos. [Trabajo de curso] (No publicado)

Henche Grande, Laura (2010) ¿Un Videojuego en la Biblioteca? [Trabajo de curso] (No publicado)

Hassan Collado, Samer (2007) Modelado y simulación de la evolución de valores en sociedades humanas con agentes software. [Trabajo Fin de Máster]

I

Ibáñez Garikano, Kristina (2016) Aplicación de métodos de aprendizaje automático para el estudio de la comorbilidad inversa entre cáncer y trastornos del sistema nervioso central. [Tesis Doctoral]

Ivorra, Benjamin (2015) Solving industrial design problems by using COMSOL Multiphysics with MATLAB. In Iberian COMSOL Multiphysics Conference, Junio 2015, Málaga. (Presentado)

L

Llorente de la Cita, Guillermo y Lázaro-Carrasco Hernández, Luis (2016) Diseño e implementación del kernel de xDEVS, versión distribuida. [Trabajo Fin de Grado]

Laclaustra Yebes, Iván Manuel (2016) Generación de narrativa basada en criterios de calidad aprendidos automáticamente. [Trabajo Fin de Máster]

López Orozco, José Antonio y Díaz Agudo, Belén y Piñuel Moreno, Luis y Gómez Pérez, José Ignacio y Chaver Martínez, Daniel Angel y Castro Rodríguez, Fernándo y García Sanchez, Carlos y Tenllado Van der Reijden, Christian Tomas (2015) Generación automática de informes del programa Docentia para las memorias de seguimiento de los centros. [Proyecto de Innovación Docente]

Llansó García, David (2014) Metodología ontológica para el desarrollo de videojuegos. [Tesis Doctoral]

López Fraguas, Francisco J. y Martín Martín, Enrique y Rodríguez Hortalá, Juan (2014) Safe typing of functional logic programs with opaque patterns and local bindings. Information and Computation, 235 . pp. 36-69. ISSN 0890-5401

Linde Blázquez, Francisco Javier (2014) glUCModel para iOS. [Trabajo Fin de Grado]

Luis Nieto, Sergio de y González Ledesma, David y Muñoz del Rey, Alejandro (2013) eCharacter: una herramienta libre para la creación de personajes 3D. [Trabajo de curso] (No publicado)

M

Martín Sánchez, Óscar y Verdejo López, Alberto y Martí Oliet, Narciso (2016) Egalitarian state-transition systems (extended version). [ ] (No publicado)

Martínez Ortiz, Iván y Díaz Agudo, Maria Belén y Jiménez Díaz, Guillermo y Mendías Cuadros, José Manuel y Vázquez Poletti, José Luis (2016) Realidad Aumentada en el Museo de Informática García Santesmases (MIGS++). [Proyecto de Innovación Docente]

Montes Romero, Manuel (2016) La nube como apoyo a la producción audiovisual. [Trabajo Fin de Máster]

Martín Sánchez, Óscar y Verdejo López, Alberto y Martí Oliet, Narciso (2016) Synchronous products of rewrite systems (extended version). [ ] (No publicado)

Miguez Rein, Rodrigo Claudio y Muñoz Lorenzo, David y Vizcaya Hervella, Alexis (2016) ACCELBIKE. [Trabajo Fin de Grado]

Manjavacas Santos, Álvaro David (2016) Adaptación e implementación de mejoras en un proyecto de software libre a un sistema cash-flow muy eficiente y seguro : integración y desarrollo de todas las funciones de la Máquina SP-CR2 de Gunnebo al punto de venta Unicente e implementación de menús y mejoras en el mismo. [Trabajo Fin de Grado]

Martín Medina, Federico y Martín Sanz, Nuria (2016) Caramelos con sabor a nota: desarrollo de un sistema de recompensas para el seguimiento de la participación y la evaluación de trabajos en grupo. [Trabajo Fin de Grado]

Martín Guerrero, Alejandro y Julca Bedón, Frank Vito (2016) Generación de historias centradas en el usuario en entornos 3D. [Trabajo Fin de Grado]

Montaña Garrido, Víctor (2016) Implementación de un framework para la inclusión de logros en "¡Acepta el Reto!". [Trabajo Fin de Grado]

Mendoza Diez, Ricardo Francisco (2016) Optimización de la ejecución de flujos de trabajos empresariales en infraestructuras cloud. [Trabajo Fin de Máster]

Martín Alonso, Jesús (2016) Plataforma HW-SW para el disparo de fuegos artificiales. [Trabajo Fin de Máster]

Marco González, Juan Carlos y Martín Herrero, Iván (2016) Recomendador adaptativo y entrenador Pre-Flop para NLHE. [Trabajo Fin de Grado]

Mazzaroto, Solange Francisca (2015) A Interação no ambiente organizacional a partir da utilização de ferramentas de colaboração. In Desafíos y oportunidades de las Ciencias de la Información y la Documentación en la era digital: actas del VII Encuentro Ibérico EDICIC 2015 (Madrid, 16 y 17 de noviembre de 2015). Universidad Complutense de Madrid, Madrid. ISBN 978-84-608-3330-7

Martín de los Ríos Sáiz, Héctor (2015) Modelo de adecuación y arquitectura de aplicaciones utilizando patrones arquitectónicos modelo vista controlador en el frontend. [Trabajo Fin de Máster]

Mesquita Buiati, Fábio (2013) Diseño e implementación de un sistema de información de movilidad para redes heterogéneas. [Tesis Doctoral]

Moya Señas, Ignacio (2013) Diseño de ejemplos docentes para el aprendizaje eficaz de metodologías orientadas a agentes. [Trabajo Fin de Máster]

Morillo Prieto, Héctor Abraham (2013) Entorno de experimentación para generación de indicaciones en interiores. [Trabajo Fin de Máster]

Martínez Moreno, Pedro Luis y Nombela Gómez, Juan Manuel y Salinas Fernández, Daniel (2013) Herramienta para la experimentación sobre métricas de testeabilidad. [Trabajo de curso] (No publicado)

Martín, Óscar (2013) Model checking TLR* guarantee formulas on infinite systems. [Trabajo Fin de Máster]

Moya Ruiz, Carlos y Constanzo Oliver, David José y Martín Díez-Madroñero, Julián (2012) Desarrollo basado en modelos de aplicaciones de gestión de datos para dispositivos móviles. [Trabajo de curso] (No publicado)

Martínez del Camino, Guillermo (2012) Simulaciones de emergencia en entornos 3D. [Trabajo de curso] (No publicado)

Martín López, Fausto y Pedrosa Guerrero, Jesús y Sánchez González, Luis (2011) Editor colaborativo. [Trabajo de curso] (No publicado)

Moscardó Marichalar, Javier y Pozuelo Mayordomo, Pablo y Truan Cano, Guillermo (2011) Software libre de gestión Web de una consulta: gestión de consultas de traumatología. [Trabajo de curso] (No publicado)

Martínez Comeche, Juan Antonio y Razquin Zazpe, Pedro y Tejada Artigas, Carlos y Ramos Simón, Fernando (2007) La utilización de software de código libre en el área de Biblioteconomía y Documentación en España: el caso de la Universidad Complutense de Madrid. Revista General de Información y Documentación, 17 (1). pp. 7-29. ISSN 1131-8635

Martínez Usero, José Ángel (2006) La utilización del Software Libre y de los Formatos Abiertos en la Administración Pública. AR: Revista de Derecho Informático (96). ISSN 1681-5726

Maestro de la Cuerda, Juan Antonio (2002) Técnicas de estimación de rendimiento y área para el particionamiento hardware-software en un entorno de codiseño. [Tesis Doctoral]

Martinez-Ortiz, Ivan y Diaz Agudo, Belen y Alonso Garcia, Miguel Aurelio y Recio García, Juan Antonio (2015) MENTORIZATE-UCM: Herramientas de gestión del programa de mentorías en la UCM. [Proyecto de Innovación Docente]

N

Nieto Cobo, David y Rico Valverde, David (2016) GesInv: portal de ayuda a la gestión de la investigación. [Trabajo Fin de Grado]

Navarro Martín, Antonio (2004) Conceptualización, prototipado y proceso de aplicaciones hipermedia. [Tesis Doctoral]

O

Ortiz Folgado, Ángel Luis y Pérez La Madrid, Óscar Eduardo y Vargas Rastrollo, Esteban (2015) Estudio de tendencias diarias en Twitter. [Trabajo Fin de Grado]

Ospino Rivas, John (2013) ECREHAB: ecosistema para herramientas software de rehabilitación cognitiva. [Trabajo Fin de Máster]

P

Pérez Colado, Iván José y Pérez Colado, Víctor Manuel (2014) Un conjunto de herramientas para Unity orientado al desarrollo de videojuegos de acción-aventura y estilo retro con gráficos isométricos 3D. [Trabajo Fin de Grado]

Peñalver Santorio, Alejandro y Pragnell Valentín, Ricardo (2013) ANVM-Virtual Mapping. [Trabajo de curso] (No publicado)

Pareja Lora, Antonio (2014) Aprendiendo inglés autónoma y ubicuamente (a cualquier hora y en cualquier lugar): uso de apps (aplicaciones para dispositivos móviles) como complemento a las clases presenciales en la universidad (Ref.: UCM-PIMCD-323). [Proyecto de Innovación Docente]

Q

Quijano Sánchez, Lara (2015) Impacto de los factores u organizaciones sociales en los procesos de recomendación para grupos. [Tesis Doctoral]

R

Roldán Santos, David (2016) Asistente para composición de música minimalista. [Trabajo Fin de Grado]

Rojas García, Isaac (2015) Monitorización del plano de datos en redes definidas por software. [Trabajo Fin de Máster]

Ruiz Iniesta, Almudena (2014) Estrategias de recomendación basadas en conocimiento para la localización personalizada de recursos en repositorios educativos. [Tesis Doctoral]

Ruiz Martín, Carlos y Galván Calleja, Paloma (2014) Editor predictivo de mensajes en pictogramas. [Trabajo Fin de Grado]

Rabanillo García, Juan (2013) Detección de Soft Errors en Bloques Multiplicadores de Filtros FIR. [Trabajo Fin de Máster]

Rodríguez-Pascual, Manuel (2012) Ejecución eficiente de códigos Monte Carlo en infraestructuras de Grid. [Tesis Doctoral]

Ruiz Caricote, César Octavio (2012) Desarrollo de RIAS: caso de estudio en el dominio de la anotación de textos literarios digitalizados. [Trabajo Fin de Máster]

Rodríguez Pérez, Álvaro (2009) Asistente para gestión de organizaciones de agentes software. [Trabajo Fin de Máster]

Rosa Velardo, Fernando (2007) Petri nets for the verification of Ubiquitous Systems with Transient Secure Association. [ Technical Report ; 2/07, ] (No publicado)

Razquin Zazpe, Pedro (1998) Las Bases de datos multimedia revisadas. Cuadernos de documentación multimedia (6-7). pp. 247-258. ISSN 1133-3030

Razquin Zazpe, Pedro (1998) Los sistemas de autor multimedia. Revista General de Información y Documentación, 8 (2). pp. 127-139. ISSN 1132-1873

Razquin Zazpe, Pedro (1997) Del hipertexto al multimedia interactivo: Evolución, situación actual y perspectivas de los sistemas y aplicaciones multimedia. Revista General de Información y Documentación, 7 (1). pp. 107-132. ISSN 1132-1873

Rodrigo Mateos, José Lázaro (1994) Programa de extracción automática de palabras con su contexto: REAL. Revista de la SEPLN, 14 . pp. 149-163. ISSN 1135-5948

S

Sarasa Cabezuelo, Antonio (2016) Herramientas de visualización de datos para su uso en el ambito docente. [Proyecto de Innovación Docente]

Salcedo Gutiérrez, David y Gómez Redondo, Christian (2016) Aplicación interactiva para pacientes con deficiencias cognitivas leves. [Trabajo Fin de Grado]

Samper González, Juan y Cruz Martínez, Roberto de la (2016) Interfaz software/hardware entre Raspberry Pi y FPGA Spartan-6 y su aplicación a simulación dirigida por eventos. [Trabajo Fin de Grado]

Sánchez Pastor, Fernando (2016) Mecanismos de optimización en el procesado para H.265/HEVC. [Trabajo Fin de Máster]

Saa Romano, Adriel y Mayordomo Moreno, Jaime y Terrón Menoyo, Javier (2016) Proyecto UCM Reservas : una herramienta para la mejora de la reserva de espacios de la Facultad de Informática. [Trabajo Fin de Grado]

Sotelo Monge, Marco Antonio (2015) Arquitectura para la mejora de la calidad de servicios multimedia en redes definidas por software. [Trabajo Fin de Máster]

Sánchez-Carrasco García, Matías (2015) Auditoría compatibilidad producto software. [Trabajo Fin de Grado]

Santamaría Barcina, Antonio y Alexiades Estarriol, Alejandro (2015) Reconstrucción de una video-aventura isométrica clásica utilizando IsoUnity como herramienta de producción multiplataforma. [Trabajo Fin de Grado]

Sánchez González, Javier y Laurentiu Dulceanu, Anghel y San Gabino Moreno, Daniel (2014) easyMahout : entorno de ejecución de algoritmos inteligentes de Mahour para Hadoop y Big Data. [Trabajo de curso] (No publicado)

Serrano Laguna , Ángel (2012) GLAS : framework to improve assesment in educational videogames. [Trabajo Fin de Máster]

Sáenz Pérez, Fernando (2011) Deductive databases. In Ciclo de conferencias de la Facultad de Informática 2010/2011, 21 de septiembre de 2011, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Sanz Troyano, Elisa (2010) Introducing accesibility features in authoring tools for creating accesible educational games: e-adventure. [Trabajo Fin de Máster]

Sastre Llorente, Santiago (2006) Programa multimedia de desarrollo de capacidades en alumnos del primer ciclo de educación primaria. [Tesis Doctoral]

Sánchez Sánchez, Vanesa y Vicente Martín, Soledad y Coba Crespo, Eduardo (2005) Simulación de la creación de una “Start-up” de tecnología de servicios inalámbricos mediante PDA´s. [Trabajo de curso] (No publicado)

Sáenz Pérez, Fernando (2002) Sistema de identificación y explotación de paralelismo en programas lógico-funcionales. [Tesis Doctoral]

T

Tomé Coronas, Alfonso y Valle Corral, Verónica del (2016) Social Fan: un generador de redes sociales. [Trabajo Fin de Grado]

Torres Porta, Miguel (2016) Una plataforma móvil para la enseñanza de la literatura inglesa. [Trabajo Fin de Grado]

Torres de Alba, Roberto (2014) Aplicación de las unidades de procesamiento gráfico en el diseño e implementación de sistemas de ray tracing. [Tesis Doctoral]

V

Vargas Paredes, Jhonny y Penit Granado, Víctor (2016) Estudio y aplicación de metaheurísticas y comparación con métodos exhaustivos. [Trabajo Fin de Grado]

Valenciano López, Javier (2015) Auditoría [de] mantenibilidad [para] aplicaciones según la ISO/IEC 25000. [Trabajo Fin de Grado]

Villanueva Micó, Rafael Jacinto (2013) Pertinence of a change in the meningococcal C vaccine schedule in the Community of Valencia: agent-based modeling. In Ciclo de conferencias de la Facultad de Informática 2012/2013, 18 de junio de 2013, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Vázquez Morcillo, Andrés (2002) Especificación, diseño, implementación y validación de diferentes estructuras de material informatizado para E.A.C. de la física mediante un entorno de autor mixto. [Tesis Doctoral]

Á

Álvarez Sánchez, Christian y Arboleda Arturo, Kevin Darío (2016) Generación de historias centradas en el usuario con plataformas móviles. [Trabajo Fin de Grado]

Álvarez Piñeiro, Emilio (2016) Reconocimiento de una plataforma para aterrizaje de UAV mediante procesamiento de imágenes. [Trabajo Fin de Grado]

Álvarez Muñoz, Ángel y Conca Gran, Pablo y Figueroa Cadenas, Héctor Jesús (2014) Analizador de manos de NLHE siguiendo estrategias configurables. [Trabajo Fin de Grado]

Álvarez Herradón, Juan Luis y Arévalo Ruiz, David y García Sojo, Jesús y Marhuenda Palmón, Carlos (2014) DermaSystem : gestión informática en dermatología. [Trabajo Fin de Grado]

Ávalos García, Adolfo y Barrera Martínez, Ildefonso y Gabriel y Galán Moris, José María y Gallardo García, Tomás y Gómez Garay, Aranzazu y Hernández, José María y Lahoz Beltrá, Rafael y López González-Nieto, Pilar y Marcos Samaniego, Nieves y Martín Calvarro, Luisa y García Moreno, Ana y Oliván Martínez, Gisela y Pérez-Urria Carril, Elena y Pintos López, Beatriz (2011) UCM-MACB 2.0: A Complutense University Virtual Herbarium Project. In Proceedings of EDULEARN11 Conference (International Conference on Education and New Learning Technologies). International Association of Technology, Education and Development (IATED), 001446-001451. ISBN 978-84-615-0441-1

Esta lista fue generada el Thu Dec 8 02:09:57 2016 CET.