Academic Articles & Research Papers

Quantum computing in power systems

Electric power systems provide the backbone of modern industrial societies. Enabling scalable grid analytics is the keystone to successfully operating large transmission and distribution systems. However, today's power systems are suffering...

Quantum computing with Qiskit

We describe Qiskit, a software development kit for quantum information science. We discuss the key design decisions that have shaped its development, and examine the software architecture and its core components. We demonstrate an end-to-en...

Quantum Computing: Fundamentals, Implementations and Applications

Quantum Computing is a technology, which promises to overcome the drawbacks of conventional CMOS technology for high density and high performance applications. Its potential to revolutionize today's computing world is attracting more and mo...

Molecular spintronics and quantum computing

Molecular spintronics is a new and emergent sub-area of spintronics that can benefit from achievements in molecular electronics and molecular magnetism. This issue highlights the current trends and challenging goals of this area: from the d...

Quantum computing at the frontiers of biological sciences

Potential of quantum computing for drug discovery

Quantum computing has rapidly advanced in recent years due to substantial development in both hardware and algorithms. These advances are carrying quantum computers closer to their impending commercial utility. Drug discovery is a promising...

Open source software in quantum computing

Open source software is becoming crucial in the design and testing of quantum algorithms. Many of the tools are backed by major commercial vendors with the goal to make it easier to develop quantum software: this mirrors how well-funded ope...

Distributed System Design

Jie Wu CRC Press Publishing Company, Boca Raton, FL, 1998, 496 pp. ISBN 0-8493-3178-1, $74.95 The  Distributed System Design  is a superbly organized, comprehensive exposition of basic concepts, issues, and some possible solutions in the di...

Making reliable distributed systems in the presence of software errors

The work described in this thesis is the result of aresearch program started in 1981 to find better ways ofprogramming Telecom applications. These applications are largeprograms which despite careful testing will probably containmany errors...

Distributed Systems and Networks

This book provides the student with comprehensive coverage of both networks and system architecture. It aims to introduce the most widely used networking protocols and distributed systems, covering recent developments in distributed process...

A policy framework for management of distributed systems

Policy-based management is one of the latest developments in network and distributed systems management. Academic and commercial settings, as well as standardisation bodies are concentrating on policy-based management as a very promising so...

Configuration programming-a framework for the development of distributable systems

A brief description is given of the author's use of configuration programming in the conic environment, and an assessment is made of the benefits of such an approach. Based on this experience, the author extends the notions of configuration...

Distributed System Design with Message Sequence Charts

The methodical mastery of interaction scenarios is a key factor for capturing and modeling system requirements of distributed, reactive systems. Message Sequence Charts (MSCs) and variants thereof are well-accepted as a graphical descriptio...

CrystalBall: predicting and preventing inconsistencies in deployed distributed systems

We propose a new approach for developing and deploying distributed systems, in which nodes predict distributed consequences of their actions, and use this information to detect and avoid errors. Each node continuously runs a state explorati...

Exploiting an event-based infrastructure to develop complex distributed systems

The development of complex distributed systems demands for the creation of suitable architectural styles (or paradigms) and related run-time infrastructures. An emerging style that is receiving increasing attention is based on the notion of...

Distributed systems

Nearly all large software systems are necessarily distributed. For example, enterprise-wide business systems must support multiple users running common applications across different sites. A distributed system encompasses these applications...

Developing a Self-Reflection Tool to Assess Schools’ Openness

In 2015, the EU Educational Policy document “Science Education for Responsible Citizenship” introduced the concept of Open Schooling as a promising approach to transform schools into innovation hubs within their local communities. In an ope...

Compositional specification and verification of distributed systems

We present a method for specification and verification of distributed systems that communicate via asynchronous message passing. The method handles both safety and liveness properties. It is compositional, i.e., a specification of a composi...

Conflicts in policy-based distributed systems management

Modern distributed systems contain a large number of objects and must be capable of evolving, without shutting down the complete system, to cater for changing requirements. There is a need for distributed, automated management agents whose ...

FAULT-DIAGNOSIS IN FULLY DISTRIBUTED SYSTEMS

The problem of diagnosis of failures, at the system level, in large, truly distributed networks of processing elements is considered. A model proposed earlier, in which nodes of the network perform tests upon certain neighboring nodes and p...