A topological proof that surface relators are test words

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

Semigroups of matrices of intermediate growth

Finitely generated linear semigroups over a field K that have intermediate growth are considered. New classes of such semigroups are found and a conjecture on the equivalence of the subexponential growth of a finitely generated linear semigroup S and the nonexistence of free noncommutative subsemigroups in S, or equivalently the existence of a nontrivial identity satisfied in S, is stated. This ‘growth alternative’ conjecture is proved for linear semigroups of degree 2, 3 or 4. Certain results supporting the general conjecture are obtained. As the main tool, a new combinatorial property of groups is introduced and studied.

Egalitarian equivalence under asymmetric information

We propose a definition of egalitarian equivalence that extends Pazner and Schmeidler's (1978) concept to environments with incomplete information. If every feasible allocation rule can be implemented by an incentive compatible mechanism (as, for instance, in the case of non-exclusive information), then interim egalitarian equivalence and interim incentive efficiency remain compatible, as they were under complete information. When incentive constraints are more restrictive, on the other hand, the two criteria may become incompatible.

On Borel equivalence relations in generalized Baire space

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

An approximation algorithm for #k-SAT

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

On the system of the functions x (s) / (s-r)k

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

Síntesi de siRNAs (short interfering RNAs) modificats amb nucleobases 5-metil i 5-propinil pirimidíniques i avaluació de la seva activitat in vitro en cultius cel•lulars i de la seva estabilitat en sèrum humà. Disseny de siRNAs dirigits a la inhibició de l'expressió de mutacions de l'oncogen K-ras.

Projecte de recerca elaborat a partir d’una estada a la Stanford University, EEUU, entre 2007 i 2009. El present projecte es basa 1) en la síntesi de cadenes d'ARN dirigides a la inhibició de l'expressió gènica per un mecanisme d'ARN d'interferència (siRNAs o short interefering RNAs) i 2) en l'avaluació de l'activitat in vitro d'aquests oligonucleòtids en cultius cel•lulars. Concretament, la meva recerca ha estat enfocada principalment a l'estudi de cadenes de siRNA modificades amb nucleobases 5-metil i 5-propinil pirimidíniques. Es tractava d'avaluar l'efecte que exerceixen els factors estèrics en el major groove (solc major) dels siRNAs sobre la seva activitat biològica. En aquest sentit, he dut aterme síntesi de fosforamidits de nucleòsis pirimidínics modificats a la posició C-5 de la nucleobase. A continuació he incorporat aquestes unitats nucleosídiques en cadenes d'ARN emprant un sintetitzador d’ADN/ARN i he estudiat l'estabilitat dels corresponents dúplexs d'ARN mitjançant experiments de desnaturalització tèrmica. Finalment he dut a terme experiments d'inhibició de l'expressió gènica en cèl.lules HeLa per tal d'avaluar l'activitat biològia d'aquests siRNAs modificats. Els resultats d'aquests estudis han posat de manifest que la presència de grups voluminosos com el propinil a l'extrem 5' del dúplex de siRNA (definit per la cadena guia o antisense) influeix de forma molt negativa en la seva activitat biològica. En canvi, grups menys voluminosos com el metil hi influeixen positivament, de manera que algunes de les cadenes sintetitzades han resultat ser més actives que els corresponents siRNAs naturals (wild type siRNAs). A més, aquest tipus de modificació contribueix positivament en l'estabilitat de cadenes de siRNA en sèrum humà. Aquest treball ha estat publicat (Terrazas, M.; Kool, E.T. "Major Groove Modifications Improve siRNA Stability and Biological Activity" Nucleic Acids Res. 2009, in press).

On [summation of 1 raised to the power 1] equivalence relations over the natural numbers

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

WEB Cas Pràctic boo-k : Gestió d'una Botiga Virtual

L'objectiu d'aquest treball és especificar, dissenyar i implementar una aplicació web que permeti l'operativa real dels serveis de gestió d'una botiga virtual d'Internet, amb el suport d'un sistema de gestió de bases de dades.

Quantum similarity topological indices definition, analysis and comparison with classical molecular topological indices

Es mostra que, gracies a una extensió en la definició dels Índexs Moleculars Topològics, s'arriba a la formulació d'índexs relacionats amb la teoria de la Semblança Molecular Quàntica. Es posa de manifest la connexió entre les dues metodologies: es revela que un marc de treball teòric sòlidament fonamentat sobre la teoria de la Mecànica Quàntica es pot connectar amb una de les tècniques més antigues relacionades amb els estudis de QSPR. Es mostren els resultats per a dos casos d'exemple d'aplicació d'ambdues metodologies

K.O. Apel: transcendentalisme i praxi de la veritat.

L'objectiu d'aquest treball és explicar i fer la crítica de la Teoria de la Veritat recentment defensada per Apel. En primer lloc, el consens i pragmàtica de la Teoria de la Veritat d'Apel es presenta en relació amb el projecte de la Teoria Crítica de la Societat de Habermas i el problema dels fonaments en el raonament ètic. En segon lloc, la seva versió idealitzada i transcendental de la Veritat que invoca la noció de convergència en una comunitat ideal d'investigadors lliures és analitzada. Finalment, les entranyes de l'esperit wingensteinià i després de l'últim anàlisi de Putnam, s’ha intentat fer una avaluació crítica. El resultat de tot això serà una més modesta concepció de la Veritat com a tan sols una qualitat de la praxi lingüística humana, però no la seva primera pedra

Constraint algorithm for k-presymplectic Hamiltonian systems. Application to singular field theories

The k-symplectic formulation of field theories is especially simple, since only tangent and cotangent bundles are needed in its description. Its defining elements show a close relationship with those in the symplectic formulation of mechanics. It will be shown that this relationship also stands in the presymplectic case. In a natural way,one can mimick the presymplectic constraint algorithm to obtain a constraint algorithmthat can be applied to k-presymplectic field theory, and more particularly to the Lagrangian and Hamiltonian formulations offield theories defined by a singular Lagrangian, as well as to the unified Lagrangian-Hamiltonian formalism (Skinner--Rusk formalism) for k-presymplectic field theory. Two examples of application of the algorithm are also analyzed.

Videojocs educatius : configuració del perfil del jugador en la plataforma de videojocs educatius K-Pax

Aquest treball presenta una forma de gestionar el perfil dels usuaris de l'aplicació gestora de videojocs educatius en xarxa k-Pax. Paral·lelament al desenvolupament del codi es realitza la documentació de gran part de la plataforma existent, de les accions necessàries per poder tenir-la en mode local i es mostren algunes guies per futurs desenvolupaments.

Programa de gestión de juegos para la plataforma k-PAX

Este proyecto es una mejora sobre la plataforma k-Pax para tratar de realizar búsquedas avanzadas sobre los juegos educativos alojados en la misma.