Projective modules over the Gerasimov-Sakhaev counterexample

We investigate the structure of the so-called Gerasimov- Sakhaev counterexample, which is a particular example of a universal localization, and classify (both finitely and infinitely generated) projective modules over it.

Statistics of transverse mode turn-on dynamics in VCSEL's

The turn-on process of a multimode VCSEL is investigated from a statistical point of view. Special attention is paid to quantities such as time jitter and bit error rate. The single-mode performance of VCSEL¿s during current modulation is compared to that of edge-emitting lasers.

Remote Synchronization Reveals Network Symmetries and Functional Modules

We study a Kuramoto model in which the oscillators are associated with the nodes of a complex network and the interactions include a phase frustration, thus preventing full synchronization. The system organizes into a regime of remote synchronization where pairs of nodes with the same network symmetry are fully synchronized, despite their distance on the graph. We provide analytical arguments to explain this result, and we show how the frustration parameter affects the distribution of phases. An application to brain networks suggests that anatomical symmetry plays a role in neural synchronization by determining correlated functional modules across distant locations.

Gene-disease network analysis reveals functional modules in mendelian, complex and environmental diseases

AbstractBACKGROUND: Scientists have been trying to understand the molecular mechanisms of diseases to design preventive and therapeutic strategies for a long time. For some diseases, it has become evident that it is not enough to obtain a catalogue of the disease-related genes but to uncover how disruptions of molecular networks in the cell give rise to disease phenotypes. Moreover, with the unprecedented wealth of information available, even obtaining such catalogue is extremely difficult.PRINCIPAL FINDINGS: We developed a comprehensive gene-disease association database by integrating associations from several sources that cover different biomedical aspects of diseases. In particular, we focus on the current knowledge of human genetic diseases including mendelian, complex and environmental diseases. To assess the concept of modularity of human diseases, we performed a systematic study of the emergent properties of human gene-disease networks by means of network topology and functional annotation analysis. The results indicate a highly shared genetic origin of human diseases and show that for most diseases, including mendelian, complex and environmental diseases, functional modules exist. Moreover, a core set of biological pathways is found to be associated with most human diseases. We obtained similar results when studying clusters of diseases, suggesting that related diseases might arise due to dysfunction of common biological processes in the cell.CONCLUSIONS: For the first time, we include mendelian, complex and environmental diseases in an integrated gene-disease association database and show that the concept of modularity applies for all of them. We furthermore provide a functional analysis of disease-related modules providing important new biological insights, which might not be discovered when considering each of the gene-disease association repositories independently. Hence, we present a suitable framework for the study of how genetic and environmental factors, such as drugs, contribute to diseases.AVAILABILITY: The gene-disease networks used in this study and part of the analysis are available at http://ibi.imim.es/DisGeNET/DisGeNETweb.html#Download

Shelah's singular compactness theorem

We present Shelah’s famous theorem in a version for modules, together with a self-contained proof and some examples. This exposition is based on lectures given at CRM in October 2006.

Arquitectura wormhole per a una NoC 2D-Mesh

Aquest projecte presenta la implementació d'un disseny, i la seva posterior síntesi en una FPGA, d'una arquitectura de tipus wormhole packet switching per a una infraestructura de NetWork-On-Chip amb una topologia 2D-Mesh. Agafant un router circuit switching com a punt de partida, s'han especificat els mòduls en Verilog per tal d'obtenir l'arquitectura wormhole desitjada. Dissenyar la màquina de control per governar els flits que conformen els paquets dins la NoC,i afegir les cues a la sortida del router (outuput queuing) són els punts principals d'aquest treball. A més, com a punt final s'han comparat ambdues arquitectures de router en termes de costos en àrea i en memòria i se n’han obtingut diverses conclusions i resultats experimentals.

Gestió i desenvolupament d'un conjunt comprensiu de pràctiques per les assignatures de sistemes operatius

En aquest projecte s'ha desenvolupat un entorn repositori de pràctiques per a emmagatzemar i donar una eina de control del material docent que es disposa. El desenvolupament dels mòduls del sistema s'han realitzat després de contemplar els diferents rols que existeixen dintre dels membres del personal docent, sent aquest becaris o professors. Atès que el personal destinat a l'ensenyament està sotmès a un alt grau de rotacions aquest sistema intentarà ser un punt de trobada de totes les seves aportacions, ajudant així la tasca d'avaluació i explicació de les pràctiques. L'estudi d'un nou ventall de pràctiques ha permès conèixer un nou entorn de treball, que ofereix camps no tractats fins al moment a través de la implantació d'un sistema operatiu simulat per sobre del sistema operatiu Linux.

Numerical simulation of combined heat transfer phenomena (conduction, convection, and radiation). Application to he optimisation of thermal systems

Thermal systems interchanging heat and mass by conduction, convection, radiation (solar and thermal ) occur in many engineering applications like energy storage by solar collectors, window glazing in buildings, refrigeration of plastic moulds, air handling units etc. Often these thermal systems are composed of various elements for example a building with wall, windows, rooms, etc. It would be of particular interest to have a modular thermal system which is formed by connecting different modules for the elements, flexibility to use and change models for individual elements, add or remove elements without changing the entire code. A numerical approach to handle the heat transfer and fluid flow in such systems helps in saving the full scale experiment time, cost and also aids optimisation of parameters of the system. In subsequent sections are presented a short summary of the work done until now on the orientation of the thesis in the field of numerical methods for heat transfer and fluid flow applications, the work in process and the future work.

On two examples by Iyama and Yoshino

In a recent paper Iyama and Yoshino consider two interesting examples of isolated singularities over which it is possible to classify the indecomposable maximal Cohen-Macaulay modules in terms of linear algebra data. In this paper we present two new approaches to these examples. In the first approach we give a relation with cluster categories. In the second approach we use Orlov's result on the graded singularity category. We obtain some new results on the singularity category of isolated singularities which may be interesting in their own right.

Localization of algebras over coloured operads

We give sufficient conditions for homotopical localization functors to preserve algebras over coloured operads in monoidal model categories. Our approach encompasses a number of previous results about preservation of structures under localizations, such as loop spaces or infinite loop spaces, and provides new results of the same kind. For instance, under suitable assumptions, homotopical localizations preserve ring spectra (in the strict sense, not only up to homotopy), modules over ring spectra, and algebras over commutative ring spectra, as well as ring maps, module maps, and algebra maps. It is principally the treatment of module spectra and their maps that led us to the use of coloured operads (also called enriched multicategories) in this context.

Integració d'una wiki al Campus Virtual de la Universitat Autònoma de Barcelona

Aquest projecte presenta una sol·lució per tal d’incorporar una eina wiki al Campus Virtual de la Universitat Autònoma de Barcelona. Enfront de la metodologia docent clàssica, la wiki oferirà funcionalitats orientades al treball col·laboratiu i fomentarà la participació de l’alumne. L’objectiu final és tenir una eina completament integrada al Campus Virtual, que aprofiti l’aplicatiu existent i s’interrelacioni amb la resta de mòduls presents.

Anàlisi, disseny i implementació d'una eina de simulació per a l'estudi de la interoperabilitat mitjançant conversió d'atributs en entorns multi-domini

El present projecte part d’un estudi sobre el tractament de situacions d’emergència, on es considera que una infraestructura de comunicació, sobre aquest tipus d’escenaris, ha d’implementar la interoperabilitat i el control d’accés, entre els diferents elements que hi participen, utilitzant la conversió d’atributs. Per tal de materialitzar aquest estudi s’ha realitzat un anàlisi de les necessitats de l’aplicació i un disseny detallat dels mòduls que el formen. S’ha implementat d’aquesta manera una eina de simulació per entorns multi-domini. Finalment s’han realitzat un conjunt de proves per comprovar la seva fiabilitat respecte l’estudi original.

Desconnexió de la xarxa

Treball de recerca realitzat per un alumne d'ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit cientí­fic del Jovent l'any 2009. Aquest treball es planteja com un repte la necessitat de connexió a una xarxa de subministrament elèctric i d'aigua. L'objectiu del treball ha estat comprovar si, tan tècnicament com econòmica, es pot aconseguir l'autosuficiència d'una casa de muntanya del Vallès Oriental tot aprofitant els recursos que ens ofereix el medi, però sense haver de renunciar al nivell de vida al qual ens hem acostumat durant els darrers anys. Després d'una recollida de dades i valoració del consum energètic mínim que volem imposar, hem dissenyat una instal·lació capaç d'aprofitar les energies renovables de l'entorn i de satisfer les nostres necessitats. La instal·lació inclou plaques fotovoltaiques, col·lectors solars, cisternes per a la recollida d'aigua, bombes, etc. Finalment, s'inclou un pressupost d'aquesta instal·lació, que indica que els diners que caldria invertir són massa. Es demostra, doncs, que l'autosuficiència d'aquesta casa és tècnicament viable, però econòmicament inviable (o gens rendible).

Instrumentació i control d'actuadors fluídics per a sistemes analítics: sistema de regulació d'una microbomba de precisió a mode de xeringa

En aquest projecte s’ha implementat un sistema de control per a les bombes microfluídiques LPVX de The Lee Company funcionant a mode de xeringa. El sistema consisteix en un circuit controlador basat en el microxip UDN 296 B de Allegro MicroSystems, que conté dos Ponts en H per a controlar motors pas a pas i dos mòduls de Modulació d’Amplada de Polsos (PWM), governat a partir d’un programa de control com a instrument virtual dissenyat sota l’entorn LabVIEW. El programa de control permet indicar la quantitat de volum a aspirar o dispensar per la bomba i escollir entre una execució simple o una de continuada, podent-ne controlar en aquest segona opció el temps entre execució i execució. El programa també permet visualitzar el procés mitjançant la obtenció de la imatge d’una webcam amb DirectShow. Finalment també permet el control remot de l’Instrument Virtual a través de la xarxa d’Internet.