Detect and Avoid (DAA) systems are complex communication and locational technologies comprising multiple independent components. DAA technologies support communications between ground-based and space-based operations with aircraft. Both manned and unmanned aircraft systems (UAS) rely on DAA communication and location technologies for safe flight operations. We examined the occurrence and durati...

The International Civil Aviation Organization (ICAO) has decided to adopt Communications, Navigation, and Surveillance/Air Traffic Management (CNS/ATM) as the 21st century standard for navigation. Accordingly, ICAO members have provided an impetus to develop related technology and build sufficient infrastructure. For aviation surveillance with CNS/ATM, Ground-Based Augmentation System (GBAS), A...

In this paper an automatic maritime surveillance system is presented. Boat detection is performed by means of an Haar-like classifier in order to obtain robustness with respect to targets having very different size, reflections and wakes on the water surface, and apparently motionless boats anchored off the coast. Detection results are filtered over the time in order to reduce the false alarm r...

This paper discusses two theoretically challenging phenomena concerning the phi-features on plural pronouns: (i) ‘dependent plural pronouns’, i.e. plural pronouns that denote atomic individuals, and (ii) partial binding, i.e. plural pronouns with more than one antecedent. I will offer a novel semantic account of these two phenomena where all occurrences of phi-features are both semantically and...

Non-insulin-dependent diabetes mellitus (NIDDM) is a common disorder, but less attention has been paid to its management over the years than to that of insulin-dependent diabetes mellitus (IDDM). Care is often in the hands of primary-care or general physicians or junior doctors in diabetes clinics. Morbidity and mortality are high. Recently there has been as increase in interest in NIDDM manage...

Although the ADS-B system is going to play a major role in the safe navigation of airplanes and air traffic control (ATC) management, it is also well known for its lack of security mechanisms. Previous research has proposed various methods for improving the security of the ADS-B system and mitigating associated risks. However, these solutions typically require the use of additional participatin...

We introduce a flow condition on one-way measurement patterns which guarantees globally deterministic behaviour. Dependent Pauli corrections are derived for all such patterns, which 1) equalise all computation branches, and 2) only depend on the underlying entanglement graph and its choice of inputs and outputs. The class of patterns having flow is stable under composition and tensorisation, an...

The time-dependence of information has historically been managed though manual procedures, typically developed heuristically, specifying how frequently or under what conditions aging information should be refreshed. In the design of Automatic Dependent Surveillance (ADS) applications, when aircraft should automatically broadcast state information (e.g., position, velocity, or intent) must be ad...