Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 2421
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

201 a 250 de 2421 resultats
 
  • Gestió i Anàlisi de Dades Complexes

     Gavaldà, R.; Balcazar, J. L.; Morrill, G.; Castro, J.; Delgado, J.; Sierra-Santibáñez, J.; Arias, M.; Arratia, A.; Baixeries, J.; Ferrer-i-Cancho, R.; Valentin Fernandez, J.; Hernandez Fernandez, A.; Larriba, J.; Perez-Casany, M.; Prat, A.; Guisado, J.; Martinez, X.; Duarte-López, A.
    Projecte R+D+I competitiu
  • Modelos y métodos computacionales para datos masivos estructurados

     Orejas, F.; Diaz, J.; Cortadella, J.; Serna, M.; Alvarez, C.; Pino, E.; Carmona, J.; Gabarro, J.; Xhafa, F.; Edelmira Pasarella; Petit, J.; Mylonakis, N.; Martinez, C.; Duch, A.; Godoy, G.; Roura, S.; Roca, A.; Soares-Ribeiro, J.; Pérez-Giménez, X.
    Projecte R+D+I competitiu
  • A graph-semantics of business configurations  Accés obert

     Fiadeiro, J.; Mylonakis, N.; Orejas, F.
    Data: 2014
    Document cientificotècnic
    Accés al text complet
  • Firefighting as a Game  Accés obert

     Alvarez, C.; Blesa, M.; Molter, H.
    Data: 2014
    Document cientificotècnic
    Accés al text complet
  • Consolidator Grants 2014

     Atserias, A.; Quidant, Romain
    Premi o reconeixement
  • The comparison of tree-sibling time consistent phylogenetic networks is graph isomorphism-complete

     Cardona, G.; Llabrés, M.; Rossello, F.; Valiente, G.
    The scientific world journal
    Vol. 2014, num. Article ID 254279, p. 1-6
    DOI: 10.1155/2014/254279
    Data de publicació: 2014-01-01
    Article en revista
  • A comparison study of hill climbing, simulated annealing and genetic algorithm for node placement problem in WMNs

     Sakamoto, S.; Kulla, E.; Oda, T.; Ikeda, M.; Barolli, L.; Xhafa, F.
    Journal of high speed networks
    Vol. 20, num. 1, p. 55-66
    Data de publicació: 2014
    Article en revista
  • The ordering principle in a fragment of approximate counting  Accés obert

     Atserias, A.; Thapen, N.
    ACM transactions on computational logic
    Vol. 15, num. 4, p. Article No. 29-
    DOI: 10.1145/2629555
    Data de publicació: 2014
    Article en revista
    Accés al text complet
  • Effect of different grid shapes in wireless mesh network-genetic algorithm system

     Oda, T.; Sakamoto, S.; Barolli, A.; Spaho, E.; Barolli, L.; Xhafa, F.
    International journal of web and grid services
    Vol. 10, num. 4, p. 371-395
    DOI: 10.1504/IJWGS.2014.064932
    Data de publicació: 2014-01-01
    Article en revista
  • Computational aspects of uncertainty profiles and Angel-Daemon games

     Gabarro, J.; Garcia-Holgado, A.; Serna, M.
    Theory of computing systems
    Vol. 54, num. 1, p. 83-110
    DOI: 10.1007/s00224-013-9481-0
    Data de publicació: 2014
    Article en revista
  • Psi-series method for equality of random trees and quadratic convolution recurrences

     Chern, H.; Fernández Camacho, María Inés; Hwang, H.; Martinez, C.
    Random structures and algorithms
    Vol. 44, num. 1, p. 67-108
    DOI: 10.1002/rsa.20428
    Data de publicació: 2014-01
    Article en revista
  • AdaptiveCave: A new high-resolution, multi-projector VR system

     Andujar, C.; Brunet, P.; Diaz, J.; Vico, M.; Vinacua, A.
    Spanish Computer Graphics Conference
    p. 11-
    Data de presentació: 2014
    Presentació treball a congrés
  • Better feedback for educational online judges  Accés obert

     Mani, A.; Venkataramani, D.; Petit, J.; Roura, S.
    International Conference on Computer Supported Education
    p. 176-183
    DOI: 10.5220/0004842801760183
    Presentació treball a congrés
    Accés al text complet
  • Quad-K-d trees

     Bereczky, N.; Duch, A.; Németh, K.; Roura, S.
    Data de publicació: 2014
    Capítol de llibre
    Imatge
  • Event-based real-time decomposed conformance analysis  Accés obert

     vanden Broucke, S.K.L.M.; Munoz-Gama, J.; Carmona, J.; Baesens, B.; Vanthienen, J.
    Data: 2013-12-13
    Document cientificotècnic
    Accés al text complet
  • Absorption time of the Moran process

     Diaz, J.; Goldberg, L.; Richerby, D.; Serna, M.
    Data: 2013-12-02
    Document cientificotècnic
  • Emptiness and finiteness for tree automata with global reflexive disequality constraints

     Creus, C.; Gascon, A.; Godoy, G.
    Journal of automated reasoning
    Vol. 51, num. 4, p. 371-400
    DOI: 10.1007/s10817-012-9270-5
    Data de publicació: 2013-12-01
    Article en revista
  • A fuzzy-based reliability system for knowledge sharing between robots in P2P JXTA-overlay platform

     Spaho, E.; Umezaki, K.; Barolli, L.; Xhafa, F.; Younas, M.
    Cluster computing
    Vol. 16, num. 4, p. 933-945
    DOI: 10.1007/s10586-012-0230-y
    Data de publicació: 2013-12
    Article en revista
  • Distributed-based massive processing of activity logs for efficient user modeling in a Virtual Campus

     Caballé , Santi; Xhafa, F.
    Cluster computing
    Vol. 16, num. 4, p. 829-844
    DOI: 10.1007/s10586-013-0256-9
    Data de publicació: 2013-12
    Article en revista
  • Area-optimal transistor folding for 1-D gridded cell design  Accés obert

     Cortadella, J.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 32, num. 11, p. 1708-1721
    DOI: 10.1109/TCAD.2013.2269680
    Data de publicació: 2013-11
    Article en revista
    Accés al text complet
  • Reasoning about orchestrations of web services using partial correctness

     Stewart, A.; Gabarro, J.; Keenan, A.
    Formal aspects of computing
    Vol. 25, num. 6, p. 833-846
    DOI: 10.1007/s00165-011-0212-5
    Data de publicació: 2013-11-01
    Article en revista
  • Non-linear rewrite closure and weak normalization

     Creus, C.; Godoy, G.; Massanes, F.; Tiwari, A.K.
    Journal of automated reasoning
    Vol. 51, num. 3, p. 281-324
    DOI: 10.1007/s10817-012-9262-5
    Data de publicació: 2013-10
    Article en revista
  • Experimental results from a MANET testbed in outdoor bridge environment considering BATMAN routing protocol

     Kulla, E.; Ikeda, M.; Oda, T.; Barolli, L.; Xhafa, F.; Biberaj, A.
    Computing
    Vol. 95, num. 10-11, p. 1073-1086
    DOI: 10.1007/s00607-012-0225-9
    Data de publicació: 2013-10
    Article en revista
  • Application of SmartBox end-device for medical care using JXTA-Overlay P2P system

     Barolli, L.; Spaho, E.; Xhafa, F.; Younas, M.
    Computing
    Vol. 95, num. 10-11, p. 1039-1051
    DOI: 10.1007/s00607-012-0233-9
    Data de publicació: 2013-10
    Article en revista
  • Beam-ACO for the repetition-free longest common subsequence problem

     Blum, C.; Blesa, M.; Calvo, B.
    Biennal International Conference on Artificial Evolution
    p. 187-198
    Data de presentació: 2013-10
    Presentació treball a congrés
  • On the stability of generalized second price auctions with budgets

     Diaz, J.; Giotis, I.; Kirousis, L.; Markakis, E.; Serna, M.
    Data: 2013-09-26
    Document cientificotècnic
  • Membre de l'Academia Europaea

     Cortadella, J.
    Premi o reconeixement
  • Complexity of Computation and Reasoning Group

     Tzameret, I.; Atserias, A.
    Projecte R+D+I competitiu
  • Utilizing artificial neural networks and genetic algorithms to build an algo-trading model for intra-day foreign exchange speculation

     Evant, C.; Pappas, K.; Xhafa, F.
    Mathematical and computer modelling
    Vol. 58, num. 5-6, p. 1249-1266
    DOI: 10.1016/j.mcm.2013.02.002
    Data de publicació: 2013-09
    Article en revista
  • Distinció Jaume Vicens Vives a la Qualitat Docent Universitària

     Messeguer, X.; Aguado, F.; Verdu, AMC.; Mas, M.T.; López, D.; Carazo, N.
    Premi o reconeixement
  • The HOM problem is decidable

     Godoy, G.; Giménez, O.
    Journal of the ACM
    Vol. 60, num. 4, p. Article 23-
    DOI: 10.1145/2501600
    Data de publicació: 2013-07-18
    Article en revista
  • Centrality measures based on power indices for social networks

     Molinero, X.; Riquelme, F.; Serna, M.
    European Conference on Operational Research
    p. 413
    Data de presentació: 2013-07-04
    Presentació treball a congrés
  • WMN-GA system for node placement in WMNs: effect of grid shape

     Oda, T.; Spaho, E.; Barolli, A.; Barolli, L.; Xhafa, F.; Takizawa, M.
    International Conference on Information Technology Convergence and Services and International Conference on Intelligent Robotics, Automations, Telecommunication Facilities, and Applications
    p. 47-56
    DOI: 10.1007/978-94-007-6996-0_6
    Data de presentació: 2013-07
    Presentació treball a congrés
  • WMN-GA system for node placement in WMNs: performance evaluation for weibull distribution of mesh clients

     Barolli, A.; Oda, T.; Xhafa, F.; Barolli, L.; Papajorgji , P.; Takizawa, M.
    IEEE International Conference on Advanced Information Networking and Applications Workshops
    p. 223-231
    DOI: 10.1007/978-94-007-6996-0_24
    Data de presentació: 2013-07
    Presentació treball a congrés
  • The proof-search problem between bounded-width resolution and bounded-degree semi-algebraic proofs

     Atserias, A.
    International Conference on Theory and Applications of Satisfiability Testing
    p. 1-17
    DOI: 10.1007/978-3-642-39071-5_1
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Performance evaluation of OLSR protocol in a grid manhattan VANET scenario for different applications

     Spaho, E.; Ikeda, M.; Barolli, L.; Xhafa, F.; Kolici, V.; Takizawa, M.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 47-52
    DOI: 10.1109/CISIS.2013.18
    Data de presentació: 2013-07
    Presentació treball a congrés
  • A fuzzy-based system to evaluate the peer reliability in JXTA-Overlay P2P

     Umezaki, K.; Spaho, E.; Barolli, L.; Xhafa, F.; Barolli, V.; Iwashige, J.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 111-116
    DOI: 10.1109/CISIS.2013.26
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Performance evaluation of WMNs using hill climbing algorithm considering giant component and different distributions

     Chang, X.; Oda, T.; Spaho, E.; Ikeda, M.; Barolli, L.; Xhafa, F.
    International Conference on Information Technology Convergence and Services and International Conference on Intelligent Robotics, Automations, Telecommunication Facilities, and Applications
    p. 161-167
    DOI: 10.1007/978-94-007-6996-0_17
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Data as a Service (DaaS) for sharing and processing of large data collections in the cloud

     Terzo, O.; Ruiu, P.; Bucci, E.; Xhafa, F.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 475-480
    DOI: 10.1109/CISIS.2013.87
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Performance evaluation of WMN-GA system for node placement in WMNs considering exponential and Weibull Distribution of mesh clients and different selection and mutation operators

     Barolli, A.; Oda, T.; Barolli, L.; Xhafa, F.; Takizawa, M.; Papajorgji , P.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 169-175
    DOI: 10.1109/CISIS.2013.35
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Effect of AODV HELLO packets for different mobility degrees

     Kulla, E.; Hiyama, M.; Ikeda, M.; Barolli, L.; Xhafa, F.; Takizawa, M.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 21-26
    DOI: 10.1109/CISIS.2013.14
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Using STK toolkit for evaluating a GA base algorithm for ground station scheduling

     Xhafa, F.; Herrero , X.; Barolli, A.; Takizawa, M.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 265-273
    DOI: 10.1109/CISIS.2013.50
    Data de presentació: 2013-07
    Presentació treball a congrés
  • A hill climbing algorithm for ground station scheduling

     Xhafa, F.; Herrero, J.; Barolli, A.; Takizawa, M.
    International Conference on Information Technology Convergence and Services and International Conference on Intelligent Robotics, Automations, Telecommunication Facilities, and Applications
    p. 131-139
    DOI: 10.1007/978-94-007-6996-0-14
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Performance comparison of OLSR and AODV protocols in a VANET crossroad scenario

     Spaho, E.; Ikeda, M.; Barolli, L.; Xhafa, F.
    International Conference on Information Technology Convergence and Services and International Conference on Intelligent Robotics, Automations, Telecommunication Facilities, and Applications
    p. 37-45
    DOI: 10.1007/978-94-007-6996-0_5
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Robot control architectures: a survey

     Spaho, E.; Matsuo, K.; Barolli, L.; Xhafa, F.
    International Conference on Information Technology Convergence and Services and International Conference on Intelligent Robotics, Automations, Telecommunication Facilities, and Applications
    p. 863-871
    DOI: 10.1007/978-94-007-6996-0_90
    Data de presentació: 2013-07
    Presentació treball a congrés
  • An IoT-based framework for supporting children with autism spectrum disorder

     Sula, A.; Spaho, E.; Matsuo, K.; Barolli, L.; Xhafa, F.; Miho, R.
    International Conference on Information Technology Convergence and Services and International Conference on Intelligent Robotics, Automations, Telecommunication Facilities, and Applications
    p. 193-202
    DOI: 10.1007/978-94-007-6996-0_21
    Data de presentació: 2013-07
    Presentació treball a congrés
  • A fuzzy-based system for evaluation of trustworthiness for P2P communication in JXTA-overlay

     Umezaki, K.; Spaho, E.; Matsuo, K.; Barolli, L.; Xhafa, F.; Iwashige, J.
    International Conference on Information Technology Convergence and Services and International Conference on Intelligent Robotics, Automations, Telecommunication Facilities, and Applications
    p. 451-460
    DOI: 10.1007/978-94-007-6996-0_47
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Performance analysis of WMNs using simulated annealing algorithm for different temperature values

     Sakamoto, S.; Oda, T.; Kulla, E.; Ikeda, M.; Barolli, L.; Xhafa, F.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 164-168
    DOI: 10.1109/CISIS.2013.34
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Power indices of influence games and new centrality measures for social networks

     Molinero, X.; Riquelme, F.; Serna, M.
    Data: 2013-06-28
    Document cientificotècnic