We address the problem of reasoning about interleavings in safety verification of concurrent programs. In the literature, there are two prominent techniques for pruning the search space. First, there are wellinvestigated trace-based methods, collectively known as “Partial Order Reduction (POR)”, which operate by weakening the concept of a trace by abstracting the total order of its transitions ...

We present a framework for concurrent program verification which starts with a systematic search tree depicting explicitly the program states across all possible interleavings of processes. While this setting is totally general, a naive implementation based on explicit enumeration is clearly impractical. We then consider an algorithm schema which can prune the search space. The key concept is i...

Abstract: Soil pH has a major effect on plant nutrient availability by controlling the chemical structure of the nutrient. Adjusting soil acidity or alkalinity improves soil nutrition without adding extra fertilizers. Soil nutrients needed by plants in the largest amount are referred to as macronutrients. In addition to macronutrients, plants also need trace nutrients and both macro and trace n...

In this paper we study both real and complex interpolation in the recently introduced scales of variable exponent Besov and Triebel–Lizorkin spaces. We also take advantage of some interpolation results to study a trace property and some pseudodifferential operators acting in the variable index Besov scale.

A new seismic trace interpolation method based on adaptive prediction filters (PF) is introduced. In order to estimate local PFs, the contribution of adjacent windows of data to the process of local PF estimation is reduced via the introduction of a forgetting factor. Using a Recursive Least Square (RLS) algorithm, the problem of estimating PFs for each window of data is avoided and the local P...

Exponentially Weighted Recursive Least Squares (EWRLS) is adopted to estimate adaptive prediction filters for f-x seismic interpolation. Adaptive prediction filters are able to model signals where the dominant wavenumbers are varying in space. This concept leads to a f-x interpolation method that does not require windowing strategies for optimal results. In other words, adaptive prediction filt...

Including the previously untreated borderline cases, the trace spaces (in the distributional sense) of the Besov-Lizorkin-Triebel spaces are determined for the anisotropic (or quasi-homogeneous) version of these classes. The ranges of the traces are in all cases shown to be approximation spaces, and these are shown to be different from the usual spaces precisely in the cases previously untreate...