Using the concept of variational tricomplex endowed with a presymplectic structure, we formulate the general notion of symmetry. We show that each generalized symmetry of a gauge system gives rise to a sequence of conservation laws that are represented by onshell closed forms of various degrees. This extends the usual Noether’s correspondence between global symmetries and conservation laws to t...

We describe new N -extended 2D supergravities on a (p + 1)dimensional (bosonic) space. The fundamental objects are moving frame densities that equip each (p+1)-dimensional point with a 2D “tangent space”. The theory is presented in a [p+1, 2] superspace. For the special case of p = 1 we recover the 2D supergravities in an unusual form. The formalism has been developed with applications to the s...

Companion technologies aim at developing sustained long-term relationships by employing emotional, nonverbal communication skills and empathy. One of the main challenges is to equip such companions with human-like abilities to reliably detect and analyze social signals. In this proposal, we focus our investigation on the modeling of visual processing mechanisms, since evidence in literature sug...

The well-known coordinated snapshot algorithm of mutable checkpointing [7–9] is studied. We equip it with a concise formal model and analyze its operational behavior via an invariant characterizing the snapshot computation. By this we obtain a clear understanding of the intermediate behavior and a correctness proof of the final snapshot based on a strong notion of consistency (reachability with...

In this paper we will introduce a new index of interactivity between marginal possibility distributions A and B of a joint possibility distribution C. The starting point of our approach is to equip each γ-level set of C with a uniform probability distribution, then the probabilistic correlation coefficient between its marginal probability distributions is interpreted as an index of interactivit...

Climate change is a phenomenon leading to randomly distributed disasters around the globe. Due to massive economic and technical asymmetry between the advanced North and the developing South efficient climate and industrial policy is particular difficult. Globally efficient policy would need to equip the South with pollution reducing technologies. However, there is a tradeoff between capital ac...

Development of syntax and semantics of language is studied with a constructive approach in a network model of agents. Agents with generative grammar systems evolve through communication in terms of their own grammar in a language game. They form a community sharing usages of symbols and develop to equip recursive structures. After development, agents become to have double articulation mechanism...

In order to make a real difference to the products and services available to older people, we need to influence and equip those who design these products in practice. In particular, these designers need information about the end users. This paper discusses different formats that can be used to provide this information, such as personas, detailed disability information, simulations and contact w...

The main goal of the CLT Cloud project is to equip lexica, morphological processors, parsers and other software components developed within CLT (Centre of Language Technology) with so called web API:s, thus making them available on the Internet in the form of web services. We present a proof-of-concept implementation of the CLT Cloud server where we use the logic programming language Prolog for...

Imitation enables the individuals to acquire new abilities, and encourages social interaction and cultural transfer. The capability to obtain new abilities by observation represents many important advantages. Although imitation intends to equip robots with social skills, most of the approaches so far only focus on the development of a mechanism to imitate, and other issues that contribute to th...