Universidad Complutense de Madrid
E-Prints Complutense

Items where Subject is "Sciences > Computer science"

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: 569.

Article

Munuera Gómez, Pilar (2017) Privacidad y seguridad: derechos de los ciudadanos en el siglo de las nuevas tecnologías en España. Revue Européenne du droit social, XXXVII (4). pp. 17-30. ISSN 1843-679X

González Alberquilla, Rodrigo and Castro Rodríguez, Fernando and Piñuel Moreno, Luis and Tirado Fernández, Francisco (2017) CEPRAM: Compression for Endurance in PCM RAM. Journal of circuits systems and computers, 26 (11). ISSN 0218-1266

Aceto, L. and Frutos Escrig, David de (2017) Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). Acta Informatica, 54 (1). pp. 1-2. ISSN 0001-5903

Esteban San Román, Segundo and Girón Sierra, José María and Angulo, Manuel (2016) Signal conditioning for the Kalman filter: application to satellite attitude estimation with magnetometer and sun sensors. Sensors, 16 (11). ISSN 1424-8220

Fernández-Pampillón Cesteros, Ana María and 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. (Unpublished)

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

Moreno-Vozmediano, Rafael and Huedo Cuesta, Eduardo and Llorente, Ignacio M. and Montero, Rubén S. and Massonet, Philippe and Villari, Massimo and Merlino, Giovanni and Celesti, Antonio and Levin, Anna and Schour, Liran and Vázquez, Constantino and Melis, Jaime and Spahr, Stefan and Whigham, Darren (2016) BEACON: A Cloud Network Federation Framework. Advances in Service-Oriented and Cloud Computing, 567 . pp. 325-337. ISSN 1865-0929

Santos Peñas, Matilde and López López, María Victoría and Romera Cabrerizo, Juan Antonio (2015) Hybrid Fuzzy-PID Control in a Thermo Solar Power Plant Condenser. PIC 2014 - Proceedings of 2014 IEEE International Conference on Progress in Informatics and Computing (697241). pp. 641-645.

Sanz Cabrerizo, Amelia (2015) Cuando la lectura y escritura se hacen digitales: aproximaciones para los estudios literarios. Insula (822). ISSN 0020-4536 (Submitted)

Clemente Barreira, Juan Antonio and Gran, Rubén and Chocano Gómez, Abel and Prado, Carlos del and Resano, Javier (2015) Hardware Architectural Support for Caching Partitioned Reconfigurations in Reconfigurable Systems. Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, PP (99). ISSN 1063-8210

Cavalli, Ana R. and Higashino, Teruo and Núñez García, Manuel (2015) Special issue on formal active and passive testing of distributed and networked systems. annals of telecommunications - annales des télécommunications, 70 (3). pp. 83-84. ISSN 0003-4347

Vallejo, Mónica and Recas Piorno, Joaquín and Ayala Rodrigo, José Luis (2015) Proactive and Reactive Transmission Power Control for Energy-Efficient On-Body Communications. Sensors, 15 (3). pp. 5914-5934. ISSN 1424-8220

Mejía Roa, Edgardo and Tabas Madrid, Daniel and Setoain Rodrigo, Javier and García Sánchez, Carlos and Tirado Fernández, Francisco and Pascual Montano, Alberto (2015) NMF-mGPU: non-negative matrix factorization on multi-GPU systems. BMC Bioinformatics, 16 . ISSN 1471-2105

Wong, Peter Y. H. and Bubel, Richard and Boer, Frank S. de and Gómez Zamalloa, Miguel and Gouw, Stijn de and Hähnle, Reiner and Meinke, Karl and Sindhu, Muddassar Azam (2015) Testing abstract behavioral specifications. International Journal on Software Tools for Technology Transfer, 17 (1). pp. 107-119. ISSN 1433-2779

Santos Peñas, Matilde and Guevara Maldonado, César Byron and López López, María Victoria and Martín, José Antonio (2014) Reaching a Consensus on Access Detection by a Decision System. PIC 2014 - Proceedings of 2014 IEEE International Conference on Progress in Informatics and Computing (697230). pp. 119-122.

Oliveira Albuquerque, Robson de and García Villalba, Luis Javier and Sandoval Orozco, Ana Lucila and Buiati, Fábio and Kim, T.H. (2014) A Layered Trust Information Security Architecture. Sensors, 14 (12). pp. 22754-22772. ISSN 1424-8220

Quijano Sánchez, Lara and Díaz Agudo, Mª Belen and Recio García, Juan Antonio (2014) Development of a group recommender application in a Social Network. Knowledge-Based Systems, 71 . pp. 72-85. ISSN 0950-7051

Barrio García, Alberto Antonio Del and Hermida Correa, Román and Ogrenci Memik, Seda and Mendías Cuadros, José Manuel and Molina Prego, María del Carmen (2014) Improving Circuit Performance with Multispeculative Additive Trees in High-Level Synthesis. Microelectronics Journal, 45 (11). pp. 1470-1479. ISSN 0026-2692

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

Recas Piorno, Joaquín and Khaled, Nadia and Barrio García, Alberto Antonio Del and Hermida Correa, Román (2014) Generic Markov Model of the Contention Access Period of IEEE 802.15.4 MAC Layer. Digital Signal Processing, 33 . pp. 191-205. ISSN 1051-2004

Arroba, Patricia and Risco-Martín, José Luis and Zapater, Marina and Moya, José Manuel and Ayala, José Luis (2014) Enhancing regression models for complex systems using evolutionary techniques for feature engineering. Journal of Grid Computing . pp. 1-15. ISSN 1570-7873

Llana Díaz, Luis Fernando and Marín Marín, Enrique and Pareja Flores, Cristóbal and Velázquez Iturbide, J. Ángel (2014) FLOP: a user-friendly system for automated program assessment. Journal of Universal Computer Science, 20 (9). pp. 1304-1326. ISSN 0948695x

García Villalba, Luis Javier and Sandoval Orozco, Ana Lucila and García Matesanz, Julián and Kim, T.H. (2014) E-D2HCP: enhanced distributed dynamic host configuration protocol. Computing, 96 (9). pp. 777-791. ISSN 0010-485X

Lanillos Pradas, Pablo and Besada Portas, Eva and López Orozco, José Antonio and Cruz García, Jesús Manuel de la (2014) Minimum time search in uncertain dynamic domains with complex sensorial platforms. Sensors, 14 (8). pp. 14131-14179. ISSN 1424-8220

Aceto, Luca and Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2014) Axiomatizing weak simulation semantics over BCCSP. Theoretical computer science, 537 . pp. 42-71. ISSN 0304-3975

Quijano Sánchez, Lara and Recio García, Juan Antonio and Díaz Agudo, Mª Belen (2014) An Architecture and Functional Description to Integrate Social Behaviour Knowledge Into Group Recommender Systems. Applied Intelligence, 40 (4). pp. 732-748. ISSN 1573-7497

Clemente Barreira, Juan Antonio and Pérez Ramo, Elena and Resano, Javier and Mozos Muñoz, Daniel and Catthoor, Francky (2014) Configuration Mapping Algorithms to Reduce Energy and Time Reconfiguration Overheads in Reconfigurable Systems. Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, 22 (6). pp. 1248-1261. ISSN 1063-8210

Carpio, Ana and Rapun, M. L. (2014) Parameter identification in photothermal imaging. Journal of Mathematical Imaging and Vision, 49 (2). pp. 273-288. ISSN 0924-9907 (Print) 1573-7683 (Online)

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

Chern, Hua-Huai and Fernández Camacho, María Inés and Hwang, Hsien-Kuei and Martínez, Conrado (2014) Psi-series method for equality of random trees and quadratic convolution recurrences. Random structures & algorithms, 44 (1). pp. 67-108. ISSN 1098-2418

Torrente Vigil, Francisco Javier and Blanco Aguado, Ángel del and Serrano Laguna, Ángel and Vallejo Pinto, José Angel and Moreno Ger, Pablo and Fernández Manjón, Baltasar (2014) Towards a Low Cost Adaptation of Educational Games for People with Disabilities. Computer Science and Information Systems, 11 (1). pp. 369-391. ISSN 1820-0214

Recas Piorno, Joaquín and Ayala Rodrigo, José Luis and Vallejo, Mónica (2014) A Link Quality Estimator for Power-Efficient Communication over On-Body Channels. Proceedings - 2014 International Conference on Embedded and Ubiquitous Computing, EUC 2014 . pp. 250-257.

Rubio Sánchez, Manuel and Kinnunen, Päivi and Pareja Flores, Cristóbal and Velázquez Iturbide, Ángel (2014) Student perception and usage of an automated programming assessment tool. Computers in Human Behavior (31). pp. 453-460. ISSN 07475632

Poljak, Jelena and Botella Juan, Guillermo and García Sánchez, Carlos and Poljacek, Sanja Mahovic and Prieto Matías, Manuel and Tirado Fernández, Francisco (2013) Offset printing plate quality sensor on a low-cost processor. Sensors, 13 (11). pp. 14277-14300. ISSN 1424-8220

Palomar Trives, Carlos and Franco Peláez, Francisco Javier and López Calle, Isabel and González Izquierdo, Jesús and Agapito Serrano, Juan Andrés (2013) Peak detector effect in low-dropout regulators. IEEE transactions on nuclear science, 60 (4). pp. 2666-2674. ISSN 0018-9499

Cruz García, Jesús Manuel de la and Romeo Granados, Juan and Pajares Martinsanz, Gonzalo and Montalvo Martínez, Martin and Guerrero Hernández, José Miguel and Guijarro Mata-García, Marta (2013) A new expert system for greenness identification in agricultural images. Expert Systems with Applications, 40 (6). pp. 2275-2286. ISSN 0957-4174

Núñez, Alberto and García Merayo, Mercedes and Hierons, Robert M. and Núñez García, Manuel (2013) Using genetic algorithms to generate test sequences for complex timed systems. Soft Computing, 17 (2). pp. 301-315. ISSN 1432-7643

Chaos, Dictino and Chacón, Jesús and López Orozco, José Antonio and Dormido, Sebastián (2013) Virtual and remote robotic laboratory using EJS, MATLAB and LabVIEW. Sensors, 13 (2). pp. 2595-2612. ISSN 1424-8220

García Sanchez, Carlos and Botella Juan, Guillermo and Ayuso Márquez, Fermín and Prieto Matías, Manuel and Tirado Fernández, Francisco (2013) Multi-GPU based on multicriteria optimization for motion estimation system. Eurasip journal on advances in signal processing . ISSN 1687-6180

Amador, J. and Artalejo, Jesús R. (2013) Modeling computer virus with the BSDE approach. Computer Networks, 57 (1). pp. 302-316. ISSN 1389-1286

González, Diego and Botella Juan, Guillermo and García, Carlos and Prieto Matías, Manuel and Tirado Fernández, Francisco (2013) Acceleration of block-matching algorithms using a custom instruction-based paradigm on a Nios II microprocessor. Eurasip Journal on Advances in Signal Processing . ISSN 1687-6180

Fernández-Pampillón Cesteros, Ana María and Domínguez Romero, Elena and Armas Ranero, Isabel de (2013) Análisis de la evolución de los Repositorios Institucionales de material educativo digital de las universidades españolas. RELATEC: Revista Lationoamericana de Tecnología Educativa, 12 (2). pp. 11-25. ISSN 1695-­288X (Unpublished)

Moreno Salinas, Jesús and Chaos, Dictino and Cruz García, Jesús Manuel de la and Aranda, Joaquín (2013) Identification of a surface marine vessel using LS-SVM. Journal of Applied Mathematics . ISSN 1110-757X

García Sanchez, Carlos and Botella Juan, Guillermo and Ayuso Márquez, Fermín and González Rodríguez, Diego and Prieto Matías, Manuel and Tirado Fernández, Francisco (2013) Implementation of a low-cost mobile devices to support medical diagnosis. Computational and Mathematical Methods in Medicine . ISSN 1748-670X

Igual Peña, Francisco Daniel and Botella Juan, Guillermo and García Sanchez, Carlos and Prieto Matías, Manuel and Tirado Fernández, Francisco (2013) Robust motion estimation on a low-power multi-core DSP. Eurasip journal on advances in signal processing . ISSN 1687-6180

Moreno Salinas, David and Chaos, Dictino and Besada Portas, Eva and López Orozco, José Antonio and Cruz García, Jesús Manuel de la and Aranda, Joaquín (2013) Semiphysical modelling of the nonlinear dynamics of a surface craft with LS-SVM. Mathematical Problems in Engineering . ISSN 1024-123X

Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Palomino, Miguel and Romero Hernández, David (2013) Unifying the linear time-branching time spectrum of strong process semantics. Logical methods in computer science, 9 (2). ISSN 1860-5974

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2012) A formal framework to test soft and hard deadlines in timed systems. Software testing verification & reliability, 22 (8). pp. 583-608. ISSN 0960-0833

Carazo, Pablo and Apollini, Ruben and Castro Rodríguez, Fernando and Chaver Martínez, Daniel Ángel and Piñuel Moreno, Luis and Tirado Fernández, Francisco (2012) Reducing cache hierarchy energy consumption by predicting forwarding and disabling associative sets. Journal of Circuits Systems and Computers, 21 (7). ISSN 0218-1266

González, Diego and Botella Juan, Guillermo and Meyer Baese, Uwe and García Sánchez, Carlos and Sanz, Concepción and Prieto Matías, Manuel and Tirado Fernández, Francisco (2012) A low cost matching motion estimation sensor based on the NIOS II microprocessor. Sensors, 12 (10). pp. 13126-13149. ISSN 1424-8220

Martínez Mateo, Jesús and Elkouss, David and Martín, Vicente (2012) Blind reconciliation. Quantum Information and Computation, 12 (9-10). pp. 791-812. ISSN 1533-7146

Cruz García, Jesús Manuel de la and Andrés Toro, Bonifacio de and Herrán, A. (2012) Global search metaheuristics for planning transportation of multiple petroleum products in a multi-pipeline system. Computers & Chemical Engineering, 37 . pp. 248-261. ISSN 0098-1354

Frutos Escrig, David de (2012) Alan Turing: Una aproximación personal a su obra. La Gaceta de la Real Sociedad Matemática Española, 15 (4). pp. 675-696. ISSN 1138-8927

Sandoval Orozco, Ana Lucila and García Matesanz, Julián and García Villalba, Luis Javier and Márquez Díaz, José Duván and Kim, T.H. (2012) Security Issues in Mobile Ad Hoc Networks. International Journal of Distributed Sensor Networks, 2012 . ISSN 1550-1329

Elkouss, David and Martínez Mateo, Jesús and Martín, Vicente (2012) Untainted Puncturing for Irregular Low-Density Parity-Check Codes. Wireless Communications Letters, IEEE, 1 (6). pp. 585-588. ISSN 2162-2337

Botana, Francisco and Abánades, Miguel A. and Escribano Martínez, Jesús (2011) Exact internet accessible computation of paths of points in planar linkages and diagrams. Computer applications in engineering education, 19 (4). pp. 835-841. ISSN 1061-3773

Rosa Velardo, Fernando and Frutos Escrig, David de (2011) Decidability and complexity of Petri nets with unordered data. Theoretical Computer Science, 412 (34). pp. 4439-4451. ISSN 0304-3975

Cruz García, Jesús Manuel de la and Herrera Caro, Pedro Javier and Pajares Martinsanz, Gonzalo and Guijarro Mata-García, María (2011) Combining support vector machines and simulated annealing for stereovision matching with fish eye lenses in forest environments. Expert Systems with Applications, 38 (7). pp. 8622-8631. ISSN 0957-4174

Aceto, Luca and Frutos Escrig, David de (2011) Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Information processing letters, 111 (9). pp. 408-413. ISSN 0020-0190

Rosa Velardo, Fernando and Martos Salgado, María Rosa and Frutos Escrig, David de (2011) Accelerations for the coverability set of Petri nets with names. Fundamenta informaticae, 113 (3-4). pp. 313-341. ISSN 0169-2968

Aceto , Luca and Fábregas, Ignacio and Frutos Escrig, David de and Ingolfsdottir, Anna and Palomino, Miguel (2011) Graphical representation of covariant-contravariant modal formulae. Electronic proceedings in theoretical computer science, 64 . pp. 1-15. ISSN 2075-2180

Romero Hernández, David and Frutos Escrig, David de (2011) On the unification of process semantics: logical semantics. Electronic proceedings in theoretical computer science, 62 . pp. 47-61. ISSN 2075-2180

Besada Portas, Eva and Torre Cubillo, Luis de la and Cruz García, Jesús Manuel de la and Andrés Toro, Bonifacio de (2010) Evolutionary trajectory planner for multiple UAVs in realistic scenarios. IEEE Transactions on Robotics, 26 (4). pp. 619-634. ISSN 1552-3098

Vázquez, Miguel and Nogales Cadenas, Rubén and Arroyo, Javier and Botias, Pedro and García, Raúl and Carazo, José M. and Tirado Fernández, Francisco and Pascual Montano, Alberto and Carmona Saez, Pedro (2010) MARQ: an online tool to mine GEO for experiments with similar or opposite gene expression signatures. Nucleic acids research, 38 . W228-W232. ISSN 0305-1048

Cruz García, Jesús Manuel de la and Herrán, A. and Andrés Toro, Bonifacio de (2010) A mathematical model for planning transportation of multiple petroleum products in a multi-pipeline system. Computers & Chemical Engineering, 34 (3). pp. 401-413. ISSN 0098-1354

Escribano Martínez, Jesús and Abánades, Miguel A. and Botana, Francisco (2010) Adding remote computational capabilities to dynamic geometry systems. Mathematics and computers in simulation, 80 (6). pp. 1177-1184. ISSN 0378-4754

Rosa Velardo, Fernando and Frutos Escrig, David de (2010) Decidability problems in Petri nets with names and replication. Fundamenta informaticae, 105 (3). pp. 291-317. ISSN 0169-2968

Fábregas, Ignacio and Frutos Escrig, David de and Palomino, Miguel (2010) Equational characterization of covariant-contravariant simulation and conformance simulation semantics. Electronic proceedings in theoretical computer science, 32 . pp. 1-14. ISSN 2075-2180

Pinelli, Alfredo and Naqavi, I.Z. and Piomelli, U. and Favier, J. (2010) Immersed-boundary methods for general finite-difference and finite-volume Navier-Stokes solvers. Journal of Computational Physics, 229 (24). pp. 9073-9091. ISSN 0021-9991

Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Palomino, Miguel (2009) On the unification of process semantics: equational semantics. Electronic Notes in Theoretical Computer Science, 249 . pp. 243-267. ISSN 15710661

Nogales Cadenas, Rubén and Carmona Saez, Pedro and Vázquez, Miguel and Vicente, César and Yang, Xiaoyuan and Tirado Fernández, Francisco and María Carazo, José and Pascual Montano, Alberto (2009) GeneCodis: interpreting gene lists through enrichment analysis and integration of diverse biological information. Nucleic acids research, 37 . W317-W322. ISSN 0305-1048

Besada Portas, Eva and López Orozco, José Antonio and Cruz García, Jesús Manuel de la and Besada, Juan A. (2009) Multisensor out of sequence data fusion for estimating the state of discrete control systems. IEEE Transactions on Automatic Control, 54 (7). pp. 1728-1732. ISSN 0018-9286

Vázquez, Miguel and Carmona Saez, Pedro and Nogales Cadenas, Ruben and Chagoyen, Mónica and Tirado Fernández, Francisco and María Carazo, José and Pascual Montano, Alberto (2009) SENT: semantic features in text. Nucleic acids research, 37 . W153-W159. ISSN 0305-1048

Cruz García, Jesús Manuel de la and Pajares Martinsanz, Gonzalo and Ruz Ortíz, José Jaime (2009) Image change detection from difference image through deterministic simulated annealing. Pattern Analysis and Applications, 12 (2). pp. 137-150. ISSN 1433-7541

Cruz García, Jesús Manuel de la and Andrés Toro, Bonifacio de and Herrán González, A. and Risco Martín, Jose Luis (2009) Modeling and simulation of a gas distribution pipeline network. Applied Mathematical Modelling, 33 (3). pp. 1584-1600. ISSN 0307-904X

Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2009) (Bi)simulations up-to characterise process semantics. Information and computation, 207 (2). pp. 146-170. ISSN 0890-5401

Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Palomino, Miguel (2009) Ready to preorder: an algebraic and general proof. Journal of Logic and Algebraic Programming, 78 (7). pp. 539-551. ISSN 1567-8326

Mejia Roa, E. and Carmona Saez, P. and Nogales, R. and Vicente, C. and Vázquez, M. and Yang, X. Y. and García, C. and Tirado Fernández, Francisco and Pascual Montano, Alberto (2008) bioNMF: a web-based tool for nonnegative matrix factorization in biology. Nucleic acids research, 36 (S). W523-W528. ISSN 0305-1048

Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Palomino, Miguel (2008) Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. Electronic Notes in Theoretical Computer Science, 212 . pp. 149-162. ISSN 15710661

Pajares Martinsanz, Gonzalo and Ruz Ortíz, José Jaime and Lanillos Pradas, Pablo and Guijarro Mata-García, María and Cruz García, Jesús Manuel de la and Santos Peñas, Matilde (2008) Trajectory generation and decision making for UAVs. Revista Iberoamericana de Automática e Informática Industrial, 5 (1). p. 83. ISSN 1697-7912

Rosa Velardo, Fernando and Frutos Escrig, David de (2008) Name creation vs. replication in Petri net systems. Fundamenta informaticae, 88 (3). pp. 329-356. ISSN 0169-2968

Fernández Camacho, María Inés and Sánchez Couso, José Ramón (2007) Binary search trees, recurrent properties and wave equations. Fundamenta informaticae, 81 (4). pp. 409-439. ISSN 0169-2968

Rosa Velardo, Fernando and Frutos Escrig, David de and Marroquín Alonso, Olga (2007) On the Expressiveness of Mobile Synchronizing Petri Nets. Electronic Notes in Theoretical Computer Science, 180 (1). pp. 77-94. ISSN 15710661

Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2007) Simulations up-to and canonical preorders. Electronic Notes in Theoretical Computer Science, 192 (1). pp. 13-28. ISSN 15710661

Pajares Martinsanz, Gonzalo and Cruz García, Jesús Manuel de la (2006) Fuzzy cognitive maps for stereovision matching. Pattern Recognition, 39 (11). pp. 2101-2114. ISSN 0031-3203

Pascual Montano, Alberto and Carmona Saez, Pedro and Chagoyen, Mónica and Tirado Fernández, Francisco and Carazo, José M. and Pascual Marqui, Roberto. D. (2006) bioNMF: a versatile tool for non-negative matrix factorization in biology. BMC Bioinformatics, 7 . ISSN 1471-2105

Santos Peñas, Matilde and López, R. and Cruz García, Jesús Manuel de la (2006) A neuro-fuzzy approach to fast ferry vertical motion modelling. Engineering Applications of Artificial Intelligence, 19 (3). pp. 313-321. ISSN 0952-1976

Sánchez Couso, José Ramón and Fernández Camacho, María Inés (2006) Reductions in binary search trees. Theoretical Computer Science, 355 (3). pp. 327-353. ISSN 0304-3975

Carmona Saez, P. and Pascual Marqui, R. D. and Tirado Fernández, Francisco and Carazo, J. M. and Pascual Montano, Alberto (2006) Biclustering of gene expression data by non-smooth non-negative matrix factorization. BMC Bioinformatics, 7 . ISSN 1471-2105

Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2006) Process equivalences as global bisimulations. Journal of universal computer science, 12 (11). pp. 1521-1550. ISSN 0948-695x

Esteban San Román, Segundo and Girón Sierra, José María and Recas Piorno, Joaquín and Cruz García, Jesús Manuel de la (2005) Frequency-domain analysis for prediction of seasickness on ships. Marine Technology and Sname News, 42 (4). pp. 192-198. ISSN 0025-3316

Esteban San Román, Segundo and Recas Piorno, Joaquín and Girón Sierra, José María and Cruz García, Jesús Manuel de la and Riola, M. (2005) Improving fast-ship seakeeping using several moving actuators. Naval Architect . p. 6. ISSN 0306-0209

Aranda, Joaquín and Cruz García, Jesús Manuel de la and Díaz, J. M. (2005) Design of a multivariable robust controller to decrease the motion sickness incidence in fast ferries. Control Engineering Practice, 13 (8). pp. 985-999. ISSN 0967-0661

Santos Peñas, Matilde and López Bracho, R. and Cruz García, Jesús Manuel de la (2005) Fuzzy control of the vertical acceleration of fast ferries. Control Engineering Practice, 13 (3). pp. 305-313. ISSN 0967-0661

Esteban San Román, Segundo and Girón Sierra, José María and Andrés Toro, Bonifacio de and Cruz García, Jesús Manuel de la and Riola, M. (2005) Fast ships models for seakeeping improvement studies using flaps and T-foil. Mathematical and Computer Modelling, 41 (1). pp. 1-24. ISSN 0895-7177

Pieren Pidal, Agustín Pedro (2005) Las nuevas técnicas informáticas y las Ciencias de la Tierra. Boletín de la Real Sociedad Española de Historia Natural. Sección geológica, 100 (1-4). pp. 129-147. ISSN 0583-7510

Pajares Martinsanz, Gonzalo and Cruz García, Jesús Manuel de la (2004) A wavelet-based image fusion tutorial. Pattern Recognition, 37 (9). pp. 1855-1872. ISSN 0031-3203

Esteban San Román, Segundo and Girón Sierra, José María and Andrés Toro, Bonifacio de and Cruz García, Jesús Manuel de la (2004) Development of a control-oriented model of the vertical motions of a fast ferry. Journal of Ship Research, 48 (3). pp. 218-230. ISSN 0022-4502

Pajares Martinsanz, Gonzalo and Cruz García, Jesús Manuel de la (2004) On combining support vector machines and simulated annealing in stereovision matching. IEEE Transactions on Systems Man and Cybernetics Part B-Cybernetics, 34 (4). pp. 1646-1657. ISSN 1083-4419

Cruz García, Jesús Manuel de la and Aranda, Joaquín and Girón Sierra, José María and Velasco, Francisco (2004) Improving the comfort of a fast ferry. IEEE Control Systems Magazine, 24 (2). pp. 47-60. ISSN 1066-033X

Aranda, Joaquín and Cruz García, Jesús Manuel de la and Díaz, J. M. (2004) Identification of multivariable models of fast ferries. European Journal of Control, 10 (2). pp. 187-198. ISSN 0947-3580

Pajares Martinsanz, Gonzalo and Cruz García, Jesús Manuel de la (2003) Stereovision matching through support vector machines. Pattern Recognition Letters, 24 (15). pp. 2575-2583. ISSN 0167-8655

Santos Peñas, Matilde and Pajares Martinsanz, Gonzalo and Portela, M. and Cruz García, Jesús Manuel de la (2003) A new wavelets image fusion strategy. Pattern Recognition and Image Analysis, Proceedings, 2652 . pp. 919-926. ISSN 0302-9743

Pajares Martinsanz, Gonzalo and Cruz García, Jesús Manuel de la (2002) A probabilistic neural network for attribute selection in stereovision matching. Neural Computing & Applications, 11 (2). pp. 83-89. ISSN 0941-0643

Cruz García, Jesús Manuel de la and Bamford, Richard N. and Burdine, Rebecca D. and Roessler, Erich and Barkovich, A. James and Donnai, Dian and Schier, Alexander F. and Muenke, Maximiliam (2002) A loss-of-function mutation in the CFC domain of TDGF1 is associated with human forebrain defects. Human Genetics, 110 (5). pp. 422-428. ISSN 0340-6717

Pajares Martinsanz, Gonzalo and Cruz García, Jesús Manuel de la (2002) The non-parametric Parzen's window in stereo vision matching. IEEE Transactions on Systems Man and Cybernetics Part B-Cybernetics, 32 (2). pp. 225-230. ISSN 1083-4419

Escribano Martínez, Jesús (2002) Approximation theorems in o-minimal structures. Illinois Journal of Mathematics, 46 (1). pp. 111-128. ISSN 0019-2082

Pajares Martinsanz, Gonzalo and Cruz García, Jesús Manuel de la (2001) Local stereovision matching through the ADALINE neural network. Pattern Recognition Letters, 22 (14). pp. 1457-1473. ISSN 0167-8655

Piñuel Moreno, Luis and Moreno-Vozmediano, Rafael and Tirado Fernández, Francisco (2001) Analysing value substitution and confidence estimation for value prediction. Journal of systems architecture, 47 (5). pp. 459-475. ISSN 1383-7621

Carmona Ruber, Jorge and Artal, E. and Cogolludo, J.I. and Tokunaga, H.O. (2001) Sextics With Singular Points In Special Position. Journal Of Knot Theory And Its Ramifications, 10 (4). ISSN 0218-2165

López Orozco, José Antonio and Cruz García, Jesús Manuel de la and Besada Portas, Eva and Ruipérez, P. (2000) An asynchronous, robust, and distributed multisensor fusion system for mobile robots. International Journal of Robotics Research, 19 (10). pp. 914-932. ISSN 0278-3649

Pajares Martinsanz, Gonzalo and Cruz García, Jesús Manuel de la (2000) A new learning strategy for stereo matching derived from a fuzzy clustering method. Fuzzy Sets and Systems, 110 (3). pp. 413-427. ISSN 0165-0114

Pajares Martinsanz, Gonzalo and Cruz García, Jesús Manuel de la and López Orozco, José Antonio (2000) Relaxation labeling in stereo image matching. Pattern Recognition, 33 (1). pp. 53-68. ISSN 0031-3203

Romero, J. A. and Cruz García, Jesús Manuel de la and Dobbing, T. and Ellis, J. and Fisher, B. and King, Q. A. and Soldner, F. and Zorning, N. (1998) Real time current profile control at JET. Fusion Engineering and Design, 43 (1). pp. 37-58. ISSN 0920-3796

Frutos Escrig, David de and Llana Díaz, Luis Fernando and Núñez García, Manuel (1998) An invitation to friendly testing. Journal of computer science and technology, 13 (6). pp. 531-545. ISSN 1000-9000

Pinelli, Alfredo and Vacca, A. and Quarteroni, A. (1997) A spectral multidomain method for the numerical simulation of turbulent flows. Journal of Computational Physics, 136 (2). pp. 546-558. ISSN 0021-9991

Pinelli, Alfredo and Benocci, C. and Deville, M. (1994) Chebyshev pseudospectral solution of advection-diffusion equations with mapped finite difference preconditioning. Journal of Computational Physics, 112 (1). pp. 1-11. ISSN 0021-9991

Casas, Rafael and Fernández Camacho, María Inés and Steyaert, Jean-Marc (1990) Algebraic simplification in computer algebra: an analysis of bottom-up algorithms. Theoretical Computer Science, 74 (3). pp. 273-298. ISSN 0304-3975

Fernández Camacho, María Inés (1987) Average size of simplified trees (Spanish: Tamaño medio de árboles simplificados). Qüestiió, 11 (2). pp. 93-116. ISSN 0210-8054

Frutos Escrig, David de (1987) Probabilistic Ianov's schemes. Theoretical Computer Science, 53 (1). pp. 67-97. ISSN 0304-3975

Frutos Escrig, David de (1984) A characterization of Plotkin's order in powerdomains, and some of its properties. Theoretical Computer Science, 31 (1-2). pp. 73-82. ISSN 0304-3975

Working Paper or Technical Report

Ávila Tejera, Juan Julián (2019) Introducción a MAPLE. Versión 18. [ Cuadernos de Trabajo de la Facultad de Estudios Estadísticos; nº 03, 2019, ]

Martín, Óscar and Verdejo López, Alberto and Martí Oliet, Narciso (2018) Alternating bit protocol as an example of compositional system specification. [ ] (Unpublished)

Pita Andreu, Isabel and Riesco Rodríguez, Adrián (2017) A Maude specification of the Kademlia distributed hash table: centralized version. [ ] (Unpublished)

Martín Sánchez, Óscar and Verdejo López, José Alberto and Martí-Oliet, Narciso (2017) Modular specification in rewriting logic (extended version). [ ] (Unpublished)

Universidad Complutense de Madrid, Biblioteca (2016) Plan de Digitalización de la Biblioteca de la Universidad Complutense de Madrid. [ Biblioteca Universidad Complutense. Documentos de Trabajo; nº 3, 2016, ]

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 María 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 María 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 María and Varadero Software Factory, VSF (2013) Guía de Gestión del repositorio de Objetos Digitales OdA. [ ] (Unpublished)

Martin Llorente, Ignacio and Santiago Montero, Ruben and Fuentes Bermejo, Antonio and Huedo Cuesta, Eduardo (2004) Diseño, Arquitectura y Procedimientos del Testbed de IRISGrid. [ ]

Navas López, José Emilio (1989) Perspectives in new telecomunications technologies. [ Documentos de Trabajo de la Facultad de Ciencias Económicas y Empresariales; nº 18, 1989, ]

Hernández Alonso, José (1988) Tecnología en la Universidad - La microelectrónica -. [ Documentos de trabajo de la Facultad de Ciencias Económicas y Empresariales; nº 34, 1988, ] (Unpublished)

Book Section

Mittmann, Adiel and Dos Santos, Alckmar L. and Maia, Samanta R. (2018) Aoidos: una herramienta para análisis automático de versos. In Encuentros digitales: escrituras, colecciones, aprendizajes en español Encontros digitais: escritas, colecções, aprendizagem em português. UCM, Madrid. ISBN 978-84-09-07767-0

Lucía Megías, José Manuel (2018) Elogio del texto digital 2.0 (¿el triunfo de la segunda textualidad?). In Humanidades Digitales: Miradas hacia la Edad Media. De Gruyter, Berlin, Boston, pp. 90-110. ISBN 9783110585421

Fernández-Pampillón Cesteros, Ana María and Porras Guardo, Arturo de and González Serrano, Ángel Luis and García Villalobos, Julián and Moreno López, Lourdes and Domínguez Romero, Elena and Armas Ranero, Isabel de and Rodrigo, Covadonga and Sarasa Cabezuelo, Antonio and Arús Hita, Jorge and Sierra Rodríguez, Jose Luis and Cabanilles Gomar, Juan Pedro and Vizoso Martín, Clara María and González Maroto, Yolanda and Camacho Fernández, Patricia and Iglesias Vázquez, Pedro Luis and Pons Betrián, Daniel and Castro Soriano, Luis de and Delgado Leal, Jose Luis (2017) Herramienta de evaluación de la calidad de los Materiales Educativos Digitales: perfiles de aplicación del profesor y del alumno. In UNE 71362 Calidad de los materiales educativos digitales. 35.240.90 / Aplicaciones de las tecnologías de la información en educación . AENOR, Madrid. España, pp. 114-131.

Cruz García, Jesús Manuel de la and López Orozco, José Antonio and Besada Portas, Eva and Aranda Almansa, Joaquín (2015) A streamlined nonlinear path following kinematic controller. In 2015 IEEE International Conference on Robotics and Automation (ICRA). IEEE Conference Publications . IEEE Computer SOC, pp. 6394-6401. ISBN 978-1-4799-6923-4

Velasco, J.M. and González Pérez, Beatriz and Minana, Guadalupe and López, Victoria and Caro, Raquel (2014) An Explanatory Analysis of Electricity Prices within Day-Ahead Spanish Energy Market by Using a Graphical Automatization with R. In Proceedings of 2014 IEEE International Conference on Progress in Informatics and Computing. IEEE, pp. 631-636. ISBN 978-1-4799-2033-4

Núñez, Alberto and Filgueira, Rosa and García Merayo, Mercedes (2013) SANComSim: A scalable, adaptive and non-intrusive framework to optimize performance in computational science applications. In Procedia Computer Science. Elsevier Science B.V., Amsterdam, pp. 230-239. ISBN 1877-0509

Valero Lara, P. and Pinelli, Alfredo and Favier, J. and Matías, M.P. (2012) Block tridiagonal solvers on heterogeneous architectures. In ISPA 2012 : 2012 10th IEEE International Symposium on Parallel and Distributed Processing with Applications. IEEE, pp. 609-616. ISBN 978-1-4673-1631-6

Romero Hernández, David and Frutos Escrig, David de (2012) Defining distances for all process semantics. In Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Lecture notes in computer science (7273). Springer, pp. 169-185. ISBN 978-3-642-30792-8

Aceto, Luca and Fábregas, Ignacio and Frutos Escrig, David de and Ingolfsdottir, Anna and Palomino, Miguel (2012) Relating modal refinements, covariant-contravariant simulations and partial bisimulations. In Fundamentals of Software Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. Lecture notes in computer science (7141). Springer, pp. 268-283. ISBN 978-3-642-29319-1

Aceto, Luca and Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Ingolfsdottir, Anna (2012) The equational theory of weak complete simulation semantics over BCCSP. In SOFSEM 2012: Theory and Practice of Computer Science : 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings. Lecture notes in computer science (7147). Springer, pp. 141-152. ISBN 978-3-642-27659-0

Aceto, Luca and Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Ingolfsdottir, Anna (2011) Axiomatizing Weak Ready Simulation Semantics over BCCSP. In Theoretical Aspects of Computing – ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Lecture notes in computer science (6916). Springer, pp. 7-24. ISBN 978-3-642-23282-4

Bonacic, Carolina and García, Carlos and Marín, Mauricio and Prieto Matías, Manuel and Tirado Fernández, Francisco (2011) On-line multi-threaded processing of web user-clicks on multi-core processors. In High performance computing for computational science - VECPAR 2010. Lecture notes in computer science, 6449 (6449). Springer, pp. 222-235. ISBN 978-3-642-19327-9

Cruz García, Jesús Manuel de la and Guijarro Mata-García, María and Pajares Martinsanz, Gonzalo and Herrera Caro, Pedro Javier (2011) Performance analysis of fuzzy aggregation operations for combining classifiers for natural textures in images. In Hybrid Artificial Intelligent Systems, part. II. Lecture Notes in Computer Science, 6679 . Springer-Verlag Berlín, pp. 180-188. ISBN 978-3-642-21221-5

Quijano Sánchez, Lara and Recio García, Juan A. and Díaz Agudo, Belén (2011) User satisfaction in long term group recommendations. In Case-Based Reasoning Research and Development, ICCBR 2011. Lecture Notes in Artificial Intelligence , 6880 . Springer-Verlag Berlín, pp. 211-225. ISBN 978-3-642-23290-9

Abánades, Miguel A. and Botana, Francisco and Escribano Martínez, Jesús and Valcarce, José L. (2011) Using free open source software for intelligent geometric computing. In Computational Science and Its Applications - ICCSA 2011. Lecture Notes in Computer Science (6785). Springer, pp. 353-367. ISBN 978-3-642-21897-2

Cruz García, Jesús Manuel de la and Sánchez Benítez, David and Pajares Martinsanz, Gonzalo and Gu, Dawei (2011) Visual control of a remote vehicle. In Intelligent Robotics and Applications, pt II. Lecture Notes in Artificial Intelligence, 7102 (Part I). Springer-Verlag Berlín, pp. 579-588. ISBN 978-3-642-25488-8

Besada Portas, Eva and Cruz García, Jesús Manuel de la and Plis, Sergey M. and Lane, Terran (2010) Adaptive parallel/serial sampling mechanisms for particle filtering in dynamic bayesian networks. In Machine Learning and Knowledge Discovery in Databases, Pt I: European Conference, ECML PKDD 2010. Springer-Verlag Berlin, pp. 119-134. ISBN 978-3-642-15879-7

Rosa Velardo, Fernando and Frutos Escrig, David de (2010) Forward analysis for petri nets with name creation. In Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings. Lecture notes in computer science (6128). Springer, pp. 185-205. ISBN 978-3-642-13674-0

Fábregas, Ignacio and Frutos Escrig, David de (2010) Logics for contravariant simulations. In Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture notes in computer science (6117). Springer, pp. 224-231. ISBN 978-3-642-13463-0

Fecher, Harald and Frutos Escrig, David de and Lüttgen, Gerald and Schmidt, Heiko (2010) On the expressiveness of refinement settings. In Fundamentals of Software Engineering : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers. Lecture notes in computer science (5961). Springer, pp. 276-291. ISBN 978-3-642-11622-3

López Calle, Isabel and Franco Peláez, Francisco Javier and González Izquierdo, Jesús and Agapito Serrano, Juan Andrés (2009) Two-photon absorption (TPA) backside pulsed laser tests in the LM324. In European Conference on Radiation and its Effects on Components and Systems (RADECS), 2009. European Space Agency -Publications- Esa Sp . IEEE-Inst Electrical Electronics Engineers Inc, pp. 138-143. ISBN 978-1-4577-0492-5

Herrera Caro, Pedro Javier and Pajares Martinsanz, Gonzalo and Guijarro Mata-García, María and Ruz Ortíz, José Jaime and Cruz García, Jesús Manuel de la (2009) Choquet Fuzzy Integral Applied to Stereovision Matching for Fish-Eye Lenses in Forest Analysis. In Advances in computational Intelligence. Advances in Intelligent and Soft Computing (61). Springer-Verlag Berlin, pp. 179-187. ISBN 978-3-642-03155-7

Cruz García, Jesús Manuel de la and Herrera Caro, Pedro Javier and Pajares Martinsanz, Gonzalo and Guijarro Mata-García, María and Ruz Ortíz, José Jaime (2009) Combination of attributes in stereovision matching for fish-eye lenses in forest analysis. In Advanced Concepts for Intelligent Vision Systems, Proceedings. Springer-Verlag Berlin, pp. 277-287. ISBN 978-3-642-04696-4

Rosa Velardo, Fernando and Frutos Escrig, David de (2009) Decidability results for restricted models of petri nets with name creation and replication. In Applications and Theory of Petri Nets : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Lecture notes in computer science (5606). Springer, pp. 63-82. ISBN 978-3-642-02423-8

Herrera Caro, Pedro Javier and Pajares Martinsanz, Gonzalo and Guijarro Mata-García, María and Ruz Ortíz, José Jaime and Cruz García, Jesús Manuel de la (2009) Fuzzy multi-criteria decision making in stereovision matching for fish-eye lenses in forest analysis. In Intelligent Data Engineering and Automated Learning, Proceedings. Lecture Notes in Computer Science (5788). Springer-Verlag Berlin, pp. 325-332. ISBN 978-3-642-04393-2

Fábregas Alfaro, Ignacio and Frutos Escrig, David de and Palomino, Miguel (2009) Non-strongly stable orders also define interesting simulation relations. In Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Lecture notes in computer science (5728). Springer, pp. 221-235. ISBN 978-3-642-03740-5

Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Palomino, Miguel (2009) On the unification of process semantics: observational semantics. In SOFSEM 2009: Theory and Practice of Computer Science : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Lecture notes in computer science (5404). Springer, pp. 279-290. ISBN 978-3-540-95890-1

Besada Portas, Eva and Cruz García, Jesús Manuel de la and Plis, Sergey M. and Lane, Terran (2009) Parallel subspace sampling for particle filtering in dynamic bayesian networks. In Machine learning and knowledge discovery in databases, PT I. Springer-Verlag Berlin, pp. 131-146. ISBN 978-3-642-04179-2

Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2008) Constrained simulations, nested simulation semantics and counting bisimulations. In Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007). Electronic Notes in Theoretical Computer Science (206). Elsevier Science, pp. 41-58. ISBN 1571-0661

Fraguela, Andrés and Infante del Río, Juan Antonio and Ramos del Olmo, Ángel Manuel and Rey Cabezas, Jose María (2008) Inverse problems in heat exchange processes. In Proceedings Of The 2nd Wseas International Conference On Computer Engineering And Applications: Modern Topics Of Computer Science. Electrical and computer engineering . World Scientific, pp. 250-255. ISBN 978-960-6766-33-6

Cruz García, Jesús Manuel de la and Besada Portas, Eva and Andrés Toro, Bonifacio de and Torre Cubillo, Luis de la (2008) Multiobjective path planner for UAVs based on genetic algorithms. In Computational Intelligence in Decision and Control. World Scientific Publ Co Pte Ltd, pp. 997-1002. ISBN 978-981-279-946-3

Frutos Escrig, David de and Palomino, Miguel and Fábregas, Ignacio (2008) Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. In Formal Techniques for Networked and Distributed Systems – FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings. Lecture notes in computer science (5048). Springer, pp. 283-298. ISBN 978-3-540-68854-9

Fábregas, Ignacio and Palomino, Miguel and Frutos Escrig, David de (2008) Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. In Theoretical Aspects of Computing – ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings. Lecture notes in computer science (4711). Springer, pp. 231-245. ISBN 978-3-540-75290-5

Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2008) Universal Coinductive Characterisations of Process Semantics. In Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 :. IFIP International Federation for Information Processing, Part I (273). Springer, pp. 397-412. ISBN 978-0-387-09679-7

Mittal, Saurabh and Zeigler, Bernard P. and Risco Martín, José Luis and Cruz García, Jesús Manuel de la (2008) WSDL-based DEVS agent for net-centric systems engineering. In International Workshop on Modeling & Applied Simulation. Diptem Univ Genoa, pp. 292-300. ISBN 978-88-903724-1-4

Botana, Francisco and Abánades, Miguel A. and Escribano Martínez, Jesús (2007) Computing locus equations for standard dynamic geometry environments. In Computational Science – ICCS 2007. Lecture Notes in Computer Science (4488). Springer, pp. 227-234. ISBN 978-3-540-72585-5

Ruz Ortíz, José Jaime and Arévalo, Orlando and Pajares Martinsanz, Gonzalo and Cruz García, Jesús Manuel de la (2007) Decision making among alternative routes for UAVs in dynamic environments. In ETFA 2007: IEEE International Conference on Emerging Technologies and Factory Automation. IEEE, pp. 997-1004. ISBN 978-1-4244-0826-9

Abánades, Miguel A. and Escribano Martínez, Jesús and Botana, Francisco (2007) First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems. In Towards Mechanized Mathematical Assistants. Lecture Notes in Computer Science (4573). Springer, pp. 131-145. ISBN 978-3-540-73083-5

Besada Portas, Eva and López Orozco, José Antonio and Cruz García, Jesús Manuel de la (2007) Multisensor out-of-sequence data fusion for estimating the state of dynamic systems. In 2007 Information decision and control. IEEE, pp. 271-276. ISBN 978-1-4244-0901-3

Rosa Velardo, Fernando and Frutos Escrig, David de (2007) Name creation vs. replication in Petri net systems. In Petri Nets and Other Models of Concurrency – ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings. Lecture notes in computer science (4546). Springer, pp. 402-422. ISBN 978-3-540-73093-4

Frutos Escrig, David de and Rosa Velardo, Fernando and Gregorio Rodríguez, Carlos (2007) New Bisimulation Semantics for Distributed Systems. In Formal Techniques for Networked and Distributed Systems – FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings. Lecture notes in computer science (4574). Springer, pp. 143-159. ISBN 978-3-540-73195-5

Cuartero, Fernando and Frutos Escrig, David de and Valero, Valentín (2007) PCSP: a denotational model of probabilistic processes. In Real-time systems. AMAST series in computing (8). World Scientific, pp. 57-76. ISBN 981-02-4424-x

Llana Díaz, Luis Fernando and Frutos Escrig, David de and Núñez García, Manuel (2007) Testing Semantics for Urgent Timed Process Algebras. In Real-time systems. AMAST series in computing (8). World Scientific, pp. 221-235. ISBN 981-02-4424-x

Antequera, Nicolás and Santos Peñas, Matilde and Cruz García, Jesús Manuel de la (2006) A helicopter control based on Eigenstructure assignment. In 2006 IEEE Conference on Emerging Technologies & Factory Automation. IEEE, pp. 623-628. ISBN 978-0-7803-9758-3

Ruz Ortíz, José Jaime and Arévalo, Orlando and Cruz García, Jesús Manuel de la and Pajares Martinsanz, Gonzalo (2006) Using MILP for UAVs trajectory optimization under radar detection risk. In 2006 IEEE Conference on Emerging Technologies & Factory Automation. IEEE, pp. 1187-1190. ISBN 978-0-7803-9758-3

Esteban San Román, Segundo and Recas Piorno, Joaquín and Girón Sierra, José María and Cruz García, Jesús Manuel de la and Riola, J. M. (2005) A fast autonomous scaled ship for experimental seakeeping control studies. In Oceans 2005 - Europe. IEEE, pp. 1232-1237. ISBN 0-7803-9103-9

Girón Sierra, José María and Fernández-Prisuelos, J. and Andrés Toro, Bonifacio de and Cruz García, Jesús Manuel de la (2005) A multiobjective optimization issue: genetic control planning or trajectories. In Proceedings of the 7th WSEAS International Conference on Automatic Control, Modeling and Simulation. World Scientific and Engineering Acad and Soc, pp. 295-300. ISBN 960-8457-12-2

Castro, F. and Chaver Martínez, Daniel Ángel and Piñuel Moreno, Luis and Prieto Matías, Manuel and Huang, M. C. and Tirado Fernández, Francisco (2005) A power-efficient and scalable load-store queue design. In Integrated circuit and system design: power and timing modeling, optimization and simulation. Springer-Verlag Berlin, pp. 1-9. ISBN 3-540-29013-3

Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2005) Bisimulations Up-to for the Linear Time Branching Time Spectrum. In CONCUR 2005 – Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings. Lecture notes in computer science (3653). Springer, pp. 278-292. ISBN 978-3-540-28309-6

Girón Sierra, José María and Jiménez, J. F. and Domínguez, A. and Cruz García, Jesús Manuel de la (2005) Development of a simulation scenario for cooperative robotics studies with marine crafts. In Proceedings of the 7th WSEAS International Conference on Automatic Control, Modeling and Simulation. World Scientific and Engineering Acad and Soc, pp. 174-179. ISBN 960-8457-12-2

Recas Piorno, Joaquín and Esteban San Román, Segundo and Girón Sierra, José María and Cruz García, Jesús Manuel de la (2005) Experimental framework for autonomous fast ships's control design. In Proceedings of the 7th WSEAS International Conference on Automatic Control, Modeling and Simulation. World Scientific and Engineering Acad and Soc, pp. 236-241. ISBN 960-8457-12-2

Fernández-Prisuelos, J. and Andrés Toro, Bonifacio de and Girón Sierra, José María and Cruz García, Jesús Manuel de la and Riola, J. M. (2005) Genetic planning of control actions for a high maneuvrability AUV. In Oceans 2005 - Europe. IEEE, pp. 1220-1225. ISBN 0-7803-9103-9

Pajares Martinsanz, Gonzalo and Ruz Ortíz, José Jaime and Cruz García, Jesús Manuel de la (2005) Performance analysis of homomorphic systems for image change detection. In Pattern Recognition and Image Analysis, pt 1, Proceedings. Springer-Verlag Berlín, pp. 563-570. ISBN 3-540-26153-2

Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2005) Preserving contexts for soft conformance relation. In Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers. Lecture notes in computer science (3395). Springer, pp. 33-48. ISBN 978-3-540-25109-5

Jiménez, J. F. and Girón Sierra, José María and Domínguez, A. and Cruz García, Jesús Manuel de la and Riola, J. M. (2005) Ships confining an oil spill over: A scenario for automatized cooperation. In Oceans 2005 - Europe. IEEE, pp. 1226-1231. ISBN 0-7803-9103-9

Frutos Escrig, David de and Marroquín Alonso, Olga and Rosa Velardo, Fernando (2005) Ubiquitous systems and Petri nets. In Computational Science and Its Applications – ICCSA 2005 : International Conference, Singapore, May 9-12, 2005, Proceedings. Lecture notes in computer science, Part I (3481). Springer, pp. 1156-1166. ISBN 978-3-540-25861-2

Girón Sierra, José María and Esteban San Román, Segundo and Recas Piorno, Joaquín and Andrés Toro, Bonifacio de and Besada Portas, Eva and Cruz García, Jesús Manuel de la (2003) Distributed electronic system for monitoring and control of a fast ship physical model. In IECON'03: The 29th Annual Conference of the IEEE Industrial Electronics Society, vols 1 - 3, Proceedings. IEEE, pp. 620-625. ISBN 0-7803-7906-3

Cruz García, Jesús Manuel de la and Andrés Toro, Bonifacio de and Herrán, A. and Besada Portas, Eva and Fernández Blanco, P. (2003) Multiobjective optimization of the transport in oil pipelines networks. In ETFA 2003: IEEE Conference on Emerging Technologies and Factory Automation, vol. 1, Proceedings. IEEE, pp. 566-573. ISBN 0-7803-7937-3

Frutos Escrig, David de and Marroquín Alonso, Olga (2003) Replicated ambient Petri nets. In Computational Science — ICCS 2003 : International Conference Melbourne, Australia and St. Petersburg, Russia June 2–4, 2003 Proceedings, Part II. Lecture notes in computer science (2658). Springer, pp. 774-783. ISBN 978-3-540-40195-7

Santos Peñas, Matilde and Cruz García, Jesús Manuel de la (2003) Simulation of working procedures in a distribution centre. In ETFA 2003: IEEE Conference on Emerging Technologies and Factory Automation, vol 1, Proceedings. IEEE, pp. 39-46. ISBN 0-7803-7937-3

Chaver Martínez, Daniel Ángel and Tenllado van der Reijden, Christian and Piñuel Moreno, Luis and Tirado Fernández, Francisco (2003) Wavelet transform for large scale image processing on modern microprocessors. In High performance computing for computational science - VECPAR 2002. Springer-Verlag Berlin, pp. 549-562. ISBN 3-540-00852-7

Besada Portas, Eva and López Orozco, José Antonio and Cruz García, Jesús Manuel de la (2002) Unified fusion system based on bayesian networks for autonomous mobile robots. In Proceedings of the Fifth International Conference on Information Fusion. Int Soc Information Fusion, pp. 873-880. ISBN 0-9721844-2-2

Chaver Martínez, Daniel Ángel and Tenllado van der Reijden, Christian and Piñuel Moreno, Luis and Prieto Matías, Manuel and Tirado Fernández, Francisco (2002) 2-D wavelet transform enhancement on general-purpose microprocessors: memory hierarchy and SIMD parallelism exploitation. In High performance computing - HIPC 2002, proceedings. Springer-Verlag Berlin, pp. 9-21. ISBN 3-540-00303-7

Cruz García, Jesús Manuel de la and Pérez de Lucas, P. and Aranda, Joaquín and Girón Sierra, José María and Velasco, Francisco (2002) A research on motion smoothing of fast ferries. In Control Applications in Marine Systems 2001 (CAMS 2001). Pergamon-Elsevier Science LTD, pp. 285-290. ISBN 0-08-043236-0

Polo, O. R. and Esteban San Román, Segundo and Marón, A. and Grau, L. and Cruz García, Jesús Manuel de la (2002) Control code generator used for control experiments in ship scale model. In Trol Applications in Marine Systems 2001 (CAMS 2001). Pergamon-Elsevier Science LTD, pp. 279-284. ISBN 0-08-043236-0

López Orozco, José Antonio and Risco Martín, José Luis and Andrés Toro, Bonifacio de and Cruz García, Jesús Manuel de la (2002) Courseware management tool for engineering education. In 6th World Multiconference on Systemics, Cybernetics and Informatics, Vol II, Proceedings: Concepts and Applications of Systemics, Cybernetics and Informatics I. Int Inst Informatics & Systemics, pp. 225-260.

Polo, O. R. and Cruz García, Jesús Manuel de la and Girón Sierra, José María and Esteban San Román, Segundo (2002) EDROOM. Automatic C++ code generator for real time systems modelled with room. In New Technologies for Computer Control 2001. Pergamon-Elsevier Science LTD, pp. 299-304. ISBN 0-08-043700-1

Andrés Toro, Bonifacio de and Fernández Blanco, P. and Cruz García, Jesús Manuel de la and Recas Piorno, Joaquín (2002) Intelligent method of identification of the sea state number: an application of the support vector machine. In 6th World Multiconference on Systemics, Cybernetics and Informatics, Vol VI, Proceedings: Industrial Systems and Engineering I. Int Inst Informatics & Systemics, pp. 178-183.

Girón Sierra, José María and Katebi, R. and Cruz García, Jesús Manuel de la and Esteban San Román, Segundo (2002) The control of specific actuators for fast ferry vertical motion damping. In Proceedings of the 2002 IEEE International Conference on Control Applications. IEEE, pp. 304-309. ISBN 0-7803-7386-3

Besada Portas, Eva and López Orozco, José Antonio and Cruz García, Jesús Manuel de la (2002) Unified fusion system based on Bayesian networks for autonomous mobile robots. In Proceedings of the Fifth International Conference on Information Fusion. Information Fusion, pp. 873-880. ISBN 0-9721844-2-2

Besada Portas, Eva and López Orozco, José Antonio and Cruz García, Jesús Manuel de la and Polo, O. R. (2002) Versatile sensing architecture for autonomous mobile robots. In 6th World Multiconference on Systemics, Cybernetics and Informatics, vol V, proceedings: computer SCI I. Int inst informatics & systemics, pp. 275-280.

Marroquín Alonso, Olga and Frutos Escrig, David de (2001) Extending the Petri box calculus with time. In Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings. Lecture notes in computer science (2075). Springer. ISBN 978-3-540-42252-5

Bruni, Roberto and Frutos Escrig, David de and Martí Oliet, Narciso and Montanari, Ugo (2000) Bisimilarity congruences for open terms and term graphs via tile logic. In CONCUR 2000 — Concurrency Theory : 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings. Lecture notes in computer science (1877). Springer, pp. 259-274. ISBN 978-3-540-67897-7

Frutos Escrig, David de and Valero Ruiz, Valentín and Marroquín Alonso, Olga (2000) Decidability of properties of timed-arc Petri nets. In Application and Theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings. Lecture notes in computer science (1825). Springer, pp. 187-206. ISBN 978-3-540-67693-5

Andrés Toro, Bonifacio de and Girón Sierra, José María and Fernández Blanco, P. and Cruz García, Jesús Manuel de la and López Orozco, José Antonio (2000) Parallel Genetic Algorithms with a continuity operator that allows for knowledge inclusion. In Proceedings of the 2000 Congress on Evolutionary Computation, vols 1 and 2. IEEE, pp. 1137-1143. ISBN 0-7803-6375-2

Cruz García, Jesús Manuel de la and Aranda, Joaquín and Ruipérez, P. and Díaz, J. M. and Marón, A. (1999) Identification of the vertical plane motion model of a high speed craft by model testing in irregular waves. In Control Applications in Marine Systems (CAMS'98). Pergamon Press LTD, pp. 257-262. ISBN 0-08-043033-3

López Orozco, José Antonio and Cruz García, Jesús Manuel de la and Sanz, J. and Flores, J. (1998) Multisensor fusion of environment measures using Bayesian Networks. In Fusion'98: Proceedings of the International Conference on Multisource-Multisensor Information Fusion. CSREA Press, pp. 487-493. ISBN 1-892512-02-5

Cuartero Gómez, Fernando and Frutos Escrig, David de and Valero Ruiz, Valentín (1997) A sound and complete proof system for probabilistic processes. In Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings. Lecture notes in computer science (1231). Springer, pp. 340-352. ISBN 978-3-540-63010-4

Llana Díaz, Luis Fernando and Frutos Escrig, David de (1997) Denotational semantics for timed testing. In Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings. Lecture notes in computer science (1231). Springer, pp. 368-382. ISBN 978-3-540-63010-4

Llana Díaz, Luis Fernando and Frutos Escrig, David de and Núñez García, Manuel (1997) Introducing friendly testing. In V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia, Vigo, junio de 1997. Univ. Vigo, pp. 281-292. ISBN 84-8158-065-1

Sánchez Couso, José Ramón and Fernández Camacho, María Inés (1994) Average-case analysis of pattern-matching in trees under the BST probability model. In Automata, Languages and Programming. Lecture notes in computer science (820). Springer, pp. 178-190. ISBN 978-3-540-58201-4

Frutos Escrig, David de and Fernández Camacho, María Inés (1991) On narrowing strategies for partial non-strict functions. In TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991. Lecture notes in computer science (494). Springer, pp. 416-437. ISBN 978-3-540-53981-0

Fernández Camacho, María Inés (1987) Mean size of simplified trees (Spanish: Tamaño medio de árboles simplificados). In Proceedings of the XIIth Portuguese-Spanish Conference on Mathematics. Univ. Minho, Braga, pp. 352-357.

Frutos Escrig, David de (1986) Some probabilistic powerdomains in the category SFP. In STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986. Lecture notes in computer science (210). Springer, pp. 49-59. ISBN 978-3-540-16078-6

Monograph

Menéndez de la Cuesta González, Adrián (2018) Encuentros digitales: escrituras, colecciones, aprendizajes en español. Manual. UCM, Madrid.

Díaz García, Elena and Cabrera Granado, Eduardo (2018) Guide to Jupyter Notebooks for educational purposes. Manual. . (Unpublished)

Díaz García, Elena and Cabrera Granado, Eduardo (2018) Manual de uso de Jupyter Notebook para aplicaciones docentes. Manual. . (Unpublished)

Hernández Yáñez, Luis and Salamanca López, Manuel (2017) Las TIC en la Enseñanza: Experiencias en la UCM. Other. Luis Hernández Yáñez / Manuel Salamanca López, Universidad Complutense de Madrid.

Rodríguez-Artalejo, Mario and Gónzalez Calero, Pedro Antonio and Gómez Martín, Marco Antonio (2011) Estructuras de datos: un enfoque moderno. . Editorial Complutense, Madrid.

Rosa Velardo, Fernando and Frutos Escrig, David de (2010) Decision problems for petri nets with names. Other. Arxiv.org.

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.

Albert Albiol, Elvira and Genaim, Samir and Gordillo, Pablo (2015) May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. In 22nd International Symposium, SAS 2015, September 9-11, 2015, Saint-Malo, France.

Albert Albiol, Elvira and Correas Fernández, Jesús and Johnsen, Einar Broch and Román Díez, Guillermo (2015) Parallel Cost Analysis of Distributed Systems. In 22nd International Symposium, SAS 2015, September 9–11, 2015, Saint-Malo, France.

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

Albert Albiol, Elvira and Arenas Sánchez, Puri and Correas Fernández, Jesús and Genaim, Samir and Gómez Zamalloa, Miguel and Martín Martín, Enrique and Puebla, Germán and Román Díez, Guillermo (2015) Resource Analysis: From Sequential to Concurrent and Distributed Programs. In FM 2015: Formal Methods, June 24–26, 2015, Oslo, Norway.

González, Diego and Botella Juan, Guillermo and García Sánchez, Carlos and Meyer Bäse, Anke and Meyer Bäse, Uwe and Prieto Matías, Manuel (2015) Customized Nios II multi-cycle instructions to accelerate block-matching techniques. In SPIE 9400, Real-Time Image and Video Processing 2015, February 08, 2015, San Francisco, California, United States.

García Sánchez, Carlos and Botella Juan, Guillermo and Sande, Francisco de and Prieto Matías, Manuel (2015) Fast-Coding Robust Motion Estimation Model in a GPU. In SPIE 9400, Real-Time Image and Video Processing, Febrero 2015, San Francisco, California, United States.

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.

Herrera Triguero, Francisco (2014) Algunas ideas sobre la investigación (reflexiones y consejos : tesis doctoral, metodología de la investigación y escritura de artículos científicos. In Conferencias de la Facultad de Informática, 17 de junio de 2014, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Unpublished)

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.

Witasse, Olivier (2014) A panoramic view of the ExoMars Project. In Ciclo de Conferencias de la Facultad de Informática, 16 de junio de 2014, Sala de Grados de la Facultad de Informática de la Universidad Complutense. (Submitted)

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Flores Montoya, A. and Genaim, Samir and Gómez-Zamalloa Gil, Miguel and Martín Martín, Enrique and Puebla, G. and Román Díez, Guillermo (2014) SACO: Static analyzer for concurrent objects. In 20th International Conference, TACAS 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, April 5-13, 2014, Grenoble, France.

Lorenzana González, César and Sem, and Capo, (2013) ¿Control de las redes?: implicaciones para la privacidad y la seguridad. (1ª parte). In . (Unpublished)

Lorenzana González, César and Sem, and Capo, (2013) ¿Control de las redes?: implicaciones para la privacidad y la seguridad. (2ª parte). In . (Unpublished)

Arroyo, Javier, ed. and Maté, Carlos, ed. and Brito, Paula, ed. and Noirhomme-Fraiture, Monique, ed. (2012) 3rd Workshop in Symbolic Data Analysis: book of abstracts. In 3rd Workshop in Symbolic Data Analysis, 7-9 Noviembre 2012, Madrid.

Roanes-Lozano, Eugenio and Roanes-Macías, Eugenio Some reflections on dynamic geometry systems (the GUI for ADG). In Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014), 9-11 julio 2014, Universidad de Coimbra, Portugal.

Thesis

Torre Moreno, Pablo de la (2019) Un modelo computacional del suspense en entornos narrativos e interactivos. [Thesis]

Hinojosa Cervantes, Salvador Miguel (2019) Algoritmos metaheurísticos para la segmentación de imágenes. [Thesis]

Maestre Vidal, Jorge (2019) Reconocimiento de anomalías para la detección de instrucciones en nuevos escenarios de monitorización. [Thesis]

Aubin, Verónica Inés (2019) Verificación de la identidad de personas en base a trazos manuscritos simples. [Thesis]

Tapiador de Pedro, Daniel (2018) Architecture, techniques and models for enabling Data Science in the Gaia Mission Archive. [Thesis]

Serrano Santos, Felipe (2018) Emulación basada en FPGA de los efectos de los single event upsets ocasionados por la radiación en circuitos digitales tolerantes a fallos. [Thesis]

Rosales Corripio, Jocelin (2018) Extraction and analysis of features for identifying, clustering and modifying the source of images generated by mobile devices. [Thesis]

Perumkunnil Komalan, Manu (2018) System level management of hybrid memory systems. [Thesis]

Serrano Laguna, Ángel (2018) Mejorando la evaluación de juegos serios mediante el uso de analíticas de aprendizaje. [Thesis]

Lara Morcillo, Santiago (2018) Pintura y bits. Interacciones entre pintura y cultura digital en la nueva sociedad del conocimiento. [Thesis]

Tabas Madrid, Daniel (2018) Herramientas eficientes para el análisis masivo de datos ómicos. [Thesis]

Hassan, Samer (2017) Towards a Data-driven Approach for Agent-Based Modelling: Simulating Spanish Postmodernisation. [Thesis]

Santorum González, Miguel (2017) La narración del videojuego: cómo las acciones cuentan historias. [Thesis]

García Tartera, Francisco J. (2017) Competencias digitales en la docencia universitaria del siglo XXI. [Thesis]

Andreotti, Enzo (2017) Las tecnologías digitales aplicadas al arte y la arquitectura relacional. Análisis de las técnicas utilizadas en las distintas etapas de la trayectoria de Daniel Canogar. [Thesis]

Rodríguez Rodríguez, Roberto Alonso (2017) Mecanismos de gestión de escrituras en sistemas con tecnologías de memoria no volátiles. [Thesis]

Wallace, Richard Michael (2017) Optimización de la ejecución de aplicaciones en entornos heterogeneos de computación de altas prestaciones. [Thesis]

Alonso Martínez, Daniel (2017) Límites epistemológicos de los mundos virtuales. [Thesis]

Alonso del Barrio, María Estrella (2017) Los contenidos periodísticos en los medios para dispositivos móviles: la adaptación a la evolución tecnológica. [Thesis]

Valera Lara, Pedro (2016) Desarrollo de solvers CFD híbridos en plataformas heterogéneas. [Thesis]

Peón Quirós, Miguel (2016) Emplazamiento de objetos de datos dinámicos sobre organizaciones de memoria heterogéneas en sistemas empotrados. [Thesis]

Lucas Simarro, José Luis (2016) Técnicas de gestión de infraestructuras virtuales en entornos multi-cloud. [Thesis]

Manero Iglesias, Borja (2015) Del teatro clásico a los videojuegos educativos. [Thesis]

Arenas González, David Manuel (2015) Técnicas de identificación de la fuente de adquisición en imágenes digitales de dispositivos móviles. [Thesis]

Montalvo Martínez, Martín (2015) Técnicas de visión artificial para la segmentación y detección de líneas de cultivo en imágenes agrícolas. [Thesis]

Guerrero Hernández, José Miguel (2015) Sistema de visión para agricultura de precisión: identificación en tiempo real de líneas de cultivo y malas hierbas en campos de maíz. [Thesis]

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

Sandoval Orozco, Ana Lucila (2015) Efficient algorithms for searching multiple burst-error correcting cyclic and shortened cyclic codes. [Thesis]

Contreras Fernández-Dávila, Iván (2015) Operando en el mercado de valores: análisis financieros híbridos y computación evolutiva. [Thesis]

Blanco Aguado, Ángel del (2015) Aplicación de estándares de e-learning para la integración de videojuegos educativos en el flujo de la enseñanza. [Thesis]

Torrente Vigil, Francisco Javier (2015) Mejorando la accesibilidad de los "serious games" mediante herramientas de autoría. [Thesis]

Setoain Rodrigo, Javier (2013) Procesamiento de imágenes hiperespectrales en GPUs. [Thesis]

Millán Ruiz, David (2013) Algoritmos meméticos paralelos para el problema de distribución de esfuerzo en sistemas multi-agente dinámicos. [Thesis]

González Alberquilla, Rodrigo (2013) Gestión de los accesos a memoria en sistemas de altas prestaciones. [Thesis]

García Matesanz, Julián (2013) Protocolo de autoconfiguración y encaminamiento seguro para redes móviles ad hoc. [Thesis]

Marchori, Eugenio Jorge (2013) Contribuciones a la autoría de juegos y simulaciones educativas basadas en un enfoque multidisciplinar. [Thesis]

Sarasa Cabezuelo, Antonio (2013) Desarrollo de aplicaciones XML mediante herramientas de construcción de procesadores de lenguaje. [Thesis]

Rincón Vallejos, Francisco Javier (2013) Técnicas de diseño de redes inalámbricas de sensores corporales inteligentes y energéticamente eficientes. [Thesis]

Farias Castro, Gonzalo (2013) Reconocimiento de patrones y aprendizaje automático en bases de datos de fusión nuclear. Pattern recognition and machine learning on nuclear fusion databases. [Thesis]

González Calvo, Carlos (2012) Procesamiento a bordo de imágenes hiperespectrales de la superficie terrestre mediante hardware reconfigurable. [Thesis]

Trabajo Fin de Máster

Longo Imedio, Javier Emilio Luis (2019) Aplicación de domótica en el contexto de IoT. [Trabajo Fin de Máster]

Sánchez Paredes, Jonathan (2019) Desarrollo de un sistema para la creación automática de mapas de cobertura LoRa. [Trabajo Fin de Máster]

Espinosa Victoria, Cristina Valentina (2019) Random testing basado en lógica temporal para Apache Flink. [Trabajo Fin de Máster]

Stanescu, Emanuel Georgian (2019) Sistema de iluminación inteligente en carreteras. [Trabajo Fin de Máster]

Díaz Soto, José Luis (2018) Deep Learning: redes neuronales convolucionales aplicadas a la clasificación de Viena. [Trabajo Fin de Máster]

Rincón Peña, Rubí (2018) Clasificación automática, visualización y análisis de fotografías del camino de Santiago. Obtención de conclusiones sobre los hábitos fotográficos de los peregrinos. [Trabajo Fin de Máster]

Fernández Villa, David (2018) Aplicación de técnicas de visualización y análisis de redes para el estudio de la producción colaborativa de conocimiento. [Trabajo Fin de Máster]

Chamorro Alvarado, Verónica Lucía (2018) Clasificación de tweets mediante modelos de aprendizaje supervisado. [Trabajo Fin de Máster]

Congosto Sandoval, Carlos (2018) Desarrollo de una App para intercambio de contactos laborales. [Trabajo Fin de Máster]

Díez Sanmartín, María Covadonga (2018) Desarrollo de una herramienta para la edición digital de ficción interactiva mediante el paradigma de texto extensible. [Trabajo Fin de Máster]

Sánchez Moreno, Francisco Javier (2018) Desarrollo e implementación de una estrategia de despliegue y mantenimiento de red de nodos sensores. [Trabajo Fin de Máster]

Álvarez Sánchez, Christian (2018) Despliegue y gestión de plataformas basadas en fog computing en el seno de una ciudad interconectada. [Trabajo Fin de Máster]

Salcedo Gutiérrez, David (2018) Detección de anomalías en datos de inspección de vehículos. [Trabajo Fin de Máster]

Andrés Herrero, Miguel (2018) Equilibrado de juegos multijugador mediante generación procedimental de contenido. [Trabajo Fin de Máster]

Martínez Mateu, Iván (2018) GameCraft : una plataforma de integración continua para videojuegos basada en microservicios. [Trabajo Fin de Máster]

Tomé Coronas, Alfonso (2018) HIPOTENS: una aplicación para la predicción de episodios de hipotensión. [Trabajo Fin de Máster]

Báscones García, Daniel (2018) Implementación sobre FPGA de un algoritmo de compresión de imágenes hiperespectrales basado en JPEG2000. [Trabajo Fin de Máster]

Moreno de Pradas, Sergio (2018) Ludificación de rutinas de pacientes de oncología usando posicionamiento interno mediante WIFI. [Trabajo Fin de Máster]

Julca Bedón, Frank Vito (2018) Modelado interno de personajes en entornos virtuales usando lógica difusa. [Trabajo Fin de Máster]

Martín Otero, Álvaro (2018) Predicción de nubes a corto plazo para una plataforma solar a partir de datos radiométricos. [Trabajo Fin de Máster]

Valle Corral, Verónica del (2018) SAFEWAY: un sistema de recomendación de rutas basado en el contexto para fomentar la seguridad vial. [Trabajo Fin de Máster]

San Martín González, Iosu (2018) SUITE BRITEL. [Trabajo Fin de Máster]

Henares Vilaboa, Kevin (2018) Sistema avanzado de predicción de crisis migrañosas. [Trabajo Fin de Máster]

Jacynycz García, Viktor (2018) Towards a Decentralized Publication System: A Proposal Using Blockchain and P2P Technologies. [Trabajo Fin de Máster]

Parysek, Piotr (2018) Tracking cloud movement from solar irradiation measurements. [Trabajo Fin de Máster]

García Giménez, Jaime Nicolás (2018) Visualización de datos y personalización inteligente de explicaciones para su utilización en la medicina del deporte. [Trabajo Fin de Máster]

Clavo Morata, Antonio (2017) Videojuegos como herramienta educativa en la escuela: concienciando sobre el ciberbullying. [Trabajo Fin de Máster]

Melendrez Moreto, Ignacio (2016) Auditoría y metodología de implantación de open data para smart cities. [Trabajo Fin de Máster]

Rodríguez Ferreira, Teresa (2016) Content filtering and enrichment using triplets for text generation. [Trabajo Fin de Máster]

González Salas, José Carlos (2016) Diseño e implementación en FPGA de un filtro de partículas para aplicaciones biomédicas. [Trabajo Fin de Máster]

Rabadán Jurado, Adrián (2016) Generación de lenguaje natural a partir de grafos semánticos. [Trabajo Fin de Máster]

Pérez Colado, Iván José (2016) uAdventure : desarrollo del intérprete y de un emulador de videojuegos de eAdventure sobre Unity3D. [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]

Sánchez Becerro, Óscar (2014) Algoritmos de programación dinámica con R para resolver problemas de alineamiento de secuencias. [Trabajo Fin de Máster]

Baquerizo Anastacio, Mónica Marlene (2014) Modelo de seguridad para sistemas E-gobierno mediante satisfacibilidad booleana. [Trabajo Fin de Máster]

Poljak, Jelena (2013) Defining of printing plate quality level through introduction of different image analysis applications. [Trabajo Fin de Máster]

Briones Mola, Lucrecia (2013) Protocolo ACO de encaminamiento adaptativo para redes móviles AD HOC. [Trabajo Fin de Máster]

Proyecto de Innovación Docente

Sarasa Cabezuelo, Antonio and Sierra Rodríguez, José Luis and Gayoso Cabada, Joaquín and Pareja Lora, Antonio and González del Campo Rodríguez Barbero, Ramón and Encinas Moral, Ángel Luis (2019) Creación de recursos educativos mediante enriquecimiento de contenidos. [Proyecto de Innovación Docente]

Carabantes Alarcón, David and Houghton López, Miguel Alejandro and Jiménez Calderón, María Ángeles and López López, María Victoria and Martínez Rincón, María del Carmen (2019) Emprendimiento e innovación social digital (EISDigital). [Proyecto de Innovación Docente]

Montenegro Montes, Manuel and Martin Martin, Enrique and Riesco Rodríguez, Adrián and Saavedra López, Santiago and Suárez García, Gorka (2019) Herramienta interactiva de manipulación y corrección de entregas de ejercicios en asignaturas con evaluación continua. [Proyecto de Innovación Docente]

Jiménez Díaz, Guillermo and González Calero, Pedro Antonio and Recio García, Juan Antonio and Vázquez Poletti, José Luis and Pacios Izquierdo, David and Andrés Herrero, Miguel and Macazaga Zuazo, Blanca (2018) Museo Interactivo del Videojuego. [Proyecto de Innovación Docente]

Botella Juan, Guillermo and Barrio García, Alberto Antonio del and Recas Piorno, Joaquín and García Sánchez, Carlos and Ezquerro Rodríguez, José Miguel and Roa Romero, Carlos and Fariña Fernández, Daniel and López Alonso, José Manuel and Cao García, Francisco Javier and Sierra López, Ángel (2018) Framework para el desArroLLo ágIl de código RTL orientAdo a programadores software, ingeNieros y CiEntíficos (ALLIANCE). [Proyecto de Innovación Docente]

Herrero Domínguez, Santiago and Álvarez Serrano, Inmaculada and Barba Fernández, Carmen and Cilleros Prados, Olga and Corrales Castellanos, María Eugenia and Criado Portal, Antonio José and Gómez Castro, Emilio and Gómez de Salazar Caso de los Cobos, José María and González Prieto, Rodrigo and Guerrero Martínez, Andrés and Hernández Díaz, María Yolanda and Jiménez Aparicio, Reyes and Lobato Fernández, Álvaro and Mancheño Real, Mª José and Mena Fernández, María Luz and Martínez del Pozo, Álvaro and Muñoz Olivas, Riansares and Osío Barcina, José de Jesús and Priego Bermejo, José Luis and Rodríguez Vega, Sergio and Sánchez Arroyo, Antonio José and Sánchez Benítez, Javier and Sobrino Díaz, Lourdes and Taravillo Corralo, Mercedes and Pastor Gil, Lorena and Rubianes Méndez, Miguel Alejandro and Maestre Varea, David and Ranchal Sánchez, Rocío and Bautista Blasco, Susana and Cárdenas Bonet, Marlon and Gervás Gómez-Navarro, Pablo and Méndez Pozo, Gonzalo and Bárcena Espelleta, Araceli and Desvoyes, Bénédicte and Fernández Rodríguez, Juan Miguel and Gibaja Jiménez, Mariano and Nacenta Torres, Pablo and Rubio Lago, Luis (2018) I.amAble: la ciencia como vehículo hacia la plena inclusión. [Proyecto de Innovación Docente]

Díaz García, Elena and Cabrera Granado, Eduardo and Domínguez-Adame Acosta, Francisco and Gómez Calderón, Oscar and Melle Hernández, Sonia and Díaz Fernández, Álvaro and Villas Pazos, Alberto (2018) Actualización de material docente basado en Jupyter Notebook para su uso dentro del Plan de Internacionalización. [Proyecto de Innovación Docente]

Carabantes Alarcón, David and Ancochea Soto, Eumenio and Arias Astray, Andrés and Dupont Sfez, Samuelle and Iglesias Recuero, Silvia and Manjón-Cabeza Olmeda, Araceli and Martín Martín, José Oliver and Montero de Juan, Francisco Javier and Romero Ruiz del Portal, Francisco and San Andrés Moya, Margarita and Sastre Castillo, Miguel Ángel and Tirado Fernández, Francisco (2018) Aprendizaje Servicio e Innovación Social desde la Universidad. [Proyecto de Innovación Docente]

Martín Martín, Enrique and Montenegro Montes, Manuel and Riesco Rodríguez, Adrián and Sánchez, Jaime and Carmona Ruber, Jorge and Tamarit, Salvador and López Fraguas, Francisco Javier and Torre Romero, Raúl and Alcobendas Pastor, José Antonio (2018) Tutoriales interactivos para el estudio de la programación: impacto en el aprendizaje. [Proyecto de Innovación Docente]

Sáenz Pérez, Fernando and Caballero Roldán, Rafael and García Ruiz, Yolanda and Garméndia Salvador, Luis (2018) Mejora del aprendizaje de SQL con realimentación semántica. [Proyecto de Innovación Docente]

Castillo Mena, Alicia and Querol Fernández, María Ángeles and Cerdeño Serrano, María Luisa and Yañez Vega, Ana and Calle Vaquero, Manuel de la and García Hernández, Maria and Martín Fernández, Juan Ángel and Moreno Martín, Francisco J. and Pérez Santos, María Eloisa and Fariña Tojo, José and Bernabeu Larena, Jorge and García Morales, Lino and Corpas Cívicos, Nekbet and Jiménez López, David and García Viana, Diego and De la Torre Alejano, Ángel and Adawi Schreiber, Luis Alberto and Hernández Lamas, Patricia and García-Gutiérrez Mosteiro, Javier and Hernández Español, Luis (2018) Patrimonio cultural en Europa: una apuesta por el cambio socioeconómico desde la gestión de nuestro pasado. [Proyecto de Innovación Docente]

Lahoz-Beltra, Rafael and López González-Nieto, María Pilar and Gómez Flechoso, María de los Ángeles and Arribas Mocoroa, Maria Eugenia and Muñoz Martín, Alfonso and García Lorenzo, María de la Luz and Cabrera Gómez, Gloria and Álvarez Gómez, José Antonio and Caso Fraile, Andrea and Orosco Dagan, Jefferson Mark and Merinero Palomar, Raúl (2017) LVGPy: Diseño, desarrollo y puesta en marcha de un “Laboratorio Virtual de Geomatemática en lenguaje Python”. [Proyecto de Innovación Docente]

Fernández-Pampillón Cesteros, Ana and Márquez Cruz, Manuel and Sánchez Hernández, Paloma and Sierra Rodríguez, Jose Luis and Caerols Pérez, Jose Joaquín and Fernández-Valmayor Crespo, Alfredo and Sarasa Cabezuelo, Antonio and Rodríguez Uribe, Angie and Schwandtner, Kerstin and Menéndez de la Cuesta González, Adrián and Comino Moreno, Teresa and Álvarez Martínez, Cristina and Pareja Lora, Antonio (2017) Construcción de un diccionario didáctico digital para la mejora del aprendizaje del latín y estudio preliminar de su extensión a otras lenguas. [Proyecto de Innovación Docente]

Rodríguez Laguna, Ismael and de la Encina Vara, Alberto and Garbayo Moreno, Martín Manuel and Hidalgo Herrero, Mercedes and López Barquilla, Natalia and Rabanal Basalo, Pablo Manuel and Rubio Diez, Fernando (2017) Herramienta para escoger sistemáticamente combinaciones de ejercicios con mayor capacidad formadora y/o evaluadora. [Proyecto de Innovación Docente]

Martín Martín, Enrique and Riesco Rodríguez, Adrián and Sánchez Hernández, Jaime and Gregorio Rodríguez, Carlos and López Fraguas, Francisco Javier and Tamarit, Salvador and Congosto Sandoval, Carlos and Cartula Torrecilla, Rafael (2017) Implementación de un sistema para el aprendizaje de lenguajes de programación mediante tutoriales interactivos. [Proyecto de Innovación Docente]

Aguilar Ochoa, Andrés Felipe and Amores Martínez, Carlos Salvador and Besades Porta, Eva and Cabezas Cárdenas, Víctor Alfonso and Fernández Sánchez, Paloma and Garrido Díaz, Esther and Hidalgo Alcalde, Pedro and López Orozco, José Antonio and Pellejero Cuevas, Noelia and Solís Fernández, Fernando (2017) Tic-tac, colecciona UCM. Tecnología de la información y las comunicaciones aplicada a las técnicas de aprendizaje cooperativo. [Proyecto de Innovación Docente]

Peinado Gil, Federico and Pavón Mestras, Juan Luis and Román Navarro, Sara and Sánchez Hernández, Jaime and Gómez Gauchía, Héctor and Arroyo Gallardo, Javier and Ullán Hernández, Eva and Hassan Collado, Samer and Tenorio Fornes, Antonio (2016) Métodos de evaluación, mantenimiento y reutilización de páginas 'wiki' educativas de acceso abierto. [Proyecto de Innovación Docente]

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

Carmona Ruber, Jorge (2016) Fomento del software libre en los estudios de matemáticas mediante el uso de SAGE. [Proyecto de Innovación Docente]

Sánchez-Vizcaíno, José Manuel and Sierra Rodríguez, Jose Luis (2016) Simulaciones sanitarias para el estudio de enfermedades infecciosas endémicas, emergentes y reemergentes en el ganado porcino. [Proyecto de Innovación Docente]

Yustos Cuesta, Pedro and Guijarro Gil, M. Isabel and Santos Mazorra, Victoria Eugenia and Toledo Gabriel, José Manuel and Alonso Rubio, María Victoria and Dominguez Toribio, Juan Carlos and Oliet Pala, Mercedes and Diez Alcántara, Eduardo and Miranda Carreño, Rubén and Curto Maldonado, Andrés (2016) Laboratorios Virtuales de Sistemas de Control de Procesos en Labview y en Matlab-Simulink. [Proyecto de Innovación Docente]

Herrero Fernández, Mª Josefa and Arribas Mocoroa, María Eugenia and Arribas Mocoroa, José and Alvarez Sierra, Mª Angeles and Escavy Fernández, José Ignacio and Ureta Gil, Mª Soledad and López Acevedo, Francisco (2016) Creación de rutas geológicas como recursos docentes (Flipped Classroom) en las asignaturas de Petrología Sedimentaria y Paleontología Aplicada. [Proyecto de Innovación Docente]

Díaz García, Elena and Cabrera Granado, Eduardo and Gómez Calderón, Óscar and Maestre Varea, David and Domínguez-Adame Acosta, Francisco (2016) Nuevas herramientas de software libre para la corrección automática de ejercicios complejos. [Proyecto de Innovación Docente]

Risco Martín, José Luis and Olcoz Herrero, Katzalin and Chaver Martínez, Daniel and Sánchez-Élez Martín, Marcos (2016) Uso de los servicios para.TI@UCM para mejorar la gestión académica en los departamentos. [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]

Sánchez Ruiz-Granados, Antonio A. and Moreno Ger, Pablo and Hervás Ballesteros, Raquel and Martínez Ortiz, Iván and Francisco Gilmartín, Virginia and León Aznar, Carlos Caramelos con sabor a nota 2.0: apoyo digital para nuevos modelos de seguimiento de la participación en clase. [Proyecto de Innovación Docente]

Montenegro Montes, Manuel and Segura Díaz, Clara María and Rosa Velardo, Fernando and Saavedra López, Santiago and Hernando Serrano, Laura and Rossetto Bermejo, Daniel Validación en línea de aspectos formales y corrección asistida de ejercicios en asignaturas con evaluación continua. [Proyecto de Innovación Docente]

Sarasa Cabezuelo, Antonio (2015) Desarrollo de un módulo de análisis y explotación de datos de un Mooc mediante técnicas de Big Data y gramáticas de atributos, y su incorporación a un sistema de gestión de MOOC. [Proyecto de Innovación Docente]

Sánchez-Elez Martín, Marcos and Risco Martín, José Lui and Pardines Lence, Inmaculada and Miñana Ropero, Guadalupe and Garnica Alcázar, Oscar and Gómez Pérez, José Ignacio and Olcoz Herrero, Katzalin and Chaver Martínez, Daniel Ángel and Castro Rodríguez, Fernando and Sáez Alcaide, Juan Carlos and Igual Peña, Francisco (2014) Integración de los servicios para.TI@UCM en una plataforma de e-learning similar al Campus Virtual. [Proyecto de Innovación Docente]

Román Navarro, Sara and Hassan Collado, Samer and Ullán Hernández, Eva and Gómez Gauchía, Héctor and Sánchez Hernández, Jaime and Peinado Gil, Federico and Tenorio Fornes, Antonio (2015) Implementación de wikis educativas de acceso abierto con amplia diversidad de contenidos en inglés y castellano. [Proyecto de Innovación Docente]

Gregorio Rodríguez, Carlos (2015) Implementación y puesta en práctica de técnicas de evaluación masiva, evaluación por pares y autoevaluación para MOOCs. [Proyecto de Innovación Docente]

Fernández-Pampillón Cesteros, Ana (2013) Metodologías de construcción de cursos virtuales en abierto basadas en la reutilización de repositorios de material didáctico de calidad. [Proyecto de Innovación Docente]

Pajares Martinsanz, Gonzalo and Montalvo Martínez, Martín and Romeo Granados, Juan and Guerrero Hernández, José Miguel and García Toledo, Marcos Miguel (2016) Mejora del proceso enseñanza-aprendizaje mediante iniciativas en el mundo empresarial. [Proyecto de Innovación Docente]

Martín Martín, Enrique and Riesco Rodríguez, Adrián and Montenegro Montes, Manuel and Tamarit Muñoz, Salvador and Sánchez Hernández, Jaime and Gregorio Rodríguez, Carlos (2016) Aprendizaje de lenguajes de programación mediante tutoriales interactivos: diseño y aplicabilidad. [Proyecto de Innovación Docente]

Teaching Resource

Sanchez-Elez Martin, Marcos (2014) Introducción a la programación en VHDL. [Teaching Resource] (Unpublished)

Clemente Barreira, Juan Antonio and Sánchez-Elez Martín, Marcos (2014) Introduction to VHDL programming. [Teaching Resource] (Unpublished)

Cabrera Granado, Eduardo and Díaz García, Elena and Gómez Calderón, Óscar and Melle Hernández, Sonia and Domínguez-Adame Acosta, Francisco and Ezquerro Rodríguez, José Miguel (2013) Manual de uso de IPython Notebook para docentes. [Teaching Resource] (Unpublished)

Trabajo Fin de Grado

Armero Cantó, Carlos (2019) Algoritmos matemáticos en R: aplicaciones a la docencia y al cálculo científico. [Trabajo Fin de Grado]

Benaissa Afkir, Ibrahim and Calleja Rodríguez, Alejandro (2019) Análisis de código dañino. [Trabajo Fin de Grado]

Setti Alonso, Ismael and Pinto Lozano, Jose Manuel (2019) Análisis de datos útiles en predicción de trastornos emocionales. [Trabajo Fin de Grado]

Morell Prats, Pedro (2019) Análisis docente con Machine Learning. [Trabajo Fin de Grado]

Rashid, Ahsin (2019) Aplicaciones de Deep-Learning a la predicción de radiación solar. [Trabajo Fin de Grado]

Barrios Palacios, Patricia (2019) Aplicación Android con integración blockchain en respuesta al acoso en espacios públicos. [Trabajo Fin de Grado]

Gutiérrez Santos, Gabriel and Montero Torralbo, Adrián and Gutiérrez Delgado, Daniel (2019) Aplicación de control de pantallas de información para la FDI. [Trabajo Fin de Grado]

Castellanos Mateo, Carlos and Chamizo Rodríguez, Víctor (2019) Aplicación para la gestión de shuttle buses. [Trabajo Fin de Grado]

Arranz Janeiro, Ricardo and Concepción Echeverría, Lidia and Caño Vega, Juan Ramón del and Ponce Belmonte, Francisco and Romero Sánchez, Juan Luis (2019) Aprendizaje por refuerzo profundo aplicado a juegos sencillos. [Trabajo Fin de Grado]

Agüero Selva, Elianni María and Sande Soltero, Ignacio (2019) Asistente móvil para la interpretación de texto dirigido a personas con discapacidad cognitiva. [Trabajo Fin de Grado]

Abbati Loureiro, Mauricio and Moreno Varillas, Jose Luis (2019) Asistente virtual para servicios de la biblioteca de la UCM - Janet. [Trabajo Fin de Grado]

Rodríguez Couñago, Marta and Márquez Gómez, Alberto (2019) Aula virtual de SQL/PSM. [Trabajo Fin de Grado]

Martín Gutiérrez, Carlos and Ortiz Zamora, Patricia (2019) Automatización de la gestión de la piscina de la UCM mediante Pista Virtual. [Trabajo Fin de Grado]

Montoto Jáuregui, Carlos and Correas Fernández, Jesús (2019) AuxAula: contruyendo puentes entre alumno y profesor. Transformar la distracción en productividad. [Trabajo Fin de Grado]

Pérez Tirador, Elena (2019) Blockchain based Android application for collective defence against sexist actions. [Trabajo Fin de Grado]

Marino Quintana, Arturo and Mazzuka Cassani, Stefano (2019) CIU TOUR: reconocimiento de edificios y monumentos mediante aprendizaje automático. [Trabajo Fin de Grado]

Martín Gómez, Silvia and Ventura Farías, Irene (2019) CLEO: aplicación Web para gestionar Centros Estéticos. [Trabajo Fin de Grado]

García Lorenzo, Javier and Lozano Casado, Carlos (2019) Chronos: sistema de simulación de horarios. [Trabajo Fin de Grado]

Cepeda Yubaylla, William Alexander (2019) Creación de servicios de valor añadido a partir de la explotación de datos de fuentes open data y linked data. [Trabajo Fin de Grado]

Sevilla Molina, Jaime (2019) Deep Learning for the classification of events from Imaging Atmospheric Cherenkov Telescopes. [Trabajo Fin de Grado]

Martín Canora, Manuel and Limón Miralles, David (2019) Desarrollo de recursos educativos para Ingeniería del Software utilizando repositorios de Open Data y Linked Data. [Trabajo Fin de Grado]

García Palomino, Iván and Hinojosa Pérez, Francisco José (2019) Desarrollo de red de sensores de irradiación solar. [Trabajo Fin de Grado]

Saavedra Palacios, Luis Antonio (2019) Desarrollo de un entorno de simulación en Python-Qt, para USVs y barreras de contención de vertidos marinos. [Trabajo Fin de Grado]

Arroyo Segovia, David and Picatoste Zangróniz, Javier (2019) Desarrollo de un sistema de gestión de la elección de docencia. [Trabajo Fin de Grado]

Algaba Aranda, Jorge and Hernández Nájera-Alesón, Manuel (2019) Desarrollo de una aplicación para analizar y evaluar el comportamiento de oradores en realidad virtual. [Trabajo Fin de Grado]

Vela Galindo, Eduardo and Carpallo Bautista, Antonio (2019) Desarrollo de una aplicación para el turismo en Madrid. [Trabajo Fin de Grado]

Tilkas, Anáss (2019) Desarrollo de una aplicación web de gestión de billetes para compañía aérea + Apk Android + tienda en WordPress. [Trabajo Fin de Grado]

Ortiz Iniesta, Javier and Utrilla Olivera, Jorge and Tanarro de las Heras, David (2019) Desarrollo de una aplicación y un portal web para la gestión y evaluación del rendimiento de explotaciones ganaderas. [Trabajo Fin de Grado]

Prada Cazalla, Iván (2019) Detección de ataques basados en el comportamiento temporal de la cache usando contadores hardware. [Trabajo Fin de Grado]

García Tenorio, Álvaro (2019) Detección de puntos significativos en imágenes para reconstrucción 3D. [Trabajo Fin de Grado]

Gulyk, Iván and Algora Igual, Noel José (2019) Device to device streaming en dispositivos móviles. [Trabajo Fin de Grado]

Bas Domínguez, Jaime María and Cuevas Álvarez, Álvaro and García Montero, Alejandro and Gómez-Martinho González, Juan and González Velasco, Irene (2019) Diseño de una Arquitectura de Sistemas Multiagente para Videojuegos basada en el modelo de Creencias, Deseos e Intenciones en Unity. [Trabajo Fin de Grado]

García Fernández, David (2019) Diseño e implementación de actualizaciones Over The Air (OTA) para redes de sensores inalámbricas. [Trabajo Fin de Grado]

Ferreira Gonçalves, Tiago Frederico (2019) Dispositivos de monitorización de señales biomédicas empleando sistemas empotrados de bajo coste. [Trabajo Fin de Grado]

Pastor Cobo, Manuel and Torre Barrio, Pablo de (2019) Elaboración de un algoritmo predictivo sobre la evolución del precio de las criptomonedas. [Trabajo Fin de Grado]

Acuña Berger, Diego and Calle Sánchez, Daniel and Gómez Cereceda, Carlos and Hong, Zihao (2019) Explicaciones mediante realidad aumentada de sistemas de recomendación social en el dominio del ocio. [Trabajo Fin de Grado]

Domingo Martín, Ignacio and Fernández Reyes, Julia and Sánchez Andreu, Agata (2019) Gestión de la logística de exámenes en la Universidad. [Trabajo Fin de Grado]

Arroyo Aguilera, Carlos (2019) Gestor de contenidos para administración de web corporativa. [Trabajo Fin de Grado]

González Pérez, Marco (2019) Herramienta para el aprendizaje de técnicas de mezcla en producción musical. [Trabajo Fin de Grado]

Alcaine Camilli, Nicolás and Rodríguez Chacón, Alejandro (2019) Identificación de imágenes por análisis de texturas utilizando aprendizaje automático. [Trabajo Fin de Grado]

Pérez López, Rubén (2019) Implementación de aplicación web de administración para producto gestor de aparcamientos en empresas. [Trabajo Fin de Grado]

Lagartera Peña, Rodrigo and Acosta Rodríguez, Álvaro (2019) Implementación en un dispositivo hardware de un sistema de detección de intrusos basado en red. [Trabajo Fin de Grado]

Jiménez Corta, Gonzalo (2019) Implementación paralela del Automatic Target Detection and Classification Algorithm haciendo uso de la ortogonalización de Gram Schmidt para el análisis de imágenes hiperespectrales. [Trabajo Fin de Grado]

Osés Grijalba, Jorge (2019) Intelligent tool for visual data analysis. [Trabajo Fin de Grado]

Pérez Cogolludo, David and Hidalgo Lorente, Manuel and Jiménez Rodríguez, Miguel (2019) Juegos serios para investigar y obtener datos sobre el envejecimiento activo. [Trabajo Fin de Grado]

Martín Berlanga, Irene and García Hernández, Pablo (2019) Mejora de la comprensión lectora para la inclusión mediante figuras retóricas. [Trabajo Fin de Grado]

García Sánchez-Migallón, Ignacio (2019) Minería de procesos aplicada al estudio de wikis. [Trabajo Fin de Grado]

Lashutko, Yevhenii and Koziel, Bartlomiej (2019) My bulleting: manage students’ attendance tracking without papers. [Trabajo Fin de Grado]

Kushch, Yevheniy and Santiago Pérez, Yaco Alejandro (2019) Nube de detección temprana de actividades terroristas. [Trabajo Fin de Grado]

Canas Ramos, Iván (2019) NutriGestión: aplicación de gestión de pacientes en el área de la nutrición. [Trabajo Fin de Grado]

González Blanco, Diego and Guevara Carpizo, Adrián and Fernández Alonso, Manuel Antonio (2019) Organizaciones autónomas descentralizadas (DAOs) para economía colaborativa utilizando Blockchain. [Trabajo Fin de Grado]

Martín Gómez, Sergio and Romero Palencia, Eduardo (2019) Patrones de seguridad software en el contexto de la Arquitectura multicapa para la plataforma J2EE. [Trabajo Fin de Grado]

Gutiérrez Gallego, Alberto and Parra Rodríguez, Daniel (2019) Predicción de cambios en el rendimiento de futbolistas. [Trabajo Fin de Grado]

Calvo González, Celia and Blanco Morago, Raquel (2019) Predicción de valores en mercados financieros. [Trabajo Fin de Grado]

Sánchez Jiménez, John Byron and López Prieto, Samuel and Garrido Montoya, José Ángel (2019) Reconocimiento de lenguaje Signo-Escritura mediante Deep Learning. [Trabajo Fin de Grado]

Molinero Lacave, Jaime and Ionut Vaduva, Andrei (2019) Reconocimiento de objetos en imágenes mediante técnicas de aprendizaje profundo: Redes Neuronales Convolucionales. [Trabajo Fin de Grado]

Córdoba Clapés, Adrián and Ambrona Palacios, Carlos and Perdomo Fernández, Carlos and Huertas Smolis, Marta and Kim, Yelim (2019) Red de apoyo local. [Trabajo Fin de Grado]

Doménech Arellano, Pedro Pablo and Soria Muñoz, Alfonso (2019) Sistemas de recomendación aplicados a jueces en línea. [Trabajo Fin de Grado]

López Gonzalo, Carmen (2019) Tablero de comunicación configurable basado en pictogramas. [Trabajo Fin de Grado]

Capa Ortiz, Pablo Israel and Peimán Ramírez, Belén and Fernández Bravo, Rodrigo (2019) TopEvent: plataforma para la gestión de eventos. [Trabajo Fin de Grado]

González Álvarez, Salvador and López Pulido, José María (2019) Traductor de pictogramas a texto. [Trabajo Fin de Grado]

Cruz Casado, Álvaro de la and Oreja Valverde, Manuel and Pascua Piña, Alejandro and Robles Palencia, Marcos (2019) Técnicas de Machine Learning para conducción. [Trabajo Fin de Grado]

Velasco Suárez, Manuel (2019) Una implementación en Haskell de un lenguaje funcional no determinista. [Trabajo Fin de Grado]

Rodríguez Núñez, Clara (2019) Una introducción a la Teoría de la Computabilidad desde una perspectiva de programación lógica. [Trabajo Fin de Grado]

El Faqir El Rhazoui, Youssef (2019) WikiChron networks: una herramienta para el análisis de redes en wikis. [Trabajo Fin de Grado]

García Navarro, Hermenegildo (2019) ¿Está Ethereum capacitado para cubrir las expectativas que se esperan de la tecnología blockchain? [Trabajo Fin de Grado]

Aracil Muñoz, Marta (2018) A deep learning approach for automatically generating descriptions of images containing people. [Trabajo Fin de Grado]

Coronado Sanz, Beatriz (2018) Algoritmos de búsqueda de subcadenas para encontrar semejanzas en cadenas numéricas. [Trabajo Fin de Grado]

Hervás Rodríguez, David (2018) Ampliación de un complemento web para la gestión de bibliografías en Google Docs. [Trabajo Fin de Grado]

Alapont Tomás, Pablo (2018) Análisis Solar: análisis de datos en bloque de siete estaciones de medición de radiación solar en Almería. [Trabajo Fin de Grado]

Miguel González, Rodrigo de (2018) Atravesando las capas de una aplicación empresarial: demostrador tecnológico J2EE. [Trabajo Fin de Grado]

Pacheco Herranz, Francisco Javier and Romero Pérez, Javier (2018) Desarrollo de gamificación para apoyo de aprendizaje online. [Trabajo Fin de Grado]

Hernández Burgos, Alfredo (2018) Desarrollo de un sistema de control de Bots para Unreal Engine basado en la Teoría de la Utilidad. [Trabajo Fin de Grado]

Coldeira Pérez, Daniel Antonio (2018) Desarrollo de un sistema de gestión, comunicación y planificación para estudiantes universitarios. [Trabajo Fin de Grado]

Rodríguez Marco, David (2018) Desarrollo de un sistema de servicios turísticos por geolocalización. [Trabajo Fin de Grado]

Abades Ruiz, César (2018) Desarrollo de una aplicación iOS de comunicación de aplicaciones de salud con glUCModel. [Trabajo Fin de Grado]

Vaca Vargas, Bryan Raúl (2018) Estudio del rendimiento y la escalabilidad de aplicaciones MPI en entornos distribuidos utilizando SIMCAN. [Trabajo Fin de Grado]

Antón Alonso, Javier and Zhu Chen, Xuebo (2018) Estudio y simulación de un vehículo autopilotado en Unity 5 haciendo uso de algoritmos de aprendizaje automático. [Trabajo Fin de Grado]

Sagredo Tamayo, Javier (2018) Generación de casos de prueba de caja blanca mediante restricciones. [Trabajo Fin de Grado]

Fernández-Montes Cabanillas, Jorge (2018) Herramienta de colaboración ciudadana para la redacción de leyes. [Trabajo Fin de Grado]

Reyes Tubón, Daniel (2018) IS Case Tool-Docs. [Trabajo Fin de Grado]

Bravo Antón, Rodrigo and García Rodríguez, Javier and Alba Corral, David (2018) Jugadores automáticos basados en Deep Reinforcement Learning. [Trabajo Fin de Grado]

Modia Pozuelo, Gabriel David (2018) Jugadores automáticos basados en árboles de búsqueda de Monte Carlo. [Trabajo Fin de Grado]

Marrón Díaz, Carlos and Merino Martínez, Jorge (2018) Plataforma de gestión de retos gamificados y analíticas. [Trabajo Fin de Grado]

Águila Sánchez, Sebastián and Montero Cobo de Guzmán, Sergio (2018) Predicción de series temporales con k-NN sobre Spark. [Trabajo Fin de Grado]

Burruezo Aranda, Francisco (2018) Soporte de calidad de servicio en Linux para procesadores equipados con la tecnología Intel CAT. [Trabajo Fin de Grado]

Piña Martínez, Carlos and Corral Tercero, Diego del (2018) Telegram Bot-CryptoMarket. [Trabajo Fin de Grado]

Pascual Contreras, Andrés and Pérez Zamorano, José Manuel and Muñoz Gámez, Adrián (2018) Testing de sistemas restaurables empleando metaheurísticas. [Trabajo Fin de Grado]

Casso San Roman, Ignacio (2018) Towards computing distances among abstract interpretations. [Trabajo Fin de Grado]

Ruzafa Esteve, Inés (2018) Depuración de una base de datos. [Trabajo Fin de Grado]

Herranz González, Andrés and Lorenzo Fernández, Borja and Rius García, Guillermo (2018) Adaptación y calibrado de algoritmos de predicción para la identificación de ataques DDoS en redes de quinta generación. [Trabajo Fin de Grado]

Zmudzinska, Aleksandra and Wietczak, Blazej (2018) Analysis of Twitter activity by country during competitive events. [Trabajo Fin de Grado]

Barrasús Orza, Roberto (2018) Análisis de la demanda de empleo utilizando técnicas de Big Data. [Trabajo Fin de Grado]

Eugercios Suárez, Gema and Gutiérrez Merino, Paloma and Kaloyanova Popova, Elena (2018) Análisis emocional para la inclusión digital. [Trabajo Fin de Grado]

Gómez Bermejo, Rafael (2018) Aplicación web para la gestión y búsqueda de eventos. [Trabajo Fin de Grado]

Junestrand Leal, Axel (2018) Application of Machine Learning Algorithms for Bipolar Disorder Crisis Prediction. [Trabajo Fin de Grado]

Calvo Revelo, Iván (2018) Applying fuzzy automata to analyze heart data. [Trabajo Fin de Grado]

Montes Cobo, Berta (2018) Auditoría de proyectos Big Data, Cloud Computing y Open Data. [Trabajo Fin de Grado]

Rodríguez Carreño, Víctor (2018) Autenticación de imágenes basada en la extracción de características. [Trabajo Fin de Grado]

Blanco Peris, Pablo and Solana González, María (2018) Autenticación de imágenes digitales mediante patrones locales de texturas. [Trabajo Fin de Grado]

Rodríguez Lavado, Mateo (2018) Bioinformática: Inteligencia Artificial para profundizar en el conocimiento de trastornos metabólicos complejos. [Trabajo Fin de Grado]

Terriza Díez, Ignacio and Reyes Parrilla, Daniel (2018) Búsquedas de respuestas con Deep Learning. [Trabajo Fin de Grado]

Martín Arias, Andrea (2018) Complemento Web para la gestión de bibliografías en Google Docs. [Trabajo Fin de Grado]

Ortiz Fernández, David (2018) Control hardware de una FPGA para el estudio de su comportamiento bajo radiación en entornos hostiles. [Trabajo Fin de Grado]

Dabbagh Escalante, Kurosh and Gómez-Arevalillo González, Álvaro (2018) Cypher as a Service. [Trabajo Fin de Grado]

Iráizoz Domínguez, Jesús (2018) Desarrollo de HFOSS para ayudar en desastres naturales, como parte del proyecto Sahana. [Trabajo Fin de Grado]

Guerra González, José Rafael (2018) Desarrollo de algoritmos para un Grid de sistemas empotrados. [Trabajo Fin de Grado]

Martínez Gutiérrez, Carlos and Montero Roldán, Alejandro and Vicente Cano, Javier (2018) Desarrollo de aplicación multiplataforma de búsqueda y gestión de recetas. [Trabajo Fin de Grado]

Herreros Manotas, Andrés and Monteagudo Sampedro, Adrián (2018) Desarrollo de infraestructura GTD multiplataforma. [Trabajo Fin de Grado]

Nolasco Arévalo, Jhersy (2018) Desarrollo de servicios de valor añadido usando la API de YouTube. [Trabajo Fin de Grado]

Santos Buitrago, Rocío (2018) Desarrollo de un Asistente Virtual turístico para la ciudad de Madrid. [Trabajo Fin de Grado]

González Jiménez, Sergio (2018) Desarrollo de un Sistema Multiagente basado en creencias, deseos e intenciones para modelar personajes autónomos en videojuegos utilizando Jason y Unity. [Trabajo Fin de Grado]

Fernández Duque, Víctor (2018) Desarrollo de un entorno de virtualización de redes con fines docentes. [Trabajo Fin de Grado]

Sepulcre Vaz, Alejandro (2018) Desarrollo de una aplicación informática para el análisis de imágenes térmicas. [Trabajo Fin de Grado]

Gavidia Ortiz, Carlos and Gorricho San Juan, David and Monterrubio Cerezo, Iván (2018) Desarrollo de una aplicación para la gestión de espacios en la Biblioteca de la Facultad de Informática. [Trabajo Fin de Grado]

Pérez Durán, Marcelino and Prieto Escolar, Juan José (2018) Desarrollo de una herramienta de autoría en Unity para la creación de Juegos de Rol con combate basado en turnos. [Trabajo Fin de Grado]

García Rodríguez, Víctor and Menéndez Montejo, Jesús (2018) Desarrollo de una plataforma para creación e investigación en videojuegos multijugador de deducción. [Trabajo Fin de Grado]

Antuña Rodríguez, David and Gutiérrez Gertrúdix, Daniel and Carrión García, Javier (2018) Detección semi-automática de nuevos pares de estrellas con movimiento propio común. [Trabajo Fin de Grado]

Quiñones Sánchez, Daniel and Romero Martínez, Miguel (2018) Diseño y despliegue de un clúster de bajo presupuesto para el desarrollo de las prácticas de Programación de Sistemas Distribuidos (PSD). [Trabajo Fin de Grado]

Rodríguez, Cristhian and Carrero, Jonathan and Liu, Yu (2018) Estudio de clases de complejidad de testing. [Trabajo Fin de Grado]

Garrido Rojo, Marco Antonio (2018) Estudio y desarrollo de técnicas para el testing de programas concurrentes. [Trabajo Fin de Grado]

Morán Blanco, Mónica and Barrado González, Rubén (2018) FIND your PET. [Trabajo Fin de Grado]

Arranz Ropero, Pablo and Camino Sáez, Juan Alberto and López Martínez, Carlos (2018) GenLab: app multiplataforma para cursos de genética. [Trabajo Fin de Grado]

Garrido Canalejas, Miguel (2018) Generación de casos de prueba tipo caja negra mediante restricciones. [Trabajo Fin de Grado]

Palacios Arauzo, Marco Antonio and García Solano, Miguel Ángel (2018) Generación de rutas turísticas por la ciudad de Madrid. [Trabajo Fin de Grado]

Loscos Barroso, Daniel (2018) Generalization and Completeness of Evolutionary Computation. [Trabajo Fin de Grado]

Márquez Fernández, Pablo and Martín Atienza, Pablo (2018) Gestión y adaptación de contenidos para la realización de experimentos químicos con personas con discapacidades. [Trabajo Fin de Grado]

Jiménez Corta, Lorena (2018) Herramienta de apoyo a la navegación web para personas con discapacidad. [Trabajo Fin de Grado]

Benavides Quintana, Lenin and Roa Medina, Carlos (2018) Herramienta de extracción de información de malware. [Trabajo Fin de Grado]

Gómez Domínguez, Nerea and Lendínez Fernández, Silvia and Molina Díaz, Gonzalo and Panadero González, Adrián (2018) Herramienta de gestión de alertas categorizadas: MADALERT. [Trabajo Fin de Grado]

Asenjo Torrico, Álvaro (2018) Herramienta web de autodefensa digital. [Trabajo Fin de Grado]

Paz Suárez, Lorenzo José de la and Mas Aguilar, Juan (2018) IDNet: Framework de conexión P2P de bases de datos distribuidas e independientes. [Trabajo Fin de Grado]

Fuentes López, Miguel and Segarra Fernández, Lucas (2018) Identificación de patrones de glucemia por tramos de cuatro horas en diabéticos tipo I mediante monitorización continua de glucosa y técnicas estadísticas. [Trabajo Fin de Grado]

Lesaga López, Javier (2018) Implementación de algoritmos de identificación y predicción para glUCModel. [Trabajo Fin de Grado]

Bastarrica Lacalle, Daniel Francisco and Berdecio Trigueros, Javier (2018) Librería para la predicción usando el k-NN: paralelización y visualización de resultados. [Trabajo Fin de Grado]

Rivero Fernández, Carolina and Zamora Rey, David (2018) Lost2Found: encuentra tus objetos perdidos usando open data y redes de colaboración. [Trabajo Fin de Grado]

Santos Gil, David de los and Serrano Álvarez, José (2018) MemoriesCloud: implementación de una pila de recuerdos para smartphones. [Trabajo Fin de Grado]

Martínez Pérez, Carlos (2018) Museo interactivo del videojuego. [Trabajo Fin de Grado]

Ventura Candela, Adriana (2018) Organizando mis prácticas. [Trabajo Fin de Grado]

Perucha Pérez, Jesús and Pradas Sacristán, Josué (2018) P2P Sharing: aplicación android P2P para compartición de archivos. [Trabajo Fin de Grado]

García Martínez, Francisco (2018) Private networks intrusion detection system by satisfying network constraints. [Trabajo Fin de Grado]

Esayan, Aykaz and Oleaga Quintas, Sebastián (2018) Prog-Advisor. [Trabajo Fin de Grado]

Gil Rodríguez, Celia and González Jiménez, Óscar and García Andrés, Rubén and Cupeiro Rodríguez, Javier (2018) Recomendador inteligente de vestimenta. [Trabajo Fin de Grado]

Eschenbach, Annette (2018) Short-term solar irradiation from a sparse pyranometer network. [Trabajo Fin de Grado]

Cayón Ruano, Aitor and Cortés Tejada, José Javier and Pérez Gutiérrez, Fernando and Sellés Salvà, Gabriel (2018) Sistema de búsqueda de respuestas adaptable a distintos dominios. [Trabajo Fin de Grado]

Pérez Asensio, David (2018) Sistema de clasificación de historias clínicas con deep learning. [Trabajo Fin de Grado]

Boada González, Alberto Manuel (2018) Sistema de control de accesos para comedores escolares. [Trabajo Fin de Grado]

Donaire Ballesteros, Alejandro and Tan Luc, Rayner (2018) Sistema de identificación por radiofrecuencia para competiciones deportivas. [Trabajo Fin de Grado]

García García, Almudena (2018) Sistema de recomendación contextual para rutas turísticas. [Trabajo Fin de Grado]

Rincón Martínez, Santiago (2018) Sistema para la enseñanza de automatización de juegos aplicada al estudio del póker en su variante Texas Hold’em. [Trabajo Fin de Grado]

González García-Muñoz, Christian and Huertas Herrero, Alejandro (2018) Sistema para la supervisión remota de actividad física de pacientes mediante pulseras de sensores. [Trabajo Fin de Grado]

Ávila Benito, Esther and Romero Alonso, Guillermo (2018) T.E.F.G: generador de frecuencias de eventos temporales. [Trabajo Fin de Grado]

Mármol Pérez, Juan Manuel and Martín Ruiz, Luis Fernando (2018) TEEM-ACTAS: aplicación web de actas colaborativas para reuniones y asambleas. [Trabajo Fin de Grado]

Oro García, Jesús de and Gálvez Bernal, Héctor and Chico Muñoz, Emilio (2018) Telegram Bot: Track and Field. [Trabajo Fin de Grado]

Ibias Martínez, Alfredo (2018) Using Squeeziness to test from Finite State Machines. [Trabajo Fin de Grado]

Navas Sánchez, Álvaro and Quirós Fernández-Montes, Iván (2018) WebQuizz: herramienta del profesor para la App Quizz. [Trabajo Fin de Grado]

Márquez Torres, Carlos Jaynor and Pérez Jambrina, Laura and Tocino Estrada, Daniel (2017) Análisis biomecánico para ciclistas. [Trabajo Fin de Grado]

Povedano Álvarez, Daniel and Vetencourt Rosas, Desirée (2017) Análisis forense de imágenes digitales mediante interpolación cromática. [Trabajo Fin de Grado]

Hernando Serrano, Laura and Rossetto Bermejo, Daniel (2017) Asistente de corrección y validación de ejercicios. [Trabajo Fin de Grado]

Al-Mahamid Vélez, Yamal César (2017) Banco de tiempo con oferta y demanda de servicios en una red P2P. [Trabajo Fin de Grado]

Laria Mantecón, Héctor and Sánchez Cremades, Jorge and Tajuelo Garrigós, José Miguel and Vieira Luna, Jorge (2017) Creación de bots para Ms-Pacman basados en gramáticas evolutivas. [Trabajo Fin de Grado]

González Rodríguez, Miriam and Llundo Chango, Omar Santiago (2017) Desarrollo de una aplicación accesible: Sono Bingo aplicación móvil Android. [Trabajo Fin de Grado]

Martín-Maldonado Jiménez, David and Sandoval Ferrandis, Javier (2017) Desarrollo y edición de juegos serios con Unity y E-Adventure. [Trabajo Fin de Grado]

Sánchez Álvarez, Daniel and Reyes Diego, Gerardo David (2017) Diseño e implementación de una fuente de datos tipo SNORT basada en la arquitectura SELFNET. [Trabajo Fin de Grado]

Rodríguez Martínez, Lisis (2017) Implementación de módulo de videoconferencia sobre Salesforce. [Trabajo Fin de Grado]

Alonso Rodríguez, Carlos and Tomé Rodríguez, Michael (2017) Logopedia Lúdica : actividades de logopedia para niños usando la tecnología. [Trabajo Fin de Grado]

Aragón Moreno, Pablo and Castañeda López, María and Coronado López, Abel (2017) Predicción a corto plazo de la energía generada por una placa solar. [Trabajo Fin de Grado]

Camargo Sánchez, Ángela Rocío and Machín Fernández, Adolfo Javier (2017) Quizz: una plataforma móvil para la enseñanza de la literatura inglesa. [Trabajo Fin de Grado]

Arroyo Lara, Luis and Caballero Ruiz,, David and Puerro Cepa, Eduardo (2017) Reconocimiento de una plataforma para aterrizaje de UAVs mediante procesamiento de imágenes. [Trabajo Fin de Grado]

Ballesteros de Andrés, Carlos and Sypko, Denys (2017) Sistema IoT para monitorización del estado de un centro de proceso de datos de grandes dimensiones. [Trabajo Fin de Grado]

Amores Martínez, Carlos Salvador and Cabezas Cárdenas, Víctor Alfonso and Aguilar Ochoa, Andrés Felipe (2017) Sistema para creación y gestión de colecciones on-line con fines educativos. [Trabajo Fin de Grado]

Franco Medina, Miguel and Guerra de las Peñas, Ignacio Yazid and Sánchez Ruiz, Sergio (2017) ¿Es viable una red de autobuses sin líneas? [Trabajo Fin de Grado]

Rodríguez Navarro, José Miguel and Orueta Moreno, Carlos (2016) Aceleración de algoritmos para imágenes hiperespectrales con OpenCL. [Trabajo Fin de Grado]

Higuera Romero, Miguel (2016) Co-simulación HW/SW en Raspberry Pi. [Trabajo Fin de Grado]

Kumpel del Castillo, Hugo Daniel and Scatton Lóndero, Alejandro (2016) Entorno de realidad virtual controlado en tiempo real por señales motoras para la rehabilitación del miembro superior en pacientes con daño cerebral. [Trabajo Fin de Grado]

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

García Delgado, José Luis (2016) Gamificación en sistemas de microanotaciones. [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 Duque, Guillermo and Jiang, Yuan Xu (2016) Herramienta configurable para la evaluación y autoevaluación de la docencia virtual. [Trabajo Fin de Grado]

Rueda Rueda, Andrea and Riani, Chaymae (2016) Herramienta de evaluación de calidad adaptativa a las normas de AENOR. [Trabajo Fin de Grado]

Pastore Burgos, Agustín (2016) Herramienta para búsqueda de casos médicos semejantes. [Trabajo Fin de Grado]

Esteban Cobo, Miguel (2016) Herramienta para la extracción automática de metadatos en vídeos de dispositivos móviles. [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]

Álvarez Hernández, Raquel and Cheng, Yanyan and Sun, Qiang (2016) Olétrip : planificación dinámica de planes de ocio. [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]

Candonga Yugsi, Jonathan Andrés and Castillo Torres, Viviana (2016) Unity assessment: desarrollo de un plugin de Unity evaluación basada en juegos y desarrollo de un juego de artes escénicas. [Trabajo Fin de Grado]

Gil Navarro, Claudia and Pequeño Pulleiro, Alejandro and Valle Silva, Alejandro del (2016) Visualización de datos de comunidades colaborativas. [Trabajo Fin de Grado]

Beceiro Castillo, Carlos and Espinosa Victoria, Cristina Valentina and Martínez Pagés, José Javier (2015) Aplicación de predicción en bolsa basada en indicadores técnicos y computación evolutiva. [Trabajo Fin de Grado]

Vallejo Ruiz, Ismael (2015) Asistente virtual (Chatbot) para la web de la Facultad de Informática. [Trabajo Fin de Grado]

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

Flórez Ruiz, Alberto (2015) Auditoría de alineamiento con el Marco europeo de interoperabilidad. [Trabajo Fin de Grado]

Andrés Castañeda, Pablo (2015) DermaSystem III : gestión informática en dermatología. [Trabajo Fin de Grado]

Capellán Pizarroso, Fernando and Florina Puica, Simona and Sánchez Huerta, Daniel (2015) Diseño e implementación en FPGA de un filtro Kalman para aplicaciones biomédicas. [Trabajo Fin de Grado]

Abubakra Abubakra, Yusef and Andrés Herrero, Miguel and Fernández Villanueva, Javier and Martín Sanz, David and Zabala Hidalgo, Alejandro (2015) Producción de una experiencia de horror inmersivo utilizando un entorno de desarrollo de videojuegos y un visor de realidad virtual. [Trabajo Fin de Grado]

Fernández Romo, Almudena and García Sánchez, Roberto (2015) Proyecto DALGS: Degrees and learning goals system. [Trabajo Fin de Grado]

Fajardo Cabello, Francisco Javier (2015) Referente de auditoría para la reutilización de aplicaciones en modo servicio. [Trabajo Fin de Grado]

González Rincón, Juan Diego (2015) Sistema basado en open source hardware para la monitorización del consumo de un computador. [Trabajo Fin de Grado]

Doménech Arellano, Jesús Javier (2015) Técnicas de extracción en tiempo real del tempo de pistas de audio sobre dispositivos móviles. [Trabajo Fin de Grado]

Blanco Gómez, Valentín and Sampedro Ruíz, Raúl (2014) Diseño e implementación de pizarras digitales de bajo coste. [Trabajo Fin de Grado]

Rabadán Jurado, Adrián and Rodríguez Ferreira, Teresa (2014) Generating referring expressions in a 3D environment. [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]

Llorente Navarro, Sara and Muñoz Díaz, Carlos Manuel and Olivar Conde, José Carlos (2013) Dermasystem: gestión informática en dermatología. [Trabajo Fin de Grado]

Ruiz Rodríguez, Omar and Seco Peña, Andrea and Velay Valor, Jaime (2013) OdA J2EE : aplicación del metamodelo relacional para el soporte de metadatos específicos del dominio en repositorios de objetos de aprendizaje. [Trabajo Fin de Grado]

Ballesteros Calvo, Alicia and Cárcamo Escorza, Guillermo and Duobert Collazos, Emilio (2013) Recubrimiento y normalización de recursos lingüísticos: aplicación a las anotaciones morfosintánticas [sic] y sintácticas de Freeling. [Trabajo Fin de Grado]

Coursework

Contreras Fernández, José Alfonso (2017) Laboratorio virtual de consultas SQL. [Coursework] (Unpublished)

Gil Sánchez, Álvaro and Gutiérrez Palancarejo, Héctor and Morales Lozano, Álvaro (2015) Diseño e implementación en hardware de un modelo de retina artificial. [Coursework] (Unpublished)

González Reyes, Alejandra and Montero Aneiros, Claudia and Champa Bujaico, Ricardo (2014) EMS in cloud. [Coursework] (Unpublished)

Carrión Beltrán, Ricardo Javier and Díaz Calvo, María and López Carreras, Daniel (2014) Integración de juegos educativos en edX. [Coursework] (Unpublished)

Cuesta Boluda, Daniel and Cuesta Boluda, Guillermo and Rodríguez-Osorio Jiménez, Javier (2014) Producción de un videojuego multijugador en Unity combinando los géneros MOBA y RTS : ingeniería del software y diseño de videojuegos. [Coursework] (Unpublished)

Nuche Castellanos, Ramón and Romero Navarrete, Héctor and Santos García, Diego (2014) Proyecto SIGUE: una herramienta para el seguimiento docente y calificación automática. [Coursework] (Unpublished)

Daza Castillo, Alicia Mireya and Rodríguez Navarro, Rosa María and González López, Jorge (2014) Una herramienta de apoyo al tratamiento de catálogos astronómicos. [Coursework] (Unpublished)

Menárguez García, Miguel Ángel (2013) ECG2HRV:new tool for the research in heart rate varability. [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)

Heras Martín, Francisco and Panadero Hernández, Silvia and Sánchez García-Velasco, Estefanía (2013) Herramienta de apoyo a la enseñanza de las matemáticas en educación primaria. [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)

This list was generated on Sat Aug 24 20:23:16 2019 CEST.