Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 141
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 141 resultats
 
  • Guía y Normas de Programación de las Prácticas de PS

     Jimenez, R.; Martinez, C.
    Data: 2009-12-20
    Document cientificotècnic
  • A new upper bound for 3-SAT  Accés obert

     Diaz, J.; Lefteris, K.; Mitsche, D.; Perez, X.
    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
    p. 163-174
    DOI: 10.4230/LIPIcs.FSTTCS.2008.1750
    Data de presentació: 2009-12-10
    Presentació treball a congrés
    Accés al text complet
  • Lists revisited: cache-conscious STL lists

     Frias, L.; Petit, J.; Roura, S.
    ACM Journal of experimental algorithmics
    Vol. 14, p. 3.5:1-3.5:27
    DOI: 10.1145/1498698.1564505
    Data de publicació: 2009-12-10
    Article en revista
  • Beam search for the longest common subsequence problem

     Blum, C.; Blesa, M.
    Computers & operations research
    Vol. 36, num. 12, p. 3178-3186
    DOI: 10.1016/j.cor.2009.02.005
    Data de publicació: 2009-12
    Article en revista
  • Propositional logic syntax acquisition using induction and self-organisation  Accés obert

     Sierra-Santibáñez, J.; Santibáñez, J.
    Data de publicació: 2009-12
    Capítol de llibre
    Accés al text complet
  • Updating Relaxed K-d Trees - art. no. 4

     Duch, A.; Martinez, C.
    ACM transactions on algorithms
    Vol. 6, num. 1, p. 4.1-4.24
    DOI: 10.1145/1644015.1644019
    Data de publicació: 2009-12
    Article en revista
  • Experiments on the acquisition of cognitive and linguistic competence to communicate propositional logic sentences

     Sierra-Santibáñez, J.; Santibáñez, J.
    AAAI Fall Symposium on Biologically Inspired Cognitive Architectures
    p. 153-158
    Data de presentació: 2009-11-07
    Presentació treball a congrés
  • Rank selection in multidimensional data  Accés obert

     Duch, A.; Jimenez, R.; Martinez, C.
    Data: 2009-11-04
    Document cientificotècnic
    Accés al text complet
  • Comparison of tree-child phylogenetic networks  Accés obert

     Cardona, G.; Rosselló, F.; Valiente, G.
    IEEE-ACM transactions on computational biology and bioinformatics
    Vol. 6, num. 4, p. 552-569
    DOI: 10.1109/TCBB.2007.70270
    Data de publicació: 2009-11-03
    Article en revista
    Accés al text complet
  • On the proper intervalization of colored caterpillar trees  Accés obert

     Alvarez, C.; Serna, M.
    Data: 2009-11-01
    Document cientificotècnic
    Accés al text complet
  • On Nakhleh's metric for reduced phylogenetic networks  Accés obert

     Cardona, G.; Llabrés, M.; Rosselló, F.; Valiente, G.
    IEEE-ACM transactions on computational biology and bioinformatics
    Vol. 6, num. 4, p. 629-638
    DOI: 10.1109/TCBB.2009.33.
    Data de publicació: 2009-11
    Article en revista
    Accés al text complet
  • Book review: Principles of protocol design

     Gabarro, J.
    Computer science review
    Vol. 3, num. 4, p. 259-261
    DOI: 10.1016/j.cosrev.2009.07.002
    Data de publicació: 2009-11
    Article en revista
  • Hematopoiesis-related microRNA expression in myelodysplastic syndromes

     Pons, A.; Nomdedeu, B.; Navarro, A.; Gaya, A.; Gel, B.; Diaz, T.; Valera, S.; Rozman, M.; Belkaid, M.; Montserrat, E.; Monzo, M.
    Leukemia and lymphoma
    Vol. 50, num. 11, p. 1854-1859
    DOI: 10.3109/10428190903147645
    Data de publicació: 2009-11
    Article en revista
  • miR-34a as a prognostic marker of relapse in surgically resected non-small-cell lung cancer

     Gallardo, E.; Navarro, A.; Viñolas, N.; Marrades, R.; Díaz, T.; Gel, B.; Quera, À.; Bandres, E.; García-Foncillas, J.; Ramirez, J.; Monzo, M.
    Carcinogenesis
    Vol. 30, num. 11, p. 1903-1909
    DOI: 10.1093/carcin/bgp219
    Data de publicació: 2009-11
    Article en revista
  • Dual systems of tableaux and sequents for PLTL

     Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M.; Orejas, F.
    Journal of logic and algebraic programming
    Vol. 78, num. 8, p. 701-722
    DOI: 10.1016/j.jlap.2009.05.001
    Data de publicació: 2009-11
    Article en revista
  • Principles of adaptively organized societies of artefacts

     Serna, M.
    FRONTS Winter School
    Data de presentació: 2009-10-15
    Presentació treball a congrés
  • Letter from the Bulletin editor

     Serna, M.
    Bulletin of the European Association for Theoretical Computer Science
    num. 99, p. 8
    Data de publicació: 2009-10-15
    Article en revista
  • On the complexity of problems on simple games  Accés obert

     Freixas, J.; Molinero, X.; Olsen, M.; Serna, M.
    Data: 2009-10-08
    Document cientificotècnic
    Accés al text complet
  • Paradigms for fast parallel approximability

     Diaz, J.; Serna, M.; Spirakis, P.G.; Toran, J.
    Data de publicació: 2009-10-05
    Llibre
    Imatge
  • Regulation of JAK2 by miR-135a: prognostic impact in classic Hodgkin lymphoma

     Navarro, A.; Díaz, T.; Martínez, A.; Gaya, A.; Pons, A.; Gel, B.; Codony, C.; Ferrer, G.; Martinez, C.; Montserrat, E.; Monzo, M.
    Blood
    Vol. 114, num. 14, p. 2945-2951
    DOI: 10.1182/blood-2009-02-204842
    Data de publicació: 2009-10
    Article en revista
  • Elastic Circuits

     Carmona, J.; Cortadella, J.; Kishinevsky, M.; Taubin, A.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 28, num. 10, p. 1427-1455
    DOI: 10.1109/TCAD.2009.2030436
    Data de publicació: 2009-10
    Article en revista
  • Vertex fusion under distance constraints

     Comas, M.; Serna, M.
    European journal of combinatorics
    Vol. 30, num. 7, p. 1612-1623
    DOI: 10.1016/j.ejc.2009.03.014
    Data de publicació: 2009-10
    Article en revista
  • All that glisters is not galled

     Rosselló, F.; Valiente, G.
    Mathematical biosciences
    Vol. 221, num. 1, p. 54-59
    DOI: 10.1016/j.mbs.2009.06.007
    Data de publicació: 2009-10
    Article en revista
  • Enabling automatic just-in-time evaluation of in-class discussions in online collaborative learning practices

     Caballe, S.; Lapredriza, À.; Masip, D.; Xhafa, F.; Abraham, A.
    Journal of digital information management
    Vol. 7, num. 5, p. 290-297
    Data de publicació: 2009-10-01
    Article en revista
  • Efficient peerGroup management in JXTA-overlay P2P system for developing groupware tools

     Xhafa, F.; Barolli, L.; Caballe, S.
    Journal of supercomputing
    Vol. 53, num. 1, p. 45-65
    DOI: 10.1007/s11227-009-0334-1
    Data de publicació: 2009-10-01
    Article en revista
  • Strategic games to analyze unreliable systems

     Serna, M.
    Workshop on Game Theoretic Aspects of Distributed Computing
    Data de presentació: 2009-09-26
    Presentació treball a congrés
  • ALGORISMIA, BIOINFORMÀTICA, COMPLEXITAT I METODES FORMALS (ALBCOM)

     Diaz, J.; Orejas, F.; Galceran, M.; Oliva, S.; Godoy, G.; Atserias, A.; Martinez, C.; Edelmira Pasarella; Pino, E.; Alvarez, C.; Blum, C.; Gabarro, J.; Cortadella, J.; Molinero, X.; Serna, M.; Messeguer, X.; Roura, S.; Blesa, M.; Valiente, G.; Duch, A.; Carmona, J.; Hernandez, H.; Gel, B.; Gascon, A.; Petit, J.
    Projecte R+D+I competitiu
  • Sensor field: a computational model  Accés obert

     Alvarez, C.; Duch, A.; Gabarro, J.; Serna, M.
    Data: 2009-09-23
    Document cientificotècnic
    Accés al text complet
  • Preface to special section of selected papers from WEA 2006

     Alvarez, C.; Serna, M.
    ACM Journal of experimental algorithmics
    Vol. 14, p. 1-
    DOI: 10.1145/1498698.1564501
    Data de publicació: 2009-09-15
    Article en revista
  • Divide-and-conquer strategies for process mining

     Carmona, J.; Cortadella, J.; Kishinevsky, M.
    International Conference on Business Process Management
    p. 327-343
    DOI: 10.1007/978-3-642-03848-8_22
    Data de presentació: 2009-09-09
    Presentació treball a congrés
  • An algebraic metric for phylogenetic trees

     Alberich, R.; Cardona, G.; Rosselló, F.; Valiente, G.
    Applied mathematics letters
    Vol. 22, num. 9, p. 1320-1324
    DOI: 10.1016/j.aml.2009.03.003
    Data de publicació: 2009-09
    Article en revista
  • Evaluation of P2P multimedia clustering techniques in JXTA-overlay

     Xhafa, F.; Jaen, E.; Caballe, S.; Barolli, L.
    Multimedia systems
    Vol. 15, num. 5, p. 283-293
    DOI: 10.1007/s00530-009-0169-x
    Data de publicació: 2009-09-01
    Article en revista
  • Locals search algorithms for efficient router nodes placement in Wireless Mesh Networks  Accés obert

     Xhafa, F.; Sánchez, C.; Barolli, L.
    International Conference on Network Based Information Systems
    p. 572-579
    DOI: 10.1109/NBiS.2009.21
    Data de presentació: 2009-08
    Presentació treball a congrés
    Accés al text complet
  • On the satisfiability threshold of formulas with three literals per clause

     Diaz, J.; Kirousis, L.; Dieter, M.; Perez, X.
    Theoretical computer science
    Vol. 410, num. 30-32, p. 2920-2934
    DOI: 10.1016/j.tcs.2009.02.020
    Data de publicació: 2009-08
    Article en revista
  • WIT: a wireless integrated traffic model

     Doci, A.; Xhafa, F.
    Mobile information systems
    Vol. 4, num. 3, p. 219-235
    DOI: 10.1155/2008/341498
    Data de publicació: 2009-08-01
    Article en revista
  • Parameter tuning of JXTA-based P2P platforms  Accés obert

     Xhafa, F.; Arrizabalaga, Z.; Misse Bertran, J.; Barolli, L.
    International Conference on Network Based Information Systems
    p. 97-102
    DOI: 10.1109/NBiS.2009.22
    Data de presentació: 2009-08
    Presentació treball a congrés
    Accés al text complet
  • 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
  • A Fibonacci sequence for linear structures with two types of components  Accés obert

     Freixas, J.; Molinero, X.; Roura, S.
    Data: 2009-07-23
    Document cientificotècnic
    Accés al text complet
  • Sensor field: a computational model  Accés obert

     Alvarez, C.; Duch, A.; Gabarro, J.; Serna, M.
    International Workshop on Algorithmic Aspects of Wireless Sensor Networks
    p. 5-16
    Data de presentació: 2009-07-06
    Presentació treball a congrés
    Accés al text complet
  • Genet: a Tool for the Synthesis and Mining of Petri Nets

     Carmona, J.; Cortadella, J.; Kishinevsky, M.
    International Conference on Application of Concurrency in System Design
    p. 181-185
    Data de presentació: 2009-07
    Presentació treball a congrés
  • Guest Editorial: Special Section on Asynchronous Circuits and Systems

     Cortadella, J.; Taubin, A.
    IEEE transactions on very large scale integration (VLSI) systems
    Vol. 17, num. 7, p. 853-854
    DOI: 10.1109/TVLSI.2009.2022864
    Data de publicació: 2009-07
    Article en revista
  • Multikey Quickselect  Accés obert

     Frias, L.; Roura, S.
    Data: 2009-07
    Document cientificotècnic
    Accés al text complet
  • Speculation in Elastic Systems

     Galceran, M.; Cortadella, J.; Kishinevsky, M.
    Design, Automation and Test in Europe Conference and Exhibition
    p. 292-295
    Data de presentació: 2009-07
    Presentació treball a congrés
  • A data analysis model based on control charts to monitor online learning processes

     Juan, A.; Daradoumis, T.; Faulín, F.; Xhafa, F.
    International journal of business intelligence and data mining
    Vol. 4, num. 2, p. 159-174
    Data de publicació: 2009-07-01
    Article en revista
  • Retiming and Recycling for Elastic Systems with Early Evaluation

     Bufistov, D.; Cortadella, J.; Galceran, M.; Julvez, J.; Kishinevsky, M.
    Design, Automation and Test in Europe Conference and Exhibition
    p. 288-291
    DOI: 10.1145/1629911.1629988
    Data de presentació: 2009-07
    Presentació treball a congrés
  • Letter from the Bulletin editor

     Serna, M.
    Bulletin of the European Association for Theoretical Computer Science
    num. 98, p. 6
    Data de publicació: 2009-06-15
    Article en revista
  • On the power of mediators

     Diaz, J.; Dieter, M.; Rustagi, N.; Saia, J.
    Data: 2009-06-10
    Document cientificotècnic
  • Large Connectivity for Dynamic Random Geometric Graphs

     Perez, X.; Dieter, M.; Diaz, J.
    IEEE transactions on mobile computing
    Vol. 8, num. 6, p. 821-835
    DOI: 10.1109/TMC.2009.42
    Data de publicació: 2009-06
    Article en revista