Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 12
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 12 de 12 resultats
 
  • 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
  • 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
  • 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