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.

Recent Submissions

  • Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality 

    Lambers, Leen; Orejas Valdés, Fernando (2021-09-07)
    Article
    Restricted access - publisher's policy
    Recently, initial conflicts were introduced in the framework of M-adhesive categories as an important optimization of critical pairs. In particular, they represent a proper subset such that each conflict is represented in ...

  • CC4Spark: Distributing event logs and big complex conformance checking problems 

    Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Carmona Vargas, Josep (CEUR-WS.org, 2021)
    Conference report
    Open Access
    Conformance checking is one of the disciplines that best exposes the power of process mining, since it allows detecting anomalies and deviations in business processes, helping to assess and improve the quality of these. ...

  • Unleashing textual descriptions of business processes 

    Sánchez Ferreres, Josep; Burattin, Andrea; Carmona Vargas, Josep; Montali, Marco; Padró, Lluís; Quishpi Betún, Luis Hernán (2021-05-26)
    Article
    Restricted access - publisher's policy
    Textual descriptions of processes are ubiquitous in organizations, so that documentation of the important processes can be accessible to anyone involved. Unfortunately, the value of this rich data source is hampered by the ...

  • Improving the extraction of process annotations from text with inter-sentence analysis 

    Quishpi Betún, Luis Hernán; Carmona Vargas, Josep; Padró, Lluís (Springer, 2020)
    Conference report
    Open Access
    The automatic extraction of formal process information from textual descriptions of processes is a challenging problem, but worth exploring, since it enables organizations to align complementary information that talks about ...

  • A logic-based incremental approach to graph repair featuring delta preservation 

    Schneider, Sven; Lambers, Leen; Orejas Valdés, Fernando (Springer Nature, 2021-07-07)
    Article
    Open Access
    We introduce a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing graph repairs from which a user may select a graph repair based on non-formalized ...

  • Structure and complexity of bag consistency 

    Atserias, Albert; Kolaitis, Phokion (Association for Computing Machinery (ACM), 2021)
    Conference report
    Open Access
    Since the early days of relational databases, it was realized that acyclic hypergraphs give rise to database schemas with desirable structural and algorithmic properties. In a by-now classical paper, Beeri, Fagin, Maier, ...

  • Modelling web-service uncertainty: The angel/daemon approach 

    Gabarró Vallès, Joaquim; Stewart, Alan (Elsevier, 2021-02)
    Article
    Restricted access - publisher's policy
    A survey of our joint research work with Maria Serna on uncertain systems is presented in this paper. The study was originally motivated by a wish to understand the behaviour of a large web application when some of its ...

  • Tandem repeats in Bacillus: Unique features and taxonomic distribution 

    Subirana Torrent, Juan A.; Messeguer Peypoch, Xavier (2021-05-20)
    Article
    Open Access
    Little 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 

    Shan, Junnan; Lazarescu, Mihai T.; Cortadella, Jordi; Lavagno, Luciano; Casu, Mario R. (2021-04-30)
    Article
    Open Access
    Platforms 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 

    Calvo Ibáñez, Albert; Coma Puig, Bernat; Carmona Vargas, Josep; Arias Vicente, Marta (2020-10-30)
    Article
    Open Access
    Utility 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 

    Segarra Flor, Juan; Cortadella, Jordi; Gran Tejero, Rubén; Viñals Yúfera, Victor (Institute of Electrical and Electronics Engineers (IEEE), 2020-10-19)
    Article
    Open Access
    Worst-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 

    Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Carmona Vargas, Josep; Bergenthum, Robin (Elsevier, 2021-07)
    Article
    Restricted access - publisher's policy
    Conformance 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 ...

View more