A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems

Multi-core, Mixed Criticality Embedded (MCE) real-time systems require high timing precision and predictability to guarantee there will be no interference between tasks. These guarantees are necessary in application areas such as avionics and automotive, where task interference or missed deadlines could be catastrophic, and safety requirements are strict. In modern multi-core systems, the interconnect becomes a potential point of uncertainty, introducing major challenges in proving behaviour is always within specified constraints, limiting the means of growing system performance to add more tasks, or provide more computational resources to existing tasks. We present MCENoC, a Network-on-Chip (NoC) switching architecture that provides innovations to overcome this with predictable, formally verifiable timing behaviour that is consistent across the whole NoC. We show how the fundamental properties of Benes networks benefit MCE applications and meet our architecture requirements. Using SystemVerilog Assertions (SVA), formal properties are defined that aid the refinement of the specification of the design as well as enabling the implementation to be exhaustively formally verified. We demonstrate the performance of the design in terms of size, throughput and predictability, and discuss the application level considerations needed to exploit this architecture

Process Evaluation of the Realising Ambition Programme

Launched in May 2012 by the Big Lottery Fund (hereafter 'the Fund'), the Realising Ambition programme aims to help more young people aged 8-14 fulfil their potential and avoid pathways into offending. It does this by supporting 25 organisations to replicate proven youth interventions at new sites across the UK. The Realising Ambition process evaluation covered the first three, of five, years of the programme (2012-2015). The process evaluation had two key objectives:* To gain an understanding of the practical issues associated with replication, including issues emerging for organisations involved in replication themselves.* To explore what does and doesn't work when supporting organisations to replicate proven models, and the resources required to support different approaches to replication

Lost in translation: Exposing hidden compiler optimization opportunities

Existing iterative compilation and machine-learning-based optimization techniques have been proven very successful in achieving better optimizations than the standard optimization levels of a compiler. However, they were not engineered to support the tuning of a compiler's optimizer as part of the compiler's daily development cycle. In this paper, we first establish the required properties which a technique must exhibit to enable such tuning. We then introduce an enhancement to the classic nightly routine testing of compilers which exhibits all the required properties, and thus, is capable of driving the improvement and tuning of the compiler's common optimizer. This is achieved by leveraging resource usage and compilation information collected while systematically exploiting prefixes of the transformations applied at standard optimization levels. Experimental evaluation using the LLVM v6.0.1 compiler demonstrated that the new approach was able to reveal hidden cross-architecture and architecture-dependent potential optimizations on two popular processors: the Intel i5-6300U and the Arm Cortex-A53-based Broadcom BCM2837 used in the Raspberry Pi 3B+. As a case study, we demonstrate how the insights from our approach enabled us to identify and remove a significant shortcoming of the CFG simplification pass of the LLVM v6.0.1 compiler.Comment: 31 pages, 7 figures, 2 table. arXiv admin note: text overlap with arXiv:1802.0984

Study to investigate the effectiveness of using a humanoid robot (Kaspar) to improve the social skills of children with an Autism Spectrum Disorder: a randomised controlled feasibility trial

Peer reviewe

A Benes̆ Based NoC Switching Architecture for Mixed Criticality Embedded Systems

Multi-core, Mixed Criticality Embedded (MCE) real-time systems require high timing precision and predictability to guarantee there will be no interference between tasks. These guarantees are necessary in application areas such as avionics and automotive, where task interference or missed deadlines could be catastrophic, and safety requirements are strict. In modern multi-core systems, the interconnect becomes a potential point of uncertainty, introducing major challenges in proving behaviour is always within specified constraints, limiting the means of growing system performance to add more tasks, or provide more computational resources to existing tasks. We present MCENoC, a Network-on-Chip (NoC) switching architecture that provides innovations to overcome this with predictable, formally verifiable timing behaviour that is consistent across the whole NoC. We show how the fundamental properties of Benes networks benefit MCE applications and meet our architecture requirements. Using SystemVerilog Assertions (SVA), formal properties are defined that aid the refinement of the specification of the design as well as enabling the implementation to be exhaustively formally verified. We demonstrate the performance of the design in terms of size, throughput and predictability, and discuss the application level considerations needed to exploit this architecture

An old confusion: Entomophthoromycosis versus mucormycosis and their main differences

Fungal diseases were underestimated for many years. And the global burden of fungal infections is substantial and has increased in recent years. Invasive fungal infections have been linked to several risk factors in humans which basically depend on the individual homeostasis of the patients. However, many fungi can infect even apparently healthy people. Knowledge of these pathogens is critical in reducing or stopping morbidity and/or mortality statistics due to fungal pathogens. Successful therapeutic strategies rely on rapid diagnosis of the causative fungal agent and the underlying disease. However, the terminology of the diseases was updated to existing phylogenetic classifications and led to confusion in the definition of mucormycosis, conidiobolomycosis, and basidiobolomycosis, which were previously grouped under the now-uncommon term zygomycosis. Therefore, the ecological, taxonomic, clinical, and diagnostic differences are addressed to optimize the understanding and definition of these diseases. The term “coenocytic hyphomycosis” is proposed to summarize all fungal infections caused by Mucorales and species of Basidiobolus and Conidiobolus

A Linear Model of Phase-Dependent Power Correlations in Neuronal Oscillations

Recently, it has been suggested that effective interactions between two neuronal populations are supported by the phase difference between the oscillations in these two populations, a hypothesis referred to as “communication through coherence” (CTC). Experimental work quantified effective interactions by means of the power correlations between the two populations, where power was calculated on the local field potential and/or multi-unit activity. Here, we present a linear model of interacting oscillators that accounts for the phase dependency of the power correlation between the two populations and that can be used as a reference for detecting non-linearities such as gain control. In the experimental analysis, trials were sorted according to the coupled phase difference of the oscillators while the putative interaction between oscillations was taking place. Taking advantage of the modeling, we further studied the dependency of the power correlation on the uncoupled phase difference, connection strength, and topology. Since the uncoupled phase difference, i.e., the phase relation before the effective interaction, is the causal variable in the CTC hypothesis we also describe how power correlations depend on that variable. For uni-directional connectivity we observe that the width of the uncoupled phase dependency is broader than for the coupled phase. Furthermore, the analytical results show that the characteristics of the phase dependency change when a bidirectional connection is assumed. The width of the phase dependency indicates which oscillation frequencies are optimal for a given connection delay distribution. We propose that a certain width enables a stimulus-contrast dependent extent of effective long-range lateral connections

Next-gen enzyme engineering – A wet lab data-driven approach to identify and recombine key point mutations with EnzyMAP AI and EnzyREC AI for superior enzyme performance

Please click Additional Files below to see the full abstrac