Event Stream Processing with Multiple Threads

Current runtime verification tools seldom make use of multi-threading to speed up the evaluation of a property on a large event trace. In this paper, we present an extension to the BeepBeep 3 event stream engine that allows the use of multiple threads during the evaluation of a query. Various parallelization strategies are presented and described on simple examples. The implementation of these strategies is then evaluated empirically on a sample of problems. Compared to the previous, single-threaded version of the BeepBeep engine, the allocation of just a few threads to specific portions of a query provides dramatic improvement in terms of running time

A thermodynamic unification of jamming

Fragile materials ranging from sand to fire-retardant to toothpaste are able to exhibit both solid and fluid-like properties across the jamming transition. Unlike ordinary fusion, systems of grains, foams and colloids jam and cease to flow under conditions that still remain unknown. Here we quantify jamming via a thermodynamic approach by accounting for the structural ageing and the shear-induced compressibility of dry sand. Specifically, the jamming threshold is defined using a non-thermal temperature that measures the 'fluffiness' of a granular mixture. The thermodynamic model, casted in terms of pressure, temperature and free-volume, also successfully predicts the entropic data of five molecular glasses. Notably, the predicted configurational entropy avoids the Kauzmann paradox entirely. Without any free parameters, the proposed equation-of-state also governs the mechanism of shear-banding and the associated features of shear-softening and thickness-invariance.Comment: 16 pgs double spaced. 4 figure

Status of the FETS Project

The Front End Test Stand (FETS) under construction at RAL is a demonstrator for front end systems of a future high power proton linac. Possible applications include a linac upgrade for the ISIS spallation neutron source, new future neutron sources, accelerator driven sub-critical systems, high energy physics proton drivers etc. Designed to deliver a 60mA H-minus beam at 3MeV with a 10% duty factor, FETS consists of a high brightness ion source, magnetic low energy beam transport (LEBT), 4-vane 324MHz radio frequency quadrupole, medium energy beam transport (MEBT) containing a high speed beam chopper and non-destructive laser diagnostics. This paper describes the current status of the project and future plans

The plight of the sense-making ape

This is a selective review of the published literature on object-choice tasks, where participants use directional cues to find hidden objects. This literature comprises the efforts of researchers to make sense of the sense-making capacities of our nearest living relatives. This chapter is written to highlight some nonsensical conclusions that frequently emerge from this research. The data suggest that when apes are given approximately the same sense-making opportunities as we provide our children, then they will easily make sense of our social signals. The ubiquity of nonsensical contemporary scientific claims to the effect that humans are essentially--or inherently--more capable than other great apes in the understanding of simple directional cues is, itself, a testament to the power of preconceived ideas on human perception

Identification of a BRCA1-mRNA Splicing Complex Required for Efficient DNA Repair and Maintenance of Genomic Stability

Mutations within BRCA1 predispose carriers to a high risk of breast and ovarian cancers. BRCA1 functions to maintain genomic stability through the assembly of multiple protein complexes involved in DNA repair, cell-cycle arrest, and transcriptional regulation. Here, we report the identification of a DNA damage-induced BRCA1 protein complex containing BCLAF1 and other key components of the mRNA-splicing machinery. In response to DNA damage, this complex regulates pre-mRNA splicing of a number of genes involved in DNA damage signaling and repair, thereby promoting the stability of these transcripts/proteins. Further, we show that abrogation of this complex results in sensitivity to DNA damage, defective DNA repair, and genomic instability. Interestingly, mutations in a number of proteins found within this complex have been identified in numerous cancer types. These data suggest that regulation of splicing by the BRCA1-mRNA splicing complex plays an important role in the cellular response to DNA damage

Takeovers and cooperatives: governance and stability in non-corporate firms

Author's draft dated 11 January 2010. Final version published in Journal of economics available online at http://www.springerlink.com/If consumers wholly or partially control a firm with market power they will charge less than the profit maximizing price. Starting at the usual monopoly price, a small price reduction will have a second order effect on profits but a first order effect on consumer surplus. Despite this desirable static result, it has been argued that cooperatives are vulnerable to take-over by outsiders who will run them as for-profit businesses. This paper studies takeovers of cooperatives. We argue that there will not be excessive takeovers of cooperatives due to the Grossman-Hart problem of free riding during takeovers.Research in part supported by ESRC grant RES-000-22-0650

p3d – Python module for structural bioinformatics

<p>Abstract</p> <p>Background</p> <p>High-throughput bioinformatic analysis tools are needed to mine the large amount of structural data via knowledge based approaches. The development of such tools requires a robust interface to access the structural data in an easy way. For this the Python scripting language is the optimal choice since its philosophy is to write an understandable source code.</p> <p>Results</p> <p>p3d is an object oriented Python module that adds a simple yet powerful interface to the Python interpreter to process and analyse three dimensional protein structure files (PDB files). p3d's strength arises from the combination of a) very fast spatial access to the structural data due to the implementation of a binary space partitioning (BSP) tree, b) set theory and c) functions that allow to combine a and b and that use human readable language in the search queries rather than complex computer language. All these factors combined facilitate the rapid development of bioinformatic tools that can perform quick and complex analyses of protein structures.</p> <p>Conclusion</p> <p>p3d is the perfect tool to quickly develop tools for structural bioinformatics using the Python scripting language.</p

Genome-wide DNA methylation analysis for diabetic nephropathy in type 1 diabetes mellitus

BACKGROUND: Diabetic nephropathy is a serious complication of diabetes mellitus and is associated with considerable morbidity and high mortality. There is increasing evidence to suggest that dysregulation of the epigenome is involved in diabetic nephropathy. We assessed whether epigenetic modification of DNA methylation is associated with diabetic nephropathy in a case-control study of 192 Irish patients with type 1 diabetes mellitus (T1D). Cases had T1D and nephropathy whereas controls had T1D but no evidence of renal disease. METHODS: We performed DNA methylation profiling in bisulphite converted DNA from cases and controls using the recently developed Illumina Infinium(R) HumanMethylation27 BeadChip, that enables the direct investigation of 27,578 individual cytosines at CpG loci throughout the genome, which are focused on the promoter regions of 14,495 genes. RESULTS: Singular Value Decomposition (SVD) analysis indicated that significant components of DNA methylation variation correlated with patient age, time to onset of diabetic nephropathy, and sex. Adjusting for confounding factors using multivariate Cox-regression analyses, and with a false discovery rate (FDR) of 0.05, we observed 19 CpG sites that demonstrated correlations with time to development of diabetic nephropathy. Of note, this included one CpG site located 18 bp upstream of the transcription start site of UNC13B, a gene in which the first intronic SNP rs13293564 has recently been reported to be associated with diabetic nephropathy. CONCLUSION: This high throughput platform was able to successfully interrogate the methylation state of individual cytosines and identified 19 prospective CpG sites associated with risk of diabetic nephropathy. These differences in DNA methylation are worthy of further follow-up in replication studies using larger cohorts of diabetic patients with and without nephropathy