An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science

Downscaling of surface moisture flux and precipitation in the Ebro Valley (Spain) using analogues and analogues followed by random forests and multiple linear regression

In this paper, reanalysis fields from the ECMWF have been statistically downscaled to predict from large-scale atmospheric fields, surface moisture flux and daily precipitation at two observatories (Zaragoza and Tortosa, Ebro Valley, Spain) during the 1961-2001 period. Three types of downscaling models have been built: (i) analogues, (ii) analogues followed by random forests and (iii) analogues followed by multiple linear regression. The inputs consist of data (predictor fields) taken from the ERA-40 reanalysis. The predicted fields are precipitation and surface moisture flux as measured at the two observatories. With the aim to reduce the dimensionality of the problem, the ERA-40 fields have been decomposed using empirical orthogonal functions. Available daily data has been divided into two parts: a training period used to find a group of about 300 analogues to build the downscaling model (1961-1996) and a test period (19972001), where models' performance has been assessed using independent data. In the case of surface moisture flux, the models based on analogues followed by random forests do not clearly outperform those built on analogues plus multiple linear regression, while simple averages calculated from the nearest analogues found in the training period, yielded only slightly worse results. In the case of precipitation, the three types of model performed equally. These results suggest that most of the models' downscaling capabilities can be attributed to the analogues-calculation stage.

Stability analysis of RF amplifiers based on MIMO pole-zero identification

Spurious oscillations are one of the principal issues faced by microwave and RF circuit designers. The rigorous detection of instabilities or the characterization of measured spurious oscillations is still an ongoing challenge. This project aims to create a new stability analysis CAD program that tackles this chal- lenge. Multiple Input Multiple Output (MIMO) pole-zero identification analysis is introduced on the program as a way to create new methods to automate the stability analysis process and to help designers comprehend the obtained results and prevent incorrect interpretations. The MIMO nature of the analysis contributes to eliminate possible controllability and observability losses and helps differentiate mathematical and physical quasi-cancellations, products of overmodeling. The created program reads Single Input Single Output (SISO) or MIMO frequency response data, and determines the corresponding continuous transfer functions with Vector Fitting. Once the transfer function is calculated, the corresponding pole/zero diagram is mapped enabling the designers to analyze the stability of an amplifier. Three data processing methods are introduced, two of which consist of pole/zero elimina- tions and the latter one on determining the critical nodes of an amplifier. The first pole/zero elimination method is based on eliminating non resonant poles, whilst the second method eliminates the poles with small residue by assuming that their effect on the dynamics of a system is small or non-existent. The critical node detection is also based on the residues; the node at which the effect of a pole on the dynamics is highest is defined as the critical node. In order to evaluate and check the efficiency of the created program, it is compared via examples with another existing commercial stability analysis tool (STAN tool). In this report, the newly created tool is proved to be as rigorous as STAN for detecting instabilities. Additionally, it is determined that the MIMO analysis is a very profitable addition to stability analysis, since it helps to eliminate possible problems of loss of controllability, observability and overmodeling.

Metallic thin fi lms on stepped surfaces: lateral scattering of quantum well states

Quantum well states of Ag films grown on stepped Au(111) surfaces are shown to undergo lateral scattering, in analogy with surface states of vicinal Ag(111). Applying angle resolved photoemission spectroscopy we observe quantum well bands with zone-folding and gap openings driven by surface/interface step lattice scattering. Experiments performed on a curved Au(111) substrate allow us to determine a subtle terrace-size effect, i.e., a fine step-density-dependent upward shift of quantum well bands. This energy shift is explained as mainly due to the periodically stepped crystal potential offset at the interface side of the film. Finally, the surface state of the stepped Ag film is analyzed with both photoemission and scanning tunneling microscopy. We observe that the stepped film interface also affects the surface state energy, which exhibits a larger terrace-size effect compared to surface states of bulk vicinal Ag(111) crystals

Spin-helical Dirac states in graphene induced by polar-substrate surfaces with giant spin-orbit interaction: a new platform for spintronics

Spintronics, or spin electronics, is aimed at efficient control and manipulation of spin degrees of freedom in electron systems. To comply with demands of nowaday spintronics, the studies of electron systems hosting giant spin-orbit-split electron states have become one of the most important problems providing us with a basis for desirable spintronics devices. In construction of such devices, it is also tempting to involve graphene, which has attracted great attention because of its unique and remarkable electronic properties and was recognized as a viable replacement for silicon in electronics. In this case, a challenging goal is to lift spin degeneracy of graphene Dirac states. Here, we propose a novel pathway to achieve this goal by means of coupling of graphene and polar-substrate surface states with giant Rashba-type spin-splitting. We theoretically demonstrate it by constructing the graphene@BiTeCl system, which appears to possess spin-helical graphene Dirac states caused by the strong interaction of Dirac and Rashba electrons. We anticipate that our findings will stimulate rapid growth in theoretical and experimental investigations of graphene Dirac states with real spin-momentum locking, which can revolutionize the graphene spintronics and become a reliable base for prospective spintronics applications.

Landscape Genetics for the Empirical Assessment of Resistance Surfaces: The European Pine Marten (Martes martes) as a Target-Species of a Regional Ecological Network

Coherent ecological networks (EN) composed of core areas linked by ecological corridors are being developed worldwide with the goal of promoting landscape connectivity and biodiversity conservation. However, empirical assessment of the performance of EN designs is critical to evaluate the utility of these networks to mitigate effects of habitat loss and fragmentation. Landscape genetics provides a particularly valuable framework to address the question of functional connectivity by providing a direct means to investigate the effects of landscape structure on gene flow. The goals of this study are (1) to evaluate the landscape features that drive gene flow of an EN target species (European pine marten), and (2) evaluate the optimality of a regional EN design in providing connectivity for this species within the Basque Country (North Spain). Using partial Mantel tests in a reciprocal causal modeling framework we competed 59 alternative models, including isolation by distance and the regional EN. Our analysis indicated that the regional EN was among the most supported resistance models for the pine marten, but was not the best supported model. Gene flow of pine marten in northern Spain is facilitated by natural vegetation, and is resisted by anthropogenic landcover types and roads. Our results suggest that the regional EN design being implemented in the Basque Country will effectively facilitate gene flow of forest dwelling species at regional scale.

Alveolar nitric oxide and its role in pediatric asthma control assessment

Resumen Background: Nitric oxide can be measured at multiple flow rates to determine proximal (maximum airway nitric oxide flux; Jaw(NO)) and distal inflammation (alveolar nitric oxide concentration; CA(NO)). The main aim was to study the association among symptoms, lung function, proximal (maximum airway nitric oxide flux) and distal (alveolar nitric oxide concentration) airway inflammation in asthmatic children treated and not treated with inhaled glucocorticoids. Methods: A cross-sectional study with prospective data collection was carried out in a consecutive sample of girls and boys aged between 6 and 16 years with a medical diagnosis of asthma. Maximum airway nitric oxide flux and alveolar nitric oxide concentration were calculated according to the two-compartment model. In asthmatic patients, the asthma control questionnaire (CAN) was completed and forced spirometry was performed. In controls, differences between the sexes in alveolar nitric oxide concentration and maximum airway nitric oxide flux and their correlation with height were studied. The correlation among the fraction of exhaled NO at 50 ml/s (FENO50), CA(NO), Jaw(NO), forced expiratory volume in 1 second (FEV1) and the CAN questionnaire was measured and the degree of agreement regarding asthma control assessment was studied using Cohen's kappa. Results: We studied 162 children; 49 healthy (group 1), 23 asthmatic participants without treatment (group 2) and 80 asthmatic patients treated with inhaled corticosteroids (group 3). CA(NO) (ppb) was 2.2 (0.1-4.5), 3 (0.2-9.2) and 2.45 (0.1-24), respectively. Jaw(NO) (pl/s) was 516 (98.3-1470), 2356.67 (120-6110) and 1426 (156-11805), respectively. There was a strong association (r = 0.97) between FENO50 and Jaw(NO) and the degree of agreement was very good in group 2 and was good in group 3. There was no agreement or only slight agreement between the measures used to monitor asthma control (FEV1, CAN questionnaire, CA(NO) and Jaw(NO)). Conclusions: The results for CA(NO) and Jaw(NO) in controls were similar to those found in other reports. There was no agreement or only slight agreement among the three measure instruments analyzed to assess asthma control. In our sample, no additional information was provided by CA(NO) and Jaw(NO).

Defect and structural imperfection effects on the electronic properties of BiTeI surfaces

The surface electronic structure of the narrow-gap seminconductor BiTeI exhibits a large Rashba-splitting which strongly depends on the surface termination. Here we report on a detailed investigation of the surface morphology and electronic properties of cleaved BiTeI single crystals by scanning tunneling microscopy, photoelectron spectroscopy (ARPES, XPS), electron diffraction (SPA-LEED) and density functional theory calculations. Our measurements confirm a previously reported coexistence of Te- and I-terminated surface areas

Microwave Resonant and Zero-Field Absorption Study of Doped Magnetite Prepared by a Co-Precipitation Method

Fe3O4 and ZnxFe3-xO4 pure and doped magnetite magnetic nanoparticles (NPs) were prepared in aqueous solution (Series A) or in a water-ethyl alcohol mixture (Series B) by the co-precipitation method. Only one ferromagnetic resonance line was observed in all cases under consideration indicating that the materials are magnetically uniform. The shortfall in the resonance fields from 3.27 kOe (for the frequency of 9.5 GHz) expected for spheres can be understood taking into account the dipolar forces, magnetoelasticity, or magnetocrystalline anisotropy. All samples show non-zero low field absorption. For Series A samples the grain size decreases with an increase of the Zn content. In this case zero field absorption does not correlate with the changes of the grain size. For Series B samples the grain size and zero field absorption behavior correlate with each other. The highest zero-field absorption corresponded to 0.2 zinc concentration in both A and B series. High zero-field absorption of Fe3O4 ferrite magnetic NPs can be interesting for biomedical applications.

Curved crystal surfaces: fabrication, characterization and growth of cobalt nanostructures

117 p.