Search results for "DNA computation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Gang Fang, Jin Xu, Shemin Zhang	Performing DNA computation with RecA-mediated triple-stranded DNA structure.	Natural Computing	2009	DBLP DOI BibTeX RDF	RecA protein, Satisfiability problem (SAT), Triple-stranded DNA structure, DNA computing, NP-complete problems
2	Chung-Wei Yeh, Chih-Ping Chu	Molecular Verification of Rule-Based Systems Based on DNA Computation.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Knowledge base verification, Rule-based processing, Evolutionary computing and genetic algorithms
2	Joseph Ibershoff, Jerzy W. Jaromczyk, Danny van Noort	Making the SAT decision Based on a DNA Computation.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
2	Surendran K. Shanmugam, Henry Leung	Parametric estimation of nonlinear systems through sequences designed using DNA computation.	ISCAS	2006	DBLP DOI BibTeX RDF
2	Lei Wang 0015, Zhiping P. Chen, Xinhua H. Jiang, Shaoli Liu	DNA-based Algorithm for 0-1 Planning Problem.	WSTST	2005	DBLP DOI BibTeX RDF	0-1 planning, fluorescence labeling, surface-based, DNA computation
2	Mitsunori Ogihara, Animesh Ray	The Minimum-Model DNA Computation on a Sequence of Probe Arrays.	UMC	2002	DBLP DOI BibTeX RDF
2	Akio Nishikawa, Masayuki Yamamura, Masami Hagiya	DNA computation simulator based on abstract bases.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Threshold approach, Stochastic approach, Fitting parameters using genetic algorithms, Simulation, DNA computing
2	Alan Gibbons, Martyn Amos, David Hodgson	Models of DNA Computation.	MFCS	1996	DBLP DOI BibTeX RDF
2	Eric Bach, Anne Condon, Elton Glaser, Celena Tanguay	DNA Models and Algorithms for NP-complete Problems. (PDF / PS)	IEEE Conference on Computational Complexity	1996	DBLP DOI BibTeX RDF	3Sat, 3-Coloring, Independent Set problem, DNA algorithms, genetic algorithms, computational complexity, search problems, DNA computing, DNA computation, NP-complete problems, search algorithms, NP-hard problems
1	Rick C. S. Chen, Stephen J. H. Yang	Applying DNA computation to intractable problems in social network analysis.	Biosystems	2010	DBLP DOI BibTeX RDF
1	Zhuo Tang, Rong Guan, Kenli Li	User Authorization Queries in RBAC systems based on DNA computation.	BIC-TA	2010	DBLP DOI BibTeX RDF
1	Maulik A. Dave	Review 17 of theoretical and experimental DNA computation by M. Amos Published in 2005 by Springer-Verlag Berlin Heidelberg.	SIGACT News	2009	DBLP DOI BibTeX RDF
1	Maulik A. Dave	Review 17 of theoretical and experimental DNA computation by M. Amos Published in 2005 by Springer-Verlag Berlin Heidelberg.	SIGACT News	2009	DBLP DOI BibTeX RDF
1	Rohani Binti Abu Bakar, Junzo Watada	Evidential Reasoning Based on DNA Computation.	KES	2009	DBLP DOI BibTeX RDF	Reasoning, DNA computing, Belief function, Evidential reasoning, Plausibility
1	Maulik A. Dave	Review of "Theoretical and Experimental DNA Computation by M. Amos, " Springer-Verlag Berlin Heidelberg, 2005.	SIGACT News	2008	DBLP DOI BibTeX RDF
1	Yuxing Yang, Qingsheng Li, Jilan Ma	DNA Algorithms of Two Kinds of Full Permutation Problem Based on Sticker Model.	PACIIA	2008	DBLP DOI BibTeX RDF	full permutation, circle permutation, sticker model, DNA computation
1	Zuwairie Ibrahim, John A. Rose, Akira Suyama, Marzuki Khalid	Experimental implementation and analysis of a DNA computing readout method based on real-time PCR with TaqMan probes.	Natural Computing	2008	DBLP DOI BibTeX RDF	Graduated PCR, Readout method, Real-time PCR, TaqMan probes, DNA computation, Hamiltonian path problem
1	Clifford R. Johnson	Automating the DNA computer: solving n-Variable 3-SAT problems.	Natural Computing	2008	DBLP DOI BibTeX RDF	SAT Computation, DNA Computation, Molecular Computation, Natural Computing
1	Tao Guo, Guiyang Li, Russell J. Deaton	Accelerating Computation of DNA Sequence Alignment in Distributed Environment.	ICIC	2008	DBLP DOI BibTeX RDF
1	Bin Wang, Qiang Zhang, Rui Zhang	Design of DNA Sequence Based on Improved Genetic Algorithm.	ICIC	2008	DBLP DOI BibTeX RDF
1	Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya	Unravel four hairpins!	Natural Computing	2008	DBLP DOI BibTeX RDF	Molecular machine, DNA computing, Molecular computing, DNA nanotechnology, Molecular memory
1	Junzo Watada	DNA Computing and its Application.	Computational Intelligence: A Compendium	2008	DBLP DOI BibTeX RDF
1	Naoki Iimura, Masahito Yamamoto, Fumiaki Tanaka, Azuma Ohuchi	Sequence Design Support System for 4 × 4 DNA Tiles.	DNA	2007	DBLP DOI BibTeX RDF
1	Natasa Jonoska	Theoretical and Experimental DNA Computation.	Genetic Programming and Evolvable Machines	2006	DBLP DOI BibTeX RDF
1	Mingjun Zhang, Maggie Xiaoyan Cheng, Tzyh Jong Tarn	Genetic Code based Coding and Mathematical Formualation for DNA Computation.	ICRA	2006	DBLP BibTeX RDF
1	Ming-Yang Kao	Algorithmic DNA Self-assembly.	AAIM	2006	DBLP DOI BibTeX RDF
1	Joseph Ibershoff, Jerzy W. Jaromczyk, Danny van Noort	Simulations of Microreactors: The Order of Things.	DNA	2006	DBLP DOI BibTeX RDF
1	Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya	Unravel Four Hairpins!	DNA	2006	DBLP DOI BibTeX RDF
1	Jennifer A. Sager, Darko Stefanovic	Designing Nucleotide Sequences for Computation: A Survey of Constraints.	DNA	2005	DBLP DOI BibTeX RDF
1	Lei Wang 0015, Zhiping P. Chen, Xinhua H. Jiang	DNA-Based Algorithm for 0-1 Planning Problem.	ICCSA	2005	DBLP DOI BibTeX RDF
1	Surendran K. Shanmugam, Henry Leung	Time hopping-ultra wideband (TH-UWB) spectrum optimization using a novel GP-DNA algorithm.	SMC	2004	DBLP DOI BibTeX RDF
1	Surendran K. Shanmugam, Henry Leung	Chaotic binary sequences for efficient wireless multipath channel estimation.	VTC Fall	2004	DBLP DOI BibTeX RDF
1	Carmen Graciani Díaz, Mario J. Pérez-Jiménez	Using Automated Reasoning Systems on Molecular Computing.	DNA	2004	DBLP DOI BibTeX RDF
1	Rebecca Schulman, Erik Winfree	Programmable Control of Nucleation for Algorithmic Self-assembly.	DNA	2004	DBLP DOI BibTeX RDF
1	Evgeny Dantsin, Alexander Wolpert	A Robust Dna Computation Model That Captures Pspace.	Int. J. Found. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Lila Kari, Stavros Konstantinidis, Elena Losseva, Geoff Wozniak	Sticky-free and overhang-free DNA languages.	Acta Inf.	2003	DBLP DOI BibTeX RDF	Theoretical DNA computing, DNA encodings, codes, formal languages
1	Leonard M. Adleman, Qi Cheng, Ashish Goel, Ming-Deh A. Huang, David Kempe, Pablo Moisset de Espanés, Paul W. K. Rothemund	Combinatorial optimization problems in self-assembly.	STOC	2002	DBLP DOI BibTeX RDF
1	Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza	Decision Problems for Linear and Circular Splicing Systems.	Developments in Language Theory	2002	DBLP DOI BibTeX RDF
1	Hubert Hug, Rainer Schuler	Implementation of a Random Walk Method for Solving 3-SAT on Circular DNA Molecules.	DNA	2002	DBLP DOI BibTeX RDF
1	David Harlan Wood, Junghuei Chen, Eugene Antipov, Bertrand Lemieux, Walter Cedeño	A design for DNA computation of the OneMax problem.	Soft Comput.	2001	DBLP DOI BibTeX RDF
1	Martyn Amos	Theoretical and Experimental DNA Computation.	Current Trends in Theoretical Computer Science	2001	DBLP BibTeX RDF
1	Erwin P. Stoschek, Monika Sturm, Thomas Hinze	DNA-Computing - ein funktionales Modell im laborpraktischen Experiment.	Inform., Forsch. Entwickl.	2001	DBLP BibTeX RDF	Rekombinationstechnik, Molekularbiologie, Berechnungsmodell, funktionale Sprache, NP-Problem, Rucksackproblem, massive Datenparallelität, SIMD, DNA-Computing
1	Lila Kari, Rob Kitto, Greg Gloor	A computer scientist's guide to molecular biology.	Soft Comput.	2001	DBLP DOI BibTeX RDF	In vivo DNA, In vitro DNA computing, Bio-operations
1	Sam T. Roweis, Erik Winfree	On the Reduction of Errors in DNA Computation.	Journal of Computational Biology	1999	DBLP BibTeX RDF
1	Richard M. Karp, Claire Kenyon, Orli Waarts	Error-resilient DNA computation.	Random Struct. Algorithms	1999	DBLP BibTeX RDF
1	Martyn Amos	Theoretical and Experimental DNA Computation.	Bulletin of the EATCS	1999	DBLP BibTeX RDF
1	Mitsunori Ogihara, Animesh Ray	Simulating Boolean Circuits on a DNA Computer.	Algorithmica	1999	DBLP DOI BibTeX RDF	Parallel computation, DNA computation, Boolean circuits
1	Mark Daley, Lila Kari, Greg Gloor, Rani Siromoney	Circular Contextual Insertions/Deletions with Applications to Biomolecular Computation. (PDF / PS)	SPIRE/CRIWG	1999	DBLP DOI BibTeX RDF
1	Lila Kari, Mark Daley, Greg Gloor, Rani Siromoney, Laura F. Landweber	How to Compute with DNA.	FSTTCS	1999	DBLP DOI BibTeX RDF
1	Sam T. Roweis, Erik Winfree, Richard Burgoyne, Nickolas V. Chelyapov, Myron F. Goodman, Paul W. K. Rothemund, Leonard M. Adleman	A Sticker-Based Model for DNA Computation.	Journal of Computational Biology	1998	DBLP BibTeX RDF
1	Lloyd M. Smith, Robert M. Corn, Anne Condon, Max G. Lagally, Tony Frutos, Qinghua Liu, Andrew Thiel	A Surface-Based Approach to DNA Computation.	Journal of Computational Biology	1998	DBLP BibTeX RDF
1	Carlo C. Maley	DNA Computation: Theory, Practice, and Prospects.	Evolutionary Computation	1998	DBLP DOI BibTeX RDF
1	Adi Shamir	Visual Cryptanalysis.	EUROCRYPT	1998	DBLP DOI BibTeX RDF	visual computation, bit slice computation, parallel computers, Cryptanalysis, quantum computers, DNA computers, photography
1	Weiping Cai, Anne Condon, Robert M. Corn, Elton Glaser, Zhengdong Fei, Tony Frutos, Zhen Guo, Max G. Lagally, Qinghua Liu, Lloyd M. Smith, Andrew Thiel	The power of surface-based DNA computation (extended abstract).	RECOMB	1997	DBLP DOI BibTeX RDF
1	Richard M. Karp, Claire Kenyon, Orli Waarts	Error-Resilient DNA Computation.	SODA	1996	DBLP DOI BibTeX RDF