On CSP and the Algebraic Theory of Effects

We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors or effect deconstructors; it also provides a link with functional programming, being a refinement of Moggi's seminal monadic point of view. There is a natural algebraic theory of the constructors whose free algebra functor is Moggi's monad; we illustrate this by characterising free and initial algebras in terms of two versions of the stable failures model of CSP, one more general than the other. Deconstructors are dealt with as homomorphisms to (possibly non-free) algebras. One can view CSP's action and choice operators as constructors and the rest, such as concealment and concurrency, as deconstructors. Carrying this programme out results in taking deterministic external choice as constructor rather than general external choice. However, binary deconstructors, such as the CSP concurrency operator, provide unresolved difficulties. We conclude by presenting a combination of CSP with Moggi's computational {\lambda}-calculus, in which the operators, including concurrency, are polymorphic. While the paper mainly concerns CSP, it ought to be possible to carry over similar ideas to other process calculi

Liver transplantation for type I and type IV glycogen storage disease

Progressive liver failure or hepatic complications of the primary disease led to orthotopic liver transplantation in eight children with glycogen storage disease over a 9-year period. One patient had glycogen storage disease (GSD) type I (von Gierke disease) and seven patients had type IV GSD (Andersen disease). As previously reported [19], a 16.5-year-old-girl with GSD type I was successfully treated in 1982 by orthotopic liver transplantation under cyclosporine and steroid immunosuppression. The metabolic consequences of the disease have been eliminated, the renal function and size have remained normal, and the patient has lived a normal young adult life. A late portal venous thrombosis was treated successfully with a distal splenorenal shunt. Orthotopic liver transplantation was performed in seven children with type N GSD who had progressive hepatic failure. Two patients died early from technical complications. The other five have no evidence of recurrent hepatic amylopectinosis after 1.1–5.8 postoperative years. They have had good physical and intellectual maturation. Amylopectin was found in many extrahepatic tissues prior to surgery, but cardiopathy and skeletal myopathy have not developed after transplantation. Postoperative heart biopsies from patients showed either minimal amylopectin deposits as long as 4.5 years following transplantation or a dramatic reduction in sequential biopsies from one patient who initially had dense myocardial deposits. Serious hepatic derangement is seen most commonly in types T and IV GSD. Liver transplantation cures the hepatic manifestations of both types. The extrahepatic deposition of abnormal glycogen appears not to be problematic in type I disease, and while potentially more threatening in type IV disease, may actually exhibit signs of regression after hepatic allografting

Postglacial expansion of the arctic keystone copepod calanus glacialis

Calanus glacialis, a major contributor to zooplankton biomass in the Arctic shelf seas, is a key link between primary production and higher trophic levels that may be sensitive to climate warming. The aim of this study was to explore genetic variation in contemporary populations of this species to infer possible changes during the Quaternary period, and to assess its population structure in both space and time. Calanus glacialis was sampled in the fjords of Spitsbergen (Hornsund and Kongsfjorden) in 2003, 2004, 2006, 2009 and 2012. The sequence of a mitochondrial marker, belonging to the ND5 gene, selected for the study was 1249 base pairs long and distinguished 75 unique haplotypes among 140 individuals that formed three main clades. There was no detectable pattern in the distribution of haplotypes by geographic distance or over time. Interestingly, a Bayesian skyline plot suggested that a 1000-fold increase in population size occurred approximately 10,000 years before present, suggesting a species expansion after the Last Glacial Maximum.GAME from the National Science Centre, the Polish Ministry of Science and Higher Education Iuventus Plus [IP2014 050573]; FCT-PT [CCMAR/Multi/04326/2013]; [2011/03/B/NZ8/02876

Biotransformation of lanthanum by Aspergillus niger

Lanthanum is an important rare earth element and has many applications in modern electronics and catalyst manufacturing. However, there exist several obstacles in the recovery and cycling of this element due to a low average grade in exploitable deposits and low recovery rates by energy-intensive extraction procedures. In this work, a novel method to transform and recover La has been proposed using the geoactive properties of Aspergillus niger. La-containing crystals were formed and collected after A. niger was grown on Czapek-Dox agar medium amended with LaCl 3. Energy-dispersive X-ray analysis (EDXA) showed the crystals contained C, O, and La; scanning electron microscopy revealed that the crystals were of a tabular structure with terraced surfaces. X-ray diffraction identified the mineral phase of the sample as La 2(C 2O 4) 3·10H 2O. Thermogravimetric analysis transformed the oxalate crystals into La 2O 3 with the kinetics of thermal decomposition corresponding well with theoretical calculations. Geochemical modelling further confirmed that the crystals were lanthanum decahydrate and identified optimal conditions for their precipitation. To quantify crystal production, biomass-free fungal culture supernatants were used to precipitate La. The results showed that the precipitated lanthanum decahydrate achieved optimal yields when the concentration of La was above 15 mM and that 100% La was removed from the system at 5 mM La. Our findings provide a new aspect in the biotransformation and biorecovery of rare earth elements from solution using biomass-free fungal culture systems. </p

A four-helix bundle stores copper for methane oxidation

Methane-oxidising bacteria (methanotrophs) require large quantities of copper for the membrane-bound (particulate) methane monooxygenase (pMMO). Certain methanotrophs are also able to switch to using the iron-containing soluble MMO (sMMO) to catalyse methane oxidation, with this switchover regulated by copper. MMOs are Nature’s primary biological mechanism for suppressing atmospheric levels of methane, a potent greenhouse gas. Furthermore, methanotrophs and MMOs have enormous potential in bioremediation and for biotransformations producing bulk and fine chemicals, and in bioenergy, particularly considering increased methane availability from renewable sources and hydraulic fracturing of shale rock. We have discovered and characterised a novel copper storage protein (Csp1) from the methanotroph Methylosinus trichosporium OB3b that is exported from the cytosol, and stores copper for pMMO. Csp1 is a tetramer of 4-helix bundles with each monomer binding up to 13 Cu(I) ions in a previously unseen manner via mainly Cys residues that point into the core of the bundle. Csp1 is the first example of a protein that stores a metal within an established protein-folding motif. This work provides a detailed insight into how methanotrophs accumulate copper for the oxidation of methane. Understanding this process is essential if the wide-ranging biotechnological applications of methanotrophs are to be realised. Cytosolic homologues of Csp1 are present in diverse bacteria thus challenging the dogma that such organisms do not use copper in this location

Investigating the metabolic capabilities of Mycobacterium tuberculosis H37Rv using the in silico strain iNJ661 and proposing alternative drug targets

<p>Abstract</p> <p>Background:</p> <p><it>Mycobacterium tuberculosis </it>continues to be a major pathogen in the third world, killing almost 2 million people a year by the most recent estimates. Even in industrialized countries, the emergence of multi-drug resistant (MDR) strains of tuberculosis hails the need to develop additional medications for treatment. Many of the drugs used for treatment of tuberculosis target metabolic enzymes. Genome-scale models can be used for analysis, discovery, and as hypothesis generating tools, which will hopefully assist the rational drug development process. These models need to be able to assimilate data from large datasets and analyze them.</p> <p>Results:</p> <p>We completed a bottom up reconstruction of the metabolic network of <it>Mycobacterium tuberculosis </it>H37Rv. This functional <it>in silico </it>bacterium, <it>iNJ</it>661, contains 661 genes and 939 reactions and can produce many of the complex compounds characteristic to tuberculosis, such as mycolic acids and mycocerosates. We grew this bacterium <it>in silico </it>on various media, analyzed the model in the context of multiple high-throughput data sets, and finally we analyzed the network in an 'unbiased' manner by calculating the Hard Coupled Reaction (HCR) sets, groups of reactions that are forced to operate in unison due to mass conservation and connectivity constraints.</p> <p>Conclusion:</p> <p>Although we observed growth rates comparable to experimental observations (doubling times ranging from about 12 to 24 hours) in different media, comparisons of gene essentiality with experimental data were less encouraging (generally about 55%). The reasons for the often conflicting results were multi-fold, including gene expression variability under different conditions and lack of complete biological knowledge. Some of the inconsistencies between <it>in vitro </it>and <it>in silico </it>or <it>in vivo </it>and <it>in silico </it>results highlight specific loci that are worth further experimental investigations. Finally, by considering the HCR sets in the context of known drug targets for tuberculosis treatment we proposed new alternative, but equivalent drug targets.</p

Canine respiratory coronavirus employs caveolin-1-mediated pathway for internalization to HRT-18G cells

Canine respiratory coronavirus (CRCoV), identified in 2003, is a member of the Coronaviridae family. The virus is a betacoronavirus and a close relative of human coronavirus OC43 and bovine coronavirus. Here, we examined entry of CRCoV into human rectal tumor cells (HRT-18G cell line) by analyzing co-localization of single virus particles with cellular markers in the presence or absence of chemical inhibitors of pathways potentially involved in virus entry. We also targeted these pathways using siRNA. The results show that the virus hijacks caveolin-dependent endocytosis to enter cells via endocytic internalization

Emerging Infectious Disease leads to Rapid Population Decline of Common British Birds

Emerging infectious diseases are increasingly cited as threats to wildlife, livestock and humans alike. They can threaten geographically isolated or critically endangered wildlife populations; however, relatively few studies have clearly demonstrated the extent to which emerging diseases can impact populations of common wildlife species. Here, we report the impact of an emerging protozoal disease on British populations of greenfinch Carduelis chloris and chaffinch Fringilla coelebs, two of the most common birds in Britain. Morphological and molecular analyses showed this to be due to Trichomonas gallinae. Trichomonosis emerged as a novel fatal disease of finches in Britain in 2005 and rapidly became epidemic within greenfinch, and to a lesser extent chaffinch, populations in 2006. By 2007, breeding populations of greenfinches and chaffinches in the geographic region of highest disease incidence had decreased by 35% and 21% respectively, representing mortality in excess of half a million birds. In contrast, declines were less pronounced or absent in these species in regions where the disease was found in intermediate or low incidence. Also, populations of dunnock Prunella modularis, which similarly feeds in gardens, but in which T. gallinae was rarely recorded, did not decline. This is the first trichomonosis epidemic reported in the scientific literature to negatively impact populations of free-ranging non-columbiform species, and such levels of mortality and decline due to an emerging infectious disease are unprecedented in British wild bird populations. This disease emergence event demonstrates the potential for a protozoan parasite to jump avian host taxonomic groups with dramatic effect over a short time period

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

Massive stars as thermonuclear reactors and their explosions following core collapse

Nuclear reactions transform atomic nuclei inside stars. This is the process of stellar nucleosynthesis. The basic concepts of determining nuclear reaction rates inside stars are reviewed. How stars manage to burn their fuel so slowly most of the time are also considered. Stellar thermonuclear reactions involving protons in hydrostatic burning are discussed first. Then I discuss triple alpha reactions in the helium burning stage. Carbon and oxygen survive in red giant stars because of the nuclear structure of oxygen and neon. Further nuclear burning of carbon, neon, oxygen and silicon in quiescent conditions are discussed next. In the subsequent core-collapse phase, neutronization due to electron capture from the top of the Fermi sea in a degenerate core takes place. The expected signal of neutrinos from a nearby supernova is calculated. The supernova often explodes inside a dense circumstellar medium, which is established due to the progenitor star losing its outermost envelope in a stellar wind or mass transfer in a binary system. The nature of the circumstellar medium and the ejecta of the supernova and their dynamics are revealed by observations in the optical, IR, radio, and X-ray bands, and I discuss some of these observations and their interpretations.Comment: To be published in " Principles and Perspectives in Cosmochemistry" Lecture Notes on Kodai School on Synthesis of Elements in Stars; ed. by Aruna Goswami & Eswar Reddy, Springer Verlag, 2009. Contains 21 figure