Skip to search formSkip to main contentSkip to account menu
Towards parallel evaluation and learning of Boolean μ-formulas with molecules
TLDR
The novelty is that this method can evaluate a Boolean formula in a single tube within a short time, and the preliminary experimental result suggests the possibility of parallel evaluation and learning of general {formulas.
View via Publisher
Molecular computation by DNA hairpin formation.
TLDR
Hairpin formation by single-stranded DNA molecules was exploited in a DNA-based computation in order to explore the feasibility of autonomous molecular computing and the satisfiability of a given Boolean formula was examined autonomously.
View on PubMed
State transitions by molecules.
View on PubMed
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus
TLDR
This paper proposes a decision procedure using the tableau method for the alternation-free two-way modal μ-calculus and shows that the size of the tableAU set maintained in the method might be large for complex formulas, but the set and the operations on it can be expressed using BDD and therefore the method can implement in an effective way.
View via Publisher
Improving Sequence Design for DNA Computing
TLDR
It is pointed out the importance of adjusting the composition of sequences to fit each computational model, and two new sequence generators are introduced, one of which uses genetic algorithm and the other using a random generate-and-test algorithm.
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines
TLDR
This paper presents yet another type system for Java Virtual Machine sub-routines that can analyze instructions purely in terms of type, and as a result the correctness proof of bytecode verification becomes extremely simple.
View via Publisher
A decision procedure for alternation-free modal µ-calculi
TLDR
A concrete decision procedure with its complexity for AFµ enriched by features of nominals, backward modalities, and functional modalities is presented and the procedure is sound and complete for these combinations.
Computer-assisted design for scaling up systems based on DNA reaction networks
TLDR
DACCAD, a computer-assisted design software that supports the construction of systems for the DNA toolbox, illustrates its effectiveness by designing various systems, and highlights a variety of behaviours, such as enzymatic saturation and load effect, which would be hard to handle or even predict with a simpler model.
View on Royal Society
Modbat: A Model-Based API Tester for Event-Driven Systems
TLDR
Model-based testing derives test executions from an abstract model that describes the system behavior, and there is a need to support non-blocking I/O operations, or operations throwing exceptions when communication is disrupted.
View via Publisher
PNA-mediated Whiplash PCR
TLDR
Application of PWPCR is predicted to result in an increase in computational efficiency sufficient to allow the implementation of autonomous molecular computation on a massive scale, consistent with the premature halting of computation reported in a recent in vitro WPCR implementation.
View via Publisher
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License