When analysing the behavior of complex networked systems, it is often the case that some components within that network are only known to the extent that they belong to one of a set of possible ”implementations” – e.g., versions of a specific protocol, class of schedulers, etc. In this report we augment the specification language considered in BUCSTR-2004-021, BUCS-TR-2005-014, BUCS-TR-2005-015...

A novel method for structural health monitoring under environmental and operational variations (EOV) is proposed based on the prediction errors of Johansen cointegartion (CI) residuals using a Recurrent Neural Network (RNN). The first four natural frequency time series structure, identified from vibration measurements over period time, are used to this end. Variational Mode Decomposition (VMD) ...

Preface ..............................................................................................................v Contributors ..................................................................................................... ix Color Plates ................................................................................................... xiii 1. The Chromosomes of Drosophila melanoga...

The study of long-run equilibrium processes is a significant component of economic and finance theory. The Johansen technique for identifying the existence of such long-run stationary equilibrium conditions among financial time series allows the identification of all potential linearly independent cointegrating vectors within a given system of eligible financial time series. The practical appli...

Of the three genera of lungfishes living today Neoceratodus, the Australian lungfish, is possibly the most primitive. The respiratory physiology of this animal has been extensively studied in recent years (Grigg, 1965 a, b, c; Lenfant, Johansen & Grigg, 1966; Johansen & Lenfant, 1967) and the conclusions these authors draw support the assumptions of the earlier workers in this field (Dean, 1906...