Stellar matter in the Quark-Meson-Coupling Model with neutrino trapping

The properties of hybrid stars formed by hadronic and quark matter in $\beta$-equilibrium are described by appropriate equations of state (EoS) in the framework of the quark meson coupling (QMC) model. In the present work we include the possibility of trapped neutrinos in the equation of state and obtain the properties of the related hybrid stars. We use the quark meson coupling model for the hadron matter and two possibilities for the quark matter phase, namely, the unpaired quark phase and the color-flavor locked phase. The differences are discussed and a comparison with other relativistic EoS is done.Comment: Reference added, accepted in PR

NiS - An unusual self-doped, nearly compensated antiferromagnetic metal

NiS, exhibiting a text-book example of a first-order transition with many unusual properties at low temperatures, has been variously described in terms of conflicting descriptions of its ground state during the past several decades. We calculate these physical properties within first-principle approaches based on the density functional theory and conclusively establish that all experimental data can be understood in terms of a rather unusual ground state of NiS that is best described as a self-doped, nearly compensated, antiferromagnetic metal, resolving the age-old controversy. We trace the origin of this novel ground state to the specific details of the crystal structure, band dispersions and a sizable Coulomb interaction strength that is still sub-critical to drive the system in to an insulating state. We also show how the specific antiferromagnetic structure is a consequence of the less-discussed 90 degree and less than 90 degree superexchange interactions built in to such crystal structures

Pentaquarks in the medium in the quark-meson coupling model

We calculate the properties of the pentaquarks $\Theta^+$ and $\Xi^{--,0}$ in symmetric nuclear matter using the quark meson coupling model (QMC). The stability of the $\Theta^+$ in the medium with respect to the channel $\Theta^+\to NK^+$ is discussed.Comment: 6 pages, 5 figures, revte

Knowledge-based vision for space station object motion detection, recognition, and tracking

Computer vision, especially color image analysis and understanding, has much to offer in the area of the automation of Space Station tasks such as construction, satellite servicing, rendezvous and proximity operations, inspection, experiment monitoring, data management and training. Knowledge-based techniques improve the performance of vision algorithms for unstructured environments because of their ability to deal with imprecise a priori information or inaccurately estimated feature data and still produce useful results. Conventional techniques using statistical and purely model-based approaches lack flexibility in dealing with the variabilities anticipated in the unstructured viewing environment of space. Algorithms developed under NASA sponsorship for Space Station applications to demonstrate the value of a hypothesized architecture for a Video Image Processor (VIP) are presented. Approaches to the enhancement of the performance of these algorithms with knowledge-based techniques and the potential for deployment of highly-parallel multi-processor systems for these algorithms are discussed

Axions as Quintessence in String Theory

We construct a model of quintessence in string theory based on the idea of axion monodromy as discussed by McAllister, Silverstein and Westphal arXiv:0808.0706. In the model, the quintessence field is an axion whose shift symmetry is broken by the presence of 5-branes which are placed in highly warped throats. This gives rise to a potential for the axion field which is slowly varying, even after incorporating the effects of moduli stabilization and supersymmetry breaking. We find that the resulting time dependence in the equation of state of Dark Energy is potentially detectable, depending on the initial conditions. The model has many very light extra particles which live in the highly warped throats, but these are hard to detect. A signal in the rotation of the CMB polarization can also possibly arise.Comment: 41 pages, 1 figure, v2: references adde

CONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code

We present an instrumenting compiler for enforcing data confidentiality in low-level applications (e.g. those written in C) in the presence of an active adversary. In our approach, the programmer marks secret data by writing lightweight annotations on top-level definitions in the source code. The compiler then uses a static flow analysis coupled with efficient runtime instrumentation, a custom memory layout, and custom control-flow integrity checks to prevent data leaks even in the presence of low-level attacks. We have implemented our scheme as part of the LLVM compiler. We evaluate it on the SPEC micro-benchmarks for performance, and on larger, real-world applications (including OpenLDAP, which is around 300KLoC) for programmer overhead required to restructure the application when protecting the sensitive data such as passwords. We find that performance overheads introduced by our instrumentation are moderate (average 12% on SPEC), and the programmer effort to port OpenLDAP is only about 160 LoC.Comment: Technical report for CONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code, appearing at EuroSys 201