The Geometric Algebra formalism opens the door to developing a theory replacing conventional quantum mechanics. Generalizations, stemming from changing of complex numbers by geometrically feasible objects in three dimensions, followed unambiguous definition states, observables, measurements, bring into reality clear explanations weird mechanical features, for example primitively considering ato...

this study investigates the why of information technology in the field of education according to the ontological inquiry. the methodology applied involves hermeneutic phenomenology. this study concerns the ontological changes that it brings about in experiencing the universe and, following that, the field of education including changing the role of body in the process of education, fading the t...

In veriication by explicit state enumeration a randomly ac-cessed state table is maintained. In practice, the total main memory available for this state table is a major limiting factor in veriication. We describe a version of the explicit state enumeration veriier Mur' that allows the use of magnetic disk instead of main memory for storing almost all of the state table. The algorithm avoids co...

In this paper we describe the concept of physical impossibility as an alternative to the specification of fault models. These axioms can be used to exclude impossible diagnoses similar to fault models. We show for Horn clause theories while the complexity of finding a first diagnosis is worst-case exponential for fault models, it is polynomial for physical impossibility axioms. Even for the cas...

in this research paper, we applied rituals of social drama processes to find out symbols, decoding and signs in the manegh-al-tair. in our analysis we discovered that birds, instead of humans, are acting as players in the social stage. each of these birds possess some particular characteristics and social statuses, which are attributed to the humans who lived in the attar time (age). to offer m...