Signatures of dynamically polarized nuclear spins in all-electrical lateral spin transport devices

The effect of nuclear spins in Fe/GaAs all-electrical spin-injection devices is investigated. At temperatures below 50 K, strong modifications of the non-local spin signal are found that are characteristic for hyperfine coupling between conduction electrons and dynamically polarized nuclear spins. The perpendicular component of the nuclear Overhauser field depolarizes electron spins near zero in-plane external magnetic field, and can suppress such dephasing when antialigned with the external field, leading to satellite peaks in a Hanle measurement. The features observed agree well with a Monte Carlo simulation of the spin diffusion equation including hyperfine interaction, and are used to study the nuclear spin dynamics and relate it to the spin polarization of injected electrons.Comment: 6 pages, 4 figure

Interferometric detection of spin-polarized transport in the depletion layer of a metal-GaAs Schottky barrier

It is shown that the Kerr rotation of spin-polarized electrons is modulated by the distance of the electrons from the sample surface. Time-resolved Kerr rotation of optically-excited spin-polarized electrons in the depletion layer of n-doped GaAs displays fast oscillations that originate from an interference between the light reflected from the semiconductor surface and from the front of the electron distribution moving into the semiconductor. Using this effect, the dynamics of the photogenerated charge carriers in the depletion layer of the biased Schottky barrier is measured.Comment: 10 pages, 4 figure

Wide-field multi-color photometry of the Galactic globular cluster NGC 1261

(Abriged)This work studies in more detail the stellar population, including its photometric properties and characteristics, in the rarely studied southern Galactic globular cluster NGC 1261. We focus on the brighter sequences of the cluster's color-magnitude diagram (CMD). Like in our previous works, we rely upon photometry in several passbands to achieve more reliable results and conclusions. We carried out and analyzed new multi-color photometry of NGC 1261 in UBVI reaching below the turnoff point in all passbands in a fairly extended cluster field, about 14'x14'. We found several signs of the inhomogeneity ("multiplicity") in the stellar population. The most prominent of them are: (1) the dependence of the radial distribution of sub-giant branch (SGB) stars in the cluster on their U magnitude, with brighter stars less centrally concentrated at the 99.9 \% level than their fainter counterparts; (2) the dependence of the location of red giant branch (RGB) stars in the U-(U-B) CMD on their radial distance from the cluster center, with the portion of stars bluer in the (U-B) color increasing towards the cluster outskirts. Additionally, the radial variation of the RGB luminosity function in the bump region is suspected. We assume that both the SGB stars brighter in the U and the RGB stars bluer in the (U-B) color are probably associated with blue horizontal branch stars, because of a similarity in their radial distribution in the cluster. We estimated the metalicity of NGC 1261 from the slope of the RGB in U-based CMDs and the location of the RGB bump on the branch. These metallicity indicators give [Fe/H]zw = -1.34 +/- 0.16 dex and [Fe/H]zw = -1.41 +/- 0.10 dex, respectively. We isolated 18 probable blue straggler candidates. They are more centrally concentrated than the lower red giants of comparable brightness at the 97.9 \% level.Comment: 8 pages, 9 figures, accepted for publication in A&

Exploring rationality of self awareness in social networking for logical modeling of unintentional insiders

Unawareness of privacy risks together with approval seeking motivations make humans enter too much detail into the likes of Facebook, Twitter, and Instagram. To test whether the rationality principle applies, we construct a tool that shows to a user what is known publicly on social networking sites about her. In our experiment, we check whether this revelation changes human behaviour. To extrapolate and generalize, we use the insights gained by practical experimentation. Unaware users can become targeted by attackers. They then become unintentional insid- ers. We demonstrate this by extending the Isabelle Insider framework to accommodate a formal model of unintentional insiders, an open problem with long standing

Exploring rationality of self awareness in social networking for logical modeling of unintentional insiders

Unawareness of privacy risks together with approval seeking motivations make humans enter too much detail into the likes of Facebook, Twitter, and Instagram. To test whether the rationality principle applies, we construct a tool that shows to a user what is known publicly on social networking sites about her. In our experiment, we check whether this revelation changes human behaviour. To extrapolate and generalize, we use the insights gained by practical experimentation. Unaware users can become targeted by attackers. They then become unintentional insid- ers. We demonstrate this by extending the Isabelle Insider framework to accommodate a formal model of unintentional insiders, an open problem with long standing

On the design of Robust tube-based MPC for tracking

17th IFAC World Congress (IFAC'08)Seoul, Korea, July 6-11This paper deals with the design procedure of the recently presented robust MPC for tracking of constrained linear systems with additive disturbances. This controller is based on nominal predictions and it is capable to steer the nominal predicted trajectory to any target admissible steady state, that is retaining feasibility under any set point change. By means of the notion of tube of trajectories, robust stability and convergence is achieved. The controller formulation has some parameters which provides extra degrees of freedom to the design procedure of the predictive controller. These allow to deal with control objectives such as disturbance rejection, output offset prioritization or enlargement of the domain of attraction. In this paper, output prioritization method, LMI based design procedures and algorithms for the calculation of invariant sets are presented. The proposed enhanced design of the MPC is demonstrated by an illustrative example

Quark mass hierarchy in 3-3-1 models

We study the mass spectrum of the quark sector in an special type I-like model with gauge symmetry $SU(3)_c \otimes SU(3)_L \otimes U(1)_X$. By considering couplings with scalar triplets at large ($\sim TeV$) and small ($\sim GeV$) scales, we obtain specific zero-texture mass matrices for the quarks which predict three massless quarks ($u,d,s$) and three massive quarks ($c,b,t$) at the electroweak scale ($\sim$ GeV). Taking into account mixing couplings with three heavy quarks at large scales predicted by the model, the three massless quarks obtain masses at small order that depends on the inverse of the large scale. Thus, masses of the form $m_u \lesssim m_d < m_s \sim MeV$ and $m_{c,b,t} \sim GeV$ can be obtained naturally from the gauge structure of the model

MPC for tracking of piece-wise constant referente for constrained linear systems

16th IFAC World Congress. Praga (República Checa) 03/07/2005Model predictive control (MPC) is one of the few techniques which is able to handle with constraints on both state and input of the plant. The admissible evolution and asymptotically convergence of the closed loop system is ensured by means of a suitable choice of the terminal cost and terminal contraint. However, most of the existing results on MPC are designed for a regulation problem. If the desired steady state changes, the MPC controller must be redesigned to guarantee the feasibility of the optimization problem, the admissible evolution as well as the asymptotic stability. In this paper a novel formulation of the MPC is proposed to track varying references. This controller ensures the feasibility of the optimization problem, constraint satisfaction and asymptotic evolution of the system to any admissible steady-state. Hence, the proposed MPC controller ensures the offset free tracking of any sequence of piece-wise constant admissible set points. Moreover this controller requires the solution of a single QP at each sample time, it is not a switching controller and improves the performance of the closed loop system

Cooperative distributed MPC for tracking

This paper proposes a cooperative distributed linear model predictive control (MPC) strategy for tracking changing setpoints, applicable to any finite number of subsystems. The proposed controller is able to drive the whole system to any admissible setpoint in an admissible way, ensuring feasibility under any change of setpoint. It also provides a larger domain of attraction than standard distributed MPC for regulation, due to the particular terminal constraint. Moreover, the controller ensures convergence to the centralized optimum, even in the case of coupled constraints. This is possible thanks to the warm start used to initialize the optimization Algorithm, and to the design of the cost function, which integrates a Steady-State Target Optimizer (SSTO). The controller is applied to a real four-tank plant