Duration of untreated psychosis and social function: 1-year follow-up study of first-episode schizophrenia.

BACKGROUND: In first-episode schizophrenia, longer duration of untreated psychosis (DUP) predicts poorer outcomes. AIMS: To address whether the relationship between DUP and outcome is a direct causal one or the result of association between symptoms and/or cognitive functioning and social functioning at the same time point. METHOD: Symptoms, social function and cognitive function were assessed in 98 patients with first-episode schizphrenia at presentation and 1 year later. RESULTS: There was no significant clinical difference between participants with short and long DUP at presentation. Linear regression analyses revealed that longer DUP significantly predicted more severe positive and negative symptoms and poorer social function at 1 year, independent of scores at presentation. Path analyses revealed independent direct relationships between DUP and social function, core negative symptoms and positive symptoms. There was no significant association between DUP and cognition. CONCLUSIONS: Longer DUP predicts poor social function independently of symptoms. The findings underline the importance of taking account of the phenomenological overlap between measures of negative symptoms and social function when investigating the effects of DUP

The androgen receptor and signal-transduction pathways in hormone-refractory prostate cancer. Part 1: modifications to the androgen receptor

Prostate cancer is the second most common male malignancy in the western world an increasing incidence in an ageing population. Treatment of advanced prostate cancer relies on androgen deprivation. Although the majority of patients initially respond favourably to androgen deprivation therapy, the mean time to relapse is 12-18 months. Currently there are few treatments available for men who have developed resistance to hormone therapy, due to the lack of understanding of the molecular mechanisms underlying development of this disease. Recently, however, major advances have been made in understanding both androgen receptor (AR) dependent and independent pathways which promote development of hormone resistant prostate cancer. This review will focus on modifications to the AR and associated pathways. Molecular modifications to the androgen receptor itself, e.g. mutations and/or amplification, although involved in the development of hormone resistance cannot explain all cases. Phosphorylation of AR, via either Ras/MAP kinase or PI3K/Akt signal transduction pathways, have been shown to activate AR in both a ligand (androgen) dependent and independent fashion. During this review we will discuss the clinical evidence to support AR dependent pathways as mediators of hormone resistance

Z2SAL: a translation-based model checker for Z

Despite being widely known and accepted in industry, the Z formal specification language has not so far been well supported by automated verification tools, mostly because of the challenges in handling the abstraction of the language. In this paper we discuss a novel approach to building a model-checker for Z, which involves implementing a translation from Z into SAL, the input language for the Symbolic Analysis Laboratory, a toolset which includes a number of model-checkers and a simulator. The Z2SAL translation deals with a number of important issues, including: mapping unbounded, abstract specifications into bounded, finite models amenable to a BDD-based symbolic checker; converting a non-constructive and piecemeal style of functional specification into a deterministic, automaton-based style of specification; and supporting the rich set-based vocabulary of the Z mathematical toolkit. This paper discusses progress made towards implementing as complete and faithful a translation as possible, while highlighting certain assumptions, respecting certain limitations and making use of available optimisations. The translation is illustrated throughout with examples; and a complete working example is presented, together with performance data

On finitely ambiguous B\"uchi automata

Unambiguous B\"uchi automata, i.e. B\"uchi automata allowing only one accepting run per word, are a useful restriction of B\"uchi automata that is well-suited for probabilistic model-checking. In this paper we propose a more permissive variant, namely finitely ambiguous B\"uchi automata, a generalisation where each word has at most $k$ accepting runs, for some fixed $k$. We adapt existing notions and results concerning finite and bounded ambiguity of finite automata to the setting of $\omega$-languages and present a translation from arbitrary nondeterministic B\"uchi automata with $n$ states to finitely ambiguous automata with at most $3^n$ states and at most $n$ accepting runs per word

Once a pond in time: employing palaeoecology to inform farmland pond restoration

The restoration of highly terrestrialized farmland ponds that combines the removal of woody vegetation and pond sediment greatly enhances aquatic biodiversity. Nonetheless, questions remain regarding the historical precedent of pond restoration, and particularly if post-restoration aquatic macrophyte communities resemble pre-terrestrialization assemblages. We used a paleoecological approach to address these questions for a typical, recently restored farmland pond in Norfolk, eastern England. Plant and animal remains in pond sediment cores were used to infer decadal-centennial scale changes to pond communities and to identify past pond management events. We then evaluated the resemblance of restored and historical assemblages by comparisons with contemporary post-restoration vegetation data. Based on changes in the abundance of terrestrial leaf remains and other indicators (increases followed by declines of aquatic organisms), the study pond appears to have a long history (going back to the early-1800s) of canopy management (at least three inferred management events), but after the mid-1970s, steady and substantial increases in terrestrial indicators, suggest cessation of management resulting in uninterrupted terrestrialization. Aquatic macrophyte communities arising after restoration showed some similarities with historical assemblages, but also contained apparently new species. This study demonstrates how paleolimnological methods can improve understanding of pond ecological histories to better inform restoration targets and practices. Implications for Practice Paleolimnological methods can be successfully employed at small, human-made ponds to assess past biological communities and trajectories of ecological change. Restoration of heavily terrestrialized farmland ponds through major woody vegetation and sediment removal mimics periodic management activities undertaken over past centuries and is essential to the maintenance of open canopy conditions and biodiversity conservation. Caution must be taken when setting restoration targets for farmland ponds as rare macrophyte species indicative of high water quality may not necessarily return to restored pond habitats due to fragmentation effects associated with the loss of local populations and/or in-pond eutrophication development

Hybrid Algorithms Based on Integer Programming for the Search of Prioritized Test Data in Software Product Lines

In Software Product Lines (SPLs) it is not possible, in general, to test all products of the family. The number of products denoted by a SPL is very high due to the combinatorial explosion of features. For this reason, some coverage criteria have been proposed which try to test at least all feature interactions without the necessity to test all products, e.g., all pairs of features (pairwise coverage). In addition, it is desirable to first test products composed by a set of priority features. This problem is known as the Prioritized Pairwise Test Data Generation Problem. In this work we propose two hybrid algorithms using Integer Programming (IP) to generate a prioritized test suite. The first one is based on an integer linear formulation and the second one is based on a integer quadratic (nonlinear) formulation. We compare these techniques with two state-of-the-art algorithms, the Parallel Prioritized Genetic Solver (PPGS) and a greedy algorithm called prioritized-ICPL. Our study reveals that our hybrid nonlinear approach is clearly the best in both, solution quality and computation time. Moreover, the nonlinear variant (the fastest one) is 27 and 42 times faster than PPGS in the two groups of instances analyzed in this work.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Partially funded by the Spanish Ministry of Economy and Competitiveness and FEDER under contract TIN2014-57341-R, the University of Málaga, Andalucía Tech and the Spanish Network TIN2015-71841-REDT (SEBASENet)

On the Weyl transverse frames in type I spacetimes

We apply a covariant and generic procedure to obtain explicit expressions of the transverse frames that a type I spacetime admits in terms of an arbitrary initial frame. We also present a simple and general algorithm to obtain the Weyl scalars $\Psi_2^T$, $\Psi_0^T$ and $\Psi_4^T$ associated with these transverse frames. In both cases it is only necessary to choose a particular root of a cubic expression.Comment: 12 pages, submitted to Gen. Rel. Grav. (6-3-2004

Observations of Reduced Electron Gyroscale Fluctuations in National Spherical Torus Experiment H-Mode Plasmas with Large E X B Flow Shear

Electron gyroscale fluctuation measurements in National Spherical Torus Experiment H-mode plasmas with large toroidal rotation reveal fluctuations consistent with electron temperature gradient (ETG) turbulence. Large toroidal rotation in National Spherical Torus Experiment plasmas with neutral beam injection generates ExB flow shear rates comparable to ETG linear growth rates. Enhanced fluctuations occur when the electron temperature gradient is marginally stable with respect to the ETG linear critical gradient. Fluctuation amplitudes decrease when the ExB flow shear rate exceeds ETG linear growth rates. The observations indicate that ExB flow shear can be an effective suppression mechanism for ETG turbulence.X1129sciescopu

Functional Quantum Nodes for Entanglement Distribution over Scalable Quantum Networks

We demonstrate entanglement distribution between two remote quantum nodes located 3 meters apart. This distribution involves the asynchronous preparation of two pairs of atomic memories and the coherent mapping of stored atomic states into light fields in an effective state of near maximum polarization entanglement. Entanglement is verified by way of the measured violation of a Bell inequality, and can be used for communication protocols such as quantum cryptography. The demonstrated quantum nodes and channels can be used as segments of a quantum repeater, providing an essential tool for robust long-distance quantum communication.Comment: 10 pages, 7 figures. Text revised, additional information included in Appendix. Published online in Science Express, 5 April, 200

Analytic regularity for a singularly perturbed system of reaction-diffusion equations with multiple scales: proofs

We consider a coupled system of two singularly perturbed reaction-diffusion equations, with two small parameters $0< \epsilon \le \mu \le 1$, each multiplying the highest derivative in the equations. The presence of these parameters causes the solution(s) to have \emph{boundary layers} which overlap and interact, based on the relative size of $\epsilon$ and $$. We construct full asymptotic expansions together with error bounds that cover the complete range $0 < \epsilon \leq \mu \leq 1$. For the present case of analytic input data, we derive derivative growth estimates for the terms of the asymptotic expansion that are explicit in the perturbation parameters and the expansion order