Staying Alive

Staying Alive as Cheaply as Possible

This paper is concernedwith the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start out by introducing an extension of the (priced) timed automata model that includes both costs and rewards as separate modelling features. A precise definition is then given of what constitutes optimal infinite behaviours for th...

Staying Alive: A Docking Station for Autonomous Robot Recharging

Autonomous mobile robots are constrained in their long-term functionality due to a limited on-board power supply. Typically, rechargeable batteries are utilized that may only provide a few hours of peak usage before recharging is necessary. Recharging requires a robot to be taken offline, and attached to a battery charger via human intervention. This is unacceptable in environments where long-t...

Staying Alive Longer: Autonomous Robot Recharging Put to the Test

Autonomous mobile robots are being developed for numerous applications where long-term capabilities would be beneficial. However, most mobile robots have onboard power supplies in the form of batteries that last for a finite amount of time, in which case the robot becomes reliant on human intervention for extended usage. To achieve true long-term autonomy, the robot must be selfsustaining in it...

Staying alive: bacterial inhibition of apoptosis during infection.

The ability of bacterial pathogens to inhibit apoptosis in eukaryotic cells during infection is an emerging theme in the study of bacterial pathogenesis. Prevention of apoptosis provides a survival advantage because it enables the bacteria to replicate inside host cells. Bacterial pathogens have evolved several ways to prevent apoptosis by protecting the mitochondria and preventing cytochrome c...

Staying alive: T cell costimulation, CD28, and Bcl-xL.