A nearest neighbour spin pair of the quasi-two-dimensional three-state Potts model interacts with the strength J(> 0) in the xy-plane and with λJ (0 ≤ λ ≪ 1) in the z-axis. The phase transition is of second-order when λ = 0 and is of first-order when λ > 0. The dimensional crossover occurs with a change of the order of the phase transition. We study the finite-size effects of the phenomenon by ...

Psychometrics has recently seen the development of complex measurement models to better represent test and item data. Item Response Theory (IRT), in particular, comprises a set of non-linear latent variable models that appear to have several conceptual and empirical properties that make them more valuable in practice than classical test theory methods. However, IRT-based models typically requir...

A Rasiowa-Sikorski system is a sequence-type formalization of logics. The system uses invertible decomposition rules which decompose a formula into sequences of simpler formulae whose validity is equivalent to validity of the original formula. There may also be expansion rules which close indecomposable sequences under certain properties of relations appearing in the formulae, like symmetry or ...

We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between these based on updates of the agents’ beliefs associated with steps in the protocol. As a case study we wi...

We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between them based on updates of the agents’ beliefs associated with steps in the protocol. As a case study we wil...

Netherton syndrome is a rare autosomal recessive condition with variable expression. It comprises an ichthyosiform dermatitis and erythroderma of variable intensity associated with hair abnormalities and features of atopy. The pathognomic (required for diagnosis) feature is trichorrhexis invaginata identified by microscopic examination of hair shaft. Ichthyosis linearis circumflexa is ano...