Tests and Proofs [[electronic resource] ] : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / / edited by Virgile Prevosto, Cristina Seceleanu |
Autore | Prevosto Virgile |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (202 pages) |
Disciplina | 005.1 |
Altri autori (Persone) | SeceleanuCristina |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Reasoning
Computer science Informal Logic Models of Computation |
ISBN | 3-031-38828-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Low-level Code Verification -- Formal Models -- Model-based test generation -- Abstraction and Refinement. |
Record Nr. | UNINA-9910735775203321 |
Prevosto Virgile | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Tests and Proofs [[electronic resource] ] : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / / edited by Virgile Prevosto, Cristina Seceleanu |
Autore | Prevosto Virgile |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (202 pages) |
Disciplina | 005.1 |
Altri autori (Persone) | SeceleanuCristina |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Reasoning
Computer science Informal Logic Models of Computation |
ISBN | 3-031-38828-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Low-level Code Verification -- Formal Models -- Model-based test generation -- Abstraction and Refinement. |
Record Nr. | UNISA-996542666003316 |
Prevosto Virgile | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Unconventional Computation [[electronic resource] ] : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings / / edited by Christian S. Calude, Jose Felix Gomes da Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XXI, 293 p.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Life sciences Algorithms Bioinformatics Theory of Computation Life Sciences Computational and Systems Biology Models of Computation |
ISBN | 3-642-03745-3 |
Classificazione |
BIO 110f
DAT 500f DAT 719f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks and Tutorials -- Using Physical Experiments as Oracles -- A Tutorial on Analog Computation: Computing Functions over the Reals -- Computational Mechanics: Natural Computation and Self-organization -- Diophantine Equations and Computation -- Structure of Reversible Cellular Automata -- Brain Dynamics Promotes Function -- Awakening the Analogue Computer: Rubel’s Extended Analog Computer Workshop -- Artifice, Interpretation and Nature: Key Categories in Radiology Work -- Developmental Computing -- Evolvable Hardware: From Applications to Implications for the Theory of Computation -- Relativistic Computers and Transfinite Computation -- Regular Contributions -- Turing Completeness Using Three Mobile Membranes -- Resource-Competing Oscillator Network as a Model of Amoeba-Based Neurocomputer -- Networks of Evolutionary Picture Processors with Filtered Connections -- Mapping Computation with No Memory -- Real Computable Manifolds and Homotopy Groups -- Distributed Quantum Programming -- Foundations of Optical Encryption: Formal Modeling and Achieving Shannon Secrecy -- Random Number Selection in Self-assembly -- Abstract Geometrical Computation and Computable Analysis -- Descriptional Complexity of Tissue-Like P Systems with Cell Division -- Computing Domains of Attraction for Planar Dynamics -- Approximating the Behaviours of Physarum polycephalum for the Construction and Minimisation of Synthetic Transport Networks -- Simulation of Neurocomputing Based on Photophobic Reactions of Euglena: Toward Microbe–Based Neural Network Computing -- Reasoning about Entanglement and Separability in Quantum Higher-Order Functions -- On the Brightness of the Thomson Lamp: A Prolegomenon to Quantum Recursion Theory -- Advances in I/O, Speedup, and Universality on Colossus, an Unconventional Computer -- Membrane Dissolution and Division in P -- Computing Naturally in the Billiard Ball Model -- Posters -- Water as a Quantum Computing Device -- Cloning for Heteroscedasticity Elimination in GMDH Learning Procedure -- Tug-Of-War Model for Two-Bandit Problem -- Intrusion Detection in Circular Frustrated Systems: An Eminently Parallel Processing Algorithm -- NMR-Based Encoding and Processing of Alphanumeric Information. |
Record Nr. | UNISA-996465311003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Unconventional Computation [[electronic resource] ] : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings / / edited by Christian S. Calude, Jose Felix Gomes da Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XXI, 293 p.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Life sciences Algorithms Bioinformatics Theory of Computation Life Sciences Computational and Systems Biology Models of Computation |
ISBN | 3-642-03745-3 |
Classificazione |
BIO 110f
DAT 500f DAT 719f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks and Tutorials -- Using Physical Experiments as Oracles -- A Tutorial on Analog Computation: Computing Functions over the Reals -- Computational Mechanics: Natural Computation and Self-organization -- Diophantine Equations and Computation -- Structure of Reversible Cellular Automata -- Brain Dynamics Promotes Function -- Awakening the Analogue Computer: Rubel’s Extended Analog Computer Workshop -- Artifice, Interpretation and Nature: Key Categories in Radiology Work -- Developmental Computing -- Evolvable Hardware: From Applications to Implications for the Theory of Computation -- Relativistic Computers and Transfinite Computation -- Regular Contributions -- Turing Completeness Using Three Mobile Membranes -- Resource-Competing Oscillator Network as a Model of Amoeba-Based Neurocomputer -- Networks of Evolutionary Picture Processors with Filtered Connections -- Mapping Computation with No Memory -- Real Computable Manifolds and Homotopy Groups -- Distributed Quantum Programming -- Foundations of Optical Encryption: Formal Modeling and Achieving Shannon Secrecy -- Random Number Selection in Self-assembly -- Abstract Geometrical Computation and Computable Analysis -- Descriptional Complexity of Tissue-Like P Systems with Cell Division -- Computing Domains of Attraction for Planar Dynamics -- Approximating the Behaviours of Physarum polycephalum for the Construction and Minimisation of Synthetic Transport Networks -- Simulation of Neurocomputing Based on Photophobic Reactions of Euglena: Toward Microbe–Based Neural Network Computing -- Reasoning about Entanglement and Separability in Quantum Higher-Order Functions -- On the Brightness of the Thomson Lamp: A Prolegomenon to Quantum Recursion Theory -- Advances in I/O, Speedup, and Universality on Colossus, an Unconventional Computer -- Membrane Dissolution and Division in P -- Computing Naturally in the Billiard Ball Model -- Posters -- Water as a Quantum Computing Device -- Cloning for Heteroscedasticity Elimination in GMDH Learning Procedure -- Tug-Of-War Model for Two-Bandit Problem -- Intrusion Detection in Circular Frustrated Systems: An Eminently Parallel Processing Algorithm -- NMR-Based Encoding and Processing of Alphanumeric Information. |
Record Nr. | UNINA-9910483371103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Visions of DNA Nanotechnology at 40 for the Next 40 [[electronic resource] ] : A Tribute to Nadrian C. Seeman / / edited by Nataša Jonoska, Erik Winfree |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (XXVIII, 431 p. 160 illus., 145 illus. in color.) |
Disciplina | 004.0151 |
Collana | Natural Computing Series |
Soggetto topico |
Computer science
Nanotechnology Molecular biology Bionics Models of Computation Molecular Biology Bioinspired Technologies |
ISBN | 981-19-9891-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Beyond Watson-Crick -- DNA nanotechnology out of equilibrium -- The Evolution of DNA-Based Molecular Computing -- DNA Nanotechnology Research in Japan -- Reminiscences from the Trenches -- Beyond DNA -- Controlling single molecule conjugated oligomers and polymers with DNA -- Organizing charge flow with DNA -- DNA Assembly of Dye Aggregates -- Building with DNA -- From Molecules to Mathematics -- Origami Life -- Ok: a kinetic model for locally reconfigurable molecular systems -- Implementing a Theoretician’s Toolkit for Self-Assembly with DNA Components -- Reasoning As If -- Scaling up DNA computing with array-based synthesis and high-throughput sequencing -- Sequenceable Event Recorders -- Computational Design of Nucleic Acid Circuits -- Parallel computations with DNA-encoded chemical reaction networks -- Social DNA Nanorobots -- Models of Gellular Automata -- Patterning DNA origami on membranes through protein self-organization. |
Record Nr. | UNINA-9910774750703321 |
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|