Peter Ladkin - Veröffentlichungen allgemein

(1 - 5 von 5

)

Causal Reasoning about Aircraft Accidents | SpringerLink

link.springer.com

We show how objective, rigorous causal reasoning in the analysis of air transportation accidents can improve our understanding of the factors involved in those...

Cognitive Interaction Technology | SpringerLink

link.springer.com

The coming decade will bring raw processing power and storage capacities of everyday computers to the same level as small brains. Considering this, current

Lazy caching in TLA | SpringerLink

link.springer.com

Authors; Authors and affiliations. Peter Ladkin; Leslie Lamport; Bryan Olivier; Denis Roegel. Peter Ladkin. 1. Leslie Lamport. 2. Bryan Olivier. 3. Denis Roegel. 4.

The Fukushima Accident | SpringerLink

link.springer.com

I recount the accident to the Fukushima Daiichi nuclear plant starting on 11 March and continuing. I highlight some system-safety aspects, and compare...

Verwandte Suchanfragen zu Peter Ladkin

Bernd Sieker
Leslie Lamport
Sonia Yuki Hayashi

Personen
Vorname "Peter" (123603)
Name "Ladkin" (11)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Peter Ladkin

Causal Reasoning about Aircraft Accidents | SpringerLink

Cognitive Interaction Technology | SpringerLink

Lazy caching in TLA | SpringerLink

The Fukushima Accident | SpringerLink