Academic Articles & Research Papers

Computational Molecular Biology

In one of the first major texts in the emerging field of computational molecular biology, Pavel Pevzner covers a broad range of algorithmic and combinatorial topics and shows how they are connected to molecular biology and to biotechnology....

Externally triggered drug delivery systems

Externally triggered drug delivery systems empower patients or healthcare providers to utilize external stimuli to initiate drug release from implanted systems. This approach holds significant potential for clinical disease management, offe...

Aurelia: Dynamic asynchronous BFT with bandwidth-efficient bootstrapping

Dynamic asynchronous Byzantine Fault-Tolerant (BFT) protocols provide strong consistency guarantees in open networks with unbounded communication delays and evolving membership, making them a fundamental building block for long-lived distri...

Kalman Filtering for Discrete Stochastic Systems with Multiplicative Noises and Random Two-Step Sensor Delays

This paper is concerned with the optimal Kalman filtering problem for a class of discrete stochastic systems with multiplicative noises and random two-step sensor delays. Three Bernoulli distributed random variables with known conditional p...

Design Considerations for a Distributed Low-Cost Air Quality Sensing System for Urban Environments in Low-Resource Settings

With rapid urbanization, hazardous environmental exposures such as air, noise, plastic, soil and water pollution have emerged as a major threat to urban health. Recent studies show that 9 out of 10 people worldwide breathe contaminated air ...

Formal Techniques for Distributed Systems

Adaptive Diagnosis in Distributed Systems

Real-time problem diagnosis in large distributed computer systems and networks is a challenging task that requires fast and accurate inferences from potentially huge data volumes. In this paper, we propose a cost-efficient, adaptive diagnos...

Minimizing churn in distributed systems

A pervasive requirement of distributed systems is to deal with churn-change in the set of participating nodes due to joins, graceful leaves, and failures. A high churn rate can increase costs or decrease service quality. This paper studies ...

Synthesizing distributed systems

In system synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. When the system is distributed, the goal is to construct the system's underlying processes. Results on multi-player games imply...

Real time groupware as a distributed system

This paper exposes the concurrency control problem in groupware when it is implemented as a distributed system. Traditional concurrency control methods cannot be applied directly to groupware because system interactions include people as we...

Automated integration of real-time and non-real-time defense systems

Various application domains require the integration of distributed real-time or near-real-time systems with non-real-time systems. Smart cities, smart homes, ambient intelligent systems, or network-centric defense systems are among these ap...

Investigation on Individual and Collective PV Self-Consumption for a Fifth Generation District Heating Network

Renewable Energy Communities have been recently introduced in European legislation to promote distributed generation from renewable energy sources. In fact, they allow to produce and consume energy from shared local power plants. Low temper...

Optimal allocation and sizing of distributed generation for improvement of distribution feeder loss and voltage profile in the distribution network using genetic algorithm

The increasing demand for electric power, coupled with rapid urbanization, necessitates a reliable and high-quality electricity supply to meet consumer expectations. However, existing passive distribution systems are inadequate to address t...

Authentication for distributed systems

A number of protocols used to authenticate users, hosts and processes are described. The three main types of authentication in a distributed computing system-message content authentication, message origin authentication, and general identit...

Distributed systems: Concepts and design

Distributed System Design

Future requirements for computing speed, system reliability, and cost-effectiveness entail the development of alternative computers to replace the traditional von Neumann organization. As computing networks come into being, one of the lates...

Trust Management in Distributed Systems

Distributed systems such as the Internet, peer-to-peer networks, and mobile ad hoc networks involve numerous entities, many of which haven't previously interacted. Trust management can help minimize risk and ensure the network activity of b...

Constructing distributed systems in Conic

The Conic environment provides a language-based approach to the building of distributed systems which combines the simplicity and safety of a language approach with the flexibility and accessibility of an operating systems approach. It prov...

Load Sharing in Distributed Systems

An important part of a distributed system design is the choice of a load sharing or global scheduling strategy. A comprehensive literature survey on this topic is presented. We propose a taxonomy of load sharing algorithms that draws a basi...

Load distributing for locally distributed systems

The problem of judiciously and transparently redistributing the load of the system among its nodes so that overall performance is maximized is discussed. Several key issues in load distributing for general-purpose systems, including the mot...