The verification of dynamic properties of a reactive systems by model-checking leads to a potential combinatorial explosion of the state space that has to be checked. In order to deal with this problem, we define a strategy based on local verifications rather than on a global verification. The idea is to split the system into subsystems called modules, and to verify the properties on each modul...

We present the Vancouver Event and Relation System for Extraction (VERSE)1 as a competing system for three subtasks of the BioNLP Shared Task 2016. VERSE performs full event extraction including entity, relation and modification extraction using a feature-based approach. It achieved the highest F1-score in the Bacteria Biotope (BB3) event subtask and the third highest F1-score in the Seed Devel...

tadabbur (contemplation) is a specific term that the revealed word of allah has chosen exclusively for delving into the entire qur'an and has no other function except in qur'anology. in the qur'an sessions and sources as well as in the circles of exegesis, theology, and ethics there has been much talking of tadabbur and its roots, derivatives, and concept, but its conceptology in...

this study seeks to describe and discuss a hemistich, namely ‘‘yours the earth, mine the vulture’s feather’’, of the story of rostam and sohrab in ferdowsi's shahnameh. many commentators and interpreters of the shahnameh have different opinions on the concept and meaning of this hemistich. this has led the researchers to seek the reason of such differences, clues for the provided meanings,...

in two recent centuries, orientalism has undertaken to study academically some issues in which western scholars interested. during this period they have markedly paid attention to islam and the quran. the necessity of presenting theories through valid and scientific methods and readiness for accepting logical criticisms from rival theories, were two characteristics of this period of orientalism...

Dalam nash Al-Qur`an dan Hadis secara eksplisit dijelaskan tentang kewajiban kedua orang tua untuk mendidik anaknya dengan penuh kasih sayang. Namun, beberapa hadis Nabi literal justeru menjelaskan hal yang kontradiktif, yakni “hanya ibu” bertanggungjawab pada pendidikan adanya “legitimasi kekerasan” terhadap anak atas nama agama. Artikel ini akan membahas, bagaimana sebenarnya Konsep Islam (Al...