Avril 1955 : mois dangèreusement sec

Mois& Goldszmidtt

We develop a formalism for reasoning with defaults that are expressed with different levels of firmness. Necessary and sufficient conditions for consistency are established, and a unique ranking of the rules is found, called Z+, which renders models as normal as possible subject to the consistency conditions. We provide the necessary machinery for testing consistency, computing the Z+ ranking a...

Francis Klay N ̊ 3921 Avril 2000

On a case study, we present a new approach for verifying cryptographic protocols, based on rewriting and on tree automata techniques. Protocols are operationally described using Term Rewriting Systems and the initial set of communication requests is described by a tree automaton. Starting from these two representations, we automatically compute an over-approximation of the set of exchanged mess...

'Epidemic neuromyasthenia' 1955-1978.

A record of fifty-three patients admitted to the Infectious Diseases Department of the Royal Free Hospital between April 1955 and September 1957 suffering from 'epidemic neuromyasthenia' establishes the fact that the condition was endemic in the general population before, during and after the outbreak among the staff of the hospital. A further outbreak occurred in North Finchley between 1964 an...

Stefan Jentsch (1955–2016)

Stefan Jentsch, whose unusual creativity and trailblazing work changed forever the fields of ubiquitin biology, DNA repair, splicing, and autophagy, sadly passed away in Munich on October 29 after a short and severe illness. Stefan was born in Berlin on May 29, 1955. Following his school and university years, Stefan embarked on his graduate thesis in his still-divided hometown and joined Thomas...

Istanbul, August 1955