Repair mechanisms are important within resilient systems to maintain the system in an operational state after an error occurred. Usually, constraints on the repair mechanisms are imposed, e.g., concerning the time or resources required (such as energy consumption or other kinds of costs). For systems modeled by Markov decision processes (MDPs), we introduce the concept of resilient schedulers, ...

A consensus protocol enables a system of n asynchronous processes, some of them faulty, to reach agreement. Both the processes and the message system are capable of cooperating to prevent the correct processes from reaching decision. A protocol is t-resilient if in the presence of up to t faulty processes it reaches agreement with probability 1. Byzantine processes are faulty processes that can...

Some individuals are resilient, whereas others succumb to despair in repeated stressful situations. The neurobiological mechanisms underlying such divergent behavioral responses remain unclear. Here, we employed an automated method for mapping neuronal activity in search of signatures of stress responses in the entire mouse brain. We used serial two-photon tomography to detect expression of c-F...

We previously reported that the activity of mesolimbic dopamine neurons of the ventral tegmental area (VTA) is a key determinant of behavioral susceptibility vs resilience to chronic social defeat stress. However, this was based solely on ex vivo measurements, and the in vivo firing properties of VTA dopamine neurons in susceptible and resilient mice, as well as the effects of antidepressant tr...

When facing stress, most individuals are resilient whereas others are prone to developing mood disorders. The brain mechanisms underlying such divergent behavioral responses remain unclear. Here we used the learned helplessness procedure in mice to examine the role of the medial prefrontal cortex (mPFC), a brain region highly implicated in both clinical and animal models of depression, in adapt...