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 ...

The safety benefits and costs associated with implementing adaptive signal control technology (ASCT) were evaluated in this study. A user-friendly online survey was distributed to 62 agencies that had implemented ASCT in ...

As a part of this research, the safety performance of red light running (RLR) camera systems was evaluated for a sample of 41 intersections and 60 RLR camera approaches located on state routes under IDOT’s jurisdiction in ...

Robotic surgical systems are intended to enable surgeons to perform minimally invasive operations with increased vision, precision, dexterity, and control, and to reduce the rate of injuries, blood loss, length of hospital ...

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 ...