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

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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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: 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • A framework of hierarchical graphs and its application to the semantics of SRML  Accés obert

     Mylonakis, N.; Orejas, F.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • Premi Sistedes

     Orejas, F.
    Premi o reconeixement
  • 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