Although contract reparations have been extensively studied in the context of deontic logics, there is not much literature using reparations in automatabased deontic approaches. Contract automata is a recent approach to modelling the notion of contract-based interaction between different parties using synchronous composition. However, it lacks the notion of reparations for contract violations. ...

Kuga-Satake varieties are abelian varieties associated to certain weight two Hodge structures, for example the second cohomology group of a K3 surface. We start with an introduction to Hodge structures and we give a detailed account of the construction of Kuga-Satake varieties. The Hodge conjecture is discussed in section 2. An excellent survey of the Hodge conjecture for abelian varieties is [...

Frequency-warped "lters are bene"cial in many audio applications because they inherently use nonuniform frequency resolution which may be matched so that it approximates the frequency representation of hearing. Warped transversal "lters are immediately obtained by replacing the unit delays of a conventional "lter with "rst-order allpass blocks. Implementation of warped recursive "lters is a pro...

The aim of the demo is threefold. First, it introduces the current version of the annotation tool for discourse relations in the Prague Dependency Treebank 3.0. Second, it presents the discourse relations in the treebank themselves, including new additions in comparison with the previous release. And third, it shows how to search in the treebank, with focus on the discourse relations.

Artificial spike-based computation, inspired by models of computations in the central nervous system, may present significant performance advantages over traditional methods for specific types of large scale problems. In this paper, we study new models for two common instances of such computation, winner-take-all and coincidence detection. In both cases, very fast convergence is achieved indepe...

In this paper I examine the intracultural variability of parental and alloparental caregiving among the Aka foragers of the Central African Republic. It has been suggested that maternal kin offer higher frequencies of allocare than paternal kin and that maternal investment in infants will decrease when alloparental assistance is provided. Behavioral observations were conducted on 15 eight- to t...

We present a generalization of spatial power indexes able to overcome their main limitations, namely: i) the excessive concentration of power measures; ii) the too high sensitivity to players’ location in the ideological space. Voters’ propensity to support an issue is modeled via a random utility function with two additive terms: the deterministic term accounts for voters’ preference-driven/pr...

Sandy soils with high alkalinity are characterized by low copper (Cu) contents that lead to many deficiency symptoms in plants. Cu plants can be corrected using several cheap sources. Nevertheless, the effects novel sources, such as nanoparticles (NPs), have on remain poorly studied. In present work, we investigated effect and efficiency of supplementation onion (Allium cepa L.) sulfate, chelat...