Bridges in low- to moderate-seismic zones, such as Mid-America, commonly employ elastomeric expansion bearings to accommodate service-level thermal deformations in the superstructure. Any potentially beneficial effect of ...

The advent of computerized medical devices has resulted in better accuracy and increased safety for patients and clinicians, yet medical accidents are still not uncommon. With the computerized medical devices and their ...

Reinforcement learning (RL) is a general method for agents to learn optimal control policies through exploration and experience. Due to its generality, RL can generate novel policies that may not be easily expressed with ...

This thesis describes the main ideas, insights, and the approach that SAFECode system uses to achieve the goal of providing safety guarantees to software written in unsafe languages. This thesis also evaluates the SAFECode ...

In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes may be obtained through interactions with ...

In the spring of 2010, the Illinois Department of Transportation initiated an areawide implementation of the flashing yellow arrow (FYA) as the display for the left-turn permissive interval at more than 100 intersections ...

The single greatest category of highway vehicle crashes is run-off-the-road incidents. Significant material differences and elevation changes in shoulder edges pose a potential safety hazard when a vehicle leaves the travel ...

The research described in this dissertation supports the thesis that a language-oriented editor for full programming languages, and other languages specifiable with context-free LR(1) grammars, can be based upon an incremental ...

Computational modeling of visual attention has been a very active area over the past few decades. Numerous models and algorithms have been proposed to detect salient regions in images and videos. We present a unified view ...