Many hydrologic and water quality computer models have been developed and applied to assess hydrologic and water quality impacts of land use changes. These models are typically calibrated and validated prior to their application. The Long-Term Hydrologic Impact Assessment (L-THIA) model was applied to the Little Eagle Creek (LEC) watershed and compared with the filtered direct runoff using BFLO...

Many seeds wvill not germinate uinless they are first stratified, that is, held in cold, moist storage for several months. WVhile these effects are not well understood at a physiological or biochemical level, XVilliers and Wareinig (8) showed that in ash, Fraxinnis excelsior L. both dormant and nondormant seeds have growth-inhibitory activity. However, in the nondormant seeds a growth accelerat...

During the last decade, more stringent effluent requirements concerning the nutrients effluent values have been imposed by legislation and social concern. In this study, efficiency of total nitrogen removal in activated sludge and trickling filter processes (AS/TF) was investigated in Tehran North wastewater treatment plant. Biological system in this site was included, anoxic selector tank, aer...

Kinetic energy (KE) spectra derived from global high-resolution atmospheric simulations from the Model for PredictionAcross Scales (MPAS) are presented. The simulations are produced using quasi-uniform global Voronoi horizontal meshes with 3-, 7.5-, and 15-km mean cell spacings. KE spectra from the MPAS simulations compare well with observations and other simulations in the literature and posse...

We present CCMC (Conditional CSL Model Checker), a model checker for continuous-time Markov chains (CTMCs) with respect to properties specified in continuous-time stochastic logic (CSL). Existing CTMC model checkers such as PRISM or MRMC handle only binary CSL until path formulas. CCMC is the first tool that supports algorithms for analyzing multiple until path formulas. Moreover, CCMC supports...

We consider deployment of the particle filter on modern massively parallel hardware architectures, such as Graphics Processing Units (GPUs), with a focus on the resampling stage. While standard multinomial and stratified resamplers require a sum of importance weights computed collectively between threads, a Metropolis resampler favourably requires only pair-wise ratios between weights, computed...

The concepts of (∈,∈ ∨ q)-fuzzy (implicative, positive implicative and fantastic) filters of BL-algebras are introduced and some related properties are investigated. Some characterizations of these generalized fuzzy filters are derived. In particular, we describe the relationships among ordinary fuzzy (implicative, positive implicative and fantastic) filters, (∈,∈∨q)-fuzzy (implicative, positiv...