FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W45895855> ?p ?o ?g. }

• W45895855 endingPage "129" @default.
• W45895855 startingPage "123" @default.
• W45895855 abstract "Abstract: In recent works for high performance computing, computation with DNA molecules, that is, DNA com-puting, has had considerable attention as one of non-silicon based computing. Using features of DNA molecules,wecansolvesomeoptimizationproblems,whichusuallyneedexponentialtimeonasiliconbasedcomputer,ina polynomial number of steps with DNA molecules. In this paper, we propose a procedure for MAX-SAT, which isa well-known-hard problem. An inputof the problem consists of Boolean variables and a Boolean functionwhich hasclauses, and each coefficient of the Boolean function is denoted by a binary number of bits. ForMAX-SAT, we propose a procedure which runs insteps using DNA strands. Since an input of theprocedure is prepared insteps using DNA strands, we solve MAX-SAT in stepsusing DNA strands. Keywords: DNA computing, MAX-SAT 1 Introduction In recent worksfor high performance computing, computation with DNA molecules, that is, DNA computing, hashad considerable attention as one of non-silicon based computing. DNA molecules have two important features,which are Watson-Crick complementarity and massive parallelism. Using the features, we can solve anop-timization problems, which usually need exponential time on a silicon based computer, in a polynomial numberof steps with DNA molecules. As the first work for DNA computing, Adleman [1] presented an idea of solvingthe Hamiltonian path problem of sizein steps using DNA molecules. The proposed idea was success-fully tested in a lab experiment for a small graph. There are a number of other works with DNA molecules forcombinatorialoptimization problems [2, 3, 7, 8, 13].In this paper, we propose a procedure for MAX-SAT, which is a well-known-hard problem. The MAX-SAT is a fundamental problem in operations research, and plays important role in computer science. Inputs of theproblem consist ofBoolean variables and a Boolean function which has clauses. We assume that each coeffi-cient of the Boolean function is denoted by a binary number ofbits. An output of the problem is an assignmentto the variables which maximize the number of satisfied clauses. For MAX-SAT, we propose a procedure whichperforms an exhaustive search for all solutions using the feature of DNA molecules. The procedure runs instepsusingDNAstrands. Sinceaninputoftheprocedureispreparedin stepsusingDNA strands, we solve MAX-SAT insteps using DNA strands." @default.
• W45895855 created "2016-06-24" @default.
• W45895855 creator A5040156021 @default.
• W45895855 creator A5075094436 @default.
• W45895855 date "2006-01-01" @default.
• W45895855 modified "2023-09-26" @default.
• W45895855 title "A Procedure for Max-SAT with DNA Strands." @default.
• W45895855 cites W1492129060 @default.
• W45895855 cites W1509806135 @default.
• W45895855 cites W166940010 @default.
• W45895855 cites W1977312644 @default.
• W45895855 cites W1978675707 @default.
• W45895855 cites W1998799163 @default.
• W45895855 cites W2011929273 @default.
• W45895855 cites W2022943108 @default.
• W45895855 cites W2023046689 @default.
• W45895855 cites W2027603534 @default.
• W45895855 cites W2152094749 @default.
• W45895855 cites W2578871038 @default.
• W45895855 hasPublicationYear "2006" @default.
• W45895855 type Work @default.
• W45895855 sameAs 45895855 @default.
• W45895855 citedByCount "0" @default.
• W45895855 crossrefType "journal-article" @default.
• W45895855 hasAuthorship W45895855A5040156021 @default.
• W45895855 hasAuthorship W45895855A5075094436 @default.
• W45895855 hasConcept C11413529 @default.
• W45895855 hasConcept C132525143 @default.
• W45895855 hasConcept C191961535 @default.
• W45895855 hasConcept C33923547 @default.
• W45895855 hasConcept C41008148 @default.
• W45895855 hasConcept C45374587 @default.
• W45895855 hasConcept C54355233 @default.
• W45895855 hasConcept C552990157 @default.
• W45895855 hasConcept C80444323 @default.
• W45895855 hasConcept C82047324 @default.
• W45895855 hasConcept C86524685 @default.
• W45895855 hasConcept C86803240 @default.
• W45895855 hasConceptScore W45895855C11413529 @default.
• W45895855 hasConceptScore W45895855C132525143 @default.
• W45895855 hasConceptScore W45895855C191961535 @default.
• W45895855 hasConceptScore W45895855C33923547 @default.
• W45895855 hasConceptScore W45895855C41008148 @default.
• W45895855 hasConceptScore W45895855C45374587 @default.
• W45895855 hasConceptScore W45895855C54355233 @default.
• W45895855 hasConceptScore W45895855C552990157 @default.
• W45895855 hasConceptScore W45895855C80444323 @default.
• W45895855 hasConceptScore W45895855C82047324 @default.
• W45895855 hasConceptScore W45895855C86524685 @default.
• W45895855 hasConceptScore W45895855C86803240 @default.
• W45895855 hasLocation W458958551 @default.
• W45895855 hasOpenAccess W45895855 @default.
• W45895855 hasPrimaryLocation W458958551 @default.
• W45895855 hasRelatedWork W1480159733 @default.
• W45895855 hasRelatedWork W1492299013 @default.
• W45895855 hasRelatedWork W1516569265 @default.
• W45895855 hasRelatedWork W1520576326 @default.
• W45895855 hasRelatedWork W1541980602 @default.
• W45895855 hasRelatedWork W1562216683 @default.
• W45895855 hasRelatedWork W1588087740 @default.
• W45895855 hasRelatedWork W1987374588 @default.
• W45895855 hasRelatedWork W2095265936 @default.
• W45895855 hasRelatedWork W2117620684 @default.
• W45895855 hasRelatedWork W2130649277 @default.
• W45895855 hasRelatedWork W2133107649 @default.
• W45895855 hasRelatedWork W2141067554 @default.
• W45895855 hasRelatedWork W2354841974 @default.
• W45895855 hasRelatedWork W2366906411 @default.
• W45895855 hasRelatedWork W2372646162 @default.
• W45895855 hasRelatedWork W2386210147 @default.
• W45895855 hasRelatedWork W2525009737 @default.
• W45895855 hasRelatedWork W2580110381 @default.
• W45895855 hasRelatedWork W3198375603 @default.
• W45895855 isParatext "false" @default.
• W45895855 isRetracted "false" @default.
• W45895855 magId "45895855" @default.
• W45895855 workType "article" @default.