Departament de Ciències de la Computació: Enviaments recents
Ara es mostren els items 1-12 de 3522
-
A sensor data-based approach for the definition of condition taxonomies for a hydraulic pump †
(Multidisciplinary Digital Publishing Institute (MDPI), 2020-11)
Article
Accés obertCondition 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
(Springer, 2024-03-04)
Article
Accés obertQuad-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
(Institute of Electrical and Electronics Engineers (IEEE), 2023)
Text en actes de congrés
Accés obertConvolutional 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
(2024-05)
Article
Accés restringit per política de l'editorialSigned 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
(2024-01-25)
Article
Accés obertUnderstanding 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
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023)
Text en actes de congrés
Accés obertMaxSAT 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
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023)
Text en actes de congrés
Accés obertIn 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
(Association for Computational Linguistics, 2023)
Text en actes de congrés
Accés obertTextual 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
(Association for Computing Machinery (ACM), 2023)
Text en actes de congrés
Accés obertSequence 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
(2024-02-11)
Article
Accés obertIn 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
(2024-01-30)
Article
Accés obertGas 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
(2024)
Comunicació de congrés
Accés obertFrailty 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 ...