Search
Search Results
-
Thing Artifact-based Design of IoT Ecosystems
This paper sheds light on the complexity of designing Internet of Things (IoT) ecosystems where a high number of things reside and thus must...
-
Array-Based Artifact Systems: General Framework
In this chapter, we introduce Array-based Artifact Systems – a rich and powerful theoretical framework for the formal specification and verification... -
A survey on Motion Artifact Correction in Magnetic Resonance Imaging for Improved Diagnostics
Motion artifacts occur in magnetic resonance imaging (MRI) due to the motion or movement of the object being scanned. Motion artifacts can have...
-
Coding Prior-Driven JPEG Image Artifact Removal
Image priors play an important role in JPEG image artifact removal. However, most existing methods ignore the use of coding priors. This paper... -
Artifact-Driven Process Monitoring at Scale
Artifact-driven process monitoring is an effective technique to autonomously monitor business processes. Instead of requiring human operators to... -
EARN: toward efficient and robust JPEG compression artifact reduction
JPEG is one of the most widely used lossy image compression algorithms, but artifacts are generated during compression. Various artifact reduction...
-
Artifact Repository and Container Registry
In this chapter, we will look at some of the artifact repositories and Container Registry software and/or service available to us. This is important... -
Topology optimization of a benchmark artifact with target stress states using evolutionary algorithms
Additive manufacturing enables extended freedom in designing structural components. In order to reduce manufacturing costs, the product quality has...
-
Artifact Restoration in Histology Images with Diffusion Probabilistic Models
Histological whole slide images (WSIs) can be usually compromised by artifacts, such as tissue folding and bubbles, which will increase the... -
Map** Artifact-Driven Monitoring Results Back to BPMN Process Diagrams
Artifact-driven process monitoring is a technique that exploits the E-GSM modeling language to seamlessly monitor multi-party business processes.... -
SureUnet: sparse autorepresentation encoder U-Net for noise artifact suppression in low-dose CT
Low-dose computed tomography (LDCT) is desirable due to ionizing radiation, but the resulting images suffer from serious streak artifacts and spot...
-
Analyzing developer contributions using artifact traceability graphs
ContextIn a software project, properly analyzing the contributions of developers could provide valuable insights for decision-makers. The...
-
Artifact Description
This document describes the Coq formalisation accompanying the paper Definitional Functoriality for Dependent (Sub)Types, more specifically the... -
Metal artifact reduction for oral and maxillofacial computed tomography images by a generative adversarial network
Metal artifacts in oral and maxillofacial computed tomography (CT) images affect the imaging quality, interfere with doctors’ judgment of anatomical...
-
Improved Bivariate-VAR Model for Extraction of Respiratory Information from Artifact Corrupted ECG and PPG Signals
In general in ICUs, operation theatres, post-operative critical care units, and even ambulatory monitors, the patients are continuously examined with...
-
Dense Transformer based Enhanced Coding Network for Unsupervised Metal Artifact Reduction
CT images corrupted by metal artifacts have serious negative effects on clinical diagnosis. Considering the difficulty of collecting paired data with... -
Safety Verification of Artifact Systems
In this chapter, we introduce the safety verification problem for SASs and (Universal) RASs. For both types of systems, we make use of a powerful and... -
Comparing Screen-Based Version Control to Augmented Artifact Version Control for Physical Objects
Besides referring to digital twins, the iterative development of physical objects cannot be easily managed in version control systems. However,... -
An efficient approach for denoising EOG artifact through optimal wavelet selection
Electroencephalography (EEG) is a non-intrusive method used to capture electrical potential generated by brain neurons, which is crucial for...
-
Artifact reduction in lenslet array near-eye displays
Lenslet array near-eye displays are a revolutionary technology that generates a virtual image in the field of view of the observer. Although this...