Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and theorem proving. This paper presents PLATO, a compiler that automatically generates web forms that detect errors and fill-in implied values from declarative web form descriptions. Instead of writing HTML and JavaScript directly,...

though plato and sohravardi appearantly have the same view on the essence of human soul and the way in which it belongs to body, there are fundam ental differences in their point of view and their style as well. this paper deals with soul which is believed by both philosophers to be the origin of the human’s soul at first and, then, expresses their idea and reasonings about the occurance and an...

Pivotal trials on antithrombotic regimens in coronary artery disease have been performed with huge patient cohorts; in CURE, 12 562 patients were randomized, TRITON-TIMI 38 included 13 608 patients, and PLATO 18 624 patients. Such databases provide an extraordinary opportunity to study a treatment effect in several subgroups of patients which—although subsets—still consist of thousands of patie...

The aim of this paper is to discuss the nature of human beings, both from the Western and the Eastern perspectives. The first chapter will deal with Western concepts of human being, beginning with Plato. Since we come across four views in Western philosophy, this chapter will be divided into four sections, dealing with the following views: a) rationality as the defining property of human beings...