The Cost of Monitoring Alone

We compare the succinctness of two monitoring systems for properties of infinite traces, namely parallel and regular monitors. Although a parallel monitor can be turned into an equivalent regular monitor, the cost of this transformation is a double-exponential blowup in the syntactic size of the monitors, and a triple-exponential blowup when the goal is a deterministic monitor. We show that these bounds are tight and that they also hold for translations between corresponding fragments of Hennessy-Milner logic with recursion over infinite traces.Comment: 22 page

Volume limited dependent Galactic model parameters

We estimated 34 sets of Galactic model parameters for three intermediate latitude fields with Galactic longitudes l=60, l=90, and l=180, and we discussed their dependence on the volume. Also, we confirmed the variation of these parameters with absolute magnitude and Galactic longitude. The star samples in two fields are restricted with bright and unit absolute magnitude intervals, (4,5], and (5,6], whereas for the third field a larger absolute magnitude interval is adopted, (4,10]. The limiting apparent magnitudes of star samples are g=15 and g=22.5 mag which provide space densities within distances in the line of sight 0.9 and 25 kpc. The Galactic model parameters for the thin disc are not volume dependent. However, the ones for thick disc and halo do show spectacular trends in their variations with volume, except for the scalelength of the thick disc. The local space density of the thick disc increases, whereas the scaleheight of the same Galactic component decreases monotonically. However, both model parameters approach asymptotic values at large distances. The axial ratio of the halo increases abruptly for the volumes where thick disc is dominant, whereas it approaches an asymptotic value gradually for larger volumes, indicating a continuous transition from disclike structure to a spherical one at the outermost region of the Galaxy. The variation of the Galactic model parameters with absolute magnitude can be explained by their dependence on the stellar luminosity, whereas the variation with volume and Galactic longitude at short distances is a bias in analysis.Comment: 12 pages, including 8 figures and 5 tables, accepted for publication in PAS

Seasonal movements and habitat use of African buffalo in Ruaha National Park, Tanzania.

BACKGROUND:Assessing wildlife movements and habitat use is important for species conservation and management and can be informative for understanding population dynamics. The African buffalo (Syncerus caffer) population of Ruaha National Park, Tanzania has been declining, and little was known about the movement, habitat selection, and space use of the population, which is important for understanding possible reasons behind the decline. A total of 12 African buffalo cows from four different herds were collared with satellite transmitters. Movements were assessed over 2 years from 11 animals. RESULTS:The space use of the individual collared buffaloes as an approximation of the 95% home range size estimated using Brownian bridge models, ranged from 73 to 601 km2. The estimated home ranges were larger in the wet season than in the dry season. With the exception of one buffalo all collared animals completed a wet season migration of varying distances. A consistent pattern of seasonal movement was observed with one herd, whereas the other herds did not behave the same way in the two wet seasons that they were tracked. Herd splitting and herd switching occurred on multiple occasions. Buffaloes strongly associated with habitats near the Great Ruaha River in the dry season and had little association to permanent water sources in the wet season. Daily movements averaged 4.6 km (standard deviation, SD = 2.6 km), with the longest distances traveled during November (mean 6.9 km, SD = 3.6 km) at the end of the dry season and beginning of the wet season. The shortest daily distances traveled occurred in the wet season in April-June (mean 3.6 km, SD = 1.6-1.8 km). CONCLUSION:The Great Ruaha River has experienced significant drying in the last decades due to water diversions upstream, which likely has reduced the suitable range for buffaloes. The loss of dry season habitat due to water scarcity has likely contributed to the population decline of the Ruaha buffaloes

Don’t turn your back on the symptoms of psychosis : a proof-of-principle, quasi-experimental public health trial to reduce the duration of untreated psychosis in Birmingham, UK

Background: Reducing the duration of untreated psychosis (DUP) is an aspiration of international guidelines for first episode psychosis; however, public health initiatives have met with mixed results. Systematic reviews suggest that greater focus on the sources of delay within care pathways, (which will vary between healthcare settings) is needed to achieve sustainable reductions in DUP (BJP 198: 256-263; 2011). Methods/Design: A quasi-experimental trial, comparing a targeted intervention area with a ‘detection as usual’ area in the same city. A proof-of–principle trial, no a priori assumptions are made regarding effect size; key outcome will be an estimate of the potential effect size for a definitive trial. DUP and number of new cases will be collected over an 18-month period in target and control areas and compared; historical data on DUP collected in both areas over the previous three years, will serve as a benchmark. The intervention will focus on reducing two significant DUP component delays within the overall care pathway: delays within the mental health service and help-seeking delay. Discussion: This pragmatic trial will be the first to target known delays within the care pathway for those with a first episode of psychosis. If successful, this will provide a generalizable methodology that can be implemented in a variety of healthcare contexts with differing sources of delay. Trial registration: http://www.controlled-trials.com/ISRCTN45058713 Keywords: Public mental health campaign, First-episode psychosis, Early detection, Duration of untreated psychosis, Youth mental healt

Reproducibility of CSF quantitative culture methods for estimating rate of clearance in cryptococcal meningitis.

Quantitative cerebrospinal fluid (CSF) cultures provide a measure of disease severity in cryptococcal meningitis. The fungal clearance rate by quantitative cultures has become a primary endpoint for phase II clinical trials. This study determined the inter-assay accuracy of three different quantitative culture methodologies. Among 91 participants with meningitis symptoms in Kampala, Uganda, during August-November 2013, 305 CSF samples were prospectively collected from patients at multiple time points during treatment. Samples were simultaneously cultured by three methods: (1) St. George's 100 mcl input volume of CSF with five 1:10 serial dilutions, (2) AIDS Clinical Trials Group (ACTG) method using 1000, 100, 10 mcl input volumes, and two 1:100 dilutions with 100 and 10 mcl input volume per dilution on seven agar plates; and (3) 10 mcl calibrated loop of undiluted and 1:100 diluted CSF (loop). Quantitative culture values did not statistically differ between St. George-ACTG methods (P= .09) but did for St. George-10 mcl loop (P< .001). Repeated measures pairwise correlation between any of the methods was high (r≥0.88). For detecting sterility, the ACTG-method had the highest negative predictive value of 97% (91% St. George, 60% loop), but the ACTG-method had occasional (∼10%) difficulties in quantification due to colony clumping. For CSF clearance rate, St. George-ACTG methods did not differ overall (mean -0.05 ± 0.07 log10CFU/ml/day;P= .14) on a group level; however, individual-level clearance varied. The St. George and ACTG quantitative CSF culture methods produced comparable but not identical results. Quantitative cultures can inform treatment management strategies

Prevalence and risk factors associated with chronic kidney disease in Nepal: evidence from a nationally representative population-based cross-sectional study.

OBJECTIVE: This study aimed to determine population-based prevalence of chronic kidney disease (CKD) and its associated factors in Nepal. STUDY DESIGN: The study was a nationwide population-based cross-sectional study. SETTING AND PARTICIPANTS: Cross-sectional survey conducted in a nationally representative sample of 12 109 Nepalese adult from 2016 to 2018 on selected chronic non-communicable diseases was examined. Multistage cluster sampling with a mix of probability proportionate to size and systematic random sampling was used for the selection of individuals aged 20 years and above. PRIMARY AND SECONDARY OUTCOME MEASURES: Primary outcome in this study was population-based prevalence of CKD in Nepal. A participant was considered to have CKD if the urine albumin-to-creatinine ratio was greater than or equal to 30 mg/g and/or estimated glomerular filtration rate is less than 60 mL/min/1.73 m2 at baseline and in follow-up using modification of diet in renal disease study equations. The secondary outcome measure was factors associated with CKD in Nepal. The covariate adjusted association of risk factors and CKD was calculated using multivariable binary logistic regression. RESULTS: The overall prevalence of CKD in Nepal was 6.0% (95% CI 5.5 to 6.6). Factors independently associated with CKD included older age (adjusted OR (AOR) 2.6, 95% CI 1.9 to 3.6), Dalit caste (AOR 1.6, 95% CI 1.1 to 2.3), hypertension (AOR 2.4, 95% CI 2.0 to 3.0), diabetes mellitus (AOR 3.2, 95% CI 2.5 to 4.1), raised total cholesterol (AOR 1.3, 95% CI 1.0 to 1.6) and increased waist-to-hip ratio (AOR 1.6, 95% CI 1.2 to 2.3). CONCLUSION: This nationally representative study shows that the prevalence of CKD in the adult population of Nepal is substantial, and it is independently associated with several cardiometabolic traits. These findings warrant longitudinal studies to identify the causes of CKD in Nepal and effective strategies to prevent it

Differential expression of collectins in human placenta and role in inflammation during spontaneous Labor.

© 2014 Yadav et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.Collectins, collagen-containing Ca2+ dependent C-type lectins and a class of secretory proteins including SP-A, SP-D and MBL, are integral to immunomodulation and innate immune defense. In the present study, we aimed to investigate their placental transcript synthesis, labor associated differential expression and localization at feto-maternal interface, and their functional implication in spontaneous labor. The study involved using feto-maternal interface (placental/decidual tissues) from two groups of healthy pregnant women at term (≥37 weeks of gestation), undergoing either elective C-section with no labor ('NLc' group, n = 5), or normal vaginal delivery with spontaneous labor ('SLv' group, n = 5). The immune function of SP-D, on term placental explants, was analyzed for cytokine profile using multiplexed cytokine array. SP-A, SP-D and MBL transcripts were observed in the term placenta. The 'SLv' group showed significant up-regulation of SP-D (p = 0.001), and down-regulation of SP-A (p = 0.005), transcripts and protein compared to the 'NLc' group. Significant increase in 43 kDa and 50 kDa SP-D forms in placental and decidual tissues was associated with the spontaneous labor (p<0.05). In addition, the MMP-9-cleaved form of SP-D (25 kDa) was significantly higher in the placentae of 'SLv' group compared to the 'NLc' group (p = 0.002). Labor associated cytokines IL-1α, IL-1β, IL-6, IL-8, IL-10, TNF-α and MCP-1 showed significant increase (p<0.05) in a dose dependent manner in the placental explants treated with nSP-D and rhSP-D. In conclusion, the study emphasizes that SP-A and SP-D proteins associate with the spontaneous labor and SP-D plausibly contributes to the pro-inflammatory immune milieu of feto-maternal tissues.Funding provided by BT/PR15227/BRB/10/906/2011) Department of Biotechnology (DBT), Government of India http://dbtindia.nic.in/index.asp (TM) and Indian Council of Medical Research (ICMR) Junior Research Fellowship (JRF)/Senior Research Fellowship (SRF), Government of India, www.icmr.nic.in (AKY)

The Information Of The Milky Way From 2MASS Whole Sky Star Count: The Structure Parameters

The Ks band differential star count of the Two Micron All Sky Survey (2MASS) is used to derive the global structure parameters of the smooth components of the Milky Way. To avoid complication introduced by other fine structures and significant extinction near and at the Galactic plane, we only consider Galactic latitude |b| > 30 degree data. The star count data is fitted with a threecomponent model: double exponential thin disk and thick disk, and a power law decay oblate halo. Using maximum likelihood the best-fit local density of thin disk is n0 = 0.030 +- 0.002 stars/pc^3. The best-fit scale-height and length of the thin disk are Hz1 = 360+-10 pc and Hr1 = 3.7+-1.0 kpc, and those of the thick disk are and Hz2 = 1020+-30 pc and Hr2 = 5.0+-1.0 kpc, the local thick-to-thin disk density ratio is f2 = 7+-1%. The best-fit axis ratio, power law index and local density ratio of the oblate halo are kappa = 0.55+-0.15, p = 2.6+-0.6 and fh = 0.20+-0:10%, respectively. Moreover, we find some degeneracy among the key parameters (e.g. n0,Hz1, f2 and Hz2). Any pair of these parameters are anticorrelated to each other. The 2MASS data can be well-fitted by several possible combinations of parameters. This is probably the reason that there is a wide range of values for the structure parameters in literature similar to this study. Since only medium and high Galactic latitude data are analyzed, the fitting is very insensitive to the scale-lengths of the disks.Comment: 25 pages, 4 figures, accepted by ApJ on July 15 201

Large-scale validation of methods for cytotoxic T-lymphocyte epitope prediction

<p>Abstract</p> <p>Background</p> <p>Reliable predictions of Cytotoxic T lymphocyte (CTL) epitopes are essential for rational vaccine design. Most importantly, they can minimize the experimental effort needed to identify epitopes. NetCTL is a web-based tool designed for predicting human CTL epitopes in any given protein. It does so by integrating predictions of proteasomal cleavage, TAP transport efficiency, and MHC class I affinity. At least four other methods have been developed recently that likewise attempt to predict CTL epitopes: EpiJen, MAPPP, MHC-pathway, and WAPP. In order to compare the performance of prediction methods, objective benchmarks and standardized performance measures are needed. Here, we develop such large-scale benchmark and corresponding performance measures and report the performance of an updated version 1.2 of NetCTL in comparison with the four other methods.</p> <p>Results</p> <p>We define a number of performance measures that can handle the different types of output data from the five methods. We use two evaluation datasets consisting of known HIV CTL epitopes and their source proteins. The source proteins are split into all possible 9 mers and except for annotated epitopes; all other 9 mers are considered non-epitopes. In the RANK measure, we compare two methods at a time and count how often each of the methods rank the epitope highest. In another measure, we find the specificity of the methods at three predefined sensitivity values. Lastly, for each method, we calculate the percentage of known epitopes that rank within the 5% peptides with the highest predicted score.</p> <p>Conclusion</p> <p>NetCTL-1.2 is demonstrated to have a higher predictive performance than EpiJen, MAPPP, MHC-pathway, and WAPP on all performance measures. The higher performance of NetCTL-1.2 as compared to EpiJen and MHC-pathway is, however, not statistically significant on all measures. In the large-scale benchmark calculation consisting of 216 known HIV epitopes covering all 12 recognized HLA supertypes, the NetCTL-1.2 method was shown to have a sensitivity among the 5% top-scoring peptides above 0.72. On this dataset, the best of the other methods achieved a sensitivity of 0.64. The NetCTL-1.2 method is available at <url>http://www.cbs.dtu.dk/services/NetCTL</url>.</p> <p>All used datasets are available at <url>http://www.cbs.dtu.dk/suppl/immunology/CTL-1.2.php</url>.</p

Knee arthroplasty: are patients' expectations fulfilled?: A prospective study of pain and function in 102 patients with 5-year follow-up

Background and purpose With an aging population expecting an active life after retirement, patients’ expectations of improvement after surgery are also increasing. We analyzed the relationship between preoperative expectations and postoperative satisfaction and self-reported outcomes with regard to pain and physical function after knee arthroplasty