We present an optimisation for Constraint Handling Rules (CHR) that reduces the amount of variables a constraint delays on. This optimisation reduces the overhead of delaying on variables as well as the needless reawakening of delayed constraint. A correctness proof of the optimisation based on the refined operational semantics establishes the validity of the optimisation and sheds light on pos...

We show how and why it makes sense to use a relational formalisation instead of the usual functional one in the treatment of term graphs. Special attention is paid to term graphs with bound variables, that have, to our knowledge, never been formalised with such a generality before. Besides the novel treatment of term graphs themselves, we present an innovative relational homomorphism concept th...

Various researches have been carried out about benefits of accounting information and their influence on decision making of financial statements users. For example, many researches have examined the relationship between accounting variables and stock returns or stock price. This study determines and compares the relative and incremental content of accounting variables, too. For this purpose, th...

this article proposes a direct method for solving three types of integral equations with time delay. by using operational matrix of integration, integral equations can be reduced to a linear lower triangular system which can be directly solved by forward substitution. numerical examples shows that the proposed scheme have a suitable degree of accuracy.

Ala~traet--Errors-in-variables problems are considered for the case of three variables, where the underlying relations among the noise-free variables are linear, and covariance information for the noisy variables is available. The static problem where the variables are complex (which can arise when narrowband filtering is used) is analysed in detail. Some results are also presented for the case...

microbial electrolysis cell (mec) is one of the promising and cutting-edge technologies for generating hydrogen from wastewater through biodegradation of organic waste by exoelectrogenic microbes. in the mecs, the operational parameters, such as applied voltage (eap), anode surface area, anode-cathode distance, and n2/co2 volume ratio have a significant impact on the hydrogen yield and producti...

The focus of this study was to investigate the relationship between: (1) information communication technology (ICT) operational risk management (ORM) and (2) performance of small to medium enterprise (SME). To achieve the focus, the research investigated five specific research objectives that included the principal causes of ICT ORM failure in SME: change management requirements; characteristic...