Browse by Department

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Name | Item Type | No Grouping
Jump to: A | B | C | E | F | G | H | I | K | L | M | N | P | R | S | T | V
Number of items: 97.

A

Albert Albiol, Elvira and Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (2005). Abstraction-carrying code: a model for mobile code safety. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Aguado de Cea, G. (1994). Algunos ejemplos de polisemia y sinonimia en la terminología informática. Monografía (Technical Report). Facultad de Informática (UPM), Luxembourg.

Aggoun, Abderrahmane and Bueno Carrillo, Francisco and Carro Liñares, Manuel and Deransart, Pierre and Fabris, Massimo and Drabent, Wlodek and Ferrand, Gerard and Hermenegildo, Manuel V. and Lai, Claude and Lloyd, J. and Maluszynski, Jan and Puebla Sánchez, Alvaro Germán and Tessier, Alexandre (1997). CP debugging needs and tools. Monografía (Working Paper). Facultad de Informática (UPM), Orsay Cedex, France.

Aggoun, Abderrahmane and Benhamou, Frederic and Bueno Carrillo, Francisco and Carro Liñares, Manuel and Deransart, Pierre and Drabent, Wlodek and Ferrand, Gerard and Goualard, Frederic and Hermenegildo, Manuel V. and Lai, Claude and Lloyd, J. and Maluszynski, Jan and Puebla Sánchez, Alvaro Germán and Tessier, Alexandre (1997). CP debugging tools: Clarification of functionalities and selection of the tools. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Antón Sánchez, Laura and Bielza Lozoya, Maria Concepcion and Larrañaga Múgica, Pedro (2015). Evolutionary computation of forests with Degree- and Role-Constrained Minimum Spanning Trees. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM), Madrid.

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (2005). Reduced certificates for abstraction-carrying code. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Albertoni, Riccardo (2012). SSONDE: Semantic Similarity On liNked Data Entities. Monografía (Manual). Facultad de Informática (UPM), Madrid, Spain.

B

Ballesteros, Francisco J. and Bueno Carrillo, Francisco and Cabeza Gras, Daniel and Carro Liñares, Manuel and García de la Banda, M. and Gómez Henríquez, Luis M. and Hermenegildo, Manuel V. and López García, Pedro (1993). A proposal for an interchange abstract syntax for (parallel) Prolog. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Bueno Carrillo, Francisco and López García, Pedro and Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (2006). A tutorial on program development and optimization using the Ciao preprocessor. Monografía (Manual). Facultad de Informática (UPM), Madrid, Spain.

Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (1995). An automatic translation scheme from CLP to AKL. Monografía (Working Paper). Facultad de Informática (UPM), Madrid, Spain.

Bueno Carrillo, Francisco and García de la Banda, M. and Hermenegildo, Manuel V. (1995). Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Bueno Carrillo, Francisco and Cabeza Gras, Daniel and Hermenegildo, Manuel V. and Puebla Sánchez, Alvaro Germán (1995). Data-Flow analysis of prolog programs with extra-logical features. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Buil-Aranda, C. and Corcho, Oscar (2010). Federating Queries to RDF repositories. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Bueno Carrillo, Francisco and Navas, J. and Hermenegildo, Manuel V. (2005). Sharing, freeness, linearity, redundancy, widenings, and cliques. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Bueno Carrillo, Francisco and Cabeza Gras, Daniel and Hermenegildo, Manuel V. and Prestwich, Steven and Puebla Sánchez, Alvaro Germán (1994). Some improvements to an abstract syntax for analysis and optimization of full (parallel) prolog. Monografía (Working Paper). Facultad de Informática (UPM), Madrid, Spain.

Bueno Carrillo, Francisco and Cabeza Gras, Daniel and García de la Banda, M. and Hermenegildo, Manuel V. (1993). The AND-Prolog compiler system — Automatic parallelization tools for LP. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Bueno Carrillo, Francisco and Hermenegildo, Manuel V. and López García, Pedro and Puebla Sánchez, Alvaro Germán (2007). The ciao preprocessor. Monografía (Manual). Facultad de Informática (UPM), Madrid, Spain.

Bueno Carrillo, Francisco and Cabeza Gras, Daniel and Carro Liñares, Manuel and Hermenegildo, Manuel V. and López García, Pedro and Puebla Sánchez, Alvaro Germán (2002). The ciao prolog system. Monografía (Manual). Facultad de Informática (UPM), Madrid, Spain.

Bueno Carrillo, Francisco and Debray, S.K. and García de la Banda, M. and Hermenegildo, Manuel V. (1995). Transformation�based implementation and optimization of programs exploiting the basic Andorra model.. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

C

Correas Fernandez, Jesús and Gómez, J. M. and Carro Liñares, Manuel and Cabeza Gras, Daniel and Hermenegildo, Manuel V. (2003). A generic persistence model for (C)LP systems (and two useful implementations). Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Chico de Guzmán, Pablo and Casas, Amadeo and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2011). A simulation study on parallel backtracking with solution memoing for independent and-parallelism. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Carro Liñares, Manuel and Gómez-Pérez, José Manuel and Correas Fernandez, Jesús and Morales Caballero, José Francisco and Mera, E. and Puebla Sánchez, Alvaro Germán and Cabeza Gras, Daniel and Bueno Carrillo, Francisco and Daffara, Carlo and Hermenegildo, Manuel V. (2004). AMOS User's manual. Monografía (Manual). Facultad de Informática (UPM), Madrid, Spain.

Carro Liñares, Manuel and Hermenegildo, Manuel V. and Bueno Carrillo, Francisco and Cabeza Gras, Daniel and García de la Banda, M. and López García, Pedro (1998). An Introductory Course on Constraint Logic Programming. Monografía (Manual). Facultad de Informática (UPM), Madrid, Spain. https://doi.org/10.1.1.27.4106.

Casas, Amadeo and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2007). Annotation algorithms for unrestricted independent and-parallelism in logic programs. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Casas, Amadeo and Hermenegildo, Manuel V. and Carro Liñares, Manuel (2003). Automatic unrestricted independent and-parallelism in logic programs. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2008). Bridge program transformation for the Continuation Call-based tabled execution. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2008). Bridge transformation for continuation call-based tabled execution.. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Cabeza Gras, Daniel and Hermenegildo, Manuel V. (1995). Conditional parallelization of nonStrict independence. Procedures and assessmen. Monografía (Working Paper). Facultad de Informática (UPM), Madrid, Spain.

Carro Liñares, Manuel and Hermenegildo, Manuel V. (1991). Experimenting with independent and-parallel prolog using standard prolog. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Córdoba-Sánchez, Irene and Bielza Lozoya, María Concepción and Larrañaga Múgica, Pedro (2016). Graphoids and separoids in model theory. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM).

Carro Liñares, Manuel and Morales Caballero, José Francisco and Muller, Henk L. and Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (2006). Optimizing prolog for small devices: A case study. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Casas, Amadeo and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2007). Towards a high-level implementation of execution primitives for non-restricted, independent and-parallelism. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Cabeza Gras, Daniel and Hermenegildo, Manuel V. (1993). Towards extracting non-strict independent and-parallelism using sharing and freeness information. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Cabeza Gras, Daniel and Hermenegildo, Manuel V. (1996). html.pl: A simple HTML package for Prolog and CLP systems. Monografía (Working Paper). Facultad de Informática (UPM), Madrid, Spain.

E

Esposito, Floriana and Ghezzi, Carlo and Hermenegildo, Manuel V. and Kirchner, Helena and Ong, Luke (2018). Informatics research evaluation. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM), Zurich, Suiza.

F

Fernández López, Mariano and Gómez-Pérez, A. and Pazos Sierra, Alejandro and Pazos Sierra, Juan (1999). Building a Chemical Ontology using Methontology and the Ontology Design Environment. Monografía (Otros). Facultad de Informática (UPM), IEEE Intelligence Systems & Their Applications.

Fernández-González, Pablo and Bielza Lozoya, Maria Concepcion and Larrañaga Múgica, Pedro (2015). Univariate and bivariate truncated von Mises distributions. Monografía (Technical Report). Facultad de Informática (UPM).

G

Gómez-Pérez, A. (2001). A proposal of infrastructural needs on the framework of the semantic web for ontology construction and use. Monografía (Working Paper). Facultad de Informática (UPM).

García Contreras, Isabel and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). An approach to incremental and modular context-sensitive analysis. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

García-Silva, A. and García-Castro, Leyla Jael and García-Castro, Alexander and Corcho, Oscar and Gómez-Pérez, A. (2012). Building ontologies from folksonomies and linked data: Data structures and Algorithms. Monografía (Technical Report). Facultad de Informática (UPM), Ontology Engineering Group. Facultad de Informática. Universidad Politécnica de Madrid.

Gómez-Pérez, A. (1995). Criteria to Verify Knowledge Sharing Technology. Monografía (Technical Report). Facultad de Informática (UPM).

García de la Banda, M. and Hermenegildo, Manuel V. (1992). Effectiveness of combined sharing and freeness analysis using abstract interpretation. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Gómez-Pérez, A. (1994). From Knowledge Based Systems to Knowledge Sharing Technology: Evaluation and Assessment. Monografía (Technical Report). Facultad de Informática (UPM).

García de la Banda, M. and Hermenegildo, Manuel V. and Marriott, K. (1995). Independence and search space preservation in dynamically scheduled constraint logic languages. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Gómez-Pérez, A. and Ramos, JA. (2008). Mappings for the Semantic Web. Monografía (Working Paper). Facultad de Informática (UPM), IEEE Intelligent Systems. Trends & Controversies (por invitación).

Gómez-Pérez, A. and Aguado de Cea, G. and Álvarez de Mon Rego, I. and Fernández-López, M. and Corcho, Oscar and Manzano-Macho, D. and Pareja-Lora, A. and López-Cima, A. (2003). Technological platform for the semantic web: ontologies, natural language analysis, and e-commerce.. Monografía (Technical Report). Facultad de Informática (UPM), V Jornadas de Transferencia Tecnológica de Inteligencia Artificial.

Gómez-Pérez, José Manuel and Cabeza Gras, Daniel and Hermenegildo, Manuel V. (1998). WebDB: A database WWW interface. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

H

Hermenegildo, Manuel V. and López García, Pedro (1994). A technique for dynamic term size computation via program transformation. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Hermenegildo, Manuel V. and Morales Caballero, José Francisco (1997). An automatic documentation generator for (C)LP - Reference manual. Monografía (Manual). Facultad de Informática (UPM), Madrid, Spain.

Hermenegildo, Manuel V. and Bueno Carrillo, Francisco and Carro Liñares, Manuel and López García, Pedro and Mera, E. and Morales Caballero, José Francisco and Puebla Sánchez, Alvaro Germán (2010). An overview of ciao and its design philosophy. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Hermenegildo, Manuel V. and Marriott, K. and Stuckey, P.J. (1994). Incremental analysis of logic programs. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Hermenegildo, Manuel V. and Rodríguez, Manuel C. and Cabeza Gras, Daniel (2000). Using Ciao inside GNU Emacs. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Hermenegildo, Manuel V. and Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco (1998). Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Hermenegildo, Manuel V. (2006). Why Ciao? An overview of the ciao system's design philosophy. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

I

Ivanović, Dragan and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2009). An initial proposal for data-aware resource analysis of orchestrations with applications to proactive monitoring. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Ivanovic, Dragan and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2010). Automated attribute inference in complex srvice workflows based on sharing analysis. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Ivanovic, Dragan and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2010). Automated attribute inference in complex service workflows based on sharing analysis. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Ibañez, Alfonso and Bielza, Concha and Larrañaga Múgica, Pedro (2011). Productividad y Visibilidad Científica de los Profesores Funcionarios de las Universidades Públicas Españolas en el Área de Tecnologías Informáticas. Monografía (Technical Report). Facultad de Informática (UPM).

Ivanovic, Dragan and Carro Liñares, Manuel and Hermenegildo, Manuel V. and López García, Pedro and Mera, E. (2010). Towards data-aware cost-driven adaptation for service orchestrations.. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Ivanovic, Dragan and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2009). Towards data-aware resource analysis for service orchestrations. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

K

Karshenas, Hossein and Larrañaga Múgica, Pedro and Zhang, Qingfu and Bielza, Concha (2012). An Interval-based Multiobjective Approach to Feature Subset Selection Using Joint Modeling of Objectives and Variables. Monografía (Technical Report). Facultad de Informática (UPM).

Klemen, Maximiliano and Stulova, Nataliia and López García, Pedro and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). An approach to static performance guarantees for pograms with run-time checks. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Klemen, Maximiliano and Stulova, Nataliia and López García, Pedro and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). An approach to static performance guarantees for programs with Run-time Checks. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Karshenas, Hossein and Santana, Roberto and Bielza, Concha and Larrañaga Múgica, Pedro (2012). Multi-objective Estimation of Distribution Algorithm Based on Joint Modeling of Objectives and Variables. Monografía (Technical Report). Facultad de Informática (UPM).

L

López García, Pedro and Hermenegildo, Manuel V. (1993). Dynamic term size computation in logic programs via program transformation. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

López García, Pedro and Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (2009). Inferring determinacy and mutual exclusion in logic programs using mode and type analysis.. Monografía (Working Paper). Facultad de Informática (UPM), Madrid, Spain.

M

Mera, E. and Trigo, Teresa and López García, Pedro and Hermenegildo, Manuel V. (2010). An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Méndez-Lojo, Mario and Navas, J. and Hermenegildo, Manuel V. (2006). An efficient, parametric fixpoint algorithm for incremental analysis of java bytecode. Monografía (Working Paper). Facultad de Informática (UPM), Madrid, Spain.

Molina, Martin (2017). An execution engine for aerial robot mission plans. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM).

Mera, E. and López García, Pedro and Puebla Sánchez, Alvaro Germán and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2006). Combining static analysis and profiling for estimating execution times in logic programs. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Muthukumar, Kalyan and Hermenegildo, Manuel V. (1990). Deriving a fixpoint computation algorithm for top-down abstract interpretation of logic programs. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Muthukumar, Kalyan and Hermenegildo, Manuel V. (1989). Determination of variable dependence information at compile-time through abstract interpretation. Monografía (Technical Report). Facultad de Informática (UPM), Austin, Estados Unidos.

Mora, Jose and Corcho, Oscar (2010). Ecient Inference-aware RDB2RDF Query Rewriting. Monografía (Working Paper). Facultad de Informática (UPM).

Morales Caballero, José Francisco and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2004). Improving the compilation of Prolog to C using moded types and determinism information. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Mera, E. and López García, Pedro and Hermenegildo, Manuel V. (2009). Integrating software testing and run-time checking in an assertion verification framework.. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Méndez-Lojo, Mario and Hermenegildo, Manuel V. (2007). Precise set sharin analysis for java-style programs (and proofs).. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Méndez Lojo, Mario and Hermenegildo, Manuel V. (2007). Precise set sharing analysis for Java-style programs (and proofs). Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Méndez-Lojo, Mario and Hermenegildo, Manuel V. (2007). Precise set sharing and nullity analysis for java-style program. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Mera Menéndez, Edison Fernando and López García, Pedro and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2017). Towards execution Time estimation in abstract machine-based (Logic) languages. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Morales Caballero, José Francisco and Hermenegildo, Manuel V. and Haemmerlé, R. (2011). Towards modular extensions for a modular language. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Molina, Martin (2020). What is an intelligent system?. Monografía (Otros). E.T.S. de Ingenieros Informáticos (UPM), arXiv.org.

N

Navas, J. and Cabeza Gras, Daniel and Hermenegildo, Manuel V. (2003). CoLogNetWS: the Colognet web-site. Monografía (Manual). Facultad de Informática (UPM), Madrid, Spain.

Navas, J. and Méndez-Lojo, Mario and Hermenegildo, Manuel V. (2008). Customizable resource usage analysis for java bytecode. Monografía (Technical Report). Facultad de Informática (UPM).

Navas, J. and Mera, E. and López García, Pedro and Hermenegildo, Manuel V. (2006). Resource bounds analysis.. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

P

Puebla Sánchez, Alvaro Germán and Albert Albiol, Elvira and Hermenegildo, Manuel V. (2005). Abstract interpretation with specialized definitions. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Puebla Sánchez, Alvaro Germán and Albert Albiol, Elvira and Hermenegildo, Manuel V. (2005). Efficient local unfolding with ancestor stacks. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Pineda, Ángel and Hermenegildo, Manuel V. (1999). O'CIAO an object oriented programming model using CIAO Prolog. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Poveda Villalon, Maria and Suárez-Figueroa, Mari Carmen (2012). OOPS! – OntOlogy Pitfalls Scanner!. Monografía (Technical Report). Facultad de Informática (UPM), Madrid.

Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (1995). Specialization and optimization of constraint programs with dynamic scheduling. Monografía (Working Paper). Facultad de Informática (UPM), Madrid, Spain.

R

Rodríguez Pascual, AF. and Abad Power, P. and Alonso Jiménez, JA. and Sánchez Maganto, A. and Ayuso González, JE. and Vilches-Blázquez, LM. (2007). Las IDE como evolución natural de los SIG. Monografía (Technical Report). Facultad de Informática (UPM).

Rodríguez-Sánchez, Fernando and Larrañaga Múgica, Pedro and Bielza Lozoya, María Concepción (2017). Multi-facet determination for clustering with Bayesian networks. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM).

Ríos Insua, Sixto and Mateos Caballero, Alfonso and Jiménez Martín, Antonio and Gallego Díaz, Eduardo Florentino (2000). Overview of multi-attribute analysis methodologies applied to the evaluation of the effectiveness of remedial measures in the MOIRA system. Monografía (Technical Report). Facultad de Informática (UPM), Roma, Italia.

S

Shen, Kish and Hermenegildo, Manuel V. (1994). A proposal for a flexible scheduling and memory management scheme for non-deterministic, andparallel execution of logic programs. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Stulova, Nataliia and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2014). An approach to higher-order assertion-based debugging of higher-order (C)LP programs. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM), Madrid, España. https://doi.org/10.1145/2643135.2643148.

Stulova, Nataliia and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2017). Term hiding and its impact on run-time check simplification. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

T

Trias, Eric and Navas, J. and Ackley, Elena S. and Forrest, Stephanie and Hermenegildo, Manuel V. (2008). Efficient representations for set-sharing analysis. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

V

Varando, Gherardo and Bielza Lozoya, Maria Concepcion and Larrañaga Múgica, Pedro (2014). Regression models with MoPs Bayesian networks. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM).

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM