Info
Digital transistor circuits / J. N. Harris, P. E. Gray, C. L. Searle
| Digital transistor circuits / J. N. Harris, P. E. Gray, C. L. Searle |
| Autore | Harris, John Nathaniel |
| Pubbl/distr/stampa | New York : Wiley & Sons, c1966 |
| Descrizione fisica | 221 p. : ill. ; 22 cm |
| Disciplina | 621.391 |
| Altri autori (Persone) |
Gray, Paul E.
Searle, Campbell L. |
| Collana | Semiconductor electronics education committee |
| Soggetto non controllato |
Elettronica digitale
Elaboratori digitali |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000491050403321 |
Harris, John Nathaniel
|
||
| New York : Wiley & Sons, c1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
DNA Computing [[electronic resource] ] : 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers / / edited by Max H. Garzon, Hao Yan
| DNA Computing [[electronic resource] ] : 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers / / edited by Max H. Garzon, Hao Yan |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XI, 292 p.) |
| Disciplina | 621.391 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Bioinformatics Artificial intelligence Theory of Computation Computational and Systems Biology Artificial Intelligence |
| ISBN | 3-540-77962-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Self-assembly -- Staged Self-assembly: Nanomanufacture of Arbitrary Shapes with O(1) Glues -- Activatable Tiles: Compact, Robust Programmable Assembly and Other Applications -- Constant-Size Tileset for Solving an NP-Complete Problem in Nondeterministic Linear Time -- Solutions to Computational Problems Through Gene Assembly -- Biomolecular Machines and Automata -- Toward Minimum Size Self-Assembled Counters -- A Realization of DNA Molecular Machine That Walks Autonomously by Using a Restriction Enzyme -- Autonomous Programmable Nanorobotic Devices Using DNAzymes -- Multi-fueled Approach to DNA Nano-Robotics -- Experimental Validation of the Transcription-Based Diagnostic Automata with Quantitative Control by Programmed Molecules -- DNA Memory with 16.8M Addresses -- Codes for DNA Memories and Computing -- Combining Randomness and a High-Capacity DNA Memory -- Design of Code Words for DNA Computers and Nanostructures with Consideration of Hybridization Kinetics -- Dynamic Neighborhood Searches for Thermodynamically Designing DNA Sequence -- Sequence Design Support System for 4 × 4 DNA Tiles -- DNA Codes Based on Stem Similarities Between DNA Sequences -- Novel Techniques for DNA Computing in vitro -- Heuristic Solution to a 10-City Asymmetric Traveling Salesman Problem Using Probabilistic DNA Computing -- An Approach for Using Modified Nucleotides in Aqueous DNA Computing -- Modeling Non-specific Binding in Gel-Based DNA Computers -- Stepwise Assembly of DNA Tile on Surfaces -- An Interface for a Computing Model Using Methylation to Allow Precise Population Control by Quantitative Monitoring -- Novel Techniques for DNA Computing in silico -- Hardware Acceleration for Thermodynamic Constrained DNA Code Generation -- Hardware and Software Architecture for Implementing Membrane Systems: A Case of Study to Transition P Systems -- Towards a Robust Biocomputing Solution of Intractable Problems -- Discrete Simulations of Biochemical Dynamics -- DNA Splicing Systems -- Models and Languages -- Asynchronous Spiking Neural P Systems: Decidability and Undecidability -- On 5??3? Sensing Watson-Crick Finite Automata -- Equivalence in Template-Guided Recombination -- Watson-Crick Conjugate and Commutative Words -- DNA Coding Using the Subword Closure Operation. |
| Record Nr. | UNISA-996466118703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
DNA Computing : 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers / / edited by Max H. Garzon, Hao Yan
| DNA Computing : 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers / / edited by Max H. Garzon, Hao Yan |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XI, 292 p.) |
| Disciplina | 621.391 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Bioinformatics Artificial intelligence Theory of Computation Computational and Systems Biology Artificial Intelligence |
| ISBN | 3-540-77962-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Self-assembly -- Staged Self-assembly: Nanomanufacture of Arbitrary Shapes with O(1) Glues -- Activatable Tiles: Compact, Robust Programmable Assembly and Other Applications -- Constant-Size Tileset for Solving an NP-Complete Problem in Nondeterministic Linear Time -- Solutions to Computational Problems Through Gene Assembly -- Biomolecular Machines and Automata -- Toward Minimum Size Self-Assembled Counters -- A Realization of DNA Molecular Machine That Walks Autonomously by Using a Restriction Enzyme -- Autonomous Programmable Nanorobotic Devices Using DNAzymes -- Multi-fueled Approach to DNA Nano-Robotics -- Experimental Validation of the Transcription-Based Diagnostic Automata with Quantitative Control by Programmed Molecules -- DNA Memory with 16.8M Addresses -- Codes for DNA Memories and Computing -- Combining Randomness and a High-Capacity DNA Memory -- Design of Code Words for DNA Computers and Nanostructures with Consideration of Hybridization Kinetics -- Dynamic Neighborhood Searches for Thermodynamically Designing DNA Sequence -- Sequence Design Support System for 4 × 4 DNA Tiles -- DNA Codes Based on Stem Similarities Between DNA Sequences -- Novel Techniques for DNA Computing in vitro -- Heuristic Solution to a 10-City Asymmetric Traveling Salesman Problem Using Probabilistic DNA Computing -- An Approach for Using Modified Nucleotides in Aqueous DNA Computing -- Modeling Non-specific Binding in Gel-Based DNA Computers -- Stepwise Assembly of DNA Tile on Surfaces -- An Interface for a Computing Model Using Methylation to Allow Precise Population Control by Quantitative Monitoring -- Novel Techniques for DNA Computing in silico -- Hardware Acceleration for Thermodynamic Constrained DNA Code Generation -- Hardware and Software Architecture for Implementing Membrane Systems: A Case of Study to Transition P Systems -- Towards a Robust Biocomputing Solution of Intractable Problems -- Discrete Simulations of Biochemical Dynamics -- DNA Splicing Systems -- Models and Languages -- Asynchronous Spiking Neural P Systems: Decidability and Undecidability -- On 5??3? Sensing Watson-Crick Finite Automata -- Equivalence in Template-Guided Recombination -- Watson-Crick Conjugate and Commutative Words -- DNA Coding Using the Subword Closure Operation. |
| Record Nr. | UNINA-9910483945803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
DNA Computing [[electronic resource] ] : 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers / / edited by Claudio Ferretti, Giancarlo Mauri, Claudio Zandron
| DNA Computing [[electronic resource] ] : 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers / / edited by Claudio Ferretti, Giancarlo Mauri, Claudio Zandron |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 472 p.) |
| Disciplina | 621.391 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Artificial intelligence Bioinformatics Theory of Computation Artificial Intelligence Computational and Systems Biology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computing by Observing Bio-systems: The Case of Sticker Systems -- DNA-Based Computation Times -- Computing Beyond the Turing Limit Using the H Systems -- Biomolecular Implementation of Computing Devices with Unbounded Memory -- Characterization of Non-crosshybridizing DNA Oligonucleotides Manufactured In Vitro -- Error Free Self-assembly Using Error Prone Tiles -- On the Computational Complexity of P Automata -- A Weighted Insertion-Deletion Stacked Pair Thermodynamic Metric for DNA Codes -- DNA Extraction by XPCR -- A Method of Error Suppression for Self-assembling DNA Tiles -- Using Automated Reasoning Systems on Molecular Computing -- Parallelism in Gene Assembly -- Splicing Systems for Universal Turing Machines -- Application of Mismatch Detection Methods in DNA Computing -- Bond-Free Languages: Formalizations, Maximality and Construction Methods -- Preventing Undesirable Bonds Between DNA Codewords -- Testing Structure Freeness of Regular Sets of Biomolecular Sequences -- Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes -- Efficient Initial Pool Generation for Weighted Graph Problems Using Parallel Overlap Assembly -- Partial Words for DNA Coding -- Accepting Hybrid Networks of Evolutionary Processors -- Building the Components for a Biomolecular Computer -- Methods for Manipulating DNA Molecules in a Micrometer Scale Using Optical Techniques -- From Cells to Computers: Membrane Computing – A Quick Overview -- The Capacity of DNA for Information Encoding -- Compact Error-Resilient Computational DNA Tiling Assemblies -- Toward “Wet” Implementation of Genetic Algorithm for Protein Engineering -- Programmable Control of Nucleation for Algorithmic Self-assembly -- DNA Hybridization Catalysts and Catalyst Circuits -- Complexity of Self-assembled Shapes -- Aqueous Computing with DNA Hairpin-Based RAM -- A Programmable Molecular Computer in Microreactors -- Combinatorial Aspects of Minimal DNA Expressions -- A Design for Cellular Evolutionary Computation by Using Bacteria -- An Inexpensive LED-Based Fluorometer Used to Study a Hairpin-Based DNA Nanomachine -- Designs of Autonomous Unidirectional Walking DNA Devices -- Design of an Autonomous DNA Nanomechanical Device Capable of Universal Computation and Universal Translational Motion -- A Clocked DNA-Based Replicator -- A Bayesian Algorithm for In Vitro Molecular Evolution of Pattern Classifiers. |
| Record Nr. | UNISA-996465780003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
DNA computing : 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004 : revised selected papers / / Claudio Ferretti, Giancarlo Mauri, Claudio Zandron (eds.)
| DNA computing : 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004 : revised selected papers / / Claudio Ferretti, Giancarlo Mauri, Claudio Zandron (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (X, 472 p.) |
| Disciplina | 621.391 |
| Altri autori (Persone) |
FerrettiClaudio <1965->
MauriGian Carlo ZandronClaudio |
| Collana | Lecture notes in computer science |
| Soggetto topico | Molecular computers |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computing by Observing Bio-systems: The Case of Sticker Systems -- DNA-Based Computation Times -- Computing Beyond the Turing Limit Using the H Systems -- Biomolecular Implementation of Computing Devices with Unbounded Memory -- Characterization of Non-crosshybridizing DNA Oligonucleotides Manufactured In Vitro -- Error Free Self-assembly Using Error Prone Tiles -- On the Computational Complexity of P Automata -- A Weighted Insertion-Deletion Stacked Pair Thermodynamic Metric for DNA Codes -- DNA Extraction by XPCR -- A Method of Error Suppression for Self-assembling DNA Tiles -- Using Automated Reasoning Systems on Molecular Computing -- Parallelism in Gene Assembly -- Splicing Systems for Universal Turing Machines -- Application of Mismatch Detection Methods in DNA Computing -- Bond-Free Languages: Formalizations, Maximality and Construction Methods -- Preventing Undesirable Bonds Between DNA Codewords -- Testing Structure Freeness of Regular Sets of Biomolecular Sequences -- Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes -- Efficient Initial Pool Generation for Weighted Graph Problems Using Parallel Overlap Assembly -- Partial Words for DNA Coding -- Accepting Hybrid Networks of Evolutionary Processors -- Building the Components for a Biomolecular Computer -- Methods for Manipulating DNA Molecules in a Micrometer Scale Using Optical Techniques -- From Cells to Computers: Membrane Computing – A Quick Overview -- The Capacity of DNA for Information Encoding -- Compact Error-Resilient Computational DNA Tiling Assemblies -- Toward “Wet” Implementation of Genetic Algorithm for Protein Engineering -- Programmable Control of Nucleation for Algorithmic Self-assembly -- DNA Hybridization Catalysts and Catalyst Circuits -- Complexity of Self-assembled Shapes -- Aqueous Computing with DNA Hairpin-Based RAM -- A Programmable Molecular Computer in Microreactors -- Combinatorial Aspects of Minimal DNA Expressions -- A Design for Cellular Evolutionary Computation by Using Bacteria -- An Inexpensive LED-Based Fluorometer Used to Study a Hairpin-Based DNA Nanomachine -- Designs of Autonomous Unidirectional Walking DNA Devices -- Design of an Autonomous DNA Nanomechanical Device Capable of Universal Computation and Universal Translational Motion -- A Clocked DNA-Based Replicator -- A Bayesian Algorithm for In Vitro Molecular Evolution of Pattern Classifiers. |
| Record Nr. | UNINA-9910484973803321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
DNA Computing and Molecular Programming [[electronic resource] ] : 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings / / edited by David Soloveichik, Bernard Yurke
| DNA Computing and Molecular Programming [[electronic resource] ] : 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings / / edited by David Soloveichik, Bernard Yurke |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 205 p. 73 illus.) |
| Disciplina | 621.391 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Bioinformatics Artificial intelligence Artificial intelligence—Data processing Computer science—Mathematics Discrete mathematics Theory of Computation Computational and Systems Biology Artificial Intelligence Data Science Discrete Mathematics in Computer Science |
| ISBN | 3-319-01928-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using Active Self-assembly -- DNA Walker Circuits: Computational Potential, Design, and Verification -- Leaderless Deterministic Chemical Reaction Networks -- DNA Sticky End Design and Assignment for Robust Algorithmic Self-assembly -- DNA Reservoir Computing: A Novel Molecular Computing Approach -- Signal Transmission across Tile Assemblies: 3D Static Tiles Simulate Active Self-assembly by 2D Signal-Passing Tiles -- 3-Color Bounded Patterned Self-assembly (Extended Abstract) -- Exponential Replication of Patterns in the Signal Tile Assembly Model -- Modular Verification of DNA Strand Displacement Networks via Serializability Analysis -- Iterative Self-assembly with Dynamic Strength Transformation and Temperature Control -- Probabilistic Reasoning with an Enzyme-Driven DNA Device -- Staged Self-assembly and Polyomino Context-Free Grammars -- Functional Analysis of Large-Scale DNA Strand Displacement Circuits. |
| Record Nr. | UNISA-996466035103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
DNA Computing and Molecular Programming : 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings / / edited by David Soloveichik, Bernard Yurke
| DNA Computing and Molecular Programming : 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings / / edited by David Soloveichik, Bernard Yurke |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 205 p. 73 illus.) |
| Disciplina | 621.391 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Bioinformatics Artificial intelligence Artificial intelligence—Data processing Computer science—Mathematics Discrete mathematics Theory of Computation Computational and Systems Biology Artificial Intelligence Data Science Discrete Mathematics in Computer Science |
| ISBN | 3-319-01928-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using Active Self-assembly -- DNA Walker Circuits: Computational Potential, Design, and Verification -- Leaderless Deterministic Chemical Reaction Networks -- DNA Sticky End Design and Assignment for Robust Algorithmic Self-assembly -- DNA Reservoir Computing: A Novel Molecular Computing Approach -- Signal Transmission across Tile Assemblies: 3D Static Tiles Simulate Active Self-assembly by 2D Signal-Passing Tiles -- 3-Color Bounded Patterned Self-assembly (Extended Abstract) -- Exponential Replication of Patterns in the Signal Tile Assembly Model -- Modular Verification of DNA Strand Displacement Networks via Serializability Analysis -- Iterative Self-assembly with Dynamic Strength Transformation and Temperature Control -- Probabilistic Reasoning with an Enzyme-Driven DNA Device -- Staged Self-assembly and Polyomino Context-Free Grammars -- Functional Analysis of Large-Scale DNA Strand Displacement Circuits. |
| Record Nr. | UNINA-9910485020103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Embedded computing : a VLIW approach to architecture, compilers and tools / / Joseph A. Fisher, Paolo Faraboschi and Cliff Young
| Embedded computing : a VLIW approach to architecture, compilers and tools / / Joseph A. Fisher, Paolo Faraboschi and Cliff Young |
| Autore | Fisher Joseph A |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | San Francisco, : Morgan Kaufmann, 2004 |
| Descrizione fisica | 1 online resource (708 p.) |
| Disciplina | 621.391 |
| Altri autori (Persone) |
FaraboschiPaolo
YoungClifford <1947-> |
| Soggetto topico |
Embedded computer systems - Design and construction
Computer systems - Design and construction |
| ISBN |
1-4933-0365-1
9781417574305 0-08-047754-2 9786611010102 1-281-01010-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9911004799003321 |
|
Fisher Joseph A
|
||
| San Francisco, : Morgan Kaufmann, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Integrated optical interconnect architectures for embedded systems / / Ian O'Connor, Gabriela Nicolescu, editors
| Integrated optical interconnect architectures for embedded systems / / Ian O'Connor, Gabriela Nicolescu, editors |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | New York, : Springer Science+Business Media, LLC, 2013 |
| Descrizione fisica | 1 online resource (275 p.) |
| Disciplina | 621.391 |
| Altri autori (Persone) |
O'ConnorIan
NicolescuG (Gabriela) |
| Collana | Embedded systems |
| Soggetto topico |
Embedded computer systems
Interconnects (Integrated circuit technology) Integrated optics |
| ISBN |
1-283-84871-6
1-4419-6193-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. I. Basics for high-performance computing and optical interconnect -- pt. II. On-chip optical communication topologies -- pt. III. System integration and optical-enhanced MPSoC performance. |
| Record Nr. | UNINA-9910437905103321 |
| New York, : Springer Science+Business Media, LLC, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Optical computer architectures : the application of optical concepts to next generation computer / Alastair D. McAulay
| Optical computer architectures : the application of optical concepts to next generation computer / Alastair D. McAulay |
| Autore | McAulay, Alastair D. |
| Pubbl/distr/stampa | New York [etc.], : J. Wiley, c1991 |
| Descrizione fisica | XV, 531 p. : ill. ; 25 cm |
| Disciplina |
621.39
621.391 |
| ISBN | 0471632422 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10001311 |
|
McAulay, Alastair D.
|
||
| New York [etc.], : J. Wiley, c1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
