Performance modelling and veriication are vital steps in the development cycle of any cache coherency protocol. Two separate models are usually required to perform each analysis step and as protocols become increasingly complex each can become correspondingly unwieldy. We examine how stochastic process algebra can be used to describe cache coherency protocols in such a way as to allow both the ...

Cross-spectral analysis is commonly used in climate research to identify joint variability between two variables and to assess the phase (lead/lag) between them. Here we present a Fortran 90 program (REDFIT-X) that is specially developed to perform cross-spectral analysis of unevenly spaced paleoclimate time series. The data properties of climate time series that are necessary to take into acco...

An attacker or evaluator can detect more information leakages if he improves the Signal-to-Noise Ratio (SNR) of power traces in his tests. For this purpose, pre-processings such as de-noise, distribution-based traces biasing are used. However, the existing traces biasing schemes can’t accurately express the characteristics of power traces with high SNR, making them not ideal for leakage detecti...

We realize a fiber Bragg grating InGaN-based laser diode emitting at 400 nm and demonstrate its high coherency. Thanks to the fabrication of narrowband in near-UV, we can reach single-mode single-frequency regimes for self-injection locked diode. The device exhibits 44 dB side-mode suppression ratio mW output power. Detailed frequency noise analysis reveals sub-MHz integrated linewidth 16 kHz i...

Abstract Seismic noise poses challenges for gravitational wave detection. Effective vibration isolation and methods to subtract unshieldable Newtonian (NN) are examples. arrays offer one way deal with these issues by making use of correlations between seismic ground measurements inside the detector. In this paper we find that wind induced is incoherent our results show it can dramatically reduc...

Non-local spin injection in lateral spin valves generates a pure spin current which is a diffusive flow of spins (i.e. spin angular momentums) with no net charge flow. The diffusive spins lose phase coherency in precession while undergoing frequent collisions and these events lead to a broad distribution of the dwell time in a transport channel between the injector and the detector. Here we sho...

This paper presents a wavelet-based algorithm for the detection, identification, and extraction of gravity waves from atmospheric pressure traces. The main data processing tool is a nonlinear adaptive filter based on the selective reconstruction of a waveform from its wavelet coefficients. The time-frequency localization of the wavelet transform provides an ideal framework for the decomposition...

background : visual impairment is a very important public health problem. in iran, reports of visual impairment and blindness have been published from the urban population while the prevalence of visual impairment in the rural popu-lation has not been reported. the purpose of this study to determine the prevalence and causes of visual impairment, in a rural population in district of based on ag...

Low power random lasing is demonstrated by different concentrations of ZnO nanorod in Rhodamine B solution. For this purpose, nanorods are fabricated hydrothermal method, pumped nanosecond pulsed laser and the reflected light gathered spectrometer. By increasing concentration inside gain medium, threshold full width at half maximum reduced three examined samples with (10%, 30%, 50%). Our result...