Frequentist statistics as a theory of inductive inference

After some general remarks about the interrelation between philosophical and statistical thinking, the discussion centres largely on significance tests. These are defined as the calculation of $p$-values rather than as formal procedures for ``acceptance'' and ``rejection.'' A number of types of null hypothesis are described and a principle for evidential interpretation set out governing the implications of $p$-values in the specific circumstances of each application, as contrasted with a long-run interpretation. A variety of more complicated situations are discussed in which modification of the simple $p$-value may be essential.Comment: Published at http://dx.doi.org/10.1214/074921706000000400 in the IMS Lecture Notes--Monograph Series (http://www.imstat.org/publications/lecnotes.htm) by the Institute of Mathematical Statistics (http://www.imstat.org

Prosodic transcription of Glasgow English: an evaluation study of GlaToBI

GlaToBI, a version of the ToBI prosodic transcription system which can be used to transcribe the intonation patterns of western Scottish (Glasgow) English, is currently under development. An assessment of GlaToBI, similar to the evaluation studies that were undertaken for the original ToBI system [7], and for GToBI, a version developed for German [4], has been carried out to test the new system 's reliability, learnability and comprehensiveness. The results of this study show that this adaptation of the ToBI system can be applied with the expected level of reliability to the transcription of Glasgow English. 1. INTRODUCTION Very little corpus based work has been done on the prosodic features of English dialects other than Standard American and southern British (Received Pronunciation). However, with the creation of databases such as the University of Edinburgh's HCRC Map Task corpus [1], the predominant dialect of which is western Scottish (Glasgow) English, the opportunity has arisen..

DREIDING: A generic force field for molecular simulations

We report the parameters for a new generic force field, DREIDING, that we find useful for predicting structures and dynamics of organic, biological, and main-group inorganic molecules. The philosophy in DREIDING is to use general force constants and geometry parameters based on simple hybridization considerations rather than individual force constants and geometric parameters that depend on the particular combination of atoms involved in the bond, angle, or torsion terms. Thus all bond distances are derived from atomic radii, and there is only one force constant each for bonds, angles, and inversions and only six different values for torsional barriers. Parameters are defined for all possible combinations of atoms and new atoms can be added to the force field rather simply. This paper reports the parameters for the "nonmetallic" main-group elements (B, C, N, 0, F columns for the C, Si, Ge, and Sn rows) plus H and a few metals (Na, Ca, Zn, Fe). The accuracy of the DREIDING force field is tested by comparing with (i) 76 accurately determined crystal structures of organic compounds involving H, C, N, 0, F, P, S, CI, and Br, (ii) rotational barriers of a number of molecules, and (iii) relative conformational energies and barriers of a number of molecules. We find excellent results for these systems

Designing protein β-sheet surfaces by Z-score optimization

Studies of lattice models of proteins have suggested that the appropriate energy expression for protein design may include nonthermodynamic terms to accommodate negative design concerns. One method, developed in lattice model studies, maximizes a quantity known as the "Z-score," which compares the lowest energy sequence whose ground state structure is the target structure to an ensemble of random sequences. Here we show that, in certain circumstances, the technique can be applied to real proteins. The resulting energy expression is used to design the β-sheet surfaces of two real proteins. We find experimentally that the designed proteins are stable and well folded, and in one case is even more thermostable than the wild type

Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization in Complex Systems

We introduce noncooperatively optimized tolerance (NOT), a generalization of highly optimized tolerance (HOT) that involves strategic (game theoretic) interactions between parties in a complex system. We illustrate our model in the forest fire (percolation) framework. As the number of players increases, our model retains features of HOT, such as robustness, high yield combined with high density, and self-dissimilar landscapes, but also develops features of self-organized criticality (SOC) when the number of players is large enough. For example, the forest landscape becomes increasingly homogeneous and protection from adverse events (lightning strikes) becomes less closely correlated with the spatial distribution of these events. While HOT is a special case of our model, the resemblance to SOC is only partial; for example, the distribution of cascades, while becoming increasingly heavy-tailed as the number of players increases, also deviates more significantly from a power law in this regime. Surprisingly, the system retains considerable robustness even as it becomes fractured, due in part to emergent cooperation between neighboring players. At the same time, increasing homogeneity promotes resilience against changes in the lightning distribution, giving rise to intermediate regimes where the system is robust to a particular distribution of adverse events, yet not very fragile to changes

Architecture-Aware Configuration and Scheduling of Matrix Multiplication on Asymmetric Multicore Processors

Asymmetric multicore processors (AMPs) have recently emerged as an appealing technology for severely energy-constrained environments, especially in mobile appliances where heterogeneity in applications is mainstream. In addition, given the growing interest for low-power high performance computing, this type of architectures is also being investigated as a means to improve the throughput-per-Watt of complex scientific applications. In this paper, we design and embed several architecture-aware optimizations into a multi-threaded general matrix multiplication (gemm), a key operation of the BLAS, in order to obtain a high performance implementation for ARM big.LITTLE AMPs. Our solution is based on the reference implementation of gemm in the BLIS library, and integrates a cache-aware configuration as well as asymmetric--static and dynamic scheduling strategies that carefully tune and distribute the operation's micro-kernels among the big and LITTLE cores of the target processor. The experimental results on a Samsung Exynos 5422, a system-on-chip with ARM Cortex-A15 and Cortex-A7 clusters that implements the big.LITTLE model, expose that our cache-aware versions of gemm with asymmetric scheduling attain important gains in performance with respect to its architecture-oblivious counterparts while exploiting all the resources of the AMP to deliver considerable energy efficiency

Aeronautic instruments. Section I : general classification of instruments and problems including bibliography

This report is intended as a technical introduction to the series of reports on aeronautic instruments. It presents a discussion of those subjects which are common to all instruments. First, a general classification is given, embracing all types of instruments used in aeronautics. Finally, a classification is given of the various problems confronted by the instrument expert and investigator. In this way the following groups of problems are brought up for consideration: problems of mechanical design, human factor, manufacturing problems, supply and selection of instruments, problems concerning the technique of testing, problems of installation, problems concerning the use of instruments, problems of maintenance, and physical research problems. This enumeration of problems which are common to instruments in general serves to indicate the different points of view which should be kept in mind in approaching the study of any particular instrument

Description of an experimental (hydrogen peroxide) rocket system and its use in measuring aileron and rudder effectiveness of a light airplane

A hydrogen peroxide fueled rocket system, which is to be used as a research tool in flight studies of stall and spin maneuvers, was installed on a light, four place general aviation airplane. The pilot controlled rocket system produces moments about either the roll or the yaw body axis to augment or oppose the aerodynamic forces and inertial moments acting on the airplane during various flight maneuvers, including the spin. These controlled moments of a known magnitude can be used in various ways to help analyze and interpret the importance of the various factors which influence airplane maneuvers. The rocket system and its installation in the airplane are described, and the results of flight rests used to measure rudder and aileron effectiveness at airspeeds above the stall are presented. These tests also serve to demonstrate the operational readiness of the rocket system for future research operations