Empirical logic of finite automata: microstatements versus macrostatements

We compare the two approaches to the empirical logic of automata. The first, called partition logic (logic of microstatements), refers to experiments on individual automata. The second one, the logic of simulation (logic of macrostatements), deals with ensembles of automata.Comment: late

How do the grains slide in fine-grained zirconia polycrystals at high temperature?

Degradation of mechanical properties of zirconia polycrystals is hardly discussed in terms of solution-precipitation grain-boundary sliding due to experimental controversies over imaging of intergranular amorphous phases at high and room temperatures. Here, the authors applied the techniques of mechanical spectroscopy and transmission electron microscopy (TEM) to shed light on the amorphization of grain interfaces at high temperature where the interface-reaction determines the behaviour of fine-grained zirconia polycrystals. They present mechanical spectroscopy results, which yield evidences of an intergranular amorphous phase in silica doped and high-purity zirconia at high temperature. Quenching of zirconia polycrystals reveals an intergranular amorphous phase on TEM images at room temperature.Comment: 12 pages, 3 figure

Analytical study of the fracture of liquid- filled tanks impacted by hypervelocity particles

Shock waves in water and stress waves in tank walls of water-filled fuel tanks impacted by hypervelocity particle

The First Amendment in the Digital Age: Protecting Free Speech (and Other Values)

The First Amendment is alive but it must be interpreted and applied wisely in the context of our amazing digital age. While protection of political dissent is vital in a free society, as important today as it ever was, the protection must extend much further into every realm of human endeavor: arts, science, and all matters that people wish to think and speak about in human culture. We must be vigilant to preserve this enormous democratic resource and to work for a definition of free expression that recognizes the importance of individual creativity and expression and does not unduly protect intellectual property to the extent that it endangers the enormous creativity associated with free speech. Barry R. Schaller is an Associate Justice on the Connecticut Supreme Court. He is the author of several books on law and serves as a part-time instructor and lecturer at Yale Law School and Quinnipiac University School of Law. This talk was delivered at Sacred Heart University on September 17, 2008, as the Annual Constitution Day Lecture

Classical and Quantum Gravity in 1+1 Dimensions, Part III: Solutions of Arbitrary Topology

All global solutions of arbitrary topology of the most general 1+1 dimensional dilaton gravity models are obtained. We show that for a generic model there are globally smooth solutions on any non-compact 2-surface. The solution space is parametrized explicitly and the geometrical significance of continuous and discrete labels is elucidated. As a corollary we gain insight into the (in general non-trivial) topology of the reduced phase space. The classification covers basically all 2D metrics of Lorentzian signature with a (local) Killing symmetry.Comment: 39 pages, 22 figures, uses AMSTeX, extended version of former chapter 7 (Gravitational Kinks) now available as gr-qc/9707053, problem with figure 6 fixe

Generalized 2d dilaton gravity with matter fields

We extend the classical integrability of the CGHS model of 2d dilaton gravity [1] to a larger class of models, allowing the gravitational part of the action to depend more generally on the dilaton field and, simultaneously, adding fermion- and U(1)-gauge-fields to the scalar matter. On the other hand we provide the complete solution of the most general dilaton-dependent 2d gravity action coupled to chiral fermions. The latter analysis is generalized to a chiral fermion multiplet with a non-abelian gauge symmetry as well as to the (anti-)self-dual sector df = *df (df = -*df) of a scalar field f.Comment: 37 pages, Latex; typos and Eqs. (44,45) corrected; paragraph on p. 26, referring to a work of S. Solodukhin, reformulated; references adde

Logical equivalence between generalized urn models and finite automata

To every generalized urn model there exists a finite (Mealy) automaton with identical propositional calculus. The converse is true as well.Comment: 9 pages, minor change