MedIGS, un sistema segur basat en agents per al descobriment i obtenció de dades mèdiques distribuïdes: estudi i desenvolupament

En aquest projecte es desenvolupa en totes les seves fases(estudi, anàlisi, disseny, implementació i proves) l'aplicació MedIGS. MedIGS és una aplicació destinada a satisfer algunes de les necesitats actuals del sistema sanitari, la compartició d’informació i la màxima coordinació possible, utilitzant una tecnologia novedosa: els agents, i més concretament, els agents mòbils. Gràcies a aquesta tecnologia aconseguirem una integració segura de dades mèdiques distribuïdes. Està previst fer una prova pilot a Portugal, a partir dels resultats d’aquest projecte.

Construcció modular d'agents basats en components: estudi i desenvolupament

La complexitat de disseny d’agents mòbils creix a mesura que s’incrementen les seves funcionalitats. Aquest projecte proposa enfocar el problema des d’un punt de vista modular. S’ha realitzat un estudi tant dels propis agents com de les parts que ho integren. De la mateixa forma, s’han establert i s'han implementat els mecanismes necessaris per habilitar les comunicacions segures entre agents. Finalment, s’han desenvolupat dos components que ofereixen les funcionalitats de seguiment de l’agent mòbil i la recuperació dels resultats generats. El desenvolupament d’agents basats en components tracta d’aplicar la vella estratègia "divideix i venceràs" a la fase de disseny, reduint, així,la seva gran complexitat.

Proposta de migració segura d'agents amb sol·licitud de classes sota demanda per a la plataforma JADE

Aquest projecte consisteix en la implementació d'una migració d'agents mòbils amb sol·licitud de classes sota demanda de manera segura per a la plataforma JADE. En aquest projecte hem desenvolupat dos protocols de control d'accés i autentificació sobre agents i/o plataformes. Però la línia central de desenvolupament d'aquest projecte radica en la creació d'un protocol de migració sota demanda d'agents. Hem implementat dues versions d'aquest protocol. La primera versió del protocol de migració es centra en la sol·licitud de classes sota demanda i la segona versió, per tal de millorar-ne el rendiment de la primera, emmagatzema les classes que ha demanat sota demanada en una cache de la plataforma.

A class of stochastic games with infinitely many interacting agents related to Glauber dynamics on random graphs

We introduce and study a class of infinite-horizon nonzero-sum non-cooperative stochastic games with infinitely many interacting agents using ideas of statistical mechanics. First we show, in the general case of asymmetric interactions, the existence of a strategy that allows any player to eliminate losses after a finite random time. In the special case of symmetric interactions, we also prove that, as time goes to infinity, the game converges to a Nash equilibrium. Moreover, assuming that all agents adopt the same strategy, using arguments related to those leading to perfect simulation algorithms, spatial mixing and ergodicity are proved. In turn, ergodicity allows us to prove “fixation”, i.e. that players will adopt a constant strategy after a finite time. The resulting dynamics is related to zerotemperature Glauber dynamics on random graphs of possibly infinite volume.

Extensió de l'entorn SMARD per permetre la depuració d'aplicacions basades en agents mòbils

Un dels principals obstacles per l’adopció dels agents mòbils, fins i tot per tasques per les quals s’ha demostrat la seva idoneïtat, és la dificultat de desenvolupar-los. Aquest projecte aporta solucions per ajudar en aquest procés. Més concretament, per provar agents i observar-ne el seu comportament en un entorn de simulació, abans d’executar-los en un escenari real. Hem afegit un depurador i un constructor d’agents mòbils a la interfície gràfica de disseny d’itineraris de l’entorn SMARD. Fent servir afegit aquests nous components, el programador pot dissenyar, construir i fer proves d’un agent mòbil des d’aquesta aplicació.

Contribució a la mobilitat inter-plataforma d'agents mòbils: protocol de migració fragmentada

En aquest projecte s’ha dissenyat un protocol de migració d’agents mòbils per a l’arquitectura IPMA basat en l’enviament dels agents fragmentats en diversos missatges FIPA ACL. Aquest s’ha implementat dins el servei de migració JIPMS per a la plataforma JADE. Finalment s’ha dut a terme un conjunt exhaustiu de tests per avaluar-ne el rendiment i comparar-lo amb altres protocols de migració existents.

Desenvolupament d'un component de tolerància a fallades per a un sistema d'agents mòbils sobre plataformes lleugeres

A mesura que la complexitat de les tasques dels agents mòbils va creixent, és més important que aquestes no perdin el treball realitzat. Hem de saber en tot moment que la execució s’està desenvolupant favorablement. Aquest projecte tracta d’explicar el procés d’elaboració d’un component de tolerància a fallades des de la seva idea inicial fins a la seva implementació. Analitzarem la situació i dissenyarem una solució. Procurarem que el nostre component emmascari la fallada d’un agent, detectant-la i posteriorment recuperant l’execució des d’on s’ha interromput. Tot això procurant seguir la metodologia de disseny d’agents mòbils per a plataformes lleugeres.

A model category structure on the category of simplicial multicategories

We establish a Quillen model structure on simplicial(symmetric) multicategories. It extends the model structure on simplicial categories due to J. Bergner [2]. We observe that our technique of proof enables us to prove a similar result for (symmetric) multicategories enriched over other monoidal model categories than simplicial sets. Examples include small categories, simplicial abelian groups and compactly generated Hausdorff spaces.

A Thomason model structure on the category of small n-fold categories

We construct a cofibrantly generated Thomason model structure on the category of small n-fold categories and prove that it is Quillen equivalent to the standard model structure on the category of simplicial sets. An n-fold functor is a weak equivalence if and only if the diagonal of its n-fold nerve is a weak equivalence of simplicial sets. We introduce an n-fold Grothendieck construction for multisimplicial sets, and prove that it is a homotopy inverse to the n-fold nerve. As a consequence, the unit and counit of the adjunction between simplicial sets and n-fold categories are natural weak equivalences.

Solid-phase synthesis and NMR studies of modified oligonucleotides forming triplex helix and of oligonucleopeptides mimicking the topoisomerase I-DNA covalent complex

Report for the scientific sojourn carried out at the Institut de Biologia Molecular de Barcelona of the CSIC –state agency – from april until september 2007. Topoisomerase I is an essential nuclear enzyme that modulates the topological status of DNA, facilitating DNA helix unwinding during replication and transcription. We have prepared the oligonucleotide-peptide conjugate Ac-NLeu-Asn-Tyr(p-3’TTCAGAAGC5’)-LeuC-CONH-(CH2)6-OH as model compound for NMR studies of the Topoisomerase I- DNA complex. Special attention was made on the synthetic aspects for the preparation of this challenging compound especially solid supports and protecting groups. The desired peptide was obtained although we did not achieve the amount of the conjugate needed for NMR studies. Most probably the low yield is due to the intrinsic sensitive to hydrolysis of the phosphate bond between oligonucleotide and tyrosine. We have started the synthesis and the structural characterization of oligonucleotides carrying intercalating compounds. At the present state we have obtained model duplex and quadruplex sequences modified with acridine and NMR studies are underway. In addition to this project we have successfully resolved the structure of a fusion peptide derived from hepatitis C virus envelope synthesized by the group of Dr. Haro and we have synthesized and started the characterization of a modified G-quadruplex.

Agents mòbils en situacions d'emergència: gestió dinàmica de serveis

Aquest projecte consisteix en el disseny i desenvolupament d'una arquitectura de serveis sota el paradigma dels agents inteligents. El propòsit d'ADASMI (Architecture for Dynamic Agent Service Management and Interaction) és permetre la gestió i utilització de serveis per altres agents. L'arquitectura s'ha implementat utilitzant la plataforma d'agents de JADE i es pot utilitzar amb qualsevol altra plataforma que compleixi els estàndards d'IEEE FIPA. A més, és prou flexible com per adaptar-se en entorns dinàmics, com per exemple les xarxes ad-hoc en situacions d'emergència.

Agents mòbils en situacions d'emergència: mobilitat d'etiquetes de triatge

En les actuacions de rescat en emergències amb un gran nombre de víctimes, una de les primeres tasques a realitzar pels serveis sanitaris és la de triar-les en funció del seu estat i la urgència amb que han de ser tractades. En el grup SeNDA es treballa en un sistema d’agents mòbils que automatitza el mecanisme manual de triatge, fent ús de dispositius electrònics i una xarxa MANET com a canal de comunicació. En aquest projecte es proposa un sistema de gestió de mobilitat pels agents que transporten dades de víctimes fins al centre de coordinació, juntament amb un mecanisme de control d’aquests agents totalment transparent a l’usuari.

The Accessibility City. When Transport Infrastructure Matters in Urban Spatial Structure

Suburbanization is changing the urban spatial structure and less monocentric metropolitan regions are becoming the new urban reality. Focused only on centers, most works have studied these spatial changes neglecting the role of transport infrastructure and its related location model, the “accessibility city”, in which employment and population concentrate in low-density settlements and close to transport infrastructure. For the case of Barcelona, we consider this location model and study the population spatial structure between 1991 and 2006. The results reveal a mix between polycentricity and the accessibility city, with movements away from the main centers, but close to the transport infrastructure.

Structure theorems for subgroups of homeomorphism groups

"Vegeu el resum a l'inici del document del fitxer adjunt."

The Multiple-partners assignment game with heterogeneous sales and multi-unit demands: competitive equilibria

A multiple-partners assignment game with heterogeneous sales and multiunit demands consists of a set of sellers that own a given number of indivisible units of (potentially many different) goods and a set of buyers who value those units and want to buy at most an exogenously fixed number of units. We define a competitive equilibrium for this generalized assignment game and prove its existence by using only linear programming. In particular, we show how to compute equilibrium price vectors from the solutions of the dual linear program associated to the primal linear program defined to find optimal assignments. Using only linear programming tools, we also show (i) that the set of competitive equilibria (pairs of price vectors and assignments) has a Cartesian product structure: each equilibrium price vector is part of a competitive equilibrium with all optimal assignments, and vice versa; (ii) that the set of (restricted) equilibrium price vectors has a natural lattice structure; and (iii) how this structure is translated into the set of agents' utilities that are attainable at equilibrium.