We present a new coinductive proof of confluence of Böhm reduction in infinitary lambda-calculus. The proof is simpler than previous proofs of this result. The technique of the proof is new, i.e., it is not merely a coinductive reformulation of any earlier proofs.

In this article we obtain a result about the uniqueness of factorization in terms of conjugates of the matrix U = »

Sense-making the information confluence: The whys and hows of college and university user satisficing of information needs. Phase II: Sense-making online survey and phone interview study.

In this study, we use a lattice Boltzmann method with multi-relaxation-time model to simulate dam-break flooding in confluence channels four angles. Compared physical experiment, the simulation proves reliable. We analyze influence of angle on propagation flood. The stage hydrograph at area can be divided into stages: before wavefront reaches—rising rapidly—falling gradually—planarization perio...

Introduction In the lowlands of the upper Willamette River Valley, Oregon, winter flooding is an annual phenomenon driven by the seasonal precipitation regime of the Pacific Northwest (Hamlet and Lettenmaier 1999). Predictable inundation of river floodplains and expansion of stream networks like these are major processes influencing entire aquatic communities (which include fish, frogs, salaman...

Abstract The current study tried to investigate the hydrodynamic characteristics and pollution mixing dispersion from sub-branch through river confluence using numerical model of Flow3D. A was used with length, width, height (7 × 1 1) m. Also, nested mesh in junction refine modeling result depiction. It observed that if there is a water level difference on both sides junction, will occur much f...

To mimic the uniformly elongated endothelium in natural linear vessels, bovine aortic endothelial cells (BAECs) are cultured on micro- to nanogrooved, model poly(dimethylsiloxane) (PDMS) substrates preadsorbed with about 300 ng/cm(2) of fibronectin. BAEC alignment, elongation, and projected area were investigated for channel depths of 200 nm, 500 nm, 1 microm, and 5 microm, as well as smooth su...

An optimal flow control methodology based on adjoint sensitivity analysis for controlling nonlinear open channel flows with complex geometries is presented. The adjoint equations, derived from the nonlinear Saint-Venant equations, are generally capable of evaluating the time-dependent sensitivities with respect to a variety of control variables under complex flow conditions and cross-section sh...

Pervasive Computing has postulated to invisibly integrate technology into everyday objects in such a way, that these objects turn into smart things. Not only a single object of this kind is supposed to represent the interface among the “physical world” of atoms and the “digital world” of bits, but a whole landscapes of them. The interaction among humans and such landscapes of technology rich ar...