Filling forms is a common and frequent task in web interaction. Therefore, designing web forms that enhance users’ efficiency is an important task. This paper presents a tool entitled KLM Form Analyzer (KLM-FA) that enables effortless predictions of execution times of web form filling tasks. To this end, the tool employs established models of human performance, namely the Keystroke Level Model ...

Shell length-frequencies were determined for samples of Dreissena rostriformis bugensis collected <2 m depth from Las Vegas Boat Harbor (LVBH), Callville Bay Marina (two samples, CBM-1 and CBM-2), and Lake Mead Marina (LMM) in the Boulder Basin of Lake Mead and Katherine Landing Marina (KLM) in the lower end of Lake Mohave within two months of initial discovery of D. rostriformis bugensis in La...

The one dimensional Kondo lattice model is investigated using Quantum Monte Carlo and transfer matrix techniques. In the strong coupling region ferromagnetic ordering is found even at large band fillings. In the weak coupling region the system shows an RKKY like behavior. In recent years the Kondo lattice model (KLM) has been investigated to describe the physics of the so called Heavy Fermion s...

Die optische Kohärenztomographie (OCT) und die konfokale Lasermikroskopie (KLM) ermöglichen eine nichtinvasive bildgebende Diagnostik der Haut. Gerade weil bei Kindern Indikation für Hautbiopsie eher zurückhaltend gestellt wird, können OCT KLM Abklärung von kindlichen Hautveränderungen hilfreich sein. Außerdem stellen Biopsien immer nur Momentaufnahme eines kleinen Bezirkes Haut dar, während ni...

We have been concerned for some time with the lack of rigorous experimental evaluation of design options chosen for tools used by software engineers. In a series of studies using various evaluation techniques we built Keystroke-Level Models and conducted an empirical usability study of a design issue (choice of editing paradigm for language-based editors) that has reached a `subjective stalemat...

This teaching case tells the story of the rebirth of CRM at KLM Royal Dutch Airlines since 2002 and its successful liftoff during 2003, for which KLM received Gartner’s 2004 CRM Excellence Award. The Award presents a natural moment of reflection on past CRM achievements and future plans. The case allows us to (1) dissect a CRM success story, that contrasts nicely with many of the CRM horror sto...

Twelve years ago, various notions of preferential entailment have been introduced. The main reference is a paper by Kraus, Lehmann and Magidor (KLM), one of the main competitor being a more general version defined by Makinson (MAK). These two versions have already been compared, but it is time to revisit these comparisons. Here are our main results: (1) These two notions are equivalent, provide...

We provide a critical review of the fundamental concepts of Kerr lens mode-locking (KLM), along with a detailed description of the experimental considerations involved in the realization of a mode-locked oscillator. In addition, we review recent developments that overcome inherent limitations and disadvantages in standard KLM lasers. Our review is aimed mainly at readers who wish to realize/mai...

One of the most successful approaches to the formalization of commonsense reasoning is the work by Lehmann and colleagues, known as the KLM approach, in which defeasible consequence relations with a preferential semantics are studied. In spite of its success, KLM is limited to propositional logic. In recent work we provided the semantic foundation for extending defeasible consequence relations ...