Vegetative filters (VF) are used to remove sediment and other pollutants from overland flow. When modeling the hydrology of VF, it is often assumed that overland flow is planar, but our research indicates that it can be two-dimensional with converging and diverging pathways. Our hypothesis is that flow convergence will negatively influence the sediment trapping capability of VF. The objectives ...

This research explores the differences and similarities found in two corpora representative of registers relevance for Navy submariners Spanish Submarine Warfare School. It shows cases a range analyses based on multi-dimensional analysis that can inform professional language teaching such contexts. is argued linguistic variation among texts affords identification both converging diverging patte...

In the domain of decision making under uncertainty we propose the Multiple Source Evaluation Model, focusing on (1) how information coming from different evidential sources, either converging or diverging, is integrated and (2) how Ignorance, Uncertainty and Contradiction are evaluated and reduced before deciding in ambiguous domains. We argue that these operations involve an unique satisficing...

We present an analytic solution for a jet flow from a young stellar object (YSO). This solution allows us to compute the speed, density, and magnetic field strength of the flow, but it is only true if YSO jet flows are powered by toroidal magnetic fields. We illustrate how the balance between centrifugal force and magnetic pressure provides the converging/diverging nozzle shape required to acce...

This paper presents the solution of the nonlinear equation that governs the flow of a viscous, incompressible fluid between two converging-diverging rigid walls using an improved homotopy analysis method. The results obtained by this new technique show that the improved homotopy analysis method converges much faster than both the homotopy analysis method and the optimal homotopy asymptotic meth...

A theoretical model is developed to describe the formation of microstructures due plasma streaming instabilities in radially convergent geometries. Microstructures form radial spokes are found experimentally laser wakefield accelerators. The eigenvalues a set coupled linear ordinary differential equations obtained and complex wavenumbers calculated give local growth rates. predictions confirmed...

A novel DNA molecule stretching technique is developed and tested herein. Through a heated converging-diverging microchannel, thermal convection and thermophoresis induced by regional heating are shown to significantly elongate single DNA molecules; they are visualized via a confocal laser scanning microscopy. In addition, electrophoretic stretching is also implemented to examine the hybrid eff...

We exploit (co)inductive specifications and proofs to approach the evaluation of low-level programs for the Unlimited Register Machine (URM) within the Coq system, a proof assistant based on the Calculus of (Co)Inductive Constructions type theory. Our formalization allows us to certify the implementation of partial functions, thus it can be regarded as a first step towards the development of a ...