this paper. By introducing an extra termination symbol, which signals that an operand was merely terminated due to its length exceeding some bound, operands can be kept as intervals, representing an i...
Modern environments for modeling and designing concurrent computational systems increasingly support heterogeneous system models, which are characterized by different coordination mechanisms governing...
Many embedded systems have significant parts that are best conceptualized as dataflow systems, in which actors execute and communicate by sending each other packets of data. This paper proposes a stru...
Miller et al. (1994) describe a model for representing spatial objects with no obvious landmarks. Each object is represented by a global translation and a normal deformation of a sphere. The normal de...
In Denmark tuberculosis is rare, with 7.3 cases per 100,000 inhabitants. In regions with few cases, lack of expertise may result in delay in diagnosis, improper treatment, and insufficient contact tra...