24 resultater (0,23128 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

String Processing and Information Retrieval - - Bog - Springer International Publishing AG - Plusbog.dk

String Processing and Information Retrieval - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 23rd International Symposium on String Processing and Information Retrieval, SPIRE 2016, held in Beppu, Japan, in October 2016. The 25 full papers presented were carefully reviewed and selected from 46 submissions. The focus of the papers is on fundamental studies of string processes and information retrieval and its applications for example to areas such as bioinformatics, Web mining and others.

DKK 416.00
1

String Processing and Information Retrieval - - Bog - Springer International Publishing AG - Plusbog.dk

String Processing and Information Retrieval - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 29th International Symposium on String Processing and Information Retrieval, SPIRE 2022, held in Concepción, Chile, in November 2022. The 23 full papers presented in this volume were carefully reviewed and selected from 43 submissions. They cover topics such as: data structures; algorithms; information retrieval; compression; combinatorics on words; and computational biology.

DKK 604.00
1

Introduction to String Theory - Sergio Cecotti - Bog - Springer International Publishing AG - Plusbog.dk

Introduction to String Theory - Sergio Cecotti - Bog - Springer International Publishing AG - Plusbog.dk

Graduate students typically enter into courses on string theory having little to no familiarity with the mathematical background so crucial to the discipline. As such, this book, based on lecture notes, edited and expanded, from the graduate course taught by the author at SISSA and BIMSA, places particular emphasis on said mathematical background. The target audience for the book includes students of both theoretical physics and mathematics. This explains the book’s "strange" style: on the one hand, it is highly didactic and explicit, with a host of examples for the physicists, but, in addition, there are also almost 100 separate technical boxes, appendices, and starred sections, in which matters discussed in the main text are put into a broader mathematical perspective, while deeper and more rigorous points of view (particularly those from the modern era) are presented. The boxes also serve to further shore up the reader’s understanding of the underlying math. In writing this book,the author’s goal was not to achieve any sort of definitive conciseness, opting instead for clarity and "completeness". To this end, several arguments are presented more than once from different viewpoints and in varying contexts.

DKK 986.00
1

Classical and Quantum Cosmology - Gianluca Calcagni - Bog - Springer International Publishing AG - Plusbog.dk

Classical and Quantum Cosmology - Gianluca Calcagni - Bog - Springer International Publishing AG - Plusbog.dk

This comprehensive textbook is devoted to classical and quantum cosmology, with particular emphasis on modern approaches to quantum gravity and string theory and on their observational imprint. It covers major challenges in theoretical physics such as the big bang and the cosmological constant problem. An extensive review of standard cosmology, the cosmic microwave background, inflation and dark energy sets the scene for the phenomenological application of all the main quantum-gravity and string-theory models of cosmology. Born of the author''s teaching experience and commitment to bridging the gap between cosmologists and theoreticians working beyond the established laws of particle physics and general relativity, this is a unique text where quantum-gravity approaches and string theory are treated on an equal footing. As well as introducing cosmology to undergraduate and graduate students with its pedagogical presentation and the help of 45 solved exercises, this book, which includes an ambitious bibliography of about 3500 items, will serve as a valuable reference for lecturers and researchers.

DKK 858.00
1

WALCOM: Algorithms and Computation - - Bog - Springer International Publishing AG - Plusbog.dk

WALCOM: Algorithms and Computation - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 17th International Conference and Workshops on Algorithms and Computation, WALCOM 2023, which took place in Hsinchu, Taiwan, in March 2023. The 30 full papers presented together with 2 invited papers were carefully reviewed and selected from 75 submissions. They cover topics such as: computational geometry; string algorithm; optimization; graph algorithm; approximation algorithm; and parameterized complexity.

DKK 604.00
1

Language and Automata Theory and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

Language and Automata Theory and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 10th InternationalConference on Language and Automata Theory and Applications, LATA 2016, held inPrague, Czech Republic, in March 2016. The 42 revised full papers presented together with 5 invited talks werecarefully reviewed and selected from 119 submissions. The papers cover thefollowing topics: algebraic language theory; algorithms for semi-structureddata mining, algorithms on automata and words; automata and logic; automata forsystem analysis and program verification; automata networks, concurrency andPetri nets; automatic structures; cellular automata, codes, combinatorics onwords; computational complexity; data and image compression; descriptionalcomplexity; digital libraries and document engineering; foundations of finitestate technology; foundations of XML; fuzzy and rough languages; grammaticalinference and algorithmic learning; graphs and graph transformation; languagevarieties and semigroups; parallel and regulated rewriting; parsing; patterns;string and combinatorial issues in computational biology and bioinformatics;string processing algorithms; symbolic dynamics; term rewriting; transducers;trees, tree languages and tree automata; weighted automata.

DKK 416.00
1

Language and Automata Theory and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

Language and Automata Theory and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held in Nice, France in March 2015. The 53 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 115 submissions. The papers cover the following topics: algebraic language theory; algorithms for semi-structured data mining, algorithms on automata and words; automata and logic; automata for system analysis and program verification; automata networks, concurrency and Petri nets; automatic structures; cellular automata, codes, combinatorics on words; computational complexity; data and image compression; descriptional complexity; digital libraries and document engineering; foundations of finite state technology; foundations of XML; fuzzy and rough languages; grammatical inference and algorithmic learning; graphs and graph transformation; language varieties and semigroups; parallel and regulated rewriting; parsing; patterns; string and combinatorial issues in computational biology and bioinformatics; string processing algorithms; symbolic dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted automata.

DKK 416.00
1

Fundamentals of Java Programming - Mitsunori Ogihara - Bog - Springer International Publishing AG - Plusbog.dk

Fundamentals of Java Programming - Mitsunori Ogihara - Bog - Springer International Publishing AG - Plusbog.dk

Making extensive use of examples, this textbook on Java programming teaches the fundamental skills for getting started in a command-line environment. Meant to be used for a one-semester course to build solid foundations in Java, Fundamentals of Java Programming eschews second-semester content to concentrate on over 180 code examples and 250 exercises. Key object classes (String, Scanner, PrintStream, Arrays, and File) are included to get started in Java programming. The programs are explained with almost line-by-line descriptions, also with chapter-by-chapter coding exercises. Teaching resources include solutions to the exercises, as well as digital lecture slides.

DKK 604.00
1

Managing COPD - - Bog - Springer International Publishing AG - Plusbog.dk

Managing COPD - - Bog - Springer International Publishing AG - Plusbog.dk

The fourth edition of this popular book captures the latest updates in within the management and treatment of patients with COPD. Managing COPD, fourth edition, includes recommendations for COPD from published guidelines (eg, the GOLD, ATS, and NICE guidelines) and presents them in the context of relevant clinical treatment issues. This is an in-depth guide on the management of COPD, concentrating on the impact of COPD on a patient as well as how healthcare professionals can intervene and educate the patient at an early stage and thereby slow the onset of severe symptoms.

DKK 336.00
1

Database Systems for Advanced Applications - - Bog - Springer International Publishing AG - Plusbog.dk

Database Systems for Advanced Applications - - Bog - Springer International Publishing AG - Plusbog.dk

This two volume set LNCS 10177 and 10178 constitutes the refereed proceedings of the 22nd International Conference on Database Systems for Advanced Applications, DASFAA 2017, held in Suzhou, China, in March 2017. The 73 full papers, 9 industry papers, 4 demo papers and 3 tutorials were carefully selected from a total of 300 submissions. The papers are organized around the following topics: semantic web and knowledge management; indexing and distributed systems; network embedding; trajectory and time series data processing; data mining; query processing and optimization; text mining; recommendation; security, privacy, senor and cloud; social network analytics; map matching and spatial keywords; query processing and optimization; search and information retrieval; string and sequence processing; stream date processing; graph and network data processing; spatial databases; real time data processing; big data; social networks and graphs.

DKK 426.00
1

Database Systems for Advanced Applications - - Bog - Springer International Publishing AG - Plusbog.dk

Database Systems for Advanced Applications - - Bog - Springer International Publishing AG - Plusbog.dk

This two volume set LNCS 10177 and 10178 constitutes the refereed proceedings of the 22nd International Conference on Database Systems for Advanced Applications, DASFAA 2017, held in Suzhou, China, in March 2017. The 73 full papers, 9 industry papers, 4 demo papers and 3 tutorials were carefully selected from a total of 300 submissions. The papers are organized around the following topics: semantic web and knowledge management; indexing and distributed systems; network embedding; trajectory and time series data processing; data mining; query processing and optimization; text mining; recommendation; security, privacy, senor and cloud; social network analytics; map matching and spatial keywords; query processing and optimization; search and information retrieval; string and sequence processing; stream date processing; graph and network data processing; spatial databases; real time data processing; big data; social networks and graphs.

DKK 426.00
1

Finite Element Analysis on Badminton Racket Design Parameters - Andreas Oechsner - Bog - Springer International Publishing AG - Plusbog.dk

Finite Element Analysis on Badminton Racket Design Parameters - Andreas Oechsner - Bog - Springer International Publishing AG - Plusbog.dk

This work identifies the characteristics of racket design parameters that influence racket performance. It presents the finite element analysis of several designs of badminton rackets and compares them to experimental results for validation. Designing a racket requires a comprehensive understanding of racket performance characteristics. Essentially, racket performance is related to the sweet spot, which is the spot on the racket head that produces the most power and control when it strikes a shuttlecock. Determining a coefficient of restitution can help to identify the sweet spot on a racket. By analyzing several head shape designs, it becomes apparent that isometric head shape rackets produce better coefficients of restitution compared to oval and round ones. It is recommended that the racket design consist of low string tension, stiffer racket shafts and bigger head size in order to produce higher shuttlecock speed.

DKK 426.00
1

Language and Automata Theory and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

Language and Automata Theory and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 12th International Conference on Language and Automata Theory and Applications, LATA 2018, held in Ramat Gan, Israel, in April 2018. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 58 submissions. The papers cover fields like algebraic language theory, algorithms for semi-structured data mining, algorithms on automata and words, automata and logic, automata for system analysis and programme verification, automata networks, automatic structures, codes, combinatorics on words, computational complexity, concurrency and Petri nets, data and image compression, descriptional complexity, foundations of finite state technology, foundations of XML, grammars (Chomsky hierarchy, contextual, unification, categorial, etc.), grammatical inference and algorithmic learning, graphs and graph transformation, language varieties and semigroups, language-based cryptography, mathematical and logical foundations of programming methodologies, parallel and regulated rewriting, parsing, patterns, power series, string processing algorithms, symbolic dynamics, term rewriting, transducers, trees, tree languages and tree automata, and weighted automata.

DKK 426.00
1

Lorentz Symmetry Breaking—Classical and Quantum Aspects - Albert Petrov - Bog - Springer International Publishing AG - Plusbog.dk

Lorentz Symmetry Breaking—Classical and Quantum Aspects - Albert Petrov - Bog - Springer International Publishing AG - Plusbog.dk

This book presents a review of various issues related to Lorentz symmetry breaking. Explicitly, we consider (i) motivations for introducing Lorentz symmetry breaking, (ii) classical aspects of Lorentz-breaking field theory models including typical forms of Lorentz-breaking additive terms, wave propagation in Lorentz-breaking theories, and mechanisms for breaking the Lorentz symmetry; (iii) quantum corrections in Lorentz-breaking theories, especially the possibilities for perturbation generating the most interesting Lorentz-breaking terms; (iv) correspondence between non-commutative field theories and Lorentz symmetry breaking; (v) supersymmetric Lorentz-breaking theories; and (vi) Lorentz symmetry breaking in a curved space-time. We close the book with the review of experimental studies of Lorentz symmetry breaking. The importance and relevance of these topics are explained, first, by studies of limits of applicability of the Lorentz symmetry, second, by searches of the possible extensions of the standard model, including the Lorentz-breaking ones, and need to study their properties, third, by the relation between Lorentz symmetry breaking with string theory, fourth, by the problem of formulating a consistent quantum gravity theory, so that various modified gravity models are to be examined.

DKK 434.00
1

A Course on Hopf Algebras - Rinat Kashaev - Bog - Springer International Publishing AG - Plusbog.dk

A Course on Hopf Algebras - Rinat Kashaev - Bog - Springer International Publishing AG - Plusbog.dk

This textbook provides a concise, visual introduction to Hopf algebras and their application to knot theory, most notably the construction of solutions of the Yang–Baxter equations. Starting with a reformulation of the definition of a group in terms of structural maps as motivation for the definition of a Hopf algebra, the book introduces the related algebraic notions: algebras, coalgebras, bialgebras, convolution algebras, modules, comodules. Next, Drinfel’d’s quantum double construction is achieved through the important notion of the restricted (or finite) dual of a Hopf algebra, which allows one to work purely algebraically, without completions. As a result, in applications to knot theory, to any Hopf algebra with invertible antipode one can associate a universal invariant of long knots. These constructions are elucidated in detailed analyses of a few examples of Hopf algebras. The presentation of the material is mostly based on multilinear algebra, with all definitions carefully formulated and proofs self-contained. The general theory is illustrated with concrete examples, and many technicalities are handled with the help of visual aids, namely string diagrams. As a result, most of this text is accessible with minimal prerequisites and can serve as the basis of introductory courses to beginning graduate students.

DKK 415.00
1

Guide to Competitive Programming - Antti Laaksonen - Bog - Springer International Publishing AG - Plusbog.dk

Guide to Competitive Programming - Antti Laaksonen - Bog - Springer International Publishing AG - Plusbog.dk

This textbook features new material on advanced topics, such as calculating Fourier transforms, finding minimum cost flows in graphs, and using automata in string problems. Critically, the text accessibly describes and shows how competitive programming is a proven method of implementing and testing algorithms, as well as developing computational thinking and improving both programming and debugging skills. Topics and features:Introduces dynamic programming and other fundamental algorithm design techniques, and investigates a wide selection of graph algorithmsCompatible with the IOI Syllabus, yet also covering more advanced topics, such as maximum flows, Nim theory, and suffix structuresProvides advice for students aiming for the IOI contestSurveys specialized algorithms for trees, and discusses the mathematical topics that are relevant in competitive programmingExamines the use of the Python language in competitive programmingDiscusses sorting algorithms and binary search, and examines a selection of data structures of the C++ standard libraryExplores how GenAI will impact on the future of the fieldCovers such advanced algorithm design topics as bit-parallelism and amortized analysis, and presents a focus on efficiently processing array range queriesDescribes a selection of more advanced topics, including square-root algorithms and dynamic programming optimizationFully updated, expanded and easy to follow, this core textbook/guide is an ideal reference for all students needing to learn algorithms and to practice for programming contests. Knowledge of programming basics is assumed, but previous background in algorithm design or programming contests is not necessary. With its breadth of topics, examples and references, the book is eminently suitable for both beginners and more experienced readers alike.

DKK 415.00
1

Computer Aided Verification - - Bog - Springer International Publishing AG - Plusbog.dk

Computer Aided Verification - - Bog - Springer International Publishing AG - Plusbog.dk

A Billion SMT Queries a Day.- Program Verification with Constrained Horn Clauses.- Formal Methods for Probabilistic Programs Data-Driven Invariant Learning for Probabilistic Programs.- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.- Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions.- Abstraction-Renement for Hierarchical Probabilistic Models.- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification.- Example Guided Synthesis of Linear Approximations for Neural Network Verification.- Verifying Neural Networks Against Backdoor Attacks.- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning.- Neural Network Robustness as a Verication Property: A Principled Case Study.- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis.- A‑ne Loop Invariant Generation via Matrix Algebra.- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes.- Proof-guided Underapproximation Widening for Bounded Model Checking.- SolCMC: Solidity Compiler''s Model Checker.- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety.- Abstraction Modulo Stability for Reverse Engineering.- A Modular and Highly Extensible API Fuzzer for SMT Solvers.- Automata and Logic FORQ-based Language Inclusion Formal Testing.- Sound Automation of Magic Wands.- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition.- Complementing Büchi Automata with Ranker.- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers.- Local Search For SMT on Linear Integer Arithmetic.- Reasoning about Data Trees using CHCs.- Veried Erasure Correction in Coq with MathComp and VST.- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers.- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols.- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare.- Synthesizing Fair Decision Trees via Iterative Constraint Solving.- SMT-based Translation Validation for Machine Learning Compiler.- Lee Verifying Fairness in Quantum Machine Learning.- MoGym: Using Formal Models for Training and Verifying Decision-making Agents.- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications.- Verifying generalised and structural soundness of workow nets via relaxations.- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET.- Information Flow Guided Synthesis.- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.

DKK 349.00
1

Computer Aided Verification - - Bog - Springer International Publishing AG - Plusbog.dk

Computer Aided Verification - - Bog - Springer International Publishing AG - Plusbog.dk

A Billion SMT Queries a Day.- Program Verification with Constrained Horn Clauses.- Formal Methods for Probabilistic Programs Data-Driven Invariant Learning for Probabilistic Programs.- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.- Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions.- Abstraction-Renement for Hierarchical Probabilistic Models.- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification.- Example Guided Synthesis of Linear Approximations for Neural Network Verification.- Verifying Neural Networks Against Backdoor Attacks.- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning.- Neural Network Robustness as a Verication Property: A Principled Case Study.- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis.- A‑ne Loop Invariant Generation via Matrix Algebra.- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes.- Proof-guided Underapproximation Widening for Bounded Model Checking.- SolCMC: Solidity Compiler''s Model Checker.- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety.- Abstraction Modulo Stability for Reverse Engineering.- A Modular and Highly Extensible API Fuzzer for SMT Solvers.- Automata and Logic FORQ-based Language Inclusion Formal Testing.- Sound Automation of Magic Wands.- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition.- Complementing Büchi Automata with Ranker.- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers.- Local Search For SMT on Linear Integer Arithmetic.- Reasoning about Data Trees using CHCs.- Veried Erasure Correction in Coq with MathComp and VST.- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers.- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols.- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare.- Synthesizing Fair Decision Trees via Iterative Constraint Solving.- SMT-based Translation Validation for Machine Learning Compiler.- Lee Verifying Fairness in Quantum Machine Learning.- MoGym: Using Formal Models for Training and Verifying Decision-making Agents.- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications.- Verifying generalised and structural soundness of workow nets via relaxations.- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET.- Information Flow Guided Synthesis.- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.

DKK 349.00
1

Differential Geometry - Loring W. Tu - Bog - Springer International Publishing AG - Plusbog.dk

Differential Geometry - Loring W. Tu - Bog - Springer International Publishing AG - Plusbog.dk

This text presents a graduate-level introduction to differential geometry for mathematics and physics students. The exposition follows the historical development of the concepts of connection and curvature with the goal of explaining the Chern–Weil theory of characteristic classes on a principal bundle. Along the way we encounter some of the high points in the history of differential geometry, for example, Gauss'' Theorema Egregium and the Gauss–Bonnet theorem. Exercises throughout the book test the reader’s understanding of the material and sometimes illustrate extensions of the theory. Initially, the prerequisites for the reader include a passing familiarity with manifolds. After the first chapter, it becomes necessary to understand and manipulate differential forms. A knowledge of de Rham cohomology is required for the last third of the text. Prerequisite material is contained in author''s text An Introduction to Manifolds , and can be learned in one semester. For the benefit of the reader and to establish common notations, Appendix A recalls the basics of manifold theory. Additionally, in an attempt to make the exposition more self-contained, sections on algebraic constructions such as the tensor product and the exterior power are included. Differential geometry, as its name implies, is the study of geometry using differential calculus. It dates back to Newton and Leibniz in the seventeenth century, but it was not until the nineteenth century, with the work of Gauss on surfaces and Riemann on the curvature tensor, that differential geometry flourished and its modern foundation was laid. Over the past one hundred years, differential geometry has proven indispensable to an understanding of the physical world, in Einstein''s general theory of relativity, in the theory of gravitation, in gauge theory, and now in string theory. Differential geometry is also useful in topology, several complex variables, algebraic geometry, complex manifolds, and dynamical systems, among other fields. The field has even found applications to group theory as in Gromov''s work and to probability theory as in Diaconis''s work. It is not too far-fetched to argue that differential geometry should be in every mathematician''s arsenal.

DKK 486.00
1