Council Activities in Nebraska

n/

Predictors of depression recovery in HIV-infected individuals managed through measurement-based care in infectious disease clinics

Treatment of comorbid chronic disease, such as depression, in people living with HIV/AIDS (PLWHA) increasingly falls to HIV treatment providers. Guidance in who will best respond to depression treatment and which patient-centered symptoms are best to target is limited

A Fully Abstract Symbolic Semantics for Psi-Calculi

We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics. A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted between processes and their names can be statically scoped using the standard pi-calculus mechanism to allow for scope migrations. Psi-calculi can be more general than other proposed extensions of the pi-calculus such as the applied pi-calculus, the spi-calculus, the fusion calculus, or the concurrent constraint pi-calculus. Symbolic semantics are necessary for an efficient implementation of the calculus in automated tools exploring state spaces, and the full abstraction property means the semantics of a process does not change from the original

The Control, Development and Utilization of the Missouri River and its Tributaries

The speakers at this conference were Professors Condra, Caldwell, Stout, Phillips, Bengtson, and Gov. George L. Sheldon, with Dean Charles E. Bessey presiding. The principal object of the meeting was to make known reliable information in regard to the Missouri river, concerning which there is widespread interest and in some instances a tendency to magnify the future possibilities of the river. This paper is an account of the conference. It gives some of the thoughts that were emphasized at the symposium, reciting the facts as they were given by those who have investigated the respective phases of the theme. GEOGRAPHIC CONDITIONS IN THE MISSOURI RIVER BASIN. BY G. E. CONDRA EARLY NAVIGATION ON THE MISSOURI RIVER. BY H. W. CALDWELL THE RELATIONS OF POWER AND IRRIGATION AT THE HEADWATERS OF THE MISSOURI TO FLOODS IN THE LOWER COURSES OF THE RIVER BY O. V. P. STOUT THE RELATIONS OF FORES\u27fS TO RUN-OFF WATER. BY F. J. PHILLIPS MEANDERS OF THE MISSOURI RIVER AND THEIR EFFECTS. BY. N. A. BENGTSON WAYS AND MEANS. GOV. GEO. L, SHELDON

Intermittency in Branching Processes

We study the intermittency properties of two branching processes, one with a uniform and another with a singular splitting kernel. The asymptotic intermittency indices, as well as the leading corrections to the asymptotic linear regime are explicitly computed in an analytic framework. Both models are found to possess a monofractal spectrum with $\varphi_{q}=q-1$. Relations with previous results are discussed.Comment: 20 pages, UCLA93/TEP/2

Ageing and Long-Term Care Planning Perceptions of Hispanics in the USA: Evidence from a Case Study in New London, Connecticut

This paper explores the ageing attitudes and long-term care planning behavior of adult Hispanics in New London, Connecticut, a town with 30 thousand inhabitants that is rapidly ageing. We conducted six focus groups and had 37 participants share their ageing perceptions and long-term care needs. Our main findings suggest that informal care arrangements are vulnerable and unsustainable especially since women have historically and disproportionately provided most family eldercare even at their own personal and financial expense. Though male participants expected their female relatives to care for them when they age and need personal assistance, female participants did not necessarily expect the same from their relatives including their daughters. Also, both formal and government long-term care systems lack cultural competence and can be prohibitively costly. Therefore, Hispanics plan for ageing within their circles of family care and their resilience in a context of cultural exclusion and socio-economic disadvantage epitomizes strong intergenerational values. These support networks may help explain why may outlive whites (the Hispanic paradox ) who, on average, have higher wealth and education levels. Long-term care planning is a complex process that cannot be relayed to families only. Adequate training for family members from other relatives, and from private and government entities to appropriately convey this type of planning is vital to ensure that Hispanic families understand their options

Foundations for decision problems in separation logic with general inductive predicates

Abstract. We establish foundational results on the computational com-plexity of deciding entailment in Separation Logic with general induc-tive predicates whose underlying base language allows for pure formulas, pointers and existentially quantified variables. We show that entailment is in general undecidable, and ExpTime-hard in a fragment recently shown to be decidable by Iosif et al. Moreover, entailment in the base language is ΠP2-complete, the upper bound even holds in the presence of list predicates. We additionally show that entailment in essentially any fragment of Separation Logic allowing for general inductive predicates is intractable even when strong syntactic restrictions are imposed.

The Rqc2/Tae2 subunit of the ribosome-associated quality control (RQC) complex marks ribosome-stalled nascent polypeptide chains for aggregation

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Ribosome stalling during translation can potentially be harmful, and is surveyed by a conserved quality control pathway that targets the associated mRNA and nascent polypeptide chain (NC). In this pathway, the ribosome-associated quality control (RQC) complex promotes the ubiquitylation and degradation of NCs remaining stalled in the 60S subunit. NC stalling is recognized by the Rqc2/Tae2 RQC subunit, which also stabilizes binding of the E3 ligase, Listerin/Ltn1. Additionally, Rqc2 modifies stalled NCs with a carboxy-terminal, Ala- and Thr-containing extension-the 'CAT tail'. However, the function of CAT tails and fate of CAT tail-modified ('CATylated') NCs has remained unknown. Here we show that CATylation mediates formation of detergent-insoluble NC aggregates. CATylation and aggregation of NCs could be observed either by inactivating Ltn1 or by analyzing NCs with limited ubiquitylation potential, suggesting that inefficient targeting by Ltn1 favors the Rqc2-mediated reaction. These findings uncover a translational stalling-dependent protein aggregation mechanism, and provide evidence that proteins can become specifically marked for aggregation.Ribosome stalling during translation can potentially be harmful, and is surveyed by a conserved quality control pathway that targets the associated mRNA and nascent polypeptide chain (NC). In this pathway, the ribosome-associated quality control (RQC) com5116CNQP - CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICOConselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)202144/2011-9We thank J Warner, A van Hoof, R Kopito, O Brandman, and S Lindquist for reagents. EBT gratefully acknowledges the Brazilian Council for Scientific and Technological Development (CNPq) for a Postdoctoral Fellowship. MK was supported by the Hartmut Hoffma

PhyloSim - Monte Carlo simulation of sequence evolution in the R statistical computing environment

<p>Abstract</p> <p>Background</p> <p>The Monte Carlo simulation of sequence evolution is routinely used to assess the performance of phylogenetic inference methods and sequence alignment algorithms. Progress in the field of molecular evolution fuels the need for more realistic and hence more complex simulations, adapted to particular situations, yet current software makes unreasonable assumptions such as homogeneous substitution dynamics or a uniform distribution of indels across the simulated sequences. This calls for an extensible simulation framework written in a high-level functional language, offering new functionality and making it easy to incorporate further complexity.</p> <p>Results</p> <p><monospace>PhyloSim</monospace> is an extensible framework for the Monte Carlo simulation of sequence evolution, written in R, using the Gillespie algorithm to integrate the actions of many concurrent processes such as substitutions, insertions and deletions. Uniquely among sequence simulation tools, <monospace>PhyloSim</monospace> can simulate arbitrarily complex patterns of rate variation and multiple indel processes, and allows for the incorporation of selective constraints on indel events. User-defined complex patterns of mutation and selection can be easily integrated into simulations, allowing <monospace>PhyloSim</monospace> to be adapted to specific needs.</p> <p>Conclusions</p> <p>Close integration with <monospace>R</monospace> and the wide range of features implemented offer unmatched flexibility, making it possible to simulate sequence evolution under a wide range of realistic settings. We believe that <monospace>PhyloSim</monospace> will be useful to future studies involving simulated alignments.</p