We present the Predictive Legend Exchange and Augmentation Protocol (P-LEAP), a predictive location service. PLEAP improves upon the LEAP location service, which has been shown to reduce location error in mobile networks, by incorporating a method of predicting the topology of the network. P-LEAP is designed to create and transmit a data structure that traverses an ad hoc network. The data stru...

In this paper we study the convergence of the max-consensus protocol. Tropical algebra is used to formulate the problem. Necessary and sufficient conditions for convergence of the max-consensus protocol over fixed as well as switching topology networks are given.

The Brånemark Novum protocol for immediate functional loading of a mandibular fixed implant-supported prosthesis has been an effective alternative for selected patients. In the event of the loss of an implant, a rescue set that allows continuous use of the original fixed restoration while restoring tripod osseointegrated support at the implant level is available.

BACKGROUND AND PURPOSE Despite common use of CTP to assess cerebral hemodynamics in the setting of ischemia, concerns over radiation exposure remain. Our aim was to evaluate the efficacy of an adaptive 70-kVp (peak) whole-brain CTP protocol with variable sampling intervals and extended duration against an established fixed-sampling, limited-period protocol at 80 kVp. MATERIALS AND METHODS A r...

Sensor networks require robust and efficient communication protocols to maximise the network lifetime. Radio irregularity, channel fading and interference results in larger energy consumption and latency for packet transmission over wireless channel. Cooperative multi-input multi-output (MIMO) schemes can combat the fading effects in wireless sensor network (WSN) and can significantly improve t...

Sensor networks require robust and efficient communication protocols to maximise the network lifetime. Radio irregularity, channel fading and interference results in larger energy consumption and latency for packet transmission over wireless channel. Cooperative multi-input multi-output (MIMO) schemes when incorporated in wireless senor network (WSN) can significantly improve the communication ...

Protocols for intelligent agents are difficult to write. This is partially because intelligent agents accommodate their interaction to the situation that arises. As a result, the interaction among intelligent agents cannot be governed by a fixed protocol. In this paper I describe an open protocol paradigm for reasoning in a multi-agent system with decentralized control. An open protocol is a co...

In this paper, we propose a simple relaying protocol, namely clip-amplify-forward (CAF), for dual-hop transmissions. In the CAF relaying protocol, the received signal at the relay node is clipped firstly and then amplified with a fixed amplification gain before retransmission. Only a hard clipper and a linear amplifier are needed at the relay node, where no channel estimation is needed. Simulat...

Probabilistic model checkers like PRISM only check probabilistic systems of a fixed size. To guarantee the desired properties for an arbitrary size, mathematical analysis is necessary. We show for two case studies how this can be done in the interactive proof assistant Isabelle/HOL. The first case study is a detailed description of how we verified properties of the ZeroConf protocol, a decentra...