1.218 resultater (0,33302 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 502.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 519.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

Neural Information Processing - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Neural Information Processing - - Bog - Springer Nature Switzerland AG - Plusbog.dk

The eleven-volume set LNCS 15286-15296 constitutes the refereed proceedings of the 31st International Conference on Neural Information Processing, ICONIP 2024, held in Auckland, New Zealand, in December 2024. The 318 regular papers presented in the proceedings set were carefully reviewed and selected from 1301 submissions. They focus on four main areas, namely: theory and algorithms; cognitive neurosciences; human-centered computing; and applications.

DKK 705.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 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