Earth-fill dams stability in steady state seepage condition is very important, especially during earthquakes. Numerical software analyses require accurate and realistic modeling of construction stages. Since earth-fill dams are constructed in different layers, so these conditions should be considered in software modeling to achieve a reasonable design. In this study, an earth-fill dam is modele...

In order to support, for example, a quantitative analysis of various algorithms, protocols etc. probabilistic features have been introduced into a number of programming languages and calculi. It is by now quite standard to define the formal semantics of (various) probabilistic languages, for example, in terms of Discrete Time Markov Chains (DTMCs). In most cases however the probabilities involv...

Static Timing Analysis is the state-of-the-art practice to ascertain the timing behaviour of current-generation real-time embedded systems. The adoption of more complex hardware to respond to the increasing demand for computing power in nextgeneration systems exacerbates some of the limitations of Static Timing Analysis. In particular, the effort of acquiring (1) detail information on the hardw...

the objective of this review to be submitted in two independent parts, for steel frames and for rc frames, is to compare their structural performance with respect to the proposed n2-method, and so also of the consequent convenience of using pushover methodology for the seismic analysis of these structures. a preliminary investigation is presented on a pushover analysis used for the seismic perf...

Abstract In this paper, we develop a way to extract information about random walk associated with typical Thurston’s construction. We first observe that construction entails free group of rank 2. also present proof the spectral theorem for walks have finite 2nd moment respect Teichmüller metric. Its general case was remarked by Dahmani and Horbez. Finally, under hypothesis not involving conditi...

Enterprise environment often screens large-scale (millions of lines code) codebases with static analysis tools to find bugs and vulnerabilities. Parfait is a code tool used in Oracle security vulnerabilities industrial codebases. Recently, many studies show that there are complicated cryptographic caused by misusing APIs Java TM 1 In this paper, we describe how realize precise scalable detectio...

in this study, a robust controller is designed for fuzzy network control systems (ncss) using the static output feedback. delay and data packet dropout affect on the stability of network control systems, and therefore, the asymptotic stability condition is established considering delay and data packet dropout. delay is time-varying while the lower and upper bounds for delay is defined, and the ...