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

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

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..

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

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

Black hole polarization and new entropy bounds

Zaslavskii has suggested how to tighten Bekenstein's bound on entropy when the object is electrically charged. Recently Hod has provided a second tighter version of the bound applicable when the object is rotating. Here we derive Zaslavskii's optimized bound by considering the accretion of an ordinary charged object by a black hole. The force originating from the polarization of the black hole by a nearby charge is central to the derivation of the bound from the generalized second law. We also conjecture an entropy bound for charged rotating objects, a synthesis of Zaslavskii's and Hod's. On the basis of the no hair principle for black holes, we show that this last bound cannot be tightened further in a generic way by knowledge of ``global'' conserved charges, e.g., baryon number, which may be borne by the object.Comment: 21 pages, RevTex, Regularization of potential made clearer. Error in energy of the particle corrected with no consequence for final conclusions. New references adde

Fronts in randomly advected and heterogeneous media and nonuniversality of Burgers turbulence: Theory and numerics

A recently established mathematical equivalence--between weakly perturbed Huygens fronts (e.g., flames in weak turbulence or geometrical-optics wave fronts in slightly nonuniform media) and the inviscid limit of white-noise-driven Burgers turbulence--motivates theoretical and numerical estimates of Burgers-turbulence properties for specific types of white-in-time forcing. Existing mathematical relations between Burgers turbulence and the statistical mechanics of directed polymers, allowing use of the replica method, are exploited to obtain systematic upper bounds on the Burgers energy density, corresponding to the ground-state binding energy of the directed polymer and the speedup of the Huygens front. The results are complementary to previous studies of both Burgers turbulence and directed polymers, which have focused on universal scaling properties instead of forcing-dependent parameters. The upper-bound formula can be heuristically understood in terms of renormalization of a different kind from that previously used in combustion models, and also shows that the burning velocity of an idealized turbulent flame does not diverge with increasing Reynolds number at fixed turbulence intensity, a conclusion that applies even to strong turbulence. Numerical simulations of the one-dimensional inviscid Burgers equation using a Lagrangian finite-element method confirm that the theoretical upper bounds are sharp within about 15% for various forcing spectra (corresponding to various two-dimensional random media). These computations provide a new quantitative test of the replica method. The inferred nonuniversality (spectrum dependence) of the front speedup is of direct importance for combustion modeling.Comment: 20 pages, 2 figures, REVTeX 4. Moved some details to appendices, added figure on numerical metho

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

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