Departament de Ciències de la Computació

Enviaments recents

  • Building a Spanish/Catalan health records corpus with very sparse protected information labelled 

    Medina Herrera, Salvador; Turmo Borras, Jorge (2018)
    Comunicació de congrés
    Accés obert
    Electronic Health Records (EHR) are an important resource for the research and study of diseases, treatments and symptoms. However, due to data protection laws, information that could potentially compromise privacy must ...

  • A game-theoretic and hybrid genetic meta-heuristics model for security-assured scheduling of independent jobs in computational grids 

    Kolodziej, Joana; Xhafa Xhafa, Fatos (Institute of Electrical and Electronics Engineers (IEEE), 2010)
    Text en actes de congrés
    Accés obert
    Scheduling independent tasks in Computational Grids commonly arises in many Grid-enabled large scale applications. Much of current research in this domain is focused on the improvement of the efficiency of the Grid schedulers, ...

  • Health recommender system design in the context of CAREGIVERSPRO-MMD project 

    Oliva Felipe, Luis Javier; Barrué Subirana, Cristian; Cortés Martínez, Atia; Wolverson, Emma; Antomarini, Marco; Landrin, Isabelle; Votis, Konstantinos; Cortés, Ulises (Association for Computing Machinery (ACM), 2018)
    Text en actes de congrés
    Accés obert
    CAREGIVERSPRO-MMD an EU H2020 funded project aims to build a digital platform focusing on people living with dementia and their caregivers, offering a selection of advanced, individually tailored services enabling them to ...

  • Wrapper-based fuzzy inductive reasoning model identification for imbalance data classification 

    Bagherpour, Solmaz; Nebot Castells, M. Àngela; Múgica Álvarez, Francisco (Institute of Electrical and Electronics Engineers (IEEE), 2018)
    Comunicació de congrés
    Accés obert
    Fuzzy Inductive Reasoning (FIR) is a qualitative inductive modeling and simulation methodology for dealing with complex dynamical systems. FIR has proven to be a powerful tool for qualitative model identification and ...

  • Basic CRF approach to DIANN 2018 shared task 

    Alvarez, Pol; Padró, Lluís (2018)
    Text en actes de congrés
    Accés obert
    This paper describes the UPC 2 system participation in DIANN (Disability annotation on documents from the biomedical domain) shared task, framed in the IBEREVAL 2018 evaluation workshop1. The system tackles the detection ...

  • On zero-one and convergence laws for graphs embeddable on a fixed surface 

    Atserias, Albert; Kreutzer, Stephan; Noy Serrano, Marcos (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018)
    Text en actes de congrés
    Accés obert
    We show that for no surface except for the plane does monadic second-order logic (MSO) have a zero-one-law - and not even a convergence law - on the class of (connected) graphs embeddable on the surface. In addition we ...

  • How long are long tandem repeats? A challenge for current methods of whole-genome sequence assembly: The case of satellites in caenorhabditis elegans 

    Subirana Torrent, Juan A.; Messeguer Peypoch, Xavier (2018-10-16)
    Article
    Accés obert
    Repetitive genome regions have been difficult to sequence, mainly because of the comparatively small size of the fragments used in assembly. Satellites or tandem repeats are very abundant in nematodes and offer an excellent ...

  • Automated reasoning for attributed graph properties 

    Schneider, Sven; Lambers, Leen; Orejas Valdés, Fernando (2018-11)
    Article
    Accés restringit per política de l'editorial
    Graphs are ubiquitous in computer science. Moreover, in various application fields, graphs are equipped with attributes to express additional information such as names of entities or weights of relationships. Due to the ...

  • Support-reducing decomposition for FPGA mapping 

    Machado, Lucas; Cortadella, Jordi (2018-10)
    Article
    Accés obert
    Decomposition is a technology-independent process, in which a large complex function is broken into smaller, less complex functions. The costs of two-level or factored-form representations (cubes and literals) are used in ...

  • Short proofs of the Kneser-Lovász coloring principle 

    Aisenberg, James; Bonet Carbonell, M. Luisa; Buss, Sam; Craciun, Adrian; Istrate, Gabriel (2018-08)
    Article
    Accés restringit per política de l'editorial
    We prove that propositional translations of the Kneser–Lovász theorem have polynomial size extended Frege proofs and quasi-polynomial size Frege proofs for all fixed values of k. We present a new counting-based combinatorial ...

  • Semi-supervised learning for disabilities detection on English and Spanish biomedical text 

    Medina Herrera, Salvador; Turmo Borras, Jorge; Loharja, Henry; Padró, Lluís (2018)
    Text en actes de congrés
    Accés obert
    This paper describes the disability detection model approaches presented by UPC’s TALP 3 team for the DIANN 2018 shared task. The best of those approaches was ranked in 3rd place for exact-matching of disability detection. ...

  • A hierarchical mathematical model for automatic pipelining and allocation using elastic systems 

    Cortadella, Jordi; Petit Silvestre, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2018)
    Text en actes de congrés
    Accés obert
    The advent of FPGA-based accelerators has encouraged the use of high-level synthesis (HLS) for rapid prototyping and design space exploration. In this context, design optimization at behavioral level becomes a critical ...

Mostra'n més