This paper presents a subject-independent EEG (Electroencephalogram) classification technique and its application to a P300-based word speller. Due to EEG variations across subje...
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
Organizations adopting Enterprise Resource Planning (ERP) are also adopting standard ERPvendor-specific process models for engineering their requirements. Making successfully a li...
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
— We present results of a collaboration project, during which parts of General Motors’ north American vehicle supply chain have been modeled and evaluated. A variant of colored...
Armin Zimmermann, Michael Knoke, Shang-Tae Yee, Je...