Departament de Ciències de la Computació

Recent Submissions

  • Logarithmic advice classes 

    Balcázar Navarro, José Luis; Schöning, Uwe (1988)
    External research report
    Open Access
    Karp and Lipton [9] introduced the notion of non-uniform complexity classes where a certain amount of "side information", the advice, is given for free. The advice only depends on the length of the input. Karp and Lipton ...

  • Effective visualization of sparse image-to-image correspondences 

    Andújar Gran, Carlos Antonio; Chica Calaf, Antonio; Comino Trinidad, Marc (European Association for Computer Graphics (Eurographics), 2020)
    Conference report
    Open Access
    Finding robust correspondences between images is a crucial step in photogrammetry applications. The traditional approach to visualize sparse matches between two images is to place them side-by-side and draw link segments ...

  • A Tool for N-way analysis of programming exercises 

    Andújar Gran, Carlos Antonio; Comino Trinidad, Marc; Fairén González, Marta; Vinacua Pla, Álvaro (European Association for Computer Graphics (Eurographics), 2020)
    Conference report
    Open Access
    Programming exercises are a corner stone in Computer Science courses. If used properly, these exercises provide valuable feedback both to students and instructors. Unfortunately, the assessment of student submissions through ...

  • Decision support systems (DSS) for wastewater treatment plants: a review of the state of the art 

    Mannina, Giorgio; Rebouças, Taise Ferreira; Cosenza, Alida; Sànchez-Marrè, Miquel; Gibert, Karina (2019-10-01)
    Article
    Restricted access - publisher's policy
    The use of decision support systems (DSS) allows integrating all the issues related with sustainable developmentin view of providing a useful support to solve multi-scenario problems. In this work an extensive review on ...

  • El algoritmo de compleción de Knuth-Bendix 

    Balcázar Navarro, José Luis (1988)
    External research report
    Open Access
    An introduction to the confluence and finite termination properties of rewriting systems is presented and also to the Kunth-Bendix completion algorithm is presented.

  • Only smart oracles help 

    Balcázar Navarro, José Luis (1988-09)
    External research report
    Open Access
    It is shown that every set that is p-cheateble up to a logarithmic extent is a no-1-helper.

  • Classes of bounded nondeterminism 

    Díaz Cort, Josep; Torán Romero, Jacobo (1988)
    External research report
    Open Access
    We study certain language classes located between P and N P that are defined by polynomial time machines with a bounded amount of nondeterminism. We observe that these classes have complete problems and find a characterization ...

  • Recent developments in structural complexity 

    Díaz Cort, Josep; Cucker Farkas, J.F. (1988)
    External research report
    Open Access
    This survey presents some of the recent developments in the field of structural complexity. The survey does not intend to give an exhaustive look in each one of the areas of structural complexity which have been developed ...

  • Self-reducibility structures and solutions of NP problems 

    Balcázar Navarro, José Luis (1988)
    External research report
    Open Access
    Using polynomial time self-reducibility structures, we characterize certain "helping" notions, show how the characterization provides the main tool for the proof of known relationships between decisional and functional ...

  • Tractabilitat de NP i altres classes de complexitat per famílies de circuits booleans 

    Gavaldà Mestre, Ricard (1987-11)
    External research report
    Open Access
    We search for nonuniform analogs of the complexity class N P ¿ coN P. Following mainly the work of Karp and Lipton on these classes, 1) We define two types of polynomial time reducibility, study some of their basic properties ...

  • An interoperable workflow-based framework for the automation of building intelligent process control systems 

    Pascual Pañach, Josep; Cugueró Escofet, Miquel Àngel; Aguiló Martos, Pere; Sànchez-Marrè, Miquel (International Environmental Modelling and Software Society (iEMSs), 2018)
    Conference lecture
    Open Access
    One of the major problems to design and implement a control/supervision system for a process lies in the need to establish an ad-hoc system for each process installation. On the other side, an open challenge related to the ...

  • Combining data-driven and domain knowledge components in an intelligent assistant to build personalized menus 

    Sànchez-Marrè, Miquel; Gibert, Karina; Sevilla-Villanueva, Beatriz (Springer, 2019)
    Article
    Open Access
    In this paper, some new components that have been integrated in the Diet4You system for the generation of nutritional plans are introduced. Negative user preferences have been modelled and introduced in the system. ...

View more