ALBCOM - Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals
El grup de recerca ALBCOM uneix 19 reconeguts investigadors en mètodes formals; disseny, automatització i verificació de VLSI; algorismes i complexitat; bioinformàtica (vegeu http://albcom.cs.upc.edu/ per a més detalls). La recerca que es realitza a ALBCOM té un important prestigi en la comunitat científica internacional, degut a la qualitat de la seva recerca, tal com mostren les seves publicacions, i a l'activitat en projectes de recerca i de transferència de tecnologia amb empreses i institucions del sector.
El grupo de investigación ALBCOM une 19 reconocidos investigadores en métodos formales; diseño, automatización y verificación de VLSI; algoritmos y complejidad; bioinformática (véase http://albcom.cs.upc.edu/ para más detalles). La investigación que se realiza a ALBCOM tiene un importante prestigio en la comunidad científica internacional, debido a la calidad de su investigación, tal como muestran sus publicaciones, y a la actividad en proyectos de investigación y de transferencia de tecnología con empresas e instituciones del sector.
The primary goal is to produce relevant contributions in the areas of expertise of the group and to disseminate them in renowned international journals and conferences. It is the group's aim that these contributions have a tangible and long-term impact on the scientific community. Technology transfer is considered a byproduct of research excellence and should be sought as a means of increasing the impact of the results, obtaining resources for the group and envisioning new directions for future research.
The primary goal is to produce relevant contributions in the areas of expertise of the group and to disseminate them in renowned international journals and conferences. It is the group's aim that these contributions have a tangible and long-term impact on the scientific community. Technology transfer is considered a byproduct of research excellence and should be sought as a means of increasing the impact of the results, obtaining resources for the group and envisioning new directions for future research.
Collections in this community
-
Articles de revista [301]
-
Capítols de llibre [15]
-
Reports de recerca [140]
Recent Submissions
-
Accelerating the k-Means++ algorithm by using geometric information
(Institute of Electrical and Electronics Engineers (IEEE), 2025-04-16)
Article
Open AccessClustering is a fundamental task in data analysis with applications across a wide range of fields, such as computer vision, pattern recognition, and data mining. Real-world use cases include social network analysis, medical ... -
Weightedness measures from inequality systems
(2025-07)
Article
Restricted access - publisher's policyA simple game is a cooperative game where some coalitions among players or voters became the (monotonic) set of winning coalitions, and the other ones form the set of losing coalitions. It is well-known that weighted voting ... -
Take the challenge: compute the CO2e emissions of your programming course
(Universitat Politècnica de València, 2023)
Conference report
Open AccessSustainability constraints ask for quick and drastic changes in the ways to teach at university. Here we study the amount of carbon emissions of lecturing a first course in programming. In addition to fix costs estimations, ... -
Nash’s bargaining problem and the scale-invariant Hirsch citation index
(2025-03-23)
Article
Open AccessA number of citation indices have been proposed for measuring and ranking the research publication records of scholars. Some of the best known indices, such as those proposed by Hirsch and Woeginger, are designed to reward ... -
La tipografía como herramienta para la optometría
(2024-11-18)
Article
Open AccessLa evaluación visual en gabinetes optométricos se centra en medir la agudeza visual usando optotipos como el anillo de Landolt y las letras de Sloan. Este artículo resalta la importancia de tener optotipos en forma de ... -
QuickEd: high-performance exact sequence alignment based on bound-and-align
(Oxford University Press, 2025-03-04)
Article
Open AccessMotivation: Pairwise sequence alignment is a core component of multiple sequencing-data analysis tools. Recent advancements in sequencing technologies have enabled the generation of longer sequences at a much lower price. ... -
The semantics of GQL-like path queries
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2024)
Conference report
Open AccessThe success of graph databases (GDBs) has caused the development of several dozens of GDB products by companies like Neo4j, Oracle, Amazon, IBM or SAP. In parallel, several graph query languages have been designed for ... -
Thresholds as mechanisms for weighting influence in the linear threshold rank
(Springer, 2024)
Conference report
Restricted access - publisher's policySocial networks are the natural space for the spreading of information and influence and have become a media themselves. Several models capturing that diffusion process have been proposed, most of them based on the Independent ... -
Area-driven Boolean bi-decomposition by function approximation
(Association for Computing Machinery (ACM), 2025-01)
Article
Open AccessBi-decomposition rewrites logic functions as the composition of simpler components. It is related to Boolean division, where a given function is rewritten as the product of a divisor and a quotient, but bi-decomposition ... -
MaxSAT resolution with inclusion redundancy
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024)
Conference report
Open AccessPopular redundancy rules for SAT are not necessarily sound for MaxSAT. The works of [Bonacina-Bonet-Buss-Lauria’24] and [Ihalainen-Berg-Järvisalo’22] proposed ways to adapt them, but required specific encodings and more ... -
Unbiased similarity estimators using samples
(Springer, 2023)
Conference report
Open AccessComputing a similarity measure (or a distance) between two complex objects is a fundamental building block for a huge number of applications in a wide variety of domains. Since many tasks involve computing such similarities ... -
3D decision support tool for brain tumour surgery: the STRATUM Project
(Institute of Electrical and Electronics Engineers (IEEE), 2024)
Conference report
Open AccessIntegrated digital diagnostics can support complex surgical procedures in many anatomical sites, brain tumour surgery being the most complex. STRATUM is a 5-year Horizon Europe funded project with the goal of developing ...