Physics, Topology, Logic and Computation: A Rosetta Stone

In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology: namely, a linear operator behaves very much like a "cobordism". Similar diagrams can be used to reason about logic, where they represent proofs, and computation, where they represent programs. With the rise of interest in quantum cryptography and quantum computation, it became clear that there is extensive network of analogies between physics, topology, logic and computation. In this expository paper, we make some of these analogies precise using the concept of "closed symmetric monoidal category". We assume no prior knowledge of category theory, proof theory or computer science.Comment: 73 pages, 8 encapsulated postscript figure

Evolution of a Holocene delta driven by episodic sediment delivery and coseismic deformation, Puget Sound, Washington, USA

This paper is not subject to U.S. copyright. The definitive version was published in Sedimentology 53 (2006): 1211-1228, doi:10.1111/j.1365-3091.2006.00809.x.Episodic, large-volume pulses of volcaniclastic sediment and coseismic subsidence of the coast have influenced the development of a late Holocene delta at southern Puget Sound. Multibeam bathymetry, ground-penetrating radar (GPR) and vibracores were used to investigate the morphologic and stratigraphic evolution of the Nisqually River delta. Two fluvial–deltaic facies are recognized on the basis of GPR data and sedimentary characteristics in cores, which suggest partial emplacement from sediment-rich floods that originated on Mount Rainier. Facies S consists of stacked, sheet-like deposits of andesitic sand up to 4 m thick that are continuous across the entire width of the delta. Flat-lying, highly reflective surfaces separate the sand sheets and comprise important facies boundaries. Beds of massive, pumice- and charcoal-rich sand overlie one of the buried surfaces. Organic-rich material from that surface, beneath the massive sand, yielded a radiocarbon age that is time-correlative with a series of known eruptive events that generated lahars in the upper Nisqually River valley. Facies CF consists of linear sandbodies or palaeochannels incised into facies S on the lower delta plain. Radiocarbon ages of wood fragments in the sandy channel-fill deposits also correlate in time to lahar deposits in upstream areas. Intrusive, sand-filled dikes and sills indicate liquefaction caused by post-depositional ground shaking related to earthquakes. Continued progradation of the delta into Puget Sound is currently balanced by tidal-current reworking, which redistributes sediment into large fields of ebb- and flood-oriented bedforms.This study was supported by the Coastal and Marine Geology Program, and the Earthquake Hazards Program of the U.S. Geological Survey

How are management fashions institutionalized? The role of institutional work

We explore how transitory management fashions become institutionalized. Based on the concepts of institutional entrepreneurship and institutional work, we postulate that fashionable management practices acquire permanence when they are anchored within fieldwide institutions. The building of such institutions requires various types of institutional work, including political work, technical work and cultural work. Based on a review of the empirical literature on various management fashions, we identify the actors engaging in these different types of works, and their skills. Our results suggest that the institutionalization effect is stronger if more types of institutional work are deployed and if the skill sets of the involved actors vary. We also argue that institutional construction in the case of management fashions is likely to take the form of decentralized `partaking' rather than being led by a single dominant institutional entrepreneur. We conclude with implications for the study of management fashions and the role of agency in institutionalization

Machine Learning in Automated Text Categorization

The automated categorization (or classification) of texts into predefined categories has witnessed a booming interest in the last ten years, due to the increased availability of documents in digital form and the ensuing need to organize them. In the research community the dominant approach to this problem is based on machine learning techniques: a general inductive process automatically builds a classifier by learning, from a set of preclassified documents, the characteristics of the categories. The advantages of this approach over the knowledge engineering approach (consisting in the manual definition of a classifier by domain experts) are a very good effectiveness, considerable savings in terms of expert manpower, and straightforward portability to different domains. This survey discusses the main approaches to text categorization that fall within the machine learning paradigm. We will discuss in detail issues pertaining to three different problems, namely document representation, classifier construction, and classifier evaluation.Comment: Accepted for publication on ACM Computing Survey

Abundances of the elements in the solar system

A review of the abundances and condensation temperatures of the elements and their nuclides in the solar nebula and in chondritic meteorites. Abundances of the elements in some neighboring stars are also discussed.Comment: 42 pages, 11 tables, 8 figures, chapter, In Landolt- B\"ornstein, New Series, Vol. VI/4B, Chap. 4.4, J.E. Tr\"umper (ed.), Berlin, Heidelberg, New York: Springer-Verlag, p. 560-63

Influence of Grain Boundary Character on Creep Void Formation in Alloy 617

Alloy 617, a high temperature creep-resistant, nickel-based alloy, is being considered for the primary heat exchanger for the Next Generation Nuclear Plant (NGNP) which will operate at temperatures exceeding 760oC. Orientation imaging microscopy (OIM) is used to characterize the grain boundaries in the vicinity of creep voids that develop during high temperature creep tests (800-1000oC at creep stresses ranging from 20-85 MPa) terminated at creep strains ranging from 5-40%. Observations using optical microscopy indicate creep rate does not significantly influence the creep void fraction at a given creep strain. Preliminary analysis of the OIM data indicates voids tend to form on grain boundaries parallel, perpendicular or 45o to the tensile axis, while few voids are found at intermediate inclinations to the tensile axis. Random grain boundaries intersect most voids while CSL-related grain boundaries did not appear to be consistently associated with void development

Special and inclusive education in the Republic of Ireland: reviewing the literature from 2000 to 2009

Provision for pupils with special educational needs in Ireland has undergone considerable change and review in the first decade of the twenty first century. In response to international demands for a more equitable education system which recognises diversity and considers how schools might address the needs of pupils who have been previously marginalised, Irish legislation has focused upon the development of inclusive schooling. Researchers during this period have endeavoured to understand how responses to the demand for greater inclusion have impacted upon the perceived need for change. This paper reviews the research literature for this period and identifies four key themes under which research has been conducted. The literature pertaining to these themes is explored and a possible agenda for future researchers identifie

Measurement of the partial widths of the Z into up- and down-type quarks

Using the entire OPAL LEP1 on-peak Z hadronic decay sample, Z -> qbarq gamma decays were selected by tagging hadronic final states with isolated photon candidates in the electromagnetic calorimeter. Combining the measured rates of Z -> qbarq gamma decays with the total rate of hadronic Z decays permits the simultaneous determination of the widths of the Z into up- and down-type quarks. The values obtained, with total errors, were Gamma u = 300 ^{+19}_{-18} MeV and Gamma d = 381 ^{+12}_{-12} MeV. The results are in good agreement with the Standard Model expectation.Comment: 22 pages, 5 figures, Submitted to Phys. Letts.