In design and analysis, standard references assume the pedestrian flow as unidirectional. In reality however, pedestrian flow is usually bi-directional. The main question pursued in this paper is that whether the main characteristics of pedestrian flow the same under uni- and bi-directional conditions. In order to achieve this goal, effect of bi-directional stream is inv...

The lack of a uni ed framework for constraint problems has resulted in a diversity of constraint solution techniques and methods for describing constraint problems. A uni ed framework would allow the construction of a kernel constraint engine, capable of solving constraint problems composed of models from di erent domains, such as engineering and geometric problems. As a rst step towards such a...

Title: Magnetic Resonance Adenosine Perfusion Imaging as Gatekeeper of Invasive Coronary Intervention (MAGnet): study protocol for a randomized controlled trial Authors: Dominik Buckert ([email protected]) Simon Witzel ([email protected]) Maciej Cieslik ([email protected]) Raid Tibi ([email protected]) Wolfgang Rottbauer ([email protected]...

Previously we have shown that ovariectomised (OVX) female sheep have reduced renal function and elevated blood pressure from 6 months of age following fetal uninephrectomy (uni-x) at 100 days of gestation (term = 150 days). In the current study we examined if in intact female sheep the onset of decline in renal function and elevation in blood pressure was prevented. Studies were performed at 1 ...

We formalize a universal uni cation algorithm for the class of equational theories which is induced by the class of canonical totally de ned not strictly subuni able term rewriting systems for short ctn trs For a ctn trs R and for two terms t and s the algorithm computes a ground complete set of ER uni ers of t and s where ER is the set of rewrite rules of R viewed as equations The algorithm is...