The D-CENT Project: Decentralized Social Software for Political Autonomy
by Harry Halpin
D-CENT develops applications for the common good ranging from community-currency blockchains to collective legislation drafting.
by Harry Halpin
D-CENT develops applications for the common good ranging from community-currency blockchains to collective legislation drafting.
by Peter Kieseberg
The Austrian SCUDO project is developing a training kit enabling an easy-to-use setup simulation environment for training personnel in the defence of critical infrastructures against IT security incidents.
by Darío Ruiz López
The RERUM framework is designed to be both secure and private, whilst maintaining the open nature of the Internet of Things (IoT) by empowering users by allowing them to define dynamic access criteria based on user reputation.
by Axel Legay, Jean Quilbeuf, Flavio Oquendo
Verifying the correctness of systems-of-systems (SoS) is a key challenge, largely because SoSs are evolutionarily developed by combining autonomous systems to fulfill a mission that could not be performed by one of the constituent systems alone. In the trade-off of correctness vs. scalability, model checking does not scale up to address the trustworthiness of SoSs, owing to the state explosion problem. A recent technique, however, has overcome this shortcoming: ‘Statistical Model Checking’ is based on sampling traces of the system-of-interest until adequate statistical evidence has been established.
A Bottom-up Strategy
for Clustering Complex Datasets with Application to Language and Script Discrimination
by Alessia Amelio
A bottom-up clustering algorithm can be used to extend a state-of-the-art method to partition datasets in groups of complex data. The algorithm has been applied to discriminate between documents in different languages and scripts.
by Fons Kuijk, Rufael Mekuria and Pablo Cesar
REVERIE is a general-purpose tele-immersion system that enables individuals to interact in a shared 3D synthesized environment. It is a meeting place for virtual characters representing real participants and receptive virtual agents (autonomous humanoids). Participants observe this virtual reality from the dynamically changing point of view of their virtual embodiment (an avatar or a replicant) and 3D spatial audio completes the impression of being immersed.
by Pierfrancesco Bellini, Paolo Nesi and Imad Zaza
Although modern secure railway transportation management systems are employing more ‘intelligent’, highly computerized technology, they are still strictly dependent on the site-specific configuration of track layout, which follows different rules for different nations. An expert system model, which independently formalizes a railway network, focusing on railway terminals (stations) and including topological and functional aspects of track elements, enables verification and validation.
An interlocking system is an arrangement of signalling devices at track crossings or junctions that displays a stop signal unless the route is clear and safe, thus preventing conflicting movements of trains. The control table - a matrix composed of a row for each route and a column for each relevant track side device for that route [1] - rules the interlocking decisions process.