Totally ordered multicast protocols have proved to be extremely useful in supporting fault-tolerant distributed applications. This paper compares the performance of the two main classes of protocols providing total order in large-scale systems: token-site and symmetric protocols. The paper shows that both classes of protocols can exhibit a latency close to 2D, where D is the message transit del...

Device-to-device (D2D) communication integrated into cellular networks is a means to take advantage of the proximity of devices and allow for reusing cellular resources and thereby to increase the user bitrates and the system capacity. However, when D2D (in the 3rd Generation Partnership Project also called Long Term Evolution (LTE) Direct) communication in cellular spectrum is supported, there...

Interest in the field of human-centered robotics continues to grow, particularly in utilizing pneumatic artificial muscles (PAMs) for close human–robot collaborations. Addressing the limited control performance of PAMs, we proposed a hybrid actuation scheme that combines PAMs (macro) and a low-inertia DC motor (mini). While the scheme has shown significantly improved control performance and rob...

We show that the bounded fragment of first order logic and the hybrid language with ‘downarrow’ and ‘at’ operators are equally expressive even with polyadic modalities, but that their ‘positive’ fragments are equally expressive only for unary modalities.

Consider the Cholesky factorization of a sparse symmetric positive de nite matrix, A = LL . The rst two steps use symbolic, graph-theoretic techniques to order A to reduce ll in L, and to determine the exact sparsity structure of L. The factor L is computed in a third \numeric factorization" step. The two leading schemes for numeric factorization are a blocked column-oriented scheme, and a mult...

We propose a novel high resolution conservative advection scheme that is suitable for thin, embedded moving solid structures. The scheme works by coupling together a high order flux-based method with a conservative semi-Lagrangian solver that is similar in spirit to that of [26], but modified to treat the cut cells and partial volumes that arise near a thin solid structure. The conservative sem...

‎In this paper‎, ‎the fractional--order form of three dimensional chemostat model with variable yields is introduced‎. ‎The stability analysis of this fractional system is discussed in detail‎. ‎In order to study the dynamic behaviours of the mentioned fractional system‎, ‎the well known nonstandard (NSFD) scheme is implemented‎. ‎The proposed NSFD scheme is compared with the forward Euler and ...

In this paper we consider a backward parabolic partial differential equation, called the Black-Scholes equation, governing American and European option pricing. We present a numerical method combining the Crank-Nicolson method in the time discretization with a hybrid finite difference scheme on a piecewise uniform mesh in the spatial discretization. The difference scheme is stable for the arbit...

High out-of-band (OOB) power emission has become the main shortcoming of multicarrier scheme in regard to the requirements and challenges of 5G. In this paper, two effective OOB power reduction methods, previously applied to traditional orthogonal frequency division multiplexing (OFDM) system, are proposed in hybrid carrier (HC) scheme based on weighted-type fractional Fourier transform (WFRFT)...

Hybrid FEC/ARQ, which is a mixture of forward error correction (FEC) and automatic repeat request (ARQ), is a well-known technique aiming for packet-loss recovery to guarantee quality of service (QoS) for real-time communications. In this paper, focusing on layered video transmission over wireless network environment, we propose a proactive retransmission scheme for hybrid FEC/ARQ. In the propo...