Search Results

We investigate regular languages in the context of the forbidding-enforcing systems introduced by Ehrenfeucht and Rozenberg in the variant where one fe-system defines a single language. In general, these systems may have infinite sets of rules, allowing ...

Fluidic enzyme-based logic systems for biosensor applications

Research in DNA computing was initiated by Leonard Adleman in 1994 when he solved an instance of an NP-complete problem solely by molecules. DNA code words arose in the attempt to avoid unwanted hybridizations of DNA strands for DNA based computations. ...

This paper investigates ways to reduce redundancy in forbidding sets for language forbidding-enforcing systems. A language forbidding set disallows combinations of subwords in a word, while permitting the presence of some parts of these combinations. ...

Motivated by biomolecular computing, forbidding-enforcing systems (fe-systems) were first used to define classes of languages (fefamilies) based on boundary conditions. This paper presents a new model of fe-systems in which fe-systems define single ...

VLSI research, in its continuous push toward further miniaturisation, is seeking to break through the limitations of current circuit manufacture techniques by moving towards biomimetic methodologies that rely on self-assembly, selforganisation and ...

Biomolecular computing using the artificial nucleic acid technology is expected to bring new solutions to various health problems. We focus on the noninvasive transcriptome diagnosis by salivary mRNAs and present the novel concept of transcription-based ...

A practical intra-cellular biomolecular computer should work inside living cells without damaging them. The retrovirus-based biomolecular computer has been designed, by mimicking the natural processes of living cells, to enable the creation of a ...

By their structure and operation, biomolecules have resolved fundamental problems as a distributed computational system that we are just beginning to unveil. One advantageous approach to gain a good understanding of the processes and algorithms involved ...

A principal challenge facing the development and scaling of biomolecular computers is the design of physically well-motivated, experimentally validated simulation tools. In particular, accurate simulations of computational behavior are needed to ...

A principal research area in biomolecular computing is the development of analytical methods for evaluating computational fidelity and efficiency. In this work, the equilibrium theory of the DNA helix-coil transition is reviewed and expanded, as applied ...

The concept of aqueous computing is presented here, first in full generality, and afterward, using an implementation in a specific enzymatic technology. Aqueous computing arose in the context of biomolecular (DNA) computing, but the concept is ...

Biomolecular computing (BMC) aims to capture the innumerable advantages that biological molecules have gained in the course of millions of years of evolution to perform computation unfeasible on conventional electronic computers. While biomolecules have ...