The Birth of Semantics

We attempt here to trace the evolution of Frege’s thought about truth. What most frames the way we approach the problem is a recognition that hardly any of Frege’s most familiar claims about truth appear in his earliest work. We argue that Frege’s mature views about truth emerge from a fundamental re-thinking of the nature of logic instigated, in large part, by a sustained engagement with the work of George Boole and his followers, after the publication of Begriffsschrift and the appearance of critical reviews by members of the Boolean school

Muon Dynamics in a Toroidal Sector Magnet

We present a Hamiltonian formulation of muon dynamics in toroidal sector solenoids (bent solenoids)Comment: format aipproc.cls; aipproc.sty; 7 pages, two figures (*.ps). Submitted to the Proceedings of the 4th International Conference on Physics Potential and Development of mu-mu Colliders, San Francisco, Dec. 199

Training and Pruning Fruit Trees

PDF pages: 2

A search for radiative neutrino decay from supernovae

This document presents the data analysis procedures proposed for use with the COMPTEL instrument aboard the Compton Gamma Ray Observatory (GRO) in the search for radiative neutrino decay from supernovae. The proposed analysis methodology is an extension of a standard procedure used by the COMPTEL team in searching for a variety of source types. We have applied the procedures to a set of simulated data to demonstrate the feasibility of the method to this project

Eroding ribbon thermocouples: impulse response and transient heat flux analysis

We have investigated a particular type of fast-response surface thermocouple to determine if it is appropriate to use a one dimensional transient heat conduction model to derive the transient surface heat flux from the measurements of surface temperature. With these sensors, low thermal inertia thermocouple junctions are formed near the surface by abrasive wear. Using laser excitation, we obtained the impulse response of these commercially available devices. The response of particular sensors can vary if new junctions are created by abrasive wear. Furthermore, the response of these sensors was found to deviate substantially from the one dimensional model and varied from sensor to sensor. The impulse response was simulated with greater fidelity using a two dimensional finite element model, but three dimensional effects also appear to be significant. The impact of these variations on the derived heat flux is assessed for the case of measurements in an internal combustion engine. When the measured impulse response is used to derive the surface heat flux, the apparent reversal of heat flux during the expansion stroke does not occur

Introduction: The Challenge of Risk Communication in a Democratic Society

The symposium editors review key issues concerning the relationship between risk communication and public participation

Using nonequilibrium fluctuation theorems to understand and correct errors in equilibrium and nonequilibrium discrete Langevin dynamics simulations

Common algorithms for computationally simulating Langevin dynamics must discretize the stochastic differential equations of motion. These resulting finite time step integrators necessarily have several practical issues in common: Microscopic reversibility is violated, the sampled stationary distribution differs from the desired equilibrium distribution, and the work accumulated in nonequilibrium simulations is not directly usable in estimators based on nonequilibrium work theorems. Here, we show that even with a time-independent Hamiltonian, finite time step Langevin integrators can be thought of as a driven, nonequilibrium physical process. Once an appropriate work-like quantity is defined -- here called the shadow work -- recently developed nonequilibrium fluctuation theorems can be used to measure or correct for the errors introduced by the use of finite time steps. In particular, we demonstrate that amending estimators based on nonequilibrium work theorems to include this shadow work removes the time step dependent error from estimates of free energies. We also quantify, for the first time, the magnitude of deviations between the sampled stationary distribution and the desired equilibrium distribution for equilibrium Langevin simulations of solvated systems of varying size. While these deviations can be large, they can be eliminated altogether by Metropolization or greatly diminished by small reductions in the time step. Through this connection with driven processes, further developments in nonequilibrium fluctuation theorems can provide additional analytical tools for dealing with errors in finite time step integrators.Comment: 11 pages, 4 figure