We introduce rt-inconsistency, a property of real-time requirements. The property reflects that the requirements specify apparently inconsistent timing constraints. We present an algorithm to check rt-inconsistency automatically. The algorithm works via a stepwise reduction to real-time model checking. We implement the algorithm using an existing module for the reduction and the UPPAAL tool for...

Mixed Treatment Comparisons (MTCs) enable the simultaneous meta-analysis (data pooling) of networks of clinical trials comparing ≥ 2 alternative treatments. Inconsistency models are critical in MTC to assess the overall consistency between evidence sources. Only in the absence of considerable inconsistency can the results of an MTC (consistency) model be trusted. However, inconsistency model sp...

For a social scientist of a particular kind, the first thought that springs to mind in association with ‘inconsistency’ is Arrow’s famous impossibility theorem. The association is a natural one because, in the original formulation, inconsistency plays a double role in Arrow’s theorem. At the first level, the requirement that any aggregate ‘community’ ranking of social states be transitive is ak...

Intraindividual variability (inconsistency) in reaction time (RT) latencies was investigated in a group of younger (M=25.46 years) and older (M=69.29 years) men. Both groups performed 300 trials in 2-, 4-, and 8-choice RT conditions where RTs for decision and motor components of the task were recorded separately. A dissociation was evident in that inconsistency was greater in older adults for d...