Browse
Submit Data
Databases
API
Help

Dataset Information

0 Views

0 Connections

0 Citations

0 Reanalyses

0 Downloads

Omics score: 0

Application of Seq2Seq Models on Code Correction.

ABSTRACT: We apply various seq2seq models on programming language correction tasks on Juliet Test Suite for C/C++ and Java of Software Assurance Reference Datasets and achieve 75% (for C/C++) and 56% (for Java) repair rates on these tasks. We introduce pyramid encoder in these seq2seq models, which significantly increases the computational efficiency and memory efficiency, while achieving similar repair rate to their nonpyramid counterparts. We successfully carry out error type classification task on ITC benchmark examples (with only 685 code instances) using transfer learning with models pretrained on Juliet Test Suite, pointing out a novel way of processing small programming language datasets.

SUBMITTER: Huang S

PROVIDER: S-EPMC8017285 | biostudies-literature | 2021

REPOSITORIES: biostudies-literature

ACCESS DATA

Json Xml

Publications

Application of Seq2Seq Models on Code Correction.

Huang Shan S Zhou Xiao X Chin Sang S

Frontiers in artificial intelligence 20210319

We apply various seq2seq models on programming language correction tasks on Juliet Test Suite for C/C++ and Java of Software Assurance Reference Datasets and achieve 75% (for C/C++) and 56% (for Java) repair rates on these tasks. We introduce pyramid encoder in these seq2seq models, which significantly increases the computational efficiency and memory efficiency, while achieving similar repair rate to their nonpyramid counterparts. We successfully carry out error type classification task on ITC ...[more]

PMID: 33817628

Similar Datasets

Quantum error correction below the surface code threshold.

Project description:Quantum error correction1-4 provides a path to reach practical quantum computing by combining multiple physical qubits into a logical qubit, in which the logical error rate is suppressed exponentially as more qubits are added. However, this exponential suppression only occurs if the physical error rate is below a critical threshold. Here we present two below-threshold surface code memories on our newest generation of superconducting processors, Willow: a distance-7 code and a distance-5 code integrated with a real-time decoder. The logical error rate of our larger quantum memory is suppressed by a factor of Λ = 2.14 ± 0.02 when increasing the code distance by 2, culminating in a 101-qubit distance-7 code with 0.143% ± 0.003 per cent error per cycle of error correction. This logical memory is also beyond breakeven, exceeding the lifetime of its best physical qubit by a factor of 2.4 ± 0.3. Our system maintains below-threshold performance when decoding in real time, achieving an average decoder latency of 63 microseconds at distance 5 up to a million cycles, with a cycle time of 1.1 microseconds. We also run repetition codes up to distance 29 and find that logical performance is limited by rare correlated error events, occurring approximately once every hour or 3 × 109 cycles. Our results indicate device performance that, if scaled, could realize the operational requirements of large-scale fault-tolerant quantum algorithms.

| S-EPMC11864966 | biostudies-literature

Correction: Error-Robust Modes of the Retinal Population Code.

Project description:[This corrects the article DOI: 10.1371/journal.pcbi.1005148.].

| S-EPMC5695272 | biostudies-literature

Fault-tolerant error correction with the gauge color code.

Project description:The constituent parts of a quantum computer are inherently vulnerable to errors. To this end, we have developed quantum error-correcting codes to protect quantum information from noise. However, discovering codes that are capable of a universal set of computational operations with the minimal cost in quantum resources remains an important and ongoing challenge. One proposal of significant recent interest is the gauge color code. Notably, this code may offer a reduced resource cost over other well-studied fault-tolerant architectures by using a new method, known as gauge fixing, for performing the non-Clifford operations that are essential for universal quantum computation. Here we examine the gauge color code when it is subject to noise. Specifically, we make use of single-shot error correction to develop a simple decoding algorithm for the gauge color code, and we numerically analyse its performance. Remarkably, we find threshold error rates comparable to those of other leading proposals. Our results thus provide the first steps of a comparative study between the gauge color code and other promising computational architectures.

| S-EPMC4974574 | biostudies-literature

A secure RFID authentication protocol adopting error correction code.

Project description:RFID technology has become popular in many applications; however, most of the RFID products lack security related functionality due to the hardware limitation of the low-cost RFID tags. In this paper, we propose a lightweight mutual authentication protocol adopting error correction code for RFID. Besides, we also propose an advanced version of our protocol to provide key updating. Based on the secrecy of shared keys, the reader and the tag can establish a mutual authenticity relationship. Further analysis of the protocol showed that it also satisfies integrity, forward secrecy, anonymity, and untraceability. Compared with other lightweight protocols, the proposed protocol provides stronger resistance to tracing attacks, compromising attacks and replay attacks. We also compare our protocol with previous works in terms of performance.

| S-EPMC4052535 | biostudies-other

Correction: Correction: Staged Models for Interdisciplinary Research.

Project description:[This corrects the article DOI: 10.1371/journal.pone.0162151.].

| S-EPMC5068733 | biostudies-literature

Comparing Shor and Steane error correction using the Bacon-Shor code.

Project description:Quantum states decohere through interaction with the environment. Quantum error correction can preserve coherence through active feedback wherein quantum information is encoded into a logical state with a high degree of symmetry. Perturbations are detected by measuring the symmetries of the state and corrected by applying gates based on these measurements. To measure the symmetries without perturbing the data, ancillary quantum states are required. Shor error correction uses a separate quantum state for the measurement of each symmetry. Steane error correction maps the perturbations onto a logical ancilla qubit, which is then measured to check several symmetries simultaneously. We experimentally compare Shor and Steane correction of bit flip errors using the Bacon-Shor code implemented in a chain of 23 trapped atomic ions. We find that the Steane method produces fewer errors after a single round of error correction and less disturbance to the data qubits without error correction.

| S-EPMC11800988 | biostudies-literature

CMCpy: Genetic Code-Message Coevolution Models in Python.

Project description:Code-message coevolution (CMC) models represent coevolution of a genetic code and a population of protein-coding genes ("messages"). Formally, CMC models are sets of quasispecies coupled together for fitness through a shared genetic code. Although CMC models display plausible explanations for the origin of multiple genetic code traits by natural selection, useful modern implementations of CMC models are not currently available. To meet this need we present CMCpy, an object-oriented Python API and command-line executable front-end that can reproduce all published results of CMC models. CMCpy implements multiple solvers for leading eigenpairs of quasispecies models. We also present novel analytical results that extend and generalize applications of perturbation theory to quasispecies models and pioneer the application of a homotopy method for quasispecies with non-unique maximally fit genotypes. Our results therefore facilitate the computational and analytical study of a variety of evolutionary systems. CMCpy is free open-source software available from http://pypi.python.org/pypi/CMCpy/.

| S-EPMC3596977 | biostudies-literature

Single-shot quantum error correction with the three-dimensional subsystem toric code.

Project description:Fault-tolerant protocols and quantum error correction (QEC) are essential to building reliable quantum computers from imperfect components that are vulnerable to errors. Optimizing the resource and time overheads needed to implement QEC is one of the most pressing challenges. Here, we introduce a new topological quantum error-correcting code, the three-dimensional subsystem toric code (3D STC). The 3D STC can be realized with geometrically-local parity checks of weight at most three on the cubic lattice with open boundary conditions. We prove that one round of parity-check measurements suffices to perform reliable QEC with the 3D STC even in the presence of measurement errors. We also propose an efficient single-shot QEC decoding strategy for the 3D STC and numerically estimate the resulting storage threshold against independent bit-flip, phase-flip and measurement errors to be pSTC ≈ 1.045%. Such a high threshold together with local parity-check measurements make the 3D STC particularly appealing for realizing fault-tolerant quantum computing.

| S-EPMC9586949 | biostudies-literature

Node-Pore Coded Coincidence Correction: Coulter Counters, Code Design, and Sparse Deconvolution.

Project description:We present a novel method to perform individual particle (e.g. cells or viruses) coincidence correction through joint channel design and algorithmic methods. Inspired by multiple-user communication theory, we modulate the channel response, with Node-Pore Sensing, to give each particle a binary Barker code signature. When processed with our modified successive interference cancellation method, this signature enables both the separation of coincidence particles and a high sensitivity to small particles. We identify several sources of modeling error and mitigate most effects using a data-driven self-calibration step and robust regression. Additionally, we provide simulation analysis to highlight our robustness, as well as our limitations, to these sources of stochastic system model error. Finally, we conduct experimental validation of our techniques using several encoded devices to screen a heterogeneous sample of several size particles.

| S-EPMC6034687 | biostudies-literature

A Bartlett-type correction for likelihood ratio tests with application to testing equality of Gaussian graphical models.

Project description:This work defines a new correction for the likelihood ratio test for a two-sample problem within the multivariate normal context. This correction applies to decomposable graphical models, where testing equality of distributions can be decomposed into lower dimensional problems.

| S-EPMC10997343 | biostudies-literature

OmicsDI is part of the ELIXIR infrastructure

OmicsDI is an Elixir interoperability service. Learn more ›

Tweets

OmicsDI Databases

PRIDE
PeptideAtlas
MassIVE
JPOST Repository
Physiome Model Repository

EGA
EVA
ENA
LINCS
PAXDB
Cell Collective

MetaboLights
Metabolomics Workbench
MetabolomeExpress
GNPS
BioModels
FAIRDOMHub

ArrayExpress
dbGaP
ExpressionAtlas
GEO
NODE

Information

Databases
Help
API
Contact us
Code on GitHub
Terms of use
Submit Data