Models of the saccadic system differ in several respects including the signals fed back to their comparators, as well as the location and identity of the units that could serve as comparators. Some models place the comparator in the superior colliculus while others assign this role to the reticular formation. To test the plausibility of reticular models we stimulated electrically efferent fiber...

Decisions in supply chain (SC) planning and control are interconnected and depend on tackling SC uncertainty and dynamics. In this paper, we investigate the applicability of optimal control theory to SC planning and scheduling. The methodology of this paper is based on the literature analysis, fundamentals of control and systems theory, and our own elaborations. We describe the important issues...

Despite the conceptual simplicity of sequential consistency (SC), the semantics of SC atomic operations and fences in the C11 and OpenCL memory models is subtle, leading to convoluted prose descriptions that translate to complex axiomatic formalisations. We conduct an overhaul of SC atomics in C11, reducing the associated axioms in both number and complexity. A consequence of our simplification...