Contextuality-by-Default: A Brief Overview of Ideas, Concepts, and Terminology

This paper is a brief overview of the concepts involved in measuring the degree of contextuality and detecting contextuality in systems of binary measurements of a finite number of objects. We discuss and clarify the main concepts and terminology of the theory called "contextuality-by-default," and then discuss a possible generalization of the theory from binary to arbitrary measurements.Comment: Lecture Notes in Computer Science 9535 (with the corrected list of authors) (2016

Access courses as a site of engagement: a research project

This research project was funded by the Greater Manchester Strategic Alliance and Aimhigher Research Network North West. A database of Access students was held at the University of Salford that included students from 1998-2006. The names of the students were gathered by the Access Unit from their Enrichment Programme over the period. Ethical approval for the research was sought from the IRIS Director and advice on the Data Protection Act sought from the manager responsible within the university. The database contained information on name, age, address, telephone contact, gender, ethnicity, college and Access course attended. There were approximately 6000 entries on the database. “Access to higher education courses offer a route into higher education (HE) for those who do not have the educational qualifications which are usually required for entry. These courses provide the underpinning knowledge and skills needed for university-level study, and lead to the award of the Access to HE qualification, which is of an equivalent standard to Level 3 qualifications, such as A levels.” UCAS website. Individuals can study a range of courses in different subject areas such as health, science or humanities. Access courses can be studied over one year as a full time course or over two-three years as a part time course. The starting point for the study is the view that to enrol on an Access to HE course means that a major decision or turning point in an adult’s life has taken place and that the individual wants to change direction. This change of direction is important and suggests that individuals may have missed an opportunity earlier in their lives or do not wish to continue in the same employment situation or in the case of many women who are carers their circumstances have changed. The engagement in learning is an agentic act on the part of the individual that may be prompted by others in the immediate family or friends. However, a necessary aspect of this engagement is the provision of Access courses as a means to enter higher education or change employment

Charge Transport in Organic Molecular Semiconductors from First Principles: The Band-Like Hole Mobility in Naphthalene Crystal

Predicting charge transport in organic molecular crystals is notoriously challenging. Carrier mobility calculations in organic semiconductors are dominated by quantum chemistry methods based on charge hopping, which are laborious and only moderately accurate. We compute from first principles the electron-phonon scattering and the phonon-limited hole mobility of naphthalene crystal in the framework of ab initio band theory. Our calculations combine GW electronic bandstructures, ab initio electron-phonon scattering, and the Boltzmann transport equation. The calculated hole mobility is in very good agreement with experiment between 100$-$300 K, and we can predict its temperature dependence with high accuracy. We show that scattering between inter-molecular phonons and holes regulates the mobility, though intra-molecular phonons possess the strongest coupling with holes. We revisit the common belief that only rigid molecular motions affect carrier dynamics in organic molecular crystals. Our work provides a quantitative and rigorous framework to compute charge transport in organic crystals, and is a first step toward reconciling band theory and carrier hopping computational methods.Comment: 7 pages, 4 figures, Accepted by Phys. Rev.

Reliability of voting in fault-tolerant software systems for small output spaces

Under a voting strategy in a fault-tolerant software system there is a difference between correctness and agreement. An independent N-version programming reliability model is proposed for treating small output spaces which distinguishes between correctness and agreement. System reliability is investigated using analytical relationships and simulation. A consensus majority voting strategy is proposed and its performance is analyzed and compared with other voting strategies. Consensus majority strategy automatically adapts the voting to different component reliability and output space cardinality characteristics. It is shown that absolute majority voting strategy provides a lower bound on the reliability provided by the consensus majority, and 2-of-n voting strategy an upper bound. If r is the cardinality of the output space it is proved the 1/r is a lower bound on the average reliability of fault-tolerant system components below which the system reliability begins to deteriorate as more versions are added

Predictive control using an FPGA with application to aircraft control

Alternative and more efficient computational methods can extend the applicability of MPC to systems with tight real-time requirements. This paper presents a “system-on-a-chip” MPC system, implemented on a field programmable gate array (FPGA), consisting of a sparse structure-exploiting primal dual interior point (PDIP) QP solver for MPC reference tracking and a fast gradient QP solver for steady-state target calculation. A parallel reduced precision iterative solver is used to accelerate the solution of the set of linear equations forming the computational bottleneck of the PDIP algorithm. A numerical study of the effect of reducing the number of iterations highlights the effectiveness of the approach. The system is demonstrated with an FPGA-inthe-loop testbench controlling a nonlinear simulation of a large airliner. This study considers many more manipulated inputs than any previous FPGA-based MPC implementation to date, yet the implementation comfortably fits into a mid-range FPGA, and the controller compares well in terms of solution quality and latency to state-of-the-art QP solvers running on a standard PC

To what extent does the self-consistent mean-field exist?

A non-convergent difficulty near level-repulsive region is discussed within the self-consistent mean-field theory. It is shown by numerical and analytic studies that the mean-field is not realized in the many-fermion system when quantum fluctuations coming from two-body residual interaction and quadrupole deformation are larger than an energy difference between two avoided crossing orbits. An analytic condition indicating a limitation of the mean-field concept is derived for the first time

Explicit Spectral Decimation for a Class of Self--Similar Fractals

The method of spectral decimation is applied to an infinite collection of self--similar fractals. The sets considered belong to the class of nested fractals, and are thus very symmetric. An explicit construction is given to obtain formulas for the eigenvalues of the Laplace operator acting on these fractals

Clearance of human papillomavirus related anal condylomas after oral and endorectal multistrain probiotic supplementation in an HIV positive male: A case report.

Abstract Go to: Introduction: Here we present the case of a 56-year-old human immunodeficiency virus (HIV)-infected man with multiple anal condylomas and positivity for human papilloma virus (HPV) 18 on anal brushing. Biopsies of the anal mucosa led to the diagnosis of Bowen's disease and a subsequent pelvic magnetic resonance imaging (MRI) scan evidenced multiple reactive lymphoadenopathies and large intra-anal condylomas. The patient was treated with a complete excision of Bowen's lesion and with a 4 months course of supplementation with a high concentration multistrain probiotic formulation administered orally and by rectal instillation with the purpose to reduce local inflammation and to enhance local mucosal immunity. Go to: Conclusion: An MRI performed at the end of the supplementation period evidenced the clearance of the anal condylomas previously described and no evidence of residual lymphadenopathies. Trials are therefore required to confirm this therapeutic possibility and for a better understanding of the mechanisms by which this specific probiotic formulation interacts with local epithelium when administered by the anal route

Investigation of Structural Dynamics of Enzymes and Protonation States of Substrates Using Computational Tools.

This review discusses the use of molecular modeling tools, together with existing experimental findings, to provide a complete atomic-level description of enzyme dynamics and function. We focus on functionally relevant conformational dynamics of enzymes and the protonation states of substrates. The conformational fluctuations of enzymes usually play a crucial role in substrate recognition and catalysis. Protein dynamics can be altered by a tiny change in a molecular system such as different protonation states of various intermediates or by a significant perturbation such as a ligand association. Here we review recent advances in applying atomistic molecular dynamics (MD) simulations to investigate allosteric and network regulation of tryptophan synthase (TRPS) and protonation states of its intermediates and catalysis. In addition, we review studies using quantum mechanics/molecular mechanics (QM/MM) methods to investigate the protonation states of catalytic residues of β-Ketoacyl ACP synthase I (KasA). We also discuss modeling of large-scale protein motions for HIV-1 protease with coarse-grained Brownian dynamics (BD) simulations