Browse
Submit Data
Databases
API
Help

Dataset Information

14 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 |

REPOSITORIES: biostudies-literature

ACCESS DATA

Json Xml

Similar Datasets

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

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

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

Project description: Not available

| S-EPMC10997343 | 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 virtual sequencer reveals the dephasing patterns in error-correction code DNA sequencing.

Project description:An error-correction code (ECC) sequencing approach has recently been reported to effectively reduce sequencing errors by interrogating a DNA fragment with three orthogonal degenerate sequencing-by-synthesis (SBS) reactions. However, similar to other non-single-molecule SBS methods, the reaction will gradually lose its synchronization within a molecular colony in ECC sequencing. This phenomenon, called dephasing, causes sequencing error, and in ECC sequencing, induces distinctive dephasing patterns. To understand the characteristic dephasing patterns of the dual-base flowgram in ECC sequencing and to generate a correction algorithm, we built a virtual sequencer in silico. Starting from first principles and based on sequencing chemical reactions, we simulated ECC sequencing results, identified the key factors of dephasing in ECC sequencing chemistry and designed an effective dephasing algorithm. The results show that our dephasing algorithm is applicable to sequencing signals with at least 500 cycles, or 1000-bp average read length, with acceptably low error rate for further parity checks and ECC deduction. Our virtual sequencer with our dephasing algorithm can further be extended to a dichromatic form of ECC sequencing, allowing for a potentially much more accurate sequencing approach.

| S-EPMC8288425 | biostudies-literature

Configurable error correction of code-division multiplexed TES detectors with a cryotron switch.

Project description:The development of a superconducting analog to the transistor with extremely low power dissipation will accelerate the proliferation of low-temperature circuitry operating in the milliKelvin regime. The thin-film, magnetically actuated cryotron switch is a candidate building block for more complicated and flexible milliKelvin circuitry. We demonstrate its utility for implementing reconfigurable circuitry by integrating a cryotron switch into flux-summed code-division SQUID multiplexed readout for large arrays of transition-edge-sensor (TES) microcalorimeters. Code-division multiplexing eliminates the noise penalty of time-division multiplexing while being drop-in compatible with the latter's control electronics. However, code-division multiplexing is susceptible to single-point failure mechanisms which can result in an unconstrained demodulation matrix and the loss of information from many sensing elements. In the event of a failure, the integrated cryotron switch provides a zero-signal output from a single TES, enabling the demodulation matrix used to compute TES signals from SQUID signals to be constrained and data recovered from the remaining sensors. This demonstration of configurable error correction provides both a realworld application of the cryotron switch and a foundation for more complex circuitry at milliKelvin temperatures.

| S-EPMC10938549 | biostudies-literature

A convolutional code-based sequence analysis model and its application.

Project description:A new approach for encoding DNA sequences as input for DNA sequence analysis is proposed using the error correction coding theory of communication engineering. The encoder was designed as a convolutional code model whose generator matrix is designed based on the degeneracy of codons, with a codon treated in the model as an informational unit. The utility of the proposed model was demonstrated through the analysis of twelve prokaryote and nine eukaryote DNA sequences having different GC contents. Distinct differences in code distances were observed near the initiation and termination sites in the open reading frame, which provided a well-regulated characterization of the DNA sequences. Clearly distinguished period-3 features appeared in the coding regions, and the characteristic average code distances of the analyzed sequences were approximately proportional to their GC contents, particularly in the selected prokaryotic organisms, presenting the potential utility as an added taxonomic characteristic for use in studying the relationships of living organisms.

| S-EPMC3645750 | 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