Since ancient times, in societies throughout the world, mankind has interpreted some dreams in the context of religion – from invoking the gods into their dreams in incubation temples, to recording dream narratives in holy scriptures of religions that thrive in today’s world. This paper acknowledges that the role of dreams has diminished in many faiths, most noticeably in western Christianity, ...

Model checking became a standard method of analysing complex systems in many application domains. No doubt, a number of applications is placing great demands on model checking tools. The process of analysis of complex and real-life systems often requires vast computation resources, memory in particular. This phenomenon, referred to as the state space explosion problem, has been tackled by many ...

The thesis focuses on counterexample explanation in model checking, which aims to provide useful information about the cause of an error so that the system designer can find and fix the error faster. We summarize some of the existing methods to deal with this problem and implement the method of Alex Groce and Willem Visser. This method describes three ways of comparing failing and unfailing run...

In this paper, attempts will be made to study and understand the lawful and unlawful foods in the light of Islamic Medical law focus on ethical aspect that has been practiced during Islamic civilization. We will realize that lawful and unlawful foods are not, as some imagine, mere pretense, but rather constitute the divine command which protects against many diseases. In order to present such a...

This metaphysical and pastoral reflection focuses on a question that over several decades has been posed to me by many family caregivers for deeply forgetful people (persons with dementia). The question may take different forms: Is my loved one still there underneath all of this confusion? Is my loved one's soul still present? Will she come to rest fully intact in the arms of a Supreme Being? C...

The theory of procurement auctions traditionally assumes that the offered quantity and quality is fixed prior to source selection. Multi-attribute reverse auctions allow negotiation over price and qualitative attributes such as color, weight, or delivery time. They promise higher market efficiency through a more effective information exchange of buyer’s preferences and supplier’s offerings. Thi...

As the global financial crisis dethrones the developed world from its economic supremacy, by leading the global economic recovery and growth, the global growth generator (3G) countries are expected to fill the vacuum. Capital market i.e. stock market development can play a crucial role in augmenting such growth in these 3G countries. This study aims at augmenting the determinants of stock marke...

Pranab Bardhan ([email protected]) is with the Department of Economics, University of California, Berkeley, US. Sandip Mitra ([email protected]) is with the Economic Research Unit, Indian Statistical Institute, Kolkata. Dilip Mookherjee ([email protected]) is with the Department of Economics, Boston University, Boston, US and Abhirup Sarkar ([email protected]) is with the Economic Rese...

„Patriotism‟ and the term „Patriot‟ refer to a new awareness of Irishness that emerged toward the end of the seventeenth century and throughout the eighteenth century. The birth of Patriotism was as a result of several contributory factors following the Jacobite wars at the end of the seventeenth century. Ireland‟s constitutional status as a separate kingdom had been supported by opponents of T...