ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
El grup de recerca ALBCOM uneix 19 reconeguts recercaires en Mètodes Formals; Disseny, Automatització i Verificació de VLSI; Algorismes i Complexitat; Bioinformàtica (veure http://albcom.cs.upc.edu/ per 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, 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.
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.
Col·leccions
-
Articles de revista [142]
-
Reports de recerca [90]
Enviaments recents
-
Fixed partial match queries in quadtrees
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018)
Text en actes de congrés
Accés obertSeveral recent papers in the literature have addressed the analysis of the cost P_{n,q} of partial match search for a given fixed query q - that has s out of K specified coordinates - in different multidimensional data ... -
On deletions in open addressing hashing
(Society for Industrial and Applied Mathematics (SIAM), 2018)
Text en actes de congrés
Accés obertDeletions in open addressing tables have often been seen as problematic. The usual solution is to use a special mark’deleted’ so that probe sequences continue past deleted slots, as if there was an element still sitting ... -
Satisfaction and power in unanimous majority influence decision models
(2018-07)
Article
Accés restringit per política de l'editorialWe consider decision models associated with cooperative influence games, the oblivious and the non-oblivious influence models. In those models the satisfaction and the power measures were introduced and studied. We analyze ... -
Encoding process discovery problems in SMT
(2018-10)
Article
Accés obertInformation systems, which are responsible for driving many processes in our lives (health care, the web, municipalities, commerce and business, among others), store information in the form of logs which is often left ... -
Conformance checking in UML artifact-centric business process models
(2018-05-25)
Article
Accés restringit per política de l'editorialBusiness artifacts have appeared as a new paradigm to capture the information required for the complete execution and reasoning of a business process. Likewise, conformance checking is gaining popularity as a crucial ... -
Ordocoordinación: cómo organizar 700 estudiantes en un nuevo campus (y no morir en el intento)
(Asociación de Enseñantes Universitarios de la Informática (AENUI), 2018)
Text en actes de congrés
Accés obertSince Autumn Term 2017 the Department of Computer Science of the Universitat Politecnica de Catalunya UPC-BarcelonaTech is in charge of teaching ”Fundamentals of Programming” in the new DiagonalBeso ´s Campus, at EEBE ... -
Challenges and opportunities of applying natural language processing in business process management
(Association for Computational Linguistics, 2018)
Comunicació de congrés
Accés obertThe Business Process Management (BPM) field focuses in the coordination of labor so that organizational processes are smoothly executed in a way that products and services are properly delivered. At the same time, NLP has ... -
Tipos abstractos de datos y programación concurrente
(Asociación de Técnicos de Informática, 1983)
Article
Accés obert -
NLP4BPM : Natural language processing tools for business process management
(2017)
Text en actes de congrés
Accés obertBusiness Process Management is facing a drift in the way process information is used within an organization. To reach a wide audience, organizations keep parallel representations of process information, thus making the ... -
MPLS traffic engineering in satellite networks
(Institute of Electrical and Electronics Engineers (IEEE), 2007)
Text en actes de congrés
Accés obertBroadband satellite constellation networks will be required to carry all types of IP traffic, real time interactive traffic as well as non-real time traffic, warranting the need for appropriate QoS for these different ... -
Using a grid platform for enabling real time user modeling in on-line campus
(Institute of Electrical and Electronics Engineers (IEEE), 2007)
Text en actes de congrés
Accés obertUser modelling in on-line distance learning is an important research field focusing on two important aspects: describing and predicting students' actions and intentions as well as adapting the learning process to students' ... -
Evaluating A+B=K conditions in constant time
(Institute of Electrical and Electronics Engineers (IEEE), 1988)
Text en actes de congrés
Accés obertThe authors consider a type of condition that can be evaluated without requiring a complete ALU (arithmetic logic unit) operation. The circuit that is presented detects the condition A+B=K (n-bit numbers) in constant time, ...
RSS 1.0