The notion the spread of a matrix was first introduced fifty years ago in algebra. In this article, we define the spread of the shape operator by applying the same idea to submanifolds of Riemannian manifolds. We prove that the spread of shape operator is a conformal invariant for any submanifold in a Riemannian manifold. Then, we prove that, for a compact submanifold of a Riemannian manifold, ...

Hierarchical phrase-based translation systems (HPBs) perform translation using a synchronous context free grammar which has only one unified non-terminal for every translation rule. While the usage of the unified non-terminal brings freedom to generate translations with almost arbitrary structures, it also takes the risks of generating lowquality translations which has a wrong syntactic structu...

We present models of various elements of a plant that involves the transportation of lumped material. An application context is provided by a project on diagnosing disturbances in food packaging plants and, more specifically, bottling plants. While there exist models of flow of homogeneous matters, such as liquid material in a hydraulic system, based on simultaneous equations of Kirchhoff/Ohm t...

Assessing and understanding the impact of scattered and widespread events onto a mission is a pertinacious problem. Current approaches attempting to solve mission impact assessment employ score-based algorithms leading to spurious results. We identify a fourfold problem with score-based algorithms: (1) score-based algorithms enforce deep training of experts to employed frameworks for specificat...

In interactive speech applications the expected vocabulary and the expected user utterances change from one dialogue step to the next one. The use of several context dependent language models results in a better system performance than the use of a single model. In this paper we present a new approach combining syntactical and statistical language constraints to a single language model. Recogni...

In the area of agent-based computing there are many proposals for specific system architectures, and a number of proposals for general approaches to building agents. As yet, however, there are comparatively few attempts to relate these together, and even fewer attempts to provide methodologies which relate designs to architectures and then to executable agents. This paper discusses an attempt w...

This paper focuses on relationships between agent models and their physical realisations. Approaches on reduction from philosophical literature are analysed in a formalised manner, and extended by incorporating context-dependency w.r.t. specific makeups for their realisations. It is shown how these context-dependent reduction approaches can be translated into each other and how they can be appl...

We introduce a first-order extension of dynamic logic (FO-DL), suitable to represent and reason about the behaviour of Data-aware Systems (DaS), which are systems whose data content is explicitly exhibited in their description. We illustrate the expressivity of the formal framework by modelling English auctions as DaS and by specifying relevant properties in FO-DL. Most importantly, we develop ...

Abstract. Chronic wounds represent a major public health problem affecting 6.5 million people in the United States. Ischemia represents a serious complicating factor in wound healing. In this paper we analyze a recently developed mathematical model of ischemic dermal wounds. The model consists of a coupled system of partial differential equations in the partially healed region, with the wound b...