The constitution of a European demos with a collective identity is one of the preconditions for adjusting the legitimacy problem of the European Union (EU). The analysis attempts to clarify empirically whether there is sufficient commonality regarding Europeans‘ political value orientations to substantiate a collective identity. Particularly in view of the European Union’s eastward enlargement,...

This thesis contributes to the study of incremental decision procedures for modal logics with nominals and eventualities. Eventualities are constructs that allow to reason about the reflexive-transitive closure of relations. Eventualities are an essential feature of temporal logics and propositional dynamic logic (PDL). Nominals extend modal logics with the possibility to reason about state equ...

It has been established that the levels of certain enzymes are elevated in the serum of patients suffering from muscular dystrophy. Previous studies (Pearson, 1957; Dreyfus, Schapira, and Demos, 1958; Thompson and Vignos, 1959; Schapira, Dreyfus, Schapira, and Demos, 1960; Thomson, Leyburn, and Walton, 1960; Pearson, Chowdhury, Fowler, Jones, and Griffith, 1961) have indicated that a number of ...

3 Executive Summary The main objective of this deliverable is to present the cooperating sentient vehicle demonstrator and the associated story board which was demonstrated at the final CORTEX review meeting. It also aims to illustrate the middleware solutions developed within CORTEX. Additionally, these could also be seen as technology demonstrators, illustrating the key concepts of the CORTEX...

DEMOS provides an environment that assists the management of discussions and decision making through the web, especially when involving a large population (e.g., a community using the web to debate about city issues). It is based on the integration of three well-proven methods of social research: the Delphi method, Survey techniques, and Mediation method. These are supported by a set of tools (...

ion device abstraction network kernel abstraction processor B Process A Procession processor B Process A Process

Haptic interfaces using active force-feedback have mostly been used for emulating existing instruments and making conventional music. With the right speed, force, precision and software they can also be used to make new sounds and perhaps new music. The requirements are local microprocessors (for low-latency and high update rates), strategic sensors (for force as well as position), and non-line...

Timing Selector In article number 2100072, Mingyi Rao, Zhongrui Wang, J. Joshua Yang, and co-workers conceptualize demonstrate a timing selector, which can utilize its nonlinear relation between switching time voltage, instead of current voltage in traditional selectors, to block sneaking memristive crossbar arrays. The operation principles are formulated together with experimental demos using ...