Systems analysis and design Books

Book SynopsisBecome well-versed with the tools available in the Siemens TIA toolbox and write PLC and HMI code effectivelyKey Features Find out how to use TIA Portal effectively to boost your productivity Learn about a structured design pattern and understand why it is so powerful when implemented correctly Discover efficient project management and design practices Book DescriptionWith automation requirements on the rise, Siemens' TIA Portal development environment is almost a necessity for any automation engineer. The Totally Integrated Automation (TIA) environment helps seamlessly integrate all things automation, from PLC hardware and software design to HMI development. This book helps you understand the tools available in the TIA toolbox and shows you how to write code effectively.The book begins by introducing you to the TIA environment, covering the layout and tools available. Once you've got to grips with the environment, you'll find out how to create hardware to write programs against, including adding IO modules and assigning memory for input and output. Next, you'll develop logic in all of the languages that TIA Portal offers, such as Ladder, Function Block Diagram, and Structured Text (SCL) (note that Statement List is not covered as a deprecated language), as well as the newest language, Cause and Effect (CEM). You'll also discover how to store standard code in libraries, creating a version control system that is easy to manage and aids standard design. Finally, following the PLC design chapters, you'll learn how to develop HMI applications in TIA Portal's latest unified hardware.By the end of the book, you'll be well equipped to use all of the features that TIA Portal V17 offers.What you will learn Set up a Siemens Environment with TIA Portal Find out how to structure a project Carry out the simulation of a project, enhancing this further with structure Develop HMI screens that interact with PLC data Make the best use of all available languages Leverage TIA Portal's tools to manage the deployment and modification of projects Who this book is forThis TIA Portal book is for anybody looking to learn PLC/HMI development using the latest Siemens development platform. Industrial software engineers, PLC engineers, automation engineers, and electricians will be able to advance their skill set with this guide. A basic understanding of PLC principles such as PLC data types and basic objects such as function blocks and functions is necessary to get started.Table of ContentsTable of Contents Starting a New Project with TIA Portal Creating Objects and How They Fit Together Structures and User-Defined Types PLC Programming and Languages Working with Languages in TIA Portal Creating Standard Control Objects Simulating Signals in the PLC Options to Consider When Creating PLC Blocks TIA Portal HMI Development Environment Placing Objects, Settings Properties, and Events Structures and HMI Faceplates Managing Navigation and Alarms Downloading to the PLC Downloading to the HMI Programming Tips and Additional Support

Read more less

Book SynopsisLearn to identify problems when developing complex systems and design effective solutions using a model-based system engineering approach Key Features Implement model-based systems engineering, including visualization, verification, and validation processes Explore the complexity of a system and learn how it can be commissioned as an effective resource Filled with comprehensive explanations, practical examples and self assessment tests Book DescriptionSystems engineering helps in developing and describing complex systems. Written by an internationally-recognized systems engineering expert, this updated edition provides insight into elements to consider when designing a complex system that is robust and successful. The latest edition covers the new approaches of Model-Based Systems Engineering (MBSE) and its deployment techniques using the Trinity approach. You will learn about the system engineering life cycle and processes to implement. Effective systems can be built only when the system is designed with close attention to detail, meaning each aspect of the system is recognized and understood before the system is built. The book explains in great detail, different system models and visualization techniques, with a focus on SysML, to help you visualize a system in the design phase. You will also learn various verification and validation techniques to ensure your system design is ready to be implemented. The book ends with key management processes, systems engineering best practices, and guidelines, with a new section on effective approaches based on the author’s impressive 30 years of experience in the field. By the end of this systems engineering book, you'll be able to apply modern model-based systems engineering techniques to your own systems and projects.What you will learn Study the three evils of systems engineering: complexity, ambiguous communication, lack of understanding Learn how to deploy MBSE using the Trinity approach Receive invaluable information about the philosophy of modeling from a seasoned professional Understand the MBSE life cycle and how design, verification, and validation fit into it Explore processes and concepts such as activities, stakeholders, and resources Discover how needs fit into the life cycle and how to comply with relevant processes Gain a deeper understanding of how to model effectively and efficiently Who this book is forThis book is for aspiring systems engineers, engineering managers, or anyone looking to apply systems engineering practices to their systems and projects. While a well-structured, model-based approach to systems engineering is an essential skill for engineers of all disciplines, many companies are finding that new graduates have little understanding of MBSE. This book helps you acquire this skill with the help of a simple and practical approach to developing successful systems. No prior knowledge of systems engineering or modeling is required to get started with this book.Table of ContentsTable of Contents Introduction to Systems Engineering Model-Based Systems Engineering Systems and Interfaces Life Cycles System Engineering Processes Needs and Requirements Modeling the Design Modeling Verification and Validation Methodologies System Engineering Management Deploying MBSE The Art of Modeling Best Practices

Read more less

Book SynopsisUnravel the power of Java design patterns by learning where to apply them effectively to solve specific software design and development problemsKey Features Decouple logic across objects with dependency injection by creating various vehicles with features Finalize vehicle construction by chaining handlers using the Chain of Responsibility Pattern Plan and execute an advanced vehicle sensor initiation with the Scheduler Pattern Book DescriptionDesign patterns are proven solutions to standard problems in software design and development, allowing you to create reusable, flexible, and maintainable code. This book enables you to upskill by understanding popular patterns to evolve into a proficient software developer.You’ll start by exploring the Java platform to understand and implement design patterns. Then, using various examples, you’ll create different types of vehicles or their parts to enable clarity in design pattern thinking, along with developing new vehicle instances using dedicated design patterns to make the process consistent. As you progress, you’ll find out how to extend vehicle functionalities and keep the code base structure and behavior clean and shiny. Concurrency plays an important role in application design, and you'll learn how to employ a such design patterns with the visualization of thread interaction. The concluding chapters will help you identify and understand anti-pattern utilization in the early stages of development to address refactoring smoothly. The book covers the use of Java 17+ features such as pattern matching, switch cases, and instances of enhancements to enable productivity.By the end of this book, you’ll have gained practical knowledge of design patterns in Java and be able to apply them to address common design problems.What you will learn Understand the most common problems that can be solved using Java design patterns Uncover Java building elements, their usages, and concurrency possibilities Optimize a vehicle memory footprint with the Flyweight Pattern Explore one-to-many relations between instances with the observer pattern Discover how to route vehicle messages by using the visitor pattern Utilize and control vehicle resources with the thread-pool pattern Understand the penalties caused by anti-patterns in software design Who this book is forIf you are an intermediate-level Java developer or software architect looking to learn the practical implementation of software design patterns in Java, then this book is for you. No prior knowledge of design patterns is required, but an understanding of Java programming is necessary.Table of ContentsTable of Contents Getting Into Software Design Patterns Discovering the Java Platform for Design Patterns Working with Creational Design Patterns Applying Structural Design Patterns Behavioral Design Patterns Concurrency Design Patterns Understanding Common Anti-Patterns

Read more less

Book SynopsisProven techniques, best practices, and tips for writing effective user stories, leveraging user story mapping, and expert interviews to deliver high value to users Purchase of the print or Kindle book includes a free PDF eBook Key Features Learn how to write and implement effective user stories to improve product development Discover techniques to gather requirements, prioritize, and refine user stories Handle stakeholder expectations, communicate user stories, and incorporate user feedback Book DescriptionThe Art of Crafting User Stories is a must-read for product managers, UX professionals, and product developers dedicated to creating meaningful digital experiences. This book provides a comprehensive, step-by-step approach to empower you to master the techniques for creating user stories that drive effective product development. This book takes you on a journey from identifying and capturing user needs, goals, and perspectives through user stories, to crafting impactful stories for design choices and organizing tasks efficiently. You’ll learn how to define the problem area, recognize user personas, and develop user scenarios with the aid of real-world examples, practical tips, and exercises designed to help you develop your skills in crafting user-centered experiences. Moreover, you’ll gain a thorough understanding of user stories, their role in Agile development, and how to use them to plan and manage products effectively. By the end of this book, you’ll be able to improve the quality and efficiency of your own products by applying the hands-on practical skills to create compelling digital experiences that resonate with users and stay relevant in the market.What you will learn Leverage user personas in product development for prioritizing features and guiding design decisions Communicate with stakeholders to gather accurate information for writing user stories Avoid common mistakes by implementing best practices for user story development Estimate the time and resources required for each user story and incorporate estimates into the product plan Apply product frameworks and techniques for user story prioritization and requirement elicitation Benefit from the experiences, insights, and practices of experts in the field of user story mapping Who this book is forIf you're interested in learning about user stories, as a product management method in Agile development, this book is for you. It's suitable for anyone involved in software development, including product managers, product owners, Agile coaches, designers, product analysts, and developers. Although prior experience with Agile development is not expected, a basic understanding of software development will be beneficial.Table of ContentsTable of Contents Introduction to User Stories Understanding the User Perspective Writing Effective User Stories Prioritizing and Estimating User Stories Working with Stakeholders User Story Refinement and Continuous Improvement User Stories in Practice Expert Interviews Conclusion

Read more less

Book SynopsisManaging Complexity is the first book that clearly defines the concept of Complexity, explains how Complexity can be measured and tuned, and describes the seven key features of Complex Systems: 1. Connectivity 2. Autonomy 3. Emergency 4. Nonequilibrium 5. Non-linearity 6. Self-organisation 7. Co-evolution The thesis of the book is that complexity of the environment in which we work and live offers new opportunities and that the best strategy for surviving and prospering under conditions of complexity is to develop adaptability to perpetually changing conditions. An effective method for designing adaptability into business processes using multi-agent technology is presented and illustrated by several extensive examples, including adaptive, real-time scheduling of taxis, see-going tankers, road transport, supply chains, railway trains, production processes and swarms of small space satellites. Additional case studies include adaptive servicing of the International Space Station; adaptive processing of design changes of large structures such as wings of the largest airliner in the world; dynamic data mining, knowledge discovery and distributed semantic processing.Finally, the book provides a foretaste of the next generation of complex issues, notably, The Internet of Things, Smart Cities, Digital Enterprises and Smart Logistics.Table of ContentsContents PART 1 Fundamentals 1 What is complexity? Introduction; Defining Complexity; Complex Versus Complicated; Complexity and Uncertainty; The Seven Criteria of Complexity; Negative and Positive Aspects of Complexity; Evolution Favours Complexity; Co-Evolution of Technology, Economy and Society; Complexity and Information Society; Complexity and Philosophy 2 A method for managing complexity Introduction; Coping with External Complexity; Tuning Internal Complexity; Modelling Complexity; Adaptability; Designing Adaptive Business Processes 3 Multi-agent technology Introduction; Fundamentals; MAS for Adaptive Resource Allocation; Knowledge Base; Virtual World; Decision-Making; Agent Negotiations; Architecture; Multi-Agent Platform; Main Features of Our MAS; Multi-Agent Software as a Complex Adaptive System; Comparing Multi-Agent Software with Conventional Programs 4 Emergent intelligence Fundamentals; Evidence of Intelligent Behaviour; Thermodynamics of the Virtual World PART 2 Commercial applications 5 Adaptive scheduling of seagoing tankers The Problem; The Solution; Results 6 Adaptive scheduling of taxis The Problem; The Solution; Results 7 Adaptive scheduling of car rentals The Problem; The Solution; Results 8 Adaptive scheduling of road transport The Problem; The Solution; Results 9 Adaptive data mining The Problem; The Solution; Application Examples; Results 10 Adaptive semantic processing The Problem; The Solution; Application Example: Assessing Relevance of Abstracts; Results 11 Adaptive detection of clashes caused by design changes The Problem; The Solution; Results 133 12 Adaptive scheduling of supply networks The Problem; The Solution; Results 13 Adaptive scheduling of services for the international space station The Problem; The Solution; Results 14 Adaptive scheduling of a fleet of satellites The Problem; The Solution; Results 15 Adaptive scheduling of high-speed railways The Problem; The Solution; Results 16 Adaptive scheduling of manufacturing The Problem; The Solution; Results 17 Adaptive management of service teams The Problem; The Solution; Results 18 Adaptive project management The Problem; The Solution; Results PART 3 A roadmap into the future 19 A vision and ideas A Shift from Personal to Business Applications; The IoT; Digital Enterprise; Smart City; Smart Logistics

Read more less

Book SynopsisThis open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019.Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first. Table of ContentsFoundations of Reversible Computation.- Software and Reversible Systems: A Survey of Recent Activities.- Simulation and Design of Quantum Circuits.- Research on Reversible Functions Having Component Functions with Specified Properties - An Overview.- A Case Study for Reversible Computing: Reversible Debugging.- Towards Choreographic-Based Monitoring.- Reversibility in Chemical Reactions.- Reversible Control of Robots.- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation.- Reversible Computation in Wireless Communications.- Error Reconciliation in Quantum Key Distribution Protocols.

Read more less

Book SynopsisThis book constitutes selected papers from the Second International Workshop on IoT Streams for Data-Driven Predictive Maintenance, IoT Streams 2020, and First International Workshop on IoT, Edge, and Mobile for Embedded Machine Learning, ITEM 2020, co-located with ECML/PKDD 2020 and held in September 2020. Due to the COVID-19 pandemic the workshops were held online. The 21 full papers and 3 short papers presented in this volume were thoroughly reviewed and selected from 35 submissions and are organized according to the workshops and their topics: IoT Streams 2020: Stream Learning; Feature Learning; ITEM 2020: Unsupervised Machine Learning; Hardware; Methods; Quantization.Table of ContentsStream Learning.- Feature Learning.- Unsupervised Machine Learning.- Hardware.- Methods.- Quantization.

Read more less

Book SynopsisThis volume constitutes selected papers presented at the 28th International Conference on Systems, Signals and Image Processing, IWSSIP 2021, held in Bratislava, Slovakia, in June 2021. Due to the COVID-19 pandemic the conference was held online. The presented 14 full and 5 short papers were thorougly reviewed and selected from the 76 submissions. The papers focus on various aspects of advanced signal processing in different scientific areas, including filter design, Fourier and other transforms, feature extraction, machine learning and system adaptation to user-oriented products like 5G networks, IoT, virtual teleport or tele-surgery operations.Table of ContentsSegmentation and Quantification of Bi-Ventricles and Myocardium Using 3D SERes-U-Net.- Fingerprint Classification based on the Henry System via ResNet.- Segmentation of significant regions in retinal images: perspective of U-Net network through a comparative approach.- Presenting a system to aid on the scintigraphy bone metastasis analysis using DICOM files.- Viewpoint selection for fibrous structures in a pre-operative context: application to cranial nerves surrounding skull base tumors.- Gait Recognition with DensePose Energy Images.- Adaptive IIR Filtering for System Identification applying the method by Nelder and Mead.- Event-based Looming Objects Detection.- Moment Transform-Based Compressive Sensing in Image Processing.-Classification of Toxic Ornamental Plants for Domestic Animals using CNN.- Deep learning-based detection of seedling development from indoor to outdoor.- Banana Ripening Classification using Computer Vision: Preliminary Results.- Energy Reconstruction Techniques in TileCal under High Pile-up Conditions Fast Algorithm for Dyslexia Detection.- Automatic recognition of Native advertisements for the Slovak language Document Filter for Writer Identification.- An Approach for BCI using Motor Imagery Based on Wavelet Transform and Convolutional Neural Network.- Advanced Scene Sensing for Virtual Teleconference Supervised Mixture Analysis and Source Detection from Multimodal Measurements.

Read more less

Book Synopsis.- FAA+RTS: Designing Fault-Aware Adaptive Real-Time Systems - From Specification to Execution..- Experimental Assessment and Biaffine Modeling of the Impact of Ambient Temperature on SoC Power Requirements..- EPIC-Q : Equivalent-Policy Invariant Comparison enhanced transfer Q learning for run-time SoC performance-power optimization..- Accelerating Depthwise Separable Convolutions on Ultra-Low-Power Devices..- It's all about PR - Smart Benchmarking AI Accelerators using Performance Representatives..- Travel Time-Based Task Mapping for NoC-Based DNN Accelerator..- HW-EPOLL: Hardware-Assisted User Space Event Notification for Epoll Syscall..- SIZALIZER: Multilevel Analysis Framework for Object Size Optimization..- SafeFloatZone: Identify Safe Domains for Elementary Functions..- Radar Object Detection on a Vector Processor using Sparse Convolutional Neural Networks..- Optimizing QAM Demodulation with NEON SIMD and Algorithmic Ap proximation Techniques..- A Novel Chaining-Based Indirect Addressing Mode in a Vertical Vector Processor..- AutoSync Framework for expressing Synchronization Intentions in Multi threaded Programs..- HyRPF: Hybrid RRAM Prototyping on FPGA..- GLoRia: An Energy-Efficient GPU-RRAM System Stack for Large Neural Networks..- Evaluating the Impact of Racetrack Memory Misalignment Faults on BNNs Performance..- NanoSoftController: A Minimal Soft Processor for System State Control in FPGA Systems.

Read more less

Book Synopsis.- Energy and Environment..- Study of the impact of solar pumping solutions on agricultural production in Senegal: the case of small farms in the Niayes area (Thiès region)..- Public Participation in Municipal Solid Waste Management: A Mobile Persuasive App..- A Risk-based Pedestrian Crossing Decision Model for Traffic Simulation in African Urban Traffic..- Modelling and optimization of the electrical parameters of an InxGa1-xN solar cell under dynamic frequency illumination..- Assessment of pavement damage caused by speed bumps along Nyanya - Jikwoyi road Abuja..- Analyzing water’s characteristics health impact with classification algorithms..- Information Technology..- A Optimizing coverage in a Wireless Sensor Network by selecting the best sensors..- Towards a Single-Sign-On authentication architecture based on OpenID Connect protocol and blockchain technology..- An experimental 5G Standalone testbed for rural connectivity..- An application of the Hough transform with convolutional neural networks to detect straight lines..- A Slotted Random Access algorithm for efficient transmission in White area: case of artisanal fishing in West Africa..- A New Delay History Predictor for Multi-skill Call Center..- Retrieving Data from Social Network Platforms: A State-of-art Review..- Strabismus Diagnosis and Angular Deviation Calculation Based on Artificial Intelligence Approaches: A Review..- Towards the implementation of a dynamic IDS for IoT: Anomaly detection in MQTT traffic..- ICT Enabler..- Straight-Line Recognition in a Virtual Hexagonal Grid using Hough Transform..- Predicting aflatoxin contamination rates in the white maize value chain..- The Impact of Agents Heterogeneous in Call Center Performance Measures..- Towards a mobile, intelligent, personalized and adaptive e learning system considering learners’ context in seminomadic and conflict zones..- Comparative study of machine learning models for the detection of abusive messages: case of Wolof-French codes mixing data..- Towards an ontology-based platform for integrating infectious disease simulation models..- AI-Based control approach of .SN Reserved Domain Names (aIDN.SN)..- Efficient combination of Deep Learning models for skin disease detection..- Agricultural and land management using AI: a case study of rice plot identification in Senegal..- Beqi: Revitalize the Senegalese Wolof Language with a Robust Spelling Corrector..- Important Predictors for Covid-19 Vaccine Hesitation...- Ensemble machine learning methods to predict oil production..- AI-powered Corn Disease classification using Deep Transfer Learning.

Read more less

Book SynopsisEdge Computing & Task Scheduling.- Latency Energy aware Heterogeneous Resource Allocation and Task Scheduling in Industrial Cloud Edge Computing.- Backpressure-based Federated Learning Model Scheduling in Edge Computing.- Minimizing the Age of Knowledge in Application-oriented Mobile Edge Computing System with DRL-based Scheduling.- Dependency-Aware Task Offloading in Dynamic Network Environment with D2D Collaboration.- Delay Minimization for Downlink PD-NOMA Transmission with Index Coding in Cache-Aided Wireless Networks.- Fast Adaptive Caching Algorithm for Mobile Edge Networks Based on Meta-Reinforcement Learning.- Delay- and Cost-Aware Dynamic Service Migration in Collaborative Satellite Computing.- Towards Efficient Scheduling in Large Clusters Leveraging the Small-World Network Model.- A Dynamic Prioritization Task Offloading Strategy with Delay Constraints.- Task Scheduling Strategy among Multiple Local Mobile Clouds in Pervasive Edge Computing.- A Task Scheduling Strategy Based on Computing-Aware and Multi-Agent Collaborative Services in Pervasive Edge Computing.- Collaborative Vehicular Edge Cloud Computing Task Offloading Optimization Scheme Based on Deep Reinforcement Learning.- Deep Learning and Application.- NL-ATD: Spatio-Temporal Few-Shot Learning via Attention Transfer and Denoising Model.- A GCN-based DRL Approach for task migration and resource allocation in Heterogeneous Edge-Cloud Environments.- A Multi-Document Summarization Method for Customer Feedback Based on Large Language Models.- KaRe: Towards Flexible and Effective Machine Unlearning with Knowledge Alignment and Repair.- SWGCNN-BiLSTM: A Method for Detecting Unknown Attack Traffic within Imbalanced Samples.- Two-stage workflow scheduling based on deep reinforcement learning.- GRASP-SLAM: Gmapping-augmented DRL for Active SLAM using Policy gradient.- WiLDID:Low-Collaboration WiFi-Based Person Identification Via A Lightweight Deep Neural Network.- Dialogue Summarization by Integrating Structural Features and Improving Factual Consistency through Post-Editing.- TransAware: An Automatic Parallel Method for Deep Learning Model Training with Global Model Structure Awareness.- A Reliability Enhancement Scheme for Distributed Cloud Service Systems Based on Deep Reinforcement Learning.- Contrastive Learning-Based Finger-Vein Recognition Using Frequency-Mixup Augmentation and Time-Frequency Feature Fusion.- BACE-RUL: A Bi-directional Adversarial Network with Covariate Encoding for Machine Remaining Useful Life Prediction.

Read more less

Book SynopsisBlockchain Application.- Enabling Authenticated Query Services on Multi-Dimensional Data in Collaborative Blockchain.- ORIC-Shard: A Scalable Blockchain Network with Sharding.- A blockchain-based approach to precise accountable resource sharing.- On and Off-chain Load Balancing Model Based on Stackelberg Game.- Security and Privacy Protection.- A Large-Scale Pretrained Model for Malicious URL Detection.- CCAuth: Elevating Privacy and Security Elegance in a Continuous Covert Authentication Dance.- svRDMA: Securing an RDMA Network in Virtualization Environments.- S-TSG: Description Model of Transient Execution Attacks in Intel SGX.- FRBFT: A BFT Consensus Protocol Supporting Fault Removal for Industrial Internet of Things.- Representation learning & Collaborative Working.- KAN-PPO: A Fast Convergence and Stable Proximal Policy Optimization Powered by Kolmogorov–Arnold Network.- ComplexAgents: Complex Code Generation Framework Based on Multi-Agents and Large Language Model.- Enhancing Molecular Property Prediction with Dual-Level Representation Learning.- Multi-Level Representation Learning with Neural Hawkes Process for Information Diffusion Prediction.- IoT-ILDI: Incremental Learning for Device Identification in IoT.- Worker-Quality Adaptive Task Assignment in Collaborative Crowdsourcing.- Towards Efficient Collaborative Data Transmission in JointCloud: A Dynamic Chunking Mechanism.- Critical Nodes Detection for Wireless Sensor Networks Based on Multi-Objective Optimization.- A Two-step Data Augmentation Method for Cross-lingual Sentiment Classification.- Load Balance Oriented Incentive Algorithm for Collaborative Scheduling on Intra-vehicle and Inter-vehicle.- An Enhanced STAR-RIS Air-Space Integrated Network with Collaborative Task Offloading.- A QoS-guaranteed Load Balance Scheme for Data Center Networks.

Read more less

Book SynopsisGraph neural networks & Recommendation systems.- Time-aware Recommendations with Motif-Enhanced Graph Learning.- Spatial-Temporal Graph Attention Networks Based on Novel Adjacency Matrix For Weather Forecasting.- Repository-Level Code Generation Method Enhanced by Context-Dependent Graph Retrieval.- DGSR: Dual-Graph Sequential Recommendation with Gated and Heterogeneous GNNs.- Disentanglement-enhanced User Representation via Domain-level Clusters for Cross-Domain Recommendation.- Adaptive Web API Recommendation via Matching Service Clusters and Mashup Requirement.- Multi-channel Heterogeneous Graph Transformer based Unsupervised Anomaly Detection Model for IoT Time Series.- CBR-FIF: A Novel Dynamic Graph Node Embedding Computation Framework.- KG-ASI: A Knowledge Graph Enhanced Model-based Retriever for Document Retrieval.- Federated Learning and application.- Free-rider Attack Based on Data-free Knowledge Distillation in Federated Learning.- Client-Oriented Energy Optimization in Clustered Federated Learning with Model Partition.- FedUDA: Towards a Novel Unfairness Distribution Attack against Federated Learning Models.- Mal-GAT: A Method to Enhance Malware Traffic Detection with Graph Attention Networks.- A Federated Learning Framework with Blockchain and Cache Pools for Unreliable Devices in a Cloud-Edge-End Environment.- Model Similarity based Clustering Federated Learning in Edge Computing.- A Privacy-Preserving Edge Caching Algorithm Based on Permissioned Blockchain and Federated Reinforcement Learning.

Read more less

Book Synopsis.- Time-Distributed Backdoor Attacks on Federated Spiking Learning..- TATA: Benchmark NIDS Test Sets Assessment and Targeted Augmentation..- Abuse-Resistant Evaluation of AI-as-a-Service via Function-Hiding Homomorphic Signatures..- PriSM: A Privacy-friendly Support vector Machine..- Towards Context-Aware Log Anomaly Detection Using Fine-Tuned Large Language Models..- PROTEAN: Federated Intrusion Detection in Non-IID Environments through Prototype-Based Knowledge Sharing..- KeTS: Kernel-based Trust Segmentation against Model Poisoning Attacks..- Machine Learning Vulnerabilities in 6G: Adversarial Attacks and Their Impact on Channel Gain Prediction and Resource Allocation in UC-CF-mMIMO..- FuncVul: An Effective Function Level Vulnerability Detection Model using LLM and Code Chunk..- LUMIA: Linear probing for Unimodal and MultiModal Membership Inference Attacks leveraging internal LLM states..- Membership Privacy Evaluation in Deep Spiking Neural Networks..- DUMB and DUMBer: Is Adversarial Training Worth It in the Real World?..- Countering Jailbreak Attacks with Two-Axis Pre-Detection and Conditional Warning Wrappers..- How Dataset Diversity Affects Generalization in ML-based NIDS..- Llama-based source code vulnerability detection: Prompt engineering vs Finetuning. .- DBBA: Diffusion-based Backdoor Attacks on Open-set Face Recognition Models..- Evaluation of Autonomous Intrusion Response Agents In Adversarial and Normal Scenarios..- Trigger-Based Fragile Model Watermarking for Image Transformation Networks..- Let the Noise Speak: Harnessing Noise for a Unified Defense Against Adversarial and Backdoor Attacks..- On the Adversarial Robustness of Graph Neural Networks with Graph Reduction..- SecureT2I: No More Unauthorized Manipulation on AI Generated Images from Prompts..- GANSec: Enhancing Supervised Wireless Anomaly Detection Robustness through Tailored Conditional GAN Augmentation..- Fine-Grained Data Poisoning Attack to Local Differential Privacy Protocols for Key-Value Data..- The DCR Delusion: Measuring the Privacy Risk of Synthetic Data..- StructTransform: A Scalable Attack Surface for Safety-Aligned Large Language Models.

Read more less

Book SynopsisWritten with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The textbook also presents a logical approach to engineering correct software. Verification exercises are given to develop the reader's facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems. The final chapter outlines courses of further study.Trade Review"...this book, which addresses the verification of sequential programs, exhibits all the features of a field that has finally fully matured. The material is substantial; it is organized very thoughtfully; the writing is concise but simple, easy to follow, and illustrated with ample examples... Overall, this book is very well written, thoughtfully constructed, and substantive yet accessible. It is bound to become a standard textbook in program verification." (Fatma Mill, ACM Computing Reviews, August 2008)Table of ContentsFoundations.- Propositional Logic.- First-Order Logic.- First-Order Theories.- Induction.- Program Correctness: Mechanics.- Program Correctness: Strategies.- Algorithmic Reasoning.- Quantified Linear Arithmetic.- Quantifier-Free Linear Arithmetic.- Quantifier-Free Equality and Data Structures.- Combining Decision Procedures.- Arrays.- Invariant Generation.- Further Reading.

Read more less

Book SynopsisDas Internet bietet Unternehmen und Kunden ganz neue Kommunikationsmöglichkeiten. Via Corporate-Website der Unternehmen können sich Kunden 24 Stunden am Tag mit Informationen über das Unternehmen versorgen. Dies ermöglicht Unternehmen direkten Einfluss auf ihre Kunden auszuüben und gleichzeitig umfangreiche Informationen über diese zu sammeln. Auf der anderen Seite belastet der Anspruch der permanenten Verfügbarkeit zur Gewährleistung eines optimalen Kundenservices das Kundenservice-Potential der Unternehmen. Chatbots entlasten Call-Center und Customer-Support-Abteilungen, da sie bereits 80 % der gestellten Fragen direkt via Website beantworten können. Sie sind 24 Stunden am Tag verfügbar, Kosten werden reduziert. Ferner wird den Benutzern der Umgang mit der Website erleichtert. Die automatisch dokumentierten Unterhaltungen liefern zudem konkrete Einblicke in den tatsächlichen Informationsbedarf der Kunden.Table of Contents1 Einleitung.- 1.1 Zustandsbeschreibung.- 1.2 Problembeschreibung.- 1.3 Problemanalyse.- 1.3.1 Sprachproblematik.- 1.3.2 Divergenz der Bedürfnisse.- 1.3.3 Komplexität verteilter Systeme.- 1.4 Lösungsansatz.- 1.5 Abgrenzung des Themas.- 1.6 Vorgehen.- 2 Grundlagen.- 2.1 Begriffsabgrenzung.- 2.1.1 User Interface.- 2.1.2 Usability.- 2.1.3 Agenten.- 2.1.4 Chatbot.- 2.1.5 Künstliche Intelligenz.- 2.2 Historische Entwicklung.- 2.2.1 Aufweichung der Grenze Mensch-Maschine.- 2.2.2 Human-Computer Interaction (HCI).- 2.2.3 Entwicklung von Chatbots.- 2.2.4 Chatbots im Zentrum der Kritik.- 2.3 Warum Chatbots?.- 2.3.1 Interaktion in natürlicher Sprache.- 2.3.2 Aktive Gesprächsführung.- 2.3.3 Informationsstrukturierung.- 2.3.4 Realisierung von Einsparungspotenzialen.- 2.3.5 Gewinnung von Kundeninformationen.- 2.3.6 Gesteigerte Zugänglichkeit.- 2.4 Formen von Chatbots.- 2.4.1 Verständnisebenen von Chatbots.- 2.4.2 Beispiele.- 3 Gestaltungsgrundsätze.- 3.1 Implikationen adaptiver Funktionalität.- 3.2 Natürliche Sprache.- 3.3 Repräsentierung.- 3.3.1 Tool oder Team?.- 3.3.2 Höflichkeit.- 3.3.3 Komplimente.- 3.3.4 Form der Repräsentierung.- 3.3.5 Persönlichkeit.- 3.3.6 Spezialisten.- 3.3.7 Geschlechts-Stereotypen.- 3.3.8 Verwendung von Stimmen / Personifizierung.- 3.3.9 Bewegung.- 3.3.10 Synchronismus.- 3.4 Glaubhaftigkeit und Vertrauenswürdigkeit.- 3.5 Konzeptionelle Implementierungsrichtlinien.- 3.5.1 Klare Kommunikation.- 3.5.2 Anreize schaffen.- 3.5.3 Konsistenten Multichannel-Kontakt ermöglichen / Integration.- 3.5.4 Kontinuierliche Weiterentwicklung.- 4 Evaluation.- 4.1 Moralische Einwände.- 4.1.1 Evaluation der Kritik.- 4.1.2 Folgerungen.- 4.2 Verständnisproblematik: Kontext und Gesunder Menschenverstand.- 4.2.1 Evaluation der Kritik.- 4.2.2 Folgerungen.- 4.3 Personifizierte Interfaces.- 4.3.1 Evaluation der Kritik.- 4.3.2 Folgerungen.- 4.4 Ineffizienz indirekter Manipulation.- 4.4.1 Evaluation der Kritik.- 4.4.2 Folgerungen.- 4.5 Erkenntnisse aus dem Praxiseinsatz.- 4.5.1 Coca-Cola.- 4.5.2 Defense Logistics Information Service.- 4.5.3 Deutsche Direktbank.- 4.5.4 Deutscher Getränkefabrikant.- 4.5.5 Direkt Anlage Bank.- 4.5.6 Ford.- 4.5.7 Hannoversche Lebensversicherung.- 4.5.8 Interact Commerce.- 4.5.9 Net-tissimo.com.- 4.5.10 One2One.- 4.5.11 Pioneer Investment.- 4.5.12 Schwäbisch-Hall.- 4.5.13 Zusammenfassung.- 5 Anwendungsszenarien.- 6 Ausblick.- 7 Anhang.- 7.1 Übersicht: Anbieter, Anwender, Forschungsgebiete.- 7.2 Interviews.- 7.2.1 Coca-Cola.- 7.2.2 Defense Logistics Information Service.- 7.2.3 Deutsche Direktbank.- 7.2.4 Deutscher Getränkefabrikant.- 7.2.5 Direkt Anlage Bank.- 7.2.6 Hannoversche Lebensversicherung.- 7.2.7 Net-tissimo.com.- 7.2.8 Pioneer Investment.- 7.2.9 Schwäbisch-Hall.- 7.3 AIML-Spezifikation.- 7.3.1 Grundaufbau AIML.- 7.3.2 Reduktion.- 7.3.3 SRAI.- 7.3.4 Lernen (Think).- 7.3.5 Variablen.- 7.3.6 Eigenschaften (Predicates).- 7.3.7 Scripts.- Literatur.

Read more less