Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
DNA Computing [[electronic resource] ] : 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers / / edited by Chengde Mao, Takashi Yokomori
| DNA Computing [[electronic resource] ] : 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers / / edited by Chengde Mao, Takashi Yokomori |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 440 p.) |
| Disciplina | 621.39/1 |
| 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-68423-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Molecular and Membrane Computing Models -- Computing with Spiking Neural P Systems: Traces and Small Universal Systems -- Minimal Parallelism for Polarizationless P Systems -- P Systems with Active Membranes Characterize PSPACE -- All NP-Problems Can Be Solved in Polynomial Time by Accepting Networks of Splicing Processors of Constant Size -- Length-Separating Test Tube Systems -- Gene Assembly Algorithms for Ciliates -- Complexity Analysis -- Spectrum of a Pot for DNA Complexes -- On the Complexity of Graph Self-assembly in Accretive Systems -- Viral Genome Compression -- Sequence and Tile Designs and Their Properties -- DNA Codes and Their Properties -- In Search of Optimal Codes for DNA Computing -- DNA Sequence Design by Dynamic Neighborhood Searches -- Sequence Design for Stable DNA Tiles -- Hairpin Structures Defined by DNA Trajectories -- DNA Tile Self-assembly Models -- Design and Simulation of Self-repairing DNA Lattices -- On Times to Compute Shapes in 2D Tile Self-assembly -- Capabilities and Limits of Compact Error Resilience Methods for Algorithmic Self-assembly in Two and Three Dimensions -- A Mathematical Approach to Cross-Linked Structures in Viral Capsids: Predicting the Architecture of Novel Containers for Drug Delivery -- Simulator and Software for DNA Computing -- A Framework for Modeling DNA Based Molecular Systems -- Uniquimer: A de Novo DNA Sequence Generation Computer Software for DNA Self-assembly -- A Probabilistic Model of the DNA Conformational Change -- Simulations of Microreactors: The Order of Things -- DNA Computing Algorithms and New Applications -- DNA Hypernetworks for Information Storage and Retrieval -- Abstraction Layers for Scalable Microfluidic Biocomputers -- Fuzzy Forecasting with DNA Computing -- “Reasoning” and “Talking” DNA: Can DNA Understand English? -- Novel Experimental Approaches -- A New Readout Approach in DNA Computing Based on Real-Time PCR with TaqMan Probes -- Automating the DNA Computer: Solving n-Variable 3-SAT Problems -- Local Area Manipulation of DNA Molecules for Photonic DNA Memory -- Experimental Solutions -- Unravel Four Hairpins! -- Displacement Whiplash PCR: Optimized Architecture and Experimental Validation -- MethyLogic: Implementation of Boolean Logic Using DNA Methylation -- Development of DNA Relational Database and Data Manipulation Experiments -- Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin Formation. |
| Record Nr. | UNISA-996466272203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
DNA computing : 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006 : revised selected papers / / Chengde Mao, Takashi Yokomori (eds.)
| DNA computing : 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006 : revised selected papers / / Chengde Mao, Takashi Yokomori (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (XII, 440 p.) |
| Disciplina | 621.39/1 |
| Altri autori (Persone) |
MaoChengde
YokomoriTakashi |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico | Molecular computers |
| ISBN | 3-540-68423-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Molecular and Membrane Computing Models -- Computing with Spiking Neural P Systems: Traces and Small Universal Systems -- Minimal Parallelism for Polarizationless P Systems -- P Systems with Active Membranes Characterize PSPACE -- All NP-Problems Can Be Solved in Polynomial Time by Accepting Networks of Splicing Processors of Constant Size -- Length-Separating Test Tube Systems -- Gene Assembly Algorithms for Ciliates -- Complexity Analysis -- Spectrum of a Pot for DNA Complexes -- On the Complexity of Graph Self-assembly in Accretive Systems -- Viral Genome Compression -- Sequence and Tile Designs and Their Properties -- DNA Codes and Their Properties -- In Search of Optimal Codes for DNA Computing -- DNA Sequence Design by Dynamic Neighborhood Searches -- Sequence Design for Stable DNA Tiles -- Hairpin Structures Defined by DNA Trajectories -- DNA Tile Self-assembly Models -- Design and Simulation of Self-repairing DNA Lattices -- On Times to Compute Shapes in 2D Tile Self-assembly -- Capabilities and Limits of Compact Error Resilience Methods for Algorithmic Self-assembly in Two and Three Dimensions -- A Mathematical Approach to Cross-Linked Structures in Viral Capsids: Predicting the Architecture of Novel Containers for Drug Delivery -- Simulator and Software for DNA Computing -- A Framework for Modeling DNA Based Molecular Systems -- Uniquimer: A de Novo DNA Sequence Generation Computer Software for DNA Self-assembly -- A Probabilistic Model of the DNA Conformational Change -- Simulations of Microreactors: The Order of Things -- DNA Computing Algorithms and New Applications -- DNA Hypernetworks for Information Storage and Retrieval -- Abstraction Layers for Scalable Microfluidic Biocomputers -- Fuzzy Forecasting with DNA Computing -- “Reasoning” and “Talking” DNA: Can DNA Understand English? -- Novel Experimental Approaches -- A New Readout Approach in DNA Computing Based on Real-Time PCR with TaqMan Probes -- Automating the DNA Computer: Solving n-Variable 3-SAT Problems -- Local Area Manipulation of DNA Molecules for Photonic DNA Memory -- Experimental Solutions -- Unravel Four Hairpins! -- Displacement Whiplash PCR: Optimized Architecture and Experimental Validation -- MethyLogic: Implementation of Boolean Logic Using DNA Methylation -- Development of DNA Relational Database and Data Manipulation Experiments -- Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin Formation. |
| Altri titoli varianti |
12th International Meeting on DNA Computing
Twelfth International Meeting on DNA Computing International Meeting on DNA Computing DNA 12 DNA twelve |
| Record Nr. | UNINA-9910483451403321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
DNA Computing [[electronic resource] ] : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers / / edited by Junghuei Chen, John Reif
| DNA Computing [[electronic resource] ] : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers / / edited by Junghuei Chen, John Reif |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (IX, 212 p.) |
| Disciplina | 621.39/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Computers Chemistry, Physical and theoretical Algorithms Artificial intelligence Bioinformatics Mathematical Logic and Foundations Computation by Abstract Devices Theoretical and Computational Chemistry Algorithm Analysis and Problem Complexity Artificial Intelligence |
| ISBN |
1-280-30681-5
9786610306817 3-540-24628-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | New Experimental Tools -- A Lab-on-a-Chip Module for Bead Separation in DNA-Based Concept Learning -- Parallel Translation of DNA Clusters by VCSEL Array Trapping and Temperature Control with Laser Illumination -- Chemical Switching and Molecular Logic in Fluorescent-Labeled M-DNA -- RCA-Based Detection Methods for Resolution Refutation -- Theory -- Word Design for Molecular Computing: A Survey -- Time-Varying Distributed H Systems with Parallel Computations: The Problem Is Solved -- Deadlock Decidability in Partial Parallel P Systems -- Computer Simulation and Sequence Design -- Languages of DNA Based Code Words -- Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions -- Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules -- Self-Assembly and Autonomous Molecular Computation -- Self-Assembled Circuit Patterns -- One Dimensional Boundaries for DNA Tile Self-Assembly -- Proofreading Tile Sets: Error Correction for Algorithmic Self-Assembly -- Experimental Solutions -- A DNA-Based Memory with In Vitro Learning and Associative Recall -- Efficiency and Reliability of Semantic Retrieval in DNA-Based Memories -- Nearest-Neighbor Thermodynamics of DNA Sequences with Single Bulge Loop -- New Computing Models -- Mathematical Considerations in the Design of Microreactor-Based DNA Computers -- Towards a Re-programmable DNA Computer -- In Vitro Translation-Based Computations -- Autonomous Biomolecular Computer Modeled after Retroviral Replication -- Biomolecular Computing by Encoding of Regulated Phosphorylation-Dephosphorylation and Logic of Kinase-Phosphatase in Cells -- Conformational Addressing Using the Hairpin Structure of Single-Strand DNA. |
| Record Nr. | UNISA-996465926303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
DNA Computing : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers / / edited by Junghuei Chen, John Reif
| DNA Computing : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers / / edited by Junghuei Chen, John Reif |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (IX, 212 p.) |
| Disciplina | 621.39/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Logic, Symbolic and mathematical
Computers Chemistry, Physical and theoretical Algorithms Artificial intelligence Bioinformatics Mathematical Logic and Foundations Computation by Abstract Devices Theoretical and Computational Chemistry Algorithm Analysis and Problem Complexity Artificial Intelligence |
| ISBN |
1-280-30681-5
9786610306817 3-540-24628-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | New Experimental Tools -- A Lab-on-a-Chip Module for Bead Separation in DNA-Based Concept Learning -- Parallel Translation of DNA Clusters by VCSEL Array Trapping and Temperature Control with Laser Illumination -- Chemical Switching and Molecular Logic in Fluorescent-Labeled M-DNA -- RCA-Based Detection Methods for Resolution Refutation -- Theory -- Word Design for Molecular Computing: A Survey -- Time-Varying Distributed H Systems with Parallel Computations: The Problem Is Solved -- Deadlock Decidability in Partial Parallel P Systems -- Computer Simulation and Sequence Design -- Languages of DNA Based Code Words -- Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions -- Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules -- Self-Assembly and Autonomous Molecular Computation -- Self-Assembled Circuit Patterns -- One Dimensional Boundaries for DNA Tile Self-Assembly -- Proofreading Tile Sets: Error Correction for Algorithmic Self-Assembly -- Experimental Solutions -- A DNA-Based Memory with In Vitro Learning and Associative Recall -- Efficiency and Reliability of Semantic Retrieval in DNA-Based Memories -- Nearest-Neighbor Thermodynamics of DNA Sequences with Single Bulge Loop -- New Computing Models -- Mathematical Considerations in the Design of Microreactor-Based DNA Computers -- Towards a Re-programmable DNA Computer -- In Vitro Translation-Based Computations -- Autonomous Biomolecular Computer Modeled after Retroviral Replication -- Biomolecular Computing by Encoding of Regulated Phosphorylation-Dephosphorylation and Logic of Kinase-Phosphatase in Cells -- Conformational Addressing Using the Hairpin Structure of Single-Strand DNA. |
| Record Nr. | UNINA-9910144207603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Membrane computing : 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, revised, selected, and invited papers / / Hendrik Jan Hoogeboom ... [et al.] (eds.)
| Membrane computing : 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, revised, selected, and invited papers / / Hendrik Jan Hoogeboom ... [et al.] (eds.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2007 |
| Descrizione fisica | 1 online resource (X, 556 p.) |
| Disciplina | 621.39/1 |
| Altri autori (Persone) | HoogeboomHendrik Jan |
| Collana |
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science |
| Soggetto topico | Molecular computers |
| ISBN | 3-540-69090-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Biological Roots and Applications of P Systems: Further Suggestions -- Formalizing Spherical Membrane Structures and Membrane Proteins Populations -- Quorum Sensing: A Cell-Cell Signalling Mechanism Used to Coordinate Behavioral Changes in Bacterial Populations -- A Modeling Approach Based on P Systems with Bounded Parallelism -- Synchrony and Asynchrony in Membrane Systems -- MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations -- Modeling Signal Transduction Using P Systems -- Regular Papers -- Extended Spiking Neural P Systems -- Towards a Characterization of P Systems with Minimal Symport/Antiport and Two Membranes -- Expressing Control Mechanisms of Membranes by Rewriting Strategies -- Tissue P Systems with Communication Modes -- Towards a Hybrid Metabolic Algorithm -- Towards a P Systems Pseudomonas Quorum Sensing Model -- Membrane Systems with External Control -- A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers -- Computing with Genetic Gates, Proteins, and Membranes -- Classifying States of a Finite Markov Chain with Membrane Computing -- Partial Knowledge in Membrane Systems: A Logical Approach -- Tau Leaping Stochastic Simulation Method in P Systems -- P Machines: An Automata Approach to Membrane Computing -- Modeling Dynamical Parallelism in Bio-systems -- P Colonies with a Bounded Number of Cells and Programs -- P Finite Automata and Regular Languages over Countably Infinite Alphabets -- Mitotic Oscillators as MP Graphs -- Infinite Hierarchies of Conformon-P Systems -- A Protein Substructure Based P System for Description and Analysis of Cell Signalling Networks -- Characterizations of Some Restricted Spiking Neural P Systems -- A Membrane Algorithm for the Min Storage Problem -- P Systems with Symport/Antiport and Time -- Towards Probabilistic Model Checking on P Systems Using PRISM -- Graphical Modeling of Higher Plants Using P Systems -- Identifying P Rules from Membrane Structures with an Error-Correcting Approach -- Computational Completeness of Tissue P Systems with Conditional Uniport -- Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems. |
| Record Nr. | UNINA-9910483764203321 |
| Berlin ; ; New York, : Springer, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Membrane Computing [[electronic resource] ] : 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers / / edited by Hendrik Jan Hoogeboom, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing [[electronic resource] ] : 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers / / edited by Hendrik Jan Hoogeboom, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 556 p.) |
| Disciplina | 621.39/1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer simulation Bioinformatics Theory of Computation Formal Languages and Automata Theory Computer Modelling Computational and Systems Biology |
| ISBN | 3-540-69090-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Biological Roots and Applications of P Systems: Further Suggestions -- Formalizing Spherical Membrane Structures and Membrane Proteins Populations -- Quorum Sensing: A Cell-Cell Signalling Mechanism Used to Coordinate Behavioral Changes in Bacterial Populations -- A Modeling Approach Based on P Systems with Bounded Parallelism -- Synchrony and Asynchrony in Membrane Systems -- MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations -- Modeling Signal Transduction Using P Systems -- Regular Papers -- Extended Spiking Neural P Systems -- Towards a Characterization of P Systems with Minimal Symport/Antiport and Two Membranes -- Expressing Control Mechanisms of Membranes by Rewriting Strategies -- Tissue P Systems with Communication Modes -- Towards a Hybrid Metabolic Algorithm -- Towards a P Systems Pseudomonas Quorum Sensing Model -- Membrane Systems with External Control -- A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers -- Computing with Genetic Gates, Proteins, and Membranes -- Classifying States of a Finite Markov Chain with Membrane Computing -- Partial Knowledge in Membrane Systems: A Logical Approach -- Tau Leaping Stochastic Simulation Method in P Systems -- P Machines: An Automata Approach to Membrane Computing -- Modeling Dynamical Parallelism in Bio-systems -- P Colonies with a Bounded Number of Cells and Programs -- P Finite Automata and Regular Languages over Countably Infinite Alphabets -- Mitotic Oscillators as MP Graphs -- Infinite Hierarchies of Conformon-P Systems -- A Protein Substructure Based P System for Description and Analysis of Cell Signalling Networks -- Characterizations of Some Restricted Spiking Neural P Systems -- A Membrane Algorithm for the Min Storage Problem -- P Systems with Symport/Antiport and Time -- Towards Probabilistic Model Checking on P Systems Using PRISM -- Graphical Modeling of Higher Plants Using P Systems -- Identifying P Rules from Membrane Structures with an Error-Correcting Approach -- Computational Completeness of Tissue P Systems with Conditional Uniport -- Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems. |
| Record Nr. | UNISA-996466137303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Membrane Computing [[electronic resource] ] : 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers / / edited by Rudolph Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing [[electronic resource] ] : 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers / / edited by Rudolph Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 374 p.) |
| Disciplina | 621.39/1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer simulation Bioinformatics Theory of Computation Formal Languages and Automata Theory Computer Modelling |
| ISBN | 3-540-32340-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Computational Power of Symport/Antiport: History, Advances, and Open Problems -- Structural Operational Semantics of P Systems -- Some Recent Results Concerning Deterministic P Systems -- Membrane Algorithms -- On Evolutionary Lineages of Membrane Systems -- Regular Presentations -- Number of Protons/Bi-stable Catalysts and Membranes in P Systems. Time-Freeness -- Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules -- On P Systems as a Modelling Tool for Biological Systems -- Encoding-Decoding Transitional Systems for Classes of P Systems -- On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism -- A Membrane Computing System Mapped on an Asynchronous, Distributed Computational Environment -- P Systems with Memory -- Algebraic and Coalgebraic Aspects of Membrane Computing -- P Systems and the Modeling of Biochemical Oscillations -- P Systems, Petri Nets, and Program Machines -- On the Power of Dissolution in P Systems with Active Membranes -- A Linear Solution for QSAT with Membrane Creation -- On Symport/Antiport P Systems and Semilinear Sets -- Boolean Circuits and a DNA Algorithm in Membrane Computing -- Towards a Petri Net Semantics for Membrane Systems -- Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes -- Editing Distances Between Membrane Structures -- Relational Membrane Systems -- On the Rule Complexity of Universal Tissue P Systems -- Non-cooperative P Systems with Priorities Characterize PsET0L. |
| Record Nr. | UNISA-996465533603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Membrane computing : 6th international workshop, WMC 2005, Vienna, Austria, July 18-21, 2005 : revised selected and invited papers / / Rudolf Freund ... [et al.] (eds.)
| Membrane computing : 6th international workshop, WMC 2005, Vienna, Austria, July 18-21, 2005 : revised selected and invited papers / / Rudolf Freund ... [et al.] (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (X, 374 p.) |
| Disciplina | 621.39/1 |
| Altri autori (Persone) | FreundRudolf |
| Collana | Lecture notes in computer science |
| Soggetto topico | Molecular computers |
| ISBN | 3-540-32340-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Computational Power of Symport/Antiport: History, Advances, and Open Problems -- Structural Operational Semantics of P Systems -- Some Recent Results Concerning Deterministic P Systems -- Membrane Algorithms -- On Evolutionary Lineages of Membrane Systems -- Regular Presentations -- Number of Protons/Bi-stable Catalysts and Membranes in P Systems. Time-Freeness -- Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules -- On P Systems as a Modelling Tool for Biological Systems -- Encoding-Decoding Transitional Systems for Classes of P Systems -- On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism -- A Membrane Computing System Mapped on an Asynchronous, Distributed Computational Environment -- P Systems with Memory -- Algebraic and Coalgebraic Aspects of Membrane Computing -- P Systems and the Modeling of Biochemical Oscillations -- P Systems, Petri Nets, and Program Machines -- On the Power of Dissolution in P Systems with Active Membranes -- A Linear Solution for QSAT with Membrane Creation -- On Symport/Antiport P Systems and Semilinear Sets -- Boolean Circuits and a DNA Algorithm in Membrane Computing -- Towards a Petri Net Semantics for Membrane Systems -- Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes -- Editing Distances Between Membrane Structures -- Relational Membrane Systems -- On the Rule Complexity of Universal Tissue P Systems -- Non-cooperative P Systems with Priorities Characterize PsET0L. |
| Altri titoli varianti | WMC 2005 |
| Record Nr. | UNINA-9910483853203321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantum computing since Democritus / / Scott Aaronson, Massachusetts Insitute of Technology [[electronic resource]]
| Quantum computing since Democritus / / Scott Aaronson, Massachusetts Insitute of Technology [[electronic resource]] |
| Autore | Aaronson Scott |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xxx, 370 pages) : digital, PDF file(s) |
| Disciplina | 621.39/1 |
| Soggetto topico |
Quantum theory - Mathematics
Quantum computers |
| ISBN |
1-107-23299-6
0-511-97930-4 1-107-30101-7 1-107-31384-8 1-107-30829-1 1-107-30537-3 1-107-30609-4 1-299-25712-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
1. Atoms and the void -- 2. Sets -- 3. Gèodel, turing, and friends -- 4. Minds and machines -- 5. Paleocomplexity -- 6. P, NP, and friends -- 7. Randomness -- 8. Crypto -- 9. Quantum -- 10. Quantum computing -- 11. Penrose -- 12. Decoherence and hidden variables -- 13. Proofs -- 14. How big are quantum states? -- 15. Skepticism of quantum computing -- 16. Learning -- 17. Interactive proofs, circuit lower bounds, and more -- 18. Fun with the Anthropic Principle -- 19. Free will -- 20. Time travel -- 21. Cosmology and complexity -- 22. Ask me anything.
Machine generated contents note: 1. Atoms and the void; 2. Sets; 3. Gödel, Turing, and friends; 4. Minds and machines; 5. Paleocomplexity; 6. P, NP, and friends; 7. Randomness; 8. Crypto; 9. Quantum; 10. Quantum computing; 11. Penrose; 12. Decoherence and hidden variables; 13. Proofs; 14. How big are quantum states?; 15. Skepticism of quantum computing; 16. Learning; 17. Interactive proofs and more; 18. Fun with the Anthropic Principle; 19. Free will; 20. Time travel; 21. Cosmology and complexity; 22. Ask me anything. |
| Record Nr. | UNINA-9910465653803321 |
Aaronson Scott
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantum computing since Democritus / / Scott Aaronson, Massachusetts Insitute of Technology [[electronic resource]]
| Quantum computing since Democritus / / Scott Aaronson, Massachusetts Insitute of Technology [[electronic resource]] |
| Autore | Aaronson Scott |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xxx, 370 pages) : digital, PDF file(s) |
| Disciplina | 621.39/1 |
| Soggetto topico |
Quantum theory - Mathematics
Quantum computers |
| ISBN |
1-107-23299-6
0-511-97930-4 1-107-30101-7 1-107-31384-8 1-107-30829-1 1-107-30537-3 1-107-30609-4 1-299-25712-7 |
| Classificazione | SCI057000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
1. Atoms and the void -- 2. Sets -- 3. Gèodel, turing, and friends -- 4. Minds and machines -- 5. Paleocomplexity -- 6. P, NP, and friends -- 7. Randomness -- 8. Crypto -- 9. Quantum -- 10. Quantum computing -- 11. Penrose -- 12. Decoherence and hidden variables -- 13. Proofs -- 14. How big are quantum states? -- 15. Skepticism of quantum computing -- 16. Learning -- 17. Interactive proofs, circuit lower bounds, and more -- 18. Fun with the Anthropic Principle -- 19. Free will -- 20. Time travel -- 21. Cosmology and complexity -- 22. Ask me anything.
Machine generated contents note: 1. Atoms and the void; 2. Sets; 3. Gödel, Turing, and friends; 4. Minds and machines; 5. Paleocomplexity; 6. P, NP, and friends; 7. Randomness; 8. Crypto; 9. Quantum; 10. Quantum computing; 11. Penrose; 12. Decoherence and hidden variables; 13. Proofs; 14. How big are quantum states?; 15. Skepticism of quantum computing; 16. Learning; 17. Interactive proofs and more; 18. Fun with the Anthropic Principle; 19. Free will; 20. Time travel; 21. Cosmology and complexity; 22. Ask me anything. |
| Record Nr. | UNINA-9910792074303321 |
|
Aaronson Scott
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
