FRINK Linked Data Fragments server

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

• W1982248531 endingPage "27" @default.
• W1982248531 startingPage "1" @default.
• W1982248531 abstract "Nanometer-scale structures suitable for computing have been investigated by several research groups in recent years. A common feature of these structures is their dynamic evolution through cascaded local interactions embedded on a discrete grid. Finding configurations capable of conducting computations is a task that often requires tedious experiments in laboratories. Formal methods—though used extensively for the specification and verification of software and hardware computing systems—are virtually unexplored with respect to computational structures at atomic scales. This paper presents a systematic approach toward the application of formal methods in this context, using techniques like abstraction, model-checking, and symbolic representations of states to explore and discover computational structures. The proposed techniques are applied to a system of CO molecules on a grid of Copper atoms, resulting in the design of a complete library of combinational logic gates based on this molecular system. The techniques are also applied on (more general) systems of cellular automata that employ an asynchronous mode of timing. The use of formal methods may narrow the gap between Physical Chemistry and Computer Science, allowing the description of interactions of nanometer scale systems on a level of abstraction suitable to devise computing devices." @default.
• W1982248531 created "2016-06-24" @default.
• W1982248531 creator A5003129286 @default.
• W1982248531 creator A5030704985 @default.
• W1982248531 creator A5031451250 @default.
• W1982248531 creator A5084430710 @default.
• W1982248531 date "2008-04-01" @default.
• W1982248531 modified "2023-09-23" @default.
• W1982248531 title "Formal methods for the analysis and synthesis of nanometer-scale cellular arrays" @default.
• W1982248531 cites W1541981281 @default.
• W1982248531 cites W1819209966 @default.
• W1982248531 cites W1965854837 @default.
• W1982248531 cites W1973910947 @default.
• W1982248531 cites W1999082644 @default.
• W1982248531 cites W2003945577 @default.
• W1982248531 cites W2007057182 @default.
• W1982248531 cites W2017414744 @default.
• W1982248531 cites W2023808162 @default.
• W1982248531 cites W2041319780 @default.
• W1982248531 cites W2043100293 @default.
• W1982248531 cites W2055673935 @default.
• W1982248531 cites W2056665579 @default.
• W1982248531 cites W2059030116 @default.
• W1982248531 cites W2060181746 @default.
• W1982248531 cites W2080267935 @default.
• W1982248531 cites W2093453170 @default.
• W1982248531 cites W2099120582 @default.
• W1982248531 cites W2112969083 @default.
• W1982248531 cites W2117189826 @default.
• W1982248531 cites W2122666364 @default.
• W1982248531 cites W2128181612 @default.
• W1982248531 cites W2136053975 @default.
• W1982248531 cites W2142785340 @default.
• W1982248531 cites W2147395734 @default.
• W1982248531 cites W2149158279 @default.
• W1982248531 cites W2151751639 @default.
• W1982248531 cites W2170288398 @default.
• W1982248531 cites W2987907651 @default.
• W1982248531 cites W4233686569 @default.
• W1982248531 cites W4376848387 @default.
• W1982248531 doi "https://doi.org/10.1145/1350763.1350768" @default.
• W1982248531 hasPublicationYear "2008" @default.
• W1982248531 type Work @default.
• W1982248531 sameAs 1982248531 @default.
• W1982248531 citedByCount "2" @default.
• W1982248531 crossrefType "journal-article" @default.
• W1982248531 hasAuthorship W1982248531A5003129286 @default.
• W1982248531 hasAuthorship W1982248531A5030704985 @default.
• W1982248531 hasAuthorship W1982248531A5031451250 @default.
• W1982248531 hasAuthorship W1982248531A5084430710 @default.
• W1982248531 hasConcept C110251889 @default.
• W1982248531 hasConcept C111472728 @default.
• W1982248531 hasConcept C111498074 @default.
• W1982248531 hasConcept C112505250 @default.
• W1982248531 hasConcept C124304363 @default.
• W1982248531 hasConcept C138885662 @default.
• W1982248531 hasConcept C151319957 @default.
• W1982248531 hasConcept C151730666 @default.
• W1982248531 hasConcept C199360897 @default.
• W1982248531 hasConcept C2779343474 @default.
• W1982248531 hasConcept C31258907 @default.
• W1982248531 hasConcept C41008148 @default.
• W1982248531 hasConcept C459310 @default.
• W1982248531 hasConcept C75606506 @default.
• W1982248531 hasConcept C80444323 @default.
• W1982248531 hasConcept C86803240 @default.
• W1982248531 hasConceptScore W1982248531C110251889 @default.
• W1982248531 hasConceptScore W1982248531C111472728 @default.
• W1982248531 hasConceptScore W1982248531C111498074 @default.
• W1982248531 hasConceptScore W1982248531C112505250 @default.
• W1982248531 hasConceptScore W1982248531C124304363 @default.
• W1982248531 hasConceptScore W1982248531C138885662 @default.
• W1982248531 hasConceptScore W1982248531C151319957 @default.
• W1982248531 hasConceptScore W1982248531C151730666 @default.
• W1982248531 hasConceptScore W1982248531C199360897 @default.
• W1982248531 hasConceptScore W1982248531C2779343474 @default.
• W1982248531 hasConceptScore W1982248531C31258907 @default.
• W1982248531 hasConceptScore W1982248531C41008148 @default.
• W1982248531 hasConceptScore W1982248531C459310 @default.
• W1982248531 hasConceptScore W1982248531C75606506 @default.
• W1982248531 hasConceptScore W1982248531C80444323 @default.
• W1982248531 hasConceptScore W1982248531C86803240 @default.
• W1982248531 hasIssue "2" @default.
• W1982248531 hasLocation W19822485311 @default.
• W1982248531 hasOpenAccess W1982248531 @default.
• W1982248531 hasPrimaryLocation W19822485311 @default.
• W1982248531 hasRelatedWork W105732303 @default.
• W1982248531 hasRelatedWork W1514172519 @default.
• W1982248531 hasRelatedWork W1572578464 @default.
• W1982248531 hasRelatedWork W1860772589 @default.
• W1982248531 hasRelatedWork W2156523601 @default.
• W1982248531 hasRelatedWork W2165214723 @default.
• W1982248531 hasRelatedWork W2167919796 @default.
• W1982248531 hasRelatedWork W2169586608 @default.
• W1982248531 hasRelatedWork W2188869759 @default.
• W1982248531 hasRelatedWork W2604636945 @default.
• W1982248531 hasVolume "4" @default.
• W1982248531 isParatext "false" @default.

• next