On coalgebras with internal moves

In the first part of the paper we recall the coalgebraic approach to handling the so-called invisible transitions that appear in different state-based systems semantics. We claim that these transitions are always part of the unit of a certain monad. Hence, coalgebras with internal moves are exactly coalgebras over a monadic type. The rest of the paper is devoted to supporting our claim by studying two important behavioural equivalences for state-based systems with internal moves, namely: weak bisimulation and trace semantics. We continue our research on weak bisimulations for coalgebras over order enriched monads. The key notions used in this paper and proposed by us in our previous work are the notions of an order saturation monad and a saturator. A saturator operator can be intuitively understood as a reflexive, transitive closure operator. There are two approaches towards defining saturators for coalgebras with internal moves. Here, we give necessary conditions for them to yield the same notion of weak bisimulation. Finally, we propose a definition of trace semantics for coalgebras with silent moves via a uniform fixed point operator. We compare strong and weak bisimilation together with trace semantics for coalgebras with internal steps.Comment: Article: 23 pages, Appendix: 3 page

The Thermal Design, Characterization, and Performance of the SPIDER Long-Duration Balloon Cryostat

We describe the SPIDER flight cryostat, which is designed to cool six millimeter-wavelength telescopes during an Antarctic long-duration balloon flight. The cryostat, one of the largest to have flown on a stratospheric payload, uses liquid helium-4 to deliver cooling power to stages at 4.2 and 1.6 K. Stainless steel capillaries facilitate a high flow impedance connection between the main liquid helium tank and a smaller superfluid tank, allowing the latter to operate at 1.6 K as long as there is liquid in the 4.2 K main tank. Each telescope houses a closed cycle helium-3 adsorption refrigerator that further cools the focal planes down to 300 mK. Liquid helium vapor from the main tank is routed through heat exchangers that cool radiation shields, providing negative thermal feedback. The system performed successfully during a 17 day flight in the 2014-2015 Antarctic summer. The cryostat had a total hold time of 16.8 days, with 15.9 days occurring during flight.Comment: 15 pgs, 17 fig

Immune Escape Variants of H9N2 Influenza Viruses Containing Deletions at the Hemagglutinin Receptor Binding Site Retain Fitness In Vivo and Display Enhanced Zoonotic Characteristics

H9N2 avian influenza viruses are enzootic in poultry across Asia and North Africa, where they pose a threat to human health as both zoonotic agents and potential pandemic candidates. Poultry vaccination against H9N2 viruses has been employed in many regions; however, vaccine effectiveness is frequently compromised due to antigenic drift arising from amino acid substitutions in the major influenza virus antigen hemagglutinin (HA). Using selection with HA-specific monoclonal antibodies, we previously identified H9N2 antibody escape mutants that contained deletions of amino acids in the 220 loop of the HA receptor binding sites (RBSs). Here we analyzed the impact of these deletions on virus zoonotic infection characteristics and fitness. We demonstrated that mutant viruses with RBS deletions are able to escape polyclonal antiserum binding and are able to infect and be transmitted between chickens. We showed that the deletion mutants have increased binding to human-like receptors and greater replication in primary human airway cells; however, the mutant HAs also displayed reduced pH and thermal stability. In summary, we infer that variant influenza viruses with deletions in the 220 loop could arise in the field due to immune selection pressure; however, due to reduced HA stability, we conclude that these viruses are unlikely to be transmitted from human to human by the airborne route, a prerequisite for pandemic emergence. Our findings underscore the complex interplay between antigenic drift and viral fitness for avian influenza viruses as well as the challenges of predicting which viral variants may pose the greatest threats for zoonotic and pandemic emergence

Integrating evolution into ecological modelling: accommodating phenotypic changes in agent based models.

PMCID: PMC3733718This 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.Evolutionary change is a characteristic of living organisms and forms one of the ways in which species adapt to changed conditions. However, most ecological models do not incorporate this ubiquitous phenomenon. We have developed a model that takes a 'phenotypic gambit' approach and focuses on changes in the frequency of phenotypes (which differ in timing of breeding and fecundity) within a population, using, as an example, seasonal breeding. Fitness per phenotype calculated as the individual's contribution to population growth on an annual basis coincide with the population dynamics per phenotype. Simplified model variants were explored to examine whether the complexity included in the model is justified. Outputs from the spatially implicit model underestimated the number of individuals across all phenotypes. When no phenotype transitions are included (i.e. offspring always inherit their parent's phenotype) numbers of all individuals are always underestimated. We conclude that by using a phenotypic gambit approach evolutionary dynamics can be incorporated into individual based models, and that all that is required is an understanding of the probability of offspring inheriting the parental phenotype

Systematic review of studies generating individual participant data on the efficacy of drugs for treating soil-transmitted helminthiases and the case for data-sharing

Preventive chemotherapy and transmission control (PCT) by mass drug administration is the cornerstone of the World Health Organization (WHO)’s policy to control soil-transmitted helminthiases (STHs) caused by Ascaris lumbricoides (roundworm), Trichuris trichiura (whipworm) and hookworm species (Necator americanus and Ancylostama duodenale) which affect over 1 billion people globally. Despite consensus that drug efficacies should be monitored for signs of decline that could jeopardise the effectiveness of PCT, systematic monitoring and evaluation is seldom implemented. Drug trials mostly report aggregate efficacies in groups of participants, but heterogeneities in design complicate classical meta-analyses of these data. Individual participant data (IPD) permit more detailed analysis of drug efficacies, offering increased sensitivity to identify atypical responses potentially caused by emerging drug resistance

Risk-stratified faecal immunochemical testing (FIT) for urgent colonoscopy in Lynch syndrome during the COVID-19 pandemic

BACKGROUND: Lynch syndrome is a hereditary cancer disease resulting in an increased risk of colorectal cancer. Herein, findings are reported from an emergency clinical service implemented during the COVID-19 pandemic utilizing faecal immunochemical testing ('FIT') in Lynch syndrome patients to prioritize colonoscopy while endoscopy services were limited. METHODS: An emergency service protocol was designed to improve colonoscopic surveillance access throughout the COVID-19 pandemic in England for people with Lynch syndrome when services were extremely restricted (1 March 2020 to 31 March 2021) and promoted by the English National Health Service. Requests for faecal immunochemical testing from participating centres were sent to the National Health Service Bowel Cancer Screening South of England Hub and a faecal immunochemical testing kit, faecal immunochemical testing instructions, paper-based survey, and pre-paid return envelope were sent to patients. Reports with faecal haemoglobin results were returned electronically for clinical action. Risk stratification for colonoscopy was as follows: faecal haemoglobin less than 10 µg of haemoglobin/g of faeces (µg/g)-scheduled within 6-12 weeks; and faecal haemoglobin greater than or equal to 10 µg/g-triaged via an urgent suspected cancer clinical pathway. Primary outcomes of interest included the identification of highest-risk Lynch syndrome patients and determining the impact of faecal immunochemical testing in risk-stratified colonoscopic surveillance. RESULTS: Fifteen centres participated from June 2020 to March 2021. Uptake was 68.8 per cent amongst 558 patients invited. For 339 eligible participants analysed, 279 (82.3 per cent) had faecal haemoglobin less than 10 µg/g and 60 (17.7 per cent) had faecal haemoglobin greater than or equal to 10 µg/g. In the latter group, the diagnostic accuracy of faecal immunochemical testing was 65.9 per cent and escalation to colonoscopy was facilitated (median 49 versus 122 days, χ2 = 0.0003, P < 0.001). CONCLUSION: Faecal immunochemical testing demonstrated clinical value for Lynch syndrome patients requiring colorectal cancer surveillance during the pandemic in this descriptive report of an emergency COVID-19 response service. Further longitudinal investigation on faecal immunochemical testing efficacy in Lynch syndrome is warranted and will be examined under the 'FIT for Lynch' study (ISRCTN15740250)

Maternal feeding practices and fussy eating in toddlerhood: A discordant twin analysis

Background: Parental feeding practices are thought to play a causal role in shaping a child's fussiness; however, a child-responsive model suggests that feeding practices may develop in response to a child's emerging appetitive characteristics. We used a novel twin study design to test the hypothesis that mothers vary their feeding practices for twin children who differ in their 'food fussiness', in support of a child-responsive model. Methods: Participants were mothers and their 16 month old twin children (n=2026) from Gemini, a British twin birth cohort of children born in 2007. Standardized psychometric measures of maternal 'pressure to eat', 'restriction' and 'instrumental feeding', as well as child 'food fussiness', were completed by mothers. Within-family analyses examined if twin-pair differences in 'food fussiness' were associated with differences in feeding practices using linear regression models. In a subset of twins (n=247 pairs) who were the most discordant (highest quartile) on 'food fussiness' (difference score≥.50), Paired Samples T-test were used to explore the magnitude of differences in feeding practices between twins. Between-family analyses used Complex Samples General Linear Models to examine associations between feeding practices and 'food fussiness'. Results: Within-pair differences in 'food fussiness' were associated with differential 'pressure to eat' and 'instrumental feeding' (ps<.001), but not with 'restriction'. In the subset of twins most discordant on 'food fussiness', mothers used more pressure (p<.001) and food rewards (p<.05) with the fussier twin. Between-family analyses indicated that 'pressure to eat' and 'instrumental feeding' were positively associated with 'food fussiness', while 'restriction' was negatively associated with 'food fussiness' (ps<.001). Conclusions: Mothers appear to subtly adjust their feeding practices according to their perceptions of their toddler's emerging fussy eating behavior. Specifically, the fussier toddler is pressured more than their less fussy co-twin, and is more likely to be offered food rewards. Guiding parents on how to respond to fussy eating may be an important aspect of promoting feeding practices that encourage food acceptance

Informant-reported cognitive symptoms that predict amnestic mild cognitive impairment

<p>Abstract</p> <p>Background</p> <p>Differentiating amnestic mild cognitive impairment (aMCI) from normal cognition is difficult in clinical settings. Self-reported and informant-reported memory complaints occur often in both clinical groups, which then necessitates the use of a comprehensive neuropsychological examination to make a differential diagnosis. However, the ability to identify cognitive symptoms that are predictive of aMCI through informant-based information may provide some clinical utility in accurately identifying individuals who are at risk for developing Alzheimer's disease (AD).</p> <p>Methods</p> <p>The current study utilized a case-control design using data from an ongoing validation study of the Alzheimer's Questionnaire (AQ), an informant-based dementia assessment. Data from 51 cognitively normal (CN) individuals participating in a brain donation program and 47 aMCI individuals seen in a neurology practice at the same institute were analyzed to determine which AQ items differentiated aMCI from CN individuals.</p> <p>Results</p> <p>Forward stepwise multiple logistic regression analysis which controlled for age and education showed that 4 AQ items were strong indicators of aMCI which included: repetition of statements and/or questions [OR 13.20 (3.02, 57.66)]; trouble knowing the day, date, month, year, and time [OR 17.97 (2.63, 122.77)]; difficulty managing finances [OR 11.60 (2.10, 63.99)]; and decreased sense of direction [OR 5.84 (1.09, 31.30)].</p> <p>Conclusions</p> <p>Overall, these data indicate that certain informant-reported cognitive symptoms may help clinicians differentiate individuals with aMCI from those with normal cognition. Items pertaining to repetition of statements, orientation, ability to manage finances, and visuospatial disorientation had high discriminatory power.</p

A New Crocodylian from the Late Maastrichtian of Spain: Implications for the Initial Radiation of Crocodyloids

The earliest crocodylians are known primarily from the Late Cretaceous of North America and Europe. The representatives of Gavialoidea and Alligatoroidea are known in the Late Cretaceous of both continents, yet the biogeographic origins of Crocodyloidea are poorly understood. Up to now, only one representative of this clade has been known from the Late Cretaceous, the basal crocodyloid Prodiplocynodon from the Maastrichtian of North America.The fossil studied is a skull collected from sandstones in the lower part of the Tremp Formation, in Chron C30n, dated at -67.6 to 65.5 Ma (late Maastrichtian), in Arén (Huesca, Spain). It is located in a continuous section that contains the K/P boundary, in which the dinosaur faunas closest to the K/P boundary in Europe have been described, including Arenysaurus ardevoli and Blasisaurus canudoi. Phylogenetic analysis places the new taxon, Arenysuchus gascabadiolorum, at the base of Crocodyloidea.The new taxon is the oldest crocodyloid representative in Eurasia. Crocodyloidea had previously only been known from the Palaeogene onwards in this part of Laurasia. Phylogenetically, Arenysuchus gascabadiolorum is situated at the base of the first radiation of crocodyloids that occurred in the late Maastrichtian, shedding light on this part of the cladogram. The presence of basal crocodyloids at the end of the Cretaceous both in North America and Europe provides new evidence of the faunal exchange via the Thulean Land Bridge during the Maastrichtian