ALBCOM - Algorismia, 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 [230]
-
Reports de recerca [119]
Recent Submissions
-
Tandem repeats in Bacillus: Unique features and taxonomic distribution
(2021-05-20)
Article
Open AccessLittle is known about DNA tandem repeats across prokaryotes. We have recently described an enigmatic group of tandem repeats in bacterial genomes with a constant repeat size but variable sequence. These findings strongly ... -
Fast energy-optimal multi-kernel DNN-like application allocation on multi-FPGA platforms
(2021-04-30)
Article
Open AccessPlatforms with multiple Field Programmable Gate Arrays (FPGAs), such as Amazon Web Services (AWS) F1 instances, can efficiently accelerate multi-kernel pipelined applications, e.g., Convolutional Neural Networks for machine ... -
Knowledge-based segmentation to improve accuracy and explainability in non-technical losses detection
(2020-10-30)
Article
Open AccessUtility companies have a great interest in identifying energy losses. Here, we focus on Non-Technical Losses (NTL), which refer to losses caused by utility theft or meter errors. Typically, utility companies resort to ... -
Automatic safe data reuse detection for the WCET analysis of systems with data caches
(Institute of Electrical and Electronics Engineers (IEEE), 2020-10-19)
Article
Open AccessWorst-case execution time (WCET) analysis of systems with data caches is one of the key challenges in real-time systems. Caches exploit the inherent reuse properties of programs, temporarily storing certain memory contents ... -
Empowering conformance checking using Big Data through horizontal decomposition
(Elsevier, 2021-07)
Article
Restricted access - publisher's policyConformance checking unleashes the full power of process mining: techniques from this discipline enable the analysis of the quality of a process model through the discovery of event data, the identification of potential ... -
CNN-on-AWS: Efficient allocation of multikernel applications on Multi-FPGA platforms
(2021-02)
Article
Open AccessMulti-FPGA platforms, like Amazon AWS F1, can run in the cloud multikernel pipelined applications, like convolutional neural networks (CNNs), with excellent performance and lower energy consumption than CPUs or GPUs. We ... -
Explainable predictive process monitoring
(Institute of Electrical and Electronics Engineers (IEEE), 2020)
Conference report
Open AccessPredictive Business Process Monitoring is becoming an essential aid for organizations, providing online operational support of their processes. This paper tackles the fundamental problem of equipping predictive business ... -
Uncovering de novo gene birth in yeast using deep transcriptomics
(2021-01-27)
Article
Open AccessDe novo gene origination has been recently established as an important mechanism for the formation of new genes. In organisms with a large genome, intergenic and intronic regions provide plenty of raw material for new ... -
Actionable conformance checking: from intuitions to code
(Springer, 2019)
Conference report
Open AccessConformance checking is receiving increasing attention in the last years. This is due to several reasons, that can be summarized into two: the explosion of digital information that talks about processes, and the need to ... -
1849-2016 - IEEE Standard for eXtensible Event Stream (XES) for achieving interoperability in event logs and event streams
(2016-09-22)
External research report
Restricted access - publisher's policyAbstract: A grammar for a tag-based language whose aim is to provide designers of information systems with a unified and extensible methodology for capturing systems behaviors by means of event logs and event streams is ... -
On list k-coloring convex bipartite graphs
(Springer, 2020)
Conference report
Restricted access - publisher's policyList k–Coloring (LI k-COL) is the decision problem asking if a given graph admits a proper coloring compatible with a given list assignment to its vertices with colors in {1,2,..., k}. The problem is known to be NP-hard ... -
A generalized Robinson-Foulds distance for clonal trees, mutation trees, and phylogenetic trees and networks
(Association for Computing Machinery (ACM), 2020)
Conference report
Open AccessCancer evolution is often modeled by clonal trees (whose nodes are labeled by multiple somatic mutations) or mutation trees (where nodes are labeled by single somatic mutations). Clonal trees are generated from sequence ...
RSS 1.0