Search
Search Results
-
Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence
Trocq [5] is both the name of a calculus, describing a parametricity framework, and of a Coq plugin [6] that provides tactics for performing...
-
MEPNet: A Model-Driven Equivariant Proximal Network for Joint Sparse-View Reconstruction and Metal Artifact Reduction in CT Images
Sparse-view computed tomography (CT) has been adopted as an important technique for speeding up data acquisition and decreasing radiation dose....
-
Artifact-Based Analysis for the Development of Collaborative Embedded Systems
One of the major challenges of heterogeneous tool environments is the management of different artifacts and their relationships. Artifacts can be...
-
An Unsupervised Framework for Joint MRI Super Resolution and Gibbs Artifact Removal
The k-space data generated from magnetic resonance imaging (MRI) is only a finite sampling of underlying signals. Therefore, MRI images often suffer...
-
Evolving Virtual Embodied Agents Using External Artifact Evaluations
We present neatures, a computational art system exploring the potential of digitally evolving artificial organisms for generating aesthetically...
-
Metal Artifact Correction MRI Using Multi-contrast Deep Neural Networks for Diagnosis of Degenerative Spinal Diseases
Our research aims to accelerate Slice Encoding for Metal Artifact Correction (SEMAC) MRI using multi-contrast deep neural networks for patients with...
-
U-DuDoNet: Unpaired Dual-Domain Network for CT Metal Artifact Reduction
Recently, both supervised and unsupervised deep learning methods have been widely applied on the CT metal artifact reduction (MAR) task. Supervised...
-
Improved Artifact Detection in Endoscopy Imaging Through Profile Pruning
Endoscopy is a highly operator dependent procedure. During any endoscopic surveillance of hollow organs, the presence of several imaging artifacts...
-
Increasing Reproducibility in Science by Interlinking Semantic Artifact Descriptions in a Knowledge Graph
One of the pillars of the scientific method is reproducibility – the ability to replicate the results of a prior study if the same procedures are...
-
MylynSDP — Process - aware artifact filtering based on interest
A software development process is used by software engineers to guide their activities during all phases of the software product development. When...
-
High-Powered Ocular Artifact Detection with C-LSTM-E
Electroencephalography (EEG) is a technique for examining brain waves through recording devices placed on the scalp. During EEG signal collection,...
-
Removal of EOG Artifact in Electroencephalography with EEMD-ICA: A Semi-simulation Study on Identification of Artifactual Components
Purpose: The electroencephalography (EEG) signals recorded in clinical settings are usually corrupted by electrooculography (EOG) artifacts. EEMD-ICA...
-
A video compression artifact reduction approach combined with quantization parameters estimation
High Efficiency Video Coding is one of the most widely used Video Coding standards. It could encode videos to bitstream with a high compression rate...
-
DeStripe: A Self2Self Spatio-Spectral Graph Neural Network with Unfolded Hessian for Stripe Artifact Removal in Light-Sheet Microscopy
Light-sheet fluorescence microscopy (LSFM) is a cutting-edge volumetric imaging technique that allows for three-dimensional imaging of mesoscopic...
-
Combining Identity Features and Artifact Analysis for Differential Morphing Attack Detection
Due to the importance of the Morphing Attack, the development of new and accurate Morphing Attack Detection (MAD) systems is urgently needed by...
-
Metal Artifact Reduction Based on Color Map** and Inpainting Techniques
Data acquisition process in computed tomography (CT) can promote the generation of artifacts in image slice, making the patient diagnosis more...
-
Artifact report: Generic bidirectional ty** for dependent type theories
We report on the implementation of a generic bidirectional algorithm for dependent type theories, following the proposal of the paper "Generic...
-
Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency
This report extends §6 of the main paper by providing further details of the mechanisation effort.
-
Generating Artificial Artifacts for Motion Artifact Detection in Chest CT
Motion artifacts can have a detrimental effect on the analysis of chest CT scans, because the artifacts can mimic or obscure genuine pathological...
-
Artifact-Driven Process Monitoring: A Viable Solution to Continuously and Autonomously Monitor Business Processes
Business process monitoring aims at identifying how well running processes are performing with respect to performance measures and objectives. By...