One from main approaches to checking correctness of a concurrent system are state space methods. They are suitable for automatic analysis and verification of the behaviour of systems. In their basic form, they construct a structure that consist of all states that a system can reach, and all transitions that system can make between those states. This structure is called state space. State spaces...

The explosion of semantic data on the information web, and within digital philosophy, requires new techniques for organizing and linking these knowledge repositories. These must address concerns about consistency, completeness, maintenance, usability, and pragmatics, while reducing the cost of double experts trained both in ontology design and the target domain. Folksonomy approaches address co...

Background: An ammonia gas explosion poses immediate health hazards such as respiratory tract burns, skin and eye irritation, and potential death within seconds. It also causes long-term negative impacts on biodiversity, affecting aquatic life and vegetation. An explosion in the Firuzabad sodium carbonate factory in Iran led to massive ammonia gas leakage and the poisoning of several employees....

statement of problem: patients affected with “early onset periodontitis” (eop), are not similar regarding their neutrophil deficiency and researches have yielded contradictory results in this field. purpose: the purpose of this study was to evaluate different aspects of neutrophils’ activities in peripheral blood of such patients, especially those affected with prepubertal periodontitis and juv...

Data quality assessment is a key factor in data-intensive domains. The data deluge is aggravated by an increasing need for interoperability and cooperation across groups and organizations. New alternatives must be found to select the data that best satisfy users’ needs in a given context. This paper presents a strategy to provide information to support the evaluation of the quality of data sets...

'The economic statistics that the government issues every week should come with a warning sticker: User beware. In the midst of the greatest information explosion in history, the government is pumping out a stream of statistics that are nothing but myths and misinformation.' Michael J. Mandel, "The Real Truth about the Economy: Are Government Statistics so much Pulp Fiction? Take a Look," Busin...

This paper examines the paperclip apocalypse concern for artificial general intelligence. This arises when a superintelligent AI with a simple goal (ie., producing paperclips) accumulates power so that all resources are devoted towards that goal and are unavailable for any other use. Conditions are provided under which a paper apocalypse can arise but the model also shows that, under certain ar...

In the age of information explosion, e-learning recommender systems (ELRSs) have emerged as the most essential tool to deliver personalized learning resources to learners. Due to enormous amount of information on the web, learner faces problem in searching right information. ELRSs deal with the problem of information overload effectively and provide recommendations by taking into consideration ...