DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >
Informàtica >
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals >


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

Ponències/Comunicacions de congressos : [69]

Cerca a aquesta col·lecció:


 




Llista per 
Subscriviu-vos per rebre un correu electrònic cada vegada que s'introdueixi un nou ítem en aquesta col·lecció.
Vista preliminarDataTítolAutor(s)
Pasarella.pdf.jpg2014An operational framework to reason about policy behavior in trust management systemsPasarella Sánchez, Ana Edelmira; Lobo, Jorge
AtseriasLauriaNordstrom.pdf.jpg2014Narrow proofs may be maximally longAtserias Peri, Albert; Lauria, Massimo; Nordström, Jakob
2014Correctness of incremental model synchronization with triple graph grammarsOrejas Valdés, Fernando; Pino Blanco, Elvira
Carmona.pdf.jpg2014Process-oriented analysis for medical devicesSfyrla, Vassiliki; Carmona Vargas, Josep; Henck, Pascal
2014On the average performance of fixed partial match queries in random relaxed K-d treesDuch Brown, Amalia; Lau Laynes-Lozada, Gustavo Salvador; Martínez Parra, Conrado
2014Automatic evaluation of reductions between NP-complete problemsCreus López, Carles; Fernández Durán, Pau; Godoy Balil, Guillem
2014Automatic evaluation of context-free grammars (system description)Creus López, Carles; Godoy Balil, Guillem
2014Tree automata with height constraints between brothersCreus López, Carles; Godoy Balil, Guillem
Cortadella.pdf.jpg2014Metastability in better-than-worst-case designsBeer, Salomon; Cannizzaro, Marco; Cortadella Fortuny, Jordi; Ginosar, Ran; Lavagno, Luciano
Cortadella.pdf.jpg2014Hardware primitives for the synthesis of multithreaded elastic systemsDimitrakopoulos, George N.; Seitanidis, I.; Psarras, A.; Tsiouris, K.; Mattheakis, Pavlos M.; Cortadella Fortuny, Jordi
Atserias.pdf.jpg2013Bounded-width QBF is PSPACE-completeAtserias Peri, Albert; Oliva Valls, Sergi
2013Beam-ACO for the repetition-free longest common subsequence problemBlum, Christian; Blesa Aguilera, Maria Josep; Calvo, Borja
Atserias.pdf.jpg2013Lower bounds for DNF-refutations of a relativized weak pigeonhole principleAtserias Peri, Albert; Müller, Moritz; Oliva Valls, Sergi
143.pdf.jpg2013Recolzament als nous estudiants del grau d’Enginyeria de sistemes TIC en l’EPSEM –UPC: la mentoriaGorchs Altarriba, Roser; Molinero Albareda, Xavier
2013A fuzzy-based trustworthiness system for P2P communications in JXTA-overlay considering positive and negative effectsUmezaki, Kouhei; Spaho, Evjola; Barolli, Leonard; Ikeda, Makoto; Xhafa Xhafa, Fatos; Takizawa, Makoto
2013Hierarchical conformance checking of process models based on event logsMuñoz Gama, Jorge; Carmona Vargas, Josep; Aalst, Wil M.P. van der
CTW2013_XMolinero.pdf.jpg2013Star-shaped mediation in influence gamesMolinero Albareda, Xavier; Riquelme Csori, Fabián; Serna Iglesias, María José
Cortadella.pdf.jpg2013Physical-aware system-level design for tiled hierarchical chip multiprocessorsCortadella Fortuny, Jordi; San Pedro Martín, Javier de; Nikitin, Nikita; Petit Silvestre, Jordi
2013Physical planning for the architectural exploration of large-scale chip multiprocessorsSan Pedro Martín, Javier de; Nikitin, Nikita; Cortadella Fortuny, Jordi; Petit Silvestre, Jordi
06245575.pdf.jpg2012Multimedia transmissions over a MANET testbed: problems and issuesKulla, E.; Ikeda, Makoto; Oda, Tetsuya; Barolli, Leonard; Xhafa Xhafa, Fatos; Takizawa, Makoto
2012Static task mapping for tiled chip multiprocessors with multiple voltage islandsNikitin, Nikita; Cortadella Fortuny, Jordi
2012Performance evaluation of WSNs for different MAC protocols considering TwoRayGround radio model and AODV Routing ProtocolYang, Tao; Oda, Tetsuya; Barolli, Leonard; Xhafa Xhafa, Fatos; Durresi, Arjan; Takizawa, Makoto
2012Alignment based precision checkingAdriansyah, Arya; Muñoz Gama, Jorge; Carmona Vargas, Josep; van Dongen, Boudewijn; Aalst, Wil van der
2012Alignment based precision checkingAdriansyah, Arya; Muñoz Gama, Jorge; Carmona Vargas, Josep; van Dongen, Boudewijn; Aalst, Wil van der
2012Using data replication for improving QoS in MANETSKulla, E.; Spaho, Evjola; Xhafa Xhafa, Fatos; Barolli, Leonard; Takizawa, Makoto
2012A fuzzy-based data replication system for QoS improvement in MANETsBarolli, Leonard; Spaho, Evjola; Ikeda, Makoto; Kulla, E.; Xhafa Xhafa, Fatos; Youna, Muhammad
2012Genetic algorithms for node placement in WMNs: effect of changes in population size and number of generationsOda, Tetsuya; Barolli, A.; Spaho, Evjola; Barolli, Leonard; Xhafa Xhafa, Fatos; Iwashige, J.
2012Impact of population size and number of generations on the performance of dense WMNsBarolli, A.; Oda, Tetsuya; Spaho, Evjola; Barolli, Leonard; Xhafa Xhafa, Fatos; Takizawa, Makoto
2012An integrated fuzzy-based trustworthiness system for P2P communications in JXTA-overlayUmezaki, K.; Spaho, Evjola; Barolli, Leonard; Xhafa Xhafa, Fatos; Younas, Muhammad; Iwashige, J.
2012Performance of OLSR and DSDV protocols in a VANET scenario: evaluation using CAVENET and NS3Spaho, Evjola; Ikeda, Makoto; Barolli, Leonard; Xhafa Xhafa, Fatos; Younas, Muhammad; Takizawa, Makoto
2012The HOM problem is EXPTIME-completeCreus López, Carles; Gascón Caro, Adrià; Godoy Balil, Guillem; Ramos, Lander
2012Performance evaluation of WMN-GA system for dense networks considering different distributionsBarolli, Admir; Oda, Tetsuya; Barolli, Leonard; Xhafa Xhafa, Fatos; Takizawa, Makoto; Uchida, K.
2012A fuzzy-based cluster-head selection system for WSNs: a comparison study for static and mobile sensorsBarolli, Leonard; Wang, Qi; Kulla, E.; Xhafa Xhafa, Fatos; Kamo, B.; Takizawa, Makoto
2012Mission operations scheduling: complexity and resolution methodsXhafa Xhafa, Fatos; Sun, Junzi; Barolli, Admir; Takizawa, Makoto
2012Tuning of operators in memetic algorithms for independent batch scheduling in computational gridsXhafa Xhafa, Fatos; Duran, B.; Barolli, Leonard; Kolici, Vladi; Miho, Rozeta; Takizawa, Makoto
2012A comparison study between two fuzzy-based trustworthiness systems for P2P networksUmezaki, K.; Spaho, Evjola; Barolli, Leonard; Xhafa Xhafa, Fatos; Matsuo, Keita; Iwashige, J.
2012Data replication and synchronization in P2P collaborative systemsXhafa Xhafa, Fatos
2012Performance evaluation of WMN-GA system for low densities of clients and different settings of population sizeOda, Tetsuya; Barolli, Admir; Spaho, Evjola; Barolli, Leonard; Xhafa Xhafa, Fatos; Takizawa, Makoto
2012Performance analysis of DSR and DYMO routing protocols for VANETsSpaho, Evjola; Ikeda, Makoto; Barolli, Leonard; Xhafa Xhafa, Fatos; Kolici, Vladi; Takizawa, Makoto
2012Cloud virtual machine scheduling: modelling the cloud virtual machine instantiationSotiriadis, S.; Bessis, N.; Xhafa Xhafa, Fatos; Antonopoulos, Nicos
Pasarella.pdf.jpg2012Semantics of structured normal logic programsPasarella Sánchez, Ana Edelmira; Orejas Valdés, Fernando; Pino Blanco, Elvira; Navarro, Marisa
2012Conformance checking in the large: partitioning and topologyMuñoz Gama, Jorge; Carmona Vargas, Josep; Van der Aalst, Wil M. P.
2011Distributed graph coloring in wireless ad hoc networks: a light-weight algorithm based on Japanese tree frogs' calling behaviourHernández Pibernat, Hugo; Blum, Christian
DCIS2011_Perez_published.pdf.jpg2011Measuring the tolerance of self-adaptive clocks to supply voltage noisePérez Puigdemont, Jordi; Moll Echeto, Francisco de Borja; Cortadella Fortuny, Jordi
Camera-ready Paper.pdf.jpg2011Adding meaning to Facebook microposts via a mash-up API and tracking its data provenanceSteiner, Thomas; Verborgh, Ruben; Gabarró Vallès, Joaquim; Van de Walle, Rik
PID2022215.pdf.jpg2011Efficient runtime service discovery and consumption with hyperlinked RESTdescVerborgh, Ruben; Steiner, Thomas; Van Deursen, Davy; Van de Walle, Rik; Gabarró Vallès, Joaquim
tgc2011-alvarez-etal.pdf.jpg2011On the existence of Nash equilibria in strategic search gamesÁlvarez Faura, M. del Carme; Duch Brown, Amalia; Serna Iglesias, María José; Thilikos Touloupas, Dimitrios
2011Learning theory through videos: a teaching experience in a theoretical course based on self-learning videos and problem-solving sessionsArias Vicente, Marta; Creus López, Carles; Gascón Caro, Adrià; Godoy Balil, Guillem
Crowdsourcing.pdf.jpg2011Crowdsourcing event detection in YouTube videos 58-67Steiner, Thomas; Verborgh, Ruben; Van de Walle, Rik; Hausenblas, Michael; Gabarró Vallès, Joaquim
XmolineroXIX_CUIEET.pdf.jpg2011Como mejorar el aprendizaje de los grados en ingeniería desde la perspectiva de los estudiantesNavarro Antúnez, Ramón; Molinero Albareda, Xavier
Contribución252_ universia 2011 uv enviada.pdf.jpg2011La tutoria: opcional o obligada?Gorchs Altarriba, Roser; Giralt Mas, Ma. Rosa; Molinero Albareda, Xavier
2010A protocol for self-synchronized duty-cycling in sensor networks: Generic implementation in WiselibHernández Pibernat, Hugo; Baumgartner, Tobias; Blesa Aguilera, Maria Josep; Blum, Christian; Kröller, Alexander; Fekete, Sandor P.
2010Ant colony optimization for broadcasting in sensor networks under a realistic antenna modelHernández Pibernat, Hugo; Blum, Christian
Final-GKSS-tgc.pdf.jpg2010Stressed web environments as strategic games: risk profiles and WeltanschauungGabarró Vallès, Joaquim; Kilpatrick, Peter; Serna Iglesias, María José; Stewart, Alan
2010A brief survey on hybrid metaheuristicsBlum, Christian; Puchinger, Jakob; Raidl, Günther; Roli, Andrea
05585928.pdf.jpg2010Beam-ACO for the longest common subsequence problemBlum, Christian
2009Self-synchronized duty-cycling in sensor networks with energy harvesting capabilities: the static network caseHernández Pibernat, Hugo; Blum, Christian
2009Un estudio aplicado al problema del viajante del comercio con ventanas de tiempoLópez Ibáñez, Manuel; Blum, Christian
2009ACO_R híbrido con múltiples colonias para problemas de optimización continuaBlum, Christian; Cardoso, Pedro; Herrera, Francisco
2009Asynchronous simulation of a self-synchronized duty-cycling mechanism for mobile sensor networksHernández Pibernat, Hugo; Blum, Christian
Self-synchronized duty-ciclying for mobile sensor.pdf.jpg2009Self-synchronized duty-cycling for mobile sensor networks with energy harvesting capabilities: A swarm intelligence studyHernández Pibernat, Hugo; Blum, Christian; Middendorf, Martin; Ramsch, Kai; Scheidler, Alexander
05291065.pdf.jpg2009Scheduling synchronous elastic designsCarmona Vargas, Josep; Julvez Bueno, Jorge Emilio; Cortadella Fortuny, Jordi; Kishinevsky, Mike
2009Ant colony optimizationBlum, Christian
Xhafa.pdf.jpg2009Locals search algorithms for efficient router nodes placement in Wireless Mesh NetworksXhafa Xhafa, Fatos; Sánchez Lopez, Christian; Barolli, Leonard
Xhafa.pdf.jpg2009Parameter tuning of JXTA-based P2P platformsXhafa Xhafa, Fatos; Arrizabalaga, Zorion; Misse Bertran, Jordi; Barolli, Leonard
Xhafa.pdf.jpg2009Ad hoc and neighborhood search methods for placement of mesh routers in Wireless Mesh NetworksXhafa Xhafa, Fatos; Sánchez Lopez, Christian; Barolli, Leonard
ADGS-algsens.pdf.jpg2009Sensor field: a computational modelÁlvarez Faura, M. del Carme; Duch Brown, Amalia; Gabarró Vallès, Joaquim; Serna Iglesias, María José
08004.DiazJ.1750.pdf.jpg2008A new upper bound for 3-SATDíaz Cort, Josep; Lefteris, Kirousis; Mitsche, Dieter; Perez-Gimenez, Xavier
2008SPALINET: Red Española de lidares de aerosolesGuerrero Ruiz, A.; Sicard, Michaël; Rocadenbosch Burillo, Francisco; Muñoz, C.; Tomás Martínez, Sergio; Comerón Tejero, Adolfo; Pujadas, Manuel; Molero, Francisco; Alados Arboledas, Lucas; Moreno, J. M.; Bolarín, Jose Miguel; Requena, Alberto; Córdoba Jabonero, Carmen; Gil, Marisa; Exposito, Francisco Javier; Díaz Cort, Josep; Pedrós, Roberto; Martínez Lozano, José Antonio

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius