Kowalski and Sergot’s Event Calculus (EC ) is a simAppeared in the Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning — TIME’98 (R. Morris, L. Khatib editors), pp. 81–88, IEEE Computer Society Press, Sanibel Island, FL, 16–17 May 1998. ple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which pro...

Pemanfaatan teknologi telpon genggam dalam dunia da’wah seharusnya bukan hanya sebatas pada penggunaaan konunikasi personal, akan tetapi lebih lanjut harus dimanfaatkan untuk pengembangan pelayanan informsi yang luas, oleh karena itu perlu drancang sistem informasi mubaligh. Metode penelitian rangka merancang mubaligh ini adalah menggunakan metode action research, yaitu mengembangkan ada dengan...

junayd baghdadi is one of the greatest mystics and theorist of the first mystical tradition. his speeches about cognition and towhid (monotheism) are very valuable. attending to different levels of audiences, he has mentioned different stages for towhid. his remarks about towhid prove that both mystical practices and mystical vision play an important role for achieving the stage of towhid. to r...

Cytokine-dependent induction of E-selectin expression is mediated through cooperative signaling involving the Ras/Raf/mitogen-activated protein kinase pathway. We previously reported that metastatic tumor cells entering the hepaticcirculation rapidly induce a cytokine cascade leading to E-selectin induction (A-M. Khatib, et al., Cancer Res., 59:1356-1361, 1999).Here, we investigated the effect ...

Anne M. Gillis, MD, FHRS, Andrea M. Russo, MD, FHRS, FACC, Kenneth A. Ellenbogen, MD, FHRS, FACC, Charles D. Swerdlow, MD, FHRS, CCDS, FACC, Brian Olshansky, MD, FHRS, CCDS, FACC, Sana M. Al-Khatib, MD, MHS, FHRS, CCDS, FACC, John F. Beshai, MD, FHRS, FACC, Janet M. McComb, MD, FHRS, Jens Cosedis Nielsen, MD, Jonathan M. Philpott, MD, Win-Kuang Shen, MD, FHRS, FACC From University of Calgary, L...

In many civil and military applications, Unmanned Aerial Vehicles (UAVs) have to visit a partially-ordered set of strategic sites, often in presence of obstacles and wind. In this paper, we present a trajectory planning algorithm specially designed for this kind of mission, and possibly runnable during flight. The main idea of our approach is to proceed in three steps: paths building, sites ord...

The study aims to collect and the poetic evidence clarify it according grammatical rule. research discusses employment of witness in book Al-Saad Safir Alifadah for Alm Al-Din Al-Sakhawi. Why did Al-Sakhawi employ this witness? How he it? What is purpose employment? establish his argument emphasizing issue? And, how employs verse a way that suits raises issue consistent with rules protest set b...