Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 112
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 112 resultats
 
  • 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
  • Continuous monitoring in the dynamic sensor field model

     Alvarez, C.; Diaz, J.; Mitsche, D.; Serna, M.
    Theoretical computer science
    Vol. 463, num. Special Issue, p. 114-122
    DOI: 10.1016/j.tcs.2012.05.012
    Data de publicació: 2012-12-07
    Article en revista
  • A study on the performance of local search versus population-based methods for mesh router nodes placement problem

     Barolli, A.; Xhafa, F.; Sánchez, C.; Takizawa, M.
    Journal of intelligent manufacturing
    Vol. 23, num. 6, p. 2057-2067
    DOI: 10.1007/s10845-011-0507-7
    Data de publicació: 2012-12
    Article en revista
  • Alignment based precision checking

     Adriansyah, A.; Munoz-Gama, J.; Carmona, J.; van Dongen, B.; Aalst, W. M.P.
    Enterprise Information System Conference
    p. 1-12
    Data de presentació: 2012-11-28
    Presentació treball a congrés
  • Special Issues on Algorithmic Game Theory. Theory of computing systems

     Serna, M.
    Vol. 57, num. 3
    Col·laboració en revista
  • Analysis of the strategy "Hiring above the alpha-quantile"  Accés obert

     Helmiy, A.; Martinez, C.; Panholzer, A.
    Data: 2012-11
    Document cientificotècnic
    Accés al text complet
  • Using data replication for improving QoS in MANETs

     Kulla, E.; Spaho, E.; Xhafa, F.; Barolli, L.; Takizawa, M.
    International Conference on Broadband and Wireless Computing, Communication and Applications
    p. 529-533
    Data de presentació: 2012-11
    Presentació treball a congrés
  • Genetic algorithms for node placement in WMNs: effect of changes in population size and number of generations

     Oda, T.; Barolli, A.; Spaho, E.; Barolli, L.; Xhafa, F.; Iwashige, J.
    International Conference on Broadband and Wireless Computing, Communication and Applications
    p. 356-361
    DOI: 10.1109/BWCCA.2012.52
    Data de presentació: 2012-11
    Presentació treball a congrés
  • Impact of population size and number of generations on the performance of dense WMNs

     Barolli, A.; Oda, T.; Spaho, E.; Barolli, L.; Xhafa, F.; Takizawa, M.
    International Conference on Broadband and Wireless Computing, Communication and Applications
    p. 523-528
    Data de presentació: 2012-11
    Presentació treball a congrés
  • An integrated fuzzy-based trustworthiness system for P2P communications in JXTA-Overlay

     Umezaki, K.; Spaho, E.; Barolli, L.; Xhafa, F.; Younas, M.; Iwashige, J.
    International Conference on Broadband and Wireless Computing, Communication and Applications
    p. 278-284
    DOI: 10.1109/BWCCA.2012.25
    Data de presentació: 2012-11
    Presentació treball a congrés
  • Performance of OLSR and DSDV protocols in a VANET scenario: evaluation using CAVENET and NS3

     Spaho, E.; Ikeda, M.; Barolli, L.; Xhafa, F.; Younas, M.; Takizawa, M.
    International Conference on Broadband and Wireless Computing, Communication and Applications
    p. 108-113
    DOI: 10.1109/BWCCA.2012.28
    Data de presentació: 2012-11
    Presentació treball a congrés
  • Reference databases for taxonomic assignment in metagenomics

     Santamaria, M.; Fosso, B.; Consiglio, A.; De Caro, G.; Grillo, G.; Licciulli, F.; Liuni, S.; Marzano, M.; Alonso-Alemany, D.; Valiente, G.; Pesole, G.
    Briefings in bioinformatics
    Vol. 13, num. 6, p. 682-695
    DOI: 10.1093/bib/bbs036
    Data de publicació: 2012-11
    Article en revista
  • Special Issues on Algorithmic Game Theory. Theory of computing systems

     Alvarez, C.
    Vol. 57, num. 3
    Col·laboració en revista
  • Semantics of structured normal logic programs  Accés obert

     Edelmira Pasarella; Orejas, F.; Pino, E.; Navarro, M.
    Jornadas sobre Programación y Lenguajes
    p. 159-160
    Data de presentació: 2012-09-19
    Presentació treball a congrés
    Accés al text complet
  • On the complexity of metric dimension

     Diaz, J.; Pottonen, O.; Serna, M.; van Leeuwen, E.J.
    Lecture notes in computer science
    Vol. 7501, p. 419-430
    DOI: 10.1007/978-3-642-33090-2_37
    Data de publicació: 2012-09-05
    Article en revista
  • Insuring sensitive processes through process mining

     Munoz-Gama, J.; Echizen, I.
    IEEE International Conference on Autonomic and Trusted Computing
    p. 447-454
    DOI: 10.1109/UIC-ATC.2012.83
    Data de presentació: 2012-09-04
    Presentació treball a congrés
  • Alignment based precision checking

     Adriansyah, A.; Munoz-Gama, J.; Carmona, J.; van Dongen, B.; Aalst, W. M.P.
    International Workshop on Business Process Intelligence
    p. 137-149
    DOI: 10.1007/978-3-642-36285-9_15
    Data de presentació: 2012-09-03
    Presentació treball a congrés
  • Energy-saving in wireless sensor networks considering mobile sensor nodes, single and multi events

     Yang, T.; Mino, G.; Barolli, L.; Xhafa, F.; Durresi, A.
    Computer systems science and engineering
    Vol. 27, num. 5, p. 317-326
    DOI: 10.1109/CISIS.2011.43
    Data de publicació: 2012-09
    Article en revista
  • Faster computation of the Robinson-Foulds distance between phylogenetic networks

     Asano, T.; Jansson, J.; Sadakane, K.; Uehara, R.; Valiente, G.
    Information sciences
    Vol. 197, p. 77-90
    DOI: 10.1016/j.ins.2012.01.038
    Data de publicació: 2012-08-15
    Article en revista
  • A taxonomy of organ-specific breast cancer metastases based on a protein-protein interaction network

     Sanz, R.; García, J.; Franco , S.; Messeguer, X.; Driouch, K.; Oliva, B.; Sierra, À.
    Molecular biosystems
    num. 8, p. 2085-2096
    DOI: 10.1039/c2mb25104c
    Data de publicació: 2012-08
    Article en revista
  • Local search methods for efficient router nodes placement in wireless mesh networks

     Xhafa, F.; Sánchez, C.; Barolli, L.
    Journal of intelligent manufacturing
    Vol. 23, num. 4, p. 1293-1303
    DOI: 10.1007/s10845-010-0412-5
    Data de publicació: 2012-08
    Article en revista
  • Hybrid algorithms for independent batch scheduling in grids

     Xhafa, F.; Kolodziej, J.; Barolli, L.; Kolici, V.; Miho, R.; Takizawa, M.
    International journal of web and grid services
    Vol. 8, num. 2, p. 134-152
    DOI: 10.1504/IJWGS.2012.048402
    Data de publicació: 2012-08
    Article en revista
  • Degree lower bounds of tower-type for approximating formulas with parity quantifiers

     Atserias, A.; Dawar, A.
    International Colloquium on Automata, Languages, and Programming
    p. 67-78
    DOI: 10.1007/978-3-642-31585-5_10
    Data de presentació: 2012-07
    Presentació treball a congrés
  • Semantics of structured normal logic programs

     Edelmira Pasarella; Orejas, F.; Pino, E.; Navarro, M.
    Journal of logic and algebraic programming
    Vol. 81, num. 5, p. 559-584
    DOI: 10.1016/j.jlap.2012.03.001
    Data de publicació: 2012-07
    Article en revista
  • A general framework for precision checking

     Munoz-Gama, J.; Carmona, J.
    International journal of innovative computing information and control
    Vol. 8, num. 7B, p. 5317-5339
    Data de publicació: 2012-07
    Article en revista
  • 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
  • A population-based iterated greedy algorithm for the minimum weight vertex cover problem

     Bouamama, S.; Blum, C.; Boukerram, A.
    Applied soft computing
    Vol. 12, num. 6, p. 1632-1639
    DOI: 10.1016/j.asoc.2012.02.013
    Data de publicació: 2012-06
    Article en revista
  • Distributed graph coloring: An approach based on the calling behavior of Japanese tree frogs

     Hernandez, H.; Blum, C.
    Swarm intelligence
    Vol. 6, num. 2, p. 117-150
    DOI: 10.1007/s11721-012-0067-2
    Data de publicació: 2012-06
    Article en revista
  • Variable neighbourhood search for the variable sized bin packing problem

     Hemmelmayr, V.; Schmid, V.; Blum, C.
    Computers & operations research
    Vol. 39, num. 5, p. 1097-1108
    DOI: 10.1016/j.cor.2011.07.003
    Data de publicació: 2012-05
    Article en revista
  • Functional descriptions as the bridge between hypermedia APIs and the semantic web

     Verborgh, R.; Steiner, T.; Van Deursen, D.; Coppens, S.; Gabarro, J.; Van de Walle, R.
    International Workshop on RESTful Design
    p. 33-40
    DOI: 10.1145/2307819.2307828
    Data de presentació: 2012-04-17
    Presentació treball a congrés
  • Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs

     Golas, U.; Lambers, L.; Ehrig, H.; Orejas, F.
    Theoretical computer science
    Vol. 424, p. 46-68
    DOI: 10.1016/j.tcs.2012.01.032
    Data de publicació: 2012-03-23
    Article en revista
  • Static task mapping for tiled chip multiprocessors with multiple voltage islands

     Nikitin, N.; Cortadella, J.
    International Conference on Architecture of Computing Systems
    p. 50-62
    DOI: 10.1007/978-3-642-28293-5_5
    Data de presentació: 2012-03
    Presentació treball a congrés
  • Complete voting systems with two types of voters: weightedness and counting

     Freixas, J.; Molinero, X.; Roura, S.
    Annals of operations research
    Vol. 193, num. 1, p. 273-289
    DOI: 10.1007/s10479-011-0863-x
    Data de publicació: 2012-03
    Article en revista
  • Evaluation of struggle strategy in genetic algorithms for ground stations scheduling problem

     Xhafa, F.; Herrero , X.; Barolli, A.; Barolli, L.; Takizawa, M.
    Journal of computer and system sciences
    Vol. 79, num. 7, p. 1086-1100
    DOI: 10.1016/j.jcss.2013.01.023
    Data de publicació: 2012-02-12
    Article en revista
  • On the fixation probability of superstars

     Diaz, J.; Goldberg, L.; Mertzios, G.B.; Richerby, D.; Serna, M.; Spirakis, P.G.
    Data: 2012-02-07
    Document cientificotècnic
  • E-Assessment of Individual and Group Learning Processes

     Václav, S.; Abraham, A.; Martinovic, J.; Dráždilová, P.; Slaninová, K.; Daradoumis, T.; Xhafa, F.; Martínez, A.
    Journal of computational and theoretical nanoscience
    Vol. 9, num. 2, p. 286-303
    DOI: 10.1166/jctn.2012.2023
    Data de publicació: 2012-02
    Article en revista
  • Large neighbourhood search algorithms for the founder sequence reconstruction problem

     Roli, A.; Benedettini, S.; Stützle, T.; Blum, C.
    Computers & operations research
    Vol. 39, num. 2, p. 213-224
    DOI: 10.1016/j.cor.2011.03.012
    Data de publicació: 2012-02
    Article en revista
  • Approximating fixation probabilities in the generalized Moran process

     Diaz, J.; Goldberg, L.; Mertzios, G.B.; Richerby, D.; Serna, M.; Spirakis, P.G.
    ACM-SIAM Symposium on Discrete Algorithms
    p. 954-960
    Data de presentació: 2012-01-17
    Presentació treball a congrés
  • On the average cost of insertions on random relaxed k-d trees

     Duch, A.; Martinez, C.
    Workshop on Analytic Algorithms and Combinatorics (ANALCO07)
    p. 194-200
    Data de presentació: 2012-01-06
    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
  • A high-level strategy for C-net discovery  Accés obert

     Solé, M.; Carmona, J.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • Borrowed contexts for attributed graphs  Accés obert

     Orejas, F.; Boronat, A.; Mylonakis, N.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • An SMT-based discovery algorithm for C-nets  Accés obert

     Solé, M.; Carmona, J.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • Amending C-net discovery algorithms  Accés obert

     Solé, M.; Carmona, J.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • Checking bisimilarity for attributed graph transformation  Accés obert

     Orejas, F.; Boronat, A.; Golas, U.; Mylonakis, N.
    Data: 2012
    Document cientificotècnic
    Accés al text complet