1.043 resultater (0,28397 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Answer Set Programming - Vladimir Lifschitz - Bog - Springer Nature Switzerland AG - Plusbog.dk

Answer Set Programming - Vladimir Lifschitz - Bog - Springer Nature Switzerland AG - Plusbog.dk

Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibilities. The idea of ASP came from research on artificial intelligence and computational logic. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it. Search is performed by sophisticated software systems called answer set solvers. Combinatorial search problems often arise in science and technology, and ASP has found applications in diverse areas-in historical linguistic, in bioinformatics, in robotics, in space exploration, in oil and gas industry, and many others. The importance of this programming method was recognized by the Association for the Advancement of Artificial Intelligence in 2016, when AI Magazine published a special issue on answer set programming. The book introduces the reader to the theory and practice of ASP. It describes the input language of the answer set solver CLINGO, which was designed at the University of Potsdam in Germany and is used today by ASP programmers in many countries. It includes numerous examples of ASP programs and present the mathematical theory that ASP is based on. There are many exercises with complete solutions.

DKK 519.00
1

Answer Set Programming - Vladimir Lifschitz - Bog - Springer Nature Switzerland AG - Plusbog.dk

Answer Set Programming - Vladimir Lifschitz - Bog - Springer Nature Switzerland AG - Plusbog.dk

Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibilities. The idea of ASP came from research on artificial intelligence and computational logic. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it. Search is performed by sophisticated software systems called answer set solvers. Combinatorial search problems often arise in science and technology, and ASP has found applications in diverse areas-in historical linguistic, in bioinformatics, in robotics, in space exploration, in oil and gas industry, and many others. The importance of this programming method was recognized by the Association for the Advancement of Artificial Intelligence in 2016, when AI Magazine published a special issue on answer set programming. The book introduces the reader to the theory and practice of ASP. It describes the input language of the answer set solver CLINGO, which was designed at the University of Potsdam in Germany and is used today by ASP programmers in many countries. It includes numerous examples of ASP programs and present the mathematical theory that ASP is based on. There are many exercises with complete solutions.

DKK 502.00
1

Qualitative Analysis of Set-Valued Differential Equations - Anatoly A. Martynyuk - Bog - Springer Nature Switzerland AG - Plusbog.dk

Qualitative Analysis of Set-Valued Differential Equations - Anatoly A. Martynyuk - Bog - Springer Nature Switzerland AG - Plusbog.dk

The book discusses set-valued differential equations defined in terms of the Hukuhara derivative. Focusing on equations with uncertainty, i.e., including an unknown parameter, it introduces a regularlization method to handle them. The main tools for qualitative analysis are the principle of comparison of Chaplygin - Wazhewsky, developed for the scalar, vector and matrix-valued Lyapunov functions and the method of nonlinear integral inequalities, which are used to establish existence, stability or boundedness. Driven by the question of how to model real processes using a set-valued of differential equations, the book lays the theoretical foundations for further study in this area. It is intended for experts working in the field of qualitative analysis of differential and other types of equations.

DKK 816.00
1

Combinatorial Set Theory of C*-algebras - Ilijas Farah - Bog - Springer Nature Switzerland AG - Plusbog.dk

Combinatorial Set Theory of C*-algebras - Ilijas Farah - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book explores and highlights the fertile interaction between logic and operator algebras, which in recent years has led to the resolution of several long-standing open problems on C*-algebras. The interplay between logic and operator algebras (C*-algebras, in particular) is relatively young and the author is at the forefront of this interaction. The deep level of scholarship contained in these pages is evident and opens doors to operator algebraists interested in learning about the set-theoretic methods relevant to their field, as well as to set-theorists interested in expanding their view to the non-commutative realm of operator algebras. Enough background is included from both subjects to make the book a convenient, self-contained source for students. A fair number of the exercises form an integral part of the text. They are chosen to widen and deepen the material from the corresponding chapters. Some other exercises serve as a warmup for the latter chapters.

DKK 986.00
1

Theory of Cryptography - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Theory of Cryptography - - Bog - Springer Nature Switzerland AG - Plusbog.dk

The three-volume set LNCS 13042, LNCS 13043 and LNCS 13044 constitutes the refereed proceedings of the 19th International Conference on Theory of Cryptography, TCC 2021, held in Raleigh, NC, USA, in November 2021. The total of 66 full papers presented in this three-volume set was carefully reviewed and selected from 161 submissions. They cover topics on proof systems, attribute-based and functional encryption, obfuscation, key management and secure communication.

DKK 884.00
1

Theory of Cryptography - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Theory of Cryptography - - Bog - Springer Nature Switzerland AG - Plusbog.dk

The three-volume set LNCS 13042, LNCS 13043 and LNCS 13044 constitutes the refereed proceedings of the 19th International Conference on Theory of Cryptography, TCC 2021, held in Raleigh, NC, USA, in November 2021. The total of 66 full papers presented in this three-volume set was carefully reviewed and selected from 161 submissions. They cover topics on proof systems, attribute-based and functional encryption, obfuscation, key management and secure communication.

DKK 800.00
1

Theory of Cryptography - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Theory of Cryptography - - Bog - Springer Nature Switzerland AG - Plusbog.dk

The three-volume set LNCS 13042, LNCS 13043 and LNCS 13044 constitutes the refereed proceedings of the 19th International Conference on Theory of Cryptography, TCC 2021, held in Raleigh, NC, USA, in November 2021. The total of 66 full papers presented in this three-volume set was carefully reviewed and selected from 161 submissions. They cover topics on proof systems, attribute-based and functional encryption, obfuscation, key management and secure communication.

DKK 884.00
1

Advances in Computational Intelligence - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Advances in Computational Intelligence - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This two-volume set LNCS 12861 and LNCS 12862 constitutes the refereed proceedings of the 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, held virtually, in June 2021. The 85 full papers presented in this two-volume set were carefully reviewed and selected from 134 submissions. The papers are organized in topical sections on Deep Learning for Biomedicine, Intelligent Computing Solutions for SARS-CoV-2 Covid-19, Advanced Topics in Computational Intelligence, Biosignals Processing, Neuro-Engineering and much more.

DKK 426.00
1

Advances in Computational Intelligence - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Advances in Computational Intelligence - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This two-volume set LNCS 12861 and LNCS 12862 constitutes the refereed proceedings of the 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, held virtually, in June 2021. The 85 full papers presented in this two-volume set were carefully reviewed and selected from 134 submissions. The papers are organized in topical sections on Deep Learning for Biomedicine, Intelligent Computing Solutions for SARS-CoV-2 Covid-19, Advanced Topics in Computational Intelligence, Biosignals Processing, Neuro-Engineering and much more.

DKK 800.00
1

Scalable Uncertainty Management - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Scalable Uncertainty Management - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the refereed proceedings of the 12th International Conference on Scalable Uncertainty Management, SUM 2018, which was held in Milan, Italy, in October 2018. The 23 full, 6 short papers and 2 tutorials presented in this volume were carefully reviewed and selected from 37 submissions. The conference is dedicated to the management of large amounts of complex, uncertain, incomplete, or inconsistent information. New approaches have been developed on imprecise probabilities, fuzzy set theory, rough set theory, ordinal uncertainty representations, or even purely qualitative models.

DKK 434.00
1

Machine Learning, Optimization, and Data Science - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Machine Learning, Optimization, and Data Science - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This two-volume set, LNCS 12565 and 12566, constitutes the refereed proceedings of the 6th International Conference on Machine Learning, Optimization, and Data Science, LOD 2020, held in Siena, Italy, in July 2020. The total of 116 full papers presented in this two-volume post-conference proceedings set was carefully reviewed and selected from 209 submissions. These research articles were written by leading scientists in the fields of machine learning, artificial intelligence, reinforcement learning, computational optimization, and data science presenting a substantial array of ideas, technologies, algorithms, methods, and applications.

DKK 800.00
1