L'objectiu del grup és la producció de contribucions rellevants en les àrees d'expertesa dels components del grup i la seva disseminació en revistes i conferències internacionals de prestigi reconegut. És voluntat del grup que les contribucions tinguin un impacte significatiu a llarg termini. La transferència de tecnologia és considerada com una conseqüència de l'excel·lència en la recerca i s'ha de portar a terme com un mitjà per incrementar l'impacte dels resultats, obtenir recursos per al grup i explorar nous temes per a la recerca en el futur.

http://futur.upc.edu/ALBCOM

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.

http://futur.upc.edu/ALBCOM

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.

http://futur.upc.edu/ALBCOM

Enviaments recents

  • MetaShot: an accurate workflow for taxon classification of host-associated microbiome from shotgun metagenomic data 

    Fosso, Bruno; Santamaria, Monica; D'Antonio, M.; Lovero, D.; Corrado, G.; Vizza, E.; Passaro, N.; Garbuglia, A.R.; Capobianchi, M.R.; Crescenzi, M.; Valiente Feruglio, Gabriel Alejandro; Pesole, Graziano (2017-06-01)
    Article
    Accés obert
    Shotgun metagenomics by high-throughput sequencing may allow deep and accurate characterization of host-associated total microbiomes, including bacteria, viruses, protists and fungi. However, the analysis of such sequencing ...
  • Parallel algorithms for two processors precedence constraint scheduling 

    Serna Iglesias, María José (Springer, 2016-06-07)
    Capítol de llibre
    Accés obert
  • Randomized parallel approximations to max flow 

    Serna Iglesias, María José (Springer, 2016-06-07)
    Capítol de llibre
    Accés obert
  • Large neighborhood search for the most strings with few bad columns problem 

    Lizárraga Olivas, Evelia; Blesa Aguilera, Maria Josep; Blum, Christian; Raidl, Günther (Springer, 2016-10-06)
    Article
    Accés restringit per política de l'editorial
    In this work, we consider the following NP-hard combinatorial optimization problem from computational biology. Given a set of input strings of equal length, the goal is to identify a maximum cardinality subset of strings ...
  • Non recursive functions have transcendental generating functions 

    Cucker Farkas, Juan Felipe; Gabarró Vallès, Joaquim (1989-12)
    Article
    Accés obert
    Proves that nonprimitive recursive functions have transcendental generating series. This result translates a certain measure of the complexity of a function, the fact of not being primitive recursive, into another measure ...
  • Nonuniform complexity classes specified by lower and upper bounds 

    Balcázar Navarro, José Luis; Gabarró Vallès, Joaquim (1989-09)
    Article
    Accés obert
    We characterize in terms of oracle Turing machines the classes defined by exponential lower bounds on some nonuniform complexity measures. After, we use the same methods to giue a new characterization of classes defined ...
  • Anti-alignments in conformance checking: the dark side of process models 

    Chatain, Thomas; Carmona Vargas, Josep (Springer, 2016)
    Text en actes de congrés
    Accés obert
    Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. These techniques suffer from the wellknown state space ...
  • Trade-offs between time and memory in a tighter model of CDCL SAT solvers 

    Elffers, J.; Johannsen, Jan; Lauria, Massimo; Magnard, Thomas; Nordström, Jakob; Vinyals, Marc (2016)
    Text en actes de congrés
    Accés obert
    A long line of research has studied the power of conflict- driven clause learning (CDCL) and how it compares to the resolution proof system in which it searches for proofs. It has been shown that CDCL can polynomially ...
  • The complexity of testing properties of simple games 

    Freixas Bosch, Josep; Molinero Albareda, Xavier; Olsen, Martin; Serna Iglesias, María José (2008-04-04)
    Report de recerca
    Accés obert
    Simple games cover voting systems in which a single alternative, such as a bill or an amendment, is pitted against the status quo. A simple game or a yes-no voting system is a set of rules that specifies exactly which ...
  • Computing alignments with constraint programming : the acyclic case 

    Borrego, Diana; Gómez López, María Teresa; Carmona Vargas, Josep; Martínez Gasca, Rafael (CEUR-WS.org, 2016)
    Text en actes de congrés
    Accés obert
    Conformance checking confronts process models with real process executions to detect and measure deviations between modelled and observed behaviour. The core technique for conformance checking is the computation of an ...

Mostra'n més