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.
Architecture of Advanced Numerical Analysis Systems [[electronic resource] ] : Designing a Scientific Computing System using OCaml / / by Liang Wang, Jianxin Zhao
| Architecture of Advanced Numerical Analysis Systems [[electronic resource] ] : Designing a Scientific Computing System using OCaml / / by Liang Wang, Jianxin Zhao |
| Autore | Wang Liang |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 |
| Descrizione fisica | 1 electronic resource (472 p.) |
| Disciplina | 005.13 |
| Altri autori (Persone) | ZhaoJianxin |
| Soggetto topico |
Programming languages (Electronic computers)
Computer science Artificial intelligence—Data processing Programming Language Computer Science Data Science Models of Computation |
| ISBN | 1-4842-8853-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Introduction.-Chapter 2: Core Optimization -- Chapter 3: Algorithm Differentiation -- Chapter 4: Mathematical Optimization -- Chapter 5: Deep Neural Networks -- Chapter 6: Computation Graph -- Chapter 7: Performance Accelerators -- Chapter 8: Compiler Backends -- Chapter 9: Composition and Deployment -- Chapter 10: Distributed Computing -- Chapter 11: Testing Framework -- Appendix A: Basic Analytics Examples -- Appendix B: System Conventions -- Appendix C: Metric Systems and Constants -- Appendix D: AlgoDiff Module -- Appendix E: Neural Network Module -- Appendix F: Actor System for Distributed Computing -- Bibliography. |
| Record Nr. | UNINA-9910637747103321 |
Wang Liang
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Beginning Ruby 3 [[electronic resource] ] : From Beginner to Pro / / by Carleton DiLeo, Peter Cooper
| Beginning Ruby 3 [[electronic resource] ] : From Beginner to Pro / / by Carleton DiLeo, Peter Cooper |
| Autore | DiLeo Carleton |
| Edizione | [4th ed. 2021.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2021 |
| Descrizione fisica | 1 online resource (XXX, 585 p. 21 illus.) |
| Disciplina | 371.39445 |
| Soggetto topico |
Programming languages (Electronic computers)
Internet programming Compilers (Computer programs) Open source software Programming Language Web Development Compilers and Interpreters Open Source |
| ISBN | 1-4842-6324-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1 - Foundations and Scaffolding -- 1. Let’s Get It Started: Installing Ruby -- 2. Programming = Joy: A Whistle-Stop Tour of Ruby and Object Orientation -- 3. Ruby’s Building Blocks: Data, Expressions, and Flow Control -- 4. Developing Your First Ruby Application -- 5. The Ruby Ecosystem -- Part 2 - The Core of Ruby -- 6. Classes, Objects, and Modules -- 7. Projects and Libraries -- 8. Documentation, Error Handling, Debugging, and Testing -- 9. Files and Databases -- 10. Deploying Ruby Applications and Libraries -- 11. Advanced Ruby Features -- 12. Tying It Together: Developing a Larger Ruby Application -- Part 3 - Ruby Online -- 13. Web Application Frameworks: Rails, Sinatra, and Ramaze -- 14. Ruby and the Internet -- 15. Networking, Sockets, and Daemons -- 16. Useful Ruby Libraries -- Appendix A. Ruby Primer and Review for Developers -- Appendix B. Useful Resources. |
| Record Nr. | UNINA-9910483789803321 |
|
DiLeo Carleton
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Challenging Programming in Python: A Problem Solving Perspective [[electronic resource] /] / by Habib Izadkhah, Rashid Behzadidoost
| Challenging Programming in Python: A Problem Solving Perspective [[electronic resource] /] / by Habib Izadkhah, Rashid Behzadidoost |
| Autore | Izadkhah Habib |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (287 pages) |
| Disciplina | 005.133 |
| Soggetto topico |
Engineering mathematics
Engineering - Data processing Control engineering Robotics Automation Programming languages (Electronic computers) Mathematical and Computational Engineering Applications Control, Robotics, Automation Programming Language |
| ISBN | 3-031-39999-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Python Basics -- Math -- Number -- String -- Game -- Count -- Miscellaneous Problems. |
| Record Nr. | UNINA-9910760280503321 |
|
Izadkhah Habib
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communication Networks [[electronic resource] ] : A Concise Introduction, Second Edition / / by Jean Walrand, Shyam Parekh
| Communication Networks [[electronic resource] ] : A Concise Introduction, Second Edition / / by Jean Walrand, Shyam Parekh |
| Autore | Walrand Jean |
| Edizione | [2nd ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XX, 220 p.) |
| Disciplina | 006.3 |
| Collana | Synthesis Lectures on Learning, Networks, and Algorithms |
| Soggetto topico |
Artificial intelligence
Cooperating objects (Computer systems) Programming languages (Electronic computers) Telecommunication Artificial Intelligence Cyber-Physical Systems Programming Language Communications Engineering, Networks |
| ISBN | 3-031-79281-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Praise for Communication Networks: A Concise Introduction -- Preface -- The Internet -- Principles -- Ethernet -- WiFi -- Routing -- Internetworking -- Transport -- Models -- LTE -- QOS -- Physical Layer -- Additional Topics -- Bibliography -- Authors' Biographies -- Index. |
| Record Nr. | UNINA-9910795623403321 |
|
Walrand Jean
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communication Networks [[electronic resource] ] : A Concise Introduction, Second Edition / / by Jean Walrand, Shyam Parekh
| Communication Networks [[electronic resource] ] : A Concise Introduction, Second Edition / / by Jean Walrand, Shyam Parekh |
| Autore | Walrand Jean |
| Edizione | [2nd ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XX, 220 p.) |
| Disciplina | 006.3 |
| Collana | Synthesis Lectures on Learning, Networks, and Algorithms |
| Soggetto topico |
Artificial intelligence
Cooperating objects (Computer systems) Programming languages (Electronic computers) Telecommunication Artificial Intelligence Cyber-Physical Systems Programming Language Communications Engineering, Networks |
| ISBN | 3-031-79281-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Praise for Communication Networks: A Concise Introduction -- Preface -- The Internet -- Principles -- Ethernet -- WiFi -- Routing -- Internetworking -- Transport -- Models -- LTE -- QOS -- Physical Layer -- Additional Topics -- Bibliography -- Authors' Biographies -- Index. |
| Record Nr. | UNINA-9910814050203321 |
|
Walrand Jean
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Composable Enterprise: Agile, Flexible, Innovative [[electronic resource] ] : A Gamechanger for Organisations, Digitisation and Business Software / / by August-Wilhelm Scheer
| The Composable Enterprise: Agile, Flexible, Innovative [[electronic resource] ] : A Gamechanger for Organisations, Digitisation and Business Software / / by August-Wilhelm Scheer |
| Autore | Scheer August-Wilhelm |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2024 |
| Descrizione fisica | 1 online resource (243 pages) |
| Disciplina | 004.6 |
| Soggetto topico |
Computer networks
Business information services Programming languages (Electronic computers) Computer Communication Networks IT in Business Programming Language |
| ISBN | 3-658-43089-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 The Composable Enterprise as a New Paradigm for Organisation and Software -- 2 The Joy of Innovation as a Feature of the Composable Enterprise -- 3 From Process and Enterprise Architecture to Digital Enterprise Twin in the Metaverse -- 4 Application Composition Platform Architecture -- 5 Development -- 6 Execution and Operational Performance Support (Case Management) -- 7 Insight through Process Mining -- 8 From Insight to Action: Robotic Process Automation -- 9 Innovation Drivers for the Composable Enterprise -- 10 Digital Industry Concepts for the Composable Enterprise -- Literature. |
| Record Nr. | UNINA-9910760263703321 |
|
Scheer August-Wilhelm
|
||
| Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cosmic Rays [[electronic resource] ] : Multimessenger Astrophysics and Revolutionary Astronomy / / by Alessandro De Angelis
| Cosmic Rays [[electronic resource] ] : Multimessenger Astrophysics and Revolutionary Astronomy / / by Alessandro De Angelis |
| Autore | De Angelis Alessandro |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (214 pages) |
| Disciplina | 539.7223 |
| Collana | Astronomers' Universe |
| Soggetto topico |
Astronomy
Astrophysics Mathematical physics Nuclear physics Programming languages (Electronic computers) Computer science - Mathematics Astronomy, Cosmology and Space Sciences Theoretical, Mathematical and Computational Physics Nuclear and Particle Physics Programming Language Mathematics of Computing |
| ISBN | 3-031-38560-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Largest Energies in the Universe -- The Mystery of Cosmic Rays -- Cosmic-Ray Research after the First World War -- Cosmic Rays and the Physics of Elementary Particles -- Fire Under the Ashes: the Discoveries at the End of the 20th Century and at the Beginning of the 21st Century -- Cosmic Ray Research Today: Multi-Messenger Astrophysics -- Cosmic Rays and Climate -- Cosmic Rays and Life -- Cosmic Rays and the Exploration of the Universe -- Cosmic Rays and Archaeology. |
| Record Nr. | UNINA-9910760288303321 |
|
De Angelis Alessandro
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Genetic Programming [[electronic resource] ] : 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings / / edited by Mario Giacobini, Bing Xue, Luca Manzoni
| Genetic Programming [[electronic resource] ] : 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings / / edited by Mario Giacobini, Bing Xue, Luca Manzoni |
| Autore | Giacobini Mario |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (236 pages) |
| Disciplina | 005.13 |
| Altri autori (Persone) |
XueBing
ManzoniLuca |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
System theory Computer networks Machine learning Natural language processing (Computer science) Programming Language Complex Systems Computer Communication Networks Machine Learning Natural Language Processing (NLP) |
| ISBN | 3-031-56957-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Long Presentations -- Fuzzy Pattern Trees for Classification Problems Using Genetic Programming -- Generational Computation Reduction in Informal Counterexample-Driven Genetic Programming -- Investigating Premature Convergence in Co-optimization of Morphology and Control in Evolved Virtual Soft Robots -- Grammar-based Evolution of Polyominoes -- Naturally Interpretable Control Policies via Graph-based Genetic Programming -- DALex: Lexicase-like Selection via Diverse Aggregation -- Enhancing Large Language Models-based Code Generation by Leveraging Genetic Improvement -- SLIM GSGP: The Non-Bloating Geometric Semantic Genetic Programming -- Improving Generalization of Evolutionary Feature Construction with Minimal Complexity Knee Points in Regression -- Short Presentations -- Look into the Mirror: Evolving Self-Dual Bent Boolean Functions.-An Algorithm Based on Grammatical Evolution for Discovering SHACL Constraints -- A Comprehensive Comparison of Lexicase-Based Selection Methods for Symbolic Regression Problems -- Improvement of Last Level Cache. |
| Record Nr. | UNISA-996589544603316 |
|
Giacobini Mario
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Genetic Programming [[electronic resource] ] : 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings / / edited by Mario Giacobini, Bing Xue, Luca Manzoni
| Genetic Programming [[electronic resource] ] : 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings / / edited by Mario Giacobini, Bing Xue, Luca Manzoni |
| Autore | Giacobini Mario |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (236 pages) |
| Disciplina | 005.13 |
| Altri autori (Persone) |
XueBing
ManzoniLuca |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
System theory Computer networks Machine learning Natural language processing (Computer science) Programming Language Complex Systems Computer Communication Networks Machine Learning Natural Language Processing (NLP) |
| ISBN | 3-031-56957-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Long Presentations -- Fuzzy Pattern Trees for Classification Problems Using Genetic Programming -- Generational Computation Reduction in Informal Counterexample-Driven Genetic Programming -- Investigating Premature Convergence in Co-optimization of Morphology and Control in Evolved Virtual Soft Robots -- Grammar-based Evolution of Polyominoes -- Naturally Interpretable Control Policies via Graph-based Genetic Programming -- DALex: Lexicase-like Selection via Diverse Aggregation -- Enhancing Large Language Models-based Code Generation by Leveraging Genetic Improvement -- SLIM GSGP: The Non-Bloating Geometric Semantic Genetic Programming -- Improving Generalization of Evolutionary Feature Construction with Minimal Complexity Knee Points in Regression -- Short Presentations -- Look into the Mirror: Evolving Self-Dual Bent Boolean Functions.-An Algorithm Based on Grammatical Evolution for Discovering SHACL Constraints -- A Comprehensive Comparison of Lexicase-Based Selection Methods for Symbolic Regression Problems -- Improvement of Last Level Cache. |
| Record Nr. | UNINA-9910847080303321 |
|
Giacobini Mario
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Genetic Programming [[electronic resource] ] : 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / / edited by Ting Hu, Nuno Lourenço, Eric Medvet
| Genetic Programming [[electronic resource] ] : 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / / edited by Ting Hu, Nuno Lourenço, Eric Medvet |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (x, 279 pages) : illustrations |
| Disciplina | 006.31 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Programming languages (Electronic computers)
Artificial intelligence Computer systems Operating systems (Computers) Computer programming Computer networks Programming Language Artificial Intelligence Computer System Implementation Operating Systems Programming Techniques Computer Communication Networks |
| ISBN | 3-030-72812-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quality Diversity Genetic Programming for Learning Decision Tree Ensembles -- Progressive Insular Cooperative GP -- Regenerating Soft Robots through Neural Cellular Automata -- Inclusive Genetic Programming -- Towards incorporating Human Knowledge in Fuzzy Pattern Tree Evolution -- Evolutionary Neural Architecture Search Supporting Approximate Multipliers -- Automatic design of deep neural networks applied to image segmentation problems -- On the Influence of Grammars on Crossover in Grammatical Evolution -- On the Generalizability of Programs Synthesized by Grammar-Guided Genetic Programming -- Evolution of Complex Combinational Logic Circuits Using Grammatical Evolution with SystemVerilog -- Evofficient: Reproducing a Cartesian Genetic Programming Method -- Software Anti-patterns Detection Under Uncertainty Using A Possibilistic Evolutionary Approach -- Probabilistic Grammatical Evolution -- Evolving allocation rules for beam search heuristics in assembly line balancing -- Incremental Evaluation of Genetic Programming -- Mining Feature Relationships in Data -- Getting a Head Start on Program Synthesis with Genetic Programming. |
| Record Nr. | UNINA-9910483756603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
