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 | ||
|
Language and Automata Theory and Applications [[electronic resource] ] : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings / / edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XI, 449 p. 409 illus., 6 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Artificial intelligence Database management Computer systems Algorithms Artificial intelligence—Data processing Computer Science Logic and Foundations of Programming Artificial Intelligence Database Management Computer System Implementation Data Science |
ISBN | 3-030-40608-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited papers -- The New Complexity Landscape around Circuit Minimization -- Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases -- Approaching Arithmetic Theories with Finite-State Automata -- Recompression: technique for word equations and compressed data -- How to prove that a language is regular or star-free -- Deciding classes of regular languages: the covering approach -- Algebraic Structures -- Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles Over the Circle -- Deciding (R,+, < ,1) in (R,+, < ,Z) -- Ordered Semiautomatic Rings with Applications to Geometry -- Automata -- Boolean monadic recursive schemes as a logical characterization of the subsequential functions -- Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models -- Windable Heads & Recognizing NL with Constant Randomness -- Alternating Finite Automata with Limited Universal Branching -- Pebble-Intervals Automata and FO2 with Two Orders -- Limited Two-Way Deterministic Finite Automata with Advice -- Complexity -- On the size of depth-two threshold circuits for the inner product mod 2 function -- Complexity Issues of String to Graph Approximate Matching -- Complexity of Automatic Sequences -- Grammars -- Context-sensitive Fusion Grammars are Universal -- Cyclic shift on multi-component grammars -- Languages -- The Automatic Baire Property and an Effective Property of omega-Rational Functions -- The Power of Programs over Monoids in J -- Geometrically Closed Positive Varieties of Star-Free Languages -- Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas -- Trees and Graphs -- On the Weisfeiler-Leman Dimension of Fractional Packing -- Input Strictly Local Tree Transducers -- Words and Codes -- Lyndon words versus inverse Lyndon words: queries on su xes and bordered words -- On collapsing pre x normal words -- Simplified Parsing Expression Derivatives -- Complete Variable-Length Codes: An Excursion into Word Edit Operations. . |
Record Nr. | UNISA-996418211303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Language and Automata Theory and Applications : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings / / edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XI, 449 p. 409 illus., 6 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Artificial intelligence Database management Computer systems Algorithms Artificial intelligence—Data processing Computer Science Logic and Foundations of Programming Artificial Intelligence Database Management Computer System Implementation Data Science |
ISBN | 3-030-40608-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited papers -- The New Complexity Landscape around Circuit Minimization -- Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases -- Approaching Arithmetic Theories with Finite-State Automata -- Recompression: technique for word equations and compressed data -- How to prove that a language is regular or star-free -- Deciding classes of regular languages: the covering approach -- Algebraic Structures -- Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles Over the Circle -- Deciding (R,+, < ,1) in (R,+, < ,Z) -- Ordered Semiautomatic Rings with Applications to Geometry -- Automata -- Boolean monadic recursive schemes as a logical characterization of the subsequential functions -- Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models -- Windable Heads & Recognizing NL with Constant Randomness -- Alternating Finite Automata with Limited Universal Branching -- Pebble-Intervals Automata and FO2 with Two Orders -- Limited Two-Way Deterministic Finite Automata with Advice -- Complexity -- On the size of depth-two threshold circuits for the inner product mod 2 function -- Complexity Issues of String to Graph Approximate Matching -- Complexity of Automatic Sequences -- Grammars -- Context-sensitive Fusion Grammars are Universal -- Cyclic shift on multi-component grammars -- Languages -- The Automatic Baire Property and an Effective Property of omega-Rational Functions -- The Power of Programs over Monoids in J -- Geometrically Closed Positive Varieties of Star-Free Languages -- Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas -- Trees and Graphs -- On the Weisfeiler-Leman Dimension of Fractional Packing -- Input Strictly Local Tree Transducers -- Words and Codes -- Lyndon words versus inverse Lyndon words: queries on su xes and bordered words -- On collapsing pre x normal words -- Simplified Parsing Expression Derivatives -- Complete Variable-Length Codes: An Excursion into Word Edit Operations. . |
Record Nr. | UNINA-9910380759203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Membrane Computing [[electronic resource] ] : 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers / / edited by Thomas Hinze, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVI, 275 p. 167 illus., 21 illus. in color.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer engineering Computer networks Artificial intelligence Electronic data processing—Management Theory of Computation Software Engineering Computer Engineering and Networks Artificial Intelligence IT Operations |
ISBN | 3-030-12797-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Impacts of Membrane Computing on Theoretical Computer Science -- Time and Space Complexity of P Systems - And Why They Matter -- A Brute-Force Solution to the 27-Queens Puzzle Using a Distributed Computation -- Regular Papers. -Tissue P Systems with Point Mutation Rules -- Adaptive P Systems -- Chain Code P System Generating a Variant of the Peano Space-filling Curve -- APCol Systems with Agent Creation -- APCol Systems with Verifier Agents -- A Semantic Investigation of Spiking Neural P Systems -- Towards Automated Analysis of Belousov-Zhabotinsky Reactions in a Petri Dish by Membrane Computing using Optic Flow -- Testing Identifiable Kernel P Systems using an X-machine Approach -- Actor-like cP Systems -- Solving QSAT in Sublinear Depth -- Design of specific P systems simulators on GPUs -- Construction of Stable and Lightweight Technical Structures Inspired by Ossification of Bones using Osteogenetic P Systems -- On Small Universality of Spiking Neural P Systems with Multiple Channels -- Modeling Plant Development with M Systems -- An Improved Quicksort Algorithm Based on Tissue-Like P Systems with Promoters. |
Record Nr. | UNISA-996466346103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Membrane Computing : 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers / / edited by Thomas Hinze, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVI, 275 p. 167 illus., 21 illus. in color.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer engineering Computer networks Artificial intelligence Electronic data processing—Management Theory of Computation Software Engineering Computer Engineering and Networks Artificial Intelligence IT Operations |
ISBN | 3-030-12797-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Impacts of Membrane Computing on Theoretical Computer Science -- Time and Space Complexity of P Systems - And Why They Matter -- A Brute-Force Solution to the 27-Queens Puzzle Using a Distributed Computation -- Regular Papers. -Tissue P Systems with Point Mutation Rules -- Adaptive P Systems -- Chain Code P System Generating a Variant of the Peano Space-filling Curve -- APCol Systems with Agent Creation -- APCol Systems with Verifier Agents -- A Semantic Investigation of Spiking Neural P Systems -- Towards Automated Analysis of Belousov-Zhabotinsky Reactions in a Petri Dish by Membrane Computing using Optic Flow -- Testing Identifiable Kernel P Systems using an X-machine Approach -- Actor-like cP Systems -- Solving QSAT in Sublinear Depth -- Design of specific P systems simulators on GPUs -- Construction of Stable and Lightweight Technical Structures Inspired by Ossification of Bones using Osteogenetic P Systems -- On Small Universality of Spiking Neural P Systems with Multiple Channels -- Modeling Plant Development with M Systems -- An Improved Quicksort Algorithm Based on Tissue-Like P Systems with Promoters. |
Record Nr. | UNINA-9910337569503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Membrane Computing [[electronic resource] ] : 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers / / edited by Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVI, 293 p. 33 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Software engineering Computer networks Computer Science Software Engineering Computer Science Logic and Foundations of Programming Computer Communication Networks |
ISBN | 3-319-73359-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Simulating Evolutional Symport/Antiport by Evolution-Communication and Vice Versa in Tissue P Systems with Parallel Communication -- Hierarchical P Systems with Randomized Right-hand Sides of Rules -- Controlled Reversibility in Reaction Systems -- Multi-set Patterns and Their Application to Dynamic Causalities in Membrane Systems -- Counting Membrane Systems -- APCol Systems with Teams -- Bi-simulation Between P Colonies and P Systems with Multi-stable Catalysts -- Computationally Complete Generalized Communicating P Systems with Three Cells -- Event-based Life in a Nutshell: How Evaluation of Individual Life Cycles Can Reveal Statistical Inferences Using Action-accumulating P Systems -- On Evolution-Communication P Systems with Energy Having Bounded and Unbounded Communication -- Generalized P Colony Automata and Their Relation to P Automata -- Modeling and Validating an Engineering Application in Kernel P Systems -- Solving a Special Case of the P Conjecture Using Dependency Graphs with Dissolution -- Most Common Words -- A cP Systems Solution -- Tissue P Systems with Rule Production/Removal -- Reversing Steps in Membrane Systems Computations -- Families of Languages Encoded by SN P Systems -- On the Robust Power of Morphogenetic Systems for Time Bounded Computation. |
Record Nr. | UNISA-996465473903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Membrane Computing : 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers / / edited by Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVI, 293 p. 33 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Software engineering Computer networks Computer Science Software Engineering Computer Science Logic and Foundations of Programming Computer Communication Networks |
ISBN | 3-319-73359-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Simulating Evolutional Symport/Antiport by Evolution-Communication and Vice Versa in Tissue P Systems with Parallel Communication -- Hierarchical P Systems with Randomized Right-hand Sides of Rules -- Controlled Reversibility in Reaction Systems -- Multi-set Patterns and Their Application to Dynamic Causalities in Membrane Systems -- Counting Membrane Systems -- APCol Systems with Teams -- Bi-simulation Between P Colonies and P Systems with Multi-stable Catalysts -- Computationally Complete Generalized Communicating P Systems with Three Cells -- Event-based Life in a Nutshell: How Evaluation of Individual Life Cycles Can Reveal Statistical Inferences Using Action-accumulating P Systems -- On Evolution-Communication P Systems with Energy Having Bounded and Unbounded Communication -- Generalized P Colony Automata and Their Relation to P Automata -- Modeling and Validating an Engineering Application in Kernel P Systems -- Solving a Special Case of the P Conjecture Using Dependency Graphs with Dissolution -- Most Common Words -- A cP Systems Solution -- Tissue P Systems with Rule Production/Removal -- Reversing Steps in Membrane Systems Computations -- Families of Languages Encoded by SN P Systems -- On the Robust Power of Morphogenetic Systems for Time Bounded Computation. |
Record Nr. | UNINA-9910349263603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Membrane Computing [[electronic resource] ] : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers / / edited by Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (X, 363 p. 52 illus.) |
Disciplina | 006.32 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Software engineering Pattern recognition systems Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Automated Pattern Recognition |
ISBN | 3-319-54072-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466083403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers / / edited by Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (X, 363 p. 52 illus.) |
Disciplina | 006.32 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Software engineering Pattern recognition systems Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Automated Pattern Recognition |
ISBN | 3-319-54072-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484817703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|