Proof Theory and Ordered Groups

Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of theorems arising in the theory of ordered groups. More precisely: an analytic calculus for abelian l-groups is generated using an ordering theorem for abelian groups; a calculus is generated for l-groups and new decidability proofs are obtained for the equational theory of this variety and extending finite subsets of free groups to right orders; and a calculus for representable l-groups is generated and a new proof is obtained that free groups are orderable

Measuring Accuracy of Automated Parsing and Categorization Tools and Processes in Digital Investigations

This work presents a method for the measurement of the accuracy of evidential artifact extraction and categorization tasks in digital forensic investigations. Instead of focusing on the measurement of accuracy and errors in the functions of digital forensic tools, this work proposes the application of information retrieval measurement techniques that allow the incorporation of errors introduced by tools and analysis processes. This method uses a `gold standard' that is the collection of evidential objects determined by a digital investigator from suspect data with an unknown ground truth. This work proposes that the accuracy of tools and investigation processes can be evaluated compared to the derived gold standard using common precision and recall values. Two example case studies are presented showing the measurement of the accuracy of automated analysis tools as compared to an in-depth analysis by an expert. It is shown that such measurement can allow investigators to determine changes in accuracy of their processes over time, and determine if such a change is caused by their tools or knowledge.Comment: 17 pages, 2 appendices, 1 figure, 5th International Conference on Digital Forensics and Cyber Crime; Digital Forensics and Cyber Crime, pp. 147-169, 201

Population genetics of trypanosoma brucei rhodesiense: clonality and diversity within and between foci

African trypanosomes are unusual among pathogenic protozoa in that they can undergo their complete morphological life cycle in the tsetse fly vector with mating as a non-obligatory part of this development. Trypanosoma brucei rhodesiense, which infects humans and livestock in East and Southern Africa, has classically been described as a host-range variant of the non-human infective Trypanosoma brucei that occurs as stable clonal lineages. We have examined T. b. rhodesiense populations from East (Uganda) and Southern (Malawi) Africa using a panel of microsatellite markers, incorporating both spatial and temporal analyses. Our data demonstrate that Ugandan T. b. rhodesiense existed as clonal populations, with a small number of highly related genotypes and substantial linkage disequilibrium between pairs of loci. However, these populations were not stable as the dominant genotypes changed and the genetic diversity also reduced over time. Thus these populations do not conform to one of the criteria for strict clonality, namely stability of predominant genotypes over time, and our results show that, in a period in the mid 1990s, the previously predominant genotypes were not detected but were replaced by a novel clonal population with limited genetic relationship to the original population present between 1970 and 1990. In contrast, the Malawi T. b. rhodesiense population demonstrated significantly greater diversity and evidence for frequent genetic exchange. Therefore, the population genetics of T. b. rhodesiense is more complex than previously described. This has important implications for the spread of the single copy T. b. rhodesiense gene that allows human infectivity, and therefore the epidemiology of the human disease, as well as suggesting that these parasites represent an important organism to study the influence of optional recombination upon population genetic dynamics

Androgen receptor phosphorylation at serine 515 by Cdk1 predicts biochemical relapse in prostate cancer patients

<br>Background:Prostate cancer cell growth is dependent upon androgen receptor (AR) activation, which is regulated by specific kinases. The aim of the current study is to establish if AR phosphorylation by Cdk1 or ERK1/2 is of prognostic significance.</br> <br>Methods: Scansite 2.0 was utilised to predict which AR sites are phosphorylated by Cdk1 and ERK1/2. Immunohistochemistry for these sites was then performed on 90 hormone-naive prostate cancer specimens. The interaction between Cdk1/ERK1/2 and AR phosphorylation was investigated in vitro using LNCaP cells.</br><br>Results:Phosphorylation of AR at serine 515 (pAR(S515)) and PSA at diagnosis were independently associated with decreased time to biochemical relapse. Cdk1 and pCdk1(161), but not ERK1/2, correlated with pAR(S515). High expression of pAR(S515) in patients with a PSA at diagnosis of ≤20 ng ml(-1) was associated with shorter time to biochemical relapse (P=0.019). This translated into a reduction in disease-specific survival (10-year survival, 38.1% vs 100%, P<0.001). In vitro studies demonstrated that treatment with Roscovitine (a Cdk inhibitor) caused a reduction in pCdk1(161) expression, pAR(S515)expression and cellular proliferation.</br> <br>Conclusion: In prostate cancer patients with PSA at diagnosis of ≤20 ng ml(-1), phosphorylation of AR at serine 515 by Cdk1 may be an independent prognostic marker.</br&gt

Outcome measurement in functional neurological disorder: a systematic review and recommendations.

OBJECTIVES: We aimed to identify existing outcome measures for functional neurological disorder (FND), to inform the development of recommendations and to guide future research on FND outcomes. METHODS: A systematic review was conducted to identify existing FND-specific outcome measures and the most common measurement domains and measures in previous treatment studies. Searches of Embase, MEDLINE and PsycINFO were conducted between January 1965 and June 2019. The findings were discussed during two international meetings of the FND-Core Outcome Measures group. RESULTS: Five FND-specific measures were identified-three clinician-rated and two patient-rated-but their measurement properties have not been rigorously evaluated. No single measure was identified for use across the range of FND symptoms in adults. Across randomised controlled trials (k=40) and observational treatment studies (k=40), outcome measures most often assessed core FND symptom change. Other domains measured commonly were additional physical and psychological symptoms, life impact (ie, quality of life, disability and general functioning) and health economics/cost-utility (eg, healthcare resource use and quality-adjusted life years). CONCLUSIONS: There are few well-validated FND-specific outcome measures. Thus, at present, we recommend that existing outcome measures, known to be reliable, valid and responsive in FND or closely related populations, are used to capture key outcome domains. Increased consistency in outcome measurement will facilitate comparison of treatment effects across FND symptom types and treatment modalities. Future work needs to more rigorously validate outcome measures used in this population

One-carbon metabolism in cancer

Cells require one-carbon units for nucleotide synthesis, methylation and reductive metabolism, and these pathways support the high proliferative rate of cancer cells. As such, anti-folates, drugs that target one-carbon metabolism, have long been used in the treatment of cancer. Amino acids, such as serine are a major one-carbon source, and cancer cells are particularly susceptible to deprivation of one-carbon units by serine restriction or inhibition of de novo serine synthesis. Recent work has also begun to decipher the specific pathways and sub-cellular compartments that are important for one-carbon metabolism in cancer cells. In this review we summarise the historical understanding of one-carbon metabolism in cancer, describe the recent findings regarding the generation and usage of one-carbon units and explore possible future therapeutics that could exploit the dependency of cancer cells on one-carbon metabolism

Clinical Rounds With Nutrition Support Services

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/68406/2/10.1177_011542659400900273.pd

Labrador retrievers under primary veterinary care in the UK: demography, mortality and disorders

Abstract Background Labrador retrievers are reportedly predisposed to many disorders but accurate prevalence information relating to the general population are lacking. This study aimed to describe demography, mortality and commonly recorded diseases in Labrador retrievers under UK veterinary care. Methods The VetCompass™ programme collects electronic patient record data on dogs attending UK primary-care veterinary practices. Demographic analysis covered all33,320 Labrador retrievers in the VetCompass™ database under veterinary care during 2013 while disorder and mortality data were extracted from a random sample of 2074 (6.2%) of these dogs. Results Of the Labrador retrievers with information available, 15,427 (46.4%) were female and 15,252 (53.6%) were male. Females were more likely to be neutered than males (59.7% versus 54.8%, P <  0.001). The overall mean adult bodyweight was 33.0 kg (SD 6.1). Adult males were heavier (35.2 kg, SD 5.9 kg) than adult females (30.4 kg, SD 5.2 kg) (P <  0.001). The median longevity of Labrador retrievers overall was 12.0 years (IQR 9.9–13.8, range 0.0–16.0). The most common recorded colours were black (44.6%), yellow (27.8%) and liver/chocolate (reported from hereon as chocolate) (23.8%). The median longevity of non-chocolate coloured dogs (n = 139, 12.1 years, IQR 10.2–13.9, range 0.0–16.0) was longer than for chocolate coloured animals (n = 34, 10.7 years, IQR 9.0–12.4, range 3.8–15.5) (P = 0.028). Of a random sample of 2074 (6.2%) Labrador retrievers under care in 2013 that had full disorder data extracted, 1277 (61.6%) had at least one disorder recorded. The total number of dogs who died at any date during the study was 176. The most prevalent disorders recorded were otitis externa (n = 215, prevalence 10.4%, 95% CI: 9.1–11.8), overweight/obesity (183, 8.8%, 95% CI: 7.6–10.1) and degenerative joint disease (115, 5.5%, 95% CI: 4.6–6.6). Overweight/obesity was not statistically significantly associated with neutering in females (8.3% of entire versus 12.5% of neutered, P = 0.065) but was associated with neutering in males (4.1% of entire versus 11.4% of neutered, P < 0.001). The prevalence of otitis externa in black dogs was 12.8%, in yellow dogs it was 17.0% but, in chocolate dogs, it rose to 23.4% (P < 0.001). Similarly, the prevalence of pyo-traumatic dermatitis in black dogs was 1.1%, in yellow dogs it was 1.6% but in chocolate dogs it rose to 4.0% (P = 0.011). Conclusions The current study assists prioritisation of health issues within Labrador retrievers. The most common disorders were overweight/obesity, otitis externa and degenerative joint disease. Males were significantly heavier females. These results can alert prospective owners to potential health issues and inform breed-specific wellness checks

Dermatitis associated with exposure to a marine cyanobacterium during recreational water exposure

<p>Abstract</p> <p>Background</p> <p>Anecdotal evidence reported an outbreak of symptoms on Fraser Island during the late 1990s similar to those expected from exposure to dermotoxins found in the cyanobacterium <it>L. majuscula</it>. This coincided with the presence of a bloom of <it>L. majuscula</it>.</p> <p>Methods</p> <p>Records from the Fraser Island National Parks First aid station were examined. Information on cyanobacterial blooms at Fraser Island were obtained from Queensland National Parks rangers.</p> <p>Results</p> <p>Examination of first aid records from Fraser Island revealed an outbreak of symptoms predominantly in January and February 1998.</p> <p>Conclusion</p> <p>During a bloom of <it>L. majuscula </it>there were numerous reports of symptoms that could be attributed to dermotoxins found in <it>L. majuscula</it>. The other four years examined had no <it>L. majuscula </it>blooms and the number of <it>L. majuscula </it>symptoms was much reduced. These cases comprised a high percentage of the cases treated at the first aid station.</p

Microbial ligand costimulation drives neutrophilic steroid-refractory asthma

Funding: The authors thank the Wellcome Trust (102705) and the Universities of Aberdeen and Cape Town for funding. This research was also supported, in part, by National Institutes of Health GM53522 and GM083016 to DLW. KF and BNL are funded by the Fonds Wetenschappelijk Onderzoek, BNL is the recipient of an European Research Commission consolidator grant and participates in the European Union FP7 programs EUBIOPRED and MedALL. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.Peer reviewedPublisher PD