Ara es mostren els items 1-12 de 3522

    • A sensor data-based approach for the definition of condition taxonomies for a hydraulic pump † 

      Gil Buigues, Carlos; König, Caroline (Multidisciplinary Digital Publishing Institute (MDPI), 2020-11)
      Article
      Accés obert
      Condition monitoring (CM) is an important application in industry for detecting machine failures in an incipient stage. Based on sensor data, computational intelligence methods provide efficient solutions for the analysis ...
    • On the expected cost of partial match queries in random Quad-K-d trees 

      Duch Brown, Amalia; Martínez Parra, Conrado (Springer, 2024-03-04)
      Article
      Accés obert
      Quad-K-d trees introduced by Bereckzy et al. (In: Proceedings of the 11th Latin merican Theoretical Informatics Conference (LATIN). Lecture Notes in Computer Science, vol. 8392, pp. 743–754, 2014) are a generalization of ...
    • Padding Aware Neurons 

      Garcia Gasulla, Dario; Giménez Ábalos, Víctor; Martin Torres, Pablo Agustin (Institute of Electrical and Electronics Engineers (IEEE), 2023)
      Text en actes de congrés
      Accés obert
      Convolutional layers are a fundamental component of most image-related models. These layers often implement by default a static padding policy (e.g. zero padding), to control the scale of the internal representations, and ...
    • Social disruption games in signed networks 

      Molinero Albareda, Xavier; Riquelme Csori, Fabián; Serna Iglesias, María José (2024-05)
      Article
      Accés restringit per política de l'editorial
      Signed networks describe many real-world relations among users. Positive connections between two users or vertices generally mean good feelings between them, but negative connections mean bad feelings. A disruptor cycle ...
    • The k-Robinson–Foulds dissimilarity measures for comparison of labeled treesd 

      Khayatian, Elahe; Valiente Feruglio, Gabriel Alejandro; Zhang, Louxin (2024-01-25)
      Article
      Accés obert
      Understanding the mutational history of tumor cells is a critical endeavor in unraveling the mechanisms that drive the onset and progression of cancer. Modeling tumor cell evolution with labeled trees motivates researchers ...
    • Polynomial calculus for MaxSAT 

      Bonacina, Ilario; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023)
      Text en actes de congrés
      Accés obert
      MaxSAT is the problem of finding an assignment satisfying the maximum number of clauses in a CNF formula. We consider a natural generalization of this problem to generic sets of polynomials and propose a weighted version ...
    • Learning shorter redundant clauses in SDCL using MaxSAT 

      Oliveras Llunell, Albert; Li, Chunxiao; Wu, Darryl; Chung, Jonathan; Ganesh, Vijay (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023)
      Text en actes de congrés
      Accés obert
      In this paper we present the design and implementation of a Satisfaction-Driven Clause Learning (SDCL) SAT solver, MapleSDCL, which uses a MaxSAT-based technique that enables it to learn shorter, and hence better, redundant ...
    • Analyzing text representations by measuring task alignment 

      González Gutiérrez, César; Primadhanty, Audi; Cazzaro, Francesco; Quattoni, Ariadna Julieta (Association for Computational Linguistics, 2023)
      Text en actes de congrés
      Accés obert
      Textual representations based on pre-trained language models are key, especially in few-shot learning scenarios. What makes a representation good for text classification? Is it due to the geometric properties of the space ...
    • GMX: Instruction set extensions for fast, scalable, and efficient genome sequence alignment 

      Doblas Font, Max; Lostes Cazorla, Oscar; Aguado Puig, Quim; Cebry, Nicholas; Fontova Muste, Pau; Batten, Christopher; Marco Sola, Santiago; Moretó Planas, Miquel (Association for Computing Machinery (ACM), 2023)
      Text en actes de congrés
      Accés obert
      Sequence alignment remains a fundamental problem in computer science with practical applications ranging from pattern matching to computational biology. The ever-increasing volumes of genomic data produced by modern DNA ...
    • Weighted, circular and semi-algebraic proofs 

      Bonacina, Ilario; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi (2024-02-11)
      Article
      Accés obert
      In recent years there has been an increasing interest in studying proof systems stronger than Resolution, with the aim of building more efficient SAT solvers based on them. In defining these proof systems, we try to find ...
    • Anomaly detection in gas turbines using outlet energy analysis with cluster-based matrix profile 

      Bagherzade Ghazvini, Mina; Sànchez-Marrè, Miquel; Naderi, Davood; Angulo Bahón, Cecilio (2024-01-30)
      Article
      Accés obert
      Gas turbines play a key role in generating power. It is really important that they work efficiently, safely, and reliably. However, their performance can be adversely affected by factors such as component wear, vibrations, ...
    • Introducing social robots to assess frailty in older adults 

      Civit Bertran, Aniol; Andriella, Antonio; Barrué Subirana, Cristian; Antonio, Maite; Boqué, Concepción; Alenyà Ribas, Guillem (2024)
      Comunicació de congrés
      Accés obert
      Frailty is a crucial indicator in determining the well-being of older adults in terms of their health. With the growing number of elderly people, the demand for geriatricians is increasing, which means that they have less ...