In this article we give an accessible introduction to stream differential equations, ie., equations that take the shape of differential equations from analysis and that are used to define infinite streams. Furthermore we discuss a syntactic format for stream differential equations that ensures that any system of equations that fits into the format has a unique solution. It turns out that the st...

The Homogeneous Multiprocessor (HM) has a linear-array topology, with interprocessor communications achieved by the sharing of memory between nearest neighbours, by adjacent-processor signalling, and through a high-speed network (the H-Network). The operating system nucleus (the HM-Nucleus) for the HM contains a communications subsystem that provides low-overhead communications, both for user p...

There are many visualization tools available in infovis, but most of them are designed to display customized visualisations for specific data sets. PULSE is an approach to handle various time based data sets, no matter which problem domain is addressed. Therefore time based data is organized in streams of events, each having at least a name, starting time and duration. PULSE provides a basic in...

This note describes the program HEADTAIL for the simulation of transverse and longitudinal single bunch phenomena, with special emphasis on the instability and emittance growth induced by an electron cloud. All input parameters as well as the standard output files are described here. The note is intended to provide potential users with the guidelines for the installation and the use of the prog...

The urban stream syndrome may not be limited to streams in urbanized watersheds. We measured the spatial pattern of impervious cover in ∼82,800 small watersheds across the conterminous United States by comparing watershed-based and stream-based measures of imperviousness. The watershed-based measure was the commonly used watershed percentage impervious cover. The stream-based measure was the pe...

Infinite lists, or streams are often used in mathematical problems. We investigate three models to represent these streams in Coq, a proof assistant. For each of these models we investigate what it means for streams to be equal, and how we can prove these stream equalities. In the two most fruitful models we represent streams using a coinductive type, which means coinduction is crucial in our p...

introduction jet stream is strong narrow current concentrated by strong vertical and lateral wind shears (vasantha et al, 2002). according to world meteorological organization nomenclature, jet stream formed when the speed of wind greater than 60 knots or 30 m/s. the major characteristics of the troposphere and lower stratosphere in the vicinity of jet streams were pointed out by a group of met...