Many modern autonomous systems, particularly multi-agent are time-critical and need to be robust against timing uncertainties. Previous works have studied left right time robustness of signal temporal logic specifications by considering shifts in the predicates that either only or right. We propose a combined notion which simultaneously considers shifts. For instance, scenario where robot plans...

Understanding the structure of Alaska’s Pacific herring stocks is relevant to how these exploited populations should be assessed and managed. We evaluated the capability of heart tissue fatty acid profiles and otolith microchemistry to identify the stock of origin for herring sampled from fourteen spawning aggregations associated with seven putative herring stocks throughout Alaska (e.g., Sitka...

Fish stocks fluctuate both in abundance and productivity (net population increase), and there are many examples demonstrating that productivity increased or decreased due to changes in abundance caused by fishing and, alternatively, where productivity shifted between low and high regimes, entirely unrelated to abundance. Although shifts in productivity regimes have been described, their frequen...

As nations seek to address obesity and diet-related chronic disease, understanding shifts in food intake over time is an imperative. However, quantifying intake of basic foods is not straightforward because of the diversity of raw and cooked wholefoods, processed foods and mixed dishes actually consumed. In this study, data from the Australian national nutrition surveys of 1995 and 2011, each i...

We review the leaky competing accumulator model for two-alternative forced-choice decisions with cued responses, and propose extensions to account for the influence of unequal rewards. Assuming that stimulus information is integrated until the cue to respond arrives and that firing rates of stimulus-selective neurons remain well within physiological bounds, the model reduces to an Ornstein-Uhle...

Nowadays NMR spectroscopy becomes a powerful tool in chemistry because of the NMR chemical shifts. Hartree–Fock theory and the Gauge-including atomic orbital (GIAO) methods are used in the calculation of 29Si NMR chemical shifts of various silicate species in the silicate solution as initial components for zeolite synthesis both in gas and solution phase. Calculations have been performed at geo...

In this paper, first the available single charting methods, which have been proposed to detect simultaneous shifts in a single process mean and variance, are reviewed. Then, by designing proper simulation studies these methods are evaluated in terms of in-control and out-ofcontrol average run length criteria (ARL). The results of these simulation experiments show that the EWMA and EWMS methods ...