24 papers · ranked by Valyu relevance
Yingxian Zhang, Xiaofei Pan, Kegang Pan, Zhan Ye + 1 more
We propose a parallel decoding algorithm based on error checking and correcting to improve the performance of the short polar codes. In order to enhance the error-correcting capacity of the decoding algorithm, we first derive the error-checking equations generated on the basis of the frozen nodes, and then we introduce…
Tsong Yueh Chen, Shing-Chi Cheung, Siu-Ming Yiu
In software testing, a set of test cases is constructed according to some predefined selection criteria. The software is then examined against these test cases. Three interesting observations have been made on the current artifacts of software testing. Firstly, an error-revealing test case is considered useful while a…
Harold Thimbleby, Paul Cairns
Number entry is ubiquitous: it is required in many fields including science, healthcare, education, government, mathematics and finance. People entering numbers are to be expected to make errors, but shockingly few systems make any effort to detect, block or otherwise manage errors. Worse, errors may be ignored but…
Colin S. Gordon, Chaewon Yun
We describe a new concrete approach to giving predictable error locations for sequential (flow-sensitive) effect systems. Prior implementations of sequential effect systems rely on either computing a bottom-up effect and comparing it to a declaration (e.g., method annotation) or leaning on constraint-based type…
Nathan B. Lubock, Di Zhang, George M. Church, Sriram Kosuri
Gene synthesis, the process of assembling gene-length fragments from shorter groups of oligonucleotides (oligos), is becoming an increasingly important tool in molecular and synthetic biology. The length, quality, and cost of gene synthesis is limited by errors produced during oligo synthesis and subsequent assembly.…
Brian McMahon
Quality control of the papers in its journals is a major concern of the International Union of Crystallography. Recent technological developments, not least the emergence of a standard data interchange file format, have facilitated the checking of numerical data in a paper, and its error-free transference to the…
Fryad Khalid M. Rashid, Asadullah Shaikh
Hypothesis testing is a valuable method used to investigate ideas and test predictions arising from theories based on available data. In the context of critical system architecture, there is a need to effectively utilize hypothesis testing to identify faulty paths and improve system safety. This research aims to…
Pengyao Ping, Shuquan Su, Xinhui Cai, Tian Lan + 5 more
Although the per-base erring rate of NGS is very low at 0.1% to 0.5%, the percentage/probability of erroneous reads in a short-read sequencing dataset can be as high as 10% to 15% or in the number of millions. Correction of these wrongly sequenced reads to retrieve their huge missing value will improve many downstream…
Authors not listed
This work provides a rigorous theoretical investigation of selective error correction strategies for variational quantum algorithms, with focus on understanding the interplay between error suppression, circuit trainability, and computational resource requirements. We develop a mathematical framework that characterizes…
Victor H. R. Nogueira, Rishabh Sharma, Rafael V. C. Guido, Michael J. Keiser
As efforts to improve the robustness of molecular representations advance, so does the need for methods to test and validate them. We use a Variational Auto-Encoder (VAE), an unsupervised deep learning model, to generate anomalous samples of a well-known molecular string format called SELF-referencIng Embedded Strings…
Nima Shiri Harzevili, Mohammad Mahdi Mohajer, Jiho Shin, Moshi Wei + 7 more
'Gias Uddin' 'Jinqiu Yang' 'Junjie Wang' 'Song Wang' 'Zhen Ming' 'Jiang' 'Nachiappan Nagappan'] Abstract—Checker bugs in Deep Learning (DL) libraries are critical yet not well-explored. These bugs are often concealed in the input validation and error-checking code of DL libraries and can lead to silent failures…
В. Г. Данилов, Ilya S. Turuntaev
In this article we address the problem of automatic answer checking in interactive learning systems that support mathematical notation. This problem consists of the problem of establishing identities in formal mathematical systems and hence is formally unsolvable. However, there is a way to cope with the issue. We…
Richard J. Wang, Predrag Radivojac, Matthew W. Hahn
Errors in genotype calling can have perverse effects on genetic analyses, confounding association studies and obscuring rare variants. Analyses now routinely incorporate error rates to control for spurious findings. However, reliable estimates of the error rate can be difficult to obtain because of their variance…
Authors not listed
This study presents a validation and refinement of the “yellow cards” error detection workflow that can be applied to any property connected to molecular structure. In our implementation the workflow employed 5 predictive models with each assigning a “yellow card” to 5% of the entries with worst prediction accuracy.…
Authors not listed
Bayesian optimization (BO) has become increasingly important for experimental optimization across scientific domains, yet implementing BO pipelines requires significant programming expertise and familiarity with specialized frameworks. This creates a barrier for domain experts who could benefit from BO but lack the…
Authors not listed
A Python script for the systematic, high-throughput analysis of accurate mass data was developed and tested on over 3,000 Supporting Information (SI) PDFs from Organic Letters. For each SI file, quadruplets of molecular formula, measured ion, e.g. [M+Na]+, reported calculated and found masses were extracted and…
Hans Kirschner, Jana Tegelbeckers, Daniel Janko, Luisa Göde + 1 more
Sleep deprivation is known to impair cognitive performance, yet its effects on error awareness and subsequent behavioral adjustments remain incompletely understood. Here, we investigated how sleep loss affects the use of subjective performance evaluation to guide post-error adaptations. Thirty healthy adults completed…
Scott W. Piraino
The detection of fabrication or error within the scientific literature is an important and underappreciated problem. Retraction of scientific articles is rare, but retraction may also be conservative, leaving open the possiblity that many fabricated or erroneous findings remain in the literature as a result of lack of…
Safeeullah Soomro, Zahid Hussain, Ayaz Keerio
Precisely and automatically detection of faults in programs, is a software engineering dream. Every effort in this regard takes us one step closer to realizing it. Many efforts have been taken from the people of these areas on testing, verification and debugging. We are proposing such effort for the research community…
Sean L. Berry, Ying Zhou, Hai Pham, Sharif Elguindi + 2 more
5.## CONCLUSION We have demonstrated that the use of a multi-institutional, configurable, automated plan checking tool has resulted in both substantial gains in terms of efficiency increases and moving error detection to earlier points in the planning process, decreasing their likelihood that they reach the patient.…
Vishal Bharti, Debojyoti Chakraborty
Reproducible computational biology depends on statistical decisions that routine workflows often skip: verifying that a differential-expression test’s assumptions hold across all genes, that a strategy-comparison ANOVA is robust to non-normality, or that a meta-analysis is not distorted by publication bias. Surveys…
Scott Ballentine, Eitan Farchi
| 1 | Introduction and background | | 1 | | | --- | --- | --- | --- | --- | | 2 | Review mindset and pitfalls | | 4 | | | 3 | | Review preparation | 6 | | | 4 | | Review techniques | 8 | | | | 4.1 | Fagan reviews | 8 | | | | 4.2 | Paraphrasing | 11 | | | | 4.3 | Obligations and contracts | 12 | | | | 4.4 | Bug patterns…
Maria H. Rasmussen, Chenru Duan, Heather J. Kulik, Jan Halborg Jensen
With the increasingly more important role of machine learning (ML) models in chemical research, the need for putting a level of confidence to the model predictions naturally arises. Several methods for obtaining uncertainty estimates have been proposed in recent years but consensus on the evaluation of these have yet…
Hui He, Dongyan Zhang, Min Liu, Weizhe Zhang + 1 more
Software security defects have a serious impact on the software quality and reliability. It is a major hidden danger for the operation of a system that a software system has some security flaws. When the scale of the software increases, its vulnerability has becoming much more difficult to find out. Once these…