When researching interactive systems in the car, the design space can be divided into the following areas: driver, front seat passenger and rear seat. The latter has so far not been sufficiently addressed in HCI research, which results in an absence of implications for interaction designs in that space. This work presents a cultural probing study investigating the activities and the technology ...

A central challenge in motility research is to quantitatively understand how numerous molecular building blocks self-organize to achieve coherent shape and movement on cellular scales. A classic example of such self-organization is lamellipodial motility in which forward translocation is driven by a treadmilling actin network. Actin polymerization has been shown to be mechanically restrained by...

BACKGROUND Currently, many states are upgrading their child restraint laws to include provisions for the use of age-appropriate restraints through 6 to 8 years of age, with some also requiring rear seating for children, enabling the laws to be in closer alignment with best-practice recommendations. OBJECTIVE To evaluate the relationships of seating position and restraint status to the risk of...

Cultural producers, including screenwriters and film directors, create fictional and imagined spaces as the locations – and sometimes subjects – of the stories they tell. Through the depiction of characters interacting with fictional spaces, storytellers illuminate the significance of spatial relationships in the real world. An examination of spaces in fictional narratives can therefore reveal ...

E. Staroswiecki, K. L. Granlund, M. T. Alley, G. E. Gold, and B. A. Hargreaves Radiology, Stanford University, Stanford, California, United States, Electrical Engineering, Stanford University, Stanford, California, United States INTRODUCTION: The visualization of articular cartilage is a challenging problem that requires advanced MRI techniques. In order to follow the changes to tissue in early...

The geometry of the tracks left by a bicycle has received much attention recently [9, 10, 11, 18, 20, 27]. In this paper we discuss the connection between the motion of a bicycle and that of a curious device known as a hatchet planimeter, and we will prove a conjecture about this planimeter that was made in 1906. Bicycle. We use a very simple model of a bicycle as a moving segment in the plane....

BACKGROUND Recent efforts to pass rear seat belt laws for adults have been hampered by large gaps in the scientific literature. This study examines driver, vehicle, crash, and passenger characteristics associated with mortality in rear-seated adult passengers. METHODS The Fatality Analysis Reporting System (FARS) 2010 to 2011 was used to examine motor vehicle occupant mortality in rear-seated...

Weak bisimulations are typically used in process algebras where silent steps are used to abstract from internal behaviours. They facilitate relating implementations to specifications. When an implementation fails to conform to its specification, pinpointing the root cause can be challenging. In this paper we provide a generic characterisation of branching-, delay-, ηand weak-bisimulation as a g...

In this talk I will discuss some interesting subsets of ω1 – club-sets, Borel subsets, stationary and bi-stationary subsets of ω1 – and the theorem about them that has been most useful to me over the years, called Fodor’s Theorem. The question “How many types of stationary sets exist in ω1?” will be a recurring theme. (Spoiler alert: there are uncountably many really distinct stationary subsets...

Building complex systems from models that have been developed separately without modifying existing code is a challenging task faced on a regular basis in multiple contexts including design verification. To address this issue an approach has been developed for automating dynamic system model composition by defining the minimum set of information that is necessary to the composition process. In ...