4,244 research outputs found
Superadiabatic spin-preserving control of a single-spin qubit in a double quantum dot with spin–orbit interaction
A protocol for controlling the localization of an electron with a fixed projection of spin between two quantum dots in a material with spin-orbit (SO) interaction is studied. Due to SO coupling, the manipulation of the electron shuttling between both quantum dots also leads to a mixing between spin projections near to the avoided crossing of levels. We use a transitionless quantum driving approach, neglecting SO interaction, to analytically design simple electric and magnetic pulses able to rapidly drive the electron along an adiabatic Landau–Zener manifold. We show that the same fields in the presence of SO interaction can also give a fast high-fidelity transition between the qubit states. The performance of the proposed protocol is assessed in the presence of SO interactions of typical semiconductor materials. It is shown that it provides a fast and efficient spin-conserving method for controlling the electron position in a double quantum dot.Fil: Gomez, Sergio Santiago. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Modelado e Innovación Tecnológica. Universidad Nacional del Nordeste. Facultad de Ciencias Exactas Naturales y Agrimensura. Instituto de Modelado e Innovación Tecnológica; ArgentinaFil: Romero, Rodolfo Horacio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Modelado e Innovación Tecnológica. Universidad Nacional del Nordeste. Facultad de Ciencias Exactas Naturales y Agrimensura. Instituto de Modelado e Innovación Tecnológica; Argentin
The Housing Market in Colombia: Socioeconomic and Financial Determinants
This document provides an overview of the housing system in Colombia, exploring its socioeconomic and financial determinants and offering recommendations to improve the collection of basic data on the construction sector, household socioeconomic conditions, and mortgage markets. The paper also estimates a simultaneous econometric model for the country`s housing market using quarterly data over the period 1991-2004. On the demand side, we find that the area of approved licenses is highly elastic to households` disposable income, new housing prices and real interest rates on mortgage credit. On the supply side, we find high input-cost elasticity and a moderate response to wealth effects. These results prove to be robust to different proxies and diverse estimation procedures.
Axiomatizations for downward XPath on Data Trees
We give sound and complete axiomatizations for XPath with data tests by
"equality" or "inequality", and containing the single "child" axis. This
data-aware logic predicts over data trees, which are tree-like structures whose
every node contains a label from a finite alphabet and a data value from an
infinite domain. The language allows us to compare data values of two nodes but
cannot access the data values themselves (i.e. there is no comparison by
constants). Our axioms are in the style of equational logic, extending the
axiomatization of data-oblivious XPath, by B. ten Cate, T. Litak and M. Marx.
We axiomatize the full logic with tests by "equality" and "inequality", and
also a simpler fragment with "equality" tests only. Our axiomatizations apply
both to node expressions and path expressions. The proof of completeness relies
on a novel normal form theorem for XPath with data tests
Dos poetas para un infierno: El imaginario del abismo de Baudelaire en Gil de Biedma
En la obra de Jaime Gil de Biedma (poesía, prosa crítica y epistolario) se exhibe un extraordinario interés por Charles Baudelaire, considerado padre de la modernidad poética. El presente artículo analiza la apropiación que el poeta realizó del imaginario infiernal moderno descrito por el vate francés (es decir, el sub-mundo urbano y el infierno interior del hombre, consignado en el erotismo). Con ello se pretende demostrar que el fenómeno intertextual que apreciamos en la obra biedmaniana con respecto a Baudelaire no es un mero juego literario, sino un vector semántico clave para interpretar la poesía del autor españo
Verificación del método MCP para la evaluación del recurso eólico
Treballs Finals del Màster d’Energies Renovables i Sostenibilitat Energètica, Facultat de Física, Universitat de Barcelona, Curs: 2014-2015, Tutor: Bernat Codina SánchezLa energía eólica constituye uno de los sectores energéticos que ha crecido más rápido durante los últimos años. Es un recurso clave para un cambio en la política energética mundial, que sea respetuosa con el medio ambiente y reduzcan las emisiones de gases de efecto invernadero.
Sin embargo, la instalación de un parque eólico lleva asociado un elevado coste económico. Por ello es necesario realizar numerosos estudios antes de su instalación para valorar su viabilidad energética, medioambiental, técnica y económica. Para ello, se instalan estaciones meteorológicas en puntos representativos del futuro emplazamiento eólico y se analizan los registros con el fin de asegurar la calidad de los datos depurando la serie o regenerando los registros del viento mediante métodos como el Medir-Correlacionar-Predecir (MCP).
El método MCP permite reconstruir la serie histórica de la velocidad y la dirección del viento del futuro emplazamiento eólico. Para ello, se suele medir mediante una estación meteorológica el viento en el emplazamiento como mínimo durante 12 meses, para luego reconstruir los datos históricos en ese lugar mediante la correlación existente entre las estaciones de referencia próximas.
Este trabajo tiene como objetivo la verificación del método MCP y para ello, se utilizaron tres de los algoritmos más utilizados en la evaluación del recurso eólico: el algoritmo de los sectores estáticos, el más utilizado, el de las componentes y el de bines..
Bisimulations on data graphs
Bisimulation provides structural conditions to characterize indistinguishability from an external observer between nodes on labeled graphs. It is a fundamental notion used in many areas, such as verification, graph-structured databases, and constraint satisfaction. However, several current applications use graphs where nodes also contain data (the so called “data graphs”), and where observers can test for equality or inequality of data values (e.g., asking the attribute ‘name’ of a node to be different from that of all its neighbors). The present work constitutes a first investigation of “data aware” bisimulations on data graphs. We study the problem of computing such bisimulations, based on the observational indistinguishability for XPath —a language that extends modal logics like PDL with tests for data equality— with and without transitive closure operators. We show that in general the problem is PSPACE-complete, but identify several restrictions that yield better complexity bounds (CO- NP, PTIME) by controlling suitable parameters of the problem, namely the amount of non-locality allowed, and the class of models considered (graphs, DAGs, trees). In particular, this analysis yields a hierarchy of tractable fragments.Fil: Abriola, Sergio Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación En Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación En Ciencias de la Computacion; ArgentinaFil: Barceló, Pablo. Universidad de Chile; ChileFil: Figueira, Diego. Centre National de la Recherche Scientifique; FranciaFil: Figueira, Santiago. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación En Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación En Ciencias de la Computacion; Argentin
Análisis tafonómico de los corales solitarios sin desipimentos de la cuenca carbonífera de Los Santos de Maimona (Badajoz, SO de España)
En este trabajo se lleva a cabo el análisis tafonómico de los corales solitarios sin disepimentos, recogidos en niveles margosos de las unidades carbonatadas distinguidas dentro de la cuenca carbonífera de los Santos de Maimona
(Badajoz, SO de España). Las observaciones tafonómicas hacen referencia, por un lado, a la distribución de los ejemplares en los distintos afloramientos y a su disposición particular en cada uno de ellos y, por otro lado, a cada ejemplar y su conservación, en 10 que se refiere a microperforaciones, colonizaciones, roturas y pérdidas por transporte, cementos y rellenos, aplastamiento diagenético y marcas de desgaste por abrasión. Todos estos datos se integran en un esquema que pretende dar una idea aproximada del ambiente de sedimentación durante la formación de tales niveles
- …