Now showing items 1-12 of 289

    • Characterizations of some complexity classes between [theta sub 2 super p] and [delta sub 2 super p] 

      Castro Rabal, Jorge; Seara Ojea, Carlos (1990)
      External research report
      Open Access
      We give some characterizations of the classes P super NP [0(log super k n)]. First, we show that these classes are equal to classes AC super k-1 (N P). Second, we prove that they are also equivalent to some classes defined ...
    • Generalized Kolmogorov complexity in relativized separations 

      Gavaldà Mestre, Ricard; Torenvliet, Leen; Watanabe, Osamu; Balcázar Navarro, José Luis (1990-04)
      External research report
      Open Access
      We describe several developments of a technique, due to Hartmanis, that uses Kolmogorov complexity to prove the existence of relativizations separating complexity classes. The main advantage of these proofs is that they ...
    • Functional oracle queries as a measure of parallel time 

      Álvarez Faura, M. del Carme; Balcázar Navarro, José Luis; Jenner Núñez, Birgit (1990-08)
      External research report
      Open Access
      We discuss two notions of functional oracle for logarithmic space-bounded machines, which differ in whether there is only one oracle tape for both the query and the answer or a separate tape for the answer, which can still ...
    • Deciding bisimilarity is P-complete 

      Balcázar Navarro, José Luis; Gabarró Vallès, Joaquim; Santha, Miklos (1990)
      External research report
      Open Access
      On finite labelled transition systems, the problems of deciding strong bisimilarity, observation equivalence, and observation congruence are P-complete under many-one NC-reducibility. As a consequence, algorithms for ...
    • Estrategias de diseño para las titulaciones de informática del EEES 

      Sánchez Carracedo, Fermín; García Almiñana, Jordi; Gavaldà Mestre, Ricard; Díaz Fondón, Mari Ángeles; Riesco Albizu, Miguel; Pérez Pérez, Juan Ramón; Juan Fuente, Aquilino Adolfo (Asociación de Técnicos de Informática, 2007-06)
      Article
      Open Access
      La implantación de los títulos de Grado y Postgrado propuestos en el EEES supone el rediseño de los planes de estudios de todas las universidades europeas. De la estrategia de desarrollo utilizada para su diseño dependerá ...
    • Synthetic dataset generation with itemset-based generative models 

      Lezcano Ríos, Christian Gerardo; Arias Vicente, Marta (Institute of Electrical and Electronics Engineers (IEEE), 2019)
      Conference report
      Open Access
      This paper proposes three different data generators, tailored to transactional datasets, based on existing itemset-based generative models. All these generators are intuitive and easy to implement and show satisfactory ...
    • Characterizing transactional databases for frequent itemset mining 

      Lezcano Ríos, Christian Gerardo; Arias Vicente, Marta (CEUR-WS.org, 2019)
      Conference report
      Open Access
      This paper presents a study of the characteristics of transactional databases used in frequent itemset mining. Such characterizations have typically been used to benchmark and understand the data mining algorithms working ...
    • Parallel complexity in the design and analysis of concurrent systems 

      Álvarez Faura, M. del Carme; Balcázar Navarro, José Luis; Gabarró Vallès, Joaquim (1990-10)
      External research report
      Open Access
      We study the parallel complexity of three problems on concurrency: decision of firing sequences for Petri nets, trace equivalence for partially commutative monoids, and strong bisimilarity in finite transition systems. We ...
    • Computational complexity of small descriptions 

      Gavaldà Mestre, Ricard; Watanabe, Osamu (1990-11-19)
      External research report
      Open Access
      For a set L that is polynomial time reducible (in short, = sub T super P-reducible) to some sparse set, we investigate the computational complexity of such sparse sets relative to L. We construct sets A and B such that ...
    • Together at home! Coronavirus days 

      Copons, Jaume; Fortuny, Liliana; Macip, Salvador; Hernández Fernández, Antonio; Rottier, Elena (Combel, 2020-05)
      Book
      Open Access
      TOGETHER AT HOME. Coronavirus Days invites readers to learn to live under lockdown and subsequent lifting of the lockdown and act as heroes, helping to prevent the pandemic from spreading. As Agus says: “each of us was in ...
    • ¡Juntos en casa! Los días del coronavirus 

      Macip, Salvador; Hernández Fernández, Antonio; Rottier, Elena; Copons, Jaume; Fortuny, Liliana (Combel, 2020-05)
      Book
      Open Access
      Este libro solidario de Agus y los monstruos es un libro muy especial que ha surgido en un contexto excepcional. Se trata de una novela gráfica breve, en formato digital, resultado del momento actual y que tiene un objetivo ...
    • Junts a casa! Els dies del coronavirus 

      Macip, Salvador; Hernández Fernández, Antonio; Rottier, Elena; Copons, Jaume; Fortuny, Liliana (Combel, 2020-05-11)
      Book
      Open Access
      Aquest llibre solidari de “L’ Agus i els monstres” és un llibre molt especial generat en un context excepcional. Es tracta d’una novel·la gràfica breu, en format digital, que és el resultat del moment actual i que té un ...