Two semantics are commonly used for the behavior of real-time and hybrid systems: a discrete semantics, in which the temporal evolution is represented as a sequence of snapshots describing the state of the system at certain times, and a continuous semantics, in which the temporal evolution is represented by a series of time intervals, and therefore corresponds more closely to the physical reali...

We propose a model-checking tool for on-the-fly verification of properties expressed in a branching-time temporal logic based on a deontic interpretation of classical modal and temporal operators over modal transition systems. We apply this tool to the analysis of variability in behavioural descriptions of families of services.

The paper provides an assessment of Tuz Gölü, a site in Turkey proposed for the radiometric vicarious calibration of satellite sensors, in terms of its spatial homogeneity as expressed in visible and near-infrared (VNIR) wavelengths over a 25-year period (1984–2009). By combining the coefficient of variation (CV) and Getis statistic (Gi*), a spatially homogenous and temporally stable area at le...

Agricultural producers and researchers have been aware of spatial and temporal yield variability for a long time (Mercer and Hall 1911, Lark and Stafford 1997, Lowenberg-DeBoer et al. 1997). Most farmers recognize that spatial variability in yield exists when they harvest. However, this knowledge is generally of an informal, anecdotal nature, which must be made more precise if it is to be used ...

Most of the existing approaches to visualize the vector field ensembles are to reveal the uncertainty of individual variables, for example, statistics, variability etc. However, the user-defined derived feature like vortex or air mass is also quite significant, since they make more sense to domain scientists. In this paper, we present a new framework to extract user-defined derived features fro...

Modelling variability in product families has been the subject of extensive study in the literature on Software Product Lines, especially that concerning Feature Modelling. In recent years, we have laid the basis for the study of the application of temporal logics to the formal modelling of behavioural variability in product family definitions. A critical point in this formalization is to give ...

Winter snowfall and its temporal variability are important factors in the development of water management strategies for snow-dominated regions. For example, mountain regions of Europe rely on snow for recreation, and on snowmelt for water supply and hydropower. It is still unclear whether in these regions the snow regime is undergoing any major significant change. Moreover, snow interannual va...

The evolution of supersynoptic (i.e., pentad) Great Plains low-level jet (GPLLJ) variability, its precipitation impacts, and large-scale circulation context are analyzed in the North American Regional Reanalysis (NARR)—a high-resolution precipitation-assimilating dataset—and the NCEP–NCAR reanalysis. The analysis strategy leans on the extended EOF technique, which targets both spatial and tempo...

Original scientific paper Given temporal variability of farmland, the coverage rate of wireless sensor network (WSN) is usually low. There may arise the problems of blind spot area and congestion of hot spots. We propose a coverage strategy for heterogeneous nodes in WSN based on temporal variability of farmland, which predicts the key nodes using key node prediction model according to temporal...

While agricultural research has traditionally focused on average environmental conditions, environmental variability, independent of the mean, can also have biological consequences. Using lettuce (Lactuca sativa) as a model system, we tested two hypotheses: (1) increased temporal variability in water supply impacts plant growth, yield, photosynthesis, water relations, and nutrition and (2) AM f...