Anxiety sensitivity's facets in relation to anxious and depressive symptoms in youth

Anxiety sensitivity is a multifaceted cognitive risk factor currently being examined in relation to anxiety and depression. The paucity of research on the relative contribution of the facets of anxiety sensitivity to anxiety and depression, coupled with variations in existing findings, indicate that the relations remain inadequately understood. In the present study, the relations between the facets of anxiety sensitivity, anxiety, and depression were examined in 730 Hispanic-Latino and European-American youth referred to an anxiety specialty clinic. Youth completed the Childhood Anxiety Sensitivity Index, the Revised Children’s Manifest Anxiety Scale, and the Children’s Depression Inventory. The factor structure of the Childhood Anxiety Sensitivity Index was examined using ordered-categorical confirmatory factor analytic techniques. Goodness-of-fit criteria indicated that a two-factor model fit the data best. The identified facets of anxiety sensitivity included Physical/Mental Concerns and Social Concerns. Support was also found for cross-ethnic equivalence of the two-factor model across Hispanic-Latino and European-American youth. Structural equation modeling was used to examine models involving anxiety sensitivity, anxiety, and depression. Results indicated that an overall measure of anxiety sensitivity was positively associated with both anxiety and depression, while the facets of anxiety sensitivity showed differential relations to anxiety and depression symptoms. Both facets of anxiety sensitivity were related to overall anxiety and its symptom dimensions, with the exception being that Social Concerns was not related to physiological anxiety symptoms. Physical/Mental Concerns were strongly associated with overall depression and with all depression symptom dimensions. Social Concerns was not significantly associated with depression or its symptom dimensions. These findings highlight that anxiety sensitivity’s relations to youth psychiatric symptoms are complex. Results suggest that focusing on anxiety sensitivity’s facets is important to fully understand its role in psychopathology. Clinicians may want to target all facets of anxiety sensitivity when treating anxious youth. However, in the context of depression, it might be sufficient for clinicians to target Physical/Mental Incapacitation Concerns.

Secure information flow via stripping and fast simulation

Type systems for secure information flow aim to prevent a program from leaking information from H (high) to L (low) variables. Traditionally, bisimulation has been the prevalent technique for proving the soundness of such systems. This work introduces a new proof technique based on stripping and fast simulation, and shows that it can be applied in a number of cases where bisimulation fails. We present a progressive development of this technique over a representative sample of languages including a simple imperative language (core theory), a multiprocessing nondeterministic language, a probabilistic language, and a language with cryptographic primitives. In the core theory we illustrate the key concepts of this technique in a basic setting. A fast low simulation in the context of transition systems is a binary relation where simulating states can match the moves of simulated states while maintaining the equivalence of low variables; stripping is a function that removes high commands from programs. We show that we can prove secure information flow by arguing that the stripping relation is a fast low simulation. We then extend the core theory to an abstract distributed language under a nondeterministic scheduler. Next, we extend to a probabilistic language with a random assignment command; we generalize fast simulation to the setting of discrete time Markov Chains, and prove approximate probabilistic noninterference. Finally, we introduce cryptographic primitives into the probabilistic language and prove computational noninterference, provided that the underling encryption scheme is secure.

Transcription-Coupled DNA Supercoiling in Escherichia Coli: Mechanisms and Biological Functions

Transcription by RNA polymerase can induce the formation of hypernegatively supercoiled DNA both in vivo and in vitro. This phenomenon has been explained by a “twin-supercoiled-domain” model of transcription where a positively supercoiled domain is generated ahead of the RNA polymerase and a negatively supercoiled domain behind it. In E. coli cells, transcription-induced topological change of chromosomal DNA is expected to actively remodel chromosomal structure and greatly influence DNA transactions such as transcription, DNA replication, and recombination. In this study, an IPTG-inducible, two-plasmid system was established to study transcription-coupled DNA supercoiling (TCDS) in E. coli topA strains. By performing topology assays, biological studies, and RT-PCR experiments, TCDS in E. coli topA strains was found to be dependent on promoter strength. Expression of a membrane-insertion protein was not needed for strong promoters, although co-transcriptional synthesis of a polypeptide may be required. More importantly, it was demonstrated that the expression of a membrane-insertion tet gene was not sufficient for the production of hypernegatively supercoiled DNA. These phenomenon can be explained by the “twin-supercoiled-domain” model of transcription where the friction force applied to E. coli RNA polymerase plays a critical role in the generation of hypernegatively supercoiled DNA. Additionally, in order to explore whether TCDS is able to greatly influence a coupled DNA transaction, such as activating a divergently-coupled promoter, an in vivo system was set up to study TCDS and its effects on the supercoiling-sensitive leu-500 promoter. The leu-500 mutation is a single A-to-G point mutation in the -10 region of the promoter controlling the leu operon, and the AT to GC mutation is expected to increase the energy barrier for the formation of a functional transcription open complex. Using luciferase assays and RT-PCR experiments, it was demonstrated that transient TCDS, “confined” within promoter regions, is responsible for activation of the coupled transcription initiation of the leu-500 promoter. Taken together, these results demonstrate that transcription is a major chromosomal remodeling force in E. coli cells.