English
Related papers

Related papers: Efficient Black-box Checking of Snapshot Isolation…

200 papers

Self-Sovereign Identity (SSI) is a novel and emerging, decentralized digital identity approach that enables entities to control and manage their digital identifiers and associated identity data fully while enhancing trust, privacy,…

Cryptography and Security · Computer Science 2022-08-23 Špela Čučko , Šeila Bećirović , Aida Kamišalić , Saša Mrdović , Muhamed Turkanović

Self-Sovereign Digital Identity (SSDI) enables individuals to control their own identity assertions and data, rather than relying on centralized or federated systems prone to large-scale data breaches. By eliminating centralized databases…

Cryptography and Security · Computer Science 2026-03-13 Sushanth Ambati , Kainat Adeel , Jack Myers , Nikolay Ivanov

Specific Emitter Identification (SEI) provides physical-layer device authentication for wireless communications and Internet of Things (IoT) systems. While deep learning (DL) has significantly advanced SEI performance, label noise severely…

Signal Processing · Electrical Eng. & Systems 2026-05-07 Ruixiang Zhang , Zinan Zhou , Yezhuo Zhang , Guangyu Li , Xuanpeng Li

Semi-Supervised Instance Segmentation (SSIS) involves classifying and grouping image pixels into distinct object instances using limited labeled data. This learning paradigm usually faces a significant challenge of unstable performance…

Computer Vision and Pattern Recognition · Computer Science 2025-05-19 Jianghang Lin , Yilin Lu , Yunhang Shen , Chaoyang Zhu , Shengchuan Zhang , Liujuan Cao , Rongrong Ji

Due to its sound theoretical basis and practical efficiency, masking has become the most prominent countermeasure to protect cryptographic implementations against physical side-channel attacks (SCAs). The core idea of masking is to randomly…

Cryptography and Security · Computer Science 2021-07-22 Thilo Krachenfels , Fatemeh Ganji , Amir Moradi , Shahin Tajik , Jean-Pierre Seifert

Modern societies have an abundance of data yet good system models are rare. Unfortunately, many of the current system identification and machine learning techniques fail to generalize outside of the training set, producing models that…

Systems and Control · Electrical Eng. & Systems 2023-11-27 Gabriel F. Machado , Morgan Jones

The second-order generalized integrator (SOGI), which can be used to attenuate the self-interference of the fundamental tone, is unable to reject DC offsets on the input signal. Consequently, the performance of any SOGI based synchrophasor…

Signal Processing · Electrical Eng. & Systems 2025-01-27 César García-Veloso , Mario Paolone , José María Maza-Ortega

Detecting interaction effects among predictors on the response variable is a crucial step in various applications. In this paper, we first propose a simple method for sure screening interactions (SSI). Although its computation complexity is…

Methodology · Statistics 2020-12-16 Min Zhou , Mingwei Dai , Yuan Yao , Jin Liu , Can Yang , Heng Peng

With the increased availability of condition monitoring data and the increased complexity of explicit system physics-based models, the application of data-driven approaches for fault detection and isolation has recently grown. While…

Systems and Control · Electrical Eng. & Systems 2020-01-01 Manuel Arias Chao , Chetan Kulkarni , Kai Goebel , Olga Fink

Verifying the serializability of transaction histories is essential for users to know if the DBMS ensures the claimed serializable isolation level without potential bugs. Black-box serializability verification is a promising approach.…

Programming Languages · Computer Science 2025-03-10 Weihua Sun , Zhaonian Zou

In the last few years, several methods have been developed to deal with jump singularities in parametric or stochastic hyperbolic PDEs. They typically use some alignment of the jump-sets in physical space before performing well established…

Numerical Analysis · Mathematics 2024-12-20 G. Welper

Shoplifting poses a significant challenge for retailers, resulting in billions of dollars in annual losses. Traditional security measures often fall short, highlighting the need for intelligent solutions capable of detecting shoplifting…

Computer Vision and Pattern Recognition · Computer Science 2025-01-14 Narges Rashvand , Ghazal Alinezhad Noghre , Armin Danesh Pazho , Shanle Yao , Hamed Tabkhi

Modern photon-counting sensors are increasingly dominated by Poisson noise, yet conventional feature-specific imaging (FSI), based on principal component analysis (PCA), is optimized for additive Gaussian noise and variance preservation…

Optics · Physics 2026-04-20 Yizhou Lu , Andreas Velten

Modern software development heavily relies on third-party libraries to speed up development and enhance quality. As libraries evolve, they may break the tacit contract established with their clients by introducing behavioral breaking…

Software Engineering · Computer Science 2025-07-29 Gustave Monce , Thomas Degueule , Jean-Rémy Falleri , Romain Robbes

Fault diagnosis has attracted extensive attention for its importance in the exceedingly fault management framework for cloud virtualization, despite the fact that fault diagnosis becomes more difficult due to the increasing scalability and…

Software Engineering · Computer Science 2015-07-30 Ameen Alkasem , Hongwei Liu , Zuo Decheng , Yao Zhao

Asset monitoring in construction sites is an intricate, manually intensive task, that can highly benefit from automated solutions engineered using deep neural networks. We use Single-Shot Multibox Detector --- SSD, for its fine balance…

Computer Vision and Pattern Recognition · Computer Science 2018-08-21 Viral Thakar , Himani Saini , Walid Ahmed , Mohammad M Soltani , Ahmed Aly , Jia Yuan Yu

FSS(Few-shot segmentation) aims to segment a target class using a small number of labeled images(support set). To extract information relevant to the target class, a dominant approach in best-performing FSS methods removes background…

Computer Vision and Pattern Recognition · Computer Science 2023-11-14 Seonghyeon Moon , Samuel S. Sohn , Honglu Zhou , Sejong Yoon , Vladimir Pavlovic , Muhammad Haris Khan , Mubbasir Kapadia

Whole Slide Image (WSI) classification with multiple instance learning (MIL) in digital pathology faces significant computational challenges. Current methods mostly rely on extensive self-supervised learning (SSL) for satisfactory…

Computer Vision and Pattern Recognition · Computer Science 2025-03-04 Hossein Jafarinia , Alireza Alipanah , Danial Hamdi , Saeed Razavi , Nahal Mirzaie , Mohammad Hossein Rohban

Crash consistency using persistent memory programming libraries requires programmers to use complex transactions and manual annotations. In contrast, the failure-atomic msync() (FAMS) interface is much simpler as it transparently tracks…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-10-26 Suyash Mahar , Mingyao Shen , Terence Kelly , Steven Swanson

In a Private section intersection (PSI) protocol, Alice and Bob compute the intersection of their respective sets without disclosing any element not in the intersection. PSI protocols have been extensively studied in the literature and are…

Cryptography and Security · Computer Science 2022-09-29 Florian Kerschbaum , Erik-Oliver Blass , Rasoul Akhavan Mahdavi