On absoluteness of categoricity in abstract elementary classes

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

Isomorphism relations on computable structures

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

Generalized descriptive set theory and classification theory

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. We also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. Our results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.

Potential isomorphism of elementary substructures of a strictly stable homogeneous model

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

Strong isomorphism reductions in complexity theory

We give the first systematic study of strong isomorphism reductions, a notion of reduction more appropriate than polynomial time reduction when, for example, comparing the computational complexity of the isomorphim problem for different classes of structures. We show that the partial ordering of its degrees is quite rich. We analyze its relationship to a further type of reduction between classes of structures based on purely comparing for every n the number of nonisomorphic structures of cardinality at most n in both classes. Furthermore, in a more general setting we address the question of the existence of a maximal element in the partial ordering of the degrees.

The non-absoluteness of model existence in uncountable cardinals for Lw1,w

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

On Borel equivalence relations in generalized Baire space

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

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"

Presencia de anti-SLA en una población en tratamiento con estatinas

Hipòtesis: la presencia d’auto anticossos contra selenoproteïnes (anti-SLA) podria afavorir la lesió muscular en pacients en tractament amb estatines. S’han avaluat 26 pacients sense tractament previ amb estatines, realitzant-se una analítica bassal, als 3 i als 6 mesos. No s’han observat anticossos anti-SLA en cap, augment estadísticament significatiu del títol d’ANAs als 3 (test de Wilcoxon, p=1.00) ni las 6 mesos (prova de Friedman, p=0.657), augment estadísticament significatiu dels nivells de CK als 3 (test de “t”, p=0.285) ni als 6 mesos (test de “t”, p=0.298), ni símptomes de miopatia al llarg del seguiment.

Xifratge d'arxius

Aquest treball de final de carrera inclou el desenvolupament d'un programari que permet xifrar arxius utilitzant un algorisme de flux. El desenvolupament del programari ha estat dividit en tres parts, el generador de números aleatoris, l'aplicació de l'algorisme de xifrat on s'han aplicat les tècniques adients de criptografia i la interfície gràfica per l'usuari.

Bingo segur

En aquest TFC es proposa un protocol de CMS aplicat a un Joc de Bingo, en que les entrades són nombres generats pels jugadors i el resultat cercat és un nombre aleatori per al joc.

Estudi de comparació de rendiment de Benchmark multicore i multithreading amb OpenMP 2.5 i OpenMP 3.0

Estudi comparatiu amb benchmark del rendiment en dues plataformes multicore multithreading de diferents modalitats de paral·lelització de multiplicacions de matrius de nombres enters i de nombres en coma flotant mitjançant el model de memòria compartida OpenMP versió 2.5 i OpenMP versió 3.0.

Long-term efficacy and tolerability of flutamide combined with oral contraception in moderate to severe hirsutism: A 12-month, double-blind, parallel clinical trial

OBJECTIVE Our objective was to test the efficacy and tolerability of three doses of flutamide (125, 250, and 375 mg) combined with a triphasic oral contraceptive (ethynylestradiol/levonorgestrel) during 12 months to treat moderate to severe hirsutism in patients with polycystic ovary syndrome or idiopathic hirsutism. DESIGN We conducted a randomized, double-blind, placebo-controlled, parallel clinical trial. PATIENTS A total of 131 premenopausal women, suffering from moderate to severe hirsutism, were randomized to placebo or 125, 250, or 375 mg flutamide daily associated with a triphasic oral contraceptive pill. Hirsutism (Ferriman-Gallwey), acne and seborrhea (Cremoncini), and hormone serum levels were monitored at baseline and at 3 (except hormone serum levels), 6, and 12 months. Side effects and biochemical, hematological, and hepatic parameters were assessed. METHODS We used three-way ANOVA (subject, dose, and visit) with Scheffé adjustment for multiple comparisons or nonparametrical Friedman test and least-squares mean (paired data) and Kruskall-Wallis test for unpaired data analyses. We used chi(2) or Fisher's test for categorical data. RESULTS A total of 119 patients were included in the intention-to-treat analysis. All flutamide doses induced a significant decrease in hirsutism, acne, and seborrhea scores after 12 months compared with placebo without differences among dose levels. Similar related side effects were observed with placebo and 125 mg flutamide (12.5%), and slightly higher with 250 mg (17.3%) and 375 mg (21.2%). No statistically significant differences were observed either among doses or compared with placebo. CONCLUSIONS Flutamide at 125 mg daily during 12 months was the minimum effective dose to diminish hirsutism in patients with polycystic ovary syndrome or with idiopathic hirsutism.

An evaluation of p16INK4a expression in cervical intraepithelial neoplasia specimens, including women with HIV-1

Although several studies have evaluated the role of p16INK4a as a diagnostic marker of cervical intraepithelial neoplasia (CIN) and its association with disease progression, studies regarding the role of p16INK4a in human immunodeficiency virus (HIV)-infected patients remain scarce. The present study was designed to determine the potential utility of p16INK4a as a diagnostic marker for CIN and invasive cervical cancer in HIV-positive and negative cervical specimens. An immunohistochemical analysis of p16INK4a was performed in 326 cervical tissue microarray specimens. Performance indicators were calculated and compared using receiving operating characteristics curve (ROC)/area under the curve. In HIV-1-negative women, the percentage of cells that was positive for p16INK4a expression was significantly correlated with the severity of CIN (p < 0.0001). A ROC curve with a cut-off value of 55.28% resulted in a sensitivity of 89%, a specificity of 81%, a positive predictive value of 91% and a negative predictive value of 78%. HIV-seropositive women exhibited decreased expression of p16INK4a in CIN2-3 specimens compared with HIV-negative specimens (p = 0.031). The ROC data underscore the potential utility of p16INK4a under defined conditions as a diagnostic marker for CIN 2-3 staging and invasive cervical cancer. HIV-1 infection, however, is associated with relatively reduced p16INK4a expression in CIN 2-3.