Algorithms and data structures Books
Kouam Kouam Alexandre Rodrigue Algorithmes pour débutants
£14.78
Springer Nature Switzerland AG Sequential and Parallel Algorithms and Data
Book SynopsisThis textbook is a concise introduction to the basic toolbox of structures that allow efficient organization and retrieval of data, key algorithms for problems on graphs, and generic techniques for modeling, understanding, and solving algorithmic problems. The authors aim for a balance between simplicity and efficiency, between theory and practice, and between classical results and the forefront of research. Individual chapters cover arrays and linked lists, hash tables and associative arrays, sorting and selection, priority queues, sorted sequences, graph representation, graph traversal, shortest paths, minimum spanning trees, optimization, collective communication and computation, and load balancing. The authors also discuss important issues such as algorithm engineering, memory hierarchies, algorithm libraries, and certifying algorithms. Moving beyond the sequential algorithms and data structures of the earlier related title, this book takes into account the paradigm shift towards the parallel processing required to solve modern performance-critical applications and how this impacts on the teaching of algorithms. The book is suitable for undergraduate and graduate students and professionals familiar with programming and basic mathematical language. Most chapters have the same basic structure: the authors discuss a problem as it occurs in a real-life situation, they illustrate the most important applications, and then they introduce simple solutions as informally as possible and as formally as necessary so the reader really understands the issues at hand. As they move to more advanced and optional issues, their approach gradually leads to a more mathematical treatment, including theorems and proofs. The book includes many examples, pictures, informal explanations, and exercises, and the implementation notes introduce clean, efficient implementations in languages such as C++ and Java.Trade Review“The style of the book is accessible and is suitable for a wide range of audiences, from mathematicians and computer scientists to researchers from other fields who would like to use parallelised approaches in their research.” (Irina Ioana Mohorianu, zbMATH 1445.68003, 2020)Table of ContentsAppetizer: Integer Arithmetic.- Introduction.- Representing Sequences by Arrays and Linked Lists.- Hash Tables and Associative Arrays.- Sorting and Selection.- Priority Queues.- Sorted Sequences.- Graph Representation.- Graph Traversal.- Shortest Paths.- Minimum Spanning Trees.- Generic Approaches to Optimization.- Collective Communication and Computation.- Load Balancing.- App. A, Mathematical Background.- App. B, Computer Architecture Aspects.- App. C, Support for Parallelism in C++.- App. D, The Message Passing Interface (MPI).- App. E, List of Commercial Products, Trademarks and Licenses.
£39.99
Springer Nature Switzerland AG Graph Drawing and Network Visualization: 27th
Book SynopsisThis book constitutes the refereed proceedings of the 27th International Symposium on Graph Drawing and Network Visualization, GD 2019, held in Prague, Czech Republic, in September 2019.The 42 papers and 12 posters presented in this volume were carefully reviewed and selected from 113 submissions. They were organized into the following topical sections: Cartograms and Intersection Graphs, Geometric Graph Theory, Clustering, Quality Metrics, Arrangements, A Low Number of Crossings, Best Paper in Track 1, Morphing and Planarity, Parameterized Complexity, Collinearities, Topological Graph Theory, Best Paper in Track 2, Level Planarity, Graph Drawing Contest Report, and Poster Abstracts.Table of ContentsCartograms and Intersection Graphs.- Stick Graphs with Length Constraints.- Representing Graphs and Hypergraphs by Touching Polygons in 3D.- Optimal Morphs of Planar Orthogonal Drawings II.- Computing Stable Demers Cartograms.- Geometric Graph Theory.- Bundled Crossings Revisited.- Crossing Numbers of Beyond-Planar Graphs.- On the 2-Colored Crossing Number.- Minimal Representations of Order Types by Geometric Graphs.- Balanced Schnyder woods for planar triangulations: an experimental study with applications to graph drawing and graph separators.- Clustering.- A Quality Metric for Visualization of Clusters in Graphs.- Multi-level Graph Drawing using Infomap Clustering.- On Strict (Outer-)Confluent Graphs.- Quality Metrics.- On the Edge-Length Ratio of Planar Graphs.- Node Overlap Removal Algorithms: A Comparative Study.- Graphs with large total angular resolution.- Arrangements.- Computing Height-Optimal Tangles Faster.- On Arrangements of Orthogonal Circles.- Extending Simple Drawings.- Coloring Hasse diagrams and disjointness graphs of curves.- A Low Number of Crossings.- Efficient Generation of Different Topological Representations of Graphs Beyond-Planarity.- The QuaSEFE Problem.- ChordLink: A New Hybrid Visualization Model.- Stress-Plus-X (SPX) Graph Layout.- Best Paper in Track 1.- Exact Crossing Number Parameterized by Vertex Cover.- Morphing and Planarity.- Maximizing Ink in Partial Edge Drawings of k-Plane Graphs.- Graph Drawing with Morphing Partial Edges.- A Note on Universal Point Sets for Planar Graphs.- Parameterized Complexity.- Parameterized Algorithms for Book Embedding Problems.- Sketched Representations and Orthogonal Planarity of Bounded Treewidth Graphs.- Collinearities.- 4-Connected Triangulations on Few Lines.- Line and Plane Cover Numbers Revisited.- Drawing planar graphs with few segments on a polynomial grid.- Variants of the Segment Number of a Graph.- Topological Graph Theory.- Local and Union Page Numbers.- Mixed Linear Layouts: Complexity, Heuristics, and Experiments.- Homotopy height, grid-major height and graph-drawing height.- On the Edge-Vertex Ratio of Maximal Thrackles.- Best Paper in Track 2.- Symmetry Detection and Classification in Drawings of Graphs.- Level Planarity.- An SPQR-Tree-Like Embedding Representation for Upward Planarity.- A Natural Quadratic Approach to the Generalized Graph Layering Problem.- Graph Stories in Small Area.- Level-Planar Drawings with Few Slopes.- Graph Drawing Contest Report.- Graph Drawing Contest Report.- Poster Abstracts.- A 1-planarity Testing and Embedding Algorithm.- Stretching Two Pseudolines in Planar Straight-Line Drawings.- Adventures in Abstraction: Reachability in Hierarchical Drawings.- On Topological Book Embedding for k-Plane Graphs.- On Compact RAC Drawings.- FPQ-choosable Planarity Testing.- Packing Trees into 1-Planar Graphs.- Geographic Network Visualization Techniques: A Work-In-Progress Taxonomy.- On the Simple Quasi Crossing Number of K 11.- Minimising Crossings in a Tree-Based Network.- Crossing Families and Their Generalizations.- Which Sets of Strings are Pseudospherical?.
£44.99
Springer Nature Switzerland AG Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Book SynopsisThis book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. Table of ContentsWitnessing Secure Compilation.- BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results.- Fixing Code That Explodes Under Symbolic Evaluation.- The Correctness of a Code Generator for a Functional Language.- Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification.- Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction.- A Systematic Approach to Abstract Interpretation of Program Transformations.- Sharing ghost variables in a collection of abstract domains.- Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation.- Synthesizing Environment Invariants for Modular Hardware Verification.- Systematic Classi cation of Attackers via Bounded Model Checking.- Cheap CTL Compassion in NuSMV.- A Cooperative Parallelization Approach for Property-Directed k-Induction.- Generalized Property-Directed Reachability for Hybrid Systems.- Language Inclusion for Finite Prime Event Structures.- Promptness and Bounded Fairness in Concurrent and Parameterized Systems.- Solving LIA* Using Approximations.- Formalizing and checking Multilevel Consistency.- Practical Abstractions for Automated Veri cation of Shared-Memory Concurrency.- How to Win First-Order Safety Games.- Improving Parity Game Solvers with Justifications.
£66.49
Springer Nature Switzerland AG Distributed Computing for Emerging Smart Networks: First International Workshop, DiCES-N 2019, Hammamet, Tunisia, October 30, 2019, Revised Selected Papers
Book SynopsisThis book contains extended versions of the best papers presented at the First International Workshop on Distributed Computing for Emerging Smart Networks, DiCES-N 2019, held in Hammamet, Tunisia, in October 2019.The 9 revised full papers included in this volume were carefully reviewed and selected from 24 initial submissions. The papers are organized in the following topical sections: intelligent transportation systems; distributed computing for networking and communication; articial intelligence applied to cyber physical systems.Table of ContentsIntelligent Transportation Systems.- Distributed Computing for Networking and Communication.- Articial Intelligence Applied to Cyber Physical Systems.
£54.99
Springer Nature Switzerland AG Complexity and Approximation: In Memory of Ker-I Ko
Book SynopsisThis Festschrift is in honor of Ker-I Ko, Professor in the Stony Brook University, USA. Ker-I Ko was one of the founding fathers of computational complexity over real numbers and analysis. He and Harvey Friedman devised a theoretical model for real number computations by extending the computation of Turing machines. He contributed significantly to advancing the theory of structural complexity, especially on polynomial-time isomorphism, instance complexity, and relativization of polynomial-time hierarchy. Ker-I also made many contributions to approximation algorithm theory of combinatorial optimization problems. This volume contains 17 contributions in the area of complexity and approximation. Those articles are authored by researchers over the world, including North America, Europe and Asia. Most of them are co-authors, colleagues, friends, and students of Ker-I Ko.Table of ContentsIn Memoriam: Ker-I Ko (1950-2018).- Ker-I Ko and the Study of Resource-Bounded Kolmogorov Complexity.- The Power of Self-Reducibility Selectivity, Information, and Approximation.- Who Asked Us - How the Theory of Computing Answers, QuestionsAbout Analysis.- Promise Problems on Probability Distributions.- On Nonadaptive Reductions to the Set of Random Strings and its Dense Subsets.- Computability of the Solutions to Navier-Stokes Equations via Recursive Approximation.- Automatic Generation of Structured Overviews over a Very Large Corpus of Documents.- Better Upper Bounds for Searching on a Line with Byzantine Robots.- A Survey on Double Greedy Algorithms for Maximizing Non-monotone Submodular Functions.- Sequential Location Game on Continuous Directional Star Networks.- Core Decomposition, Maintenance and Applications.- Active and Busy Time Scheduling Problem: a Survey.- A Note on the Position Value for Hypergraph Communication Situations.- An Efficient Approximation Algorithm for the Steiner Tree Problem.- A Review for Submodular Optimization on Machine Scheduling Problems.- Edge Computing Integrated with Blockchain Technologies.
£54.99
Springer Nature Switzerland AG Treewidth, Kernels, and Algorithms: Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday
Book SynopsisThis Festschrift was published in honor of Hans L. Bodlaender on the occasion of his 60th birthday. The 14 full and 5 short contributions included in this volume show the many transformative discoveries made by H.L. Bodlaender in the areas of graph algorithms, parameterized complexity, kernelization and combinatorial games. The papers are written by his former Ph.D. students and colleagues as well as by his former Ph.D. advisor, Jan van Leeuwen.Chapter “Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Table of ContentsSeeing Arboretum for the (partial k) Trees.- Collaborating With Hans: Some Remaining Wonderments.- Hans Bodlaender and the Theory of Kernelization Lower Bounds.- Algorithms, Complexity, and Hans.- Lower Bounds for Dominating Set in Ball Graphs and for Weighted Dominating Set in Unit-Ball Graphs.- As Time Goes By: Reflections on Treewidth for Temporal Graphs.- Possible and Impossible Attempts to Solve the Treewidth Problem via ILPs.- Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds.- Efficient Graph Minors Theory and Parameterized Algorithms for (Planar) Disjoint Paths.- Four shorts stories on surprising algorithmic uses of treewidth.- Algorithms for NP-Hard Problems via Rank-related Parameters of Matrices.- A Survey on Spanning Tree Congestion.- Surprising Applications of Treewidth Bounds for Planar Graphs.- Computing tree decompositions.- Experimental analysis of treewidth.- A Retrospective on (Meta) Kernelization.- Games, Puzzles and Treewidth.- Fast Algorithms for Join Operations on Tree Decompositions.
£54.99
Springer Nature Switzerland AG Blockchain and Distributed Ledger Technology Use
Book SynopsisBlockchain and other trustless systems have gone from being relatively obscure technologies, which were only known to a small community of computer scientists and cryptologists, to mainstream phenomena that are now considered powerful game changers for many industries. This book explores and assesses real-world use cases and case studies on blockchain and related technologies. The studies describe the respective applications and address how these technologies have been deployed, the rationale behind their application, and finally, their outcomes. The book shares a wealth of experiences and lessons learned regarding financial markets, energy, SCM, healthcare, law and compliance. Given its scope, it is chiefly intended for academics and practitioners who want to learn more about blockchain applications.Table of ContentsToward More Rigorous Blockchain Research: Recommendations for Writing Blockchain Case Studies.- From a Use Case Categorization Scheme Towards A Maturity Model for Engineering Distributed Ledgers.- What’s In The Box? Combating Counterfeit Medications in Pharmaceutical Supply Chains With Blockchain Vigilant Information Systems.- A Use Case of Blockchain in Healthcare: Allergy Card.- International Exchange Of Financial Information on Distributed Ledgers: Outlook and Design Blueprint.- A Blockchain Supported Solution for Compliant Digital Security Offerings.- A Blockchain-Driven Approach to Fulfill the GDPR Recording Requirements.- Wibson: A Case Study of a Decentralized, Privacy-Preserving Data Marketplace.- : Business Process Transformation in Natural Resources Development Using Blockchain: Indigenous Entrepreneurship, Trustless Technology, and Rebuilding Trust.- Smart City Applications on the Blockchain: Development of a Multi-Layer Taxonomy.- A Case Study of Blockchain-Induced Digital Transformation in the Public Sector.- Analyzing the Potential of DLT-Based Applications in Smart Factories.- Disrupting Platform Organizations with Blockchain Technology and the Internet of Things?.- Using Blockchain for Online Multimedia Management: Characteristics of Existing Platforms.- Supply Chain Visibility Ledger.
£151.99
Springer Nature Switzerland AG Persuasive Technology. Designing for Future Change: 15th International Conference on Persuasive Technology, PERSUASIVE 2020, Aalborg, Denmark, April 20–23, 2020, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 15th International Conference on Persuasive Technology, PERSUASIVE 2020, held in Aalborg, Denmark, in April 2020. The 18 full papers presented in this book were carefully reviewed and selected from 79 submissions. The papers are grouped in the following topical sections: methodological and theoretical perspectives on persuasive design; persuasive in practice, digital insights; persuasive technologies for health and wellbeing; persuasive solutions for a sustainable future; and on security and ethics in persuasive technology.Table of ContentsMethodological and theoretical perspectives on persuasive design.- Persuasive in practice, digital insights.- Persuasive technologies for health and wellbeing.- Persuasive solutions for a sustainable future.- On security and ethics in Persuasive Technology.
£49.99
Springer Nature Switzerland AG Primer for Data Analytics and Graduate Study in Statistics
This book is specially designed to refresh and elevate the level of understanding of the foundational background in probability and distributional theory required to be successful in a graduate-level statistics program. Advanced undergraduate students and introductory graduate students from a variety of quantitative backgrounds will benefit from the transitional bridge that this volume offers, from a more generalized study of undergraduate mathematics and statistics to the career-focused, applied education at the graduate level. In particular, it focuses on growing fields that will be of potential interest to future M.S. and Ph.D. students, as well as advanced undergraduates heading directly into the workplace: data analytics, statistics and biostatistics, and related areas.
£71.24
Springer Nature Switzerland AG Universal Access in Human-Computer Interaction. Design Approaches and Supporting Technologies: 14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 202
Book SynopsisThis two-volume set of LNCS 12188 and 12189 constitutes the refereed proceedings of the 14th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic. The total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings from a total of 6326 submissions. UAHCI 2020 includes a total of 80 regular papers which are organized in topical sections named: Design for All Theory, Methods and Practice; User Interfaces and Interaction Techniques for Universal Access; Web Accessibility; Virtual and Augmented Reality for Universal Access; Robots in Universal Access; Technologies for Autism Spectrum Disorders; Technologies for Deaf Users; Universal Access to Learning and Education; Social Media, Digital Services, eInclusion and Innovation; Intelligent Assistive Environments.Table of ContentsUniversal Design of ICT: A Historical Journey from Specialized Adaptations towards Designing for Diversity.- From Accessible Interfaces to Useful and Adapted Interactions.- Integrated Assistive Auxiliary System - Developing Low Cost Assistive Technology to Provide Computational Accessibility for Disabled People.- Co-creating Persona Scenarios with Diverse Users Enriching Inclusive Design.- Construction of an Inexpensive Eye Tracker for Social Inclusion and Education.- Understanding Organizations through Systems Oriented Design: Mapping Critical Intervention Points for Universal Design.- Process Modelling (BPM) in Healthcare – Breast Cancer Screening.- Brain-Computer Interfaces for Communication in Severe Acquired Brain Damage: Challenges and Strategies in Clinical Research and Development.- Evaluating Hands-on and Hands-free Input Methods for a Simple Game.- Affective Communication Enhancement System for Locked-In Syndrome Patients.- Perceived Midpoint of the Forearm.- User Interfaces in Dark Mode During Daytime – Improved Productivity or Just Cool-Looking?.- Usability Evaluation of Short Dwell-time Activated Eye Typing Techniques.- A Comparative Study of Three Sudoku Input Methods for Touch Displays.- QB-Gest: Qwerty Bimanual Gestural Input for Eyes-free Smartphone Text Input.- Exploring WAI-Aria Techniques to Enhance Screen Reader Interaction: The Case of a Portal for Rating Accessibility of Cultural Heritage Sites.- Impact of Sentence length on the Readability of Web for Screen Reader Users.- Towards Universal Accessibility on the Web: Do Grammar Checking Tools Improve Text Readability?.- Investigating the Effect of Adding Visual Content to Textual Search Interfaces on Accessibility of Dyslexic Users.- A Comparative Study of Accessibility and Usability of Norwegian University Websites for Screen Reader Users Based on User Experience and Automated Assessment.- Usability of User-centric Mobile application design from Visually Impaired People's Perspective.- Large Scale Augmented Reality for Collaborative Environments.- Walking Support for Visually Impaired Using AR/MR and Virtual Braille Block.- Effect of Background Element Difference on Regional Cerebral Blood Flow while Viewing Stereoscopic Video Clips.- Dementia: I Am Physically Fading. Can Virtual Reality Help? Physical Training for People with Dementia in Confined Mental Health Units.- A Virtual Rehabilitation System for Occupational Therapy with Hand Motion Capture and Force Feedback -Implementation with Vibration Motor.- iVision: An Assistive System for the Blind based on Augmented Reality and Machine Learning.- Relationship between Eye Movements and Individual Differences in Motion Sickness Susceptibility While Viewing Stereoscopic Movies under Controlled Consciousness.- HoloPrognosis - An AR-based Serious Exercise Game for Early Stage Parkinson’s Disease Patients.- A Feasibility Study on the Application of Virtual Reality Technology for the Rehabilitation of Upper Limbs after Stroke.- Usable and Accessible Robot Programming System for People Who are Visually Impaired.- Lego Robots in Puppet Play for Children with Cerebral Palsy.- Being Aware of One’s Self in the Auto-Generated Chat with a Communication Robot.- Voice User Interfaces for Service Robots: Design Principles and Methodology.- Robotic Cane for the Visually Impaired.
£66.49
Springer Nature Switzerland AG Fundamentals of Data Analytics: With a View to Machine Learning
Book SynopsisThis book introduces the basic methodologies for successful data analytics. Matrix optimization and approximation are explained in detail and extensively applied to dimensionality reduction by principal component analysis and multidimensional scaling. Diffusion maps and spectral clustering are derived as powerful tools. The methodological overlap between data science and machine learning is emphasized by demonstrating how data science is used for classification as well as supervised and unsupervised learning.Table of Contents1 Introduction.- 2 Prerequisites from Matrix Analysis.- 3 Multivariate Distributions and Moments.- 4 Dimensionality Reduction.- 5 Classification and Clustering.- 6 Support Vector Machines.- 7 Machine Learning.- Index.
£54.99
Springer Nature Switzerland AG Fundamentals of Quantum Computing: Theory and
Book SynopsisThis introductory book on quantum computing includes an emphasis on the development of algorithms. Appropriate for both university students as well as software developers interested in programming a quantum computer, this practical approach to modern quantum computing takes the reader through the required background and up to the latest developments. Beginning with introductory chapters on the required math and quantum mechanics, Fundamentals of Quantum Computing proceeds to describe four leading qubit modalities and explains the core principles of quantum computing in detail. Providing a step-by-step derivation of math and source code, some of the well-known quantum algorithms are explained in simple ways so the reader can try them either on IBM Q or Microsoft QDK. The book also includes a chapter on adiabatic quantum computing and modern concepts such as topological quantum computing and surface codes.Features:o Foundational chapters that build the necessary background on math and quantum mechanics.o Examples and illustrations throughout provide a practical approach to quantum programming with end-of-chapter exercises.o Detailed treatment on four leading qubit modalities -- trapped-ion, superconducting transmons, topological qubits, and quantum dots -- teaches how qubits work so that readers can understand how quantum computers work under the hood and devise efficient algorithms and error correction codes. Also introduces protected qubits - 0-π qubits, fluxon parity protected qubits, and charge-parity protected qubits. o Principles of quantum computing, such as quantum superposition principle, quantum entanglement, quantum teleportation, no-cloning theorem, quantum parallelism, and quantum interference are explained in detail. A dedicated chapter on quantum algorithm explores both oracle-based, and Quantum Fourier Transform-based algorithms in detail with step-by-step math and working code that runs on IBM QisKit and Microsoft QDK. Topics on EPR Paradox, Quantum Key Distribution protocols, Density Matrix formalism, and Stabilizer formalism are intriguing. While focusing on the universal gate model of quantum computing, this book also introduces adiabatic quantum computing and quantum annealing.This book includes a section on fault-tolerant quantum computing to make the discussions complete. The topics on Quantum Error Correction, Surface codes such as Toric code and Planar code, and protected qubits help explain how fault tolerance can be built at the system level.Trade Review“The book represents a new and fresh approach to quantum computing, starting with theoretical physical knowledge that is highlighted by beautiful figures. Then, quantum computing is explained by quantum programing languages and extensive languages. It is recommended to everyone interested in quantum computing. It is easy to follow through a beautiful and clear presentation, programming examples and additional exercises.” (Andreas Wichert, zbMATH 1477.68005, 2022)Table of ContentsPART ONE 1 Foundations of Quantum Mechanics 1.1 Matter 1.2 Atoms, Elementary Particles, and Molecules 1.3 Light and Quantization of Energy 1.4 Electron Configuration 1.5 Wave-Particle Duality and Probabilistic Nature 1.6 Wavefunctions and Probability Amplitudes 1.7 Some exotic states of matter 1.8 Summary 1.9 Practice Problems 1.10 References and further reading 2 Dirac’s bra-ket notation and Hermitian Operators2.1 Scalars 2.2 Complex Numbers 2.3 Vectors 2.4 Matrices 2.5 Linear Vector Spaces 2.6 Using Dirac’s bra-ket notation 2.7 Expectation Values and Variances2.8 Eigenstates, Eigenvalues and Eigenfunctions2.9 Characteristic Polynomial 2.10 Definite Symmetric Matrices 2.11 Tensors2.12 Statistics and Probability2.13 Summary 2.14 Practice problems2.15 References and further reading3 The Quantum Superposition Principle and Bloch Sphere Representation3.1 Euclidian Space3.2 Metric Space3.3 Hilbert space.3.4 Schrodinger Equation3.5 Postulates of Quantum Mechanics3.6 Quantum Tunneling3.7 Stern and Gerlach Experiment3.8 Bloch sphere representation3.9 Projective Measurements3.10 Qudits3.11 Summary3.12 Practice Problems3.13 References and further readingPART TWO4 Qubit Modalities4.1 The vocabulary of quantum computing4.2 Classical Computers – a recap 4.3 Qubits and usability4.4 Noisy Intermediate Scale Quantum Technology4.5 Qubit Metrics4.6 Leading Qubit Modalities4.7 A note on the dilution refrigerator4.8 Summary4.9 Practice Problems4.10 References and further reading5 Quantum Circuits and DiVincenzo Criteria5.1 Setting up the development environment5.2 Learning Quantum Programming Languages 5.3 Introducing Quantum Circuits 5.4 Quantum Gates 5.5 The Compute Stage5.6 Quantum Entanglement5.7 No-Cloning theorem5.8 Quantum Teleportation5.9 Superdense coding5.10 Greenberger–Horne–Zeilinger state (GHZ state)5.11 Walsh-Hadamard Transform5.12 Quantum Interference5.13 Phase kickback5.14 DiVincenzo’s criteria for quantum computation5.15 Summary 5.16 Practice Problems5.17 References and further reading6 Quantum Communications6.1 EPR Paradox6.2 Density Matrix Formalism6.3 Von Neumann Entropy6.4 Photons6.5 Quantum Communication6.6 The Quantum Channel6.7 Quantum Communication Protocols6.8 RSA Security6.9 Summary6.10 Practice Problems6.11 References and further reading7 Quantum Algorithms7.1 Quantum Ripple Adder Circuit7.2 Quantum Fourier Transformation7.3 Deutsch-Jozsa oracle7.4 The Bernstein-Vazirani Oracle7.5 Simon’s algorithm7.6 Quantum arithmetic using QFT7.7 Modular exponentiation7.8 Grover’s search algorithm 7.9 Shor’s algorithm7.10 A quantum algorithm for k-means7.11 Quantum Phase Estimation (QPE)7.12 HHL algorithm for solving linear equations7.13 Quantum Complexity Theory7.14 Summary 7.15 Practice Problems7.16 References and further reading8 Adiabatic Optimization and Quantum Annealing8.1 Adiabatic evolution8.2 Proof of the Adiabatic Theorem8.3 Adiabatic optimization8.4 Quantum Annealing8.5 Summary8.6 Practice Problems8.7 References and further reading9 Quantum Error Correction9.1 Classical Error Correction9.2 Quantum Error Codes9.3 Stabilizer formalism9.4 The path forward – fault-tolerant quantum computing9.5 Surface codes9.6 Protected qubits9.7 Practice Problems9.8 References and further reading10 Conclusion10.1 How many qubits do we need?10.2 Classical simulation10.3 Backends today10.4 Future state10.5 References
£75.99
Springer Nature Switzerland AG Statistical Foundations, Reasoning and Inference:
Book SynopsisThis textbook provides a comprehensive introduction to statistical principles, concepts and methods that are essential in modern statistics and data science. The topics covered include likelihood-based inference, Bayesian statistics, regression, statistical tests and the quantification of uncertainty. Moreover, the book addresses statistical ideas that are useful in modern data analytics, including bootstrapping, modeling of multivariate distributions, missing data analysis, causality as well as principles of experimental design. The textbook includes sufficient material for a two-semester course and is intended for master’s students in data science, statistics and computer science with a rudimentary grasp of probability theory. It will also be useful for data science practitioners who want to strengthen their statistics skills.Table of ContentsIntroduction.- Background in Probability.- Parametric Statistical Models.- Maximum Likelihood Inference.- Bayesian Statistics.- Statistical Decisions.- Regression.- Bootstrapping.- Model Selection and Model Averaging.- Multivariate and Extreme Value Distributions.- Missing and Deficient Data.- Experiments and Causality.
£94.99
Springer Nature Switzerland AG Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March
Book SynopsisThis open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.Table of ContentsGame Theory.- A Game for Linear-time - Branching-time Spectroscopy.- On Satisficing in Quantitative Games.- Quasipolynomial Computation of Nested Fixpoints.- SMT Verification.- A Flexible Proof Format for SAT Solver-Elaborator Communication.- Generating Extended Resolution Proofs with a BDD-Based SAT Solver.- Bounded Model Checking for Hyperproperties.- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays.- SAT Solving with GPU Accelerated Inprocessing.- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.- Probabilities.- Finding Provably Optimal Markov Chains.- Inductive Synthesis for Probabilistic Programs Reaches New Horizons.- Analysis of Markov Jump Processes under Terminal Constraints.- Multi-objective Optimization of Long-run Average and Total Rewards.- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes.- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests.- Timed Systems.- Timed Automata Relaxation for Reachability.- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata.- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring.- Neural Networks.- Synthesizing Context-free Grammars from Recurrent Neural Networks.- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models.- Improving Neural Network Verification through Spurious Region Guided Refinement.- Analysis of Network Communication Resilient Capacity-Aware Routing.- Network Traffic Classification by Program Synthesis.
£34.99
Springer Nature Switzerland AG Data Science for Social Good: Philanthropy and Social Impact in a Complex World
Book SynopsisThis book is a collection of reflections by thought leaders at first-mover organizations in the exploding field of "Data Science for Social Good", meant as the application of knowledge from computer science, complex systems and computational social science to challenges such as humanitarian response, public health, sustainable development. The book provides both an overview of scientific approaches to social impact – identifying a social need, targeting an intervention, measuring impact – and the complementary perspective of funders and philanthropies that are pushing forward this new sector. This book will appeal to students and researchers in the rapidly growing field of data science for social impact, to data scientists at companies whose data could be used to generate more public value, and to decision makers at nonprofits, foundations, and agencies that are designing their own agenda around data.Table of ContentsIntroduction.- The Value of Data and Data Collaboratives for Good: A Roadmap for Philanthropies to Facilitate Systems Change through Data.- UN Global Pulse: A UN Innovation Initiative with a Multiplier Effect.- Building the Field of Data for Good.- When Philanthropy Meets Data Science: A Framework for Governance to Achieve Data-Driven Decision-Making for Public Good.- Data for Good: Unlocking Privately-Held Data to the Benefit of the Many.- Building a Funding Data Ecosystem: Grantmaking in the UK.- A Reflection on the Role of Data for Health: COVID-19 and Beyond.
£54.99
Springer Nature Switzerland AG Information and Communications Security: 23rd International Conference, ICICS 2021, Chongqing, China, November 19-21, 2021, Proceedings, Part II
Book SynopsisThis two-volume set LNCS 12918 - 12919 constitutes the refereed proceedings of the 23nd International Conference on Information and Communications Security, ICICS 2021, held in Chongqing, China, in September 2021. The 49 revised full papers presented in the book were carefully selected from 182 submissions. The papers in Part II are organized in the following thematic blocks: machine learning security; multimedia security; security analysis; post-quantum cryptography; applied cryptography.Table of ContentsMachine Learning Security.- Multimedia Security.- Security Analysis.- Post-Quantum Cryptography.- Applied Cryptography.
£64.99
Springer Nature Switzerland AG Computer Vision: Statistical Models for Marr's
Book SynopsisAs the first book of a three-part series, this book is offered as a tribute to pioneers in vision, such as Béla Julesz, David Marr, King-Sun Fu, Ulf Grenander, and David Mumford. The authors hope to provide foundation and, perhaps more importantly, further inspiration for continued research in vision. This book covers David Marr's paradigm and various underlying statistical models for vision. The mathematical framework herein integrates three regimes of models (low-, mid-, and high-entropy regimes) and provides foundation for research in visual coding, recognition, and cognition. Concepts are first explained for understanding and then supported by findings in psychology and neuroscience, after which they are established by statistical models and associated learning and inference algorithms. A reader will gain a unified, cross-disciplinary view of research in vision and will accrue knowledge spanning from psychology to neuroscience to statistics. Table of ContentsPreface.- About the Authors.- 1 Introduction.- 2 Statistics of Natural Images.- 3 Textures.- 4 Textons.- 5 Gestalt Laws and Perceptual Organizations.- 6 Primal Sketch: Integrating Textures and Textons.- 7 2.1D Sketch and Layered Representation.- 8 2.5D Sketch and Depth Maps.- 9 Learning about information Projection.- 10 Informing Scaling and Regimes of Models.- 11 Deep Images and Models.- 12 A Tale of Three Families: Discriminative, Generative and Descriptive Models.- Bibliography
£64.99
Springer Nature Switzerland AG Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, P
Book SynopsisThis open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems. Table of ContentsProbabilistic Systems.- A Probabilistic Logic for Verifying Continuous-time Markov Chains.- Under-Approximating Expected Total Rewards in POMDPs.- Correct Probabilistic Model Checking with Floating-Point Arithmetic.- Correlated Equilibria and Fairness in Concurrent Stochastic Games.- Omega Automata.- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.- Practical Applications of the Alternating Cycle Decomposition.- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation.- On-The-Fly Solving for Symbolic Parity Games.- Equivalence Checking.- Distributed Coalgebraic Partition Refinement.- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques.- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time.- Monitoring and Analysis.- A Theoretical Analysis of Random Regression Test Prioritization.- Verified First-Order Monitoring with Recursive Rules.- Maximizing Branch Coverage with Constrained Horn Clauses.- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation.- Tools | Optimizations, Repair and Explainability.- Adiar: Binary Decision Diagrams in External Memory.- Forest GUMP: A Tool for Explanation.- Alpinist: an Annotation-Aware GPU Program Optimizer.- Automatic Repair for Network Programs.- 11th Competition on Software Verification | SV-COMP 2022.- Progress on Software Verification: SV-COMP 2022.- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution).- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution).- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution).- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution).- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution).- The Static Analyzer Frama-C in SV-COMP (Competition Contribution).- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution).- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution).- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution).- The Static Analyzer Infer in SV-COMP (Competition Contribution).- LART: Compiled Abstract Execution (Competition Contribution).- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution).- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution).- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection.- Ultimate GemCutter and the Axes of Generalization (Competition Contribution).- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).
£34.99
Springer Twenty Years of Theoretical and Practical
Book Synopsis.- Invited abstracts..- Special Session: Computing Knowledge: Computational Aspects of Epistemic Logics (HaPoC)..- The theory of enumeration degrees and its fragments..- Further extensions of the point to set principle..- Uniform distribution and algorithmic randomness..- Computable aspects of symbolic dynamics and tilings..- How much pattern complexity can help us solve the domino problem ?..- Sufficient conditions for non-emptiness of a subshift and computability of its entropy..- Reasoning about (Negative) Trust under Uncertainty..- Quantum computating from reversible classical computing..- Complexity of well-ordered sets in an ordered Abelian group..- Invited papers..- If CiE Did not Exist, It Would be Necessary to Invent It..- Some Open Questions and Recent Results on Computable Banach Spaces..- Kolmogorov complexity as a combinatorial tool..- Cellular Automata: Communicati
£64.99
Springer Information Theory
Book SynopsisIntroduction.- Information Theory and the Living System.- Applications of Information Theory to Psychology.- Entropy in art.- Consistent Definition of Correlations and Multivariate Mutual Information.- An intuitive consideration of irreversible phenomena.- Use of mutual information in linguistics, cryptography, and steganography.- Communication system.
£170.99
Springer Computational Intelligence in Communications and Business Analytics
Book SynopsisTheories and Applications to Data Communications and Analytics.- Optuna and Decision Tree Based Network Intrusion Detection System for Internet of Things.- Restful Architecture for Achieving Syntactic Interoperability in IoT Systems.- Energy Optimized Clustering and Cluster Head Selection in WSNs an MDB-KMC and Cuttlefish Approach.- D2Stege Using Decteron2 to Segment Medical Image with Security Through Steganography and Encryption.- A Novel Chaos and DNA Computing for Medical Image Encryption.- Session Based Symmetric Key Cryptography Using Digital Circuit Based on Two Left Shift.- Digital Images Encryption Using PWLCM and Sine Map.- Hybrid Humor Classification and Detection Based on Machine Learning.- Data Anomaly Detection in Wireless Sensor Network Using Principal Component Analysis and Decision Tree.- Industry Monitoring with Data Logger in Google Sheet Using Respberry Pi.- ECCNN A Novel Efficient Compressed Convolutional Neural Network.- A Modified Low Energy Consuming Mac Protocol for Wireless Sensor Networks.- Text Data Security Through Hybrid Method Using Visual Cryptography and Image Steganography Algorithms.- CASCAIN Cascaded Attention Infused Networks for Named Entity Recognition in Code Mixed Setting.- Secure Non Fungible Token Marketplaces Using ERC 721.- A Detailed Comparative Study of Regression Models for Stock Price Prediction.- An Optimal Cluster Head Selection in UAV Networks Using Grey Wolf Optimization.- Multi Modal Probabilistic Conditional Generative Adversarial Networks for Electric Vehicles Range Prediction.- Entry Point Adaptive Keystroke Dynamics Based User Authentication for Evolving Passwords.- Malicious node detection in Industrial internet of things using swarm based optimization algorithm A cyber security perspective.- Is software defined smart grid secure An analysis of security issues and solutions.- Energy Efficiency Optimization in IoT Based Machine Learning for Smart Environmental Monitoring.- Smart Tech Cane Navigator (STCN) for Physically Challenged.- A Real Time Machine Learning based Statistical Approach for Power Generation Prediction for Solar PV Plant.- CipherCraft An Integrated Approach to Cryptographic Data Security in Modern Computing Environments.- Unveiling Dynamics of Structural Breaks in Global Stock Markets and Implications for Forecasting Accuracy.
£59.99
Springer Computational Intelligence in Communications and Business Analytics
Book SynopsisComputational Intelligence II.- Multimodal Skin Cancer Classification Optimized Convolutional Network with Customized Loss and RNN Based FCNN Fusion.- Deep Learning Based MLP Model in Detection of Cotton Plant Leaf Disease.- Enhancing Drug Candidate Generation Comparing Genetic Algorithm And WGAN GP Approaches.- Predicting Employee Job Satisfaction by Using Vector Space Model.- Simplernn Based Human Emotion Recognition Using EEFG Signals.- Improving Melanoma Classification Using Transfer Learning Based Wavelet Features.- Research Challenges and Future Perspective in Semantic Segmentation of Brain Stroke Lesions in Magnetic Resonance Imaging.- Revolutionizing Suicide Ideation Detection in Social Media An Ensemble Optimized Bi GRU With Attention Approach.- A Computer Vision Model Utilizing Autoencoders for Surface Defect Recognition.- A Study on the Impact of Partitioning on Community Detection in Graph Networks.- Load Combination Optimization for Trailer Design using Genetic Algorithm.- Features Extraction from Android Apps Using Reverse Engineering.- Efficient Near Infrared Spectroscopy Based Feature Selection of Tannic Acid for Black Tea Evaluation.- Taming the Monkeypox Outbreak with Deep Learning for Skin Lesion Detection.- A Comprehensive Review of AI based Low Back Pain Assessment and Rehabilitation.- Analysis of Multidomain Abstractive Summarization Using Salience Allocation.- Detection and Localization of Malignant Cells from Surgical Images for Robot Assisted Invasive Surgery using Deep Learning.- An Intelligent Integrated Prediction Based Approach for Heart Disease Detection A Comprehensive Study.- Multi Modal Approach for Ethereum Smart Contract Vulnerability Detection.- Kcst Net Deep Learning Based Classification of Kidney Diseases Using CT Images.- High Yield Model Compression Paradigms for Low Footprint Signal Classification Supplementing Resource Constrained Embedded Environments.- Regularizing CNNs using Confusion Penalty Based Label Smoothing for Histopathology Images.- Leveraging Generative Pre Trained Models and Discriminative Pre Trained Language Models for Sentiment Analysis.- Advancing Lung Cancer Diagnosis and Prognosis through Machine Learning Algorithm.- Influent sewage water classification using machine learning.- Fine grained Image Classification on Skin Cancer Dataset.- Learning based soiling loss estimation in solar panels and solar panel soiling database generation.- CNN ML Framework Based Predominant Musical Instrument Recognition Using Mel Spectrogram.
£59.99
Springer Computational Intelligence in Communications and Business Analytics
Book SynopsisComputational Intelligence I.- Depression Clinic People's Mental Health Prediction Using Information from Online Social Media Networks (OSN).- A Novel Hindi Voice Based Assistant System Architecture for E Commerce.- Early Classification of Alzheimer's Disease Using Deep Learning Technique.- Spoken Metro Station Name Identification A Deep Learning Based Approach.- EDR DT A Novel Energy Function Based Enhanced Decision Tree Model for Classification.- Enhancing Agriculture Using Machine Learning Powered Smart Agricultural Systems.- Classification Of Tomato Maturity Levels An Efficient Approach with Statistical Features.- Iot Based Multifunctional Agriculture Monitoring and Smart Irrigation System.- Covid Ct H Unet A Novel Covid 19 CT Segmentation Network Based on Attention Mechanism and Bi Category Hybrid Loss.- A Review on The Efficacy of Different Data Augmentation Technique for Deep Learning.- MLAEDensenet Multi Layer Attention Enhanced Densenet for Efficient Video Action Recognition.- Word Sense Disambiguation for Bodo Language Using Simplified Lesk.- Smali Code Based Fake Application Detection.- From Haze and Smoke to Clarity An Integration of Deep Learning and Atmospheric Model.- Integrating BiLSTM BiGRU with Autoencoders for Enhanced Feature Representation and Deep Q Networks for Clinical Event Classification in Medical Records.- Agile Development Using A Hybrid Approach For Cost Estimation of IT Projects.- Lung Cancer Diagnosis Using Image Enhancement and Machine Learning Methods.- An Ml Based Hybrid Model for IIoT Attack Classification in Industry 4.0 Ecosystem.- Design of an explainable AI Model with Q Convolutional Neural Networks for Patient Health Reporting.- Convolutional Neural Networks for Patient.- Enhancing Visual Question Answering with Beam Search in Transformer Models.- Analyzing The Effect of Coffee Consumption on Visual Pathway Using Visual Evoked Potential (VEP) Signals and Machine Learning Algorithms.- A Survey on Machine Learning Techniques for Recognizing Human Activities Using Smartphone Data.- Digital Twin for Diabetes Management Using System Dynamics Simulation The Case of India.- Analysis Of Occupational Stress Effects and Coping Among Prison Officers A Case of RAK Prison Centre, United Arab Emirates.- Custom Ensemble Machine Learning Algorithm for Interactive Symptom Based Disease Prediction.- Leveraging Handwriting Dynamics, Explainable AI And Machine Learning for Alzheimer Prediction.- Machine Learning Powered Insights A Comprehensive Survey on Pcos Detection and Diagnosis.
£59.99
Springer Applied Algorithms
£59.99
Springer String Processing and Information Retrieval
Book Synopsis.- New perspectives on the Burrows–Wheeler Transform (Keynote)..- Scaling genomic reuse: hypothesis and algorithms for k-mer collections (Keynote)..- Succinct Dynamic Data Structures (25 years on) (Keynote)..- Testing Quasiperiodicity..- KeBaB: k-mer based breaking for finding long MEMs..- Analysing New Entropy Measures for Tries..- Depth first representations of kˆ2-trees..- Dorst–Smeulders Coding for Arbitrary Binary Words..- Prefix-free parsing for merging big BWTs..- RLZ-r and LZ-End-r: Enhancing Move-r..- Massively Parallel Computation of Matching Statistics..- Cache-Friendly Compressed Boolean Matrices..- Tight Additive Sensitivity on LZ-style Compressors and String Attractors..- On the number of MUSs crossing a position..- String Consensus Problems with Swaps and Substitutions..- Two-Player Communication Complexity of Pattern Matching..- REINDEER2: practical abundance index at scale..- Efficient Computation of Closed Substrings..- Nyldon Factorization of Thue-Morse Words and Fibonacci Words..- String Matching with a Dynamic Pattern..- Smallest Suffixient Sets as a Repetitiveness Measure..- Longest Unbordered Factors on Run-Length Encoded Strings..- Longest Common Subsequence in k-length substrings for Run-Length-Encoded strings..- Practical algorithms for Hierarchical Overlap Graphs..- Counting distinct (non-)crossing substrings..- Faster Algorithm for Bounded Damerau–Levenshtein Distance.
£59.99
Springer International Publishing AG Convex Optimization in Normed Spaces: Theory, Methods and Examples
Book SynopsisThis work is intended to serve as a guide for graduate students and researchers who wish to get acquainted with the main theoretical and practical tools for the numerical minimization of convex functions on Hilbert spaces. Therefore, it contains the main tools that are necessary to conduct independent research on the topic. It is also a concise, easy-to-follow and self-contained textbook, which may be useful for any researcher working on related fields, as well as teachers giving graduate-level courses on the topic. It will contain a thorough revision of the extant literature including both classical and state-of-the-art references.Trade Review“This short book is dedicated to convex optimization, beginning with theoretical aspects, ending with numerical methods, and complemented with numerous examples. … this is an interesting and well-written book that is adequate for a graduate-level course on convex optimization.” (Constantin Zălinescu, Mathematical Reviews, November, 2015)Table of ContentsBasic Functional Analysis.- Existence of Minimizers.- Convex Analysis and Subdifferential Calculus.- Examples.- Problem-solving Strategies.- Keynote Iterative Methods.
£41.24
Springer International Publishing AG Parameterized Algorithms
Book SynopsisThis comprehensive textbook presents a clean and coherent account of most fundamental tools and techniques in Parameterized Algorithms and is a self-contained guide to the area. The book covers many of the recent developments of the field, including application of important separators, branching based on linear programming, Cut & Count to obtain faster algorithms on tree decompositions, algorithms based on representative families of matroids, and use of the Strong Exponential Time Hypothesis. A number of older results are revisited and explained in a modern and didactic way.The book provides a toolbox of algorithmic techniques. Part I is an overview of basic techniques, each chapter discussing a certain algorithmic paradigm. The material covered in this part can be used for an introductory course on fixed-parameter tractability. Part II discusses more advanced and specialized algorithmic ideas, bringing the reader to the cutting edge of current research. Part III presents complexity results and lower bounds, giving negative evidence by way of W[1]-hardness, the Exponential Time Hypothesis, and kernelization lower bounds.All the results and concepts are introduced at a level accessible to graduate students and advanced undergraduate students. Every chapter is accompanied by exercises, many with hints, while the bibliographic notes point to original publications and related work.Trade Review“I enjoyed reading this book, which is a good textbook for graduate and advanced undergraduate students of computer science. Each chapter contains sufficient exercises with hints whenever necessary and helpful bibliographic notes. I found the references quite comprehensive, and the index was quite useful. … this is the best book I have seen on the topic. I strongly recommend it.” (Soubhik Chakraborty, Computing Reviews, April, 2017)“The style of the book is clear, and the material is well positioned to be accessible by graduate students and advanced undergraduate students. The exercises and hints provide a good ground for self-study, while bibliographic notes point to original papers and related work. Overall, this is an excellent book that can be useful to graduate and advanced undergraduate students either as a self-study text or as part of a course.” (Alexander Tzanov, Computing Reviews, February, 2016)“This is the most recent and most up-to-date textbook on parameterized algorithms, one of the major thrusts in algorithmics in recent years. … this new textbook has more than twice as many pages shows the development of the field. … This book does a very good job at balancing the necessary mathematical rigour with a nice presentation of the results.” (Henning Fernau, Mathematical Reviews, February, 2016)“This book serves as an introduction to the field of parameterized algorithms and complexity accessible to graduate students and advanced undergraduate students. It contains a clean and coherent account of some of the most recent tools and techniques in the area.” (Paulo Mbunga, zbMATH 1334.90001, 2016)Table of ContentsIntroduction.- Kernelization.- Bounded Search Trees.- Iterative Compression.- Randomized Methods in Parameterized Algorithms.- Miscellaneous.- Treewidth.- Finding Cuts and Separators.- Advanced Kernelization Algorithms.- Algebraic Techniques: Sieves, Convolutions, and Polynomials.- Improving Dynamic Programming on Tree Decompositions.- Matroids.- Fixed-Parameter Intractability.- Lower Bounds Based on the Exponential-Time Hypothesis.- Lower Bounds for Kernelization.
£59.99
Springer International Publishing AG Algebra for Cryptologists
Book SynopsisThis textbook provides an introduction to the mathematics on which modern cryptology is based. It covers not only public key cryptography, the glamorous component of modern cryptology, but also pays considerable attention to secret key cryptography, its workhorse in practice. Modern cryptology has been described as the science of the integrity of information, covering all aspects like confidentiality, authenticity and non-repudiation and also including the protocols required for achieving these aims. In both theory and practice it requires notions and constructions from three major disciplines: computer science, electronic engineering and mathematics. Within mathematics, group theory, the theory of finite fields, and elementary number theory as well as some topics not normally covered in courses in algebra, such as the theory of Boolean functions and Shannon theory, are involved. Although essentially self-contained, a degree of mathematical maturity on the part of the reader is assumed, corresponding to his or her background in computer science or engineering. Algebra for Cryptologists is a textbook for an introductory course in cryptography or an upper undergraduate course in algebra, or for self-study in preparation for postgraduate study in cryptology.Trade Review“Cryptography is technically synonymous with information security. Providing security features for data and information is the most important concern in a business requirement. … this book provides rich mathematical treatment of cryptographic algorithms in a simplified way. … This book presents nice and valuable material for students, researchers, and practitioners working in the field of information security.” (S. Ramakrishnan, Computing Reviews, March, 2017)“The present book consolidates the mathematics these students need to know into a single volume and will help them greatly. Initially, this reviewer believed that the book would be mostly redundant for mathematics majors, but as he read further, he found that it could serve as a valuable supplement within a math course. … Summing Up: Highly recommended. Upper-division undergraduates and above; faculty and professionals.” (C. Bauer, Choice, Vol. 54 (7), March, 2017)“This book introduces the basic algebra used in modern cryptology. It is mainly addressed to computer scientists and engineers entering the field of mathematical cryptology, but it may also be used as an introduction to algebra and elementary number theory with emphasis on application in cryptology for undergraduate students in computer science, engineering and also mathematics. The book is easily accessible, enjoyable to read, and essentially self-contained.” (Wilfried Meidl, zbMATH 1364.94005, 2017)“First, the text also covers number theory and also introduces information theory and coding theory. This material is of course algebraic in nature, but does go beyond what one typically expects to see in a book … that is advertised as a text in algebra. Second, the book not only discusses these topics but actually shows how they are used in the study of cryptography. … this book might definitely have some appeal as a prospective text.” (Mark Hunacek, MAA Reviews, December, 2016)Table of ContentsPrerequisites and Notation.- Basic Properties of the Integers.- Groups, Rings and Ideals.- Applications to Public Key Cryptography.- Fields.- Properties of Finite Fields.- Applications to Stream Ciphers.- Boolean Functions.- Applications to Block Ciphers.- Number Theory in Public Key Cryptography.- Where do we go from here?.- Probability.
£29.99
tredition Algorithmen und Datenstrukturen
£17.95
tredition Such und Mengenoperationsalgorithmen
£17.95
tredition Such und Mengenoperationsalgorithmen
£24.99
tredition Sortieralgorithmen
£17.95
tredition Sortieralgorithmen
£24.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG How to Solve It: Modern Heuristics
Book SynopsisNo pleasure lasts long unless there is variety in it. Publilius Syrus, Moral Sayings We've been very fortunate to receive fantastic feedback from our readers during the last four years, since the first edition of How to Solve It: Modern Heuristics was published in 1999. It's heartening to know that so many people appreciated the book and, even more importantly, were using the book to help them solve their problems. One professor, who published a review of the book, said that his students had given the best course reviews he'd seen in 15 years when using our text. There can be hardly any better praise, except to add that one of the book reviews published in a SIAM journal received the best review award as well. We greatly appreciate your kind words and personal comments that you sent, including the few cases where you found some typographical or other errors. Thank you all for this wonderful support.Table of ContentsI What Are the Ages of My Three Sons?.- 1 Why Are Some Problems Difficult to Solve?.- II How Important Is a Model?.- 2 Basic Concepts.- III What Are the Prices in 7–11?.- 3 Traditional Methods — Part 1.- IV What Are the Numbers?.- 4 Traditional Methods — Part 2.- V What’s the Color of the Bear?.- 5 Escaping Local Optima.- VI How Good Is Your Intuition?.- 6 An Evolutionary Approach.- VII One of These Things Is Not Like the Others.- 7 Designing Evolutionary Algorithms.- VIII What Is the Shortest Way?.- 8 The Traveling Salesman Problem.- IX Who Owns the Zebra?.- 9 Constraint-Handling Techniques.- X Can You Tune to the Problem?.- 10 Tuning the Algorithm to the Problem.- XI Can You Mate in Two Moves?.- 11 Time-Varying Environments and Noise.- XII Day of the Week of January 1st.- 12 Neural Networks.- XIII What Was the Length of the Rope?.- 13 Fuzzy Systems.- XIV Everything Depends on Something Else.- 14 Coevolutionary Systems.- XV Who’s Taller?.- 15 Multicriteria Decision-Making.- XVI Do You Like Simple Solutions?.- 16 Hybrid Systems.- 17 Summary.- Appendix A: Probability and Statistics.- A.1 Basic concepts of probability.- A.2 Random variables.- A.2.1 Discrete random variables.- A.2.2 Continuous random variables.- A.3 Descriptive statistics of random variables.- A.4 Limit theorems and inequalities.- A.5 Adding random variables.- A.6 Generating random numbers on a computer.- A.7 Estimation.- A.8 Statistical hypothesis testing.- A.9 Linear regression.- A.10 Summary.- Appendix B: Problems and Projects.- B.1 Trying some practical problems.- B.2 Reporting computational experiments with heuristic methods.- References.
£71.24
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG LATIN 2006: Theoretical Informatics: 7th Latin
Book SynopsisThis book constitutes the refereed proceedings of the 7th International Symposium, Latin American Theoretical Informatics, LATIN 2006, held in March 2006. The 66 revised full papers presented together with seven invited papers were carefully reviewed and selected from 224 submissions. The papers presented are devoted to a broad range of topics in theoretical computer science with a focus on algorithmics and computations related to discrete mathematics as well as on cryptography, data compression and Web applications.Table of ContentsKeynotes.- Algorithmic Challenges in Web Search Engines.- RNA Molecules: Glimpses Through an Algorithmic Lens.- Squares.- Matching Based Augmentations for Approximating Connectivity Problems.- Modelling Errors and Recovery for Communication.- Lossless Data Compression Via Error Correction.- The Power and Weakness of Randomness in Computation.- Regular Contributions.- A New GCD Algorithm for Quadratic Number Rings with Unique Factorization.- On Clusters in Markov Chains.- An Architecture for Provably Secure Computation.- Scoring Matrices That Induce Metrics on Sequences.- Data Structures for Halfplane Proximity Queries and Incremental Voronoi Diagrams.- The Complexity of Diffuse Reflections in a Simple Polygon.- Counting Proportions of Sets: Expressive Power with Almost Order.- Efficient Approximate Dictionary Look-Up for Long Words over Small Alphabets.- Relations Among Notions of Security for Identity Based Encryption Schemes.- Optimally Adaptive Integration of Univariate Lipschitz Functions.- Classical Computability and Fuzzy Turing Machines.- An Optimal Algorithm for the Continuous/Discrete Weighted 2-Center Problem in Trees.- An Algorithm for a Generalized Maximum Subsequence Problem.- Random Bichromatic Matchings.- Eliminating Cycles in the Discrete Torus.- On Behalf of the Seller and Society: Bicriteria Mechanisms for Unit-Demand Auctions.- Pattern Matching Statistics on Correlated Sources.- Robust Model-Checking of Linear-Time Properties in Timed Automata.- The Computational Complexity of the Parallel Knock-Out Problem.- Reconfigurations in Graphs and Grids.- -Varieties, Actions and Wreath Product.- Local Construction of Planar Spanners in Unit Disk Graphs with Irregular Transmission Ranges.- An Efficient Approximation Algorithm for Point Pattern Matching Under Noise.- Oblivious Medians Via Online Bidding.- Efficient Computation of the Relative Entropy of Probabilistic Automata.- A Parallel Algorithm for Finding All Successive Minimal Maximum Subsequences.- De Dictionariis Dynamicis Pauco Spatio Utentibus.- Customized Newspaper Broadcast: Data Broadcast with Dependencies.- On Minimum k-Modal Partitions of Permutations.- Two Birds with One Stone: The Best of Branchwidth and Treewidth with One Algorithm.- Maximizing Throughput in Queueing Networks with Limited Flexibility.- Network Flow Spanners.- Finding All Minimal Infrequent Multi-dimensional Intervals.- Cut Problems in Graphs with a Budget Constraint.- Lower Bounds for Clear Transmissions in Radio Networks.- Asynchronous Behavior of Double-Quiescent Elementary Cellular Automata.- Lower Bounds for Geometric Diameter Problems.- Connected Treewidth and Connected Graph Searching.- A Faster Algorithm for Finding Maximum Independent Sets in Sparse Graphs.- The Committee Decision Problem.- Common Deadline Lazy Bureaucrat Scheduling Revisited.- Approximate Sorting.- Stochastic Covering and Adaptivity.- Algorithms for Modular Counting of Roots of Multivariate Polynomials.- Hardness Amplification Via Space-Efficient Direct Products.- The Online Freeze-Tag Problem.- I/O-Efficient Algorithms on Near-Planar Graphs.- Minimal Split Completions of Graphs.- Design and Analysis of Online Batching Systems.- Competitive Analysis of Scheduling Algorithms for Aggregated Links.- A 4-Approximation Algorithm for Guarding 1.5-Dimensional Terrains.- On Sampling in Higher-Dimensional Peer-to-Peer Systems.- Mobile Agent Rendezvous in a Synchronous Torus.- Randomly Colouring Graphs with Girth Five and Large Maximum Degree.- Packing Dicycle Covers in Planar Graphs with No K 5–e Minor.- Sharp Estimates for the Main Parameters of the Euclid Algorithm.- Position-Restricted Substring Searching.- Rectilinear Approximation of a Set of Points in the Plane.- The Branch-Width of Circular-Arc Graphs.- Minimal Eulerian Circuit in a Labeled Digraph.- Speeding up Approximation Algorithms for NP-Hard Spanning Forest Problems by Multi-objective Optimization.- RISOTTO: Fast Extraction of Motifs with Mismatches.- Minimum Cost Source Location Problems with Flow Requirements.- Exponential Lower Bounds on the Space Complexity of OBDD-Based Graph Algorithms.- Constructions of Approximately Mutually Unbiased Bases.- Improved Exponential-Time Algorithms for Treewidth and Minimum Fill-In.
£119.43
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Data Science and Classification
Book SynopsisData Science and Classification provides new methodological developments in data analysis and classification. The broad and comprehensive coverage includes the measurement of similarity and dissimilarity, methods for classification and clustering, network and graph analyses, analysis of symbolic data, and web mining. Beyond structural and theoretical results, the book offers application advice for a variety of problems, in medicine, microarray analysis, social network structures, and music.Trade ReviewFrom the reviews: "This book is a collection of papers presented at the Tenth Conference of the International Federation of Classification Societies. The contributors are primarily statisticians and computer scientists … . The typesetting and page layout are well done, and the graphics are very clear. … The main market for this book would be libraries, and researchers wanting a record of recent advances in statistical learning." (Jeffrey D. Picka, Technometrics, Vol. 49 (3), August, 2007)Table of ContentsSimilarity and Dissimilarity.- A Tree-Based Similarity for Evaluating Concept Proximities in an Ontology.- Improved Fréchet Distance for Time Series.- Comparison of Distance Indices Between Partitions.- Design of Dissimilarity Measures: A New Dissimilarity Between Species Distribution Areas.- Dissimilarities for Web Usage Mining.- Properties and Performance of Shape Similarity Measures.- Classification and Clustering.- Hierarchical Clustering for Boxplot Variables.- Evaluation of Allocation Rules Under Some Cost Constraints.- Crisp Partitions Induced by a Fuzzy Set.- Empirical Comparison of a Monothetic Divisive Clustering Method with the Ward and the k-means Clustering Methods.- Model Selection for the Binary Latent Class Model: A Monte Carlo Simulation.- Finding Meaningful and Stable Clusters Using Local Cluster Analysis.- Comparing Optimal Individual and Collective Assessment Procedures.- Network and Graph Analysis.- Some Open Problem Sets for Generalized Blockmodeling.- Spectral Clustering and Multidimensional Scaling: A Unified View.- Analyzing the Structure of U.S. Patents Network.- Identifying and Classifying Social Groups: A Machine Learning Approach.- Analysis of Symbolic Data.- Multidimensional Scaling of Histogram Dissimilarities.- Dependence and Interdependence Analysis for Interval-Valued Variables.- A New Wasserstein Based Distance for the Hierarchical Clustering of Histogram Symbolic Data.- Symbolic Clustering of Large Datasets.- A Dynamic Clustering Method for Mixed Feature-Type Symbolic Data.- General Data Analysis Methods.- Iterated Boosting for Outlier Detection.- Sub-species of Homopus Areolatus? Biplots and Small Class Inference with Analysis of Distance.- Revised Boxplot Based Discretization as the Kernel of Automatic Interpretation of Classes Using Numerical Variables.- Data and Web Mining.- Comparison of Two Methods for Detecting and Correcting Systematic Error in High-throughput Screening Data.- kNN Versus SVM in the Collaborative Filtering Framework.- Mining Association Rules in Folksonomies.- Empirical Analysis of Attribute-Aware Recommendation Algorithms with Variable Synthetic Data.- Patterns of Associations in Finite Sets of Items.- Analysis of Music Data.- Generalized N-gram Measures for Melodic Similarity.- Evaluating Different Approaches to Measuring the Similarity of Melodies.- Using MCMC as a Stochastic Optimization Procedure for Musical Time Series.- Local Models in Register Classification by Timbre.- Gene and Microarray Analysis.- Improving the Performance of Principal Components for Classification of Gene Expression Data Through Feature Selection.- A New Efficient Method for Assessing Missing Nucleotides in DNA Sequences in the Framework of a Generic Evolutionary Model.- New Efficient Algorithm for Modeling Partial and Complete Gene Transfer Scenarios.
£123.49
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Fundamental Algorithms for Computer Graphics: NATO Advanced Study Institute directed by J.E. Bresenham, R.A. Earnshaw, M.L.V. Pitteway
Book SynopsisAlgorithms provide the basic foundation for all computational processes. This volume presents algorithms at the foundational level and also at the various levels between this level and the user application. Some of these algorithms are classical and have become well established in the field. This material is therefore a rich source of information and is still relevant and up to date. The basic primitives of computer graphics have remained unchanged: lines, circles, conics, curves and characters. This volume contains reference material in all these areas. The higher levelsof contouring and surface drawing are also well covered. Developments in hardware architectures have continued since the first printing, but the basic principles of hardware/software trade-offs remain valid. This reprint is being published as a Study Edition to make the material more accessible to students and researchers in the field of computer graphics andits applications. The continuing popularity of the original book demonstrates the value and timeliness of its contents.Table of ContentsSection 1. Line and Area Algorithms.- Invited Papers.- “Theoretical and Linguistic Methods for Describing Straight Lines”.- “Run Length Slice Algorithm for Incremental Lines”.- “The Relationship between Euclid’s Algorithm and Run-Length Encoding”.- “Antialiasing in Practice”.- Submitted Papers.- “An Application of Euclid’s Algorithm to Drawing Straight Lines”.- “The Accuracy of the Digital Representation of a Straight Line”.- “Experience in Practical Implementation of Boundary-Defined Area Fill”.- “The Implementation of Fill Area for GKS”.- “A Simple Algorithm for Determining whether a Point Resides within an Arbitrarily Shaped Polygon”.- Section 2. Arcs, Circles and Conics.- Invited Papers.- “Algorithms for Circular Arc Generation”.- “Algorithms of Conic Generation”.- Submitted Papers.- “A High-Precision Digital Differential Analyzer for Circle Generation”.- “An Ellipse-Drawing Algorithm for Raster Displays”.- “An Algorithm for Determining the Draw Start Point of a Hyperbola given the System Direction of Draw and the Coordinates of the Video Window”.- Section 3. Curves and Curve Drawing.- Invited Papers.- “A Review of Curve Drawing Algorithms”.- “Methods for Drawing Curves”.- Submitted Paper.- “Generation of ?-Spline Curves using a Recurrence Relation”.- Section 4. Character Generation and Display.- Invited Papers.- “Character Generation and Display”.- “Font Information and Device-Independent Output”.- Section 5. Contouring and Surface Drawing.- Invited Papers.- “Contouring — the State of the Art”.- “A Review of Geostatistical Techniques for Contouring”.- “Algorithms for Three-Dimensional Interpolation between Planar Slices”.- Submitted Papers.- “GENSURF: A System for General Surface Definition and Manipulation”.- “An Interesting Modification to the Bresenham Algorithm for Hidden-Line Solution”.- “Efficient Hidden Line Removal for Surface Plots Utilising Raster Graphics”.- Section 6. Hardware Architectures and Algorithms.- Invited papers.- “Graphics Software Standards and their Evolution with Hardware Algorithms”.- “Hardware Enhancements for Raster Graphics”.- “Systolic Array Architectures for High Performance CAD/CAM Workstations”.- “Parallel Architectures for High Performance Graphics Systems”.- Section 7. Computational Geometry and CAD.- Invited Paper.- “Computational Geometry in Practice”.- Submitted Papers.- “An Algorithm for Direct Display of CSG Objects by Spatial Subdivision”.- “Computational Geometry and Prolog”.- “Subdivision Techniques for Processing Geometric Objects”.- Section 8. Theoretical Aspects and Models.- Invited Papers.- “Random Fractal Forgeries”.- “The Algebra of Algorithms”.- “Theoretical Considerations in Algorithm Design”.- “Technology for the Protection of Graphics Algorithms”.- “Spatial Concepts in 3D”.- Submitted Papers.- “Shortest Paths in 3-Space, Voronoi Diagrams with Barriers, and Related Complexity and Algebraic Issues”.- “Geometric Data Structures for Computer Graphics”.- “A Model for Raster Graphics Language Primitives”.- “Theoretical Framework for Shape Representation and Analysis”.- Section 9. Human-Computer Interface Issues.- Invited Papers.- “Aspects of Human Machine Interface”.- “Visual Perception and Computer Graphics”.- Section 10. Computer Animation.- Invited Paper.- “Object and Movement Description Techniques for Animation — An Informal Review”.- Scientific Organising Committee.- Lecturers.- Participants.
£44.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Algorithmic Adventures: From Knowledge to Magic
Book SynopsisThe ?rst and foremost goal of this lecture series was to show the beauty, depth and usefulness of the key ideas in computer science. While working on the lecture notes, we came to understand that one can recognize the true spirit of a scienti?c discipline only by viewing its contributions in the framework of science as a whole. We present computer science here as a fundamental science that, interacting with other scienti?c disciplines, changed and changes our view on the world, that contributes to our understanding of the fundamental concepts of science and that sheds new light on and brings new meaning to several of these concepts. We show that computer science is a discipline that discovers spectacular, unexpected facts, that ?nds ways out in seemingly unsolvable s- uations, and that can do true wonders. The message of this book is that computer science is a fascinating research area with a big impact on the real world, full of spectacular ideas and great ch- lenges. It is an integral part of science and engineering with an above-average dynamic over the last 30 years and a high degree of interdisciplinarity. The goal of this book is not typical for popular science writing, whichoftenrestrictsitselftooutliningtheimportanceofaresearch area. Whenever possible we strive to bring full understanding of the concepts and results presented.Trade ReviewFrom the reviews: "A lucid exposition of fundamental ideas, concepts and methods of computer science, their essence and their limits, delightfully represented, and easily understandable for a broad readership. Scientific writing at its best." (Peter Widmayer, ETH Zürich)“This book originated from a series of lectures given by the author to describe what computer science is and what its principle Ideas are. Algorithms are the key concept of this book. … The inclusion of problems makes the book more than a personal reflection. The style is lively and avoids unnecessary jargon. With a good teacher, it could be suitable as a textbook on the foundations of computer science in an undergraduate classroom.” (Anthony J. Duben, ACM Computing Reviews, February, 2010)“This is a very readable book on theoretical computer science, written for nonspecialists. … Practical applications are illustrated by examples from DNA computing and quantum mechanics. … Summing Up: Recommended. Lower- and upper-division undergraduates and general readers.” (M. Bona, Choice, Vol. 47 (5), January, 2010)“The author is an acclaimed computer scientist and he proves why: apart from being an aggressive researcher, he is also an excellent teacher. Using his ability to teach complex computing topics in an interesting way, he introduces to the reader the ‘power and the magic’ of the underlying principles. … It will certainly draw interest from both undergraduate and post-graduate students of computing and allied fields. … I do recommend this beautiful book for a scientific library … .” (Soubhik Chakraborty, ACM Computing Reviews, August, 2010)Table of ContentsThe Development of Computer Science: Not Just a Driving Licence.- Algorithmics: What Programming and Baking Have in Common.- Infinity Is Not Infinity: Why Infinity Is Infinitely Important in Computer Science.- The Limits of Computability: Why There Exist Tasks That Cannot Be Automatically Solved Using Computers.- Complexity Theory: What to Do When the Energy of the Universe Isn't Enough to Perform a Computation.- Randomness in Nature: A Source of Efficiency in Algorithmics.- Cryptography: How to Transform Drawbacks into Advantages.- Computing Using DNA Molecules: A Biological Computer on the Horizon.- Quantum Computers: Computing in the Wonderland of Particles.- How to Make a Good Decision for an Unknown Future: How to Foil an Adversary
£42.74
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG How to Solve It: Modern Heuristics
Book SynopsisNo pleasure lasts long unless there is variety in it. Publilius Syrus, Moral Sayings We've been very fortunate to receive fantastic feedback from our readers during the last four years, since the first edition of How to Solve It: Modern Heuristics was published in 1999. It's heartening to know that so many people appreciated the book and, even more importantly, were using the book to help them solve their problems. One professor, who published a review of the book, said that his students had given the best course reviews he'd seen in 15 years when using our text. There can be hardly any better praise, except to add that one of the book reviews published in a SIAM journal received the best review award as well. We greatly appreciate your kind words and personal comments that you sent, including the few cases where you found some typographical or other errors. Thank you all for this wonderful support.Table of ContentsI What Are the Ages of My Three Sons?.- 1 Why Are Some Problems Difficult to Solve?.- II How Important Is a Model?.- 2 Basic Concepts.- III What Are the Prices in 7–11?.- 3 Traditional Methods — Part 1.- IV What Are the Numbers?.- 4 Traditional Methods — Part 2.- V What’s the Color of the Bear?.- 5 Escaping Local Optima.- VI How Good Is Your Intuition?.- 6 An Evolutionary Approach.- VII One of These Things Is Not Like the Others.- 7 Designing Evolutionary Algorithms.- VIII What Is the Shortest Way?.- 8 The Traveling Salesman Problem.- IX Who Owns the Zebra?.- 9 Constraint-Handling Techniques.- X Can You Tune to the Problem?.- 10 Tuning the Algorithm to the Problem.- XI Can You Mate in Two Moves?.- 11 Time-Varying Environments and Noise.- XII Day of the Week of January 1st.- 12 Neural Networks.- XIII What Was the Length of the Rope?.- 13 Fuzzy Systems.- XIV Everything Depends on Something Else.- 14 Coevolutionary Systems.- XV Who’s Taller?.- 15 Multicriteria Decision-Making.- XVI Do You Like Simple Solutions?.- 16 Hybrid Systems.- 17 Summary.- Appendix A: Probability and Statistics.- A.1 Basic concepts of probability.- A.2 Random variables.- A.2.1 Discrete random variables.- A.2.2 Continuous random variables.- A.3 Descriptive statistics of random variables.- A.4 Limit theorems and inequalities.- A.5 Adding random variables.- A.6 Generating random numbers on a computer.- A.7 Estimation.- A.8 Statistical hypothesis testing.- A.9 Linear regression.- A.10 Summary.- Appendix B: Problems and Projects.- B.1 Trying some practical problems.- B.2 Reporting computational experiments with heuristic methods.- References.
£54.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Introduction to Reliable and Secure Distributed
Book SynopsisIn modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Failures may range from crashes to adversarial attacks by malicious processes.Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one topic, covering reliable broadcast, shared memory, consensus, and extensions of consensus. For every topic, many exercises and their solutions enhance the understanding This book represents the second edition of "Introduction to Reliable Distributed Programming". Its scope has been extended to include security against malicious actions by non-cooperating processes. This important domain has become widely known under the name "Byzantine fault-tolerance". Table of Contents1. Introduction. - 1.1 Motivation. -1.2 Distributed Programming Abstractions. 1.3 The End-to-End Argument. 1.4 Software Components. - 1.5 Classes of Algorithms. -1.6 Chapter Notes. 2. Basic Abstractions. - 2.1 Distributed Computation. - 2.2 Abstracting Processes. - 2.3 Cryptographic Abstractions. - 2.4 Abstracting Communication. - 2.5 Timing Assumptions. - 2.6 Abstracting Time. - 2.7 Distributed-System Models. - 2.8 Exercises. - 2.9 Solutions. - 2.10 Chapter Notes . - . - 3. Reliable Broadcast. - 3.1 Motivation. - 3.2 Best-Effort Broadcast. - 3.3 Regular Reliable Broadcast. - 3.4 Uniform Reliable Broadcast. - 3.5 Stubborn Broadcast. - 3.6 Logged Best-Effort Broadcast. - 3.7 Logged Uniform Reliable Broadcast. - 3.8 Probabilistic Broadcast. - 3.9 FIFO and Causal Broadcast. - 3.10 Byzantine Consistent Broadcast. - 3.11 Byzantine Reliable Broadcast. - 3.12 Byzantine Broadcast Channels. - 3.13 Exercises. - 3.14 Solutions. - 3.15 Chapter Notes . - . - 4. Shared Memory. - 4.1 Introduction. - 4.2 (1, N) Regular Register. - 4.3 (1, N) Atomic Register. - 4.4 (N, N) Atomic Register. - 4.5 (1, N) Logged Regular Register. - 4.6 (1,N) Byzantine Safe Register. - 4.7 (1, N) Byzantine Regular Register. - 4.8 (1,N) Byzantine Atomic Register. - 4.9 Exercises. - 4.10 Solutions. - 4.11 Chapter Notes . - . - 5. Consensus. - 5.1 Regular Consensus. - 5.2 Uniform Consensus. - 5.3 Uniform Consensus in the Fail-Noisy Model. - 5.4 Logged Consensus. - 5.5 Randomized Consensus. - 5.6 Byzantine Consensus. - 5.7 Byzantine Randomized Consensus. - 5.8 Exercises. - 5.9 Solutions. - 5.10 Chapter Notes . - . - 6. Consensus Variants. - 6.1 Total-Order Broadcast. - 6.2 Byzantine Total-Order Broadcast. - 6.3 Terminating Reliable Broadcast. - 6.4 Fast Consensus. - 6.5 Fast Byzantine Consensus. - 6.6 Non-blocking Atomic Commit. - 6.7 Group Membership. - 6.8 View-Synchronous Communication. - 6.9 Exercises. - 6.10 Solutions. - 6.11 Chapter Notes . - . - 7. Concluding Remarks. - 7.1 Implementation in Appia. - 7.2 Further Implementations. - 7.3 Further Reading
£71.24
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Information Security and Assurance: International Conference, ISA 2011, Brno, Czech Republic, August 15-17, 2011, Proceedings
Book SynopsisThis book constitutes the proceedings of the International Conference on Information Security and Assurance, held in Brno, Czech Republic in August 2011.
£44.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Algorithmics: The Spirit of Computing
Book SynopsisComputer science is the science of the future, and already underlies every facet of business and technology, and much of our everyday lives. In addition, it will play a crucial role in the science the 21st century, which will be dominated by biology and biochemistry, similar to the role of mathematics in the physical sciences of the 20th century. In this award-winning best-seller, the author and his co-author focus on the fundamentals of computer science, which revolve around the notion of the algorithm. They discuss the design of algorithms, and their efficiency and correctness, the inherent limitations of algorithms and computation, quantum algorithms, concurrency, large systems and artificial intelligence. Throughout, the authors, in their own words, stress the ‘fundamental and robust nature of the science in a form that is virtually independent of the details of specific computers, languages and formalisms'. This version of the book is published to celebrate 25 years since its first edition, and in honor of the Alan M. Turing Centennial year. Turing was a true pioneer of computer science, whose work forms the underlying basis of much of this book. Trade ReviewFrom the reviews of the third edition:“This book should be on any short list for a central course in computer science. It is designed to provide a uniform background on which all students might draw. It has a good-humored, easy style, which would make any reader unwilling to close the book after opening it anywhere. All computer scientists should have this book. … the bibliography is organized in a convenient chapter-by-chapter form, which makes the book useful for advanced work, and the exercises will help instructors identify capable students.” (Harvey Cohn, ACM Computing Reviews, August, 2012)“This is a reprint of the 3rd edition on the occasion of the 25th year of the existence of the book; it is also intended to honor Alan Turing’s 100th birthday. … it is highly readable, even if one is largely acquainted with the field. It is very well written, containing many illustrative examples, suited also for the non-specialist.” (Gunther Schmidt, Zentralblatt MATH, Vol. 1243, 2012)Table of ContentsPreliminaries.- and Historical Review.- Algorithms and Data.- Programming Languages and Paradigms.- Methods and Analysis.- Algorithmic Methods.- The Correctness of Algorithms.- The Efficiency of Algorithms.- Limitations and Robustness.- Inefficiency and Intractability.- Noncomputability and Undecidability.- Algorithmic Universality and Its Robustness.- Relaxing the Rules.- Parallelism, Concurrency, and Alternative Models.- Probabilistic Algorithms.- Cryptography and Reliable Interaction.- The Bigger Picture.- Software Engineering.- Reactive Systems.- Algorithmics and Intelligence.
£64.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Programming for Engineers: A Foundational Approach to Learning C and Matlab
Book SynopsisTo learn to program is to be initiated into an entirely new way of thinking about engineering, mathematics, and the world in general. Computation is integral to all modern engineering disciplines, so the better you are at programming, the better you will be in your chosen field.The author departs radically from the typical presentation by teaching concepts and techniques in a rigorous manner rather than listing how to use libraries and functions. He presents pointers in the very first chapter as part of the development of a computational model that facilitates an ab initio presentation of subjects such as function calls, call-by-reference, arrays, the stack, and the heap. The model also allows students to practice the essential skill of memory manipulation throughout the entire course rather than just at the end. As a result, this textbook goes further than is typical for a one-semester course -- abstract data types and linked lists, for example, are covered in depth. The computational model will also serve students in their adventures with programming beyond the course: instead of falling back on rules, they can think through the model to decide how a new programming concept fits with what they already know.The book is appropriate for undergraduate students of engineering and computer science, and graduate students of other disciplines. It contains many exercises integrated into the main text, and the author has made the source code available online.Trade Review"This book builds a well-defined computation model that allows concepts that are important in technical and scientific applications -- like pointers, arrays and recursion -- to be gradually and rigorously introduced. The languages covered by the book, C and MATLAB, are highly relevant to engineering applications.Clarity of exposition, numerous well-chosen examples, pedagogical savvy, and logical sequencing of the topics all help the reader's progress through the chapters and make for an enjoyable learning experience. This book prepares one well to deal with advanced programming language constructs and the design of large, complex applications by promoting mastery of the fundamentals, by covering important practical aspects of a programmer's activity, and by instilling good design and implementation habits. It is therefore ideally suited for self-study or as a textbook in an introductory college-level programming course for engineers and similarly technically-minded students."Fabio Somenzi (University of Colorado at Boulder)Table of ContentsChap. 1, Memory: The Stack.- Chap. 2, Control.- Chap. 3, Arrays and Strings.- Chap. 4, Debugging.- Chap. 5, I/O.- Chap. 6, Memory: The Heap.- Chap. 7, Abstract Data Types.- Chap. 8, Linked Lists.- Chap. 9, Introduction to Matlab.- Chap. 10, Exploring ODEs with Matlab.- Chap. 11, Exploring Time and Frequency Domains with Matlab.- Chap. 12, Index.
£39.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Arithmetik: Aus der Reihe The Art of Computer
Book SynopsisDas Buch Arithmetik ist eine Übersetzung des vierten Kapitels der legendären Werkreihe "The Art of Computer Programming" von Donald E. Knuth in der neuesten Fassung. Es handelt sich um eine umfangreiche Einführung in die Computeralgebra, die den neuesten Stand der Forschung berücksichtigt. Donald E. Knuth versteht es, die Algorithmen didaktisch sehr geschickt und ohne Kompromisse bei der Strenge aufzubereiten. Das Buch enthält außerdem Hunderte von Aufgaben verschiedener Schwierigkeitsgrade mit Lösungen. Der Übersetzer, Prof. Dr. R. Loos, lehrt an der Universität Tübingen.Table of Contents4 — Arithmetik.- 4.1. Stellenwertsysteme.- 4.2. Gleitkomma-Aritlunetik.- 4.2.1. Einfachgenaue Rechnungen.- 4.2.2. Genauigkeit der Gleitkonuna-Arithmetik.- *4.2.3. Doppeltgenaue Rechnungen.- 4.2.4. Verteilung von Gleitkomrnazahlen.- 4.3. Mehrfachgenaue Aritlunetik.- 4.3.1. Die klassischen Algorithmen.- *4.3.2. Modulare Aritlnnetik.- *4.3.3. Wie schnell könn en wir multiplizieren?.- 4.4. Basiswechsel.- 4.5. Rationale Arithmetik.- 4.5.1. Brüche.- 4.5.2. Der größte gemeinsame Teiler.- *4.5.3. Analyse des euklidschen Algorithmus.- 4.5.4. Zerlegung in Prirnfaktoren.- 4.6. Polynornarithmetik.- 4.6.1. Division von Polynomen.- *4.6.2. Faktorisierung von Polynomen.- 4.6.3. Auswertung von Potenzen.- 4.6.4. Auswertung von Polynomen.- *4.7. Operationen an Potenzreihen.- Lösungen zu den Übungsaufgaben.- Anhang A — Tafeln numerischer Größen.- 1. Fundamentale Konstanten (dezimal).- 2. Fundamentale Konstanten (oktal).- 3. Harrnonische Zahlen , Bernoulli-Zahlen, Fibonacci-Zahlen.- Anhang B — Index der Bezeichnungen.- Index und Glossar.
£44.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Computer Algebra in Scientific Computing CASC’99: Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, Munich, May 31 – June 4, 1999
Book SynopsisThe development of powerful computer algebra systems has considerably ex tended the scope of problems of scientific computing which can now be solved successfully with the aid of computers. However, as the field of applications of computer algebra in scientific computing becomes broader and more complex, there is a danger of separation between theory, systems, and applications. For this reason, we felt the need to bring together the researchers who now ap ply the tools of computer algebra for the solution of problems in scientific computing, in order to foster new and closer interactions. CASC'99 is the second conference devoted to applications of computer al gebra in scientific computing. The first conference in this sequence, CASC'98, was held 20-24 April 1998 in St. Petersburg, Russia. This volume contains revised versions of the papers submitted by the par ticipants and accepted by the program committee after a thorough reviewing process. The collection of papers included in the proceedings covers various topics of computer algebra methods, algorithms and software applied to scien tific computing: symbolic-numeric analysis and solving differential equations, efficient computations with polynomials, groups, matrices and other related objects, special purpose programming environments, application to physics, mechanics, optics and to other areas. In particular, a significant group of papers deals with applications of com puter algebra methods for the solution of current problems in group theory, which mostly arise in mathematical physics.Table of ContentsSolution of Ordinary Differential Equations with MathLie.- Analysis of Stability of Rational Approximations through Computer Algebra.- An Automatic Symbolic-Numeric Taylor Series ODE Solver.- About Normal Form Method.- Computer Algebra Investigation of Equivalence in 4-node Plane Stress/Strain Finite Elements.- Symmetry Theorems for the Newtonian 4- and 5-body Problems with Equal Masses.- Symbolic Derivation of Different Class of High-order Compact Schemes for Partial Differential Equations.- Implementation of Aerodynamic Computations with Mathematica.- Completion of Linear Differential Systems to Involution.- Constrained Hamiltonian Systems and Gröbner Bases.- Construction of Involutive Monomial Sets for Different Involutive Divisions.- Partial Inverse Heuristic for the Approximate Solution of Non-linear Equations.- Computing Cocycles on Simplicial Complexes.- Bifurcations of Maps in the Software Package CONTENT.- Extending a Java Based Framework for Scientific Software-Components.- Symbolic-numeric Investigations for Stability Analysis of Satellite Systems.- Quantization by Presentation: The Nambu-Goto String in 1+3 Dimensions.- One Algorithm of Finding Solutions for the Systems with First Integrals.- Cohomology of Lie Superalgebras of Hamiltonian Vector Fields: Computer Analysis.- Computer Algebra Tools in Construction of Renormgroup Symmetries 251.- Where Numerics Can Benefit from Computer Algebra in Finite Difference Modelling of Fluid Flows.- Effectively Computation of Some Radicals of Submodules of Free Modules.- Computations on Character Tables of Association Schemes.- Investigation of Subgroup Embeddings by the Computer Algebra Package GAP.- An Investigation into Stability of Conservative Mechanical Systems Using Analytic Calculations.- Superfast Computations with Singular Structured Matrices over Abstract Fields.- From Modeling to Simulation with Symbolic Computation: An Application to Design and Performance Analysis of Complex Optical Devices.- A Symbolic Numeric Environment for Analyzing Measurement Data in Multi-Model Settings (Extended Abstract).- Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems.- Indices and Solvability for General Systems of Differential Equations.- Decomposing Systems of Polynomial Equations.- Polynomials with Coefficients of Limited Accuracy.- Localization of Roots of a Polynomial not Represented in Canonical Form.- On Normalization of a Class of Polynomial Hamiltonians: From Ordinary and Inverse Points of View.- On Multivariate Polynomial Decomposition.- Complexity of Monomial Evaluations and Duality.- On the Simplification of Nonlinear DAE Systems in Analog Circuit Design.- Symbolic Analysis of Computational Algorithms with SYDNA.
£44.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Hierarchical Matrices: Algorithms and Analysis
Book SynopsisThis self-contained monograph presents matrix algorithms and their analysis. The new technique enables not only the solution of linear systems but also the approximation of matrix functions, e.g., the matrix exponential. Other applications include the solution of matrix equations, e.g., the Lyapunov or Riccati equation. The required mathematical background can be found in the appendix.The numerical treatment of fully populated large-scale matrices is usually rather costly. However, the technique of hierarchical matrices makes it possible to store matrices and to perform matrix operations approximately with almost linear cost and a controllable degree of approximation error. For important classes of matrices, the computational cost increases only logarithmically with the approximation error. The operations provided include the matrix inversion and LU decomposition.Since large-scale linear algebra problems are standard in scientific computing, the subject of hierarchical matrices is of interest to scientists in computational mathematics, physics, chemistry and engineering.Trade Review“Every line of the book reflects that the author is the leading expert for hierarchical matrices. … Hierarchical matrices: algorithms and analysis is without a doubt a beautiful, comprehensive introduction to hierarchical matrices that can serve as both a graduate level textbook and a valuable resource for future research.” (Thomas Mach, Mathematical Reviews, April, 2017)“The book ‘Hierarchical matrices: algorithms and analysis’ is a self-contained monograph which presents an efficient possibility to handle the numerical treatment of fully populated large scale matrices appearing in scientific computations, and therefore it is of interest to scientists in computational mathematics, physics, chemistry and engineering.” (Constantin Popa, zbMATH 1336.65041, 2016)Table of ContentsPreface.- Part I: Introductory and Preparatory Topics.- 1. Introduction.- 2. Rank-r Matrices.- 3. Introductory Example.- 4. Separable Expansions and Low-Rank Matrices.- 5. Matrix Partition.- Part II: H-Matrices and Their Arithmetic.- 6. Definition and Properties of Hierarchical Matrices.- 7. Formatted Matrix Operations for Hierarchical Matrices.- 8. H2-Matrices.- 9. Miscellaneous Supplements.- Part III: Applications.- 10. Applications to Discretised Integral Operators.- 11. Applications to Finite Element Matrices.- 12. Inversion with Partial Evaluation.- 13. Eigenvalue Problems.- 14. Matrix Functions.- 15. Matrix Equations.- 16. Tensor Spaces.- Part IV: Appendices.- A. Graphs and Trees.- B. Polynomials.- C. Linear Algebra and Functional Analysis.- D. Sinc Functions and Exponential Sums.- E. Asymptotically Smooth Functions.- References.- Index.
£104.99
Springer Spektrum Algorithmik Eine universelle Methode im Überblick
Book SynopsisZur Geschichte der Algorithmen.- Die Entstehung und Präzisierung des Begriffs Algorithmus.- Programmierung und Software Tools.- Zur Universalität und Vernetztheit der Algorithmik.- Zur Methodologie des algorithmischen Arbeitens.- Künstliche Intelligenz.- Computerfehler.- Algorithmik und Gesellschaft.- Ausblick.
£13.12