Chris Wilson

Learn More
Phosphorylation of the α-subunit of initiation factor 2 (eIF2) controls protein synthesis by a conserved mechanism. In metazoa, distinct stress conditions activate different eIF2α kinases (PERK, PKR, GCN2, and HRI) that converge on phosphorylating a unique serine in eIF2α. This collection of signaling pathways is termed the 'integrated stress response'(More)
This paper describes our experience applying formal verification to the cache coherence protocol of the HAL S1 System, a shared-memory and/or message-passing multiprocessor consisting of standard Intel Pentium R Pro symmetric multiprocessing (SMP) servers connected by HAL’s proprietary Mercury Interconnect to create a cache-coherent, non-uniform memory(More)
We have developed highly modular middleware for robotics programming and an interface for multi-robot teleoperation. WURDE provides abstractions for the communications, applications, and systems levels of robotic system development, which helps to isolate the developer from details not essential to the immediate task. RIDE is a control interface inspired by(More)
Much research aimed at discovering the genetic bases of longevity focuses on the budding yeast Saccharomyces cerevisiae. Unfortunately, yeast researchers use a definition of longevity not applied to other species. We propose here a method that makes it possible to estimate for yeast the same measures of longevity calculated for other species. We also show(More)
BACKGROUND Standard care for the rehabilitation of knee conditions involves exercise programs and information provision. Current methods of rehabilitation delivery struggle to keep up with large volumes of patients and the length of treatment required to maximize the recovery. Therefore, the development of novel interventions to support self-management is(More)
Two major human diseases caused by filariid nematodes are onchocerciasis, or river blindness, and lymphatic filariasis, which can lead to elephantiasis. The drugs ivermectin, diethylcarbamazine (DEC), and albendazole are used in control programs for these diseases, but are mainly effective against the microfilarial stage and have minimal or no effect on(More)