This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition to the powerful distribution features included in the Ada 95 language itself, we provide extensions to help the programmer build robust and failsafe distributed applications.

We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and difference closed fields with the relevant notions of independence. To cover these classes of structures we introduce a new technique of safe extensions that w...

In this paper we examine the development of modular self-recon£gurable robots. A survey of existing modular robots is given. Some limitations of homogeneous designs and connection mechanisms are discussed. Therefore, we propose a heterogeneous self-recon£gurable robot with genderless, fail-safe connecting mechanisms. We initially design three basic types (joint, power and special units) of module.

In this paper, I am going to offer a reconstruction of a challenge to intuition-based armchair philosophy that has been put forward by experimental philosophers of a restrictionist stripe, which I will call the 'master argument'. I will then discuss a number of popular objections to this argument and explain why they either fail to cast doubt on its first, empirical premise or do not go deep en...

This paper describes a method for escrowing cryptographic keys, which we call Failsafe Key Escrow (FKE). The method is substantially more secure than alternatives such as the Fair Public Key Cryptosystem approach advocated by Micali, and it is particularly well suited for use in escrowing DSS keys.

Silicon carbide (SiC) power MOSFETs are characterised by potentially thermally unstable behaviour over a broad range of bias conditions. In the past, such behaviour has been shown for silicon (Si) MOSFETs to be related to a reduction of Safe Operating Area at higher drain–source bias voltages. For SiC MOSFETs no characterisation exists yet. This paper presents a thorough experimental investigat...

Background, Objectives, and Methodology In October 2005, the Consortium for the Southern Africa Food Security Emergency (C-SAFE) transitioned to its final year of a regional " developmental relief " program. Yet, members continued to collaborate on this specific learning activity given their common objectives of improving monitoring and evaluation (M&E) for HIV/AIDS-related beneficiary groups. ...

As healthcare providers, our primary role is the diagnosis and management of the medical conditions of our patients. These medical conditions have an important impact on their personal lives as well as social situations. One of the most critical such interactions between a patient’s medical condition and society is syncope as it relates to driving. In our society, there is a constant conflict b...

This paper presents a relaxed definition of hover for multicopters with propellers pointing in a common direction. These solutions are found by requiring that the multicopter remain substantially in one position, and that the solutions be constant when expressed in a coordinate system attached to the vehicle. The vehicle’s angular velocity is then shown to be either zero or parallel to gravity....