DNA walker circuits: computational potential, design, and verification (Q2003463): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Created claim: DBLP publication ID (P1635): journals/nc/DannenbergKTT15, #quickstatements; #temporary_batch_1731468600454
 
(2 intermediate revisions by 2 users not shown)
Property / Wikidata QID
 
Property / Wikidata QID: Q59493824 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Localized Hybridization Circuits / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computing Cumulative Rewards Using Fast Adaptive Uniformization / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification, Model Checking, and Abstract Interpretation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stochastic Model Checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficient Turing-Universal Computation with DNA Polymers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Über eine Eigenschaft der ebenen Komplexe / rank
 
Normal rank
Property / DBLP publication ID
 
Property / DBLP publication ID: journals/nc/DannenbergKTT15 / rank
 
Normal rank

Latest revision as of 04:53, 13 November 2024

scientific article
Language Label Description Also known as
English
DNA walker circuits: computational potential, design, and verification
scientific article

    Statements

    DNA walker circuits: computational potential, design, and verification (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    8 July 2019
    0 references
    DNA computing
    0 references
    DNA walkers
    0 references
    Boolean circuits
    0 references
    probabilistic model checking
    0 references
    computer-aided design (CAD)
    0 references
    0 references
    0 references

    Identifiers