Concept

Existential crisis

Related publications (8)

Differential Susceptibility to the Impact of the COVID-19 Pandemic on Working Memory, Empathy, and Perceived Stress: The Role of Cortisol and Resilience

There are important individual differences in adaptation and reactivity to stressful challenges. Being subjected to strict social confinement is a distressful psychological experience leading to reduced emotional well-being, but it is not known how it can ...

2021

Java and Scala's Type Systems are Unsound The Existential Crisis of Null Pointers

Nada Amin

We present short programs that demonstrate the unsoundness of Java and Scala's current type systems. In particular, these programs provide parametrically polymorphic functions that can turn any type into any type without (down) casting. Fortunately, parame ...

Assoc Computing Machinery2016

Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers

Nada Amin

We present short programs that demonstrate the unsoundness of Java and Scala’s current type systems. In particular, these programs provide parametrically polymorphic functions that can turn any type into any type without (down)casting. Fortunately, paramet ...

2015

Manipulating motor performance and memory through real-time fMRI neurofeedback

Frank Scharnowski

Task performance depends on ongoing brain activity which can be influenced by attention, arousal, or motivation. However, such modulating factors of cognitive efficiency are unspecific, can be difficult to control, and are not suitable to facilitate neural ...

Elsevier Science Bv2015

Deletion of CREB-Regulated Transcription Coactivator 1 Induces Pathological Aggression, Depression-Related Behaviors, and Neuroplasticity Genes Dysregulation in Mice

Jean-René Cardinaux, Christophe Mérinat

Background: Mood disorders are polygenic disorders in which the alteration of several susceptibility genes results in dysfunctional mood regulation. However, the molecular mechanisms underlying their transcriptional dysregulation are still unclear. The tra ...

Elsevier Science Inc2012

Semantic Trajectories

Zhixian Yan

Thanks to the rapid development of mobile sensing technologies (like GPS, GSM, RFID, accelerometer, gyroscope, sound and other sensors in smartphones), the large-scale capture of evolving positioning data (called mobility data or trajectories) generated by ...

EPFL2011

Secrecy for bounded security protocols with freshness check is NEXPTIME-complete

The secrecy problem for security protocols is the problem to decide whether or not a given security protocol has leaky runs. In this paper, the (initial) secrecy problem for bounded protocols with freshness check is shown to be NEXPTIME-complete. Relating ...

2008

Villes à la frontière et transformation de l'espace

Lena Poschet El Moudden

Few borders exist which separate two countries as dramatically disparate as the Dominican Republic and Haiti. Both share the territory of the Hispaniola island, but a profound process of differentiation rooted in the colonial division of the island between ...

EPFL2006

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.