Abstract: In his pioneering work on singular shells in general relativity, Lanczos had derived jump conditions across energy-momentum carrying hypersurfaces from the Einstein equation with codimension 1 sources. However, on the level of the action, the discontinuity of the connection arising from a codimension 1 energy-momentum source requires to take into account two adjacent space-time region...

the philosophy of kalam science is an external view about kalam that focuses on conceptual and confirmative principles like: definition, subject, the origins of emanation, approaches, historical stages, and other general criteria. from martyr motahharii’s point of view the function of kalam, as a completely islamic knowledge is the clarification of islamic proofs and defense of religious misgiv...

the images of muslims in media, literature and politics have been mostly black and white portrayals of a people alien to modernity, technology, civilization and progress. since the end of the cold war and the onset of deadly terrorist attacks in different areas of the world, especially in the united states, these representations show a palpable difference: muslims are predominantly represented ...

In this paper we describe computer-supported structured cooperative learning, applied to the laboratories of an introductory CS1 course. We extended IMINDS, a multiagent system that supports student-teacher and student-student realtime interactions, to support a cooperative learning paradigm called Jigsaw. Jigsaw considers of several phases of activities, including dividing students into differ...

Based on the discrete definition of biological regulatory networks developed by René Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a set of given temporal properties. Our approach is illustrated with the mucus production in Pseudom...

We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received very little attention in the field of conceptual modeling of information systems. Most conceptual modeling languages, like the UML and ORM, do not allow their formal definition. In this paper, we propose a new method for the defin...

james morier’s the adventures of hajji baba of ispahan is among works in which traces of the new wave of colonialism at the beginning of the 19th century are clearly evident, a colonialism which, fortified by the newly-established discourse of orientalism, employed literary texts as building blocks to expand and buttress authority and dominance of the west over the east. this paper attempts to ...

Disjunctive modal transition systems (DMTS) describe classes of transition systems (TS) via a simulation relation. Consequently, they are an appropriate formalism for expressing underspecification of systems. An alternative definition of simulation on DMTSs is presented. It is shown that the class of TSs described by a given DMTS with respect to the original simulation can also be expressed by ...

Abstract Eugen Mittwoch (1876–1942) was one of the most prominent representatives German Orientalism during first decades twentieth century. Trained as an Arabist and Semitist, at same time a specialist Ethiopian studies, he part circle Carl Heinrich Becker (1876–1933) who initiated new direction for Islamic studies in Orientalism. At time, also engaged study Geniza worked on topics relevant to...