In several rule-based applications using graph transformation as underlying modeling technique the following questions arise: How can one be sure that a specific sequence of rules is applicable (resp. not applicable) on a given graph? Of course, it is possible to use a trial and error strategy to find out the answer to these questions. In this paper however, we will formulate suitable sufficien...

Recently, there has been an increasing interest in the bottom-up evaluation of the semantics of logic programs with complex terms. The presence of function symbols in the program may render the ground instantiation infinite, and finiteness of models and termination of the evaluation procedure, in the general case, are not guaranteed anymore. Since the program termination problem is undecidable ...

In this paper we use a data-driven (DD) rule-based method for modeling pronunciation variation. Error analysis is performed in order to gain insight into the effect of pronunciation variation modeling. This analysis shows that although modeling pronunciation variation brings about improvements, deteriorations are also introduced. A strong correlation is found between the number of improvements ...

Due to the flexibility of multi-criteria optimization, Regularized Multiple Criteria Linear Programming (RMCLP) has received attention in decision support systems. Numerous theoretical and empirical studies have demonstrated that RMCLP is effective and efficient in classifying large scale data sets. However, a possible limitation of RMCLP is poor interpretability and low comprehensibility for e...

This paper presents some testing approaches based on model checking and using different testing criteria. First, test sets are built from different Kripke structure representations. Second, various rule coverage criteria for transitional, non-deterministic, cell-like P systems, are considered in order to generate adequate test sets. Rule based coverage criteria (simple rule coverage, context de...

The Golden Rule – “do unto others as you would have them do you,” or in its negative formulation not what done you” is one of the most ancient formulations moral criteria. We encounter it some form canonical texts practically all religions that aspire to any kind universality. At first glance, categorical imperative states and demands same Rule. This presents question whether a variation Rule, ...

This paper describes an approach to incorporating environmental risk evaluation criteria within IMO’s guidelines for Formal Safety Assessment (FSA). Such criteria are currently absent from FSA, and the discussion to include them has just started. Said criteria are relevant for evaluating on a cost-benefit basis Risk Control Options (RCOs) for reducing oil spill pollution risk. Oil pollution may...

One of the most important applications of GIS is the display and analysis of data to support the process of environmental decision-making. A decision can be defined as a choice between alternatives, where the alternatives may be different actions, locations, objects, and the like. For example, one might need to choose which is the best location for a hazardous waste facility, or perhaps identif...

introduction: doing chest x ray (cxr) for all trauma patients is not efficient and cost effective due to its low diagnostic value. the present study was designed aiming to evaluate the diagnostic accuracy of thoracic injury rule out criteria (tirc) in prediction of traumatic intra-thoracic injuries and need for cxr.  method: the present study is a prospective cross-sectional study that has been...