Streamlined hospital administration?

Streamlined Constraint Reasoning

We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search first towards a small and structured combinatorial subspace. The streamlining constraints capture regularities observed in a subset of the solutions to smaller problem instances. We demonstrate the effectiveness of our approach...

Streamlined subrecursive degree theory

The study of honest elementary degrees has its roots in subrecursion theory from the nineteen seventies. Some relevant papers are Meyer & Ritchie [12] and Machtey [9–11]. These papers deal with subrecursive function classes being generated by so-called honest functions where an honest function is defined relative to a subrecursive class S and a model of computation: a function f : N → N is hone...

Parsing methods streamlined

This paper has the goals (1) of unifying top-down parsing with shift-reduce parsing to yield a single simple and consistent framework, and (2) of producing provably correct parsing methods, deterministic as well as tabular ones, for extended context-free grammars (EBNF ) represented as state-transition networks. Departing from the traditional way of presenting as independent algorithms the dete...

Streamlined PURE Systems?

Embedded and especially deeply embedded systems tend to offer extremely limited resources. Until now, this means a massive barrier for applying approved object-oriented design principles and abstractions to related operating systems. In this paper, the reasons are discussed why object orientation left on its own will burst the given limits. It is also suggested in brief how to improve the creat...

Memoranda on Army General Hospital Administration