Systems analysis and design Books

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