A subset U of a set S with a binary operation is called avoidable if S can be partitioned into two subsets A and B such that no element of U can be written as a product of two dis...
The paper explains the concept of persistent processes and threads in Timor, showing how it is based on the in-process (procedure oriented) model of process execution. In their Ti...
James Leslie Keedy, Klaus Espenlaub, Christian Hei...
Can artificial systems be creative? Can they be designed to be creative on their own? And what are the requirements of such creative artificial systems? To be able to support human...
Pieter H. G. van Langen, Niek J. E. Wijngaards, Fr...
We give an application of the extender based Radin forcing to cardinal arithmetic. Assuming κ is a large enough cardinal we construct a model satisfying 2κ = κ+n together with 2...
The purpose of this note is to introduce an alternative procedure to the mode acceleration method when the underlying structure model includes damping. We will show that the probl...