The observation of peak flows into river or stream system is not straight forward but complex function of hydrology and geology. Accurate suspended sediment prediction in rivers is an integral component of sustainable water resources and environmental systems modeling. Agricultural fields’ fertility decays, rivers capacity decreases and reservoirs are filled due to sedimentation. The observatio...

degrading gracefully (i.e., safely, comprehensibly, and helpfully) when it can’t complete a task. Moreover, it should be straight-forward to describe to the agent a new task to be performed (at least for a task having straight-forward specification) and to know that what was told was understood. When necessary, the agent should point out (in advance, preferably) when the new task may interact u...

Continuous amortization is a technique for computing the complexity of algorithms, and it was first presented by the author in [6]. Continuous amortization can result in simpler and more straight-forward complexity analyses, and it was used in [6, 5, 52] to provide complexity bounds for simple root isolation algorithms. This paper greatly extends the reach of continuous amortization to serve as...

The potential equation provides a natural mathematical basis for all the illumination computation methods based on the strategy of shooting light. The particle tracing technique which p h ysically simulates the particle model of light, can also be considered as a general, random walk based solution to the potential equation. As the complexity of the environment increases, the straight forward p...

For iterative solvers, besides convergence proofs that may state qualitative results for some classes of problems, straight-forward methods to compute (bounds for) convergence rates are of particular interest. A widelyused straight-forward method to analyze the convergence of numerical methods for solving discretized systems of partial differential equations (PDEs) is local Fourier analysis (or...

We investigate how a straight skeleton can be used to approximate a motorcycle graph. We explain how to construct a planar straight-line graph G such that the straight skeleton of G reveals the motorcycle graph of M , for every given finite set M of motorcycles. An application of our construction is a proof of the Pcompleteness of the construction problem of straight skeletons of planar straigh...

Within the electric power literature the transmission expansion planning problem (TNEP) refers to the problem of how to upgrade an electric power network to meet future demands. As this problem is a complex, non-linear, and non-convex optimization problem, researchers have traditionally focused on approximate models of power flows. Existing approaches are often tightly coupled to the approximat...

Recently several researchers have investigated-equality for the simply typed-calculus with exponentials, products and unit types. In these works,-conversion was interpreted as an expansion with syntactic restrictions imposed to prevent the expansion of introduction terms or terms which form the major premise of elimination rules. The resulting rewrite relation was shown connuent and strongly no...

The Boltzmann transport equation is commonly considered to be the best semi-classical description of carrier transport in semiconductors, providing precise information about the distribution of carriers with respect to time (one dimension), location (three dimensions), and momentum (three dimensions). However, numerical solutions for the seven-dimensional carrier distribution functions are very...