Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges by Chanon Dechsupa, Teerapong Panboonyuen, Wiwat Vatanawood, Praisan Padungweang, Chakchai So-In

“…State-space graphs and automata serve as fundamental tools for modeling and analyzing the behavior of computational systems. Recurrent neural networks (RNNs) and language models are deeply intertwined, as RNNS provide the foundational architecture that enables language models to process sequential data, capture contextual dependencies, and improve natural language processing tasks. …”
Get full text

Single-atom amplification assisted by multiple sideband interference in waveguide QED systems by Kuan-Ting Lin, Ting Hsu, Fahad Aziz, Yu-Chen Lin, Ping-Yi Wen, Io-Chun Hoi, Guin-Dar Lin

Get full text

A Perception-Driven Transcale Display Scheme for Space Image Sequences by Lingling Zi, Xin Cong, Yanfei Peng, Pei Yang

“…The former concentrates on describing the transcle feature of space targets, including three algorithms, attention region computing, frame rate conversion, and image resolution resizing. …”
Get full text

Generating High Spatial and Temporal Surface Albedo with Multispectral-Wavemix and Temporal-Shift Heatmaps by Sagthitharan Karalasingham, Ravinesh C. Deo, Nawin Raj, David Casillas-Perez, Sancho Salcedo-Sanz

Get full text

Transient Analysis of a k-out-of-n:G System with N-Policy, Repairmen’s Multiple Vacations, and Redundant Dependency by Wenqing Wu, Yinghui Tang

Get full text

Enforcing interface field continuity to advance finite element approximations in heterogeneous materials by Hyesun Na, Eunjung Lee

Get full text

The Effectiveness and Clinical Usability of a Handheld Information Appliance by Patricia A. Abbott

“…This study was designed to gain a deeper understanding of clinicians’ interactions with a mobile clinical computing appliance (Motion Computing C5) designed to consolidate numerous technological functions into an all-in-one device. …”
Get full text

IM-Dedup: An Image Management System Based on Deduplication Applied in DWSNs by Jilin Zhang, Shuting Han, Jian Wan, Baojin Zhu, Li Zhou, Yongjian Ren, Wei Zhang

“…It is suitable for cloud computing platform to apply service in data processing system. …”
Get full text

Distributed anonymous authentication scheme based on the blockchain in VANET by Xia FENG, Kaiping CUI, Qingqing XIE, Liangmin WANG

“…Identity authentication is the first line of defense against malicious vehicles spreading false traffic information.However, due to the limited network bandwidth and computing power in the vehicle ad-hoc network (VANET), the existing schemes cannot meet the requirements of efficient authentication, nor can achieve fast and anonymous traceability of malicious vehicles.In view of this, a distributed anonymous authentication scheme based on the blockchain was proposed.The zero-knowledge proof was used to quickly and anonymously authenticate the identity of vehicles in VANET, and the pairing-free-based aggregating signature was used to provide fast batch verification, effectively reducing the computational burden generated during the authentication process.In addition, the regional trusted authority (RTA) could realize the anonymous traceability of malicious vehicle identities, and quickly revoke their identities by using the block chain.It could also update the short-term anonymous identities of vehicles based on local keys in time to ensure that vehicles anonymity and freshness of signatures.Security analysis and simulation show that the proposed scheme can satisfy various security requirements such as anonymity and unlinkability, and can effectively reduce computing and communication overhead, which is at least 27.28% higher in performance than similar schemes.…”
Get full text

National-Scale Detection of New Forest Roads in Sentinel-2 Time Series by Øivind Due Trier, Arnt-Børre Salberg

Get full text

Distributed anonymous authentication scheme based on the blockchain in VANET by Xia FENG, Kaiping CUI, Qingqing XIE, Liangmin WANG

“…Identity authentication is the first line of defense against malicious vehicles spreading false traffic information.However, due to the limited network bandwidth and computing power in the vehicle ad-hoc network (VANET), the existing schemes cannot meet the requirements of efficient authentication, nor can achieve fast and anonymous traceability of malicious vehicles.In view of this, a distributed anonymous authentication scheme based on the blockchain was proposed.The zero-knowledge proof was used to quickly and anonymously authenticate the identity of vehicles in VANET, and the pairing-free-based aggregating signature was used to provide fast batch verification, effectively reducing the computational burden generated during the authentication process.In addition, the regional trusted authority (RTA) could realize the anonymous traceability of malicious vehicle identities, and quickly revoke their identities by using the block chain.It could also update the short-term anonymous identities of vehicles based on local keys in time to ensure that vehicles anonymity and freshness of signatures.Security analysis and simulation show that the proposed scheme can satisfy various security requirements such as anonymity and unlinkability, and can effectively reduce computing and communication overhead, which is at least 27.28% higher in performance than similar schemes.…”
Get full text

A Multimodal Dataset of Cardiac, Electrodermal, and Environmental Signals by Cezar Anicai, Muhammad Zeeshan Shakir

Get full text

A Comprehensive Data Maturity Model for Data Pre-Analysis by Lukas Knoflach, Lin Shao, Torsten Ullrich

Get full text

Cybersecurity and Liability in a Big Data World by Maria Lillà Montagnani, Mirta Antonella Cavallo

“…After a brief overview of the potentialities and drawbacks deriving from the combination of big data and cloud computing, this article illustrates the challenges and the obligations imposed by the European institutions on providers processing personal data – pursuant to the General Data Protection Regulation – and on providers of digital services and essential services – according to the NIS Directive. …”
Get full text

Lucas difference sequence spaces defined by Orlicz function in 2-normed spaces by Cai Qing-Bo, Kumar Ravi, Sharma Sunil K., Sharma Ajay K.

Get full text

Quantum-mechanical prediction of the behavior of quantum trigger on a two-qubit cell of boron in silicene by Andrey N. Chibisov, Mary A. Chibisova

“…It was shown that the two-dimensional system B:Si behaves as a quantum switch, allowing operations on the local distribution of charge density and electrostatic potential, thereby processing quantum information. The obtained results will be important for the technology of designing and manufacturing two-dimensional energy-efficient quantum computer.…”
Get full text

A Novel Scheme with FG-FFT for Analysis of Electromagnetic Scattering from Large Objects by Jia-Ye Xie, Guang Yu, Li-Li Pang, Wei-Bin Kong, Zhi-Xiang Huang

Get full text

Direct plasma treatment of caryopses after flowering in brewer’s rice cultivar Yamadanishiki enhanced those grain qualities through “Smart Agriculture System” by Hiroshi Hashizume, Hidemi Kitano, Hiroko Mizuno, Akiko Abe, Shih-Nan Hsiao, Genki Yuasa, Satoe Tohno, Hiromasa Tanaka, Shogo Matsumoto, Hitoshi Sakakibara, Eisuke Kita, Yoji Hirosue, Masayoshi Maeshima, Masaaki Mizuno, Masaru Hori

Get full text

Enhancing UAS-Based Multispectral Semantic Segmentation Through Feature Engineering by Elena Vollmer, Mishal Benz, James Kahn, Leon Klug, Rebekka Volk, Frank Schultmann, Markus Gotz

“…This article investigates how feature engineering (FE), the process of adapting raw data to serve as DL training data, can impact performance when transferring prevalent model architectures to combined red, green, blue (RGB) thermal imagery. …”
Get full text

Advanced gastrointestinal tract organ differentiation using an integrated swin transformer U-Net model for cancer care by Neha Sharma, Sheifali Gupta, Ahmad Almogren, Salil Bharany, Ayman Altameem, Ateeq Ur Rehman

“…This technology holds significant potential for integration into clinical processes, enhancing the precision of radiation therapy for GI cancer patients.…”
Get full text