We develop a game theoretic model for studying when interconnected Internet Service Providers (ISP)s will decide to upgrade their networks. We are in particular interested in network upgrades to better accommodate real-time applications like voice over IP, but our game model is applicable to other types of upgrade. Achieving the full benefit from network upgrades requires that enough ISPs upgra...

This study emphasizes a new strengthening scheme for seismically vulnerable flat plate-column connections in existing structures. An experimental investigation on series of three half-scaled interior was conducted to explore the effectiveness proposed seismic method using postinstalled RC wing walls and analyze punching shear capacity connections. focuses typical plate structures constructed lo...

An innovative dissipative system for the seismic upgrade of historical buildings is presented. The comprises a friction-based device able to provide energy dissipation capacity connecting walls. To verify compliance device’s initial prototype with relevant European Standards, testing and design methodology developed. This optimisation approach consists of: two tests loops, identity dependence o...

The automated processing of multiple seismic signals to detect and localize seismic events is a central tool in both geophysics and nuclear treaty verification. This paper reports on a project begun in 2009 to reformulate this problem in a Bayesian framework. A Bayesian seismic monitoring system, NET-VISA, has been built comprising a spatial event prior and generative models of event transmissi...

One of the main objectives of geophysical seismic analysis is to determine the Earth’s structure. Usually, to determine this structure, geophysicists supplement the measurement results with additional geophysical assumptions. An important question is: when is it possible to reconstruct the Earth’s structure uniquely based on the measurement results only, without the need to use any additional a...

This document contains several related specifications, together they describe the document formats related to the solver competition which will be organized by Mancoosi. In particular, this document describes: DUDF (Distribution Upgradeability Description Format), the document format to be used to submit upgrade problem instances from user machines to a (distribution-specific) database of upgra...

Upgrading the software of long-lived distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes may be down and halting the system for an upgrade is unacceptable. This means that different nodes may be running different software versions and yet need to communicate, even though those versions may not be fully compatible. We present a meth...

Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes may be unavailable and halting the system for an upgrade is unacceptable. Instead, upgrades must happen gradually, and there may be long periods of time when different nodes run different software versions and need to communic...

Upgrading the software of long-lived distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes may be down and halting the system for an upgrade is unacceptable. This means that different nodes may be running different software versions and yet need to communicate, even though those versions may not be fully compatible. We present a meth...

A selection combining scheme is considered as an upgrade solution to existing wireless networks. The upgrade requires the use of a new radio frequency front end at the receiver with three antennas instead of one. An approach to guarding the system from diversity loss caused by antennas proximity is proposed. As an example, the upgrade of mobile units in an IS-136 network is analyzed. Performanc...