Mathematical theory of computation Books
Springer Verlag, Singapore Modeling and Simulation of Complex Dynamical
Book SynopsisThis book highlights the practical aspects of computer modelling and simulation of complex dynamical systems for students. Mechanical systems are considered in the book as representative examples of dynamical systems. Wolfram SystemModeler, in combination with Learning Management System Sakai, is used as an instrument for studying features of various physical and technical phenomena and processes. Each of the presented virtual labs may be considered a stand-alone mini project to enable students to go through all the steps of mathematical modelling and computer simulation—from the problem statement to mathematical and physical analysis of the obtained result. The book is useful for teachers to organize the educational process, allowing gradual monitoring of the learning process and assessment of students’ competencies. It also allows tutors to design individual educational trajectories for students to achieve educational properties. The subject of the book is an extension of activity started by the international team of authors within the InMotion project of the European programme ERASMUS+.Trade Review“The authors went to great effort to produce beautiful figures, with color no less, to aid the reader. The tables are laid out logically, and the discussion for each model is, for the most part straightforward. I wish I could recommend the book … .” (David S. Mazel, MAA Reviews, August 22, 2022)Table of Contents1. Virtual Labs (76 pages) 2 Guidelines for performing virtual labs in Wolfram SystemModeler (63 pages)
£37.99
Springer Verlag, Singapore Computational Thinking: A Perspective on Computer
Book SynopsisThis textbook is intended as a textbook for one-semester, introductory computer science courses aimed at undergraduate students from all disciplines. Self-contained and with no prerequisites, it focuses on elementary knowledge and thinking models. The content has been tested in university classrooms for over six years, and has been used in summer schools to train university and high-school teachers on teaching introductory computer science courses using computational thinking. This book introduces computer science from a computational thinking perspective. In computer science the way of thinking is characterized by three external and eight internal features, including automatic execution, bit-accuracy and abstraction. The book is divided into chapters on logic thinking, algorithmic thinking, systems thinking, and network thinking. It also covers societal impact and responsible computing material – from ICT industry to digital economy, from the wonder of exponentiation to wonder of cyberspace, and from code of conduct to best practices for independent work. The book’s structure encourages active, hands-on learning using the pedagogic tool Bloom's taxonomy to create computational solutions to over 200 problems of varying difficulty. Students solve problems using a combination of thought experiment, programming, and written methods. Only 300 lines of code in total are required to solve most programming problems in this book.Trade Review“The book companion website includes the course’s lecture and project slides as well as Go source code. … Xu and Zhang validate the view that it is indeed more concerned with … CS instruction itself and provides an effective framework for teaching the subject from introductory to advanced courses. Thus they agree with other notable CT researchers and practitioners, such as Denning and Tedre [1], and their textbook is a most valuable contribution to CS education.” (Harry J. Foxwell, Computing Reviews, October 12, 2022)“The book has a companion website from which readers can pull down over 200 MB of zip files with lecture notes, lab notes … and project notes. This is a puzzling book in some respects. On the one hand it covers basic concepts and terminology for the beginning student, yet on the other hand plunges into sophisticated topics without drawing a breadth. Likewise, it claims that programing experience is not a prerequisite … .” (Anthony J. Duben, Computing Reviews, August 30, 2022)“The most preeminent characteristic of this book is its ‘thinking’-perspective, which the reader may or may not like, and which perhaps leads to a suboptimal arrangements of topics. … the material presented is impressive, and at least the fundamentals are covered in great detail.” (Dieter Riebesehl, zbMATH 1490.68001, 2022)Table of Contents1 Overview of Computer Science.-2 Processes of Digital Symbol Manipulation.- 3 Logic Thinking.- 4 Algorithmic Thinking.- 5 Systems Thinking.- 6 Network Thinking.- 7 Projects.- 8 Appendices.
£41.24
Springer Verlag, Singapore Sublinear Computation Paradigm: Algorithmic Revolution in the Big Data Era
Book SynopsisThis open access book gives an overview of cutting-edge work on a new paradigm called the “sublinear computation paradigm,” which was proposed in the large multiyear academic research project “Foundations of Innovative Algorithms for Big Data.” That project ran from October 2014 to March 2020, in Japan. To handle the unprecedented explosion of big data sets in research, industry, and other areas of society, there is an urgent need to develop novel methods and approaches for big data analysis. To meet this need, innovative changes in algorithm theory for big data are being pursued. For example, polynomial-time algorithms have thus far been regarded as “fast,” but if a quadratic-time algorithm is applied to a petabyte-scale or larger big data set, problems are encountered in terms of computational resources or running time. To deal with this critical computational and algorithmic bottleneck, linear, sublinear, and constant time algorithms are required.The sublinear computation paradigm is proposed here in order to support innovation in the big data era. A foundation of innovative algorithms has been created by developing computational procedures, data structures, and modelling techniques for big data. The project is organized into three teams that focus on sublinear algorithms, sublinear data structures, and sublinear modelling. The work has provided high-level academic research results of strong computational and algorithmic interest, which are presented in this book.The book consists of five parts: Part I, which consists of a single chapter on the concept of the sublinear computation paradigm; Parts II, III, and IV review results on sublinear algorithms, sublinear data structures, and sublinear modelling, respectively; Part V presents application results. The information presented here will inspire the researchers who work in the field of modern algorithms.Table of ContentsChapter 1: What is the Sublinear Computation Paradigm?.- Chapter 2: Property Testing on Graphs and Games.- Chapter 3: Constant-Time Algorithms for Continuous Optimization Problems.- Chapter 4: Oracle-based Primal-Dual Algorithms for Packing and Covering Semidefinite Programs.- Chapter 5: Almost Linear Time Algorithms for Some Problems on Dynamic Flow Networks.- Chapter 6: Sublinear Data Structure.- Chapter 7: Compression and Pattern Matching.- Chapter 8: Orthogonal Range Search Data Structures.- Chapter 9: Enhanced RAM Simulation in Succinct Space.- Chapter 10: Review of Sublinear Modeling in Markov Random Fields by Statistical-Mechanical Informatics and Statistical Machine Learning Theory.- Chapter 11: Empirical Bayes Method for Boltzmann Machines.- Chapter 12: Dynamical analysis of quantum annealing.- Chapter 13: Mean-field analysis of Sourlas codes with adiabatic reverse annealing.- Chapter 14: Rigidity theory for protein function analysis and structural accuracy validations.- Chapter 15: Optimization of Evacuating and Walking Home Routes from Osaka City with Big Road Network Data on Nankai Megathrust Earthquake.- Chapter 16: Stream-based Lossless Data Compression.
£31.49
Springer Verlag, Singapore A Guide to Graph Algorithms
Book SynopsisThis book A Guide to Graph Algorithms offers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics. The reader will gain a comprehensive understanding of how to use algorithms to explore graphs. It is a collection of texts that have proved to be trend setters and good examples of that. The book aims at providing the reader with a deep understanding of the structural properties of graphs that are useful for the design of efficient algorithms. These algorithms have applications in finite state machine modelling, social network theory, biology, and mathematics. The book contains many exercises, some up at present-day research-level. The exercises encourage the reader to discover new techniques by putting things in a clear perspective. A study of this book will provide the reader with many powerful tools to model and tackle problems in real-world scenarios.Trade Review“This book provides a guided tour through the research area of graph algorithms. … the authors give a good survey on recent topics in graph algorithms, which are supported by results from theory. … One of the main advantages of this book are its exercises. The exercises are the source for further research. In summary, this book is a good candidate for a course on graph algorithms intended for last year undergraduates or early graduate students in computer science.” (Ali Shakiba, zbMATH 1496.68003, 2022)Table of ContentsChapter 1. Graphs.- Chapter 2. Algorithms.- Chapter 3. Problem Formulations.- Chapter 4. Recent Trends.
£47.49
Springer Verlag, Singapore Machine Translation: 17th China Conference, CCMT 2021, Xining, China, October 8–10, 2021, Revised Selected Papers
Book SynopsisThis book constitutes the refereed proceedings of the 17th China Conference on Machine Translation, CCMT 2020, held in Xining, China, in October 2021. The 10 papers presented in this volume were carefully reviewed and selected from 25 submissions and focus on all aspects of machine translation, including preprocessing, neural machine translation models, hybrid model, evaluation method, and post-editing.Table of ContentsA Document-Level Machine Translation Quality Estimation Model Based on Centering Theory.- SAUNLP'S Submission for CCMT 2021 Quality Estimation Task.- BJTU-Toshiba's Submission to CCMT 2021 QE and APE task.- Low-resource Neural Machine Translation based on Improved Reptile Meta-Learning Method.- Semantic Perception-Oriented Low-resource Neural Machine Translation.- Semantic-aware Deep Neural Attention Network for Machine Translation Detection.- Routing Based Context Selection for Document-Level Neural Machine Translation.- Generating Diverse Back-translations via Constraint Random Decoding.- Machine Translation Evaluation Technical Report for CCMT' 2021.- BJTU's Submission to CCMT 2021 Translation Evaluation Task.
£49.49
Springer Verlag, Singapore Property Testing: Problems and Techniques
Book SynopsisThis book introduces important results and techniques in property testing, where the goal is to design algorithms that decide whether their input satisfies a predetermined property in sublinear time, or even in constant time – that is, time is independent of the input size. This book consists of three parts. The first part provides an introduction to the foundations of property testing. The second part studies the testing of specific properties on strings, graphs, functions, and constraint satisfaction problems. Vectors and matrices over real numbers are also covered. The third part is more advanced and explains general conditions, including full characterizations, under which properties are constant-query testable. The first and second parts of the book are intended for first-year graduate students in computer science. They should also be accessible to undergraduate students with the adequate background. The third part can be used by researchers or ambitious graduate students who want to gain a deeper theoretical understanding of property testing.Table of ContentsChapter 1: Introduction.- Chapter 2: Basic Techniques.- Chapter 3: Strings.- Chapter 4: Graphs in the Adjacency Metrix Model.- Chapter 5: Graphs in the Bounded-Degree Model.- Chapter 6: Functions over Hypercubes.- Chapter 7: Massively Parameterized Model.- Chapter 8: Vectors and Matrices over the Reals.- Chapter 9: Graphs in the Adjacency Matrix Model.- Chapter 10: Graphs in the Bounded-Degree Model.- Chapter 11: Affine-Invariant Properties of Functions.- Chapter 12: Linear Properties of Functions.- Chapter 13: Massively Parameterized Model.
£71.99
Springer Verlag, Singapore Property Testing: Problems and Techniques
Book SynopsisThis book introduces important results and techniques in property testing, where the goal is to design algorithms that decide whether their input satisfies a predetermined property in sublinear time, or even in constant time – that is, time is independent of the input size. This book consists of three parts. The first part provides an introduction to the foundations of property testing. The second part studies the testing of specific properties on strings, graphs, functions, and constraint satisfaction problems. Vectors and matrices over real numbers are also covered. The third part is more advanced and explains general conditions, including full characterizations, under which properties are constant-query testable. The first and second parts of the book are intended for first-year graduate students in computer science. They should also be accessible to undergraduate students with the adequate background. The third part can be used by researchers or ambitious graduate students who want to gain a deeper theoretical understanding of property testing.Table of ContentsChapter 1: Introduction.- Chapter 2: Basic Techniques.- Chapter 3: Strings.- Chapter 4: Graphs in the Adjacency Metrix Model.- Chapter 5: Graphs in the Bounded-Degree Model.- Chapter 6: Functions over Hypercubes.- Chapter 7: Massively Parameterized Model.- Chapter 8: Vectors and Matrices over the Reals.- Chapter 9: Graphs in the Adjacency Matrix Model.- Chapter 10: Graphs in the Bounded-Degree Model.- Chapter 11: Affine-Invariant Properties of Functions.- Chapter 12: Linear Properties of Functions.- Chapter 13: Massively Parameterized Model.
£49.49
Springer Verlag, Singapore Machine Intelligence and Smart Systems:
Book SynopsisThis book is a collection of peer-reviewed best selected research papers presented at the Second International Conference on Machine Intelligence and Smart Systems (MISS 2021), organized during September 24–25, 2021, in Gwalior, India. The book presents new advances and research results in the fields of machine intelligence, artificial intelligence and smart systems. It includes main paradigms of machine intelligence algorithms, namely (1) neural networks, (2) evolutionary computation, (3) swarm intelligence, (4) fuzzy systems and (5) immunological computation. Scientists, engineers, academicians, technology developers, researchers, students and government officials will find this book useful in handling their complicated real-world issues by using machine intelligence methodologies.Table of ContentsArtificial Intelligence Aided Neurodevelopmental Disorders Diagnosis: Techniques Revisited.- Deep Learning Implementation for Dark Matter Particle Detection.- Augmentation of Handwritten Devanagari Character Dataset Using DCGAN.- Deep Reinforcement Learning for Optimal Traffic Control.- Ensemble Semi-Supervised Machine Learning Algorithm for Classifying Complaint Tweets.- Underwater Image Enhancement Using Fusion Stretch Method.- A Novel Approach for Semantic Microservices Description and Discovery towards Smarter Applications.
£189.99
Springer Verlag, Singapore Engineering Mathematics and Computing
Book SynopsisThis book contains select papers presented at the 3rd International Conference on Engineering Mathematics and Computing (ICEMC 2020), held at the Haldia Institute of Technology, Purba Midnapur, West Bengal, India, from 5–7 February 2020. The book discusses new developments and advances in the areas of neural networks, connectionist systems, genetic algorithms, evolutionary computation, artificial intelligence, cellular automata, self-organizing systems, soft computing, fuzzy systems, hybrid intelligent systems, etc. The book, containing 19 chapters, is useful to the researchers, scholars, and practising engineers as well as graduate students of engineering and applied sciences. Table of ContentsFuzzy Random Continuous Review Inventory Model with Controllable Lead-time and Exponential Crashing Cost.- Multilevel Meshfree RBF-FD Method for Elliptic Partial Differential Equations.- Some Fixed Point Theorems in Fuzzy Strong B-Metric Spaces.- Camera Tracking for Robotic Ships.- Some Arithmetic Operations on Trapezoidal Intuitionistic Fuzzy Number and Its Application in Solving Linear Programming Problem by Simplex Algorithm.- Investment Analysis Based on New Fuzzy Methodology.- Existence of Quadruple Fixed Point Results in Ordered K Metric Space Through C Distance with Application in Integral Equation.- New Dice Similarity Measure of Fuzzy Numbers and its application in Multicriteria Decision Making.- Ensemble of Cyberspace Users Tendency in Blog Writing Using Regression Algorithms.- An Intelligent Intrusion Detection System Using a Novel Combination of PCA and MLP.- Performance Analysis for Various Mobility Nodes for Manet Protocol Using Fuzzy Inference System.- Ion Partitioning Effects on Electroosmotic Flow Through ph Regulated Cylindrical Nanopore.- Optimal Control of Complementary and Substitute Items in a Production System for Infinite Time Horizon.
£40.49
Springer Verlag, Singapore Mathematical and Computational Intelligence to
Book SynopsisThis book presents a collection of selected papers presented at the 22nd FAI International Conference on Mathematical, Computational Intelligence and Engineering Approaches to Healthcare, Business and Tourism Analytics (FAI-ICMCIE 2020), held at American College, Madurai, India, from 20–22 December 2020. This book discusses advanced mathematical concepts and computational intelligence approaches for: medical diagnostic approach in cardiac diseases, nano topology in medical diseases, stability of indicators in assessing business development, AI-guided paradigmatic competence in science and spirituality integration, neural network-TOPSIS analytics in hotel service quality, itinerary planning destination ranking tourism analytics, molecular modeling and docking simulation for unraveling medicinal properties, value-oriented approach on commercial banks security, Brownian motion in shares of the bank, internet of things linking to social media and e-commerce, and more, which are discussed by using fuzzy analytics, nano-topology, statistical, TOPSIS and neural network tools.Table of ContentsA Study on Medical Diagnostic Approach to Investigate Cardiac Diseases.- Economic and Mathematical Methods for Classifying the Stability of Indicators in Assessing Business Development.- Nano Topological Reductions of Attributes in Medical Diagnosis.- AI-Guided Paradigmatic Competence to Embrace Future Trends and Research: A Science-Spirituality Contribution.- Itinerary Planning Destination Ranking Tourism Analytics System.- Generalized Unitary Convolution, Ramanujan Sums and Applications.- A Class of the Extended Multi-Index Bessel-Maitland Functions and It’s Properties.- A Numerical Study on Atangana-Baleanu and Caputo-Fabrizio Fractional Derivatives for MHD Flow Past an Impulsively Started Vertical Plate with Ramped Temperature and Concentration with Viscous Dissipation.- Sufficient Conditions of q-Starlikeness and q-Convexity Associated with Basic Hypergeometric Function.- A New Computing Techniques on Digital Nano Topology.- A New Notion of Mappings in Nano Topology.
£98.99
Springer Verlag, Singapore Artificial Intelligence Logic and Applications: The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings
Book SynopsisThis book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shanghai, China from August 26–28, 2022.The 20 full papers presented in this volume were carefully reviewed and selected from a total of 27 submissions. The papers in the volume are organised according to the following topical headings: program logic; fuzzy logic; applications; author index.Table of ContentsProgram Logic.- Finite Quantified Linear Temporal Logic and its Satisfiability Checking.- Quantitative BAN Logic Based on Belief Degree.- Predicate Logic Network: Vision Concept Formation.- Approximate Simulation for Transition Systems with Regular Expressions.- On Interval Perturbation of the ɑ-Symmetric Implicational Algorithm.- Fuzzy Logic.- Viewpoint-Driven Subspace Fuzzy C-Means Algorithm.- TOPSIS Method based on Intuitionistic Fuzzy with Linguistic Concept.- Properties of Fuzzy λ-Approximate Context-Free Languages.- Fuzzy-Classical Linguistic Concept Acquisition Approach based on Attribute Topology.- Generalized Convex Combinations of T-norms on Bounded Lattices.- A Transformation Model for Different Granularity Linguistic Concept Formal Context.- Paraconsistent Rough Set Algebras.- Applications.- A Generalization of Bounded Commutative Rℓ-Monoids.- On the Weak Dominance Relation between Conjunctors.- New Modification to Toulmin Model as an Analytical Framework for Argumentative Essays.- Value-based Preference Aggregation Argument Framework and Its Application.- A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness Measurement.- A Novel Trustworthiness Measurement Method for Software System Based on Fuzzy Set.- The Trustworthiness Measurement Model of Component-Based Software based on Combination Weight.- Author Index.
£53.99
Springer Verlag, Singapore Quantum Computers: Theory and Algorithms
Book SynopsisThis book presents various theories and algorithms to create a quantum computer. The concept of the classical and quantum computers, and the concept of circuits and gates are reviewed. The example of the Deutsch and the Deutsch-Josca algorithm is discussed to illustrate some key features of quantum computing. The Grover algorithm, considered to be of major milestone of the subject, is discussed in detail to exemplify the techniques used in computer algorithms. The role of quantum superposition (also called quantum parallelism) and of quantum entanglement is discussed in order to understand the key advantages of a quantum over a classical computer.Table of Contents1 Introduction 2 Classical Computer 2.1 Binary Representation 3 Quantum Computer 3.1 Qubit 4 Classical Gates and Circuits 5 Quantum Gates and Circuits 5.1 Hilbert space 5.2 Measurement 6 Deutsch Algorithm 7 Grover Algorithm 7.1 Grover algorithm: two-qubit 7.2 Grover algorithm: n-qubit 7.3 Grover diffusion and rotation gate G 7.4 Single Recursion: Two qubit 8 Deutsch-Josza Algorithm 9 Simon’s Algorithm 9.1 Quantum Algorithm 9.2 An Illustrative Example 10 Quantum Fourier Transform (QFT) 51 10.1 Quantum circuit of QFT 11 Shor 11.1 Introduction 11.2 Understanding the classical algorithm 11.3 Quantum algorithm 12 Option Pricing 12.1 Quantum Algorithm for Option Pricing 12.2 Quadratic Improvement 12.3 Estimation of Phase 12.4 Call Option 13 Solving Linear Equations 13.1 Introduction 13.2 Harrow-Hassidim-Lloyd Algorithm 13.3 Specific Example 13.4 Other applications 14 Quantum-Classical Hybrid Algorithms 14.1 Why bother? 14.2 Overlap of Wavefunctions 14.3 Variational Quantum Eigensolvers 15 Quantum Error Correction 15.1 Introduction 15.2 Simple quantum errors 15.3 Kraus Operators 15.4 Nine-qubit Code 15.5 General properties of quantum error-correcting codes 15.6 Classical Linear Codes 15.7 CSS Codes 16 Efficiency of a Quantum Computer 16.1 So where does quantum computation take place? 16.2 Conclusions 16.3 Acknowledgements
£98.99
Springer Verlag, Singapore Quantum Mechanics: A Concise Introduction
Book SynopsisThis textbook highlights a concise introduction to quantum mechanics in a readable and serious manner. Being readable, the book intends to present the beauty and magic of quantum mechanics to the mass public. Being serious, the book uses mathematics to describe the most profound results in quantum mechanics. To balance the two, the book assumes that the readers are familiar with high-school mathematics and instructs the least possible advanced mathematics necessary for the understanding of quantum mechanics.The book first covers the history of quantum mechanics and then introduces the magical quantum world, including quantum states living in Hilbert space, indistinguishable particles, linear superposition, Heisenberg's uncertainty relations, quantum entanglement, Bell's inequality, quantum energy levels, Schrödinger’s cat and many-worlds theory, etc. To compare with classic physics, the book also covers the classic mechanics before introducing quantum mechanics. At last, the book briefly covers quantum computing and quantum communications. Besides readers of other majors, the book is also a good reference for students in physics. It helps physics students to develop a solid understanding of the basics of quantum mechanics, preventing them from getting lost in solving the Schrödinger equation. The book also discusses quantum entanglement and quantum information which traditional quantum mechanics textbooks do not cover. The Foreword is written by Frank Wilczek, Nobel Laureate in physics, 2004.This book is a translation of an original Chinese edition. The translation was done with the help of artificial intelligence (machine translation by the service DeepL.com). A subsequent human revision was done primarily in terms of content, so that the book will read stylistically differently from a conventional translation.Table of ContentsChapter 1. What is quantum?.- Chapter 2. Brief history of quantum mechanics.- Chapter 3. Classical mechanics and old quantum theories.- Chapter 4. Complex number and linear algebra.- Chapter 5. Quantum entanglement and Bell’s inequality.- Chapter 6. Quantum measurement.- Chapter 7. Quantum computing.- Chapter 8. Quantum communications.
£56.99
Springer Verlag, Singapore Theoretical Computer Science: 40th National Conference, NCTCS 2022, Changchun, China, July 29–31, 2022, Revised Selected Papers
Book SynopsisThis book constitutes the refereed proceedings of the 40th National Conference on Theoretical Computer Science, NCTCS 2022, held in Changchun, China, during July 29–31, 2022.The 13 full papers and 6 short papers included in this book were carefully reviewed and selected from 58 submissions. They were organized in topical sections as follows: computational theory and model; approximation algorithms; artificial intelligence; and system and resource scheduling.Table of ContentsComputational Theory and Model.- General-nondeterministic fuzzy pushdown automata and their languages.- Joint Degree Distribution of Growing Multiplex Network Model with Nonlinear Preferential Attachment Rule.- Coherence of Quantum States based on Mutually Unbiased Bases.- Determining the Sampling Size with Maintaining the Probability Distribution.- Approximation Algorithms.- The polynomial randomized algorithm to compute bounded degree graphs for TSP based on frequency quadrilaterals.- An approximation algorithm for the minimum soft capacitated disk multi-coverage problem.- A 1/2 approximation algorithm for energy constrained geometric covering problem.- Artificial Intelligence.- MixHop Graph WaveNet for traffic forecasting.- A Brief Discussion on the Reform of Mathematics Teaching in Artificial Intelligence Majors - Taking Matrix Computation and Optimization as Examples.- Improved Spotted Hyena Optimizer fused with multiple strategies.- Regularized Framework on Heterogeneous Hypergraph Model for Personal Recommendation.- Hybrid Pre-training based on Masked Autoencoders for Medical Image Segmentation.- Deep Transfer Learning based Risk Prediction Model for Infectious Disease.- A Data-Driven Framework For Crack Paths Propagation.- System and Resource Scheduling.- A modified list scheduling algorithm for the online hierarchical load balancing problem with bounded processing times.- An Improved ACS Algorithm by CA for Task Scheduling in Heterogeneous Multiprocessing Environments.- On the parameterized tractability of single machine scheduling with rejection to minimize the weighted makespan.- Multi-resource allocation in mobile edge computing systems: A trade-off on fairness and efficiency.- Maximin share based mechanisms for multi-resource fair allocation with divisible and indivisible tasks.
£53.99
Springer Verlag, Singapore Distributed Optimization in Networked Systems:
Book SynopsisThis book focuses on improving the performance (convergence rate, communication efficiency, computational efficiency, etc.) of algorithms in the context of distributed optimization in networked systems and their successful application to real-world applications (smart grids and online learning). Readers may be particularly interested in the sections on consensus protocols, optimization skills, accelerated mechanisms, event-triggered strategies, variance-reduction communication techniques, etc., in connection with distributed optimization in various networked systems. This book offers a valuable reference guide for researchers in distributed optimization and for senior undergraduate and graduate students alike.Table of ContentsChapter 1. Distributed Nesterov-Like Accelerated Algorithms in Networked Systems with Directed Communications.- Chapter 2. Distributed Stochastic Projected Gradient Algorithms for Composite Constrained Optimization in Networked Systems.- Chapter 3. Distributed Proximal Stochastic Gradient Algorithms for Coupled Composite Optimization in Networked Systems.- Chapter 4. Distributed Subgradient Algorithms Based on Event-Triggered Strategy in Networked Systems.- Chapter 5. Distributed Accelerated Stochastic Algorithms Based on Event-Triggered Strategy in Networked Systems.- Chapter 6. Event-Triggered Based Distributed Optimal Economic Dispatch in Smart Grids.- Chapter 7. Fast Distributed Optimal Economic Dispatch in Dynamic Smart Grids with Directed Communications.- Chapter 8. Accelerated Distributed Optimal Economic Dispatch in Smart Grids with Directed Communications.- Chapter 9. Privacy Preserving Distributed Online Learning with Time-Varying and Directed Communications.
£125.99
Springer Verlag, Singapore EdgeAI for Algorithmic Government
Book SynopsisThe book provides various EdgeAI concepts related to its architecture, key performance indicators, and enabling technologies after introducing algorithmic government, large-scale decision-making, and computing issues in the cloud and fog. With advancements in technology, artificial intelligence has permeated our personal lives and the fields of economy, socio-culture, and politics. The integration of artificial intelligence (AI) into decision-making for public services is changing how governments operate worldwide. This book discusses how algorithms help the government in various ways, including virtual assistants for busy civil servants, automated public services, and algorithmic decision-making processes. In such cases, the implementation of algorithms will occur on a massive scale and possibly affect the lives of entire communities. The cloud-centric architecture of artificial intelligence brings out challenges of latency, overhead communication, and significant privacy risks. Due to the sheer volume of data generated by IoT devices, the data analysis must be performed at the forefront of the network. This introduces the need for edge computing in algorithmic government. EdgeAI, the confluence of edge computing and AI, is the primary focus of this book. It also discusses how one can incorporate these concepts in algorithmic government through conceptual framework and decision points. Finally, the research work emphasizes some design challenges in edge computing from applications viewpoint. This book will be helpful for data engineers, data scientists, cloud engineers, data management experts, public policymakers, administrators, research scholars and academicians.Table of ContentsChapter 1: Algorithmic Government 1.1 Concept of Algorithmic Government 1.2 Motivation & Benefits 1.3 Large Scale Decision Making 1.4 Computing Issues in Algorithmic Government 1.5 Technological Solutions Chapter 2: Edge Computing 2.1 Concept of Edge Computing 2.2 Benefits of Edge Computing 2.3 Comparative Analysis for Edge, Fog & Cloud 2.4 AI for Edge Computing 2.5 Benefits of Edge Intelligence Chapter 3: EdgeAI 3.1 Concept of EdgeAI 3.2 Levels of Edge Intelligence 3.3 Model Training at Edge 3.4 Model Inferencing at Edge 3.5 Comparative analysis of Model Training and Inferencing at Edge Chapter 4: EdgeAI Cases for Algorithmic Government 4.1 Facial recognition for suspects at crowded places 4.2 Social Network Analysis for Citizen Behavior 4.3 Healthcare Management 4.4 Voice Enabled personal assistant 4.5 Industrial Safety and Planning 4.6 Border Security and Military planning 4.7 Citizen’s safety and support 4.8 Summary of EdgeAI Techniques Chapter 5: Design Challenges & Future Scope 5.1 Network Integration and Resource Management 5.2 Cloud & Edge Coexistence 5.3 Reliability of Edge Devices 5.4 Future Scope 5.5 Conclusion
£33.24
World Scientific Publishing Co Pte Ltd Advances In The Computational Sciences -
Book SynopsisOn August 20, 2015, a symposium at Lawrence Livermore National Laboratory was held in honor of Berni J. Alder's 90th birthday. Many of Berni's scientific colleagues and collaborators, former students, and post-doctoral fellows came to celebrate and honor Berni and the ground-breaking scientific impact of his many discoveries. This proceedings volume includes contributions from Berni's collaborators and covers a range of topics, including the melting transition in the 2D hard disk system, non-equilibrium fluid relaxation, the role of fluctuations in hydrodynamics, glass transitions, molecular dynamics of dense fluids, shock-wave and finite-strain equation of state relationships, and applications of quantum mechanics in pattern recognition.
£95.40
World Scientific Publishing Co Pte Ltd Theory And Practice Of Computation - Proceedings
Book SynopsisThis is the proceedings of the Sixth Workshop on Computing: Theory and Practice, WCTP 2016 devoted to theoretical and practical approaches to computation. This workshop was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, University of the Philippines - Diliman, and De La Salle University. The proceedings provides a view of the current movement in research in these two countries. The papers included in the proceedings focus on the two research areas: theoretical and practical aspects of computation.
£108.90
World Scientific Publishing Co Pte Ltd Mathematics Almost Everywhere: In Memory Of
Book SynopsisThe book is a collection of original papers, research and surveys, dedicated to the memory of the Romanian mathematician Solomon Marcus (1925-2016). Marcus published many papers and books in mathematical analysis, theoretical computer science, mathematical linguistics, poetics, theory of literature, semiotics, and several other fields less strongly connected to mathematics, like cultural anthropology, biology, history and philosophy of science, education. He exemplified an unimaginable richness of ideas.This volume intends to emphasize the mathematical fields in which Solomon Marcus worked, and demonstrate — as he also did — the interconnection between them. The authors who contribute to this volume are well-known experts in their fields. Most of them knew Solomon Marcus well, some even owed him for his decisive impulses for their careers and general development. With articles in so diverse areas, the volume will attract readers who would like to diversify their own knowledge or find unexpected connections with other topics.
£85.50
World Scientific Publishing Co Pte Ltd Proof And Computation: Digitization In
Book SynopsisThis book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.
£90.00
World Scientific Publishing Co Pte Ltd Biomat 2008 - International Symposium On
Book SynopsisThe present volume contains selected contributed papers from the BIOMAT 2008 Symposium and lectures delivered by keynote speakers during the plenary sessions. All chapters are centered on fundamental interdisciplinary areas of mathematical modeling of biosystems, like mathematical biology, biological physics, evolution biology and bioinformatics. It contains new results on the mathematical analysis of reaction-diffusion equations, demographic Allee effects and the dynamics of infection. Recent approaches to the modeling of biosystem structure, comprehensive reviews on icosahedral viral capsids and the classification of biological data via neural networks with prior knowledge, and a new perspective on a theoretical basis for bioinformatics are also discussed.This book contains original results on reaction-diffusion waves: the population dynamics of fishing resources and the effectiveness of marine protected areas; an approach to language evolution within a population dynamics framework; the analysis of bacterial genome evolution with Markov chains; the choice of defense strategies and the study of the arms-race phenomenon in a host-parasite system.Table of ContentsLinear and Non-linear Front Selection for Reaction-Diffusion Equations (A Goriely & J Rose); Network Structure and Epidemic Waves in Metapopulation Models (V Colizza et al.); Integral Symmetry Classes of Icosahedral Viral Capsids (R Kerner); A Study of Hydrophobic Effect on the Protein Folding Using Monte Carlo (L P B Scott); Evolution in a Host-Parasite System (N F Britton); A Population Dynamics Approach to Language Evolution (J F Fontanari); Neural Network Classification with Prior Knowledge for Analysis of Biological Data (P M Pardalos et al.); Unsupervised Classification of Tree Structured Objects (A G Flesia); Mathematical Biology: Some Opportunities in Integrative Biology (R Mejia); Modeling and Simulation of the Human Eye (L P Brazil); and other papers.
£139.50
World Scientific Publishing Co Pte Ltd Information And Computation: Essays On Scientific
Book SynopsisInformation is a basic structure of the world, while computation is a process of the dynamic change of information. This book provides a cutting-edge view of world's leading authorities in fields where information and computation play a central role. It sketches the contours of the future landscape for the development of our understanding of information and computation, their mutual relationship and the role in cognition, informatics, biology, artificial intelligence, and information technology.This book is an utterly enjoyable and engaging read which gives readers an opportunity to understand and relate phenomena seemingly unrelated in a completely new light — especially the connections between information, computation, cognition and life.Table of ContentsCybersemiotics and the Question of Knowledge (S Brier); Information Dynamics in a Categorical Setting (M Burgin); Mathematics as Biological Process (G Chaitin); Information, Computation, Measurement and Irreversibility (J Collier); From Descartes to Turing: The Computational Content of Supervenience (B Cooper); On the Algorithmic Nature of the World (J-P Delahaye & H Zenil); A Dialogue Concerning Two Possible World Systems (G Dodig-Crnkovic & V Mueller); Does Computing Embrace Self-Organization? (W Hofkirchner); Analysis of Information and Computation in Physics Explains Cognitive Paradigms: From Full Cognition to Laplace Determinism to Statistical Determinism to Modern Approach (V Kreinovich & R Araiza); Bodies - Both Informed and Transformed (B J MacLennan); Computation on Information, Meaning and Representations, an Evolutionary Approach (C Menant); Interior Grounding, Reflection, and Self-Consciousness (M Minsky); Insights into the Biological Computing (W Riofrio); Super-Recursive Features of Natural Evolvability Processes and the Models for Computational Evolution (D Roglic); A Sketch of a Modeling View of Computing (O Shagrir); What's Information, for an Organism or Intelligent Machine? How Can a Machine or Organism Mean? (A Sloman); Inconsistent Information as a Natural Phenomenon (C N J de Vey Mestdagh & J H Hoepman);
£148.50
World Scientific Publishing Co Pte Ltd Functional Interpretation Of Logical Deduction,
Book SynopsisThis comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an ‘enriched’ system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing ‘labels’ is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations.
£86.45
World Scientific Publishing Co Pte Ltd Voronoi Diagrams And Delaunay Triangulations
Book SynopsisVoronoi diagrams partition space according to the influence certain sites exert on their environment. Since the 17th century, such structures play an important role in many areas like Astronomy, Physics, Chemistry, Biology, Ecology, Economics, Mathematics and Computer Science. They help to describe zones of political influence, to determine the hospital nearest to an accident site, to compute collision-free paths for mobile robots, to reconstruct curves and surfaces from sample points, to refine triangular meshes, and to design location strategies for competing markets.This unique book offers a state-of-the-art view of Voronoi diagrams and their structure, and it provides efficient algorithms towards their computation.Readers with an entry-level background in algorithms can enjoy a guided tour of gently increasing difficulty through a fascinating area. Lecturers might find this volume a welcome source for their courses on computational geometry. Experts are offered a broader view, including many alternative solutions, and up-to-date references to the existing literature; they might benefit in their own research or application development.Table of ContentsElementary Properties; Basic Algorithms; Advanced Properties; Generalized Sites; Medical Axis; Higher Dimensions; Power Diagram; Higher Order Diagram; General Spaces and Distances; Abstract Diagrams; Distance Problems; Delaunay Related Graphs; Clustering; Motion Planning; Placement Problems; High Dimensional Solutions; Open Problems.
£75.05
World Scientific Publishing Co Pte Ltd Computer Arithmetic - Volume Ii
Book SynopsisThis is the new edition of the classic book Computer Arithmetic in three volumes published originally in 1990 by IEEE Computer Society Press. As in the original, the book contains many classic papers treating advanced concepts in computer arithmetic, which is very suitable as stand-alone textbooks or complementary materials to textbooks on computer arithmetic for graduate students and research professionals interested in the field.Told in the words of the initial developers, this book conveys the excitement of the creators, and the implementations provide insight into the details necessary to realize real chips. This second volume presents topics on error tolerant arithmetic, digit on-line arithmetic, number systems, and now in this new edition, a topic on implementations of arithmetic operations, all wrapped with an updated overview and a new introduction for each chapter.This volume is part of a 3 volume set:Computer Arithmetic Volume IComputer Arithmetic Volume IIComputer Arithmetic Volume IIIThe full set is available for sale in a print-only version.
£139.50
World Scientific Publishing Co Pte Ltd Lecture Notes On Knot Invariants
Book SynopsisThe volume is focused on the basic calculation skills of various knot invariants defined from topology and geometry. It presents the detailed Hecke algebra and braid representation to illustrate the original Jones polynomial (rather than the algebraic formal definition many other books and research articles use) and provides self-contained proofs of the Tait conjecture (one of the big achievements from the Jones invariant). It also presents explicit computations to the Casson-Lin invariant via braid representations.With the approach of an explicit computational point of view on knot invariants, this user-friendly volume will benefit readers to easily understand low-dimensional topology from examples and computations, rather than only knowing terminologies and theorems.
£58.90
World Scientific Publishing Co Pte Ltd Lecture Notes On Knot Invariants
Book SynopsisThe volume is focused on the basic calculation skills of various knot invariants defined from topology and geometry. It presents the detailed Hecke algebra and braid representation to illustrate the original Jones polynomial (rather than the algebraic formal definition many other books and research articles use) and provides self-contained proofs of the Tait conjecture (one of the big achievements from the Jones invariant). It also presents explicit computations to the Casson-Lin invariant via braid representations.With the approach of an explicit computational point of view on knot invariants, this user-friendly volume will benefit readers to easily understand low-dimensional topology from examples and computations, rather than only knowing terminologies and theorems.
£30.40
Springer Computing and Combinatorics
Book Synopsis.- Graph Algorithms and Graph Theory..- On the Complexity of 2-Club Cluster Editing with Vertex Splitting..- A sufficient condition for the existence of two completely independent spanning trees..- Undecidability of polynomial inequalities in subset densities and additive energies..- Approximation algorithm for prize-collecting hypergraph vertex cover with fairness constraints..- Sum-of-Max Chain Partition of a Tree..- Reconfiguring Multiple Connected Components with Size Multiset Constraints..- Fault diagnosability evaluation of BCCC data center networks..- Testing Some First-Order Logic Properties on Sparse Graphs..- Massively Parallel Approximate Steiner Tree Algorithms..- A Multi-start Variable Neighborhood Tabu Search Algorithm for the Cyclic Bandwidth Problem..- Vertex-Critical (P5, W4)-Free Graphs..- Learning and Data-Related Theory..- A Dynamic Working Set Method for Compressed Sensing..- Data Debugging is NP-hard for Classifiers Trained with SGD..- Coresets for k-Median of Lines with Group Fairness Constraints..- Redefining Entity Integration: Theoretical Insights for GNN-based Recommender Systems..- Tight Gap-Dependent Memory-Regret Trade-Off for Single-Pass Streaming Stochastic Multi-Armed Bandits..- A Robust Distributed Minimax Learning Method against Model Poisoning Attacks..- Parameterized Algorithms..- Parameterized Complexity of Influence Maximization..- Improved Parameterized Algorithms for Scheduling with Precedence Constraints and Time Windows..- Pareto Optimal Matching with Multilayer Preferences: How Hard Can It Be?..- An FPT Factor-11 Approximation Algorithm for TSP..- From Metric to General Graphs: FPT Constant-Factor Approximation Algorithms for Three Location Problems..- String Algorithms and Discrete Structures..- Revisit the Partial Coloring Method: Prefix Spencer and Sampling..- A Sparse Dynamic Programming Algorithm for Solving the Coding Sequence Design Problem..- Improved Approximation Algorithm and Hardness Result for Sorting Unsigned Strings by Symmetric Reversals..- Longest Double-Bounded (k]-tuple Common Substrings..- Finding cycle types in permutation groups with few generators..- Counting overlapping pairs of words.
£58.49
Springer Computing and Combinatorics
Book Synopsis
£62.99
Springer Computing and Combinatorics
Book SynopsisMulti layer Clos Network Task Optimization Based on Heuristic and Greedy Algorithms.- Optimization of Fresh E Commerce Warehouse Layout Based on 0-1 Integer Programming.- An Integrated Simulated Annealing Algorithm for WiFi based Indoor Positioning.- Constructions of Teaching Materials, Curriculums, and the Teaching System Cross Region for "Solving Problems by Programming".- Exploration on Teaching Content Reform of Programming Course in the Era of AI.- Exploration of K12 Multi level Information and AI Talent Training Model.- Course Design and Textbook Development for Introduction to Computer Systems Course in the Era of Concurrency.- A TOF Estimation Method Based on the Improved MUSIC Algorithm.- Task Scheduling in MultiLayer CLOS Topology Networks Based on Shortest Path.- Indoor Localization Problem Based on WiFi Using MUSIC Algorithm and Maximum Likelihood Estimation.- Optimizing Fresh Warehouse Networks Using MIP and SARIMA Forecasting.- Teaching Study on Algorithm Design and Analysis Innovation Teaching Method Reform Based on Practice.- New Teaching Philosophy of Theoretical Computer Science Courses in AI Era Data Structure as an Example.
£40.49
Springer Algorithms and Architectures for Parallel
Book Synopsis
£53.99
Springer Parallel and Distributed Computing Applications
Book Synopsis .- 25th International Conference on Parallel and Distributed Computing, Applications and Technologies..- Decentralized Federated Learning with Knowledge Distillation for Image Classification and Demand Forecasting in Industrial Chains..- Integrating Blockchain into Insurance Claim Management: Applications of NFTs, Smart Contracts and IPFS..- A Meta-Reinforcement Learning Framework for Adaptive Quadrotor UAV Attitude Control..- Securing Energy Transactions for Electric Vehicles: The Blockchain Approach and Encrypted NFTs..- Optimizing Task Allocation in Heterogeneous Agent Manufacturing Systems..- MPG: Multi-Modal Personal Health Graph for Alzheimer’s Disease Diagnosis..- SMAC: A secure multi-authority access control scheme with attribute unifi cation for Fog enabled IoT in e-health..- Convolutional Neural Networks Parameter Training for SCM Algorithm based on Hausdorff Difference..- Handling Non-stationarity with Distribution Shifts and Data Dependency in Time Series Forecasting..- The two-stage stochastic facility location game..- Regularized non-monotone $gamma$-weakly submodular maximization..- Fed-MoE: Efficient Federated Learning for Mixture-of-Experts Models via Empirical Pruning..- WaitIO-Hybrid: Communication for Coupling MPI Programs among Heterogeneous Systems..- The Material Delivery Route Prediction Method Based on Deep Reinforcement Learning..- Privacy-Preserving in Medical Image Analysis: A Review of Methods and Applications..- Research on Task Migration Problem Based on Link Uncertainty in Adver sarial Scenarios..- Optimizing Production Component Scheduling In Multivariate Industrial Networks With Dynamic Changes In Production Costs..- Multi-Agent Collaboration for Time-Sensitive Tasks in Multiple Networked Adversarial Scenarios..- Containerized Data-Flow Processing for Scalable Real-Time Analytics on Edge Devices..- Fast Approximation for Scheduling Malleable Jobs on Parallel Batch Machines with Rejection..- Real-Time and In-Situ Temperature Profiling for Determining Detonation of White Dwarf Mergers..- accparser: A Standalone OpenACC Parser and its Usage on Mapping Ope nACC to OpenMP Directives..- Out-of-Memory GPU Sorting using Asynchronous CUDA Streams..- Long-Term and Periodicity-Aware Spatio-Temporal Model for Traffic Flow Prediction..- A new approximation algorithm for two-machine flow shop with transporter coordinate..- Enhancing Federated Learning Robustness in Non-IID Data Environments via MMD-Based Distribution Alignment..- Multi-scale Time-frequency Representation for Multi-component Radar Signal Recognition..- An LP-based approximation algorithm for the fault-tolerant facility location problem with penalties..- A Q-Learning Driven Artificial Bee Colony Algorithm for Multi-Objective Multiplex Industrial Chain Networks Design with Multiple Supply Cycles..- Complete Bipartite Graph Division Under Weakly Lexicographic Preferences..- Multiagent Reinforcement Learning based on Structural Coordination..- Fair Division of Indivisible Chores with Weighted and Prioritized Agents..- An Efficient Incentive Mechanism for Collaborative Anomaly Detection in Internet of Things..- Advancing Evasion: Highly Effective Distributed Backdoor Attacks in Federated Learning..- DCAFNet: An Efficient Change Detection Structure for Remote Sensing Images..- Feature norms-aware and Hardness guided Complementary Entropy Balanced Loss for Long-tailed Image Classification..- Research on Two-stage Text Language Identification Algorithms for Chinese, Japanese, and Korean..- Improved XGBoost-MLP model and application to performance prediction..- STB-GraCapsNet: A Novel Capsule Network Structure with Swin Transformer Block..- NAAM: Enhancing Automatic Task Mapping Efficiency on NUMA Machines..- A Lightweight Garbage Classification Algorithm for Scenic Spots..- Soft capacitated two-stage stochastic facility location problem..- TSR: a Location Privacy Preservation Mechanism in Public Transportation Route Planning Service..- Parallel Acceleration of Transportation Problem Solving Using SpMV in the Industrial Chain Context..- Reinforcement Learning for Airline Multi-product Continuous Dynamic Pricing..- I/O Latency Management in Private Cloud Infrastructures..- UAV Swarm Collaborative Target Assignment Problem: A Deletion Robust Submodular Maximization Approach..- Streaming algorithm for balance gain and cost with Knapsack constraint on the integer lattice..- Decentralizing Energy Trading for Electric Vehicles using Blockchain Technology..- Leveraging Hardware Performance Counters for Predicting Workload Interference in Vector Supercomputers..- Intelligent Multi-agent Systems for UAV-Robot Path Optimization via Reflective Evolution. .- The hub location and flow assignment problem in the high-speed railway and highway co-transportation network..- Predicting MPI communication for solving partial differential equations using Machine Learning..- A CNN_LSTM_KAN based genetic algorithm for photovoltaic power generation revenue prediction..- A Multiscale Global-Local Transformer for Long-Sequence PV power generation Forecasting.
£64.80
Springer Advances in Swarm Intelligence
Book Synopsis.- Particle Swarm Optimization..- Set-Based Particle Swarm Optimization for the Multi-Objective Multi-Dimensional Knapsack Problem..- Proposal of a Memory-Based Ensemble Particle Swarm Optimizer..- A Tri-swarm Particle Swarm Optimization Considering the Cooperation and the Fitness Value..- A Modified Variable Velocity Strategy Particle Swarm Optimization Algorithm for Multi-objective Feature Selection..- Multi-Strategy Enhanced Particle Swarm Optimization Algorithm for Elevator Group Scheduling..- A Self-Learning Particle Swarm Optimization Algorithm for Dynamic Job Shop Scheduling Problem with New Jobs Insertion..- Convolutional Neural Network Architecture Design Using An Improved Surrogate-assisted Particle Swarm Optimization Algorithm..- Swarm Intelligence Computing..- Cooperative Search and Rescue Target Assignment Based on Improved Ant Colony Algorithm..- A Metabolic Pathway Design Method based on surrogate-assisted Fireworks Algo
£58.49
Springer Verlag, Singapore Logic in Computer Science
Book Synopsis
£49.49
Springer Verlag, Singapore Formal Methods and Software Engineering: 24th
Book SynopsisThis book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.Table of ContentsInvited Talk: Verifying Compiler Optimisations.- Regular Papers: An Idealist’s Approach for Smart Contract Correctness.- Active Inference of EFSMs Without Reset.- Learning Mealy Machines with Local Timers.- Compositional Vulnerability Detection with Insecurity Separation Logic.- Dynamic Extrapolation in Extended Timed Automata.- Formalizing Robustness against Character-level Perturbations for Neural Network Language Models.- Trace models of concurrent valuation algebras.- Branch and Bound for Sigmoid-like Neural Network Verification.- Certifying Sequential Consistency of Machine Learning Accelerators.- Guided Integration of Formal Verification in Assurance Cases.- Validation-Driven Development.- Incremental Property Directed Reachability.- Proving Local Invariants in ASTDs.- Doctoral Symposium Papers: Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol.- Early and systematic validation of formal models.- Verifying Neural Networks by Approximating Convex Hulls.- Eager to Stop: Efficient Falsification of Deep Neural Networks.- A Runtime Verification Framework For Cyber-physical Systems Based On Data Analytics And LTL Formula Learning.- Unified Verification of Neural Networks’ Robustness and Privacy in Computer Vision.- IoT Software Vulnerability Detection Techniques through Large Language Model.- Vulnerability Detection via Typestate-Guided Code Representation Learning.
£47.49
Springer Verlag, Singapore Neural Information Processing: 30th International
Book SynopsisThe six-volume set LNCS 14447 until 14452 constitutes the refereed proceedings of the 30th International Conference on Neural Information Processing, ICONIP 2023, held in Changsha, China, in November 2023. The 652 papers presented in the proceedings set were carefully reviewed and selected from 1274 submissions. They focus on theory and algorithms, cognitive neurosciences; human centred computing; applications in neuroscience, neural networks, deep learning, and related fields. Table of ContentsTheory and Algorithms.- Efficient Lightweight Network with Transformer-based Distillation for Micro-crack Detection of Solar Cells.- {MTLAN: Multi-Task Learning and Auxiliary Network for Enhanced Sentence Embedding.- Correlated Online k-Nearest Neighbors Regressor Chain for Online Multi-Output Regression.- Evolutionary Computation for Berth Allocation Problems: A Survey.- Cognitive Neurosciences.- Privacy-Preserving Travel Time Prediction for Internet of Vehicles: A Crowdsensing and Federated Learning Approach.- A Fine-Grained Domain Adaptation Method for Cross-Session Vigilance Estimation in SSVEP-Based BCI.- RMPE:Reducing Residual Membrane Potential Error for Enabling High-accuracy and Ultra-low-latency Spiking Neural Networks.- An improved target searching and imaging method for CSAR.- Block-Matching Multi-Pedestrian Tracking.- RPF3D: Range-Pillar Feature Deep Fusion 3D Detector for Autonomous Driving.- Traffic Signal Control Optimization Based on Deep Reinforcement Learning With Attention Mechanisms.- CMCI: A Robust Multimodal Fusion Method For Spiking Neural Networks.- A Weakly Supervised Deep Learning Model for Alzheimer's Disease Prognosis Using MRI and Incomplete Labels.- Two-Stream Spectral-Temporal Denoising Network for End-to-end Robust EEG-based Emotion Recognition.- Brain-inspired Binaural Sound Source Localization Method Based On Liquid State Machine.- A Causality-Based Interpretable Cognitive Diagnosis Model.- RoBrain: Towards Robust Brain-to-Image Reconstruction via Cross-Domain Contrastive Learning.- High-dimensional multi-objective PSO based on radial projection.- Link Prediction Based on the Sub-graphs Learning with Fused Features.- Naturalistic Emotion Recognition Using EEG and Eye Movements.- Task Scheduling With Improved Particle Swarm Optimization In Cloud Data Center.- Traffic Signal Optimization at T-shaped intersections Based on Deep Q Networks.- A Multi-task Framework for Solving Multimodal Multiobjective Optimization Problems.- Domain Generalized Object Detection with Triple Graph Reasoning Network.- RPUC: Semi-supervised 3D Biomedical Image Segmentation through Rectified Pyramid Unsupervised Consistency.- Cancellable iris recognition scheme based on inversion fusion and local ranking.- EWMIGCN: Emotional Weighting based Multimodal Interaction Graph Convolutional Networks for Personalized Prediction.- Neighborhood Learning for Artificial Bee Colony Algorithm: A Mini-survey.- Human Centred Computing.- Channel Attention Separable Convolution Network for Skin Lesion Segmentation.- A DNN-based Learning Framework for Continuous Movements Segmentation.- Neural-Symbolic Recommendation with Graph-Enhanced Information.- Contrastive Hierarchical Gating Networks for Rating Prediction.- Interactive Selection Recommendation Based on the Multi-Head Attention Graph Neural Network.- CM-TCN: Channel-aware Multi-scale Temporal Convolutional Networks For Speech Emotion Recognition.- FLDNet: A Foreground-Aware Network for Polyp Segmentation Leveraging Long-Distance Dependencies.- Domain-Invariant Task Optimization for Cross-domain Recommendation.- Ensemble of randomized neural network and boosted trees for eye tracking-based driver situation awareness recognition and interpretation.- Temporal Modeling Approach for Video Action Recognition Based on Vision-Language Models.- A Deep Learning Framework with Pruning RoI Proposal for Dental Caries Detection in Panoramic X-ray Images.- User stance aware network for rumor detection using semantic relation inference and temporal graph convolution.- IEEG-CT: A CNN and Transformer Based Method for Intracranial EEG Signal Classification.- Multi-Task Learning Network for Automatic Pancreatic Tumor Segmentation and Classification with Inter-Network Channel Feature Fusion.- Fast and Efficient Brain Extraction with Recursive MLP based 3D UNet.- A Hip-Knee Joint Coordination Evaluation System in Hemiplegic Individuals Based on Cyclogram Analysis.- Evaluation of football players' performance based on Multi-Criteria Decision Analysis approach and sensitivity analysis.
£75.99
EPB Publishers Pte Ltd Information, Randomness & Incompleteness: Papers
Book Synopsis
£108.90
EPB Publishers Pte Ltd Information, Randomness & Incompleteness: Papers
Book Synopsis
£55.64
Association of Computing Machinery,U.S. Logic, Automata, and Computational Complexity:
Book SynopsisProfessor Stephen A. Cook is a pioneer of the theory of computational complexity. His work on NP-completeness and the P vs. NP problem remains a central focus of this field. Cook won the 1982 Turing Award for "his advancement of our understanding of the complexity of computation in a significant and profound way." This volume includes a selection of seminal papers embodying the work that led to this award, exemplifying Cook's synthesis of ideas and techniques from logic and the theory of computation including NP-completeness, proof complexity, bounded arithmetic, and parallel and space-bounded computation. These papers are accompanied by contributed articles by leading researchers in these areas, which convey to a general reader the importance of Cook's ideas and their enduring impact on the research community. The book also contains biographical material, Cook's Turing Award lecture, and an interview. Together these provide a portrait of Cook as a recognized leader and innovator in mathematics and computer science, as well as a gentle mentor and colleague.
£59.50
Apress Raising Young Coders
Book Synopsis1. Why Learning Tech is Important for Kids.- 2. Early Learners.- 3. Getting Started with Block Coding.- 4. Youth Coding Projects.- 5. Five Women in Tech Role Models
£17.99
