predictions of suspended sediment load for soolegan river, iran using selected empirical equ-ations were made based on 355 data sets. data include flow discharges from 3.11 m3/s to 43.81 m3/s, flow velocities from 0.22 m/s to 1.03 m/s, and flow depths from 0.5 to 1.03 m. equations of einstein (1950), bagnold (1966), toufalleti (1968), brooks (1963), chang-simons-richardson(1965),lane-kalinske (...

Recent universal-hashing based approaches to sampling and counting crucially depend on the runtime performance of SAT solvers on formulas expressed as the conjunction of both CNF constraints and variable-width XOR constraints (known as CNF-XOR formulas). In this paper, we present the first study of the runtime behavior of SAT solvers equipped with XOR-reasoning techniques on random CNF-XOR form...

Most seismic codes specify empirical formulas to estimate the fundamental vibration period of buildings. Evaluated first in this paper are the formulas specified in present US codes using the available data on the fundamental period of buildings “measured” from their motions recorded during eight California earthquakes, starting from the 1971 San Fernando earthquake and ending with the 1994 Nor...

Bit-vector formulas arising from hardware verification problems often contain word-level arithmetic operations. Empirical evidence shows that state-of-the-art SMT solvers are not very efficient at reasoning about bit-vector formulas with multiplication. This is particularly true when multiplication operators are decomposed and represented in alternative ways in the formula. We present a pre-pro...

This article is intended as an expositional overview of empirical Bayes modeling methodology, presented in a simplified framework that reduces technical difficulties. The two principal empirical Bayes approaches, called f -modeling and g-modeling here, are described and compared. A series of computational formulas are developed to assess the frequentist accuracy of empirical Bayes applications....

TES (Transform-Expand-Sample) is a versatile class of random sequences defined via an autoregressive scheme with modulo-1 reduction and additional transformations. The scope of TES encompasses a wide variety of sample path behaviors, which in turn give rise to autocorrelation functions with diverse functional forms — monotone, oscillatory, alternating and others. TES sequences are readily gener...

This work extends the ‘geometric modelling’ of channel fading to account for the effects of the polarisation states of the transmitting/receiving antennas, and for the distribution of the direction of arrival of the uplink multipaths. The derived formulas are closed-form functions, explicitly in terms of a few model parameters idealising the spatial geometry among the transmitter, the scatterer...