this paper is a continuation of [uniformities and covering properties for partial frames (i)], in which we make use of the notion of a partial frame, which is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. after presenting there our axiomatization of partial frames, which we call $sels$-frames, we added structure, in th...

The restoration problem for Poissonian images, arising in medical and astronomical applications, is an active research area. The associated optimization models are quite challenging since the fidelity term of the problem is not a quadratic function and the regularizer is usually nonsmooth. Recently, the augmented Lagrangian-based alternating direction method has been proposed to solve the total...

This paper investigates the role recursive structures play in prosody. In current understanding, phonological phrasing is computed by a general syntax–prosody mapping algorithm. Here, we are interested structure that arises response to morphosyntactic needs be mapped. We investigate types of found prosody, specifically: For prosodic category κ, besides adjunctive type recursion κ[κ x], κ[x κ], ...

We prove the following: (1) If κ is weakly inaccessible then NSκ is not κ+-saturated. (2) If κ is weakly inaccessible and θ < κ is regular then NSθ κ is not κ +saturated. (3) If κ is singular then NS κ+ is not κ++-saturated. Combining this with previous results of Shelah, one obtains the following: (A) If κ > א1 then NSκ is not κ+-saturated. (B) If θ+ < κ then NSθ κ is not κ +-saturated.

We are proving the following: (1) If κ is a weakly inaccessible then NSκ is not κ -saturated. (2) If κ is a weakly inaccessible and θ < κ is regular then NS κ is not κ saturated. (3) If κ is singular then NS κ+ is not κ-saturated. Combining this with previous results of Shelah, one obtains the following: (A) If κ > א1 then NSκ is not κ -saturated. (B) If θ < κ then NS κ is not κ -saturated.

Fe–30Mn–10.5Al–1.1C alloys with different Mo and Ni contents are prepared to investigate the phase transformation behavior mechanical properties of austenitic lightweight steels. Solution-treated samples have microstructures consisting an austenite matrix ordered κ-carbides, size κ-carbides decreases addition or Ni. In addition, body-centered cubic (BCC) phases B2 DO3 also form when 3wt%Mo 3wt%...

partial frames provide a rich context in which to do pointfree structured and unstructured topology. a small collection of axioms of an elementary nature allows one to do much traditional pointfree topology, both on the level of frames or locales, and that of uniform or metric frames. these axioms are sufficiently general to include as examples bounded distributive lattices, $sigma$-frames, $ka...