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...

s: Paper Presentations........................................................................ 7 Abstracts: Workshops & Symposia .............................................................. 100s: Workshops & Symposia .............................................................. 100 Abstracts: Posters ........................................................................................ 130...

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...

background: carpet weaving is an occupation that requires sufficient and appropriate lighting. the lighting in carpet weaving workshops affects the productivity and the physical and mental health of workers. therefore, the evaluation of the illumination and the identification of work stations requiring lighting modifications will be helpful in promotion of the health and safety of workers in ca...

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...

In this study, the aim was to both develop a valid and reliable measurement tool for determining teachers’ attitudes as well determine their opinions towards design skill workshops (DSW). addition, researchers aimed how teachers rank based on importance. Since an attempt made describe existing situation at just one point in time, cross-sectional survey model used. Teachers working schools with ...

Nanotechnology offers the potential for new approaches to detecting, treating, and preventing cancer. To determine the current status of the cancer nanotechnology field and the optimal path forward, the National Cancer Institute's Alliance for Nanotechnology in Cancer held three strategic workshops, covering the areas of in vitro diagnostics and prevention, therapy and post-treatment, and in vi...

In participatory design users are involved in the design process, but oftentimes in industrial practice this involvement is limited to specific moments (e.g., a user study or a user test). Then designers have to work with indirect results about users. This paper describes a study about promoting empathy in conveying user insights to designers who have been partly or not even involved in meeting...