Characterization of preclones by matrix collections

Preclones are described as the closed classes of the Galois connection induced by a preservation relation between operations and matrix collections. The Galois closed classes of matrix collections are also described by explicit closure conditions.Comment: 11 page

Stochastic memory: memory enhancement due to noise

There are certain classes of resistors, capacitors and inductors that, when subject to a periodic input of appropriate frequency, develop hysteresis loops in their characteristic response. Here, we show that the hysteresis of such memory elements can also be induced by white noise of appropriate intensity even at very low frequencies of the external driving field. We illustrate this phenomenon using a physical model of memory resistor realized by $\mathrm{TiO_2}$ thin films sandwiched between metallic electrodes, and discuss under which conditions this effect can be observed experimentally. We also discuss its implications on existing memory systems described in the literature and the role of colored noise.Comment: 5 pages, 4 figure

Improvement of steel ladle lid circulation and lifetime

Abstract. For an energy-intensive field of industry, such as steelmaking, temperature control in steel production is essential. As one of the methods to improve energy efficiency in SSAB Raahe’s steel plant production, they introduced lids for their steel ladles to prevent heat losses during transportation. However, even though the lids have been in use for years, their actual properties have not been properly studied. The aim of this work is to clarify current steel ladle lid lifetime, chart areas for development and improve condition monitoring methods. As a fundamental study, this thesis mainly presents the current situation and does not aim for major structural improvement. The essential part of this work is to develop methods to monitor the condition of steel ladle lids and record necessary information throughout lid lifetimes. In the experimental part of this work, the condition of the lining was monitored to create a model of refractory wear for the steel ladle lids. Based on the observations during the trial and theoretical studies, the sources of the most common defects were investigated. The results show that the lids endure the process conditions decently but there is still room for improvement

On the homomorphism order of labeled posets

Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This universal order is a distributive lattice. We investigate some other properties, namely the infinite distributivity, the computation of infinite suprema and infima, and the complexity of certain decision problems involving the homomorphism order of k-posets. Sublattices are also examined.Comment: 14 page

Large deviations for a damped telegraph process

In this paper we consider a slight generalization of the damped telegraph process in Di Crescenzo and Martinucci (2010). We prove a large deviation principle for this process and an asymptotic result for its level crossing probabilities (as the level goes to infinity). Finally we compare our results with the analogous well-known results for the standard telegraph process

An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework

Peer reviewe

Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation

Peer reviewe

Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism

Peer reviewe

From Structured to Abstract Argumentation : Assumption-Based Acceptance via AF Reasoning

Peer reviewe

Declarative Algorithms and Complexity Results for Assumption-Based Argumentation

Peer reviewe