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

151 a 200 de 2421 resultats
 
  • An agent-based model studying the acquisition of a language system of logical constructions  Accés obert

     Sierra-Santibáñez, J.
    AAAI Conference on Artificial Intelligence
    p. 350-357
    Data de presentació: 2014-07-29
    Presentació treball a congrés
    Accés al text complet
  • Correctness of incremental model synchronization with triple graph grammars  Accés obert

     Orejas, F.; Pino, E.
    International Conference on Model Transformation
    p. 74-90
    DOI: 10.1007/978-3-319-08789-4_6
    Data de presentació: 2014-07-21
    Presentació treball a congrés
    Accés al text complet
  • Solution concepts in influence games

     Riquelme, F.; Molinero, X.; Serna, M.
    Conference of the International Federation of Operational Research Societies
    p. 158
    Data de presentació: 2014-07-17
    Presentació treball a congrés
  • Automatic evaluation of context-free grammars (system description)

     Creus, C.; Godoy, G.
    International Conference on Rewriting Techniques and Applications
    p. 139-148
    DOI: 10.1007/978-3-319-08918-8-10
    Data de presentació: 2014-07-14
    Presentació treball a congrés
  • Tree automata with height constraints between brothers

     Creus, C.; Godoy, G.
    International Conference on Rewriting Techniques and Applications
    p. 149-163
    DOI: 10.1007/978-3-319-08918-8-11
    Data de presentació: 2014-07-14
    Presentació treball a congrés
  • Automatic evaluation of reductions between NP-complete problems

     Creus, C.; Fernandez, P.; Godoy, G.
    International Conference on Theory and Applications of Satisfiability Testing
    p. 415-421
    DOI: 10.1007/978-3-319-09284-3_30
    Data de presentació: 2014-07-14
    Presentació treball a congrés
  • An operational framework to reason about policy behavior in trust management systems

     Edelmira Pasarella; Lobo, J.
    CEUR Workshop proceedings
    Vol. 1189
    Data de publicació: 2014-07-05
    Article en revista
  • A fuzzy-based reliability system for P2P communication considering local score, number of authentic files, and number of interactions parameters

     Liu, Y.; Spaho, E.; Ikeda, M.; Xhafa, F.; Caballé , Santi; Barolli, L.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 205-210
    DOI: 10.1109/CISIS.2014.29
    Data de presentació: 2014-07-02
    Presentació treball a congrés
  • Implementation of a medical support system considering P2P and IoT technologies

     Kolici, V.; Spaho, E.; Matsuo, K.; Caballé , Santi; Barolli, L.; Xhafa, F.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 101-106
    DOI: 10.1109/CISIS.2014.15
    Data de presentació: 2014-07-02
    Presentació treball a congrés
  • Context-as-a-service: A service model for cloud-based systems

     Moore, P.; Xhafa, F.; Barolli, L.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 379-385
    DOI: 10.1109/CISIS.2014.53
    Data de presentació: 2014-07-02
    Presentació treball a congrés
  • Intelligent services for Big data science

     Dobre, C.; Xhafa, F.
    Future generation computer systems
    Vol. 37, p. 267-281
    DOI: 10.1016/j.future.2013.07.014
    Data de publicació: 2014-07-01
    Article en revista
  • Tableau-based reasoning for graph properties

     Lambers, L.; Orejas, F.
    International Conference on Graph Transformations
    p. 17-32
    DOI: 10.1007/978-3-319-09108-2_2
    Data de presentació: 2014-07
    Presentació treball a congrés
  • Performance evaluation of WMN-HC system for different number of mesh clients and mesh routers

     Spaho, E.; Chang, X.; Oda, T.; Ikeda, M.; Barolli, L.; Xhafa, F.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 9-15
    DOI: 10.1109/CISIS.2014.2
    Data de presentació: 2014-07
    Presentació treball a congrés
  • A methodological approach to provide effective web-based training by using collaborative learning and social networks

     Caballé , Santi; Britch, D.; Barolli, L.; Xhafa, F.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 64-71
    DOI: 10.1109/CISIS.2014.10
    Data de presentació: 2014-07
    Presentació treball a congrés
  • Simulation, modeling, and performance evaluation tools for cloud applications

     Goga, K.; Terzo, O.; Ruiu, P.; Xhafa, F.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 226-232
    DOI: 10.1109/CISIS.2014.32
    Data de presentació: 2014-07
    Presentació treball a congrés
  • Evaluation of effects of grid shape in WMN-SA system for solution of node placement problem in WMNs

     Sakamoto, S.; Oda, T.; Kulla, E.; Xhafa, F.; Ikeda, M.; Barolli, L.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 113-119
    DOI: 10.1109/CISIS.2014.19
    Data de presentació: 2014-07
    Presentació treball a congrés
  • WMN-GA for node placement in WMN: evaluation and visualization using HotSpot Ad-Hoc method

     Barolli, A.; Oda, T.; Spaho, E.; Barolli, L.; Xhafa, F.; Takizawa, M.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 23-29
    DOI: 10.1109/CISIS.2014.4
    Data de presentació: 2014-07
    Presentació treball a congrés
  • Towards an emotion labeling model to detect emotions in educational discourse

     Arguedas, M.; Daradoumis, A.; Xhafa, F.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 72-78
    DOI: 10.1109/CISIS.2014.11
    Data de presentació: 2014-07
    Presentació treball a congrés
  • Worker ranking determination in crowdsourcing platforms using aggregation functions  Accés obert

     Sanchez, D.; Nin, J.; Solé, M.; Muntés, V.
    IEEE International Conference on Fuzzy Systems
    p. 1801-1808
    DOI: 10.1109/FUZZ-IEEE.2014.6891807
    Data de presentació: 2014-07
    Presentació treball a congrés
    Accés al text complet
  • On the average performance of fixed partial match queries in random relaxed K-d trees

     Duch, A.; Lau, G.; Martinez, C.
    International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms
    p. 103-114
    Data de presentació: 2014-06-20
    Presentació treball a congrés
  • Narrow proofs may be maximally long  Accés obert

     Atserias, A.; Lauria, M.; Nordström, J.
    IEEE Conference on Computational Complexity
    p. 286-297
    DOI: 10.1109/CCC.2014.36
    Data de presentació: 2014-06-11
    Presentació treball a congrés
    Accés al text complet
  • An operational framework to reason about policy behavior in trust management systems  Accés obert

     Edelmira Pasarella; Lobo, J.
    Alberto Mendelzon Workshop on Foundations of Data Management
    Data de presentació: 2014-06-05
    Presentació treball a congrés
    Accés al text complet
  • Power indices of influence games and new centrality measures for agent societies and social networks  Accés obert

     Molinero, X.; Riquelme, F.; Serna, M.
    Advances in Intelligent Systems and Computing
    Vol. 291, p. 23-30
    DOI: 10.1007/978-3-319-07596-9_3
    Data de publicació: 2014-06
    Article en revista
    Accés al text complet
  • Analysis of the strategy "Hiring Above the m-th Best Candidate"

     Helmi, A.; Martinez, C.; Panholzer, A.
    Algorithmica
    Vol. 70, num. 2, p. 267-300
    DOI: 10.1007/s00453-014-9895-3
    Data de publicació: 2014-06
    Article en revista
  • Variants of unification considering compression and context variables  Accés obert

     Gascon, A.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Enriching Unstructured Media Content About Events to Enable Semi-Automated Summaries, Compilations, and Improved Search by Leveraging Social Networks  Accés obert

    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Approximating fixation probabilities in the generalized Moran process

     Diaz, J.; Goldberg, L.; Mertzios, G.B.; Richerby, D.; Serna, M.; Spirakis, P.G.
    Algorithmica
    Vol. 69, num. 1, p. 78-91
    DOI: 10.1007/s00453-012-9722-7
    Data de publicació: 2014-05-01
    Article en revista
  • Security in online learning assessment towards an effective trustworthiness approach to support e-learning teams  Accés obert

     Miguel, J.; Caballé , Santi; Xhafa, F.; Prieto, J.
    IEEE International Conference on Advanced Information Networking and Applications
    p. 123-130
    DOI: 10.1109/AINA.2014.106
    Data de presentació: 2014-05
    Presentació treball a congrés
    Accés al text complet
  • Secure deduplication storage systems with keyword search

     Li, J.; Chen, X.; Xhafa, F.; Barolli, L.
    IEEE International Conference on Advanced Information Networking and Applications
    p. 971-977
    DOI: 10.1109/AINA.2014.118
    Data de presentació: 2014-05
    Presentació treball a congrés
  • A Tabu Search algorithm for ground station scheduling problem  Accés obert

     Xhafa, F.; Herrero , X.; Barolli, A.; Takizawa, M.
    IEEE International Conference on Advanced Information Networking and Applications
    p. 1033-1040
    DOI: 10.1109/AINA.2014.151
    Data de presentació: 2014-05
    Presentació treball a congrés
    Accés al text complet
  • Node placement in WMNs using WMN-HC system and different movement methods

     Chang, X.; Oda, T.; Spaho, E.; Ikeda, M.; Barolli, L.; Xhafa, F.
    IEEE International Conference on Advanced Information Networking and Applications
    p. 1148-1153
    DOI: 10.1109/AINA.2014.159
    Data de presentació: 2014-05
    Presentació treball a congrés
  • Metastability in better-than-worst-case designs  Accés obert

     Beer, S.; Cannizzaro, M.; Cortadella, J.; Ginosar, R.; Lavagno, L.
    IEEE International Symposium on Asynchronous Circuits and Systems
    p. 101-102
    DOI: 10.1109/ASYNC.2014.21
    Data de presentació: 2014-05
    Presentació treball a congrés
    Accés al text complet
  • Analysis of mesh router placement in wireless mesh networks using Friedman test  Accés obert

     Oda, T.; Barolli, A.; Spaho, E.; Barolli, L.; Xhafa, F.
    IEEE International Conference on Advanced Information Networking and Applications
    p. 289-296
    DOI: 10.1109/AINA.2014.152
    Data de presentació: 2014-05
    Presentació treball a congrés
    Accés al text complet
  • WMN-SA system for node placement in WMNs: evaluation for different realistic distributions of mesh clients

     Sakamoto, S.; Oda, T.; Bravo, A.; Barolli, L.; Ikeda, M.; Xhafa, F.
    IEEE International Conference on Advanced Information Networking and Applications
    p. 282-288
    DOI: 10.1109/AINA.2014.155
    Data de presentació: 2014-05
    Presentació treball a congrés
  • Adaptive Clocking Configurations and Calibration Methods Thereof

     Cortadella, J.
    Data de sol·licitud: 2014-04-25
    Patent d'invenció
  • A methodology for assessing the predictable behaviour of mobile users in wireless networks

     Marin, R.; Dobre, C.; Xhafa, F.
    Concurrency and computation: practice and experience
    Vol. 26, num. 5, p. 1215-1230
    DOI: 10.1002/cpe.3064
    Data de publicació: 2014-04-10
    Article en revista
  • On the stability of generalized second price auctions with budgets  Accés obert

     Diaz, J.; Giotis, I.; Kirousis, L.; Markakis, E.; Serna, M.
    Latin American Symposium on Theoretical Informatics
    p. 695-706
    DOI: 10.1007/978-3-642-54423-1_60
    Data de presentació: 2014-04-02
    Presentació treball a congrés
    Accés al text complet
  • The life cycle of a cutting-edge technology course: A Coaching experience on Android

     Blesa, M.; Duch, A.; Gabarro, J.; Serna, M.
    International Conference on Computer Supported Education
    p. 159-166
    DOI: 10.5220/0004841301590166
    Data de presentació: 2014-04
    Presentació treball a congrés
  • Process-oriented analysis for medical devices  Accés obert

     Sfyrla, V.; Carmona, J.; Henck, P.
    Medical Cyber Physical Systems Workshop: Medical Device Interoperability, Safety, and Security Assurance
    p. 143-146
    DOI: 10.4230/OASIcs.MCPS.2014.143
    Data de presentació: 2014-04
    Presentació treball a congrés
    Accés al text complet
  • A boolean rule-based approach for manufacturability-aware cell routing  Accés obert

     Cortadella, J.; Petit, J.; Gomez, S.; Moll, F.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 33, num. 3, p. 409-422
    DOI: 10.1109/TCAD.2013.2292514
    Data de publicació: 2014-03-01
    Article en revista
    Accés al text complet
  • Excessively duplicating patterns represent non-regular languages

     Creus, C.; Godoy, G.; Ramos, L.
    Information processing letters
    Vol. 114, num. 3, p. 85-93
    DOI: 10.1016/j.ipl.2013.11.010
    Data de publicació: 2014-03-01
    Article en revista
  • Hardware primitives for the synthesis of multithreaded elastic systems  Accés obert

     Dimitrakopoulos, G.; Seitanidis, I.; Psarras, A.; Tsiouris, K.; Mattheakis, P.; Cortadella, J.
    Design, Automation and Test in Europe Conference and Exhibition
    p. 1-4
    DOI: 10.7873/DATE2014.314
    Data de presentació: 2014-03
    Presentació treball a congrés
    Accés al text complet
  • Incremental model synchronization with triple graph grammars

     Orejas, F.; Pino, E.
    Workshop on Graph-based Technologies and Applications
    Data de presentació: 2014-02-21
    Presentació treball a congrés
  • Detecció de frau a plataformes de/'CrowdSourcing/'

     Nin, J.; Larriba, J.; Carmona, J.
    Projecte R+D+I competitiu
  • Degree lower bounds of tower-type for approximating formulas with parity quantifiers  Accés obert

     Atserias, A.; Dawar, A.
    ACM transactions on computational logic
    Vol. 15, num. 1, p. Article No. 6-
    DOI: 10.1145/2559948
    Data de publicació: 2014-02-01
    Article en revista
    Accés al text complet
  • Effects of population size for location-aware node placement in WMNs: evaluation by a genetic algorithm--based approach

     Oda, T.; Barolli, A.; Spaho, E.; Barolli, L.; Xhafa, F.; Younas, M.
    Personal and ubiquitous computing
    Vol. 18, num. 2, p. 261-269
    DOI: 10.1007/s00779-013-0643-5
    Data de publicació: 2014-02
    Article en revista
  • A multi-agent experiment on the acquisition of a language system of logical constructions  Accés obert

     Sierra-Santibáñez, J.
    Sintelnet WG5 Workshop on Crowd Intelligence: Foundations, Methods, and Practices
    p. 63-75
    Data de presentació: 2014-01-08
    Presentació treball a congrés
    Accés al text complet
  • Teoría y aplicaciones en satisfactibilidad y optimización de restricciones

     Atserias, A.; Bonet, M.; Esteban, J. L.; Buss, S.; Nordström, J.
    Projecte R+D+I competitiu
  • Una aproximación declarativa al modelado, análisis y resolución de problemas

     Rubio, A.; Rollon, E.; Larrosa, J.; Nieuwenhuis, R.; Messeguer, X.; Nivela, M.; Rivero, J.; Borralleras, C.; Rodriguez, E.; Oliveras, A.; Larraz, D.
    Projecte R+D+I competitiu
  • Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals ALBCOM

     Diaz, J.; Cortadella, J.; Orejas, F.; Martinez, C.; Serna, M.; Alvarez, C.; Gabarro, J.; Atserias, A.; Messeguer, X.; Petit, J.; Pino, E.; Roura, S.; Valiente, G.; Carmona, J.; Godoy, G.; Duch, A.; Blesa, M.; Molter, H.; San Pedro, J. de; Munoz-Gama, J.; Roca, A.; Lauria, M.; Ochremiak, J.R.
    Projecte R+D+I competitiu