Optical Super Computing, First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings
This book constitutes the refereed proceedings of the The International Workshop on Optical Super... more This book constitutes the refereed proceedings of the The International Workshop on Optical SuperComputing, OSC 2008, held in Vienna, Austria, August 2008 in conjunction with the 7th International Conference on Unconventional Computation UC 2008. OCS is a new annual forum for research presentations on all facets of optical computing for solving hard computation tasks. Topics of interest include, but are not limited to: Design of optical computing devices, electrooptics devices for interacting with optical computing devices, ...
Uploads
Papers by Mihai Oltean
A DNA (dezoxyribose nucleic acid) is a large double-stranded (helicoidal) structure that contains, in order form, all information needed to generate proteins for living
organisms. This coded information is a sequence of four nucleotides, A (adenine), T(Thymine), C (Cytosine), G (Guanine) paired A-T, C-G according to the so-called
Watson-Crick complementarity [3].
One can think DNA as a program interpreted by a complex biological machinery that generates sequence of aminoacids (proteins). There are precisely 20 aminoacids (proteins) that can be generated from 64 possible triplets (codons) of nucleotides, and each of them can be represented by multiple triplets[2]. For example, the aminoacid Ala can be formed by the following triplets: GCA, GCC, GCT,GCC. In a simplified manner, the generation of proteins form DNA proceeds in four phases: transcription, splicing, aminoacid generation and protein folding.
In [3], [4] the authors present a language-theoretic model of DNA splicing. This model will be adopted for resolution method in automated theorem proving. In the following section, we will present the sticker operation and the sticker systems as introduced in [3].
In section 3 we will present the resolution method as a complete computation in a sticker system.
In section 4 the corresponding justifications in propositional calculus are introduced.