INTRODUCTION TO COASTAL HF MARITIME SURVEILLANCE RADARS

Introduction to Coastal HF Maritime Surveillance Radars

This paper presents the main technical characteristics and working performances of coastal maritime surveillance radars, such as low-power High-Frequency Surface Wave Radars (HFSWR) and Over the Horizon Radars (OTHR).These radars have demonstrated Tatami to be a cost-effective long-range early-warning sensor for ship detection and tracking in coast

read more

Presenting Distributive Laws

Distributive laws of a monad T over a functor F are categorical tools for specifying Bronc Halter algebra-coalgebra interaction.They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for enhancements of the bisimulation proof method.If

read more