25,817 research outputs found
Pipelined Asynchronous Circuits
This thesis presents a design style for implementing communicating sequential processes (CSP) as quasi delay insensitive asynchronous circuits, based on the compilation method of [1]. Although hand compilation can always yield optimal circuits to a good designer, a restricted approach is suggested which can easily implement circuits with some slack between inputs and outputs. These circuits are fast and versatile building blocks for highly pipelined designs. The first chapter presents the implementation approach for individual cells. The second chapter investigates the time behavior of complex pipelined circuits, with the goal of adding slack where necessary and adjusting transistor sizes to optimize the overall throughput
Introduction
There has been little overt discussion of the experimental philosophy of logic or mathematics. So it may be tempting to assume that application of the methods of experimental philosophy to these areas is impractical or unavailing. This assumption is undercut by three trends in recent research: a renewed interest in historical antecedents of experimental philosophy in philosophical logic; a “practice turn” in the philosophies of mathematics and logic; and philosophical interest in a substantial body of work in adjacent disciplines, such as the psychology of reasoning and mathematics education. This introduction offers a snapshot of each trend and addresses how they intersect with some of the standard criticisms of experimental philosophy. It also briefly summarizes the specific contribution of the other chapters of this book
Optimal control methods for simulating the perception of causality in young infants
There is a growing debate among developmental theorists concerning the perception of causality in young infants. Some theorists advocate a top-down view, e.g., that infants reason about causal events on the basis of intuitive physical principles. Others argue instead for a bottom-up view of infant causal knowledge, in which causal perception emerges from a simple set of associative learning rules. In order to test the limits of the bottom-up view, we propose an optimal control model (OCM) of infant causal perception. OCM is trained to find an optimal pattern of eye movements for maintaining sight of a target object. We first present a series of simulations which illustrate OCM's ability to anticipate the outcome of novel, occluded causal events, and then compare OCM's performance with that of 9-month-old infants. The impications for developmental theory and research are discusse
On the second homology group of the Torelli subgroup of Aut(F_n)
Let IA_n be the Torelli subgroup of Aut(F_n). We give an explicit finite set
of generators for H_2(IA_n) as a GL_n(Z)-module. Corollaries include a version
of surjective representation stability for H_2(IA_n), the vanishing of the
GL_n(Z)-coinvariants of H_2(IA_n), and the vanishing of the second rational
homology group of the level l congruence subgroup of Aut(F_n). Our generating
set is derived from a new group presentation for IA_n which is infinite but
which has a simple recursive form.Comment: 39 pages; minor revision; to appear in Geom. Topo
A Birman exact sequence for the Torelli subgroup of Aut(F_n)
We develop an analogue of the Birman exact sequence for the Torelli subgroup
of Aut(F_n). This builds on earlier work of the authors who studied an analogue
of the Birman exact sequence for the entire group Aut(F_n). These results play
an important role in the authors' recent work on the second homology group of
the Torelli group.Comment: 31 pages, minor revision; to appear in Int. J. Algebr. Compu
- …