Carregant...
Carregant...

Vés al contingut (premeu Retorn)

ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Total activitats: 18
Tipus
Grup de recerca
Tipus de grup
Grup de recerca UPC
Acrònim
ALBCOM
Adreça
Jordi Girona Salgado, 1-3. 08034 Barcelona, Spain Obrir en finestra nova
Localitat
Barcelona
URL
http://albcom.cs.upc.edu Obrir en finestra nova
Objectius
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.
Paraules clau
Algorismes, Combinatòria, Complexitat, Especificació, Estructures de dades, Genòmica, Grafs, Sistemes VLSI, Verificació.
Completa aquestes dades (només responsables)
  • Cases Muñoz, Rafel
    (fins 2011-05-31)
  • Clariso Viladrosa, Robert
    (fins 2003-01-31)
  • Clerici Martinez, Silvia Ines
    (fins 2014-12-31)
  • Costa Gorgônio, Kyller
    (fins 2006-09-30)
  • De San Pedro Martín, Javier
    (fins 2016-09-30)
  • Frances Medina, Guillem
    (fins 2009-06-14)
  • Frias Moya, Leonor
    (fins 2010-06-13)
  • Galceran Oms, Marc
    (fins 2010-06-30)
  • Garcia Chacon, Alina
    (fins 2007-04-30)
  • Gascon Caro, Adrian
    (fins 2013-07-31)
  • Gel Moreno, Bernat
    (fins 2010-12-31)
  • Gimenez Llach, Omer
    (fins 2010-10-31)
  • Hernandez Pibernat, Hugo
    (fins 2012-05-06)
  • Julvez Bueno, Jorge Emilio
    (fins 2008-09-28)
  • Maneva, Elitza Nikolaeva
    (fins 2009-11-05)
  • Meng, Jiangtao
    (fins 2005-10-15)
  • Muñoz Gama, Jorge
    (fins 2015-02-28)
  • Ochremiak, Joanna Regina
    (fins 2016-08-15)
  • Oliva Valls, Sergi
    (fins 2012-08-31)
  • Perez Gimenez, Xavier
    (fins 2003-08-31)
  • Roca Perez, Antoni
    (fins 2016-11-30)

Producció científica

1 a 18 de 18 resultats
 
  • Supporting Decentralized Collaborative Processes in the Digital Transformation

     Sanchez, D.
    Universitat Politècnica de Catalunya
    Tesi doctoral
  • Large neighborhood search for the most strings with few bad columns problem

     Lizárraga, E.; Blesa, M.; Blum, C.; Raidl, G.
    Soft computing
    Vol. 21, num. 17, p. 4901-4915
    DOI: 10.1007/s00500-016-2379-4
    Data de publicació: 2017-09
    Article en revista
  • MetaShot: an accurate workflow for taxon classification of host-associated microbiome from shotgun metagenomic data

     Fosso, B.; Santamaria, M.; D'Antonio, M.; Lovero, D.; Corrado, G.; Vizza, E.; Passaro, N.; Garbuglia, A.; Capobianchi, M.; Crescenzi, M.; Valiente, G.; Pesole, G.
    Bioinformatics
    Vol. 33, num. 11, p. 1730-1732
    DOI: 10.1093/bioinformatics/btx036
    Data de publicació: 2017-06-01
    Article en revista
  • Algorithms and Methodologies for lnterconnect Reliability Analysis of lntegrated Circuits

    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Partial match queries in relaxed K-dt trees  Accés obert

     Duch, A.; Lau, G.
    Workshop on Analytic Algorithmics and Combinatorics
    p. 131-138
    DOI: 10.1137/1.9781611974775.13
    Data de presentació: 2017-01-16
    Presentació treball a congrés
    Accés al text complet
  • Comparing MapReduce and pipeline implementations for counting triangles  Accés obert

     Edelmira Pasarella; Vidal, M.; Zoltan, A.
    Electronic proceedings in theoretical computer science
    Vol. 237, p. 20-33
    DOI: 10.4204/EPTCS.237.2
    Data de publicació: 2017-01-11
    Article en revista
    Accés al text complet
  • The pragmatic proof: hypermedia API composition and execution

     Verborgh, R.; Arndt, D.; Van Hoecke, S.; De Roo, J.; Mels, G.; Steiner, T.; Gabarro, J.
    Theory and practice of logic programming
    Vol. 17, num. 1, p. 1-48
    DOI: 10.1017/S1471068416000016
    Data de publicació: 2017-01-01
    Article en revista
  • Amalgamation of domain specific languages with behaviour

     Duran, F.; Moreno-Delgado, A.; Orejas, F.; Zschaler, S.
    Journal of logical and algebraic methods in programming
    Vol. 86, num. 1, p. 208-235
    DOI: 10.1016/j.jlamp.2015.09.005
    Data de publicació: 2017-01-01
    Article en revista
  • Soluciones Efectivas basadas en la Lógica

     Rubio, A.; Larrosa, J.; Nieuwenhuis, R.; Messeguer, X.; Rivero, J.; Rollon, E.; Rodriguez, E.; Oliveras, A.; Borralleras, C.; Aloysisus, M.
    Projecte R+D+I competitiu
  • Annual ACM-SIAM Symposium on Discrete Algorithms

     Martinez, C.; Noy, M.; Diaz, J.
    Projecte R+D+I competitiu
  • Aprendizaje Computacional y Comunicación

     Arias, M.; Duarte-López, A.; Valentin Fernandez, J.; Arratia, A.; Hernandez Fernandez, A.; Casas, B.; Sierra-Santibáñez, J.; Baixeries, J.; Ferrer-i-Cancho, R.; Morrill, G.; Belanche, Ll.; Castro, J.; Balcazar, J. L.; Gavaldà, R.; Lozano, A.
    Projecte R+D+I competitiu
  • Detecció de frau a plataformes de/'CrowdSourcing/'

     Nin, J.; Larriba, J.; Carmona, J.
    Projecte R+D+I competitiu
  • Teoría y aplicaciones en satisfactibilidad y optimización de restricciones

     Atserias, A.; Bonet, M.; Esteban, J. L.; Buss, S.; Nordström, J.
    Projecte R+D+I competitiu
  • Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals ALBCOM

     Diaz, J.; Cortadella, J.; Orejas, F.; Martinez, C.; Serna, M.; Alvarez, C.; Gabarro, J.; Atserias, A.; Messeguer, X.; Petit, J.; Pino, E.; Roura, S.; Valiente, G.; Carmona, J.; Godoy, G.; Duch, A.; Blesa, M.; Molter, H.; San Pedro, J. de; Munoz-Gama, J.; Roca, A.; Lauria, M.; Ochremiak, J.R.
    Projecte R+D+I competitiu
  • Gestió i Anàlisi de Dades Complexes

     Gavaldà, R.; Balcazar, J. L.; Morrill, G.; Castro, J.; Delgado, J.; Sierra-Santibáñez, J.; Arias, M.; Arratia, A.; Baixeries, J.; Ferrer-i-Cancho, R.; Valentin Fernandez, J.; Hernandez Fernandez, A.; Larriba, J.; Perez-Casany, M.; Prat, A.; Guisado, J.; Martinez, X.; Duarte-López, A.
    Projecte R+D+I competitiu
  • Modelos y métodos computacionales para datos masivos estructurados

     Orejas, F.; Diaz, J.; Cortadella, J.; Serna, M.; Alvarez, C.; Pino, E.; Carmona, J.; Gabarro, J.; Xhafa, F.; Edelmira Pasarella; Petit, J.; Mylonakis, N.; Martinez, C.; Duch, A.; Godoy, G.; Roura, S.; Roca, A.; Soares-Ribeiro, J.; Pérez-Giménez, X.
    Projecte R+D+I competitiu
  • Complexity of Computation and Reasoning Group

     Tzameret, I.; Atserias, A.
    Projecte R+D+I competitiu