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.

Consistency and optimality

Assume that the problem Qo is not solvable in polynomial time. For theories T containing a sufficiently rich part of true arithmetic we characterize T U {ConT} as the minimal extension of T proving for some algorithm that it decides Qo as fast as any algorithm B with the property that T proves that B decides Qo. Here, ConT claims the consistency of T. Moreover, we characterize problems with an optimal algorithm in terms of arithmetical theories.

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

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

Hard instances of algorithms and proof systems

"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."

Interacció humana amb els ordinadors : Disseny centrat en l'usuari i usabilitat en entorns tàctils

Quan parlem de disseny centrat en l'usuari ens referim al fet de dissenyar pensant en el que vol l'usuari. És per això que se'l consulta, per a saber què vol, què necessita, què i com li agrada més, què no li agrada, què li costa més d'entendre. Es fa, en definitiva, una avaluació del producte la finalitat del qual és ser útil i pràctic per al major nombre possible de persones. En aquest treball parlem de dissenyar pensant en l'usuari en entorns tàctils. Els entorns tàctils només són una de les moltes possibilitats que ens ofereix la interacció humana amb els ordinadors.

Growth and characterization of CoO ultra thin films

In this report we present the growth process of the cobalt oxide system using reactive electron beam deposition. In that technique, a target of metallic cobalt is evaporated and its atoms are in-flight oxidized in an oxygen rich reactive atmosphere before reaching the surface of the substrate. With a trial and error procedure the deposition parameters have been optimized to obtain the correct stoichiometry and crystalline phase. The evaporation conditions to achieve the correct cobalt oxide salt rock structure, when evaporating over amorphous silicon nitride, are: 525 K of substrate temperature, 2.5·10-4 mbar of oxygen partial pressure and 1 Å/s of evaporation rate. Once the parameters were optimized a set of ultra thin film ranging from samples of 1 nm of nominal thickness to 20nm thick and bulk samples were grown. With the aim to characterize the samples and study their microstructure and morphology, X-ray diffraction, transmission electron microscopy, electron diffraction, energy dispersive X-ray spectroscopy and quasi-adiabatic nanocalorimetry techniques are utilised. The final results show a size dependent effect of the antiferromagnetic transition. Its Néel temperature becomes depressed as the size of the grains forming the layer decreases.

X-chromosome tiling path array detection of copy number variants in patients with chromosome X-linked mental retardation

Background: Aproximately 5–10% of cases of mental retardation in males are due to copy number variations (CNV) on the X chromosome. Novel technologies, such as array comparative genomic hybridization (aCGH), may help to uncover cryptic rearrangements in X-linked mental retardation (XLMR) patients. We have constructed an X-chromosome tiling path array using bacterial artificial chromosomes (BACs) and validated it using samples with cytogenetically defined copy number changes. We have studied 54 patients with idiopathic mental retardation and 20 controls subjects. Results: Known genomic aberrations were reliably detected on the array and eight novel submicroscopic imbalances, likely causative for the mental retardation (MR) phenotype, were detected. Putatively pathogenic rearrangements included three deletions and five duplications (ranging between 82 kb to one Mb), all but two affecting genes previously known to be responsible for XLMR. Additionally, we describe different CNV regions with significant different frequencies in XLMR and control subjects (44% vs. 20%). Conclusion:This tiling path array of the human X chromosome has proven successful for the detection and characterization of known rearrangements and novel CNVs in XLMR patients.

The impact of interest-rate subsidies on long-term household debt: Evidence from a large program

The responsiveness of long-term household debt to the interest rate is acrucial parameter for assessing the effectiveness of public policies aimedat promoting specific types of saving. This paper estimates the effect ofa reform of Credito Bonificado, a large program in Portugal that subsidizedmortgage interest rates, on long-term household debt. The reform establisheda ceiling in the price of the house that could be financed through theprogram, and provides plausibly exogenous variation in incentives. Usinga unique dataset of matched household survey data and administrative recordsof debt, we document a large decrease in the probability of signing a newloan after the removal of the subsidy.

Development and Validation of Single Nucleotide Polymorphisms (SNPs) Markers from Two Transcriptome 454-Runs of Turbot (Scophthalmus maximus) Using High-Throughput Genotyping

The turbot (Scophthalmus maximus) is a commercially valuable flatfish and one of the most promising aquaculture species in Europe. Two transcriptome 454-pyrosequencing runs were used in order to detect Single Nucleotide Polymorphisms (SNPs) in genesrelated to immune response and gonad differentiation. A total of 866 true SNPs were detected in 140 different contigs representing 262,093 bp as a whole. Only one true SNP was analyzed in each contig. One hundred and thirteen SNPs out of the 140 analyzed were feasible (genotyped), while Ш were polymorphic in a wild population. Transition/transversion ratio (1.354) was similar to that observed in other fish studies. Unbiased gene diversity (He) estimates ranged from 0.060 to 0.510 (mean = 0.351), minimum allele frequency (MAF) from 0.030 to 0.500 (mean = 0.259) and all loci were in Hardy-Weinberg equilibrium after Bonferroni correction. A large number of SNPs (49) were located in the coding region, 33 representing synonymous and 16 non-synonymous changes. Most SNP-containing genes were related to immune response and gonad differentiation processes, and could be candidates for functional changes leading to phenotypic changes. These markers will be useful for population screening to look for adaptive variation in wild and domestic turbot

Frequency resolved admittance spectroscopy measurements on In0.52Al0.48As/InxGa1¿xAs/In0.52Al0.48As single quantum well structures

In this work a new admittance spectroscopy technique is proposed to determine the conduction band offset in single quantum well structures (SQW). The proposed technique is based on the study of the capacitance derivative versus the frequency logarithm. This method is found to be less sensitive to parasitic effects, such as leakage current and series resistance, than the classical conductance analysis. Using this technique, we have determined the conduction band offset in In0.52Al0.48As/InxGa1¿xAs/In0.52Al0.48As SQW structures. Two different well compositions, x=0.53, which corresponds to the lattice¿matched case and x=0.60, which corresponds to a strained case, and two well widths (5 and 25 nm) have been considered. The average results are ¿Ec=0.49±0.04 eV for x=0.53 and ¿Ec =0.51±0.04 eV for x=0.6, which are in good agreement with previous reported data.