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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • CNN-on-AWS: Efficient allocation of multikernel applications on Multi-FPGA platforms 

    Shan, Junnan; Lazarescu, Mihai T.; Cortadella, Jordi; Lavagno, Luciano; Casu, Mario R. (2021-02)
    Article
    Open Access
    Multi-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 ...
  • Uncovering de novo gene birth in yeast using deep transcriptomics 

    Blevins, William R.; Ruiz Orera, Jorge; Messeguer Peypoch, Xavier; Blasco Moreno, Bernat; Villanueva Cañas, José Luis; Espinar Calvo, Lorena; Díez Antón, Juana; Carey, Lucas B.; Albà Soler, M. Mar (2021-01-27)
    Article
    Open Access
    De 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 ...
  • Alignment of virus-host protein-protein interaction networks by integer linear programming: SARS-CoV-2 

    Llabrés Segura, Mercè; Valiente Feruglio, Gabriel Alejandro (Public Library of Science (PLOS), 2020-12-07)
    Article
    Open Access
    Motivation: Beside socio-economic issues, coronavirus pandemic COVID-19, the infectious disease caused by the newly discovered coronavirus SARS-CoV-2, has caused a deep impact in the scientific community, that has ...

View more