We propose a situation calculus formalization of action domains that include numeric-valued fluents (so-called additive or measure fluents) and concurrency. Our approach allows formalizing concurrent actions whose effects increment/decrement the value of additive fluents. For describing indirect effects, we employ mathematical equations in a manner that is inspired by recent work on causality a...

Cosine Numeric Abstract, Cosine Logical Abstract, Overlap Logical Overlap Logical Abstract, Cosine Numeric Cosine Numeric Text, Cosine Numeric Text, Cosine Logical Text, Overlap Logical Abstract, Cosine Numeric Cosine Numeric Abstract, Cosine Logical Cosine Logical Title, Cosine Numeric EVALUATION MEASURE Normed. Recall Normed. Precision Normed. Recall Normed. Precision Normed. Recall Normed. P...

Interpretation. The basic idea of abstract interpretation is to simplify and omit all calculations that do not directly influence the execution costs. For example, instead of computing a numeric value, it is only computed whether it is positive or negative, thereby speeding up the execution of the program to be examined. While having the attraction of being very general, one major disadvantage

We explore a variety of pleasing connections between analysis, number theory and operator theory, while revisiting a number of beautiful inequalities originating with Hilbert, Hardy and others. We shall first establish the aforementioned Hilbert inequality [?, ?] and then apply it to various multiple zeta values. In consequence we obtain the norm of the classical Hilbert matrix, while illustrat...

The percentage of the population described as elderly is growing, and a higher prevalence of multiple, chronic disease states must be managed concurrently. Healthcare practitioners must appropriately use medication for multiple diseases and avoid risks often associated with multiple medication use such as adverse effects, drug/drug interactions, drug/disease interactions, and inappropriate dosi...

The symbolic-numeric program SELFA for solving the the 2D boundary-value problem in self-consistent basis method is presented. The corresponding algorithm of this program using a conventional pseudocode is described too. As example, the energy spectrum and wave functions of E-type for generalized Henon–Heiles Hamiltonian were obtained.