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 |
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 |
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 |
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.) |
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 |
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 |
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 | ||
|
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 |
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 | ||
|
Optical computer architectures : the application of optical concepts to next generation computers / Alastair D. McAulay |
Autore | McAulay, Alastair D. |
Descrizione fisica | xv, 531 p. : ill. ; 25 cm |
Disciplina | 621.391 |
Soggetto topico |
Computer architecture
Optical computers Optical data processing |
ISBN | 0471632422 |
Classificazione |
AMS 68M99
CR C.0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001206339707536 |
McAulay, Alastair D. | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|