Equivalence checking of quantum circuits via intermediary matrix product operator by Aaron Sander, Lukas Burgholzer, Robert Wille

“…As quantum computing advances, the complexity of quantum circuits is rapidly increasing, driving the need for robust methods to aid in their design. Equivalence checking plays a vital role in identifying errors that may arise during compilation and optimization of these circuits and is a critical step in quantum circuit verification. …”
Get full text

ANALYSIS OF TRANSIENT CLOSING PROCESS AND COLLISION RESPONSE OF SWING CHECK VALVE by ZHANG XiHeng, ZHANG SunLi, BAI YaZhou, ZHANG XiaoKang

“…The study results provided a reference for the design and optimization of the structural parameters of the valve.…”
Get full text

How to Improve the Efficiency of Check-In Counter: A Counter-Sharing Method by Shao-Peng Yang, Tie-Qiao Tang, Tao Wang, Liang Chen

“…However, the existing studies mainly optimize the counter allocation based on the number of counters and airport demands, which needs more exploration on improving the utilization rate of check-in counters under the condition of unchanged resource allocation. …”
Get full text

The mechanism of checks and balances as a method of constitutional conflicts solving: comparative law issues by I. Tretyak

“…While the Russian legal tradition focused on the search for optimal "checks" and "balances" as well as defended the theoretical model of formalism in this matter, the English legal tradition, on the contrary, focused on finding the optimal functional balance of all branches of government. …”
Get full text

Effect of coarsely quantization on next generation systems with low-density parity check codes by Ehsan Mostafapour, Changiz Ghobadi, Javad Nourinia

“…LDPC (Low-Density Parity-Check) coding has emerged as a key solution in 5 G networks, owing to its low complexity and robust error-correction capabilities. …”
Get full text

Numerical evaluation of design factors for effective debris flow mitigation of closed-type check dams by Seungjun Lee, Hyunuk An, Minseok Kim, Jinho Lee

“…The results revealed that topographic features had a more significant impact on optimal check dam placement than flow characteristics. …”
Get full text

Mathematical Communication and Social Skills of The Students through Pair Check Type Cooperative Learning Models by Esti Farokah, Widodo Winarso

“…This can be seen from the results of the questionnaire and the test results after the pair check method was applied. It was better than the questionnaire results, and the test results before the pair check method were applied…”
Get full text

Sediment Particle Size Distribution behind the Check Dams of the Lashkaran Watershed, Salmas, West Azerbaijan by Afsaneh Jafari, Habib Nazarnejad, Saeed Najafi, farrokh asadzadeh

“…Comparing check dams with other water and soil conservation measures to reduce sedimentation, it seems that check dams are the most effective way to quickly reduce the entry of coarse sediments into rivers. …”
Get full text

Rate-Compatible, Bandwidth-Efficient, Low-Density Parity-Check (LDPC) Codes for Aeronautical Telemetry by Andrew D. Cummins, David G. M. Mitchell, Erik Perrins

“…Low-density parity-check (LDPC) codes form part of the IRIG-106 standard and have been successfully deployed for the Telemetry Group version of shaped-offset quadrature phase shift keying (SOQPSK-TG) modulation. …”
Get full text

Discovering activity transition patterns in social media check-in behavior via temporal activity motifs by Rui Zhao, Yong Gao

“…These findings bring new insights to optimize recommendation system and urban planning.…”
Get full text

Facilitating automated fact-checking: a machine learning based weighted ensemble technique for claim detection by Md. Rashadur Rahman, Rezaul Karim, Mohammad Shamsul Arefin, Pranab Kumar Dhar, Gahangir Hossain, Tetsuya Shimamura

“…An annotated text dataset comprising 5010 sentences sourced from various online platforms, including several online fact-checking sites, was developed. To determine the optimal model and feature representation for claim detection, various machine learning algorithms were evaluated using BoW, TF-IDF, Word2Vec, and FastText features. …”
Get full text

Experimental investigation into effects of material and energy regulation of debris flow by using check dams with different porosities by Jinyan Huang, Xingrong Liu, Zuoxiong Zhang, Jinxia Zhang, Yanjie Ma, Qirun Li, Yukun Wang, Yapen An

“…The design of check dam openings for debris flow control has been identified as a longstanding challenge, with no definitive solution yet identified. …”
Get full text

SC-PA: A spot-checking model based on Stackelberg game theory for improving peer assessment by Jia Xu, Panyuan Yang, Teng Xiao, Pin Lv, Minghe Yu, Ge Yu

“…Then, different from the classical spot-checking model, the spot-checking probability status of each student which is determined by the allocation plan is shown to the student. …”
Get full text

Deciphering the Role of Circadian Clock in Inflammatory Response and Immune Disorders Using Model Checking and Petri Nets by Hafeez Ur Rahman, Jamil Ahmad, Ainur Akhmediyarova, Dina Oralbekova, Orken Mamyrbayev

Get full text

Optimized LDPC Matrices: Reducing and Redistributing 1 bits for Enhanced MAP Detection in Bit-Patterned Media Recording Systems by Thien An Nguyen, Jaejin Lee, Jong-Ho Lee

“…In this paper, we propose an optimized approach that integrates MAP detection with LDPC decoding for BPMR systems while refining the parity check matrix structure to enhance performance. …”
Get full text

A Field Calibration Method for UHF Partial Discharge On-line Monitoring System Based on Cross-check Algorithm by Nan LI, Songyuan LI, Xuejun SHANG, Bowen GUO, Lin LI, Guoqiang ZU, Kai HOU

“…Through horizontal comparison between different phases and mirror comparison between input/output signals, the effects of absolute-value check on the accuracy of sensor’s calibration is significantly decreased, thus improving the overall calibration efficiency. …”
Get full text

Integer programming‐based non‐uniform window decoding schedules for spatially coupled low‐density parity‐check codes by Sirawit Khittiwitchayakul, Watid Phakphisut, Pornchai Supnithi

“…Abstract Spatially coupled low‐density parity‐check (SC‐LDPC) codes generally use a window decoding scheme, which is known to yield a near‐optimal decoding, compared to full block decoding. …”
Get full text

ImmunoCheckDB: A Comprehensive Platform for Evaluating Cancer Immunotherapy Biomarkers Through Meta‐Analyses and Multiomic Profiling by Chongxuan Lu, Mingxiao Li, Hong Yang, Zaoqu Liu, Jian Zhang, Quan Cheng, Anqi Lin, Shixiang Wang, Peng Luo

“…Uniquely combining meta‐analytical with multiomic exploration, our platform offers insights into optimal patient populations for ICI therapy, thereby bridging the gap between clinical data and molecular research to empower researchers in advancing precision immunotherapy, with access available at https://smuonco.shinyapps.io/ImmunoCheckDB/ to democratize data‐driven insights for personalized cancer treatment.…”
Get full text

OT-PCA: New Key-Recovery Plaintext-Checking Oracle Based Side-Channel Attacks on HQC with Offline Templates by Haiyue Dong, Qian Guo

“… In this paper, we introduce OT-PCA, a novel approach for conducting Plaintext-Checking (PC) oracle based side-channel attacks, specifically designed for Hamming Quasi-Cyclic (HQC). …”
Get full text

Evaluating the impact of check dam construction on runoff processes in Al-Dayer watershed using a physically-based hydrologic model by Ahmed M. Al-Areeq, Isam H. Aljundi

“…The results highlight the importance of considering the number and location of check dams for optimal impact on runoff processes within a watershed.…”
Get full text