Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 55
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 50 de 55 resultats
 
  • Fraud detection in energy consumption: a supervised approach  Accés obert

     Coma-Puig, B.; Carmona, J.; Gavaldà, R.; Alcoverro, S.; Martín, V.
    IEEE International Conference on Data Science and Advanced Analytics
    p. 120-129
    DOI: 10.1109/DSAA.2016.19
    Data de presentació: 2016-10-17
    Presentació treball a congrés
    Accés al text complet
  • Analyzing web-apps in evolving environments

     Gabarro, J.; Castro, J.; Serna, M.; Stewart, A.
    European Conference on Operational Research
    p. 113
    Data de presentació: 2016-07-04
    Presentació treball a congrés
  • De Menos a Distinto: Estudio de la Implantación de R en las asignaturas del grado de estadística  Accés obert

     Baixeries, J.; Fairen, M.; Gabarro, J.; Edelmira Pasarella
    Jornadas de Enseñanza Universitaria de la Informática
    p. 253-260
    Data de presentació: 2016-07
    Presentació treball a congrés
    Accés al text complet
  • The robustness of periodic orchestrations in uncertain evolving environments  Accés obert

     Castro, J.; Gabarro, J.; Serna, M.; Stewart, A.
    European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
    p. 129-140
    DOI: 10.1007/978-3-319-20807-7_12
    Data de presentació: 2015-07-16
    Presentació treball a congrés
    Accés al text complet
  • Entailment among probabilistic implications  Accés obert

     Atserias, A.; Balcazar, J. L.
    Annual ACM/IEEE Symposium on Logic in Computer Science
    p. 621-632
    DOI: 10.1109/LICS.2015.63
    Data de presentació: 2015-07-09
    Presentació treball a congrés
    Accés al text complet
  • 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
  • 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
  • Online techniques for dealing with concept drift in process mining

     Carmona, J.; Gavaldà, R.
    International Symposium on Intelligent Data Analysis
    p. 90-102
    DOI: 10.1007/978-3-642-34156-4_10
    Data de presentació: 2012-12-27
    Presentació treball a congrés
  • MINERIA EN DATOS BIOLOGICOS Y SOCIALES: ALGORITMOS, TEORIA E IMPLEMENTACION

     Gavaldà, R.; Morrill, G.; Quattoni, A.J.; Arratia, A.; B. Balle; Arias, M.; Casas, B.; Bifet, A.C.; Berral, J.; Lopez, J.; Baixeries, J.; Delgado, J.; Belanche, Ll.; Castro, J.; Lozano, A.; Ferrer-i-Cancho, R.; Sierra-Santibáñez, J.; Hernandez Fernandez, A.
    Projecte R+D+I competitiu
  • Learning theory through videos: a teaching experience in a theoretical course based on self-learning videos and problem-solving sessions

     Arias, M.; Creus, C.; Gascon, A.; Godoy, G.
    International Conference on Computer Supported Education
    p. 93-98
    DOI: 10.5220/0003333400930098
    Data de presentació: 2011-05
    Presentació treball a congrés
  • Introduction to programming

     Cortadella, J.; Gavaldà, R.; Orejas, F.
    Data: 2010-09-01
    Document cientificotècnic
  • Programació pràctica en C++

     Gatius, M.; Lopez, J.; Martin, A.; Romero, O.; Valverde, A.; Xhafa, F.; Esquerra, I.; Amirian, G.
    Data de publicació: 2010-02
    Llibre
  • LARCA

     Gavaldà, R.; Delgado, J.; Sierra-Santibáñez, J.; Baixeries, J.; Arias, M.; Castro, J.; Bifet, A.C.; Lopez, J.; Morrill, G.; Balcazar, J. L.; Berral, J.; Quattoni, A.J.; Arratia, A.; B. Balle; Ferrer-i-Cancho, R.; Hernandez Fernandez, A.
    Projecte R+D+I competitiu
  • SECUENCIAS SIMBOLICAS:ANALISIS,APRENDIZAJE,MINERIA Y EVOLUCION - BARCELONA

     Gavaldà, R.; Arratia, A.; Sierra-Santibáñez, J.; Berral, J.; Lozano, A.; Baixeries, J.; Arias, M.; Morrill, G.; Bifet, A.C.; Lopez, J.; Delgado, J.; Ferrer-i-Cancho, R.; Quattoni, A.J.
    Projecte R+D+I competitiu
  • Innovaciones en la metodología docente para cursos universitarios de introducción a la programación de primer año

     Gatius, M.; Romero, O.; Lopez, J.; Xhafa, F.
    Congreso Iberoamericano de Docencia Universitaria
    Data de presentació: 2008-10-29
    Presentació treball a congrés
  • Moises-bar

     Gavaldà, R.; Sierra-Santibáñez, J.
    Projecte R+D+I competitiu
  • The complexity of resource-bounded propositional proofs  Activitat premiada

     Atserias, A.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Monotone proofs of the pigeon hole principle

     Atserias, A.; Galesi, N.; Gavaldà, R.
    Mathematical logic quarterly
    Vol. 47, num. 4, p. 461-474
    Data de publicació: 2001-09
    Article en revista
  • Monotone proofs of the pigeonhole principle

     Atserias, A.; Galesi, N.; Gavaldà, R.
    Lecture notes in computer science
    Vol. 1853, num. 1, p. 172-183
    Data de publicació: 2000-07
    Article en revista
  • Monotone proofs of the pigeon hole principle  Accés obert

     Atserias, A.; Galesi, N.; Gavaldà, R.
    Data: 2000-04
    Document cientificotècnic
    Accés al text complet
  • Monotone Proofs of the Pigeon Hole Principle

     Galesi, N.; Atserias, A.; Gavaldà, R.
    Electronic colloquium on computational complexity
    num. TR00-008, p. 1-13
    Data de publicació: 2000-02
    Article en revista
  • Monotone proofs of the Pigeon Hole Principle

     Atserias, A.; Galesi, N.; Gavaldà, R.
    International Colloquium on Automata, Languages, and Programming
    p. 151-162
    DOI: 10.1007/3-540-45022-X_13
    Data de presentació: 2000
    Presentació treball a congrés
  • ALGGEN:portal de aplicaciones bioinformaticas

     Delgado, J.; Lozano, A.; Messeguer, X.
    I Jornadas de Bioinformatica
    p. 84
    Presentació treball a congrés
  • Monotone proofs of the pigeonhole principle

     Atserias, A.; Galesi, N.; Gavaldà, R.
    International Colloquium on Automata, Languages, and Programming
    p. 151-162
    Data de presentació: 2000
    Presentació treball a congrés
  • Refining logical characterizations of advice complexity classes  Accés obert

     Atserias, A.; Balcazar, J. L.
    Data: 1997-05
    Document cientificotècnic
    Accés al text complet
  • Algorithms for Learning Finite Automata from Queries: A Unified View

     Balcazar, J. L.; Diaz, J.; Gavaldà, R.
    Data de publicació: 1997-01
    Capítol de llibre
  • Refining logical characterizations of advice complexity classes

     Atserias, A.; Balcazar, J. L.
    Panhellenic Symposium on Logic
    p. 157-168
    Data de presentació: 1997
    Presentació treball a congrés
  • Algorithms for learning finite automata from queries: a unified view  Accés obert

     Balcazar, J. L.; Diaz, J.; Gavaldà, R.; Watanabe, O
    Data: 1996-09
    Document cientificotècnic
    Accés al text complet
  • Adaptive logspace reducibility and parallel time

     Alvarez, C.; Balcazar, J. L.; Jenner, B.
    Mathematical systems theory
    Vol. 1, num. 28, p. 117-140
    Data de publicació: 1995-02
    Article en revista
  • The query complexity of learning dfa

     Balcazar, J. L.; Diaz, J.; Gavaldà, R.
    New generation computing
    Vol. 12, num. 1, p. 337-358
    Data de publicació: 1994-06
    Article en revista
  • An approach to correctness of data parallel algorithms

     Gabarro, J.; Gavaldà, R.
    Journal of parallel and distributed computing
    Vol. 12, num. 1994, p. 185-201
    Data de publicació: 1994-01
    Article en revista
  • An Optimal parallel algorithm for learning DFA  Accés obert

     Balcazar, J. L.; Diaz, J.; Gavaldà, R.; Watanabe, O.
    DOI: /doi.acm.org/10.1145/180139.181110
    Data: 1993-11
    Document cientificotècnic
    Accés al text complet
  • Curso de programacion

     Castro, J.; Messeguer, X.; Rubio, A.; Solano, L.; Valles, B.
    Data de publicació: 1993-09-01
    Llibre
  • A first-order isomorphism theorem

     Balcazar, J. L.; Gabarro, J.
    STACS 93
    p. 163-174
    Presentació treball a congrés
  • COMO DOCUMENTAR UNA PRACTICA DE PROGRAMACION BASICA

     Castro, J.; Martinez, C.; Valles, B.
    Data: 1992-11
    Document cientificotècnic
  • Deciding bisimilarity is p-complete

     Balcazar, J. L.; Gabarro, J.
    Formal aspects of computing
    Vol. 0, num. 0, p. 638-648
    Data de publicació: 1992-10
    Article en revista
  • Curs de programacio

     Castro, J.; Cucker, J.; Messeguer, X.; Rubio, A.; Solano, L.; Valles, B.
    Data de publicació: 1992-09-02
    Llibre
  • A note on the query complexity of learning dfa

     Balcazar, J. L.; Diaz, J.; Gavaldà, R.
    International Workshop on algorithmic learning Theory
    p. 53-62
    Presentació treball a congrés
  • ADAPTIVE LOGSPACE REDUCIBILITY AND PARALLEL TIME

     Alvarez, C.; Balcazar, J. L.
    Data: 1991-12
    Document cientificotècnic
  • CURS DE PROGRAMACIO

     Castro, J.; Cucker, J.; Messeguer, X.; Rubio, A.; Solano, L.; Valles, B.
    Data: 1991-10
    Document cientificotècnic
  • DECIDING BISIMILARY IS P-COMPLETE

     Balcazar, J. L.; Gabarro, J.
    Data: 1991-01
    Document cientificotècnic
  • Parallel complexity in the design and analysis of concurrent systems

     Alvarez, C.; Gabarro, J.; Balcazar, J. L.; Santha, M.
    Parallel Architectures and Languages Europe
    p. 288-303
    Presentació treball a congrés
  • Functional oracle queries as a measure of parallel time

     Alvarez, C.; Balcazar, J. L.; Jenner, B.
    International Symposium on Theoretical Aspects of Computer Science
    p. 422-433
    Presentació treball a congrés
  • PARALLEL COMPLEXITY IN THE DESIGN AND ANALISYS OF CONCURRENT SYSTEMS

     Alvarez, C.; Balcazar, J. L.; Gabarro, J.
    Data: 1990-10
    Document cientificotècnic
  • FUNCTIONAL ORACLE QUERIES AS A MEASURE OF PARALLEL TIME

     Alvarez, C.; Balcazar, J. L.; Jenner, B.
    Data: 1990-01
    Document cientificotècnic
  • STRUCTURAL COMPLEXITY II.

     Balcazar, J. L.; Gabarro, J.; Diaz, J.
    Data de publicació: 1990-01
    Llibre
    Imatge
  • Nonuniform complexity classes specified by lower and upper bounds  Accés obert

     Balcazar, J. L.; Gabarro, J.
    RAIRO. Theoretical informatics and applications
    Vol. 23, num. 1, p. 177-194
    DOI: 10.1051/ita/1989230201771
    Data de publicació: 1989-09
    Article en revista
    Accés al text complet
  • Structural complexity I

     Balcazar, J. L.; Diaz, J.; Gabarro, J.
    DOI: 10.1007/978-3-642-79235-9
    Data de publicació: 1988-01
    Llibre
    Imatge
  • On characterizations of the class PSPACE/poly

     Balcazar, J. L.; Diaz, J.; Gabarro, J.
    Theoretical computer science
    Vol. 52, num. 3, p. 251-267
    DOI: 10.1016/0304-3975(87)90111-3
    Data de publicació: 1987-03
    Article en revista
  • On non-uniform polynomial space

     Balcazar, J. L.; Diaz, J.; Gabarro, J.
    Structure in Complexity Theory First Annual Conference
    p. 35-50
    DOI: 10.1007/3-540-16486-3_88
    Data de presentació: 1986-06-02
    Presentació treball a congrés