The research goal of collective construction is to develop systems in which large numbers of autonomous robots build large-scale structures according to desired specifications. We present algorithms for TERMES, a multi-robot construction system inspired by the building activities of termites. The system takes as input a high-level representation of a desired structure, and provides rules for an...

This paper characterises key weaknesses in the ability of current digital libraries to support scholarly inquiry, and as a way to address these, proposes computational services grounded in semiformal models of the naturalistic argumentation commonly found in research literatures. It is argued that a design priority is to balance formal expressiveness with usability, making it critical to co-evo...

After carrying out field work on the Slavic dialects spoken in Greece, and more specifically in the village of Liti, I suggested the name Nashta “ours” for the dialect so as to respect the usage among the speakers and to emphasize the specific representation they have of their language. Of the Nashta syntactic features, I shall focus this work on the jimam perfect construction with the past pas...

We present a theory of object-orientation on the basis of the re-nement calculus. This theory allows for specifying the behaviour of objects and provides a calculus for the proof of relationships between classes such as reenement. Given two similar, but not identical classes, we present an algorithm to construct a common superclass which is reened by both classes, and an algorithm to construct ...

This paper describes how object-oriented software construction principles allow to develop extensible and reusable building blocks for the development of data flow based visual languages. First we’ll present the data flow visual language ProtoHyperflow whose object-oriented realization is discussed in the second part of the paper.

The article is devoted to the issue of construction an optimal with respect order passive algorithms for evaluating Cauchy and Hilbert singular hypersingular integrals oscillating kernels. We propose a method estimating lower bound errors quadrature formulas integral evaluation. Quadrature were constructed implementation obtained estimates. estimated This based on using similar results integrals.

Abstract This article investigates a case of lexical restrictions on voice construction, specifically Danish past-tense passives. Present-Day has both periphrastic and an inflectional passive but in the past tense, most ablaut (strong) verbs cannot form (e.g. ∗ \ast skreves ‘was written’, bares carried’). Various expla...

Euthanasia is one of the controversial topics in current medical ethics. Among the six well-known types of euthanasia, passive voluntary euthanasia (PVE) seems to be more plausible in comparison with other types, from the moral point of view. According to the Kantian framework, ethical features come from 'reason'. Maxims are formulated as categorical imperative which has three different version...

dynamically stable biped robots mimicking human locomotion have received significant attention over the last few decades. formerly, the existence of stable periodic gaits for straight walking of passive biped walkers was well known and investigated as the notion of passive dynamic walking. this study is aimed to elaborate this notion in the case of three dimensional (3d) walking and extend it f...