We consider certain decision problems for the free model of theory Cartesian monoids. introduce a computation based on notion single stack one-way PDA due to Ginsburg, Greibach and Harrison. This allows us solve such as (1) Given finite set B elements an element F, is F product members B? (2) Is submonoid generated by infinite? fragments monoid. These include right invertible so our results app...

Functional somatic symptoms and syndromes are a major health issue. They are common, costly, persistent and may be disabling. Most of the current literature pertains to specific syndromes defined by medical subspecialties. Indeed, each medical subspecialty seems to have at least one somatic syndrome. These include: irritable bowel syndrome (gastroenterology); chronic pelvic pain (gynaecology); ...

The nature of quantum computation is discussed. It is argued that, in terms of the amount of information manipulated in a given time, quantum and classical computation are equally efficient. Quantum superposition does not permit quantum computers to “perform many computations simultaneously” except in a highly qualified and to some extent misleading sense. Quantum computation is therefore not w...

Four Fourier transforms are usually defined, the Integral Fourier transform, the Discrete-Time Fourier transform (DTFT), the Discrete Fourier transform (DFT) and the Integral Fourier transform for periodic functions. However, starting from their definitions, we show that all four Fourier transforms can be reduced to actually only one Fourier transform, the Fourier transform in the distributiona...

We consider the variety of Dynamic Relation Algebras V DRA We show that the monoid of an algebra in this variety determines dynamic negation uniquely