Level-wise node size distribution of randomly generated regular trees

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

Coefficients of Drinfeld modular forms and Hecke operators

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

Migració d’una aplicació estàndard de gestió (catàleg fotogràfic del parc de Collserola) a entorn web

La constant evolució que estan experimentant les tecnologies d’informació fa que cada vegada els programes es vagin quedant més obsolets, a la vegada que cada vegada són més els programes nous, amb noves funcionalitats, nous avantatges, llicències gratuïtes, etc. El Consorci del Parc de Collserola es veu amb la necessitat d’investigar en aquests nous camps que van sorgint per anar actualitzant-se. La nostra aplicació pretén ser un model de migració i desenvolupament d’una aplicació ja existent, que gestiona l’arxiu fotogràfic del parc de Collserola, a una aplicació de programari lliure que sigui d’accés a tot el públic via Internet, capaç de gestionar el catàleg de fotografies a la vegada que s’incorporen noves funcionalitats a l’aplicació. Pel desenvolupament de l’aplicació es farà servir Microsoft Visual Web Developer 2008 Express Edition afegint-hi una API de Google Maps, tots dos software de codi lliure.

Taxa de reincidència penitenciària 2008

La investigació actualitza les dades de dues recerques anteriors, la publicada l’any 1993 i la publicada el 2004/2005. Aquesta sèrie, que ja suma 3 recerques, permet comparar les taxes de reincidència penitenciària de 1992, 2002 i 2008 i totes les variables que es deriven dels estudis. En aquesta nova recerca la població objecte d’estudi són les 2.579 persones que van sortir excarcerades l’any 2002, d’alguna de les presons catalanes, per algun dels motius previstos a la llei o per haver protagonitzat un trencament de condemna (un no reingrés de permís, no haver tornat d’una sortida laboral o haver protagonitzat una evasió). La grandària de la mostra és de 1.403 persones. L’estudi ha consistit a recollir informació sobre diferents variables descriptives del perfil personal, penal i penitenciari dels components de la mostra i a comprovar si, un cop excarcerats l’any 2002, tornaven al sistema penitenciari, com a preventius o penats, per haver comés un nou delicte posteriorment a la data d’excarceració (reincidència penitenciària). El període de seguiment ha estat fins al 31 de desembre de 2007. Diverses anàlisis ens han permet descriure relacions significatives entre les variables estudiades i la reincidència. La font de les dades ha estat, com en els altres dos estudis, el SIPC (sistema informàtic penitenciari català).

Mean-payoff games and propositional proofs

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

A functional equation related to the product in a quadratic number field

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

Lévy area for Gaussian processes: A double Wiener--Itô integral approach

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

Gestión de recursos en nodos multi-core de memoria compartida

La gestión de recursos en los procesadores multi-core ha ganado importancia con la evolución de las aplicaciones y arquitecturas. Pero esta gestión es muy compleja. Por ejemplo, una misma aplicación paralela ejecutada múltiples veces con los mismos datos de entrada, en un único nodo multi-core, puede tener tiempos de ejecución muy variables. Hay múltiples factores hardware y software que afectan al rendimiento. La forma en que los recursos hardware (cómputo y memoria) se asignan a los procesos o threads, posiblemente de varias aplicaciones que compiten entre sí, es fundamental para determinar este rendimiento. La diferencia entre hacer la asignación de recursos sin conocer la verdadera necesidad de la aplicación, frente a asignación con una meta específica es cada vez mayor. La mejor manera de realizar esta asignación és automáticamente, con una mínima intervención del programador. Es importante destacar, que la forma en que la aplicación se ejecuta en una arquitectura no necesariamente es la más adecuada, y esta situación puede mejorarse a través de la gestión adecuada de los recursos disponibles. Una apropiada gestión de recursos puede ofrecer ventajas tanto al desarrollador de las aplicaciones, como al entorno informático donde ésta se ejecuta, permitiendo un mayor número de aplicaciones en ejecución con la misma cantidad de recursos. Así mismo, esta gestión de recursos no requeriría introducir cambios a la aplicación, o a su estrategia operativa. A fin de proponer políticas para la gestión de los recursos, se analizó el comportamiento de aplicaciones intensivas de cómputo e intensivas de memoria. Este análisis se llevó a cabo a través del estudio de los parámetros de ubicación entre los cores, la necesidad de usar la memoria compartida, el tamaño de la carga de entrada, la distribución de los datos dentro del procesador y la granularidad de trabajo. Nuestro objetivo es identificar cómo estos parámetros influyen en la eficiencia de la ejecución, identificar cuellos de botella y proponer posibles mejoras. Otra propuesta es adaptar las estrategias ya utilizadas por el Scheduler con el fin de obtener mejores resultados.

Creació d’un programari per a l’avaluació de la qualitat dels resultats analítics generats al laboratori

La validació de mètodes és un dels pilars fonamentals de l’assegurament de la qualitat en els laboratoris d’anàlisi, tal i com queda reflectit en la norma ISO/IEC 17025. És, per tant, un aspecte que cal abordar en els plans d’estudis dels presents i dels futurs graus en Química. Existeix molta bibliografia relativa a la validació de mètodes, però molt sovint aquesta s’utilitza poc, degut a la dificultat manifesta de processar tota la informació disponible i aplicar-la al laboratori i als problemes concrets. Una altra de les limitacions en aquest camps és la manca de programaris adaptats a les necessitats del laboratori. Moltes de les rutines estadístiques que es fan servir en la validació de mètodes són adaptacions fetes amb Microsoft Excel o venen incorporades en paquets estadístics gegants, amb un alt grau de complexitat. És per aquest motiu que l’objectiu del projecte ha estat generar un programari per la validació de mètodes i l’assegurament de la qualitat dels resultats analítics, que incorporés únicament les rutines necessàries. Específicament, el programari incorpora les funcions estadístiques necessàries per a verificar l’exactitud i avaluar la precisió d’un mètode analític. El llenguatge de programació triat ha estat el Java en la seva versió 6. La part de creació del programari ha constat de les següents etapes: recollida de requisits, anàlisi dels requisits, disseny del programari en mòduls, programació d les funcions del programa i de la interfície gràfica, creació de tests d’integració i prova amb usuaris reals, i, finalment, la posada en funcionament del programari (creació de l’instal·lador i distribució del programari).

Implementació d'un Laboratori Virtual d'Equips Electrònics per múltiples aplicacions específiqies com a reforç docent en l'àrea de l'electrònica VERiLAB (Virtual ElectRonic LABoratory)

S’ha dissenyat un Laboratori Virtual d’Equips Electrònics per múltiples aplicacions específiques com a reforç docent en l’àrea de l’electrònica VERiLAB (Virtual ElectRonic LABoratory) i, a més, s’han dissenyat un conjunt de 9 pràctiques guiades per treure el màxim rendiment al laboratori virtual. El laboratori Virtual és una potent eina de treball per aplicacions docents com a programari d’iniciació a la utilització d’equips electrònics bàsics que podem trobar a qualsevol laboratori d’electrònica. Aquesta eina permet augmentar el nombre d’hores de treball pràctic fora del laboratori. La primera versió d’aquest programari es va dissenyar a l’any 2004 a la Universitat de Barcelona amb el software LabVIEW_7, el qual permet obtenir un fitxer executable amb el qual els alumnes poden treballar fora del laboratori. D’aquesta forma els alumnes únicament necessiten un ordinador per a poder fer les pràctiques. La primera versió del laboratori disposava d’un generador de funcions, un oscil·loscopi i un analitzador d’espectres com a equips electrònics, i a més a més incorporava un mòdul de filtres i un motor DC per treballar amb els equips. La versió 2 del Laboratori Virtual es va desenvolupar amb aquest projecte MQD i es va introduir una font d’alimentació, un multímetre de sobre taula i un portàtil com a equips electrònics. Es van crear també diferents mòduls de sistemes electrònics: filtres analògics, configuracions bàsiques basades en l’amplificador operacional, l’amplificador operacional no ideal i un circuit de rectificació d’ona completa. Aquests mòduls han premés ampliar el camp d’aplicació del Laboratori Virtual a diferents assignatures de l’àrea de l’electrònica.

Xarxes docents per a l'art medieval a Catalunya

El projecte ha d’establir xarxes per posar en contacte els diferents continguts, reflexions i recursos docents emprats per professors d’art medieval de la UB i la URV s’ha dut a terme adaptant-se a diferents conjuntures. Una modificació sorgida durant el desenvolupament del projecte deriva de la transformació que han de patir els actuals plans d’estudis enfront dels nous títols de grau. Els lligams plantejats en funció d’unes determinades assignatures s’ha vist alterat quan la seva definició i durada ha variat dins els nous plans d’estudis, en la preparació dels quals han intervingut diversos membres del projecte, tant des del Consell d’estudis com des de la Comissió promotora del grau d’història de l’art. Malgrat tot, els diferents professors hem elaborat materials específics per a la docència de les actuals assignatures, incloent un extens ventall de presentacions en PowerPoint, que abasten les distintes matèries implicades. A més de les classes i pràctiques pròpies de cada assignatura, vàrem dur a terme el cicle de conferències Imatges Indiscretes. Art i devoció a l’Edat Mitjana, per tal d’aproximar l’alumnat a la recerca desenvolupada pels membres del grup (incloent becaris i alguns invitats procedents d’altres universitats), ampliant l’oferta formativa més enllà dels formats més predeterminats. És en curs la publicació del cicle en forma de dossier docent. Si aquesta activitat s’orientava vers els continguts relatius a l’art medieval, també hem promogut una reflexió adreçada vers una problemàtica general específicament docent amb un Seminari de docència sobre a història de l’’art en el qual han participat, a més del grup, un ampli ventall de professors del Departament d’Història de l’Art de la UB, així com docents d’altres universitats i professionals vinculats a l’exercici de la disciplina. Tant el seminari com el cicle de conferències són propostes a les quals és previst donar continuïtat en futures convocatòries.

Aplicacions de reconeixement de la parla: sistemes de respeaking III

En aquest projecte es fa una introducció als reconeixedors de la parla, el seu funcionament i la seva base matemàtica. Un cop tots els conceptes han quedat clars, es mostra el mètode de creació que hem seguit per obtenir el nostre propi reconeixedor de la parla, utilitzant les eines HTK, en català. S’avaluen les seves virtuts i els seus defectes a través de diferents proves realitzades als seus components. A més a més, el projecte arrodoneix la feina implementant un sistema de dictat automàtic que explota el reconeixedor de la parla utilitzant Julius.

On left-truncating and mixing Poisson distributions

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

Wiener type theorems for Jacobi series with nonnegative coefficients

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

Amalgamation, absoluteness, and categoricity

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