Stop Co-Annihilation in the Minimal Supersymmetric Standard Model Revisited

We re-examine the stop co-annihilation scenario of the Minimal Supersymmetric Standard Model, wherein a bino-like lightest supersymmetric particle has a thermal relic density set by co-annihilations with a scalar partner of the top quark in the early universe. We concentrate on the case where only the top partner sector is relevant for the cosmology, and other particles are heavy. We discuss the cosmology with focus on low energy parameters and an emphasis on the implications of the measured Higgs boson mass and its properties. We find that the irreducible direct detection signal correlated with this cosmology is generically well below projected experimental sensitivity, and in most cases lies below the neutrino background. A larger, detectable, direct detection rate is possible, but is unrelated to the co-annihilation cosmology. LHC searches for compressed spectra are crucial for probing this scenario

Helicopter vibration suppression using simple pendulum absorbers on the rotor blade

A comprehensive anaytical design procedure for the installation of simple pendulums on the blades of a helicopter rotor to suppress the root reactions is presented. A frequency response anaysis is conducted of typical rotor blades excited by a harmonic variation of spanwise airload distributions as well as a concentrated load at the tip. The results presented included the effect of pendulum tuning on the minimization of the hub reactions. It is found that a properly designed flapping pendulum attenuates the root out-of-plane force and moment whereas the optimum designed lead-lag pendulum attenuates the root in-plane reactions. For optimum pendulum tuning the parameters to be determined are the pendulum uncoupled natural frequency, the pendulum spanwise location and its mass. It is found that the optimum pendulum frequency is in the vicinity of the excitation frequency. For the optimum pendulum a parametric study is conducted. The parameters varied include prepitch, pretwist, precone and pendulum hinge offset

Navigation/traffic control satellite mission study. Volume 3 - System concepts

Satellite network for air traffic control, solar flare warning, and collision avoidanc

Fish Assemblage Relationships with Physical Characteristics and Presence of Dams in Three Eastern Iowa Rivers

Fish assemblages in rivers of the Midwestern United States are an important component of the region\u27s natural resources and biodiversity. We characterized the physical environment and presence of dams in a series of reaches in three eastern Iowa rivers tributary to the Mississippi River and related these characteristics to the fish assemblages present. Some physical characteristics were similar among the 12 study reaches, whereas others differed substantially. We found a total of 68 species across the 12 study reaches; 56 in the Turkey River, 51 in the Maquoketa River and 50 in the Wapsipinicon River. Seventeen species could be described as ‘downstream-distributed’; 15 being found only in the lowest reach of one or more rivers and the other two being found only in the lowest reaches or two or more contiguous reaches including the lowest reach. Two species could be described as ‘upstream-distributed’, being found only in an uppermost reach. Non-metric multidimensional scaling ordination illustrated similarities among reaches, and five physical variables were significantly correlated with assemblage similarities. Catchment area and number of dams between reaches and the Mississippi River were strongly correlated with assemblage similarities, but the directions of their effects were opposite. Catchment area and number of dams were confounded. The collective evidence to date suggests that the pervasiveness of dams on rivers significantly alters fish assemblages, making underlying patterns of species change and relationships with naturally varying and human-influenced physical characteristics along a river\u27s course difficult to discern

Nucleic Acid Sequence Design via Efficient Ensemble Defect Optimization

We describe an algorithm for designing the sequence of one or more interacting nucleic acid strands intended to adopt a target secondary structure at equilibrium. Sequence design is formulated as an optimization problem with the goal of reducing the ensemble defect below a user-specified stop condition. For a candidate sequence and a given target secondary structure, the ensemble defect is the average number of incorrectly paired nucleotides at equilibrium evaluated over the ensemble of unpseudoknotted secondary structures. To reduce the computational cost of accepting or rejecting mutations to a random initial sequence, candidate mutations are evaluated on the leaf nodes of a tree-decomposition of the target structure. During leaf optimization, defect-weighted mutation sampling is used to select each candidate mutation position with probability proportional to its contribution to the ensemble defect of the leaf. As subsequences are merged moving up the tree, emergent structural defects resulting from crosstalk between sibling sequences are eliminated via reoptimization within the defective subtree starting from new random subsequences. Using a Θ(N^3) dynamic program to evaluate the ensemble defect of a target structure with N nucleotides, this hierarchical approach implies an asymptotic optimality bound on design time: for sufficiently large N, the cost of sequence design is bounded below by 4/3 the cost of a single evaluation of the ensemble defect for the full sequence. Hence, the design algorithm has time complexity Ω(N^3). For target structures containing N ∈{100,200,400,800,1600,3200} nucleotides and duplex stems ranging from 1 to 30 base pairs, RNA sequence designs at 37°C typically succeed in satisfying a stop condition with ensemble defect less than N/100. Empirically, the sequence design algorithm exhibits asymptotic optimality and the exponent in the time complexity bound is shar

D-Terms, Unification, and the Higgs Mass

We study gauge extensions of the MSSM that contain non-decoupling D-terms, which contribute to the Higgs boson mass. These models naturally maintain gauge coupling unification and raise the Higgs mass without fine-tuning. Unification constrains the structure of the gauge extensions, limiting the Higgs mass in these models to roughly less than 150 GeV. The D-terms contribute to the Higgs mass only if the extended gauge symmetry is broken at energies of a few TeV, leading to new heavy gauge bosons in this mass range.Comment: 30+1 pages, 7 figure

Type soundness for dependent object types (DOT)

Scala's type system unifies aspects of ML modules, object-oriented, and functional programming. The Dependent Object Types (DOT) family of calculi has been proposed as a new theoretic foundation for Scala and similar expressive languages. Unfortunately, type soundness has only been established for restricted subsets of DOT. In fact, it has been shown that important Scala features such as type refinement or a subtyping relation with lattice structure break at least one key metatheoretic property such as environment narrowing or invertible subtyping transitivity, which are usually required for a type soundness proof. The main contribution of this paper is to demonstrate how, perhaps surprisingly, even though these properties are lost in their full generality, a rich DOT calculus that includes recursive type refinement and a subtyping lattice with intersection types can still be proved sound. The key insight is that subtyping transitivity only needs to be invertible in code paths executed at run time, with contexts consisting entirely of valid runtime objects, whereas inconsistent subtyping contexts can be permitted for code that is never executed