This primary-source study of 4 medical works of the 13th century Muslim scholar Ibn Al-Nafis confirmed that his Kitab Al-Mujaz Fi Al-Tibb was authored as an independent book meant to be a handbook for medical students and practitioners not as an epitome of Kitab Al-Qanun of Ibn Sina as thought by recent historians. His huge medical encyclopedia, Al-Shamil, represents a wave of intense scientifi...

The research on cold fusion phenomenon has been in the past 30 years. Based results of predecessors, this article comprehensively describes predecessors phenomenon, and discusses it theoretically experimentally. From perspective thermodynamics, paper proposes to charge palladium wire with hydrogen at low temperature increase frequency abnormal heat generation, gives a calculation formula for ch...

We present a new distributed-memory algorithm for enumerative LTL modelchecking that is designed to be run on a cluster of workstations communicating via MPI. The detection of accepting cycles is based on computing maximal accepting predecessors and the subsequent decomposition of the graph into independent predecessor subgraphs induced by maximal accepting predecessors. Several optimizations o...

In this paper we introduce a personalized way of presenting learning material, which is in particular suited for the use in e-Learning environments. We will explain the knowledge-based aspects of this technology, and we demonstrate with an example the additional feature of interactivity, by which the approach deserves the name ”Living Book”. The various possibilities of using Living Books in un...

Abstract The aim of this paper is to construct ultrafilters without immediate predecessors in the Rudin-Frolik order $$\beta \kappa {\setminus } $$ β κ \ , where $$\kappa a regular cardinal. This generalizes problem posed by Peter Simon more than 40 yea...