Tree Buffers

In runtime verification, the central problem is to decide if a given program execution violates a given property. In online runtime verification, a monitor observes a program’s execution as it happens. If the program being observed has hard real-time constraints, then the monitor inherits them. In the presence of hard real-time constraints it becomes a challenge to maintain enough information to produce error traces, should a property violation be observed. In this paper we introduce a data structure, called tree buffer, that solves this problem in the context of automata-based monitors: If the monitor itself respects hard real-time constraints, then enriching it by tree buffers makes it possible to provide error traces, which are essential for diagnosing defects. We show that tree buffers are also useful in other application domains. For example, they can be used to implement functionality of capturing groups in regular expressions. We prove optimal asymptotic bounds for our data structure, and validate them using empirical data from two sources: regular expression searching through Wikipedia, and runtime verification of execution traces obtained from the DaCapo test suite

Dot1 binding induces chromatin rearrangements by histone methylation-dependent and -independent mechanisms

<p>Abstract</p> <p>Background</p> <p>Methylation of histone H3 lysine 79 (H3K79) by Dot1 is highly conserved among species and has been associated with both gene repression and activation. To eliminate indirect effects and examine the direct consequences of Dot1 binding and H3K79 methylation, we investigated the effects of targeting Dot1 to different positions in the yeast genome.</p> <p>Results</p> <p>Targeting Dot1 did not activate transcription at a euchromatic locus. However, chromatin-bound Dot1 derepressed heterochromatin-mediated gene silencing over a considerable distance. Unexpectedly, Dot1-mediated derepression was established by both a H3K79 methylation-dependent and a methylation-independent mechanism; the latter required the histone acetyltransferase Gcn5. By monitoring the localization of a fluorescently tagged telomere in living cells, we found that the targeting of Dot1, but not its methylation activity, led to the release of a telomere from the repressive environment at the nuclear periphery. This probably contributes to the activity-independent derepression effect of Dot1.</p> <p>Conclusions</p> <p>Targeting of Dot1 promoted gene expression by antagonizing gene repression through both histone methylation and chromatin relocalization. Our findings show that binding of Dot1 to chromatin can positively affect local gene expression by chromatin rearrangements over a considerable distance.</p

Prevalence and Correlates of Common Mental Disorders among Mothers of Young Children in Kilimanjaro Region of Tanzania.

Although poor maternal mental health is a major public health problem, with detrimental effects on the individual, her children and society, information on its correlates in low-income countries is sparse. This study investigates the prevalence of common mental disorders (CMD) among at-risk mothers, and explores its associations with sociodemographic factors. This population-based survey of mothers of children aged 0-36 months used the 14-item Shona Symptom Questionnaire (SSQ). Mothers whose response was "yes" to 8 or more items on the scale were defined as "at risk of CMD." Of the 1,922 mothers (15-48 years), 28.8% were at risk of CMD. Risk of CMD was associated with verbal abuse, physical abuse, a partner who did not help with the care of the child, being in a polygamous relationship, a partner with low levels of education, and a partner who smoked cigarettes. Cohabiting appeared to be protective. Taken together, our results indicate the significance of the quality of relations with one's partner in shaping maternal mental health. The high proportion of mothers who are at risk of CMD emphasizes the importance of developing evidence-based mental health programmes as part of the care package aimed at improving maternal well-being in Tanzania and other similar settings

Reasoning deficits among illicit drug users are associated with aspects of cannabis use

Background. Deficits in deductive reasoning have been observed among ecstasy/polydrug users. The present study seeks to investigate dose-related effects of specific drugs and whether these vary with the cognitive demands of the task. Methods. One hundred and five participants (mean age 21.33, S.D. 3.14; 77 females, 28 males) attempted to generate solutions for eight one-model syllogisms and one syllogism for which there was no valid conclusion (NVC). All of the one model syllogisms generated at least one valid conclusion and six generated two valid conclusions. In these six cases one of the conclusions was classified as common and the other as non-common. Results. The number of valid common inferences was negatively associated with aspects of short term cannabis use and with measures of IQ. The outcomes observed were more than simple post intoxication effects since cannabis use in the 10 days immediately before testing was unrelated to reasoning performance. Following adjustment for multiple comparisons, the number of non-common valid inferences was not significantly associated with any of the drug use measures. Conclusions. Recent cannabis use appears to impair the processes associated with generating valid common inferences while not affecting the production of non-common inferences. It is possible, therefore, that the two types of inference may recruit different executive resources which may differ in their susceptibility to cannabis-related effects

Captive reptile mortality rates in the home and implications for the wildlife trade

The trade in wildlife and keeping of exotic pets is subject to varying levels of national and international regulation and is a topic often attracting controversy. Reptiles are popular exotic pets and comprise a substantial component of the live animal trade. High mortality of traded animals raises welfare concerns, and also has implications for conservation if collection from the wild is required to meet demand. Mortality of reptiles can occur at any stage of the trade chain from collector to consumer. However, there is limited information on mortality rates of reptiles across trade chains, particularly amongst final consumers in the home. We investigated mortality rates of reptiles amongst consumers using a specialised technique for asking sensitive questions, additive Randomised Response Technique (aRRT), as well as direct questioning (DQ). Overall, 3.6% of snakes, chelonians and lizards died within one year of acquisition. Boas and pythons had the lowest reported mortality rates of 1.9% and chameleons had the highest at 28.2%. More than 97% of snakes, 87% of lizards and 69% of chelonians acquired by respondents over five years were reported to be captive bred and results suggest that mortality rates may be lowest for captive bred individuals. Estimates of mortality from aRRT and DQ did not differ significantly which is in line with our findings that respondents did not find questions about reptile mortality to be sensitive. This research suggests that captive reptile mortality in the home is rather low, and identifies those taxa where further effort could be made to reduce mortality rate

Image-Derived Input Function for Human Brain Using High Resolution PET Imaging with [11C](R)-rolipram and [11C]PBR28

The aim of this study was to test seven previously published image-input methods in state-of-the-art high resolution PET brain images. Images were obtained with a High Resolution Research Tomograph plus a resolution-recovery reconstruction algorithm using two different radioligands with different radiometabolite fractions. Three of the methods required arterial blood samples to scale the image-input, and four were blood-free methods. values was quantified using a scoring system. Using the image input methods that gave the most accurate results with Logan analysis, we also performed kinetic modelling with a two-tissue compartment model.)-rolipram, which has a lower metabolite fraction. Compartment modeling gave less reliable results, especially for the estimation of individual rate constants.C]PBR28), the more difficult it is to obtain a reliable image-derived input function; and 4) in association with image inputs, graphical analyses should be preferred over compartmental modelling

Established Risk Factors Account for Most of the Racial Differences in Cardiovascular Disease Mortality

BACKGROUND: Cardiovascular disease (CVD) mortality varies across racial and ethnic groups in the U.S., and the extent that known risk factors can explain the differences has not been extensively explored. METHODS: We examined the risk of dying from acute myocardial infarction (AMI) and other heart disease (OHD) among 139,406 African-American (AA), Native Hawaiian (NH), Japanese-American (JA), Latino and White men and women initially free from cardiovascular disease followed prospectively between 1993–1996 and 2003 in the Multiethnic Cohort Study (MEC). During this period, 946 deaths from AMI and 2,323 deaths from OHD were observed. Relative risks of AMI and OHD mortality were calculated accounting for established CVD risk factors: body mass index (BMI), hypertension, diabetes, smoking, alcohol consumption, amount of vigorous physical activity, educational level, diet and, for women, type and age at menopause and hormone replacement therapy (HRT) use. RESULTS: Established CVD risk factors explained much of the observed racial and ethnic differences in risk of AMI and OHD mortality. After adjustment, NH men and women had greater risks of OHD than Whites (69% excess, P<0.001 and 62% excess, P = 0.003, respectively), and AA women had greater risks of AMI (48% excess, P = 0.01) and OHD (35% excess, P = 0.007). JA men had lower risks of AMI (51% deficit, P<0.001) and OHD (27% deficit, P = 0.001), as did JA women (AMI, 37% deficit, P = 0.03; OHD, 40% deficit, P = 0.001). Latinos had underlying lower risk of AMI death (26% deficit in men and 35% in women, P = 0.03). CONCLUSION: Known risk factors explain the majority of racial and ethnic differences in mortality due to AMI and OHD. The unexplained excess in NH and AA and the deficits in JA suggest the presence of unmeasured determinants for cardiovascular mortality that are distributed unequally across these populations

An organization‐ and category‐level comparison of diagnostic requirements for mental disorders in ICD‐11 and DSM‐5

In 2013, the American Psychiatric Association (APA) published the 5th edition of its Diagnostic and Statistical Manual of Mental Disorders (DSM‐5). In 2019, the World Health Assembly approved the 11th revision of the International Classification of Diseases (ICD‐11). It has often been suggested that the field would benefit from a single, unified classification of mental disorders, although the priorities and constituencies of the two sponsoring organizations are quite different. During the development of the ICD‐11 and DSM‐5, the World Health Organization (WHO) and the APA made efforts toward harmonizing the two systems, including the appointment of an ICD‐DSM Harmonization Group. This paper evaluates the success of these harmonization efforts and provides a guide for practitioners, researchers and policy makers describing the differences between the two systems at both the organizational and the disorder level. The organization of the two classifications of mental disorders is substantially similar. There are nineteen ICD‐11 disorder categories that do not appear in DSM‐5, and seven DSM‐5 disorder categories that do not appear in the ICD‐11. We compared the Essential Features section of the ICD‐11 Clinical Descriptions and Diagnostic Guidelines (CDDG) with the DSM‐5 criteria sets for 103 diagnostic entities that appear in both systems. We rated 20 disorders (19.4%) as having major differences, 42 disorders (40.8%) as having minor definitional differences, 10 disorders (9.7%) as having minor differences due to greater degree of specification in DSM‐5, and 31 disorders (30.1%) as essentially identical. Detailed descriptions of the major differences and some of the most important minor differences, with their rationale and related evidence, are provided. The ICD and DSM are now closer than at any time since the ICD‐8 and DSM‐II. Differences are largely based on the differing priorities and uses of the two diagnostic systems and on differing interpretations of the evidence. Substantively divergent approaches allow for empirical comparisons of validity and utility and can contribute to advances in the field

The Efficacy of Emamectin Benzoate against Infestations of Lepeophtheirus salmonis on Farmed Atlantic Salmon (Salmo salar L) in Scotland, 2002–2006

Infestations of the parasitic copepod Lepeophtheirus salmonis, commonly referred to as sea lice, represent a major challenge to commercial salmon aquaculture. Dependence on a limited number of theraputants to control such infestations has led to concerns of reduced sensitivity in some sea lice populations. This study investigates trends in the efficacy of the in-feed treatment emamectin benzoate in Scotland, the active ingredient most widely used across all salmon producing regions. Study data were drawn from over 50 commercial Atlantic salmon farms on the west coast of Scotland between 2002 and 2006. An epi-informatics approach was adopted whereby available farm records, descriptive epidemiological summaries and statistical linear modelling methods were used to identify factors that significantly affect sea lice abundance following treatment with emamectin benzoate (SLICEH, Schering Plough Animal Health). The results show that although sea lice infestations are reduced following the application of emamectin benzoate, not all treatments are effective. Specifically there is evidence of variation across geographical regions and a reduction in efficacy over time. Reduced sensitivity and potential resistance to currently available medicines are constant threats to maintaining control of sea lice populations on Atlantic salmon farms. There is a need for on-going monitoring of emamectin benzoate treatment efficacy together with reasons for any apparent reduction in performance. In addition, strategic rotation of medicines should be encouraged and empirical evidence for the benefit of such strategies more fully evaluated

Breast epithelial cell proliferation is markedly increased with short-term high levels of endogenous estrogen secondary to controlled ovarian hyperstimulation

Oocyte donors have high serum estradiol (E2) levels similar to the serum levels seen in the first trimester of pregnancy. We report in this article our studies comparing cell proliferation, Ki67 (MIB1), and estrogen and progesterone receptor levels (ERα, PRA, and PRB) in the breast terminal duct lobular units of oocyte donors, women in early pregnancy, and in normally cycling women. Breast tissue and blood samples were obtained from 10 oocyte donors, and 30 pregnant women at 5–18 weeks of gestation. Breast tissue samples were also obtained from 26 normally cycling women. In the oocyte donors: peak E2 (mean ~15,300 pmol/l) was reached on the day before oocyte (and tissue) donation; peak progesterone (P4; mean 36.3 nmol/l) was reached on the day of donation; Ki67 was positively associated with level of E2, and the mean Ki67 was 7.0% significantly greater than the mean 1.8% of cycling women. In the pregnant women: mean E2 rose from ~2,000 pmol/l at 5 weeks of gestation to ~27,000 pmol/l at 18 weeks; mean P4 did not change from ~40 nmol/l until around gestational week 11 when it increased to ~80 nmol/l; mean Ki67 was 15.4% and did not vary with gestational age or E2. Oocyte donors have greatly increased levels of E2 and of breast-cell proliferation, both comparable in the majority of donors to the levels seen in the first trimester of pregnancy. Whether their short durations of greatly increased E2 levels are associated with any long-term beneficial effects on the breast, as occurring in rodent models, is not known