Complutense University Library

Items where Subject is "Sciences > Computer science > Software"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Creators
Number of items at this level: 190.

Article

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

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and 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

Gervás Gómez-Navarro, Pablo and Hervás Ballesteros, Raquel and Bautista Blasco, Susana and 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

Albert Albiol, Elvira and Correas Fernández, Jesús and Puebla, Germán and 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

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

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

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

Albert Albiol, Elvira and Correas Fernández, Jesús and Puebla, Germán and 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 and Arenas Sánchez, Purificación and Genaim, Samir and Puebla, Germán and 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

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

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

López Fraguas, Francisco J. and Martín Martín, Enrique and 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

Gervás Gómez-Navarro, Pablo and 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.

Andrés Sánchez, César and García Merayo, Mercedes and 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 and Recio, Tomás and Tabera, Luis F. and Rafael Sendra, J. and Villarino, Carlos (2011) Proper real reparametrization of rational ruled surfaces. Computer aided geometric design, 28 (2). pp. 102-113. ISSN 0167-8396

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

Martínez Comeche, Juan Antonio and Razquin Zazpe, Pedro and Tejada Artigas, Carlos and 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

Gómez Gómez, Francisco and 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. and 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 and Royo Martín, Luis José and Fernández Álvarez, Ana Isabel and 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

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

Working Paper or Technical Report

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

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

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

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

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

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

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

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

Book Section

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

Ávalos García, Adolfo and Barrera Martínez, Ildefonso and Gabriel y Galán Moris, José María and Gallardo García, Tomás and Gómez Garay, Aranzazu and Hernández, José María and Lahoz Beltrá, Rafael and López González-Nieto, Pilar and Marcos Samaniego, Nieves and Martín Calvarro, Luisa and García Moreno, Ana and Oliván Martínez, Gisela and Pérez-Urria Carril, Elena and 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

Gómez Albarrán, Mercedes and Jiménez Díaz, Guillermo and López Fernández, Marta and Gómez Martín, Marco Antonio and Hernández Yáñez, Luis Antonio and Ruiz Iniesta, Almudena and 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

Cleva Millor, José Miguel and Gregorio Rodríguez, Carlos and 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

Conference or Workshop Item

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

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

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

Albert Albiol, Elvira and Correas Fernández, Jesús and 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 and Genaim, Samir and 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 and Correas Fernández, Jesús and Martín Martín, Enrique and 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).

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. (Unpublished)

Albert Albiol, Elvira and Arenas Sánchez, Puri and 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 and Arenas Sánchez, Purificación and Gómez Zamalloa, Miguel and 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. (Unpublished)

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. (Submitted)

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. (Submitted)

Thesis

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. [Thesis]

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

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

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

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

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. [Thesis]

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

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

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

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

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

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

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

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

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

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

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

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. [Thesis]

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

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. [Thesis]

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

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. [Thesis]

Trabajo Fin de Máster

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

Laclaustra Yebes, Iván Manuel (2016) Generación de narrativa basada en criterios de calidad aprendidos automáticamente. [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]

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]

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]

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

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]

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

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

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]

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

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]

Ospino Rivas, John (2013) ECREHAB: ecosistema para herramientas software de rehabilitación cognitiva. [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ín, Óscar (2013) Model checking TLR* guarantee formulas on infinite systems. [Trabajo Fin de Máster]

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]

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]

Serrano Laguna , Ángel (2012) GLAS : framework to improve assesment in educational videogames. [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]

Camacho González , Carlos (2012) Software product lines using FODA: a formal approach. [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]

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]

García Gallardo, Orión (2011) Simulación basada en agentes de tráfico aéreo. [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]

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]

Sanz Troyano, Elisa (2010) Introducing accesibility features in authoring tools for creating accesible educational games: e-adventure. [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]

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

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

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]

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

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]

Proyecto de Innovación Docente

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

Gómez-Zamalloa Gil, Miguel and Albert Albiol, Elvira and Arenas Sánchez, Purificación and Correas Fernández, Jesús and Genaim, Samir and 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]

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]

Del Barrio García, Alberto Antonio and Ayala Rodrigo, José Luis and 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]

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]

López Orozco, José Antonio and Díaz Agudo, Belén and Piñuel Moreno, Luis and Gómez Pérez, José Ignacio and Chaver Martínez, Daniel Angel and Castro Rodríguez, Fernándo and García Sanchez, Carlos and 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]

Martinez-Ortiz, Ivan and Diaz Agudo, Belen and Alonso Garcia, Miguel Aurelio and 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]

Gómez-Zamalloa Gil, Miguel and Albert Albiol, Elvira and Arenas Sánchez, Purificación and Correas Fernández, Jesús and Genaim, Samir and Puebla Sánchez, Germán and Román Díez, Guillermo and Peces, Raquel and Giraldo, Carlos Gabriel and 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]

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]

Trabajo Fin de Grado

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

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

Romero Hernández, Alejandro and Díaz-Faes Pérez, César and González Riojo, Manuel (2016) Aplicación de videojuegos educativos teatrales en dispositivos móviles y fijos. [Trabajo Fin de Grado]

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

Martín Medina, Federico and 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]

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

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

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

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

Martín Guerrero, Alejandro and Julca Bedón, Frank Vito (2016) Generación de historias centradas en el usuario en entornos 3D. [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]

Samper González, Juan and 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]

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

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

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

Tomé Coronas, Alfonso and 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]

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

Sánchez-Carrasco García, Matías (2015) Auditoría compatibilidad producto software. [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 and El Yamri El Khatibi, Meriem and 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]

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]

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]

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

Santamaría Barcina, Antonio and 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]

Gil Jiménez, Sergio and 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]

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

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

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

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

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

Pérez Colado, Iván José and 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]

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

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

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

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

Coursework

Blázquez García, Carlos and Aguado Minero, Miguel (2014) Auditor automático para nivel 3 del CMMI‐SW. [Coursework] (Unpublished)

García Rodríguez, Hugo and Román García, Miguel and 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. [Coursework] (Unpublished)

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

Aragón Tebar, Laura and Arranz Ropero, Mario and Cabrerizo Galán, Sergio (2014) Rutas seguras en la ciudad para discapacitados psíquicos. [Coursework] (Unpublished)

Fernández Ortihuela, Jorge and Torre González, Ricardo de la (2014) Simulador ferroviario del elemento de campo baliza. [Coursework] (Unpublished)

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

Peñalver Santorio, Alejandro and Pragnell Valentín, Ricardo (2013) ANVM-Virtual Mapping. [Coursework] (Unpublished)

Bueno Gómez, Miguel and Segovia Sanz, Alberto and Torres González, Víctor (2013) Aplicación móvil itinerarios guiados Parque del Retiro. [Coursework] (Unpublished)

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

Cruz Botelho, Giovanna da (2013) Auditor automático para nivel 2 del CMMI-SW. [Coursework] (Unpublished)

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

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

Cerro Cañizares, Pablo and Esteban Luis, Cristina María (2013) Emulador software para el cálculo de primos de Mersenne. [Coursework] (Unpublished)

Hervás Martín, Lucía and Martínez Simón, Víctor and Sánchez Martínez, Irene (2013) Extracción de información en informes médicos. [Coursework] (Unpublished)

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

Alfaro Orgaz, Ana and Ballesteros Navajas, Sergio and Sesma Salgado, Lidia (2013) Mapa de recursos en la ciudad de Madrid: accesibilidad integral para el ciudadano. [Coursework] (Unpublished)

Agudo Calvo, Belén and Jorro Aragoneses, José Luis and Valle Corral, Jessica del (2013) Sistema de recomendación de actividades turísticas: Madrid Live. [Coursework] (Unpublished)

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

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

Bautista Barahona, Enrique and Salcedo Ramos, Ignacio and Ureña Herradón, Alberto (2012) Procesador automático de informes médicos. [Coursework] (Unpublished)

Martínez del Camino, Guillermo (2012) Simulaciones de emergencia en entornos 3D. [Coursework] (Unpublished)

Celador Hernández, José Enrique and Lucas Martín, Ignacio and Torres Bustillos, Carla (2012) Simulador ARM en el ámbito docente. [Coursework] (Unpublished)

Goicoechea Lassaletta, Aris and Calleja Fernández, Marcos and Pizarro Moleón, Pablo (2012) Terraform: simulación de vida sobre planetas generados. [Coursework] (Unpublished)

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

García, Pedro Pablo (2011) Desarrollo de un sistema de consultas web para sistemas SAT. [Coursework] (Unpublished)

Martín López, Fausto and Pedrosa Guerrero, Jesús and Sánchez González, Luis (2011) Editor colaborativo. [Coursework] (Unpublished)

Moscardó Marichalar, Javier and Pozuelo Mayordomo, Pablo and Truan Cano, Guillermo (2011) Software libre de gestión Web de una consulta: gestión de consultas de traumatología. [Coursework] (Unpublished)

Berbis González, Eduardo and León Guerrero,, Saúl and Orna Ruiz, Eva Pilar (2011) Tableaux verification tool. [Coursework] (Unpublished)

Cabañas Ruiz, Israel and lores Montoya, Antonio and Gutiérrez Mota, Sergio (2011) jPET: un generador de casos de prueba sobre programas Java. [Coursework] (Unpublished)

Henche Grande, Laura (2010) ¿Un Videojuego en la Biblioteca? [Coursework] (Unpublished)

García Logrosán, Ángel and Vicente Díez, Beatriz and Vlad, Alexandra (2010) Bib Manager y Word Citer. [Coursework] (Unpublished)

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

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

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

Caballero Prados, Jorge and Jimeno Hidalgo, Pablo Rodrigo and Ortega Maestro, Raúl (2010) Sistema de análisis de encuestas de marcas de distribuidor. [Coursework] (Unpublished)

Esteve Díaz, Pablo and Roldán Gutiérrez, David and Mendoza Macías, Juan Carlos de (2010) e-Learning managements tools. [Coursework] (Unpublished)

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

Fernández Sánchez, Alberto and Arnáiz García, Diego and Martín Esquifino, Javier (2004) Cluster de PlayStation 2. [Coursework] (Unpublished)

This list was generated on Fri Sep 30 03:13:25 2016 CEST.