all forms of creative production born of an intimate and individual urge, often secretive, unbound from the conventional art system rules. Through short descriptions of the Outsider art work of prominent artists and new protagonists often hosted in community mental health services, this section intends to investigate the latest developments of the contemporary art scene, where the distances bet...

We give a new definition of Scott rank motivated by our main theorem: For every countable structure A and ordinal α < ω1, we have that: every automorphism orbit is Σ α -definable without parameters if and only if A has a Π α+1 Scott sentence, if and only if A is uniformly boldface ∆α-categorical. As a corollary, we show that a structure is computably categorical on a cone if and only if it is t...

In this paper, we rigorously prove the existence and stability of asymmetric spotty patterns for the Gray-Scott model in a bounded two dimensional domain. We show that given any two positive integers k 1 ; k 2 , there are asymmetric solutions with k 1 large spots (type A) and k 2 small spots (type B). We also give conditions for their location and calculate their heights. Most of these asymmetr...

“The debate on sustainable production often ends in discussions on the feasibility of farreaching changes in relation to the competitiveness of companies. Industry itself and policy-makers tend to back away from engaging in profound processes of industrial transformation” (Green, quotation frames the problem of moving towards sustainable production while dividing the issue into two separate yet...

— Let x1, x2, . . . , xn be the zeroes of a polynomial P (x) of degree n and y1, y2, . . . , ym be the zeroes of another polynomial Q(y) of degree m. Our object of study is the permanent per(1/(xi − yj))1≤i≤n,1≤j≤m, here named “Scott-type” permanent, the case of P (x) = x − 1 and Q(y) = y + 1 having been considered by R. F. Scott. We present an efficient approach to determining explicit evaluat...

In this paper we give an outline of recent algebraic results concerning theories and models of the untyped lambda calculus.

In this work, from the category sight, we provide a generalization for the real interval theory. This generalization allows us to study generic properties of data which are “intervals” of another data, providing a categorical foundation of intervals as a parametric data type. In doing so we obtain some properties which holds for real intervals, complex intervals, interval vectors, interval matr...