1 2 JIŘ´I SOUČEK Abstract. We present models in which the indeterministic feature of Quantum Mechanics is represented in the form of definite physical mechanisms. Our way is completely different from so-called hidden parameter models, namely, we start from a certain variant of QM – deterministic QM – which has most features similar to QM, but the evolution in this theory is deterministic. Then ...

Temporal reasoning is an important topic in AI and Computer Science, comprising well-practiced problems such as planning and scheduling; more recently, also hardware verification problems have been cast in this framework. Efficient decision procedures for Temporal Reasoning are, therefore, strongly needed; at the same time, more and more expressivity is required. In this paper we present the te...

Employment or Leadership: None declared. Consultant or Advisory Role: None declared. Stock Ownership: None declared. Honoraria: None declared. Research Funding: R. Ensenauer, German Federal Ministry of Education and Research (BMBF) grant no. 0315088; J. Gmach, German Federal Ministry of Education and Research (BMBF) grant no. 0315088; Ina Nehring, German Federal Ministry of Education and Resear...

1Clinical Biochemistry, Batman Maternity and Children’s Hospital of Ministry of Health, Batman, Turkey 2Central Laboratories of Antalya Education and Research Hospital of Ministry of Health, Antalya, Turkey 3Clinical Biochemistry, Antalya Public Health Center of Ministry of Health, Antalya, Turkey 4Clinical Biochemistry, Tatvan Military Hospital, Bitlis, Turkey 5Urology Clinic of Antalya Educat...

About half of the secondary school teachers in Malawi are professionally unqualified. Furthermore, the net enrolment of eligible pupils in secondary schools is at 36% per year. Hence, this study sought to establish factors affecting access to quality and relevant secondary education in Malawi with reference to coordination, collaboration, and feedback between secondary school teacher education ...