We examine the relationship between cell phone use and traffi c accidents using a unique measure of cell phone coverage. The distance from an antenna tower accurately predicts whether or not an area has cellular coverage according to provider coverage maps in 2016. Cellular coverage between 2001 and 2011 is proxied for using the the distance between a road segment and the nearest antenna tower....

Introduction Fatigue is the structural damage that leads the components of a wind turbine to sudden brittle failure when it suffers cyclic loading [15]. As the size of wind turbines is growing, fatigue loads become more and more significant for the design of major structural components. Concerning fatigue in a wind turbine tower, the fore-aft tower foot bending moment is considered as the most ...

We extend the results of Hamkins and Thomas concerning the malleability of automorphism tower heights of groups by forcing. We show that any reasonable sequence of ordinals can be realized as the automorphism tower heights of a certain group in consecutive forcing extensions or ground models, as desired. For example, it is possible to increase the height of the automorphism tower by passing to ...

In this paper, we present a concrete proof point, achieved after roughly two years of collaborative effort, resulting in substantially decreased time-to-silicon and improved semiconductor customer success. We describe a foundry package containing a unique Cadence evaluation test chip, available today, and fabricated using the 0.18um CMOS Tower Semiconductor process design kit, Tower standard-ce...

We carefully present an elementary proof of the well known theorem that each homotopy group (or, in degree zero, pointed set) of the inverse limit of a tower of fibrations maps naturally onto the inverse limit of the homotopy groups (or, in degree zero, pointed sets) of the spaces in the tower, with kernel naturally isomorphic to lim of the tower of homotopy groups of one dimension higher. The ...

This report describes how to use the reflective tower Blond. A reflective tower is a computational architecture where programs are given access to representations of the current state of computation. This models an infinite tower of interpreters interpreting each other, meta-circularly. Blond is a Scheme interpreter extended to be reflective. This report concentrates on its reflective extension...

Abstract: Wind load is the key and sensitive for tower structure but national standards tend to think that level stiffness change of cup type transmission tower is uniform along the height. The structure stiffness change of cup type transmission tower was simulated innovatively and found its nonuniformity. The result shows that the structural stiffness uniformly changes along the height when th...

Another version of programming ‘The Tower of Hanoi’ in TEX is provided. No nodding knowledge of Lisp is required; just plain TEX. There is no restriction on the number of disks, apart from the installed limits of TEX. Generalized disks can be moved as well.

We present a domain-independent algorithm for planning that computes macros in a novel way. Our algorithm computes macros “on-the-fly” for a given set of states and does not require previously learned or inferred information, nor prior domain knowledge. The algorithm is used to define new domainindependent tractable classes of classical planning that are proved to include Blocksworld-arm and To...

The game of the Towers of Hanoi is generalized to binary trees. First, a straightforward solution of the game is discussed. Second, a shorter solution is presented, which is then shown to be optimal.