Artifact systems are a novel paradigm for specifying and implementing business processes described in terms of interacting modules called artifacts. Artifacts consist of data and lifecycle models, accounting for the relational structure of the artifact state and its possible evolutions over time. We consider the problem of verifying artifact systems against specifications expressed in quantifie...

Artifact functions have a decidedly practical character: We are interested in an artifact’s function so that we may use it to achieve our ends. The notion of instrumental functions has recently been introduced in order to emphasize the practical aspects of artifactual functions. In this chapter the normative aspects of instrumental functions are investigated, including both agent norms (concern...

Although human cognition often occurs during dynamic motor actions, most studies of human brain dynamics examine subjects in static seated or prone conditions. EEG signals have historically been considered to be too noise prone to allow recording of brain dynamics during human locomotion. Here we applied a channel-based artifact template regression procedure and a subsequent spatial filtering a...

A case of hot spots observed on perfusion lung images is presented. This artifact is well known, however, it is rarely seen in our experience. Although this artifact can occur if a faulty injection technique is used, the artifact also may be caused by embolization of the MAA in the upper extremity venous blood after injection. This cause of the artifact is beyond the control of the nuclear medi...

We aim to show that far-related primates like humans and the capuchin monkeys show interesting correspondences in terms of artifact characterization and categorization. We investigate this issue by using a philosophically-inspired definition of physical artifact which, developed for human artifacts, turns out to be applicable for cross-species comparison. In this approach an artifact is created...

We explore two characteristic features of x-ray computed tomography inversion formulas in two and three dimensions that are dependent on π-lines. In such formulas the data from a given source position contribute only to the reconstruction of f(x) for x in a certain region, called the region of backprojection. The second characteristic is a certain small artifact in the reconstruction, called a ...

Artifact systems are a novel paradigm for specifying and implementing business processes described in terms of interacting modules called artifacts. Artifacts consist of data and lifecycles, accounting respectively for the relational structure of the artifacts’ states and their possible evolutions over time. In this paper we put forward artifact-centric multi-agent systems, a novel formalisatio...

The standardized OASIS Security Assertion Markup Language (SAML) has become one of the most deployed frameworks in federated identity management even though it focuses only on single sign-on. Answering industry’s pursuit of the reduction of user-management costs and enabling cost-efficient deployment because of its browser-based profiles, SAML is believed to become widely used soon. With the re...

BACKGROUND AND PURPOSE Metal artifacts from dental fillings and other devices degrade image quality and may compromise the detection and evaluation of lesions in the oral cavity and oropharynx by CT. The aim of this study was to evaluate the effect of iterative metal artifact reduction on CT of the oral cavity and oropharynx. MATERIALS AND METHODS Data from 50 consecutive patients with metal ...

PURPOSE To study whether the Artifact Removal procedure available for eliminating artifacts in multifocal electroretinograms (mERG) works correctly or not. METHODS A test response was made using a photo-diode circuit. mERGs were recorded from 3 well-trained normal subjects using the Veris III system, and were then analyzed by the procedure that is included in the Veris Science (Artifact Remov...