Results 11 to 20 of about 567,645 (243)
Verifying a Sliding Window Protocol in μCRL [PDF]
, 2004 We prove the correctness of a sliding window protocol with an arbitrary finite window size n and sequence numbers modulo 2n. We show that the sliding window protocol is branching bisimilar to a queue of capacity 2n. The proof is given entirely on the basis of an axiomatic theory, and was checked with the help of PVS.
W.J. Fokkink (Wan) +4 more
core +7 more sources
NeuroImage, 2020 During the past ten years, dynamic functional connectivity (FC) has been extensively studied using the sliding-window method. A fixed window-size is usually selected heuristically, since no consensus exists yet on choice of the optimal window-size ...
Xiaowei Zhuang +5 more
doaj +3 more sources
Non-linear discrete-time observer design by sliding mode [PDF]
, 2007 This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University, 09/02/2007.Research into observer design for non-linear discrete-time systems has produced many design methods.
Algarawi, Mohammed
core +7 more sources
Sliding wear of nitrided steels [PDF]
, 1993 This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.The unlubricated sliding wear behaviour of gas nitrided, plasma nitrided, and ferritic nitrocarburized BS970,905M39 (EN41B) steels was investigated ...
Kato, Hirotaka
core +7 more sources
Continuous Nearest Neighbor Queries over Sliding Windows [PDF]
, 2007 —This paper studies continuous monitoring of nearest neighbor (NN) queries over sliding window streams. According to this model, data points continuously stream in the system, and they are considered valid only while they belong to a sliding window that ...
Papadias, Dimitris +3 more
core +1 more source
Sliding Window Method for NTRU [PDF]
, 2007 The NTRU cryptosystem is a ring-based public key system using hard problems over lattices. There has been an extensive research on efficient implementation of NTRU operations, including recent results such as Bailey et al.'s software implementation over a resource-constrained device and Gaubatz et al.'s hardware implementation using only 3,000 gates ...
Mun-Kyu Lee +3 more
openaire +1 more source
Expanding window fountain codes for unequal error protection [PDF]
, 2007 A novel approach to provide unequal error protection (UEP) using rateless codes over erasure channels, named Expanding Window Fountain (EWF) codes, is developed and discussed.
Vukobratovic, D +11 more
core +1 more source
Efficient Data Stream Clustering With Sliding Windows Based on Locality-Sensitive Hashing
IEEE Access, 2018 Data stream clustering over sliding windows generates clusters as the window moves. However, iterative clustering using all data in a window is highly inefficient in terms of memory use and computational load.
Jonghem Youn, Junho Shim, Sang-Goo Lee
doaj +1 more source
Reliable Asynchronous Image Transfer Protocol in Wireless Multimedia Sensor Networks
Sensors, 2010 In the paper, we propose a reliable asynchronous image transfer protocol, RAIT. RAIT applies a double sliding window method to node-to-node transfer, with one sliding window for the receiving queue, which is used to prevent packet loss caused by ...
In-Bum Jung, Joa-Hyoung Lee
doaj +1 more source
Sliding window persistence of quasiperiodic functions
Journal of Applied and Computational Topology, 2023 33 pages, 13 ...
Hitesh Gakhar, Jose A. Perea
openaire +5 more sources