The Sheffield Wargames Corpus.

Recognition of speech in natural environments is a challenging task, even more so if this involves conversations between sev-eral speakers. Work on meeting recognition has addressed some of the significant challenges, mostly targeting formal, business style meetings where people are mostly in a static position in a room. Only limited data is available that contains high qual-ity near and far field data from real interactions between par-ticipants. In this paper we present a new corpus for research on speech recognition, speaker tracking and diarisation, based on recordings of native speakers of English playing a table-top wargame. The Sheffield Wargames Corpus comprises 7 hours of data from 10 recording sessions, obtained from 96 micro-phones, 3 video cameras and, most importantly, 3D location data provided by a sensor tracking system. The corpus repre-sents a unique resource, that provides for the first time location tracks (1.3Hz) of speakers that are constantly moving and talk-ing. The corpus is available for research purposes, and includes annotated development and evaluation test sets. Baseline results for close-talking and far field sets are included in this paper. 1

Optical monitoring system

Instrument can measure optical transmission, reflectance, and scattering. This information can be used to identify changes in optical properties or deviations from required optical standards. Device consists of monochromatic source, photo detector, transfer mirror, and hemiellipsoid. System might be used to measure optical properties of thin film

Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties

In this paper, we formally verify security properties of the ARMv7 Instruction Set Architecture (ISA) for user mode executions. To obtain guarantees that arbitrary (and unknown) user processes are able to run isolated from privileged software and other user processes, instruction level noninterference and integrity properties are provided, along with proofs that transitions to privileged modes can only occur in a controlled manner. This work establishes a main requirement for operating system and hypervisor verification, as demonstrated for the PROSPER separation kernel. The proof is performed in the HOL4 theorem prover, taking the Cambridge model of ARM as basis. To this end, a proof tool has been developed, which assists the verification of relational state predicates semi-automatically

First International Conference on Laboratory Research for Planetary Atmospheres

Proceedings of the First International Conference on Laboratory Research for Planetary Atmospheres are presented. The covered areas of research include: photon spectroscopy, chemical kinetics, thermodynamics, and charged particle interactions. This report contains the 12 invited papers, 27 contributed poster papers, and 5 plenary review papers presented at the conference. A list of attendees and a reprint of the Report of the Subgroup on Strategies for Planetary Atmospheres Exploration (SPASE) are provided in two appendices

Engineering the Anthropocene: Scalable social networks and resilience building in human evolutionary timescales

The Anthropocene represents the emergence of human societies as a ‘great force of nature’. To understand and engage productively with this emergent global force, it is necessary to understand its origins, dynamics and structuring processes as the long-term evolutionary product of human niche construction, based on three key human characteristics: tool making, habitat construction and most importantly: social network engineering. The exceptional social capacities of behaviourally modern humans, constituting human ultrasociality, are expressed through the formation of increasingly complex and extensive social networks, enabling flexible and diverse group organisation, sociocultural niche construction, engineered adaptation and resilience building. The human drive towards optimising communication infrastructures and expanding social networks is the key human adaptation underpinning the emergence of the Anthropocene. Understanding the deep roots of human ultrasocial behaviour is essential to guiding contemporary societies towards more sustainable human–environment interactions in the Anthropocene present and future. We propose that socially networked engineered solutions will continue to be the prime driver of human resilience and adaptive capacity in the face of global environmental risks and societal challenges such as climate change, sea-level rise, localised extreme weather events and ecosystem degradation

Gene Therapy in Cellular Immunodeficiencies

The treatment of cellular primary immunodeficiencies has benefitted from significant advances in the field of allogeneic stem cell transplantation (alloHSCT). However, while this therapy is curative for many PIDs, the procedure requires a suitably matched donor and carries significant risks of morbidity and mortality from complications such as graft-versus-host disease (GVHD). Autologous gene therapy (GT) approaches using stem cells isolated from patients and modified ex vivo using viral vectors or gene editing techniques have the potential to offer curative therapy for PID without the immunological complications of alloHSCT. GT for PID has been developed over the last 30 years, and while several setbacks have been encountered along the way, there is now a licensed GT product for ADA-SCID, and promising results from phase I/II clinical trials have demonstrated that GT may offer clinical efficacy comparable to alloHSCT in several other PIDs. Developments in the field are broadening the application of GT, and we expect that this therapeutic modality may become standard of care for the management of several PIDs in the near future. This chapter explores the development of GT over the last 30 years and outlines its role in the management of cellular primary immunodeficiencies

Quantifying the efficiency and biases of forest Saccharomyces sampling strategies

Saccharomyces yeasts are emerging as model organisms for ecology and evolution, and researchers need environmental Saccharomyces isolates to test ecological and evolutionary hypotheses. However, methods for isolating Saccharomyces from nature have not been standardized and isolation methods may influence the genotypes and phenotypes of studied strains. We compared the effectiveness and potential biases of an established enrichment culturing method against a newly developed direct plating method for isolating forest floor Saccharomyces spp. In a European forest, enrichment culturing was both less successful at isolating S. paradoxus per sample collected and less labor intensive per isolated S. paradoxus colony than direct isolation. The two methods sampled similar S. paradoxus diversity: the number of unique genotypes sampled (i.e., genotypic diversity) per S. paradoxus isolate and average growth rates of S. paradoxus isolates did not differ between the two methods, and growth rate variances (i.e., phenotypic diversity) only differed in one of three tested environments. However, enrichment culturing did detect rare S. cerevisiae in the forest habitat, and also found two S. paradoxus isolates with outlier phenotypes. Our results validate the historically common method of using enrichment culturing to isolate representative collections of environmental Saccharomyces. We recommend that researchers choose a Saccharomyces sampling method based on resources available for sampling and isolate screening. Researchers interested in discovering new Saccharomyces phenotypes or rare Saccharomyces species from natural environments may also have more success using enrichment culturing. We include step-by-step sampling protocols in the supplemental materials