Epidural Auditory Event-Related Potentials in the Rat to Frequency and duration Deviants: Evidence of Mismatch Negativity?

The capacity of the human brain to detect deviance in the acoustic environment pre-attentively is reflected in a brain event-related potential (ERP), mismatch negativity (MMN). MMN is observed in response to the presentation of rare oddball sounds that deviate from an otherwise regular pattern of frequent background standard sounds. While the primate and cat auditory cortex (AC) exhibit MMN-like activity, it is unclear whether the rodent AC produces a deviant response that reflects deviance detection in a background of regularities evident in recent auditory stimulus history or differential adaptation of neuronal responses due to rarity of the deviant sound. We examined whether MMN-like activity occurs in epidural AC potentials in awake and anesthetized rats to high and low frequency and long and short duration deviant sounds. ERPs to deviants were compared with ERPs to common standards and also with ERPs to deviants when interspersed with many different standards to control for background regularity effects. High frequency (HF) and long duration deviant ERPs in the awake rat showed evidence of deviance detection, consisting of negative displacements of the deviant ERP relative to ERPs to both common standards and deviants with many standards. The HF deviant MMN-like response was also sensitive to the extent of regularity in recent acoustic stimulation. Anesthesia in contrast resulted in positive displacements of deviant ERPs. Our results suggest that epidural MMN-like potentials to HF sounds in awake rats encode deviance in an analogous manner to the human MMN, laying the foundation for animal models of disorders characterized by disrupted MMN generation, such as schizophrenia

Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

Model-based mutation testing uses altered test models to derive test cases that are able to reveal whether a modelled fault has been implemented. This requires conformance checking between the original and the mutated model. This paper presents an approach for symbolic conformance checking of action systems, which are well-suited to specify reactive systems. We also consider nondeterminism in our models. Hence, we do not check for equivalence, but for refinement. We encode the transition relation as well as the conformance relation as a constraint satisfaction problem and use a constraint solver in our reachability and refinement checking algorithms. Explicit conformance checking techniques often face state space explosion. First experimental evaluations show that our approach has potential to outperform explicit conformance checkers.Comment: In Proceedings MBT 2012, arXiv:1202.582

Mechanical characterisation of polymer of intrinsic microporosity PIM-1 for hydrogen storage applications

Polymers of intrinsic microporosity (PIMs) are currently attracting interest due to their unusual combination of high surface areas and capability to be processed into free-standing films. However, there has been little published work with regards to their physical and mechanical properties. In this paper, detailed characterisation of PIM-1 was performed by considering its chemical, gas adsorption and mechanical properties. The polymer was cast into films, and characterised in terms of their hydrogen adsorption at −196 °C up to much higher pressures (17 MPa) than previously reported (2 MPa), demonstrating the maximum excess adsorbed capacity of the material and its uptake behaviour in higher pressure regimes. The measured tensile strength of the polymer film was 31 MPa with a Young’s modulus of 1.26 GPa, whereas the average storage modulus exceeded 960 MPa. The failure strain of the material was 4.4%. It was found that the film is thermally stable at low temperatures, down to −150 °C, and decomposition of the material occurs at 350 °C. These results suggest that PIM-1 has sufficient elasticity to withstand the elastic deformations occurring within state-of-the-art high-pressure hydrogen storage tanks and sufficient thermal stability to be applied at the range of temperatures necessary for gas storage applications

Finishing the euchromatic sequence of the human genome

The sequence of the human genome encodes the genetic instructions for human physiology, as well as rich information about human evolution. In 2001, the International Human Genome Sequencing Consortium reported a draft sequence of the euchromatic portion of the human genome. Since then, the international collaboration has worked to convert this draft into a genome sequence with high accuracy and nearly complete coverage. Here, we report the result of this finishing process. The current genome sequence (Build 35) contains 2.85 billion nucleotides interrupted by only 341 gaps. It covers ∼99% of the euchromatic genome and is accurate to an error rate of ∼1 event per 100,000 bases. Many of the remaining euchromatic gaps are associated with segmental duplications and will require focused work with new methods. The near-complete sequence, the first for a vertebrate, greatly improves the precision of biological analyses of the human genome including studies of gene number, birth and death. Notably, the human enome seems to encode only 20,000-25,000 protein-coding genes. The genome sequence reported here should serve as a firm foundation for biomedical research in the decades ahead