Concept

Crise existentielle

Publications associées (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

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search