A locally threshold testable language L is a language with the property that for some nonnegative integers k and l, whether or not a word u is in the language L depends on (1) the preex and suux of the word u of length k?1 and (2) the set of intermediate substrings of length k of the word u where the sets of substrings occurring at least j times are the same, for j l. For given k and l the lang...

In this note first we define a BCK‐algebra on the states of a deterministic finite automaton. Then we show that it is a BCK‐algebra with condition (S) and also it is a positive implicative BCK‐algebra. Then we find some quotient BCK‐algebras of it. After that we introduce a hyper BCK‐algebra on the set of all equivalence classes of an equivalence relation on the states of a deterministic finite...

We investigate mechanisms of balancing selection by extending two deterministic models of selection in a one-locus two-allele genetic system to allow for frequency-dependent fitnesses. Specifically we extend models of constant selection to allow for general frequency-dependent fitness functions for sex-dependent viabilities and multiplicative fertilities, while non-multiplicative mating-depende...

Inverse modeling is a powerful tool for extracting information about the subsurface from geophysical data. Geophysical inverse problems are inherently multidisciplinary, requiring elements from the relevant physics, numerical simulation, and optimization, as well as knowledge of the geologic setting, and a comprehension of the interplay between all of these elements. The development and advance...

Solving ill-posed inverse problems by Bayesian inference has recently attracted considerable attention. Compared to deterministic approaches, the probabilistic representation of the solution by the posterior distribution can be exploited to explore and quantify its uncertainties. In applications where the inverse solution is subject to further analysis procedures can be a significant advantage....