Software Engineering Books
PHI Learning Software Engineering: A Concise Study
Book SynopsisA book on software engineering covers theory and practice in an abstracted form, focusing on the software development life cycle stages. Emphasizes non-coding areas and is suitable for academic courses or training programs for software professionals and instructors.
£16.88
PHI Learning Cloud Computing-Based Projects Using Distributed
Book SynopsisThis book guides students and professionals in developing cloud computing-based software projects like OCMS and RBCS using Oracle, PL/SQL, IDS, and .Net. It covers theory, technologies, tools, feasibility study, entity relationship model, data flow diagrams, normalization, table creation, and GUI application development.
£14.21
BPB Publications Software Testing: Interview Questions
Book Synopsis
£11.24
Pentagon Press Software Engineering
Book SynopsisSoftware engineering is an emerging discipline of the 21st century. It is a branch of computer science engineering that deals with the building of software systems which are large and complex. This book looks at this discipline.
£29.62
River Publishers Dashboard Design
Book SynopsisInteractive visualization and visual analytics tools have been designed and developed in the past and will be developed in the future as well. In each application domain in which data is measured, generated, and recorded we see a potential candidate for an interactive visualization tool with the goal to find insights and knowledge in the data. This knowledge can be found either visually by humans’ interventions or algorithmically by the machine, in the best case by applying both concepts in combination as in visual analytics. One of the easiest ways to get an interactive visualization tool running is by means of dashboards, typically implemented as webpages that can run in a web browser and are accessible online, creating some kind of web-based solution.This book describes ways to design and implement dashboards based on the programming language Python, the graphics library Plotly, and Dash. The readers can use the provided dashboard codes as a starting point and extend the functionality and features on their desire.Technical topics discussed in the book include: Design in visualization Interaction principles in information visualization User interface design Linking Python, Dash, and Plotly Coding in Python Dashboard examples with Python code. Table of Contents1. Introduction 2. Creating Powerful Dashboards 3. Python, Dash, Plotly, and More 4. Coding in Python 5. Dashboard Examples 6. Challenges and Limitation 7. Conclusion
£94.99
£31.50
Lonely Scholar The Dawn of Software Engineering: From Turing to Dijkstra
£19.80
Springer Verlag, Singapore Essence of Systems Analysis and Design: A
Book SynopsisThe main objective is to provide quick and essential knowledge for the subject with the help of summary and solved questions /case studies without going into detailed discussion. This book will be much helpful for the students as a supplementary text/workbook; and to the non-computer professionals, who deal with the systems analysis and design as part of their business. Such problem solving approach will be able to provide practical knowledge of the subject and similar learning output, without going into lengthy discussions.Though the book is conceived as supplementary text/workbook; the topics are selected and arranged in such a way that it can provide complete and sufficient knowledge of the subject.Table of ContentsChapter 1. Introductory Concepts of Systems Analysis and Design.- Chapter 2. Requirements Determination.- Chapter 3. Structured System Development Approach.- Chapter 4. Systems Prototype Approach.- Chapter 5. Computer Assisted Tools for Software Development.- Chapter 6. Systems Design.- Chapter 7. System Quality and Implementation Issues.
£58.49
Springer Verlag, Singapore Foundations of Robotics: A Multidisciplinary
Book SynopsisThis open access book introduces key concepts in robotics in an easy to understand language using an engaging project-based approach. It covers contemporary topics in robotics, providing an accessible entry point to fundamentals in all the major domains. A section is dedicated to introducing programming concepts using Python, which has become a language of choice in robotics and AI. The book also introduces the reader to the Robot Operating System (ROS), the ubiquitous software and algorithmic framework used by researchers and the industry. The book provides an inspired, up-to-date and multidisciplinary introduction to robotics in its many forms, including emerging topics related to robotics on Machine Learning, ethics, Human-Robot Interaction, and Design Thinking. The book also includes interviews with industry experts, providing an additional layer of insight into the world of robotics. The book is made open access through the generous support from Kinova Robotics. The book is suitable as an undergraduate textbook in a relevant engineering course. It is also suitable for students in art and design, high school students, and self-learners who would like to explore foundational concepts in robotics. “This book provides the ‘foundation’ for understanding how robots work. It is the accessible introduction that artists and engineers have been waiting for.” - Ken Goldberg, William S. Floyd Jr. Distinguished Chair in Engineering, UC Berkeley.Table of ContentsPART I: Contextual Design Genealogy of artificial beings: from ancient automata to modern robotics Nicolas Reeves and David St-Onge 1.1 What is a robot? 1.2 A mythical origin 1.3 Early automata 1.4 Anatomical analogies: understanding through replication 1.5 Industrial (r)evolutions 1.6 Modern robotics 1.7 SOCIAL ROBOTICS 1.8 Robotic futures and transrobotics Teaching and learning robotics: A pedagogical perspective Eleni Petraki and Damith Herath 2.1 Learning objective 2.2 Introduction 2.3 Defining the body of knowledge of the robotics field 2.4 Review of research on pedagogies and practices in robotics education 2.5 Assessment practices 2.6 Paving the way for innovative pedagogies and assessment in robotics education 2.7 Chapter summary 2.8 Quiz 2.9 References Design Thinking: from Empathy to Ideation Fanke Peng 3.1 Learning objectives 3.2 Introduction 3.3 Design Thinking Process: Discover, Define, Develop and Deliver 3.4 Conclusion 3.5 Quiz 3.6 References Software building blocks: From Python to Version control Damith Herath, Adam Haskard and Niranjan Shukla 4.1 Learning Objectives 4.2 Introduction 4.3 Python and basics of programming 4.4 Object-Oriented Programming 4.5 Error handling 4.6 Secure Coding 4.7 Case study – Writing your first program in Python 4.8 Version control basics 4.9 Containerising applications 4.10 Chapter summary 4.11 Revision questions 4.12 Further reading 4.13 References The Robot Operating System (ROS1&2): programming paradigms and deployment David St-Onge and Damith Herath 5.1 Learning Objectives 5.2 Introduction 5.3 Why ROS? 5.4 What is ROS? 5.5 Key features from the core 5.6 Additional useful features 5.7 Linux for robotics 5.8 Chapter Summary 5.9 Revision Questions 5.10 Further reading 5.11 References Mathematical building blocks: From geometry to quaternions to Bayesian Rebecca Stower, Bruno Belzile and David St-Onge 6.1 Learning Objectives 6.2 Introduction 6.3 Basic Geometry and Linear Algebra 6.4 Geometric Transformations 6.5 Basic Probability 6.6 Derivatives 6.7 Basic Statistics 6.8 Chapter Summary 6.9 Revision Questions 6.10 Further Reading 6.11 References PART II: Embedded Design What makes robots? Sensors, Actuators and Algorithms Jiefei Wang and Damith Herath 7.1 Learning Objectives 7.2 Introduction 7.3 Sense: Sensing the world with sensors 7.4 Think: Algorithms 7.5 Act: Moving about with actuators 7.6 Computer vision in robotics 7.7 Review questions 7.8 Further reading 7.9 References Mobile robots: Controlling, Navigating and path planning Jiefei Wang and Damith Herath 8.1 Learning Objectives 8.2 Introduction 8.3 Mobile robots 8.4 Controlling robots 8.5 Path planning 8.6 Obstacle avoidance 8.7 Chapter Summary 8.8 Review Questions 8.9 Further Reading 8.10 References Lost in space! Localisation and Mapping Damith Herath 9.1 Learning Objectives 9.2 Introduction 9.3 Robot localisation problem 9.4 The Robot Mapping Problem 9.5 The Simultaneous Localisation and Mapping (SLAM) problem 9.6 The Kalman Filter 9.7 A Case Study: Robot Localisation using the Extended Kalman Filter 9.8 Summary 9.9 Review Questions 9.10 Further Reading 9.11 References How to manipulate? Kinematics, dynamics and architecture of robot arms Bruno Belzile and David St-Onge 10.1 Learning Objectives 10.2 Introduction 10.3 Architectures 10.4 Kinematics of Serial Manipulators 10.5 Kinematics of Parallel Manipulators 10.6 Dynamics 10.7 Chapter Summary 10.8 Revision Questions 10.9 Further Reading 10.10 References Get together! Multi-robot systems: bio-inspired concepts and deployment challenges Vivek Shankar Varadharajan and Giovanni Beltrame 11.1 Objectives of the chapter 11.2 Introduction 11.3 Types of multi-robot systems 11.4 Swarm Programming 11.5 Deployment of real world swarm systems 11.6 Chapter Summary 11.7 Chapter Revision 11.8 Further reading 11.9 References The Embedded design process: CAD/CAM and prototyping Eddi Pianca 12.1 Learning Objectives 12.2 Introduction 12.3 The design process and CAD 12.4 The Design Process vs Design Thinking 12.5 CAD systems 12.6 CAD file types 12.7 CAD parametric modelling - Assembly and part files 12.8 CAD parametric modelling - Drawing Files 12.9 CAD File Transfer 12.10 VR and AR for CAD 12.11 CAM and CNC 12.12 Workshop 12.13 Case study - hexapod robot project 12.14 Revision questions 12.15 References PART II: Interaction Design Social robots: Principles of interaction design and user studies Janie Busby Grant & Damith Herath 13.1 Learning Objectives 13.2 Introduction 13.3 Cobots, Social Robots and Human Robot Interaction 13.4 Why conduct research? 13.5 Deciding on your research variables 13.6 Sampling, reliability & validity 13.7 Ethics 13.8 Chapter Summary 13.9 Revision Questions 13.10 References Safety first: On the safe deployment of robotic systems Bruno Belzile and David St-Onge 14.1 Learning Objectives 14.2 Introduction 14.3 Standards 14.4 Industrial Risk Assessment and Mitigation 14.5 Cobots 14.6 Mobile Robots 14.7 Chapter Summary 14.8 Revision Questions 14.9 Further Reading 14.10 References Managing the world complexity: from linear regression to deep learning Yann Bouteiller 15.1 Objectives of the chapter 15.2 Introduction 15.3 Definitions 15.4 From linear regression to deep learning 15.5 Policy search for robotic control 15.6 Wrapping it up: how to deeply understand the world 15.7 Summary 15.8 Quiz 15.9 Further reading Robot ethics: Ethical design considerations Dylan Cawthorne 16.1 Learning Objectives 16.2 Introduction 16.3 Ethics 16.4 The non-neutrality of technology 16.5 Technological determinism and multiple futures 16.6 Human values in design 16.7 Value sensitive design 16.8 Ethics tools 16.9 Case study: VSD of a Danish healthcare drone 16.10 Responsible research and innovation 16.11 Chapter summary 16.12 Revision questions 16.13 References APPENDIX: Projects Robot Hexapod Build Labs David Hinwood and Damith Herath 17.1 Introduction 17.2 Project One: Defining the Robot System 17.3 Project Two: Modelling the Position Kinematics 17.4 Project Three: Modelling the Velocity Kinematics with Python 17.5 Project Four: Building Communication Protocols 17.6 Some Final Thoughts 17.7 References ROS Mobile Manipulator labs David St-Onge, Corentin Boucher and Bruno Belzile 18.1 Introduction 18.2 Project 1: Discovering ROS and the Dingo 18.3 Project 2: Kalman for differential drive 18.4 Project 3: 3-DoF Kinematics 18.5 Project 4: Let's bring it back together! 18.6 Project 5: Save the day!
£40.49
Springer Verlag, Singapore Challenges of Software Verification
Book SynopsisThis book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy some requirements of interest. Over the years, the software verification community has proposed and considered several techniques: abstract interpretation, data-flow analysis, type systems, model checking are just a few examples. The theoretical advances have been always motivated by practical challenges that have led to an equal evolution of both these sides of software verification. Indeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size. This book is aimed at collecting contributions discussing recent advances in facing open challenges in software verification, relying on a broad spectrum of verification techniques. This book collects contributions ranging from theoretical to practical arguments, and it is aimed at both researchers in software verification and their practitioners.Table of ContentsChapter 1. Abstract Interpretation: From 0, 1, To ∞.- Chapter 2. LiSA: A Generic Framework for Multilanguage Static Analysis.- Chapter 3. How to make taint analysis precise.- Chapter 4. “Fixing” the specification of widenings.- Chapter 5. Static Analysis for Data Scientists.- Chapter 6. Completeness in static analysis by abstract interpretation, a personal point of view.- Chapter 7. Lifting String Analysis Domains.- Chapter 8. Local Completeness in Abstract Interpretation.- Chapter 9. The Topdown-Solver — An Exercise in A2I.- Chapter 10. Regular matching with constraint programming.- Chapter 11. Floating-point round-off error analysis of safety-critical avionics software.- Chapter 12. Risk estimation in IoT systems.- Chapter 13. Verification of Reaction Systems Processes.
£116.99
Springer ServiceOriented Computing
Book Synopsis.- Edge and IoT..- Efficient and Dependency-aware Placement of Serverless Functions on Edge Infrastructures..- POSEIDON: Efficient Function Placement at the Edge using Deep Reinforcement Learning..- ABBA-VSM: Time Series Classification using Symbolic Representation on the Edge..- An Energy-Efficient Partition and Offloading Method for Multi-DNN Applications in Edge-End Collaboration Environments..- Crowdsourcing Task Assignment with Category and Mobile Combined Preference Learning..- Federated Learning as a Service for Hierarchical Edge Networks with Heterogeneous Models..- Optimizing Traffic Allocation for Multi-Replica Microservice Deployments in Edge Cloud..- An Event-B Based Approach for Horizontally Scalable IoT Applications..- Efficient Provisioning of IoT Energy Services..- Attention-driven Conflict Management in Smart IoT-based Systems..- Benchmarking Deep Learning Models for Object Detection on Edge Computing Devices..- Genera
£53.99
Springer ServiceOriented Computing
Book Synopsis.- Cloud Computing..- Cost-Aware Dynamic Cloud Workflow Scheduling using Self-Attention and Evolutionary Reinforcement Learning..- LARE-HPA: Co-optimizing Latency and Resource Efficiency for Horizontal Pod Autoscaling in Kubernetes..- STORELESS: Serverless workflow scheduling with federated storage in sky computing..- Not Best but Fair: Achieving a Fair Service Deployment through Sky Computing for Latency-Sensitive Applications..- QoS and SLA..- Integrated QoS- and Vulnerability-driven Self-Adaptation for Microservices Applications..- SLO-Aware Task Offloading within Collaborative Vehicle Platoons..- Client-Specific Homogeneous Service Composition at Runtime for QoS-Critical Tasks..- Network SLO-Aware Container Orchestration on Kubernetes Clusters..- Microservice..- CSMO: The Cross-Supervision Method for Microservice Optimization through Decentralized Data Management..- BOAM: a Business-Oriented identification Approach of Microservices within legacy systems..- Motif-based Linearizing Graph Transformer for Web API Recommendation..- Leveraging a Microservice Architecture, Access Control and Interoperability Patterns to Manage Privacy-related User Consents..- Service recommendation.,- Deep Reinforcement Learning Approach for Explainable Location-based service Recommendation..- A Toolchain for Checking Domain- and Model-driven Properties of Jolie Microservices..- GSL-Mash: Enhancing Mashup Creation Service Recommendations through Graph Structure Learning..- Emerging technologies and approaches..- Circuit scheduling policies on current QPUs: QCRAFT Scheduler..- MuSS: Multimodal Satellite Service for Unsupervised Land-Cover Classification..- HSC: An Artificial Intelligence Service Composition Dataset from Hugging Face..- Service composition..- Choreography-Defined Network - A Case Study in DoS Mitigation..- Racing the Market: An Industry Support Analysis for Pricing-Driven DevOps in SaaS..- Compositio Prompto: An Architecture to Employ Large Language Models in Automated Service Computing..- Composing Smart Data Services in Shop Floors through Large Language Models..- Blockchain..- A query language to enhance security and privacy of Blockchain as a Service (BaaS)..- Blockchain Based Efficient Pairing-Free Certificateless Authentication Scheme for Vehicular Ad-hoc Network..- A Blockchain-Enhanced Framework for Privacy and Data Integrity in Crowdsourced Drone Services..- Towards an Automated Verification Approach for ERC-based Smart Contracts..- Industry Papers..- Weather-Conditioned Multi-Graph Network for Ride-Hailing Demand Forecasting..- BIS: NL2SQL Service Evaluation Benchmark for BI Scenarios..- How Do Infrastructure-as-Code Practitioners Update their Provider Dependencies? An Empirical Study on the AWS Provider.
£59.99
Springer Nature Singapore Advanced Intelligent Computing Technology and
Book Synopsis
£58.49
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of ContentsDesign and Control of Legged Robots.- Leg Mass Influences the Jumping Performance of Compliant One-Legged Robots.- The Topologies Characteristics and Behaviors Design of the Curling Hexapod Robot.- Hierarchical Trajectory Optimization for Humanoid Robot Jumping Motion.- A Navigation and Control Framework of Quadrupedal Robot for Autonomous Exploration in Cave Environments.- Design and Development of The Small Hexapod Walking Robot HexWalker III.- A Rigid-Flexible Coupling Recursive Formulation for Dynamic Modeling of Biped Robots.- Robots in Tunnelling and Underground Space.- Path Planning for Muck Removal Robot of Tunnel Boring Machine.- Research on Snake-Like Robot for Cutter Inspection in Tunnel Boring Machine.- Shield Tail Seal Detection Method Driven by Twin Simulation Model Based on Intelligent Shield.- Support Boot Mechanisms of Shaft Boring Machine for Underground Vertical Tunnel Construction.- Development and Application of Rectangular Tunneling Boring Machine for Trenchless Urban Rail Transit Station Construction.- The Gordian-Innovation Technology and Recent Construction Application of Special-shaped Tunnel Boring Machine.- Research on Visual Localization of Cutter Changing Robot in Unstructured Environments.- Design of Hybrid Shield Cutter-Changing Robot and Its Motion Control Method.- TBM tunnel surrounding rock debris detection based on improved YOLO v8.- Development and application of large curved shape pipe-roof with rectangular jacking machine under the Yangtze River.- A Shield Machine Segment Position Recognition Algorithm Based On Improved Voxel And Seed Filling.- Kinematics and Workspace Analysis of a Disc Cutter Replacement Manipulator for TBM in a Constrained Motion Space.- Mechanism Surrogate Based Model Predictive Control of Hydraulic Segment Assembly Robot with Sliding Friction.- An Investigation into Fatigue Damage and Clearance Evolution of TBM Main Bearings.- Outlier Detection and Correction for Time Series of Tunnel Boring Machine.- Robotic Machining of Complex Components.- Error Sensitivity Analysis and Tolerance Allocation Simulation of a Five-Axis Parallel Machining Robot.- High-Precision Point Cloud Data Acquisition for Robot Based on Multiple Constraints.- Flexible Functional Component for Fluidic Soft Robots.- Passive Rotation Compensation for The Cylindrical Joints of the 6-Ucu Parallel Manipulator.- Research on BP Neural Network Prediction of Position Error Considering the Variation of Industrial Robot Center of Mass.- Real-time Smooth Corner Trajectory Planning for Industrial Robots under Linear and Angular Kinematic Constraints.- Admittance Control for Robot Polishing Force Tracking Based on Reinforcement Learning.- Research on the Milling Process Damping and Stability Considering Additional Vibration.- Deep Learning-Based CNN-LSTM Model Used for Predicting Pose Error of Stewart Platform.- Research on the Influence of Forced Vibration on Process Damping and Stability Boundary in Milling.- Positioning Error Modelling and Compensation Method for Robot Machining Based on RVM.- Design and Implementation of a Novel Agricultural Robot with Multi-Modal Kinematics.- Research on High Precision Scanning Reconstruction Algorithm for Robot with Line Laser Scanner.- Smooth Joint Motion Planning for Robot Polishing by Redundancy Optimization.- Vision-Guided Mobile Robot System for The Assembly of Long Beams on Aircraft Skin.- Generation of Collision-Free Tool Posture for Robotic Belt Grinding Blisk Using Visualization Toolkit.- Clinically Oriented Design in Robotic Surgery and Rehabilitation.- A Segmented Dynamic Movement Primitives-Based Gait Assistive Strategy for Soft Ankle Exosuit.- A Magnetically Actuated Diatom-Biohybrid Microrobot as a Drug Delivery Capsule .- Research on Improved Microscope Calibration Method Based on Coplanar Points.- Kinematics Analysis and Control of a Novel Macro-Micro Integrated Hybrid Robot for Medical Surgery.- Comparative Study of Feature-Based Surface Matching Automatic Coarse Registration Algorithms for Neuronavigation.- The Effect of Channel Ordering Based on the Entropy Weight Graph on the MI-EEG Classification.- Fuzzy Variable Admittance Control -Based End Compliance Control of Puncture Ablation Robot.- Deep Forest Model combined with Neural Networks for Finger Joint continuous Angle Decoding.- 2D/3D Shape Model Registration with X-Ray Images for Patient-Specific Spine Geometry Reconstruction.- Visual and Visual-tactile Perception for Robotics.- Real-Time Detection of Surface Floating Garbage Based on Improved Yolov7 .- Real-Time Map Compression Method Based on Boolean Operation and Moore-Neighborhood Search.- Research on Location Algorithm of 5G Ceramic Filter Based on Machine Vision.- MLP Neural Network-Based Precise Localization of Robot Assembly Parts.
£66.49
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of ContentsHuman-centric Technologies for Seamless Human-robot Collaboration.- Method for Identifying Knee Joint Stiffness During Human Standing.- Motion Control and Simulation Analysis of a manipulator Based on Computed Torque Control Method.- Design and Realization of a Multi-DoF Robotic Head for Affective Humanoid Facial Expression Imitation.- Adversarial Attacks on Skeleton-based Sign Language Recognition.- Adaptive Goal-Biased Bi-RRT for Online Path Planning of Robotic Manipulators.- A Novel 3-DOF Spherical Hybrid Mechanism for Wrist Movement: Design, Kinematics, and Simulation.- Dimensional Synthesis of a Novel Redundantly Actuated Parallel Manipulator.- A Novel Hyper-Redundant Manipulator Dynamic Identification Method Based on Whale Optimization and Nonlinear Friction Model.- Study on Shared Compliance Control of Teleoperated Abdominal Ultrasonic Robot.- Construction of Control System on Kinematic Redundant Hybrid Parallel Mechanism for Micro-assembly.- Multimodal Collaborative Perception and Fusion.- Influence of Contact Characteristics on Pressure Sensing of IPMC Sensors.- Optimization-Based Motion Planning Method for a Robot Manipulator under the Conditions of Confined Space and Heavy Load.- Vision-based Categorical Object Pose Estimation and Manipulation.- Animal-Like Eye Vision Assisted Locomotion of a Quadruped Based on Reinforcement Learning.- Abnormal Emotion Recognition Based on Audio-Visual Modality Fusion.- Powerful Encoding and Decoding Computation of Reservoir Computing.- Bidirectional Delay Estimation of Motor Control Systems at Different Muscle Contraction Levels.- Growing Memory Network with Random Weight 3DCNN for Continuous Human Action Recognition.- Sleep-dependent memory replay enables brain-like robustness in neural networks.- Improving Motor Imagery Brain-Computer Interface Per-Formance through Data Screening.- The Impact of Three-Week Passive Robotic Hand Therapy on Stroke Patients.- A Six-Dof Parallel Robot-Assisted Dispensing Platform with Visual Servoing and Force Sensing for Accurate Needle Positioning and Mass Control.- Post-Stroke Motor Function Assessment Based on Brain-Muscle Coupling Analysis.- Factors Affecting the Perception Performance of Biomimetic Tactile Sensing System.- Intelligent Robot Perception in Unknown Environments.- Air-Ground Robots’ Cooperation-Based Mountain Glaciers Thickness Continuous Detection: Systems and Applications.- A Modified Artificial Potential Field Method Based on Subgoal Points for Mobile Robot.- A Modular Tensegrity Mobile Robot with Multi-Locomotion Modes.- Quantum Genetic Algorithm with Fuzzy Control Based on Clustering Analysis.- Design and Research of a Snake-Like Robot Based on Orthogonal Joint and Wheel Modules.- Multi-Sensor Tightly Coupled SLAM Algorithm Based on Feature Planes in Indoor Scenes.- Intelligent Perception Solution for Construction Machinery Based on Binocular Stereo Vision.- Design and Experimental Study of an Intelligent Soft Crawling Robot for Environmental Interactions.- Vision based flame detection using compressed domain motion prediction and multi-feature fusion.- Vision-LiDAR-Inertial Localization and Mapping Dataset of a Mining Cave.- Gesture recognition based on LightViT network against sEMG electrode shift.- Hybrid Scheme for Efficient Deformable Image Registration.- A Trunk Map Construction Method for Long-Term Localization and Navigation for Orchard Robots.- Relational Alignment and Distance Optimization for Cross-modality Person Re-Identification.- RGB-D Camera Based Map Building and Path Planning of Snake Robot.- Map Smoothing Method for Map Distortion with Localization Error.- A Novel Line Approximation Approach for State Updates of Grid Maps.- A Flexible and Highly Sensitive Ultrasonic Transducer for Accurate Three-Dimensional Positioning.- Grasp Compliant Control using Adaptive Admittance Control Methods for Flexible Objects.- Vision-Based Human Robot Interaction and Application.- Research on an Embedded System of Cotton Field Patrol Robot based on AI Depth Camera.- Hard Disk Posture Recognition and Grasping Based on Depth Vision.- Design of a Visual Guidance Robotic Assembly System for Flexible Satellite Equipment Unit Assembly.- Full Resolution Repetition Counting.- Human-robot interactive operating system for underwater manipulators based on hand gesture recognition.- Registration of Structured Light Camera Point Cloud Data with CT Images.- Automatic loading and unloading system with workpiece identification based on YOLOv5.
£75.99
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of ContentsPerception and Manipulation of Dexterous Hand for Humanoid Robot.- Dexterous Hand-Object Interaction Control Based on Adaptive Impedance Algorithm.- Design and Control of a Two-Segment Rotatable wire-driven Flexible Arm.- Design and Research of a New Underactuated Manipulator.- Medical Imaging for Biomedical Robotics.- Accelerated Unfolding Network for Medical Image Reconstruction with Efficient Information Flow.- Examining the Impact of Muscle-Electrode Distance in sEMG Based Hand Motion Recognition.- Fast calibration for ultrasound imaging guidance based on depth camera.- Zero-Shot Kidney Stone Segmentation Based on Segmentation Anything Model for Robotic-Assisted Endoscope Navigation.- Sutures and Landmarks Joint Detection Method Based on Convolutional Neural Network for Rat Stereotactic Surgery.- Prior Region Mask R-CNN for thyroid nodule segmentation in ultrasound images.- Digital Twin Model Based Robot-Assisted Needle Insertion Navigation System with Visual and Force Feedback.- A Modified BiSeNet for Spinal Segmentation.- Retinal Vascular Segmentation Based on Depth-Separable Convolution and Attention Mechanisms.- SW-YOLO: Improved YOLOv5s algorithm for Blood Cell Detection.- A Novel Full Prediction Model of 3D Needle Insertion Procedures Combining the Kriging and Local Constrained Method.- Autofocusing for Cleavage-Stage Embryos in Brightfield Microscopy: Towards Automated Preimplantation Genetic Testing.- Advanced Underwater Robot Technologies.- Cooperative pursuit-evasion game for multi-AUVs in the ocean current and obstacle environment.- Rock-climbing fish inspired skeleton-embedded rigid-flexible coupling suction disc design for adhesion enhancement.- An Underwater Inductively Coupled Power Transfer System with a Ring-shaped Coupler for ROV Charging.- Micro-needle Dynamic Anchoring Foot Design for Underwater Drilling Robot.- Adaptive Control for Compact Vector-Propelled ROVs in Underwater Detection: Enhancing Stability and Maneuverability.- Dual-Arm Dynamic Planning with Considering Arm Reachability Constraint in Task Space.- SLAM Algorithm of Underwater Vehicle Based on Multi-beam Sonar.- Design and Development of ROV for Ship Hull Inspection.- Research on Structure Design and Drive Control of Soft Joint on Underwater Snake-like Robot.- Reconfigurable Torso-Based Quadruped Robot for Post-Tilt Recovery.- Innovative Design and Performance Evaluation of Robot Mechanisms - Ⅰ.- Kinematics Analysis of a New Parallel Mechanism with Complete Separation of Constraints and Drives.- Design of Flexure Hinges Using Topology Optimization Based on Isogeometric Analysis.- Design and Workspace Evaluation of a Novel Parallel Grasping Manipulator with Configurable Platform.- Research on Forward Kinematics Solutions of 3RPUPc-UPS Parallel Mechanism Based on Particle-Artificial Bee Colony Algorithm.- Stiffness calculation method and deformation energy of lattice filled structure.- Analytical Backlash Model for 3K-Type Planetary Gear Train with Flexure-Based Anti-Backlash Carrier.- Design and Analysis of a Novel Membrane Deployable Solar Array Based on STACER Deployable Mechanism for CubeSats.- Graded Error Compensation Method for Heavy-Load Manipulators Based on Laser Tracking Measurement.- A Flexible Parallel Robotic Wrist Towards Transluminal Endoscopic Surgery.- Parameterizing Dexterous Workspace of Industrial Robots.- Design and Kinematic Analysis of a Mobile Parallel Mechanism with Over Constrained Branch Chains.- Design and Analysis of Space Extra Long deployable Telescopic Boom Based on Cable Drive.- Extenics Networking Method of Generalized Deployable Units.- Research on Foot Slippage Suppression of Mammal Type Legged Robot based on Optimal Force Allocation.- Evaluation of Wearable Robots for Assistance and Rehabilitation.- Improved Notch Filter Method for Vibration Suppression of Flexible Joint Robots with Harmonic Reducers.- Design of a Locust-Like Robot Based on Metamorphic Mechanism.- A Reconfigurable Cable-Driven Hybrid Robot Synchronous Calibration Method Considering Multiple Mapping Relationships.- Wearable Robots Improve Upper Limb Function in Stroke Patients.- Design and Evaluation of a Pelvic-Assisted Gait Training Method for Mobility Improvement in Stroke Patients.- Effect of Lower Limb Exoskeleton Robot on Walking Function of Stroke Patients.- Design and Control of a Novel Underactuated Soft Exosuit.- Morphology Design of Soft Strain Sensors with Superior Stability for Wearable Rehabilitation Robots.- The Feasibility, Safety and Efficacy of Robot-Assisted Gait Training Based on a Wearable Ankle Robot in Stroke Rehabilitation.- 3D Printing Soft Robots.- Design and Control of a Miniature Soft Robotic Fish Actuated by Artificial Muscles.- A Single-DOF Quadrilateral Pyramid Deployable Unit and Its Networking Mechanism.- A Rigid-Soft Pneumatic Wrist with Fixed Rotation Axes and Active Jamming Variable Stiffness Mechanisms.
£66.49
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of Contents3D Printing Soft Robots.- Adaptive Fault Tolerant Crotroller for Nonlinear Active Suspension.- Ultraviolet Curable Materials for 3d Printing Soft Robots: From Hydrogels to Elastomers and Shape Memory Polymers.- Design and Grasping Experiments of a Three-Branch Dexterous Soft Gripper.- Modelling Analysis of a Soft Robotic Arm Based on Pneumatic-Network Structure.- Integrated DLP and DIW 3D Printer for Flexible Electronics.- Bi-Directional Deformation, Stiffness-Tunable, and Electrically Controlled Soft Actuators Based on LCEs 4D Printing.- Multi-Material Integrated Printing of Reprogrammable Magnetically Actuated Soft Structures.- A Lightweight Jumping Robot with Untethered Actuation.- Dielectric Elastomer Actuators for Soft RoboticsLanding Trajectory and Control Optimization for Helicopter in Tail Rotor Pitch Lockup.- A Dual-Mode Micro Flapping Wing Robot with Water Gliding and Taking-Off Motion.- A Self-Loading Suction Cup Driven by Resonant-Impact Dielectric Elastomer Artificial Muscles.- Model-Free Adaptive Control of Dielectric Elastomer Actuator.- Modeling and Design Optimization of a Pre-Stretched Rolled Dielectric Elastomer Actuator.- Structural Dynamics Modeling with Modal Parameters and Excitation Decoupling Method Based on Energy Distribution.- Force Sensor-Based Linear Actuator Stiffness Rendering Control.- Design, Modeling and Control of a Dielectric Elastomer Actuated Micro-Positioning Stage.- Tension Distribution Algorithm of Flexible Cable Redundant Traction for Stable Motion of Air-Bearing Platform.- Research on High-Frequency Motion Control of Voice Coil Motors Based on Fuzzy PID.- Feedback Linearization with Improved ESO For Quadrotor Attitude Control.- Design and Analysis of a Flexible Joint Actuator Based on Peano-Hasel with Performance Enhancement Characteristics.- Human-like Locomotion and Manipulation.- Walking Stability Analysis of Biped Robot Based on Actuator Response Characteristics.- Design of an Actuator for Biped Robots Based on the Axial Flux Motor.- Omnidirectional Walking Realization of A Biped Robot.- Control of the Wheeled Bipedal Robot on Roads with Large and Unknown Inclination.- Nonsmooth Dynamic Modeling of a Humanoid Robot with Parallel Mechanisms.- Human-Like Dexterous Manipulation for Anthropomorphic Hand-Arm Robotic System via Teleoperation.- Design of a Compact Anthropomorphic Robotic Hand with Hybrid Linkage and Direct Actuation.- Application of Compliant Control in Position-Based Humanoid Robot.- Fast Walking of Position-Controlled Biped Robot Based on Whole-Body Compliance Control.- Whole Body Balance Control for Bipedal Robots Based on Virtual Model Control.- Design and Implementation of Lightweight Thigh Structures for Biped Robots Based on Spatial Lattice Structure and Additive Manufacturing Technology.- Design of a Humanoid Robot Foot with a Lattice Structure for Absorbing Ground Impact Forces.- An Action Evaluation and Scaling Algorithm for Robot Motion Planning.- Design and Control of the Biped Robot HTY.- SPSOC: Staged Pseudo-Spectral Optimal Control Optimization Model For Robotic Chinese Calligraphy.- Obstacle Avoidance Path Planning Method Based on DQN-HER.- Realizing Human-like Walking and Running with Feedforward Enhanced Reinforcement Learning.- Research on Target Trajectory Planning Method of Humanoid Manipulators Based on Reinforcement Learning.- Study on the Impact Performance of the Joint Cycloid Reducer for Legged Robots.- An Optimal Configuration Solution of 8-DOF Redundant Manipulator for Flying Ball.- Smooth Composite-space RRT: An Improved Motion Planner for Manipulators under Incomplete Orientation Constraint.- Cooperative Control of Dual-Arm Robot of Adaptive Impedance Controller Based on RBF Neural Network.- Trajectory Tracking Control for Robot Manipulator under Dynamic Environment.- Pattern Recognition and Machine Learning for Smart Robots.- A High-Temperature Resistant Robot for Fixed-Point Firefighting.- Multiscale Dual-Channel Attention Network for Point Cloud Analysis.- Study on Quantitative Precipitation Estimation and Model’s Transfer Performance by Incorporating Dual Polarization Radar Variables.- Research on Object Detection Methods in Low-light Conditions.- Image Recovery and Object Detection Integrated Algorithms for Robots in Harsh Battlefield Environments.- A Fuzzy-Based Improved Dynamic Window Approach for Path Planning of Mobile Robot.- Is the Encoder Necessary in DETR-Type Models? - Analysis of Encoder Redundancy.- Image Enhancement Algorithm Based on Multi-Scale Convolution Neural Network.
£75.99
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of ContentsPattern Recognition and Machine Learning for Smart Robots.- Real-Time Detection and Tracking of Express Parcels Based on Improved YOLOv5+DeepSORT.- Micro Speaker Quality Inspection Based on Time-Frequency Domain Feature Learning .- Micro Speaker Quality Inspection Based on Time-Frequency Domain Feature Learning .- Robotic Tactile Sensation, Perception, and Applications.- FBG Tactile Sensor Integrated on Bronchoscope for Force and Contact Position Sensing.- Soft Humanoid Finger with Magnetic Tactile Perception.- Learning Tactilemotor Policy For Robotic Cable Following via Sim-to-Real Transfer.- Electric Fish-Inspired Proximity and Pressure Sensing Electronic Skin.- A Novel Tactile Palm for Robotic Object Manipulation.- Tactile-Based Slip Detection Towards Robot Grasping.- A Faster and More Robust Momentum Observer for Robot Collision Detection Based on Loop Shaping Techniques.- Dynamic and static performance analysis of a linear solenoid elastic actuator with a large load capacity.- Fully tactile dexterous hand grasping strategy combining visual and tactile senses.- Intelligent Tactile System and Human-Robot Interaction for Collaborative Robots.- Tacformer : A Self-attention Spiking Neural Network for Tactile Object Recognition.- MC-Tac: Modular Camera-based Tactile Sensor for Robot Gripper.- Advanced Sensing and Control Technology for Human-robot Interaction.- Integrated Direct/Indirect Adaptive Robust Control for Electrical Driven Injection Machine Mold Closing with Accurate Parameter Estimations.- Admittance Control of Flexible Joint with Dual-Disturbance Observer.- Physical Reality Constrained Dynamics Identification of Robots Based on CAD Model.- Constant Force Tracking Using Dynamical System with External Force Estimation.- Demonstration Shaped Reward Machine for Robot Assembly Reinforcement Learning Tasks.- The Construction of Intelligent Grasping System Based on EEG.- Comparing of Electromyography and Ultrasound for Estimation of Joint Angle and Torque.- An Efficient Robot Payload Identification Method Based on Decomposed Motion Experimental Approach.- A Force Exertion Method for Redundant Mobile Manipulators Safely Operating in Small Spaces.- Prediction of Elbow Torque Using Improved African Vultures Optimization Algorithm in Neuromusculoskeletal Model.- Usability Evaluation of FURS Robot Control Panel Interface Design Based on SUS.- Knowledge-based Robot Decision-making and Manipulation.- Obstacle-Avoidance State Characterization Models Based on Hybrid Geometric Descriptions for Mobile Manipulators.- Performance Optimization of Robotic Polishing System With a 3-DOF End-Effector Using Trajectory Planning Method.- KGGPT: Empowering Robots with OpenAI's ChatGPT and Knowledge Graph.- Robot Trajectory Optimization with Reinforcement Learning Based on Local Dynamic Fitting.- ChatGPT for Robotics: A New Approach to Human-Robot Interaction and Task Planning.- Precision Control and Simulation Verification of Hydraulic Manipulator under Unknown Load.- Experience Adapter: Adapting Pre-Trained Language Models for Continual Task Planning.- Nonlinear Disturbance Observer-Based Continuous Fixed-Time Tracking Control for Uncertain Robotic Systems.- Optimized Adaptive Impedance Control Based on Robotic Seven-Axis Linkage Grinding Platform.- Decision-Making in Robotic Grasping with Large Language Models.- Language Guided Grasping of Unknown Concepts Based on Knowledge System .- A Review of Nonlinear Systems Based on Optimal Control Theory.- Design and Control of Legged Robots.- A Locust-Inspired Energy Storage Joint for Variable Jumping Trajectory Control.- Design and Control of a Novel Six-Legged Robot for Flat, Downhill, and Uphill Skiing .- Structure Design and Fall Trajectory Planning of an Electrically Driven Humanoid Robot.- HexGuide: A Hexapod Robot for Autonomous Blind Guidance in Challenging Environments.- Force-Estimation Based Interaction of Legged Robots through Whole-Body Dynamics.- Lightweight Design and Property Analysis of Humanoid Robot Thigh Integrated Structure With Appearance.- Joint Torque and Ground Reaction Force Estimation for a One-Legged Hopping Robot.- Predefined-Time External Force Estimation for Legged Robots.- Movement Analysis of a Landing Buffer Mobile Mechanism with Eccentric Load.- A Lightweight Manipulator Design for Quadruped Robots and Stable Locomotion Control with the Manipulator.- Recovery from Injury: Learning Bipedal Jumping Skills with a Motor Output Torque Limit Curriculum.- Recovery Planning for the Legged Mobile Lunar Lander.
£75.99
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of ContentsVisual and Visual-tactile Perception for Robotics.- 6D Pose Estimation Method of Metal Parts for Robotic Grasping Based on Semantic-level Line Matching.- GelSplitter: Tactile Reconstruction from Near Infrared and Visible Images.- GelFlow: Self-Supervised Learning of Optical Flow for Vision-Based Tactile Sensor Displacement Measurement.- CLOE: Novelty Detection via Contrastive Learning with Outlier Exposure.- Detection and Positioning of Workpiece Grinding Area in Dark Scenes with Large Exposure.- Hardware-Free Event Cameras Temporal Synchronization Based on Event Density Alignment.-- A Structure-Responsive CNN-Based Approach for Loop Closure Detection in Appearance-Changing Environments.- Visual Sensor Layout Optimization of a Robotic Mobile Adhesive Removal System for Wind Turbine Blade Based on Simulation.- Perception, Interaction, and Control of Wearable Robots.- Kinematic and Static Analysis of Flexible Link Tensegrity Robots.- An Autoencoder-Based Feature Extraction Method Applied to the Detection of Lateral Walking Gait Phase.- Sparse Adaptive Channel Estimation Based on Multi-Kernel Correntropy.- Towards Intercontinental Teleoperation: A Cloud-Based Framework for Ultra-Remote Human-Robot Dual-Arm Motion Mapping.- A Lightweight Ankle Exoskeleton Driven by Series Elastic Actuator.- Simulation Analysis of Synchronous Walking Control for Centaur System.- Kinematics Analysis of the Wearable Waist Rehabilitation Robot.- 3D Human Pose Estimation in Video for Human-Computer/Robot Interaction.- A Real-time AGV Gesture Control Method Based on Body Part Detetcion.- Predict Hip Joint Moment Using CNN for Control.- Marine Robotics and Applications.- Study on design and performance of a bionic fish driven by four IPMC fins.- Optimization of Energy Storage for A Miniature Water Jumping Robot.- Design and Research of Flatworm-inspired Marine Exploration Robot.- Coordinated Passive Maneuvering Target Tracking by Multiple Underwater Vehicles Based on Asynchronous Sequential Filtering.- Robust Tube-Based Model Predictive Control for Marine Ship-mounted Cranes.- Multi-UUV/USV Adaptive Cooperative Search Using Online State Information.- Design and Analysis of Co-Axial Twin-Propeller Trans-Media Vehicle.- Design of an Autonomous Underwater Vehicle for Targeted Water Sampling.- A Novel Motion Planning Algorithm Based on RRT-Connect and Bidirectional Approach for Free-Floating Space Robot.- A Hybrid Workspace Mapping Method Based on Force Feedback for Underwater Teleoperation Systems.- A Lyapunov-based Model Predictive Virtual Vehicle Guidance for Path Following Control of Autonomous Marine Vehicles.- Overview of Technologies in Marine Robotics.- Multi-robot Systems for Real World Applications.- An MFG Online Path Planning Algorithm Based on Upper and Lower Structure.- Intelligent Scalable and Fault-tolerant Coordination Approach for Collective Construction Robots .- Performance Analysis and Configuration Optimization of a Hexapod Platform with Flexure Hinges.- Dynamic Modeling and Control of Winch-Integrated Cable-Driven Parallel Robots Using Singular Perturbation Method.- Multi-input Multi-output Sliding Mode Control with High Precision and Robustness for a 6-PSU Parallel Robot.- Efficient Trajectory Planning for Coordinated Arrival of Fixed-Wing UAV Swarm.- Spontaneous Emergence of Multitasking in Minimal Robotic Systems.- Cooperative Control of Dual-Manipulator System with Unknown Dynamic Parameters.- Disturbance Rejection Fixed Point Control of DELTA Parallel Manipulator Mounted on Autonomous Underwater Vehicle.- Efficient Autonomous Exploration of Unknown Environment using Regions Segmentation and VRP.- Modeling of the electromagnetic launching process for a tethered-net capturing system.- Neural Network-Based Formation Control of Autonomous Underwater Vehicles Under Disturbance in 3D Space.- Event-Triggered Model Predictive Mean-Field Control for Stabilizing Robotic Swarm.- Risk-Aware Motion Planning for Very-Large-Scale Robotics Systems Using Conditional Value-at-Risk.- Physical and Neurological Human-Robot Interaction.- An Adaptive Impedance Control Method for Human-Robot Interaction.- Design of a lower limb rehabilitation training robot based on a double four-bar synchronous motion mechanism.- Upper Limb Motion Rehabilitation Training Robot Based on A Spatial RRSS Rigid-Body Guidance Mechanism.- Mask R-CNN with attention mechanism for detection and segmentation.- Design and Variable Parameter Control Strategy of Weight Support Gait Training Robot.- CMM-based Cooperative Control Strategy of Supernumerary Robotic Limbs for Human Motion.
£66.49
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of ContentsPhysical and Neurological Human-Robot Interaction.- Scene-level Surface Normal Estimation from Encoded Polarization Representation.- Configuration Synthesis of four DOF knee rehabilitation parallel mechanism based on multiset theory.- Design and Analysis of a Four-Finger Three-Joint Underactuated Hand Rehabilitation Mechanism.- Human-Computer Interactive Digital-Twin System Driven by Magnetic-Inertia Fusion Data.- Motion Planning for Pelvis-Assisted Walking Training Robot.- Advanced Motion Control Technologies for Mobile Robots.- Research on motion control of underwater robot based on improved active disturbance rejection control.- Autonomous Navigation of Tracked Robot in Uneven Terrains.- DR-Informed-RRT* Algorithm: Efficient Path Planning for Quadruped Robots in Complex Environments.- Game-Theoretic Motion Planning for Multiple Vehicles at Unsignalized Intersection.- To Improve the Energy Efficiency: Modeling and Control for Quadrotor with Tiltable Wing.- Balance Control for inverted pendulum system via SGCMG.- Robot Lateral Following Method with Adaptive Linear Quadratic Regulator.- Research on Outdoor AGV Localization Method based on Adaptive Square Root Cubature Kalman Filter.- Optimization-based Coordinated Motion Planning for Redundant Wheeled Mobile Manipulator.- Efficient and Hierarchical Quadrotor Planner for Fast Autonomous Flight.- Formation Control of Unmanned Ground Vehicles Based on Broad Learning System.- Equilibrium-Compensation-Based Sliding Mode Control for Accurate Steering Tracking of a Single-Track Two-Wheeled Robot.- Adaptive Attitude Controller for a Six Wheel-Legged Robot Based on Impedance Control .- Design and Simulation of a Reconfigurable Multimode Mobile Robot with Folding Platform .- RBSAC: Rolling Balance Controller Based on Soft Actor-Critic Algorithm of the Unicycle Air Robot.- Design and Control of a Mobile Cable-driven Manipulator with Experimental Validation.- Autonomous Exploration for Mobile Robot in Three Dimensional Multi-Layer Space.- Model Predictive Control-based Pursuit-Evasion Game for Unmanned Surface Vessels.- Accelerated Informed RRT*: Fast and Asymptotically Path Planning Method Combined with RRT*-Connect and APF.- Intelligent Inspection Robotics.- Design and Practice of Space Station Manipulator Inspecting for Berthing Manned Spacecraft.- Research on Chain Detection of Coke Oven Inspection Robot in Complex Environment.- Powerline Detection and Accurate Localization Method Based on the Depth Image.- Dexterity of Concentric Magnetic Continuum Robot with Multiple Stiffness.- Efficient and Accurate Detector with Global Feature Aggregation for Steel Surface Defect Detection.- A Novel Radius Measurement Method for Vertical Oil Tank Based on Laser Tracking and Wall-Climbing Robot.- Kinetostatic and Cable-Hole Friction Modeling for Cable-Driven Continuum Robots.- Measurement and Application of Industrial Robot Jitter.- Attitude Control of Flapping-wing Micro Air Vehicles Based on Hyperbolic Tangent Function Sliding Mode Control.- L-EfficientUNet: Lightweight End-to-end Monocular Depth Estimation for mobile robots.- Integrated Device for Controllable Droplet Generation and Detection on Open Array Chip.- Robotics in Sustainable Manufacturing for Carbon Neutrality.- Research on Energy Consumption Prediction of Pump Truck Based on LSTM-Transformer .- Magnetically Controllable Liquid Metal Droplet Robots.- Comparative Carbon Footprint and Environmental Impacts of Lifepo4 - Licoxniymn(1-x-y)O2 Hybrid Batteries Manufacturing.- Wiring Simulation of Electric Control Cabinet Based on Industrial Robot .- Intelligent Identification Approach of Vibratory Roller Working Stages Based on Multi-Dimensional CNN.- Research status and application prospects of magnetically driven micro- and nanorobots.- A Novel Transfer Learning Method for Robot Bearing Fault Diagnosis Based on Deep Convolutional Residual Wasserstein Adversarial Network.- Design and Implementation of a Multifunctional Screw Disassembly Workstation.- Inverse Kinematics Solver Based on Evolutionary Algorithm and Gradient Descent for Free-Floating Space Robot.- Research on Robotic Extractors Based on Potential Energy Recovery Technology for Low-Carbon Footprint.- Innovative Design and Performance Evaluation of Robot Mechanisms - Ⅱ.- Design of a Force-controlled End-effector with Slender Flexible Beams.- Development of an Integrated Grapple Chain for a Simultaneous Three-fingered End-effector.- Screw Dynamics of the Upper Limb of a Humanoid Robot.- Research on Selective Degradation Strategy of Redundant Degrees of Freedom for Planar 6R Parallel Mechanism.- Development and Analysis of a Wheel-legged Mobile Robot for Ground and Rail Inspection.
£66.49
Springer Verlag, Singapore Intelligent Robotics and Applications: 16th
Book SynopsisThe 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.Table of ContentsInnovative Design and Performance Evaluation of Robot Mechanisms - Ⅱ.- Design and Analysis of a Novel Ring Truss Deployable Antenna Mechanism.- Model-based Performance Enhancement for Compound Twisted and Coiled Actuators.- Lightweight design method of stacker column structure based on multi-parameter sensitivity analysis.- Optimum Design of 3-UPS/S Parallel Humanoid Wrist Joint.- Kinematic Analysis of Overrunning on a Swing Arm Tracked Mobile Chassis.- Design and Implementation of a Modular Self-reconfigurable Spherical Robot Connected by Magnetic Force.- Graph Synthesis of Generalized Parallel Mechanisms with Coupling Sub-Chains.- Analysis of Mechanism Elastodynamic Performance in Automatic Excavating Process of Excavating Robot.- Measurement and Analysis of End Jitter of Six-axis Industrial Robots.- Description of configuration transformation matrix of reconfigurable mechanism and automatic retrieval and recognition of motion mode.- Design of a voice coil motor-driven multi-DOF parallel micropositioning stage.- Structural Design of a Multi mode Variable Coupling Multi axis Parallel Mobile Robot.- Design and Kinematic Analysis of DNA Nanomachines.- Design and analysis of a new type of solar panel.- Cutting-edge Research in Robotics.- Real-Time Monitoring System of Spray-Painting Robot Based on Five-Dimension Digital Twin Model.- A Methodology for Optimization Design of Parallel Manipulators with Similar Stiffness Performance Design.- Collaborative Robot-Oriented Joint Real-time Control Based on Heterogeneous Embedded Platform.- A Novel Sensitivity Analysis Method for Geometric Errors of a Parallel Spindle Head.- A Novel Prognostic Method for Wear of Sliding Bearing based on SFENN.- Accurate Interpolation Algorithm Based on Fir Filters with Local Dynamic Adjustment.- Investigation of Soft Acoustic Waveguide Dispersion for Wearable Strain Sensing in Human Motion Monitoring.- Design and Optimization of Compliant Rotational Hinge Based on Curved Beam.- A Visual-Inertial Fusion Mapping and Localization System Using AprilTag in GNSS-Denied Scenes .- An Orientation Measurement Method for Industry Robot Based on Laser Tracker.- Programming the Motion of Nanofiber Mat Actuator Through an Area Selective Epoxy Coating Method.- Design of a Multi-Robot Digital Twin System with Bidirectional Motion Synchronization Capabilities.
£47.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 Berlin and Heidelberg GmbH & Co. KG Pro Spring Security: Securing Spring Framework 6
Book SynopsisBuild and deploy secure Spring Framework and Spring Boot-based enterprise Java applications with the Spring Security Framework. This book explores a comprehensive set of functionalities to implement industry-standard authentication and authorization mechanisms for Java applications.Pro Spring Security, Third Edition has been updated to incorporate the changes in Spring Framework 6 and Spring Boot 3. It is an advanced tutorial and reference that guides you through the implementation of the security features for a Java web application by presenting consistent examples built from the ground up.This book also provides you with a broader look into Spring security by including up-to-date use cases such as building a security layer for RESTful web services and JSON Web Token applications.What You Will Learn Explore the scope of security and how to use the Spring Security Framework Master Spring security architecture and design Secure the web tier in Spring Work with alternative authentication providers Take advantage of business objects and logic security Extend Spring security with other frameworks and languages Secure the service layer Secure the application with JSON Web Token Who This Book Is ForExperienced Spring and Java developers with prior experience in building Spring Framework or Boot-based applicationsTable of Contents
£44.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG API Management: An Architect's Guide to Developing and Managing APIs for Your Organization
Book SynopsisAPIs are the enablers for a thriving ecosystem that can drive revenue growth and ROIs for any organization. This book will cover all relevant topics and trends that enterprise architects need to know to build and govern APIs as a product. The second edition of the API Management builds on the foundation established in the first edition to cover recent advances in API development as well as the principles and best practices of building API as a product. It has been updated to cover the latest and emerging trends in API architecture, design, and implementation covering the use of gRPC, graphQL, microservices and service mesh to building and manage a scalable API platform. New chapters cover how to build an effective API strategy for digital transformation and implement an API-First architecture to build and deliver APIs as a Product. Any software architect or developer looking to adopt and build APIs for digital transformation and excellence within their organization will find this book to be an invaluable resource. What You Will Learn Understand API Management Architecture and Design best practices How to build an effective API strategy and build APIs as product How to design, build and test APIs using API-First approach How to implement API Security What are the latest API technology trends and adoption across industry Who This Book Is For CxOs, software architects, and developers who are looking to implement APIs within their organization for digital transformation initiatives. Table of ContentsChapter 1: Introduction to APIsChapter Goal: This chapter introduces APIs and their importance in today’s digital economy for all digital transformation programs. We look at some of the associated and similar technologies like SOA, iPaas, and Microservices and understand their differences and relationship with API. The second edition will make updates to the examples for popular public APIs, types of APIs, introduction to iPaas platform for APIs, and some of No of pages 12 to 15 pagesChapter 2: Introduction to API ManagementChapter Goal: This chapter discusses the need for an API Management platform for an enterprise. It focuses on the capabilities required for an API management platform viz. API Gateway, Developer Portal, and API Analytics. The second edition of the book will highlight the recent advancements and trends in API Management and new capabilities added to API Management platform products.No of pages: 12 to 15 pagesSub - Topics 1. API Gateway2. API Developer Portal3. API Analytics4. Service MeshChapter 3: Designing RESTful APIsChapter Goal: This chapter will cover the concepts and best practices for designing RESTful APIs that developer love. It will introduce the audience to the right use of HTTP verbs, HTTP status codes, versioning guidelines, and resource naming conventions for building restful APIs. No of pages : 18 to 20 pagesSub - Topics: 1. REST API Design Principles2. API Naming conventions3. HTTP Verbs and Error codes4. API Design Best Practices Chapter 4: API DocumentationChapter Goal: This chapter will discuss the importance of documentation for APIs and the best practices for documenting APIs. It will discuss the various standards out there for documentation and the differences. Advances and differences in API documentation standards like OAS. RAML and Async APIs will be covered. The 2nd edition of the book will introduce the changes in the API document standards No of pages:12 to 15 pagesSub - Topics: 1. Importance of good API documentation2. Open API Specifications3. RAML4. Async APIsChapter 5: API Architecture PatternsChapter Goal: This chapter focuses on the various patterns for developing and managing scalable APIs. It discusses the patterns for API Implementation, Traffic Management, API Security, API Deployments, and API Adoption. The 2nd edition will cover the new patterns for the development scalable APIsNo of pages: 20 to 25 pagesSub - Topics: 1. API Traffic Management Patterns2. API Security Patterns3. API deployment patterns4. API Operations and adoption patternsChapter 6: API Version ManagementChapter Goal: This chapter will highlight the importance and approaches for versioning APIs for easier life cycle management. Chapter 7: API SecurityChapter Goal: This chapter will discuss the various approaches and technologies available for implementing robust end-to-end security for APIs. The 2nd edition will also focus on the latest advances in API security like WAAP and protection against BoT attacksNo of pages:25 to 30 pagesSub - Topics: 1. API Authentication and Authorization2. OAuth3. Open Id Connect4. JwT tokens5. Preventing BoT attacks6. WAAP (Web Application and API Protection)Chapter 8: API MonetizationChapter Goal: This chapter will highlight the various API monetization models and the concepts around creating an API Monetization package. The chapter will also cover some of the pitfalls to avoid while selecting the monetization model. The 2nd edition will update this chapter to cover the pitfalls to avoid while monetizing APIsNo of pages: 8 to 10 pagesSub - Topics: 1. API Monetization approach2. API Monetization Models3. Pitfalls to avoid while Monetizing APIsChapter 9: API Testing StrategyChapter Goal: This chapter will focus on the right approach to test APIs with interface testing, functional integration testing, security testing, and load and performance testing. The chapter will also look at some of the popular tools for API testing. No of pages: 12 to 15 pagesSub - Topics: 1. API Testing approach2. Best practices for API testing3. API Testing toolsChapter 10: API AnalyticsChapter Goal: This chapter will focus on the various stakeholders and metrics/dashboards to look at for monitoring the performance of APIs. No of pages: 5 to 8 pagesSub - Topics: 5. API Analytics6. App Analytics7. Developer Analytics Chapter 11: API Developer PortalChapter Goal: This chapter will focus on the need for building a rich and user-friendly Developer Portal. It will highlight the necessary components and functionalities to be implemented in a Developer Portal. The 2nd edition of this chapter will introduce the best practices to follow and advanced capabilities that should be built to accelerate the adoption of APIs using the Developer PortalNo of pages: 12 to 15 pagesSub - Topics: 1. API Publications2. Developer Onboarding3. API dashboards4. Forums and Blogs5. Support Chapter 12: API GovernanceChapter Goal: This chapter will look into the various personas and their roles in the API lifecycle. It will look at the scope and aim of API Governance. The various API governance models will be discussed in this chapter. The 2nd edition will highlight the best practices to follow for an effective API governanceNo of pages: 8 to 10 pagesSub - Topics: 1. API Lifecycle 2. Personals and Roles3. API Governance Models4. Best practices for effective API GovernanceChapter 13: Building an effective API Strategy Chapter Goal: This new chapter in the 2nd edition will focus on the approach to building an effective API strategy for an organization. It will highlight the components that should be part of the enterprise API strategy. No of pages: 5 to 8 pages Sub - Topics: 1. API Business Strategy2. API Technology Strategy3. API Ecosystem StrategyChapter 14: Building an API-First Architecture Chapter Goal: This new chapter in the 2nd edition will focus on the principles and approaches for building an API-First architecture. It will cover the API principles for API exposure, and various patterns for building scalable and decoupled APIs like orchestration, choreography, event-driven approach, service mesh, service registryNo of pages: 20 to 25 pagesChapter 15: Modern API Architecture StylesChapter Goal: This new chapter in the 2nd edition will introduce the readers to some of the latest advancements in technology for building APIs like graphQL, and gRPC. It will look at the various criteria for making the right technology choices for architecting APIsNo of pages: 10 to 12 pagesSub - Topics: 1. graphQL2. gRPCChapter 16: Build APIs as a ProductChapter Goal: This new chapter in the 2nd edition will focus on the principles for building APIs as a product that customers will love. It will also discuss the approaches and best practices to be followed for creating an API Product and launching it in the marketNo of pages: 10 to 12 pagesSub - Topics: 1. Pillars of a product mindset2. Guide to API Product Management Principles Chapter 17: API Maturity ModelChapter Goal: This new chapter in the 2nd edition will talk about the maturity levels of an enterprise APIs program. It also provides a roadmap that organizations may adopt to evolve and mature their APIs to meet the growing business needs No of pages: 8 to 10 pagesSub - Topics: 1. API Architecture maturity2. API Governance maturity3. API Developer Community Maturity4. API Development Process Maturity5. API Operations Maturity
£39.99
£41.24
Apress Customizable Agile Development
Book SynopsisChapter 1: Introduction to Agile Alchemy and Customizing Agile.- Chapter 2: Agile Forerunners and the Stories of Scrum and Kanban.- Chapter 3: The Lean Mindset and Innovative Agile Practices.- Chapter 4: Voices From the Field.- Chapter 5: Customized Frameworks.- Chapter 6: Crafting Your Own Agile Framework.- Chapter 7: Keeping it All Human Centric.
£31.99
Apress Software Engineering Made Easy
Book SynopsisChapter 1: Fundamentals of Software Engineering.- Chapter 2: Components of Code.- Chapter 3: Classes Chapter 4: Testing.- Chapter 5: Design Principles.- Chapter 6: Programming.- Chapter 7: High-Level Design.- Chapter 8: Refactoring.- Chapter 9: Other Common Topics.- Chapter 10: Collaborating.- Appendix A: Further Reading.- Appendix B: Abbreviations.
£41.24
Apress From Culture to Code
Book SynopsisChapter 1: Build Your Presence.- Chapter 2: Champion Your Team.- Chapter 3: Acquire Talent.- Chapter 4: Organize Your People.- Chapter 5: Set Goals.- Chapter 6: Set Expectations.- Chapter 7: Evaluate & Promote.- Chapter 8: Choose the Tech Stack.- Chapter 9: Adopt Best Practices.- Chapter 10: Build a strong software foundation.- Chapter 11: Manage technical debt.- Chapter 12: Closing words.
£17.99