extended abstract 1. introduction ascent rainfall mechanism is “one of the most important factors in leading to various rainfall behaviors in different regions, such as various atmospheric precipitation seen in different time scales” (masoompour, miri, zolfaghari, & yarahmadi, 2013, p. 299). in fact, some of them can be called atmospheric phenomena due to their special nature. one of these atmo...

“Exploratory” and “confirmatory” data analysis can both be viewed as methods for comparing observed data to what would be obtained under an implicit or explicit statistical model. For example, many of Tukey’s methods can be interpreted as checks against hypothetical linear models and Poisson distributions. In more complex situations, Bayesian methods can be useful for constructing reference dis...

In many technical applications the notion of system safety covers different aspects. The first is correct functioning. This means the system does what it is supposed to do. The second is an analysis of failures and their effects. This answers the question what happens, if components break or fail. And finally a quantitative analysis, which quantifies the risk of the system and its subsystems. I...

Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative tuning using light-weight, on-the-fly formal verification with feedback for dynamic adaptation. One objective of this approach is to enable system designers to analyze designs in order to study design tradeoffs across ...

Agricultural production relies to a great extent on biological processes in natural environments. In addition to volatile prices, it is thus heavily exposed to risks caused by the variability of natural conditions such as rainfall, temperature and pests. With a view to the apparently lacking support of risky farm production program decisions through formal planning models, the objective of this...