Algorithmic Aspects in Information and Management [[electronic resource] ] : 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings / / edited by Riccardo Dondi, Guillaume Fertin, Giancarlo Mauri |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIV, 223 p. 36 illus.) |
Disciplina | 004.071 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Artificial intelligence—Data processing Pattern recognition systems Computer networks Discrete Mathematics in Computer Science Data Science Automated Pattern Recognition Computer Communication Networks |
ISBN | 3-319-41168-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Item Pricing for Combinatorial Public Projects -- Norm-Based Locality Measures of Two-Dimensional Hilbert Curves -- On the Complexity of Clustering with Relaxed Size Constraints -- Superstring Graph: A New Approach for Genome Assembly -- Efficient FPT Algorithms for (Strict) Compatibility of Unrooted Phylogenetic Trees -- A Very Fast String Matching Algorithm Based on Condensed Alphabets -- Minimum-Density Identifying Codes in Square Grids -- Separating Codes and Traffic Monitoring -- Know When to Persist: Deriving Value from a Stream Buffer -- Algorithmic Aspects of Upper Domination: A Parameterised Perspective -- On Network Formation Games with Heterogeneous Players and Basic Network Creation Games -- Parameterized Complexity of Team Formation in Social Networks -- Reconstructing Cactus Graphs from Shortest Path Information -- Near-Optimal Dominating Sets via Random Sampling -- A Multivariate Approach for Checking Resiliency in Access Control -- Efficient Algorithms for the Order Preserving Pattern Matching Problem -- Computing the Line-Constrained k-Center in the Plane for Small k -- Online k-max Search Algorithm with Applications to the Secretary Problem. |
Record Nr. | UNISA-996465958503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithmic Aspects in Information and Management : 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings / / edited by Riccardo Dondi, Guillaume Fertin, Giancarlo Mauri |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIV, 223 p. 36 illus.) |
Disciplina | 004.071 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Artificial intelligence—Data processing Pattern recognition systems Computer networks Discrete Mathematics in Computer Science Data Science Automated Pattern Recognition Computer Communication Networks |
ISBN | 3-319-41168-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Item Pricing for Combinatorial Public Projects -- Norm-Based Locality Measures of Two-Dimensional Hilbert Curves -- On the Complexity of Clustering with Relaxed Size Constraints -- Superstring Graph: A New Approach for Genome Assembly -- Efficient FPT Algorithms for (Strict) Compatibility of Unrooted Phylogenetic Trees -- A Very Fast String Matching Algorithm Based on Condensed Alphabets -- Minimum-Density Identifying Codes in Square Grids -- Separating Codes and Traffic Monitoring -- Know When to Persist: Deriving Value from a Stream Buffer -- Algorithmic Aspects of Upper Domination: A Parameterised Perspective -- On Network Formation Games with Heterogeneous Players and Basic Network Creation Games -- Parameterized Complexity of Team Formation in Social Networks -- Reconstructing Cactus Graphs from Shortest Path Information -- Near-Optimal Dominating Sets via Random Sampling -- A Multivariate Approach for Checking Resiliency in Access Control -- Efficient Algorithms for the Order Preserving Pattern Matching Problem -- Computing the Line-Constrained k-Center in the Plane for Small k -- Online k-max Search Algorithm with Applications to the Secretary Problem. |
Record Nr. | UNINA-9910484147203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Cellular Automata [[electronic resource] ] : 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings / / edited by Giancarlo Mauri, Samira El Yacoubi, Alberto Dennunzio, Katsuhiro Nishinari, Luca Manzoni |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XV, 528 p. 204 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence
Computers, Special purpose Computer networks Data protection Cryptography Data encryption (Computer science) Artificial Intelligence Special Purpose and Application-Based Systems Computer Communication Networks Data and Information Security Cryptology |
ISBN | 3-319-99813-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Biological Systems Modeling -- Simulation and Other Applications of CA -- Multi-agent Systems -- Pedestrian and Traffic Dynamics -- Synchronization and Control -- Theory and Cryptography -- Asynchronous Cellular Automata -- Crowds, Traffic and Cellular Automata. |
Record Nr. | UNISA-996466368003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Cellular Automata : 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings / / edited by Giancarlo Mauri, Samira El Yacoubi, Alberto Dennunzio, Katsuhiro Nishinari, Luca Manzoni |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XV, 528 p. 204 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence
Computers, Special purpose Computer networks Data protection Cryptography Data encryption (Computer science) Artificial Intelligence Special Purpose and Application-Based Systems Computer Communication Networks Data and Information Security Cryptology |
ISBN | 3-319-99813-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Biological Systems Modeling -- Simulation and Other Applications of CA -- Multi-agent Systems -- Pedestrian and Traffic Dynamics -- Synchronization and Control -- Theory and Cryptography -- Asynchronous Cellular Automata -- Crowds, Traffic and Cellular Automata. |
Record Nr. | UNINA-9910349411203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Development in Language Theory [[electronic resource] ] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / / edited by Giancarlo Mauri, Alberto Leporati |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XIV, 482 p.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science Machine theory Computer science—Mathematics Discrete mathematics Artificial intelligence Theory of Computation Formal Languages and Automata Theory Discrete Mathematics in Computer Science Computer Science Logic and Foundations of Programming Artificial Intelligence |
ISBN | 3-642-22321-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465472903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
|
Membrane Computing [[electronic resource] ] : 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers / / edited by Giancarlo Mauri, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (X, 413 p.) |
Disciplina | 004.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 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Lectures -- ?P Systems and Typed ?-Calculus -- P Automata -- Asynchronous P Systems and P Systems Working in the Sequential Mode -- Evolution and Oscillation in P Systems: Applications to Biological Phenomena -- An Approach to Computational Complexity in Membrane Computing -- LMNtal: A Language Model with Links and Membranes -- Regular Presentations -- Executable Specifications of P Systems -- On the Efficiency of P Systems with Active Membranes and Two Polarizations -- Communicative P Systems with Minimal Cooperation -- Ultimately Confluent Rewriting Systems. Parallel Multiset–Rewriting with Permitting or Forbidding Contexts -- Unstable P Systems: Applications to Linguistics -- A P System Description of the Sodium-Potassium Pump -- Inhibiting/De-inhibiting Rules in P Systems -- Time–Independent P Systems -- On Two-Dimensional Mesh Networks and Their Simulation with P Systems -- Exploring Computation Trees Associated with P Systems -- Approximating Non-discrete P Systems -- Reducing the Size of Extended Gemmating P Systems -- P Systems Generating Trees -- On Descriptive Complexity of P Systems -- P Systems with Symport/Antiport: The Traces of RBCs -- Conservative Computations in Energy–Based P Systems -- General Multi-fuzzy Sets and Fuzzy Membrane Systems -- Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes -- Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems -- On the Size of P Systems with Minimal Symport/Antiport. |
Record Nr. | UNISA-996465683703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Membrane Computing [[electronic resource] ] : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers / / edited by Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (VIII, 382 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Mathematical logic
Computers Computer simulation Bioinformatics Mathematical Logic and Foundations Theory of Computation Computation by Abstract Devices Mathematical Logic and Formal Languages Simulation and Modeling |
ISBN |
1-280-30798-6
9786610307982 3-540-24619-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Proton Pumping P Systems -- A Binary Data Structure for Membrane Processors: Connectivity Arrays -- Parsing with Active P Automata -- Universality of Minimal Symport/Antiport: Five Membranes Suffice -- Collapsing Hierarchies of Parallel Rewriting P Systems without Target Conflicts -- Evolution and Observation: A New Way to Look at Membrane Systems -- Tiling Rectangular Pictures with P Systems -- Simulating Boolean Circuits with P Systems -- P Systems Running on a Cluster of Computers -- Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem -- On the Dynamics of PB Systems: A Petri Net View -- P Systems Generating Hexagonal Picture Languages -- A Membrane System for the Leukocyte Selective Recruitment -- P Systems with Cutting/Recombination Rules Assigned to Membranes -- ? -P Automata with Communication Rules -- The Number of Membranes Matters -- An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies -- Can Hyperbolic Geometry Be of Help for P Systems? -- A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes -- A Reconfigurable Hardware Membrane System -- P Systems and Petri Nets -- Simulation of Mobile Ambients by P Systems. Part 1 -- Computing Partial Recursive Functions by Transition P Systems -- P Systems with External Input and Learning Strategies -- A Distributed Simulation of Transition P Systems -- About Splicing P Systems with Immediate Communication and Non-extended Splicing P Systems. |
Record Nr. | UNISA-996466170503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Membrane Computing : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers / / edited by Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (VIII, 382 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Mathematical logic
Computers Computer simulation Bioinformatics Mathematical Logic and Foundations Theory of Computation Computation by Abstract Devices Mathematical Logic and Formal Languages Simulation and Modeling |
ISBN |
1-280-30798-6
9786610307982 3-540-24619-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Proton Pumping P Systems -- A Binary Data Structure for Membrane Processors: Connectivity Arrays -- Parsing with Active P Automata -- Universality of Minimal Symport/Antiport: Five Membranes Suffice -- Collapsing Hierarchies of Parallel Rewriting P Systems without Target Conflicts -- Evolution and Observation: A New Way to Look at Membrane Systems -- Tiling Rectangular Pictures with P Systems -- Simulating Boolean Circuits with P Systems -- P Systems Running on a Cluster of Computers -- Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem -- On the Dynamics of PB Systems: A Petri Net View -- P Systems Generating Hexagonal Picture Languages -- A Membrane System for the Leukocyte Selective Recruitment -- P Systems with Cutting/Recombination Rules Assigned to Membranes -- ? -P Automata with Communication Rules -- The Number of Membranes Matters -- An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies -- Can Hyperbolic Geometry Be of Help for P Systems? -- A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes -- A Reconfigurable Hardware Membrane System -- P Systems and Petri Nets -- Simulation of Mobile Ambients by P Systems. Part 1 -- Computing Partial Recursive Functions by Transition P Systems -- P Systems with External Input and Learning Strategies -- A Distributed Simulation of Transition P Systems -- About Splicing P Systems with Immediate Communication and Non-extended Splicing P Systems. |
Record Nr. | UNINA-9910144208603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Unconventional Computation and Natural Computation [[electronic resource] ] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings / / edited by Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVI, 262 p. 68 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Machine theory Artificial intelligence Computer simulation Bioinformatics Theory of Computation Formal Languages and Automata Theory Artificial Intelligence Computer Modelling Computational and Systems Biology |
ISBN | 3-642-39074-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Quantum, cellular, molecular, neural, DNA -- Membrane, and evolutionary computing -- Cellular automata -- Computation based on chaos and dynamical systems -- Massive parallel computation -- Collective intelligence -- Computation based on physical principles such as relativistic -- Optical, spatial, collision-based computing -- Amorphous computing -- Physarum computing -- Hypercomputation -- Fuzzy and rough computing -- Swarm intelligence -- Artificial immune systems -- Physics of computation -- Chemical computation -- Evolving hardware -- The computational nature of self-assembly, developmental processes, bacterial communication, and brain processes. |
Record Nr. | UNISA-996465527403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|