We provide the first formal foundation of SAND attack trees which are a popular extension of the well-known attack trees. The SAND attack tree formalism increases the expressivity of attack trees by introducing the sequential conjunctive operator SAND. This operator enables the modeling of ordered events. We give a semantics to SAND attack trees by interpreting them as sets of series-parallel g...

We have performed an experimental study on the evolution of sand ripples formed under the action of an oscillatory flow. An annular sand-water cell was used in order to investigate a wide range of parameters. The sand ripples follow an irreversible condensation mechanism from small to large wavelength until a final state is reached. The wavelength and the shape of these stable sand patterns are...

the support vector machine (svm) is a relatively new machine learning method which is increasingly being applied to engineering problems and have yielded encouraging results. because of complex behavior of elastoplastic of web panels of plate girders under patch loading, almost none of the proposed methods provides consistent and accurate predictions of patch load capacity. consequently, altern...

Instability of liquefaction is one of the major reasons which results in the failure of earth structure such as dam. The present study focuses on the simulation of static liquefaction behavior for granular materials such as sand and sand-silt mixtures. Based on micromechanical analysis of inter-particle behavior, a simple one-scale model is proposed to simulate the stress-strain response of san...

The presence of lizards in bromeliads has been widely documented. Nevertheless, the possibility of some type of preference or specificity among lizards for particular bromeliad species has not yet been investigated. Therefore, this study aims to document the presence of Abronia oaxacae in six species of tank bromeliads found in pine forests, pine-live oak forests, and live oak groves during bot...

Recent studies of beach sand fecal contamination have triggered interest among scientists and in the media. Although evidence shows that beach sand can harbor high concentrations of fecal indicator organisms, as well as fecal pathogens, illness risk associated with beach sand contact is not well understood. Beach visitors at 7 US beaches were enrolled in the National Epidemiological and Environ...

A novel hydrophilic polyurethane (abbreviated as W-OH) was developed and applied as a sustainable sand-fixing material. This paper on the chemical sand fixation mechanism of W-OH discusses the adhesive force between the W-OH solid and sand particles. The solidification mechanism was investigated and the solidifying time was tested. And then the thickness and porosity of the W-OH sand-fixing lay...

Of utmost concern in storm water treatment today is the removal of dissolved phosphorus. One method to effectively determine the phosphorus removal capacity of different sand filtration media is controlled, well mixed experiments called batch studies. Batch studies with an initial phosphorus concentration typical of storm water were conducted at the University of Minnesota on C 33 sand, calcare...