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...

Contemporary lab-chip devices require efficient, high-performance mixing capability. A series of artificial cilia with embedded magnetic particles was fabricated to achieve precise flow manipulation through magnetically driven control. These fabricated structures were actuated in a homogeneous magnetic field generated by a built-in magnetic coil system for various beating cycles inside a microc...

OBJECTIVE To review the history and current applications of artificial intelligence in the intensive care unit. DATA SOURCES The MEDLINE database, bibliographies of selected articles, and current texts on the subject. STUDY SELECTION The studies that were selected for review used artificial intelligence tools for a variety of intensive care applications, including direct patient care and re...

The Sor and Gebba watershed has undergone several natural anthropogenic changes, as evidenced by the physical alterations artificial mismanagement of water resources in watershed. These situations alter underground storage aquifer contribution to streams. Thus, understanding baseflow enables us identify groundwater system potential dynamicity. main objective this research is estimate using hydr...