Mathematical theory of computation Books
Springer Computing and Combinatorics
Book Synopsis
£66.49
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.
£42.74
Springer Algorithms and Architectures for Parallel
Book Synopsis
£56.99
Springer Silicon Valley Python Engineer Interview Guide
Book SynopsisChapter 1 Technical Interview process.- Part I: Data Structures.- Chapter 2 List.- Chapter 3 Stack.- Chapter 4 Queue.- Chapter 5 Priority queues.- Chapter 6 Dictionary.- Chapter 7 Sets.- Chapter 8 Linked lists.- Chapter 9 Binary tree.- Chapter 10 Some other tree structures.- Chapter 11 Graph.- Part II Algorithmic Part.- Chapter 12 Binary Search.- Chapter 13 Two-pointer method.- Chapter 14 Dynamic programming.- Chapter 15 Depth First Search.- Chapter 16 Backtracking.- Chapter 17 Breadth First Search.- Chapter 18 Union Find.- Chapter 19 Interview questions.- Part III: System Design.- Chapter 20 System Design Theory.- Chapter 21 System Design Practice for big data 6.- Chapter 22 Multi-threaded programming.- Chapter 23 Machine Learning System Design.- Chapter 24 Large Language Model system design.
£49.49
Springer Secure Communications in Unmanned Aerial VehicleEnabled Mobile Edge Computing Systems
Book Synopsis"Chapter 1. Overview of Unmanned Aerial Vehicle – Mobile Edge Computing Systems".- "Chapter 2 PLS-based Secure communications for UAV-enabled MEC Systems".- "Chapter 3 RIS-Based Secure Communications for UAV-Enabled MEC Systems".- "Chapter 4 DRL-Based Secure Communications for UAV-Enabled MEC Systems".- "Chapter 5 Online-Based Secure Communications for UAV-Enabled MEC Systems".- "Chapter 6 Conclusions and Future Research".
£42.74
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
£61.74
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
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
Taylor & Francis Ltd Mathematics in Cyber Research
a huge range and FREE tracked UK delivery on ALL orders.
£156.75
Taylor & Francis Ltd Robots Unlimited
a huge range and FREE tracked UK delivery on ALL orders.
£56.99
Taylor & Francis Ltd Two and ThreeDimensional Patterns of the Face
a huge range and FREE tracked UK delivery on ALL orders.
£54.14
Taylor & Francis Ltd Numerical Analysis and Scientific Computation
a huge range and FREE tracked UK delivery on ALL orders.
£87.39
Taylor & Francis Ltd Restricted Congruences in Computing
a huge range and FREE tracked UK delivery on ALL orders.
£24.51
Taylor & Francis Ltd Discrete Mathematics for Computer Science
a huge range and FREE tracked UK delivery on ALL orders.
£47.49
Taylor & Francis Ltd Machine Learning and Analytics in Healthcare Systems
a huge range and FREE tracked UK delivery on ALL orders.
£45.00
Taylor & Francis Adopting Biometric Technology
a huge range and FREE tracked UK delivery on ALL orders.
£39.99
Taylor & Francis Ltd AIBased Metaheuristics for Information Security and Digital Media
a huge range and FREE tracked UK delivery on ALL orders.
£77.99
Taylor & Francis Ltd Artificial Intelligence Techniques in IoT Sensor Networks
a huge range and FREE tracked UK delivery on ALL orders.
£42.99
Taylor & Francis An Introduction to Substructural Logics
a huge range and FREE tracked UK delivery on ALL orders.
£128.25
Taylor & Francis Ltd Advanced Problem Solving Using Maple
Book SynopsisAdvanced Problem Solving Using Maple: Applied Mathematics, Operations Research, Business Analytics, and Decision Analysis applies the mathematical modeling process by formulating, building, solving, analyzing, and criticizing mathematical models. Scenarios are developed within the scope of the problem-solving process.The text focuses on discrete dynamical systems, optimization techniques, single-variable unconstrained optimization and applied problems, and numerical search methods. Additional coverage includes multivariable unconstrained and constrained techniques. Linear algebra techniques to model and solve problems such as the Leontief model, and advanced regression techniques including nonlinear, logistics, and Poisson are covered. Game theory, the Nash equilibrium, and Nash arbitration are also included.Features: The text's case studies and student projects involve students with real-world problem soTable of ContentsIntroduction to Problem Solving and Maple. Discrete Dynamical Systems. Single Variable Unconstrained and Constrained Optimization. Multi- Variable Unconstrained and Constrained Optimization. Linear Systems. Advanced Model Fitting.
£80.74
Cambridge University Press Foundations of Computational Mathematics 284 London Mathematical Society Lecture Note Series Series Number 284
a huge range and FREE tracked UK delivery on ALL orders.
£58.40
Cambridge University Press Nets Terms and Formulas
a huge range and FREE tracked UK delivery on ALL orders.
£40.84
Cambridge University Press TwoLevel Functional Languages
a huge range and FREE tracked UK delivery on ALL orders.
£45.59
Cambridge University Press Free Choice Petri Nets
a huge range and FREE tracked UK delivery on ALL orders.
£37.04
Cambridge University Press The BBook
a huge range and FREE tracked UK delivery on ALL orders.
£89.29
Cambridge University Press Logic of Typed Feature Structures With Applications to Unification Grammars Logic Programs and Constraint Resolution 32 Cambridge Tracts in Theoretical Computer Science Series Number 32
a huge range and FREE tracked UK delivery on ALL orders.
£40.84
Cambridge University Press Deductive Declarative Programming 28 Cambridge Tracts in Theoretical Computer Science Series Number 28
a huge range and FREE tracked UK delivery on ALL orders.
£40.84
Cambridge University Press The Uncertain Reasoners Companion A Mathematical Perspective 39 Cambridge Tracts in Theoretical Computer Science Series Number 39
a huge range and FREE tracked UK delivery on ALL orders.
£42.74
Cambridge University Press Systemic Text Generation as Problem Solving
a huge range and FREE tracked UK delivery on ALL orders.
£35.14
Cambridge University Press Proof Theory
a huge range and FREE tracked UK delivery on ALL orders.
£35.14
Cambridge University Press Data Refinement ModelOriented Proof Methods and their Comparison 47 Cambridge Tracts in Theoretical Computer Science Series Number 47
a huge range and FREE tracked UK delivery on ALL orders.
£50.95
Cambridge University Press Lambdacalculus Combinators and Functional Programming 4 Cambridge Tracts in Theoretical Computer Science Series Number 4
a huge range and FREE tracked UK delivery on ALL orders.
£47.49
Cambridge University Press The Clausal Theory of Types 21 Cambridge Tracts in Theoretical Computer Science Series Number 21
a huge range and FREE tracked UK delivery on ALL orders.
£27.76
Cambridge University Press Design Theory and Computer Science
a huge range and FREE tracked UK delivery on ALL orders.
£60.79
Cambridge University Press Semantics and Logics of Computation 14 Publications of the Newton Institute Series Number 14
a huge range and FREE tracked UK delivery on ALL orders.
£39.89
Cambridge University Press Computation with Finitely Presented Groups 48 Encyclopedia of Mathematics and its Applications Series Number 48
a huge range and FREE tracked UK delivery on ALL orders.
£63.37
Cambridge University Press Topology for Computing 16 Cambridge Monographs on Applied and Computational Mathematics Series Number 16
a huge range and FREE tracked UK delivery on ALL orders.
£47.49
Cambridge University Press The Description Logic Handbook Theory Implementation and Applications
a huge range and FREE tracked UK delivery on ALL orders.
£59.22
Cambridge University Press Forcing with Random Variables and Proof Complexity 382 London Mathematical Society Lecture Note Series Series Number 382
a huge range and FREE tracked UK delivery on ALL orders.
£51.29
Cambridge University Press Concurrency Verification Introduction to Compositional and Noncompositional Methods 54 Cambridge Tracts in Theoretical Computer Science Series Number 54
a huge range and FREE tracked UK delivery on ALL orders.
£69.17
Cambridge University Press Curve and Surface Reconstruction Algorithms with Mathematical Analysis 23 Cambridge Monographs on Applied and Computational Mathematics Series Number 23
a huge range and FREE tracked UK delivery on ALL orders.
£39.89
Cambridge University Press Combinatorial and Computational Geometry 52 Mathematical Sciences Research Institute Publications Series Number 52
a huge range and FREE tracked UK delivery on ALL orders.
£49.39
Cambridge University Press Global Methods for Combinatorial Isoperimetric Problems 90 Cambridge Studies in Advanced Mathematics Series Number 90
a huge range and FREE tracked UK delivery on ALL orders.
£41.79
Cambridge University Press Computer Mathematics 18 Cambridge Computer Science Texts Series Number 18
a huge range and FREE tracked UK delivery on ALL orders.
£31.34
Cambridge University Press An Introduction to Computational Combinatorics 9 Cambridge Computer Science Texts Series Number 9
a huge range and FREE tracked UK delivery on ALL orders.
£35.14
Cambridge University Press Practical Denotational Semantics 23 Cambridge Computer Science Texts Series Number 23
a huge range and FREE tracked UK delivery on ALL orders.
£28.99
Cambridge University Press Design Theory and Computer Science
a huge range and FREE tracked UK delivery on ALL orders.
£144.40
