A brief outline of the topics of the course could be as follows. Coalgebras generalise transition systems. Modal logics are the natural logics for coalgebras. Stone duality provides the relationship between coalgebras and modal logic. Furthermore, some basic category theory is needed to understand coalgebras as well as Stone duality. So we will need to learn something about modal logic, about S...

We have an M × N real-valued arbitrary matrix A (e.g. a dictionary) with M < N and data d describing the sought-after object with the help of A. This work provides an in-depth analysis of the (local and global) minimizers of an objective function Fd combining a quadratic data-fidelity term and an l0 penalty applied to each entry of the sought-after solution, weighted by a regularization paramet...

Electromagnetically induced transparency (EIT) on atomic D1 line of rubidium is studied using a nanometricthin cell with atomic vapor column length in the range of L = 400 800 nm. It is shown that the reduction of the cell thickness by 4 orders as compared with an ordinary cm-size cell still allows to form an EIT resonance for L = λ (λ = 794 nm) with the contrast of up to 40 %. Remarkable disti...

The aim of this study was to improve the characteristics natural collapsible soils using geogrid-encased stone column technique. For purpose, 20 large-scale specimens columns were prepared rigid metal cylinders with a diameter 308 mm and height 97 154 according unit cell theory. aspect ratio 10% 25%. occurrence bulging failure, considered six times diameter. encased geogrids varying stiffness f...

Electromagnetically induced transparency (EIT) on atomic D1 line of rubidium is studied using a nanometricthin cell with atomic vapor column length in the range of L = 400 800 nm. It is shown that the reduction of the cell thickness by 4 orders as compared with an ordinary cm-size cell still allows to form an EIT resonance for L = λ (λ = 794 nm) with the contrast of up to 40 %. Remarkable disti...

Strong vertical ground motions can significantly alter axial forces in a bridge column. Axial force variations also affect the concrete contribution to the shear capacity of a reinforced concrete (RC) member. However, the effect of axial force demands on shear capacity is a fairly complex issue since the shear demand in an RC bridge column is affected by variations in the axial force. A combine...

A simple column electrode, S-CE, with a glassy carbon fibers working electrode stuffed into a Teflon tube was developed. The current-potential curves for the reductions of [Fe(CN)(6)](3-) and Fe(3+) observed at the S-CE were analyzed based on a theory for those at an ordinary column electrode. A quantitative electrolysis was performed at the S-CE rapidly within 20 s. An accurate and precise cou...

A two-dimensional retention index system for fatty acid methyl esters (2D-FARI) is proposed. The system is based on the application of different temperature and pressure programs on a single capillary column. A calibration sample is analysed and the retention data is calibrated against a set of reference 2D-FARI values. The calibration models are then applied to predict the 2D-FARI values for c...

For t a positive integer, the t-term rank of a (0, 1)-matrix A is defined to be the largest number of 1s in A with at most one 1 in each column and at most t 1s in each row. Thus the 1-term rank is the ordinary term rank. We generalize some basic results for the term rank to the t-term rank, including a formula for the maximum term rank over a nonempty class of (0, 1)-matrices with the the same...

Many engineers are hesitant to specify rocking foundations for ordinary bridges because of the unsubstantiated notion that rocking bridges are more susceptible to instability than conventional fixed-base bridges. A parametric study using a finite element model including large deformation effects compares the performance and stability of stiff, flexible, tall, and short hinging-column and rockin...