In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system approach to reason about the evolution of an agent’s beliefs as actions are executed. Some actions cause an agent to perform belief revision while others cause an agent to perform belief update, but the interaction be...

This study investigates Greek accounting offices use of Information and Communication Technologies (ICT). Initially, a comprehensive questionnaire was developed. It contains 35 questions with multiple answers and 2 open questions tailored to the accountants. One hundred accountants’ offices in a Greek county answered the questionnaire. The findings present their current ICT infrastructure and t...

the aim of this review is focusing on the most important safety issues in cardiovascular mri (magnetic resonance imaging) which are categorized as: 1-safety items in patients who referred for stress cardiac mr studies. 2-safety consideration that we must know when a patient with cardiovascular devices referred for any (cardiovascular or non-cardiovascular) mri with focus on new protocols accord...

Agent technology has been recognized as a promising paradigm for next generation manufacturing systems. Researchers have attempted to apply agent technology to manufacturing enterprise integration, enterprise collaboration (including supply chain management and virtual enterprises), manufacturing process planning and scheduling, shop floor control, and to holonic manufacturing as an implementat...

In the ongoing arms race against malware, antivirus software is at the forefront, as one of the most important defense tools in our arsenal. Antivirus software is flexible enough to be deployed from regular users desktops, to corporate e-mail proxies and file servers. Unfortunately, the signatures necessary to detect incoming malware number in the tens of thousands. To make matters worse, antiv...

[1] At planets with induced magnetospheres, the coupling between the ionosphere, the weak draped magnetosphere, and the solar wind is very direct in comparison to Earth. The weak induced magnetosphere itself is created by the prevailing Solar wind conditions and therefore in its shape and strength dynamically depending on it. In early 2010, Mars was located behind Earth in the Solar wind; thus,...

background: use of contrast agents (cas) during ct simulation for treatment planing system leads to changes in  electron density. in this study we aimed to investigate the effect on  calculated dose of various concentrations of cas on treatment planing systems in different dose calculation algorithms. materials and methods: contrast agent (0.769 mg/ml iopromid) - water mixtures at concentration...

With the rapid increase in Android device popularity, a new evolving arms-race is happening between the malware writers and AntiVirus Detectors (AVDs) on the popular mobile system. In its latest comparison of AVDs, independent test lab AV-TEST reported that AVDs have around 95% malware recognition rate. However, as mobile systems are specially designed, we consider that the power of AVDs’ shoul...

This paper describes a formalization of agent-based models (ABMs) as random walks on regular graphs and relates the symmetry group of those graphs to a coarse-graining of the ABM that is still Mar-kovian. An ABM in which N agents can be in δ different states leads to a Markov chain with δ N states. In ABMs with a sequential update scheme by which one agent is chosen to update its state at a tim...