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.
Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry : 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers / / edited by Federico Rossi, Stefano Piotto, Simona Concilio
| Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry : 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers / / edited by Federico Rossi, Stefano Piotto, Simona Concilio |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 199 p. 53 illus.) |
| Disciplina | 003.7 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence System theory Computer organization Computers Mathematics of Computing Artificial Intelligence Complex Systems Computer Systems Organization and Communication Networks Theory of Computation |
| ISBN | 3-319-57711-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Evolutionary Computation -- Genetic Algorithms and Applications. - Modeling and Simulation of Artificial and Biological Systems -- Systems Chemistry and Biology. |
| Record Nr. | UNINA-9910254819103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Bioinformatics and Computational Biology [[electronic resource] ] : 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings / / edited by Ronnie Alves
| Advances in Bioinformatics and Computational Biology [[electronic resource] ] : 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings / / edited by Ronnie Alves |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 147 p. 43 illus.) |
| Disciplina | 572.80285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Artificial intelligence Computer science—Mathematics Numerical analysis Software engineering Computational Biology/Bioinformatics Artificial Intelligence Discrete Mathematics in Computer Science Numeric Computing Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-01722-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sorting λ-Permutations by λ-Operations -- Super Short Reversals on Both Gene Order and Intergenic Sizes -- Identifying Maximal Perfect Haplotype Blocks -- Sorting by Weighted Reversals and Transpositions -- Graph databases in Molecular Biology -- ViMT - Development of a Web-based Vivarium Management Tool -- An argumentation theory-based multiagent model to annotate proteins -- AutoModel: a client-server tool for intuitive and interactive homology modeling of protein-ligand complexes -- Detecting Acute Lymphoblastic Leukemia in Down Syndrome Patients using Convolutional Neural Networks on Preprocessed Mutated Datasets -- S2FS: Single score feature selection applied to the problem of distinguishing long non-coding RNAs from protein coding transcripts -- A Genetic Algorithm for Character State Live Phylogeny -- A workflow for predicting microRNAs targets via accessibility in Flavivirus genomes -- Parallel solution based on collective communication operations for phylogenetic bootstrapping in PhyML 3.0. |
| Record Nr. | UNISA-996466461303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Bioinformatics and Computational Biology : 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings / / edited by Ronnie Alves
| Advances in Bioinformatics and Computational Biology : 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings / / edited by Ronnie Alves |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 147 p. 43 illus.) |
| Disciplina |
572.80285
570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Artificial intelligence Computer science—Mathematics Numerical analysis Software engineering Computational Biology/Bioinformatics Artificial Intelligence Discrete Mathematics in Computer Science Numeric Computing Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-01722-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sorting λ-Permutations by λ-Operations -- Super Short Reversals on Both Gene Order and Intergenic Sizes -- Identifying Maximal Perfect Haplotype Blocks -- Sorting by Weighted Reversals and Transpositions -- Graph databases in Molecular Biology -- ViMT - Development of a Web-based Vivarium Management Tool -- An argumentation theory-based multiagent model to annotate proteins -- AutoModel: a client-server tool for intuitive and interactive homology modeling of protein-ligand complexes -- Detecting Acute Lymphoblastic Leukemia in Down Syndrome Patients using Convolutional Neural Networks on Preprocessed Mutated Datasets -- S2FS: Single score feature selection applied to the problem of distinguishing long non-coding RNAs from protein coding transcripts -- A Genetic Algorithm for Character State Live Phylogeny -- A workflow for predicting microRNAs targets via accessibility in Flavivirus genomes -- Parallel solution based on collective communication operations for phylogenetic bootstrapping in PhyML 3.0. |
| Record Nr. | UNINA-9910349398303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Computer Algebra : In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada / / edited by Carsten Schneider, Eugene Zima
| Advances in Computer Algebra : In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada / / edited by Carsten Schneider, Eugene Zima |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (xi, 280 pages) : illustrations |
| Disciplina | 004.0151 |
| Collana | Springer Proceedings in Mathematics & Statistics |
| Soggetto topico |
Difference equations
Functional equations Sequences (Mathematics) Special functions Computer software Computer science—Mathematics Mathematical physics Difference and Functional Equations Sequences, Series, Summability Special Functions Mathematical Software Mathematics of Computing Theoretical, Mathematical and Computational Physics |
| ISBN | 3-319-73232-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sergei A. Abramov and Moulay A. Barkatou, On Strongly Non-Singular Polynomial Matrices -- Moulay Barkatou, Thomas Cluzeau and Carole El Bacha, On the Computation of Simple Forms and Regular Solutions of Linear Difference Systems -- Johannes Blumlein, Mark Round and Carsten Schneider, Refined Holonomic Summation Algorithms in Particle Physics -- Shaoshi Chen, Bivariate Extensions of Abramov’s Algorithm for Rational Summation -- Hao Du, Hui Huang and Ziming Li, A q-Analogue of the Modified Abramov-Petkovsek Reduction -- Manuel Kauers and Doron Zeilberger, Factorization of C-finite Sequences -- Johannes Middeke and Carsten Schneider, Denominator Bounds for Systems of Recurrence Equations using ΠΣ-Extensions -- Evans Doe Ocansey and Carsten Schneider, Representing (q–)Hypergeometric Products and Mixed Versions in Difference Rings -- Anton A. Panferov, Linearly Satellite Unknowns in Linear Differential Systems -- Peter Paule and Silviu Radu, Rogers-Ramanujan Functions, Modular Functions, and Computer Algebra. |
| Record Nr. | UNINA-9910300118903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Computer Games [[electronic resource] ] : 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers / / edited by Tristan Cazenave, Jaap van den Herik, Abdallah Saffidine, I-Chen Wu
| Advances in Computer Games [[electronic resource] ] : 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers / / edited by Tristan Cazenave, Jaap van den Herik, Abdallah Saffidine, I-Chen Wu |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIII, 181 p. 89 illus., 46 illus. in color.) |
| Disciplina | 794.8 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Application software Artificial intelligence Image processing—Digital techniques Computer vision Software engineering Computer science—Mathematics Theory of Computation Computer and Information Systems Applications Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Software Engineering Mathematics of Computing |
| ISBN | 3-030-65883-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Advice are useful for game AI : Experiments with alpha-beta search players in shogi -- Reducing Partner's Cognitive Load by Estimating the Level of Understanding in the Cooperative Game Hanabi -- Making a Better Game: The History of Cluster -- Improving Human Players' T-Spin Technique in Tetris with Procedural Problem Generation -- A Further Investigation of Neural Network Players for Game 2048 -- A Novel Application for Game Tree Search - Exploiting Pruning Mechanisms for Quantified Integer Programs -- New Hex Patterns for Fill and Prune -- Solving Cram using Combinatorial Game Theory -- Exploiting Game Decompositions in Monte Carlo Tree Search -- On Efficiency of Fully Probing Mechanisms in Nonogram Solving Algorithm -- Net2Net Extension for the AlphaGo Zero Algorithm -- Designing policy network with deep learning in turn-based strategy games -- Steps towards Strongly Solving 7x7 Chinese Checkers -- The Ludii General Game System: Interactive Demonstration. |
| Record Nr. | UNISA-996418318803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Computer Games : 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers / / edited by Tristan Cazenave, Jaap van den Herik, Abdallah Saffidine, I-Chen Wu
| Advances in Computer Games : 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers / / edited by Tristan Cazenave, Jaap van den Herik, Abdallah Saffidine, I-Chen Wu |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIII, 181 p. 89 illus., 46 illus. in color.) |
| Disciplina | 794.8 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Application software Artificial intelligence Image processing—Digital techniques Computer vision Software engineering Computer science—Mathematics Theory of Computation Computer and Information Systems Applications Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Software Engineering Mathematics of Computing |
| ISBN | 3-030-65883-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Advice are useful for game AI : Experiments with alpha-beta search players in shogi -- Reducing Partner's Cognitive Load by Estimating the Level of Understanding in the Cooperative Game Hanabi -- Making a Better Game: The History of Cluster -- Improving Human Players' T-Spin Technique in Tetris with Procedural Problem Generation -- A Further Investigation of Neural Network Players for Game 2048 -- A Novel Application for Game Tree Search - Exploiting Pruning Mechanisms for Quantified Integer Programs -- New Hex Patterns for Fill and Prune -- Solving Cram using Combinatorial Game Theory -- Exploiting Game Decompositions in Monte Carlo Tree Search -- On Efficiency of Fully Probing Mechanisms in Nonogram Solving Algorithm -- Net2Net Extension for the AlphaGo Zero Algorithm -- Designing policy network with deep learning in turn-based strategy games -- Steps towards Strongly Solving 7x7 Chinese Checkers -- The Ludii General Game System: Interactive Demonstration. |
| Record Nr. | UNINA-9910447249203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Computer Games [[electronic resource] ] : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers / / edited by Mark H.M. Winands, H. Jaap van den Herik, Walter A. Kosters
| Advances in Computer Games [[electronic resource] ] : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers / / edited by Mark H.M. Winands, H. Jaap van den Herik, Walter A. Kosters |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XX, 235 p. 117 illus.) |
| Disciplina | 794.8 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Artificial intelligence Computer science Computer networks Computer science—Mathematics Discrete mathematics Software engineering Artificial Intelligence Theory of Computation Computer Communication Networks Discrete Mathematics in Computer Science Software Engineering |
| ISBN | 3-319-71649-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analytical Solution for “EinStein würfelt nicht!" with One Stone -- Toward Solving EinStein würfelt nicht! -- Analysis of Fred Horn's Gloop Puzzle -- Set Matching: An Enhancement of the Hales-Jewett Pairing Strategy Playing Hanabi Near-Optimally Optimal Play of the Farkle Dice GameDeep df-pn and its Efficient Implementations -- Improved Policy Networks for Computer Go -- Exploring Positional Linear Go -- Influence of Search Depth on Position Evaluation -- Evaluating Chess-like Games Using Generated Natural Language Descriptions -- Machine Learning in the Game of Breakthrough -- A Curling Agent Based on the Monte-Carlo Tree Search Considering the Similarity of the Best Action among Similar States -- Exploration Bonuses Based on Upper Confidence Bounds for Sparse Developing a 2048 Player with Backward Temporal Coherence Learning and Restart -- A Little Bit of Frustration Can Go a Long Way -- Automated Adaptation and Assessment in Serious Games: A Portable Tool for Supporting Learning -- An Analysis of Majority Voting in Homogeneous Groups for Checkers: Understanding Group Performance through Unbalance -- Yasol: An Open Source Solver for Quantified Mixed Integer Programs. |
| Record Nr. | UNISA-996465764103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Computer Games : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers / / edited by Mark H.M. Winands, H. Jaap van den Herik, Walter A. Kosters
| Advances in Computer Games : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers / / edited by Mark H.M. Winands, H. Jaap van den Herik, Walter A. Kosters |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XX, 235 p. 117 illus.) |
| Disciplina | 794.8 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Artificial intelligence Computer science Computer networks Computer science—Mathematics Discrete mathematics Software engineering Artificial Intelligence Theory of Computation Computer Communication Networks Discrete Mathematics in Computer Science Software Engineering |
| ISBN | 3-319-71649-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analytical Solution for “EinStein würfelt nicht!" with One Stone -- Toward Solving EinStein würfelt nicht! -- Analysis of Fred Horn's Gloop Puzzle -- Set Matching: An Enhancement of the Hales-Jewett Pairing Strategy Playing Hanabi Near-Optimally Optimal Play of the Farkle Dice GameDeep df-pn and its Efficient Implementations -- Improved Policy Networks for Computer Go -- Exploring Positional Linear Go -- Influence of Search Depth on Position Evaluation -- Evaluating Chess-like Games Using Generated Natural Language Descriptions -- Machine Learning in the Game of Breakthrough -- A Curling Agent Based on the Monte-Carlo Tree Search Considering the Similarity of the Best Action among Similar States -- Exploration Bonuses Based on Upper Confidence Bounds for Sparse Developing a 2048 Player with Backward Temporal Coherence Learning and Restart -- A Little Bit of Frustration Can Go a Long Way -- Automated Adaptation and Assessment in Serious Games: A Portable Tool for Supporting Learning -- An Analysis of Majority Voting in Homogeneous Groups for Checkers: Understanding Group Performance through Unbalance -- Yasol: An Open Source Solver for Quantified Mixed Integer Programs. |
| Record Nr. | UNINA-9910484078603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Computer Games [[electronic resource] ] : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / / edited by Aske Plaat, Jaap van den Herik, Walter Kosters
| Advances in Computer Games [[electronic resource] ] : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / / edited by Aske Plaat, Jaap van den Herik, Walter Kosters |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XX, 261 p. 128 illus. in color.) |
| Disciplina | 794.8 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Artificial intelligence Computer science Computer science—Mathematics Discrete mathematics Software engineering Artificial Intelligence Theory of Computation Discrete Mathematics in Computer Science Software Engineering |
| ISBN | 3-319-27992-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Monte-Carlo Tree Search and its enhancements -- Theoretical aspects and complexity.-Analysis of game characteristics -- Search algorithms -- Machine learning. |
| Record Nr. | UNISA-996466367403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Computer Games : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / / edited by Aske Plaat, Jaap van den Herik, Walter Kosters
| Advances in Computer Games : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / / edited by Aske Plaat, Jaap van den Herik, Walter Kosters |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XX, 261 p. 128 illus. in color.) |
| Disciplina | 794.8 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Artificial intelligence Computer science Computer science—Mathematics Discrete mathematics Software engineering Artificial Intelligence Theory of Computation Discrete Mathematics in Computer Science Software Engineering |
| ISBN | 3-319-27992-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Monte-Carlo Tree Search and its enhancements -- Theoretical aspects and complexity.-Analysis of game characteristics -- Search algorithms -- Machine learning. |
| Record Nr. | UNINA-9910484446303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Computer science—Mathematics
(3515)
- Discrete Mathematics in Computer Science (2056)
- Algorithms (1984)
- Discrete mathematics (1193)
- Computer science (1107)