Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 13
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)
  • Sanchez Charles, David
    (fins 2015-12-01)

Producció científica

1 a 13 de 13 resultats
 
  • Conformance Checking and Diagnosis in Process Mining  Accés obert  Activitat premiada

     Munoz-Gama, J.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
    Accés al text complet
  • Dissemination and Visualisation of Biological Data  Accés obert  Activitat premiada

     Gel, B.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
    Accés al text complet
  • Swarm Intelligence Techniques for Optimization and Management Tasks inSensor Networks  Accés obert  Activitat premiada

     Hernandez, H.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
    Accés al text complet
  • Distributed graph coloring in wireless ad hoc networks: a light-weight algorithm based on Japanese tree frogs' calling behaviour  Activitat premiada

     Hernandez, H.; Blum, C.
    Wireless and Mobile Networking Conference
    p. 1-7
    DOI: 10.1109/WMNC.2011.6097216
    Data de presentació: 2011
    Presentació treball a congrés
  • Scheduling synchronous elastic designs  Accés obert  Activitat premiada

     Carmona, J.; Julvez, J.; Cortadella, J.; Kishinevsky, M.
    International Conference on Application of Concurrency in System Design
    p. 52-59
    DOI: 10.1109/ACSD.2009.12
    Data de presentació: 2009
    Presentació treball a congrés
    Accés al text complet
  • STABILITY IN COMMUNICATION NETWORKS UNDER ADVERSARIAL MODELS  Activitat premiada

     Blesa, M.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Ant colony optimization theory : a survey  Activitat premiada

     Dorigo, M.; Blum, C.
    Theoretical computer science
    Vol. 344, num. 2-3, p. 243-278
    DOI: 10.1016/j.tcs.2005.05.020
    Data de publicació: 2005-11
    Article en revista
  • DnaSP, DNA polymorphism analyses by the coalescent and other methods  Accés obert  Activitat premiada

     Rozas, J.; Sánchez del Barrio, J.; Messeguer, X.; Rozas, R.
    Bioinformatics
    Vol. 19, num. 18, p. 2496-2497
    DOI: 10.1093/bioinformatics/btg359
    Data de publicació: 2003-12
    Article en revista
    Accés al text complet
  • 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
  • Layout Problems  Activitat premiada

     Petit, J.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Divide-and-Conquer Algorithms and Data Structures  Activitat premiada

     Roura, S.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • MÈTODES ESTRUCTURALS PER A LA SÍNTESIS DE...  Activitat premiada

     Pastor, E.
    Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya
    Tesi doctoral
  • PARALLEL TIME AND SEQUENTIAL REDUCIBILITIES  Activitat premiada

     Alvarez, C.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral