How functional programming mattered

In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly ‘why functional programming matters’. More than two decades have passed. Has functional programming really mattered? Our answer is a resounding ‘Yes!’. Functional programming is now at the forefront of a new generation of programming technologies, and enjoying increasing popularity and influence. In this paper, we review the impact of functional programming, focusing on how it has changed the way we may construct programs, the way we may verify programs, and fundamentally the way we may think about programs

Monounsaturated fats and immune function

Animal studies suggest that olive oil is capable of modulating functions of cells of the immune system in a manner similar to, albeit weaker than, fish oils. There is some evidence that the effects of olive oil on immune function in animal studies are due to oleic acid rather than to trace elements or antioxidants. Importantly, several studies have demonstrated effects of oleic acid-containing diets on in vivo immune responses. In contrast, consumption of a monounsaturated fatty acid (MUFA)-rich diet by humans does not appear to bring about a general suppression of immune cell functions. The effects of this diet in humans are limited to decreasing aspects of adhesion of peripheral blood mononuclear cells, although there are trends towards decreases in natural killer cell activity and proliferation. The lack of a clear effect of MUFA in humans may be attributable to the higher level of monounsaturated fat used in the animal studies, although it is ultimately of importance to examine the effects of intakes which are in no way extreme. The effects of MUFA on adhesion molecules are potentially important, since these molecules appear to have a role in the pathology of a number of diseases involving the immune system. This area clearly deserves further exploration

Ras GTPase-like protein MglA, a controller of bacterial social-motility in Myxobacteria, has evolved to control bacterial predation by Bdellovibrio

Bdellovibrio bacteriovorus invade Gram-negative bacteria in a predatory process requiring Type IV pili (T4P) at a single invasive pole, and also glide on surfaces to locate prey. Ras-like G-protein MglA, working with MglB and RomR in the deltaproteobacterium Myxococcus xanthus, regulates adventurous gliding and T4P-mediated social motility at both M. xanthus cell poles. Our bioinformatic analyses suggested that the GTPase activating protein (GAP)-encoding gene mglB was lost in Bdellovibrio, but critical residues for MglABd GTP-binding are conserved. Deletion of mglABd abolished prey-invasion, but not gliding, and reduced T4P formation. MglABd interacted with a previously uncharacterised tetratricopeptide repeat (TPR) domain protein Bd2492, which we show localises at the single invasive pole and is required for predation. Bd2492 and RomR also interacted with cyclic-di-GMP-binding receptor CdgA, required for rapid prey-invasion. Bd2492, RomRBd and CdgA localize to the invasive pole and may facilitate MglA-docking. Bd2492 was encoded from an operon encoding a TamAB-like secretion system. The TamA protein and RomR were found, by gene deletion tests, to be essential for viability in both predatory and non-predatory modes. Control proteins, which regulate bipolar T4P-mediated social motility in swarming groups of deltaproteobacteria, have adapted in evolution to regulate the anti-social process of unipolar prey-invasion in the “lone-hunter” Bdellovibrio. Thus GTP-binding proteins and cyclic-di-GMP inputs combine at a regulatory hub, turning on prey-invasion and allowing invasion and killing of bacterial pathogens and consequent predatory growth of Bdellovibrio

Trace Equivalence and Epistemic Logic to Express Security Properties

In process algebras, security properties are expressed as equivalences between processes, but which equivalence is suitable is not clear. This means that there is a gap between an intuitive security notion and the formulation. Appropriate formalization is essential for verification, and our purpose is bridging this gap. By chasing scope extrusions, we prove that trace equivalence is congruent. Moreover, we construct an epistemic logic for the applied pi calculus and show that its logical equivalence agrees with the trace equivalence. We use the epistemic logic to show that trace equivalence is pertinent in the presence of a non-adaptive attacker

Nothing Lasts Forever: Environmental Discourses on the Collapse of Past Societies

The study of the collapse of past societies raises many questions for the theory and practice of archaeology. Interest in collapse extends as well into the natural sciences and environmental and sustainability policy. Despite a range of approaches to collapse, the predominant paradigm is environmental collapse, which I argue obscures recognition of the dynamic role of social processes that lie at the heart of human communities. These environmental discourses, together with confusion over terminology and the concepts of collapse, have created widespread aporia about collapse and resulted in the creation of mixed messages about complex historical and social processes

Azimuthal Charged-Particle Correlations and Possible Local Strong Parity Violation

Parity-odd domains, corresponding to nontrivial topological solutions of the QCD vacuum, might be created during relativistic heavy-ion collisions. These domains are predicted to lead to charge separation of quarks along the system’s orbital momentum axis. We investigate a three-particle azimuthal correlator which is a P even observable, but directly sensitive to the charge separation effect. We report measurements of charged hadrons near center-of-mass rapidity with this observable in Au+Au and Cu+Cu collisions at √sNN=200  GeV using the STAR detector. A signal consistent with several expectations from the theory is detected. We discuss possible contributions from other effects that are not related to parity violation

MSDmotif: exploring protein sites and motifs

<p>Abstract</p> <p>Background</p> <p>Protein structures have conserved features – motifs, which have a sufficient influence on the protein function. These motifs can be found in sequence as well as in 3D space. Understanding of these fragments is essential for 3D structure prediction, modelling and drug-design. The Protein Data Bank (PDB) is the source of this information however present search tools have limited 3D options to integrate protein sequence with its 3D structure.</p> <p>Results</p> <p>We describe here a web application for querying the PDB for ligands, binding sites, small 3D structural and sequence motifs and the underlying database. Novel algorithms for chemical fragments, 3D motifs, ϕ/ψ sequences, super-secondary structure motifs and for small 3D structural motif associations searches are incorporated. The interface provides functionality for visualization, search criteria creation, sequence and 3D multiple alignment options. MSDmotif is an integrated system where a results page is also a search form. A set of motif statistics is available for analysis. This set includes molecule and motif binding statistics, distribution of motif sequences, occurrence of an amino-acid within a motif, correlation of amino-acids side-chain charges within a motif and Ramachandran plots for each residue. The binding statistics are presented in association with properties that include a ligand fragment library. Access is also provided through the distributed Annotation System (DAS) protocol. An additional entry point facilitates XML requests with XML responses.</p> <p>Conclusion</p> <p>MSDmotif is unique by combining chemical, sequence and 3D data in a single search engine with a range of search and visualisation options. It provides multiple views of data found in the PDB archive for exploring protein structures.</p

The effects of instrumental action on perceptual hand maps

Perceiving the external spatial location of body parts using position sense requires that immediate proprioceptive afferent signals be integrated with information about body size and shape. Longo and Haggard (Proc Natl Acad Sci USA 107:11727–11732, 2010) developed a method to measure perceptual hand maps reflecting this metric information about body size and shape. In this paradigm, participants indicate the perceived location of landmarks on their occluded hand by pointing with a long baton held in their other hand. By comparing the relative location of judgments of different hand landmarks, perceptual hand maps can be constructed and compared to actual hand structure. The maps show large and highly stereotyped distortions. Here, I investigated the potential effect of biases related to active motor control of the hand doing the pointing in these distortions. Participants localized the fingertip and knuckle of each finger on their occluded left hand either by actively pointing with a baton held in their right hand (pointing condition) or by giving verbal commands to an experimenter on how to move the baton (verbal condition). Similar distortions were clearly apparent in both conditions, suggesting that they are not an artifact of motor control biases related to the pointing hand

Nipple aspiration and ductal lavage in women with a germline BRCA1 or BRCA2 mutation

INTRODUCTION: The aim of this study was to collect serial samples of nipple aspirate (NA) and ductal lavage (DL) fluid from women with germline BRCA1/2 mutations in order to create a biorepository for use in identifying biomarkers of breast cancer risk. METHODS: Between March 2003 and February 2005, 52 women with germline BRCA1 or BRCA2 mutations (median age 43 years, range 27 to 65 years) were scheduled for six-monthly NA, DL and venesection. DL was attempted for all NA fluid-yielding (FY) and any non-FY ducts that could be located at each visit. RESULTS: Twenty-seven (52%) women were postmenopausal, predominantly (19/27) from risk reducing bilateral salpingo-oophorectomy (BSO). FY ducts were identified in 60% of all women, 76% of premenopausal women versus 44% of postmenopausal (P = 0.026). Eighty-five percent of women had successful DL. Success was most likely in women with FY ducts (FY 94% versus non-FY 71% (P = 0.049). DL samples were more likely to be cellular if collected from FY ducts (FY 68% versus non-FY 43%; P = 0.037). Total cell counts were associated with FY status (FY median cell count 30,996, range 0 to >1,000,000 versus non-FY median cell count 0, range 0 to 173,577; P = 0.002). Four women (8%) had ducts with severe atypia with or without additional ducts with mild epithelial atypia; seven others had ducts with mild atypia alone (11/52 (21%) in total). Median total cell count was greater from ducts with atypia (105,870, range 1920 to >1,000,000) than those with no atypia (174, 0 to >1,000,000; P ≤ 0.001). CONCLUSION: It is feasible to collect serial NA and DL samples from women at high genetic risk of breast cancer, and we are creating a unique, prospective collection of ductal samples that have the potential to be used for discovery of biomarkers of breast cancer risk and evaluate the ongoing effects of risk reducing BSO. DL cellular atypia was not predictive of a current breast cancer and longer follow up is needed to determine whether atypia is an additional marker of future breast cancer risk in this population already at high genetic risk of breast cancer