We give the first (ZFC) dividing line in Keisler’s order among the unstable theories, specifically among the simple unstable theories. That is, for any infinite cardinal λ for which there is μ < λ ≤ 2, we construct a regular ultrafilter D on λ such that (i) for any model M of a stable theory or of the random graph, M/D is λ-saturated but (ii) if Th(N) is not simple or not low then N/D is not λ-...

an air filter is a significant element of any mechanical ventilation system. however, the importance and performance evaluation of air filters have not been well publicized and related scientific reports are scarce. in this study, a transportable, off-line, air filter-testing unit (the unit) was designed and utilized to simulate the filter housing of a mechanical ventilation system. the unit wa...

A range of techniques was used to search for the fittest filter to remove noise from data from a blood flow measurement system. Filter types considered included finite impulse response (FIR), RC (exponential), a generalized FIR form, and stack filters. Techniques used to choose individual filters were heuristic, the genetic algorithm, and genetic programming. The efficacy of filters was assesse...

The aim of this paper is to extend results established by H. Onoand T. Kowalski regarding directly indecomposable commutative residuatedlattices to the non-commutative case. The main theorem states that a residuatedlattice A is directly indecomposable if and only if its Boolean center B(A)is {0, 1}. We also prove that any linearly ordered residuated lattice and anylocal residuated lattice are d...