Tabling is a commonly used technique in logic programming for avoiding cyclic behavior of logic programs and enabling more declarative program de nitions. Furthermore, tabling often improves computational performance. Rational term are terms with one or more in nite subterms but with a nite representation. Rational terms can be generated in Prolog by omitting the occurs check when unifying two ...

This paper presents a history of a difficult facility layout problem that falls into the category of the Koopmans-Beckmann variant of the Quadratic Assignment Problem (QAP), wherein 30 facilities are to be assigned to 30 locations. The problem arose in 1972 as part of the design of a German university hospital, Klinikum Regensburg. This problem, known as the Krarup30a upon its inclusion in the ...

It has been a quest for nearly a century, and finally 'Cell Secretion', the universal and the most fundamental of cellular processes, has been unraveled. The critical breakthrough came with the discovery of the 'porosome', the universal secretory machinery at the cell plasma membrane, where membrane-bound secretory vesicles dock and transiently fuse to expel intravesicular contents to the outsi...