The minimum number of trials necessary to accurately characterize the error-related negativity (ERN) and the error positivity (Pe) across the life span was investigated using samples of preadolescent children, college-age young adults, and older adults. Event-related potentials and task performance were subsequently measured during a modified flanker task. Response-locked averages were created ...

This paper investigates the design problem of constructing state feedback controllers for regulating the output of the unified chaotic system (Lü, Chen, Cheng and Celikovsky, 2002).Explicitly, state feedback controllers have been derived to regulate the output of the unified chaotic system so as to track constant reference signals. The control laws are derived by means of the regulator equation...

Partitions {Lk}k=1 of A + into m pairwise disjoint languages L1, L2, . . . , Lm such that Lk = L + k for k = 1, 2, . . . , m are considered. It is proved that such a closed partition of A+ can separate the words u1, u2, . . . , um ∈ A+ (i.e. each Lk contains exactly one word of the sequence u1, u2, . . . , um) if and only if for each pair i, j of distinct elements in {1, 2, . . . , m}, the word...

In this paper we argue that the semantics of UML Statecharts, while adequate for design, is inappropriate for implementation. To address the issues raised, we propose a language, ECharts, that incorporates modifications to UML Statecharts. We argue that the ECharts semantics strike the right balance between supporting design and supporting implementation. We compare ECharts language features wi...

State Machines Formal semantics for large part of UML using Abstract State Machines (Gurevich). Transition systems. States: multi-sorted first-order structures (set with function names and function interpretations). ASM: set of states (incl. initial state) and update rule. Jan Jürjens, TU Munich: Formal Semantics for Interacting UML subsystems 6 Abstract State Machines: Update rules Update rule...