Systems analysis and design Books

Book SynopsisThis book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.The 20 full and the 4 short workshop papers presented were carefully reviewed and selected from 61 submissions. The papers are organized according to the workshops: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.Table of ContentsmoDeling, vErification and Testing of dEpendable CriTical systems (DETECT).- Symposium on Intelligent and Autonomous Systems (SIAS).- Control Software : Methods, Models, and Languages (CSMML).- Blockchain for Inter-Organizational Collaboration (BIOC).- The International Health Data Workshop (HEDA).

Read more less

Book SynopsisThis book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).The 10 revised full papers presented were carefully reviewed and selected from 17 submissions. In addition to this, one keynote paper was included in the workshop. The volume contains two sections: Open Scheduling Problems and Proposals and Technical Papers. The papers cover such topics as parallel computing, distributed systems, workload modeling, performance optimization, and others.Table of ContentsKeynote.- ​Resampling with Feedback: A New Paradigm of Using Workload Data for Performance Evaluation.- Open Scheduling Problems and Proposals.- Collection of Job Scheduling Prediction Methods.- Modular Workload Format: extending SWF for modular systems.- Technical Papers.- Measurement and Modeling of Performance of HPC Applications towards Overcommitting Scheduling Systems.- Scheduling Microservice Containers on Large Core Machines through Placement and Coalescing.- Learning-based Approaches to Estimate Job Wait Time in HTC Datacenters.- A HPC Co-Scheduler with Reinforcement Learning.- Performance-Cost Optimization of Moldable Scientific Workflows.- Temperature-Aware Energy-Optimal Scheduling of Moldable Streaming Tasks onto 2D-Mesh-Based Many-Core CPUs with DVFS.- Scheduling Challenges for Variable Capacity Resources.- GLUME: A Strategy for Reducing Workflow Execution Times on Batch-Scheduled Platforms.

Read more less

Book SynopsisThis book constitutes the post-conference proceedings of the 2nd International Conference on Modern Problems of Robotics, MPoR 2020, held in Moscow, Russia, in March 2020.The 16 revised full papers were carefully reviewed and selected from 21 submissions. The volume includes the following topical sections: Collaborative Robotic Systems, Robotic Systems Design and Simulation, and Robots Control. The papers are devoted to the most interesting today’s investigations in Robotics, such as the problems of the human–robot interaction, the problems of robot design and simulation, and the problems of robot and robotic complexes control. Table of ContentsCollaborative Robotic Systems.- Robotic Systems Design and Simulation.- Robots Control.

Read more less

Book SynopsisThe volume LNAI 13054 constitutes the refereed proceedings of the 22th Annual Conference Towards Autonomous Robotic Systems, TAROS 2021, held in Lincoln, UK, in September 2021.*The 45 full papers were carefully reviewed and selected from 66 submissions. Organized in the topical sections "Algorithms" and "Systems", they discuss significant findings and advances in the following areas: artificial intelligence; mechatronics; image processing and computer vision; special purpose and application-based systems; user interfaces and human computer interaction.* The conference was held virtually due to the COVID-19 pandemic.Table of Contents​Algorithms.- A Study on Dense and Sparse (Visual) Rewards in Robot Policy Learning.- An Open-Source Multi-Goal Reinforcement Learning Environment for Robotic Manipulation with Pybullet.- CPG-Actor: Reinforcement Learning for Central Pattern Generators .- Deep semantic segmentation of 3D plant point clouds.- Grasp Stability Prediction for a Dexterous Robotic Hand combining RGB-D Vision and Haptic Bayesian Exploration.- Improving SLAM in Pipe Networks by Leveraging Cylindrical Regularity.- CRH*: A Deadlock Free Framework for Scalable Prioritised Path Planning in Multi-Robot Systems.- TASK-BASED AD-HOC TEAMWORK with ADVERSARY.- Human-Robot Cooperative Lifting using IMUs and Human Gestures.- Reinforcement Learning-based Mapless Navigation with Fail-safe Localisation.- Collaborative Coverage for a Network of Vacuum Cleaner Robots.- Network-Aware Genetic Algorithms for the Coordination of MALE UAV Networks.- Self-organised Flocking of Robotic Swarm in Cluttered Environments.- Exploring Feedback Modalities in a Mobile Robot for Telecare.- Demonstrating the Differential Impact of Flock Heterogeneity on Multi-Agent Herding.- Evaluation of an OpenCV Implementation of Structure from Motion on Open Source Data.- Benchmark of visual and 3D lidar SLAM systems in simulation environment for vineyards.- Lidar-only localization in 3D Pose-Feature Map.- Toward robust visual odometry using prior 2D map information.- Comparison of Concentrated and Distributed Compliant Elements in a 3D Printed Gripper.- Perception of a humanoid robot as an interface for auditory testing.- Deep Learning Traversability Estimator for Mobile Robots in Unstructured Environments.- Systems.- Predicting Artist Drawing Activity via Multi-Camera Inputs for Co-Creative Drawing.- 3D printed mechanically modular two-degree-of-freedom robotic segment utilizing variable-stiffness actuators.- Design of a Multimaterial 3D-printed Soft Actuator with Bi-directional Variable Stiffness.- Designing a Multi-Locomotion Modular Snake Robot.- Deep robot path planning from demonstrations for breast cancer examination.- Priors inspired by Speed-Accuracy Trade-Offs for Incremental Learning of Probabilistic Movement Primitives.- Tactile Dynamic Behaviour Prediction Based on Robot Action.- State space analysis of variable-stiffness tendon drive with non-back-drivable worm-gear motor actuation.- Development of a ROS Driver and Support Stack for the KMR iiwa Mobile Manipulator.- Collision Avoidance with Optimal Path Replanning for Mobile Robots.- An Autonomous Mapping Approach for Confined Spaces using Flying Robots.- Maximising availability of transportation robots through intelligent allocation of parking spaces.- A Minimalist Solution to the Multi-Robot Barrier Coverage Problem.- Scheduling Multi-robot Missions with JointTasks and Heterogeneous Robot Teams.- Area Coverage in Two-Dimensional Grid Worlds Using Computation-Free Agents.- Online Scene Visibility Estimation as a Complement to SLAM in UAVs.- Statics Optimization of a Hexapedal Robot Modelled as a Stewart Platform.- EtherCAT implementation of a variable-stiffness tendon drive with non-back-drivable worm-gear motor actuation.- Growing Robotic Endoscope for early Breast Cancer Detection: Robot Motion Control.- Design and Charachterisation of a Variable-Stiffness Soft Actuator Based on Tendon Twisting.- WhiskEye: A biomimetic model of multisensoryspatial memory based on sensory reconstruction.- Equipment Detection based Inspection Robot for Industrial Plants.- Inference of Mechanical Properties of Dynamic Objects through Active Perception.

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 SynopsisThis book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022. The 6 full and 2 short papers presented in this volume were carefully reviewed and selected from 17 submissions. Table of ContentsInvited Talk.- Sniffbots to the Rescue – Fog Services for a Gas-Sniffng Immersive Robot Collective.-Support for Cloud Applications Dynamic Threshold Setting for VM Migration.- Secure Partitioning of Composite Cloud Applications.- A Decentralized Service Control framework for Decentralized Applications in Cloud Environments.- Service Design and Development.- A Systematic Comparison of IoT Middleware.- Pattern-Based Resolution of Integration Mismatches in Enterprise Applications.- Towards a Quality Model for Cloud-native Applications.- Serverless.- Upilio: Leveraging the Serverless Paradigm for Building a Versatile IoT Application.- MAAF: Self-Adaptive Memory Optimization for Serverless Functions.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 22nd International Conference on Innovations for Community Services, I4CS 2022, held in Delft, The Netherlands, in June 2022. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 43 submissions. Three invited papers were also included in the volume. The papers focus on topics such as services for critical infrastructure; network architecture for communities; applications and services supporting work and life; community data and visualization; technology empowers industry processes; and future community support.Table of ContentsInvited Papers.- Energy Harvesting and Environment Protection.- Applied Security and Privacy.- eHealth and Infrastructure.- Smart Mobility and Routing.- Smart Cities and Standardization.- Applied Machine Learning.- Quantum Computing.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the Third Latin American Workshop, LAWCN 2021, held in Sao Luis do Maranhao, Brazil, during December 8–10, 2021.The 13 full papers and 3 short papers included in this book were carefully reviewed and selected from 27 submissions. They were organized in topical sections as follows: Interdisciplinary applications of Artificial Intelligence (AI) and Machine Learning (ML); AI and ML applied to robotics; AI and ML applied to biomedical sciences; Health issues and computational neuroscience; Software and hardware implementations in neuroscience; and Neuroengineering – science and technology.Table of ContentsInterdisciplinary applications of Artificial Intelligence (AI) and Machine Learning (ML).- Semantic segmentation of the cultivated area of plantations with U-net.- Use and Interpretation of Item Response Theory applied to Machine Learning.- AI and ML applied to robotics.- Towards Loop Closure Detection for SLAM Applications using Bag of Visual Features: Experiments and Simulation.- Loss Function Regularisation on the Iterated Racing Procedure for Automatic Tuning of RatSLAM Parameters.- Controlling the UR3 robotic arm using a leap motion: a comparative study.- AI and ML applied to biomedical sciences.- Web service based epileptic seizure detection by applying machine learning techniques.- Health issues and computational neuroscience.- Machine Learning Search of Novel Selective NaV1.2 and NaV1.6 Inhibitors as Potential Treatment against Dravet Syndrome.- Implementation of intra and extracellular nonperiodic scale-free stimulation in silico for the NEURON simulator.- In silico investigation of the effects of distinct temporal patterns of electrical stimulation to the amygdala using a network of Izhikevich neurons.- Software and hardware implementations in neuroscience.- Brain connectivity measures in EEG-based biometry for epilepsy patients.- A multiplatform output stage for the development of current-fixed electrical stimulators applied to neural electrophysiology.- Neuroengineering – science and technology.- Physiological self-regulation using biofeedback training: from concept to clinical applicability.- Movement-Related Electroencephalography in Stroke Patients across a Brain-Computer Interface-based Intervention.- Electrophysiological Correlates of Freeze of Gait in Parkinson Disease: Increased STN-LFP Alpha Power and the Possible Role of Attentional Circuits.- Effect of hand dominance when decoding motor imagery grasping tasks within the same hand.- Kinematic responses as a control strategy to visual occlusion.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Virtual Event, July 6–8, 2021. The conference was held virtually due to the COVID-19 crisis.The 10 full papers included in this book were carefully reviewed and selected from 117 submissions.Table of ContentsLinked Data as Medium for Stigmergy-based Optimization and Coordination.- Object Parsing Expressions for Unplanned, Unmodified, and Incremental Grammar Reuse.- A Methodology for Organizational Data Science towards Evidence-based Process Improvement.- Feedback Generation for Automatic User Interface Design Evaluation.- Tales from the Code #2: A Detailed Assessment of Code Refactoring's Impact on Energy Consumption.- Towards Power Consumption Optimization for Embedded Systems from a Model-driven Software Development Perspective.- Materializing Microservice-oriented Architecture from Monolithic Object-oriented Source Code.- A Personalized Code Formatter: Detection & Fixing.- Software Framework of Context-aware Reconfigurable Secure Smart Grids.- A Novel Neural Network-based Malware Severity Classification System.

Read more less

Book SynopsisThis book constitutes the proceedings of the 22st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2022 in Samos, Greece. The 21 full papers presented in this volume were carefully reviewed and selected from 44 submissions. The papers are organized in topics as follows: High level synthesis; memory systems; processor architecture; embedded software systems and beyond; deep learning optimization; extra-functional property estimation; innovative architectures and tools for security; european research projects on digital systems, services, and platforms.Table of ContentsHigh Level Synthesis.- High-Level Synthesis of Digital Circuits from Template Haskell and SDF-AP 1 H. H. .- Implementing Synthetic Aperture Radar Backprojection in Chisel – A Field Report.- EasyHBM: Simple and Fast HBM Access for FPGAs using High-Level Synthesis.- Memory Systems.- TREAM: A Tool for Evaluating Error Resilience of Tree-based Models using Approximate Memory.- Split’n’Cover: ISO 26262 Hardware Safety Analysis with SystemC.- Tagged Geometric History Length Access Interval Prediction for Tightly Coupled Memory Systems.- Processor Architecture.- NanoController: A Minimal and Flexible Processor Architecture for UltraLow-Power.- ControlPULP: A RISC-V Power Controller for HPC Processors with Parallel Control-Law Computation Acceleration.- Embedded Software Systems and beyond.- CASA: An Approach for exposing and documenting Concurrency-related Software Properties.- High-Level Simulation of Embedded Software Vulnerabilities to EM SideChannel Attacks.- Deep Learning Optimization I.- A Design Space Exploration Methodology for Enabling Tensor Train Decomposition in Edge Devices.- Study of DNN-based Ragweed Detection from Drones.- PULP-TrainLib: Enabling On-Device Training for RISC-V Multi-Core MCUs through Performance-Driven Autotuning.- Extra-functional Property Estimation.- The Impact of Dynamic Storage Allocation on CPython Execution Time, Memory Footprint and Energy Consumption: An Empirical Study.- Application runtime estimation for AURIX embedded MCU using deep learning.- A Hybrid Performance Prediction Approach for Fully-Connected Artificial Neural Networks on Multi-Core Platforms.- Deep Learning Optimization I.- A Smart HW-Accelerator for Non-Uniform Linear Interpolation of MLActivation Functions.- Hardware-Aware Evolutionary Filter Pruning.- Innovative Architectures and tools for Security.- Obfuscating the Hierarchy of a Digital IP.- On the effectiveness of true random number generators implemented on FPGAs.- Power and Energy.- SIDAM: A Design Space Exploration Framework for Multi-Sensor Embedded Systems Powered by Energy Harvesting.- A Data-Driven Approach to Lightweight DVFS-Aware Counter-Based Power Modeling for Heterogeneous Platforms.

Read more less

Book SynopsisThis four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.Table of ContentsDigital Twin Engineering.- Digital Thread in Smart Manufacturing.- Formal Methods for DIStributed COmputing in Future RAILway Systems.- Industrial Day.

Read more less

Book SynopsisThis book constitutes the proceedings of the 35th International Conference on Architecture of Computing Systems, ARCS 2022, held virtually in July 2022. The 18 full papers in this volume were carefully reviewed and selected from 35 submissions. ARCS provides a platform covering newly emerging and cross-cutting topics, such as autonomous and ubiquitous systems, reconfigurable computing and acceleration, neural networks and artificial intelligence. The selected papers cover a variety of topics from the ARCS core domains, including energy efficiency, applied machine learning, hardware and software system security, reliable and fault-tolerant systems and organic computing.Table of ContentsEnergy Efficiency.- Energy Efficient Frequency Scaling on GPUs in Heterogeneous HPC Systems.- Dual-IS: Instruction Set Modality for Efficient Instruction Level Parallelism.- Pasithea-1: An Energy-Efficient Self-Contained CGRA With RISC-Like ISA.- Applied Machine Learning.- Orchestrated Co-Scheduling, Resource Partitioning, and Power Capping on CPU-GPU Heterogeneous Systems via Machine Learning.- FPGA-based Dynamic Deep Learning Acceleration for Real-time Video Analytics.- Advanced Computing Techniques.- Effects of Approximate Computing on Workload Characteristics.- QPU-System Co-Design for Quantum HPC Accelerators.- Hardware and Software System Security.- Protected Functions: User Space Privileged Function Calls.- Using Look Up Table Content as Signatures to Identify IP Cores in Modern FPGAs.- Hardware Isolation Support for Low-Cost SoC-FPGAs.- Reliable and Fault-tolerant systems.- Memristor based FPGAs: Understanding the Effect of Configuration Memory Faults.- On the Reliability of Real-time Operating System on Embedded Soft Processor for Space Applications.- Special Track: Organic Computing.- NDNET: a Unified Framework for Anomaly and Novelty Detection.- Organic Computing to Improve the Dependability of an Automotive Environment.- A context aware and self-improving monitoring system for field vegetables.- Semi-Model-Based Reinforcement Learning in Organic Computing Systems.- Deep Reinforcement Learning with a Classifier System – First Steps.- GAE-LCT: A run-time GA-based Classifier Evolution Method for Hardware LCT controlled SoC Performance-Power Optimization.

Read more less

Book SynopsisThis volume contains the technical papers presented in the workshops, which took place at the 9th European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022.The 4 full papers and 7 short papers included in these proceedings were carefully reviewed and selected from 17 submissions. The workshop proceedings volume of ESOCC 2022 contains contributions from the following workshops and events:First International Workshop on AI for Web Application Infrastructure and Cloud Platform Security (AWACS 2022)PhD Symposium of ESOCC 2022ESOCC 2022 Projects TrackESOCC 2022 Industrial TrackTable of ContentsFirst International Workshop on AI for Web Application Infrastructure and Cloud Platform Security (AWACS 2022).- Towards a Metadata Management System for provenance, reproducibility and accountability in Federated Machine Learning.- Towards a Secure Peer-to-Peer Federated Learning Framework.- MIDA: Micro-Flow Independent Detection of DDoS Attacks with CNNs.- ESOCC 2022 PhD Symposium.- Improving the Key Exchange Process of the eXtended Triple Diffie-Hellman Protocol with Blockchain.- Towards Data Governance for Federated Machine Learning.- ESOCC 2022 Projects Track.- QuickFaaS: Providing Portability and Interoperability between FaaS Platforms.- Cloud Computing Continuum research topics and challenges. A multi-source analysis.- Developing a New DevOps Modelling Language to Support the Creation of Infrastructure as Code.- Urban Heat Island Detection Utilizing Citizen Science.- Using a multi-sourced methodology to identify challenges in Software Technologies research.- ESOCC 2022 Industrial Track.- Rethinking Monitoring for Cloud Environments: BMC Software AIOps Case Study.

Read more less

Book SynopsisThis book, AICON 2022, constitutes the post-conference proceedings of the 4th EAI International Conference on Artificial Intelligence for Communications and Networks, AICON 2022, held in Hiroshima, Japan, in November 30- December 1, 2022. The 9 full papers and 4 short papers were carefully reviewed and selected from 36 submissions. The papers detail research in the areas of AI and communication systems related to intelligent systems and computational intelligence for communication and networks. They are organized in topical sections on AI and networks; machine learning; and evolutionary computation.Table of ContentsAI and Networks.- Cost-aware Node Ranking Algorithm for Embedding Virtual Networks in Internet of Vehicles.- Fault Diameter of Strong Product Graph of Two Paths.- Design and Implementation of SF Selection Based on Distance and SNR using Autonomous Distributed Reinforcement Learning in LoRa Networks.- Machine Learning.- QBRT: Bias and Rising Threshold Algorithm with Q-Learning.- A Study on Effectiveness of BERT Models and Task[1]Conditioned Reasoning Strategy for Medical Visual Question Answering.- Inspired human cognitive bias robust Neural Networks against Adversarial attacks.- Efficient estimation of cows’ location using machine learning from sensor data, farm management, cow location.- A Time Series Forecasting Method using DBN and Adam Optimization.- Unity-Bounded Function and Benchmark Design Specifications Targeted for Designing Typical Variable Digital Filters.- Evolutionary Computation.- Proposal and evaluation of a course classification support system emphasizing communication with the sub-committees within the Committee of Validation and Examination for Degrees.- A Research of Infectivity Rate of Seasonal Influenza from Pre-Infectious person for Data Driven Simulation Saori Iwanaga.- Creating Trust within Population in an Uncertain Environment using Blockchain.- Efficient Inductive Logic Programming Based on Particle Swarm Optimization.

Read more less

Book SynopsisThis book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification. .Table of ContentsModel Checking & Markov Decision Process.- Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph.- An Approach of Transforming Non-Markovian Reward to Markovian Reward.- A JPSL based Model Checking Approach for Java Programs.- Model Analysis & Tool Implementation.- Implementation of Matlab matfun Toolkit Based on MSVL.- Extending Visibly Pushdown Automata over Multi-matching Nested Relations.- Schedulability analysis of rate-monotonic algorithm on concurrent execution of digraph real-time tasks.- Formal Specification & Testing.- Formalization of natural language into PPTL specification via neural machine translation.- Testing Program Segments to Detect Runtime Exceptions in Java.- Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing.- Algorithms & Verification.- Testing and Verifying the security of COVID-19 CT Images Deep Learning System with Adversarial Attack.- Verifying and improving neural networks using testing-based formal verification.- Alternating Projection Temporal Epistemic Logic.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 13th International Conference on Algorithms and Complexity, CIAC 2023, which took place in Larnaca, Cyprus, during June 13–16, 2023. The 25 full papers included in this book were carefully reviewed and selected from 49 submissions. They cover all important areas of research on algorithms and complexity such as algorithm design and analysis; sequential, parallel and distributed algorithms; data structures; computational and structural complexity; lower bounds and limitations of algorithms; randomized and approximation algorithms; parameterized algorithms and parameterized complexity classes; smoothed analysis of algorithms; alternatives to the worst-case analysis of algorithms (e.g., algorithms with predictions), on-line computation and competitive analysis, streaming algorithms, quantum algorithms and complexity, algorithms in algebra, geometry, number theory and combinatorics, computational geometry, algorithmic game theory and mechanism design, algorithmic economics (including auctions and contests), computational learning theory, computational biology and bioinformatics, algorithmic issues in communication networks, algorithms for discrete optimization (including convex optimization) and algorithm engineering.Table of ContentsUnifying Gathering Strategies for Swarms of Mobile Robots.- The Complexity of Secure RAMs.- Selected Combinatorial Problems Through the Prism of Random Intersection Graphs Models.- The power of the Binary Value Principle.- Independent Set under a Change Constraint from an Initial Solution.- Asynchronous Fully-Decentralized SGD in the Cluster-Based Model.- Non-Crossing Shortest Paths Lengths in Planar Graphs in Linear Time.- How Vulnerable is an Undirected Planar Graph with respect to Max Flow.- Maximum Flows in Parametric Graph Templates.- Dynamic Coloring on Restricted Graph Classes.- Enumeration of Minimal Tropical Connected Sets.- Dynamic Flows with Time-Dependent Capacities.- On One-Sided Testing Affine Subspaces.- Stable Scheduling in Transactional Memory.- Parameterizing Path Partitions.- Maintaining Triconnected Components under Node Expansion.- Approximating Power Node-Deletion Problems.- Phase transition in count approximation by Count-Min sketch with conservative updates.- Minimum-link ´ $C$-Oriented Paths Visiting a Sequence of Regions in the Plane.- Grouped Domination Parameterized by Vertex Cover, Twin Cover, and Beyond.- Broadcasting in Split Graphs.- Partitioning Subclasses of Chordal Graphs with Few Deletions.- Complete Decomposition of Symmetric Tensors in Linear Time and Polylogarithmic Precision.- Improved Deterministic Leader Election in Diameter-Two Networks.- Fast Cauchy Sum Algorithms for Polynomial Zeros and Matrix Eigenvalues.- On the Parameterized Complexity of the Structure of Lineal Topologies (Depth-First Spanning Trees) of Finite Graphs: The Number of Leaves.- Efficiently Enumerating All Spanning Trees of a Plane 3-Tree.- Communication-Efficient Distributed Graph Clustering and Sparsification under Duplication Models.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 23rd International Conference on Innovations for Community Services, I4CS 2023, held in Bamberg, Germany, in September 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions. One invited talk in full-paper length is included in the volume. The papers focus on topics such as distributed architectures and frameworks for community services, advanced applications regarding digital communities on the move, new trends of socialization covering the ambient work and living of digital societies.Table of ContentsInformation Security.- Environmental Protection.- Text Analysis.- Quantum Computing.- Internet of Things.- Short Papers.

Read more less

Book SynopsisThe two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.The 44 full papers and 1 short paper presented in these proceedings were carefully reviewed and selected from 104 submissions. The papers have been organized in the following topical sections: supercomputer simulation; distributed computing; and HPC, BigData, AI: algorithms, technologies, evaluation.Table of Contents​Supercomputer Simulation: Application of HPC for Simulation of Sealant Influence on the Aircraft Assembly Process.- Block Algebraic Multigrid Method for Saddle-Point Problems of Various Physics.- Computational Efficiency of Iterative Methods for Solving Inverse Problems of Ultrasound Tomography.- Computer Memory Requirements for Matrix-Forming Approach to Global Stability Analysis of Fluid Flows.- CubicEoS.jl: Extensible, Open-Source Isothermal Phase Equilibrium Calculations for Fluids.- Efficiency and Accuracy of High-performance Calculations of the Electrostatic Energy of Thin Films Atomistic Clusters.- Field-Split Iterative Solver vs Direct One for Quasi-Static Biot Equation.- GPU-Accelerated Matrix Exponent for Solving 1D Time-Dependent Schrodinger Equation.- How to Make Lanczos-Montgomery Fast on Modern Supercomputers?.- Multi-Node GPU-Enabled Pseudo-Spectral Solver for Turbulence Problems.- Multicriteria Optimization of Chemical Reactions Using Interval Analysis. Parallel Scheme for Implementing the Computational Process.- Parallel Numerical Implementation 3D Wave Hydrodynamics and SWAN Models.- Parallel Numerical Simulation of Sonic Log for 3D Heterogeneous TTI Media.- Quantum-Chemical Study of Some Tris(pyrrolo)benzenes and Tris(pyrrolo)-1,3,5-triazines.- Reduced Precision Computations in the SL-AV Global Atmosphere Model.- Scalability of the INM RAS Earth System Model.- Simulation of Free-Surface Fluid Dynamics: Parallelization for GPUs.- Software Package USPARS for Large Sparse Systems of Linear Equations.- Supercomputer Search for Coagulation Factor XIIa Inhibitors in the Chinese National Compound Library.- Supercomputer Technologies for Ultrasound Nondestructive Imaging of Low-contrast Defects in Solids.- The Effect of Data Structuring on the Parallel Efficiency of the HydroBox3D Relativistic Code.- The Efficiency Optimization Study of a Geophysical Code on Manycore Computing Architectures.- Using Parallel Technologies to Calculate Fluid Dynamic Processes in a Fractured-Porous Reservoir Taking into Account Non-Isothermality.

Read more less

Book SynopsisThis 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics International Conference, CGI 2023, held in Shanghai, China, August 28 – September 1, 2023. The 149 papers in this set were carefully reviewed and selected from 385 submissions. They are organized in topical sections as follows: Detection and Recognition; Image Analysis and Processing; Image Restoration and Enhancement; Image Attention and Perception; Reconstruction; Rendering and Animation; Synthesis and Generation; Visual Analytics and Modeling; Graphics and AR/VR; Medical Imaging and Robotics; Theoretical Analysis; Image Analysis and Visualization in Advanced Medical Imaging Technology; Empowering Novel Geometric Algebra for Graphics and Engineering.Table of ContentsDetection and Recognition.- Image Analysis and Processing; Image Restoration and Enhancement; Image Attention and Perception.- Reconstruction; Rendering and Animation.- Synthesis and Generation.- Visual Analytics and Modeling; Graphics and AR/VR.- Medical Imaging and Robotics.- Theoretical Analysis; Image Analysis and Visualization in Advanced Medical Imaging Technology.- Empowering Novel Geometric Algebra for Graphics and Engineering.

Read more less

Book Synopsis.- Research Track..- OCCL-Former: Data Augmentation Driven Occlusion-Aware Inter-Body Parts Relationship Learning for 3D Pose Estimation..-Does Digital Transformation Affect the Financialization of Real Sector Firms?..-Insights Into the High-Quality Development of Agriculture Under the Wave of Digital Economy..- Application and Industry Track..- Empirical Study on User Acceptance and Optimization Strategies of AIGC News..- Enhancing Diamond Grading and Certification Through Blockchain Technology: A Cross-Chain Analysis of EVM-Compatible Platforms..- Framework and Taxonomy of Understanding Metaverse and a Case Study of AI-Driven and Digital Twin-Based Clothing Customization System..- Short Paper Track..- SRv6 Metaverse - Architecture for Virtual Worlds..- AI-Enabled Metaverse for Education: Challenges and Opportunities..- Research on the Application and Countermeasures of Metaverse Technolo

Read more less

Book SynopsisPart I Foundations.- 1 Benchmarking Basics.- 2 Review of Basic Probability and Statistics.- 3 Metrics.- 4 Statistical Measurements.- 5 Experimental Design.- 6 Measurement Techniques.- 7 Operational Analysis and Basic Queueing Models.- 8 Workloads.- 9 Standardization.- Part II Applications.- 10 CPU Benchmarks.- 11 Server Energy Efficiency Benchmarks.- 12 Virtualization Benchmarks.- 13 Storage Benchmarks.- 14 PC, Workstation, Graphics, and Network Benchmarks.- 15  Microservice Application Benchmarks.- 16 Machine Learning and Artificial Intelligence.- 17 Scalability of Networks and Systems.- 18 Elasticity of Cloud Platforms.- 19 Performance Isolation.- 20 Resource Demand Estimation.- 21 Software and System Security.

Read more less

Book Synopsis.- Boolean Networks..- Computation of immediate neighbours of monotone Boolean functions..- Three-State Gene Expression Model Parameterized for Single-Cell Multi-Omics Data..- On Model Reductions of Boolean Networks..- AEON 2025: Robust Control of Partially-Specified Boolean Networks (tool paper)..- Looking for Signs: Reasoning About FOBNNs Using SAT..- Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks..- Continuous and Hybrid models..- Efficient stochastic simulation of gene regulatory networks using hybrid models of transcriptional bursting..- Exploring Metastable Dynamics of Gene Regulatory Networks with ISOKANN..- Rule-based models..- Reachability Analysis for Parametric Rule-Based Models..- A rule-based modeling approach for studying animal collectives: a case study of juvenile honeybee thermotaxis..- A Formal Approach to Identify Structural Patterns in RNA..- Model inference and machine learning..- Kolmogorov-Arnold Network for Gene Regulatory Network Inference..- Optimal input design for model selection in systems with cell-to-cell variability..- Decoding Gene Regulation in Alzheimer’s disease with Transfer Learning and Explainable Machine Learning..- Influence Graphs of Phytoplankton Species Interactions using Logical Learning..- Evaluating PDE discovery methods for multiscale modeling of biological signals..- Optimizing Feature Extraction Methods using Class Similarity Ratio for EMG-based Hand Gesture Classification..- Population models and control..- Eukaryotic ancestry in a finite world..- Minimal metabolic exchanges for microbial communities in a chemostat at steady state..- Seed inference in interacting microbial communities using combinatorial optimization..- A model-free control strategy for selective disruption of parkinsonian brain oscillations.

Read more less

Book Synopsis

Read more less

Book SynopsisThis practically-focused reference presents a comprehensive overview of the state of the art in Cloud Computing, and examines the potential for future Cloud and Cloud-related technologies to address specific industrial and research challenges. This new edition explores both established and emergent principles, techniques, protocols and algorithms involved with the design, development, and management of Cloud-based systems. The text reviews a range of applications and methods for linking Clouds, undertaking data management and scientific data analysis, and addressing requirements both of data analysis and of management of large scale and complex systems. This new edition also extends into the emergent next generation of mobile telecommunications, relating network function virtualization and mobile edge Cloud Computing, as supports Smart Grids and Smart Cities. As with the first edition, emphasis is placed on the four quality-of-service cornerstones of efficiency, scalability, robustness, and security.Table of ContentsPart I: General Principles The Rise of Cloud Computing in the Era of Emerging Networked SocietyBhaskar Prasad Rimal and Ian Lumb Mirror, Mirror on the Wall, How Do I Dimension My Cloud After All?Rafaelli Coutinho, Yuri Frota, Kary Ocaña, Daniel de Oliveira and Lúcia Drummond A Taxonomy of Adaptive Resource Management Mechanisms in Virtual Machines: Recent Progress and ChallengesJosé Simão and Luís Veiga Part II: Science Cloud Exploring Cloud Elasticity in Scientific ApplicationsGuilherme Galante and Rodrigo Da Rosa Righi Clouds and Reproducibility: A Way to Go to Scientific Experiments?Ary Henrique Morais de Oliveira, Daniel de Oliveira and Marta Mattoso Big Data Analytics in Healthcare: A Cloud-Based Framework for Generating InsightsAshiq Anjum, Sanna Aizad, Bilal Arshad, Moeez Subhani, Dominic Davies-Tagg, Tariq Abdullah and Nick Antonopoulos Part III: Data Cloud Implementing MapReduce Applications in Dynamic Cloud EnvironmentsDomenico Talia, Paolo Trunfio and Fabrizio Marozzo High Performance Graph Data Management and Mining in Cloud Environments with X10Miyuru Dayarathna and Toyotaro Suzumura Part IV: Multi-Clouds Facilitating Cloud Federation Management via Data InteroperabilityVincent Chimaobi Emeakaroha, Philip Healy and John Morrison Applying Self-* Principles in Heterogeneous Cloud EnvironmentsIoan Dragan, Teodor-Florin Fortis, Gabriel Iuhasz, Dana Petcu and Marian Neagul Part V: Performance and Efficiency Optimizing the Profit and QoS of Virtual Brokers in the CloudSantiago Iturriaga, Sergio Nesmachnow and Bernabe Dorronsoro Adaptive Resource Allocation for Load Balancing in CloudSomnath Mazumdar, Alberto Scionti and Anoop S. Kumar Cloud-Supported Certification for Energy-Efficient Web Browsing and ServicesGonçalo Avelar, José Simão and Luís Veiga Datacentre Event Analysis for Knowledge Discovery in Large-Scale Cloud EnvironmentsJohn Panneerselvam, Lu Liu and Yao Lu

Read more less

Book SynopsisWritten for those who want to develop their knowledge of requirements engineering process, whether practitioners or students.Using the latest research and driven by practical experience from industry, Requirements Engineering gives useful hints to practitioners on how to write and structure requirements. It explains the importance of Systems Engineering and the creation of effective solutions to problems. It describes the underlying representations used in system modeling and introduces the UML2, and considers the relationship between requirements and modeling. Covering a generic multi-layer requirements process, the book discusses the key elements of effective requirements management. The latest version of DOORS (Version 7) - a software tool which serves as an enabler of a requirements management process - is also introduced to the reader here.Additional material and links are available at: http://www.requirementsengineering.infoTable of ContentsIntroduction.- A Generic Process for Requirements Engineering.- System Modelling for Requirements Engineering.- Writing and Reviewing Requirements.- Requirements Engineering in the Problem Domain.- Requirements Engineering in the Solution Domain.- Advanced Traceability.- DOORS: A Tool to Manage Requirements.- Management Aspects of Requirements Engineering.-

Read more less

Book SynopsisAn Introduction to Fingerprint Presentation Attack Detection.- A Study of Hand-Crafted and Naturally-Learned Features for Fingerprint Presentation Attack Detection.- Optical Coherence Tomography for Fingerprint Presentation Attack Detection.- Interoperability among Capture Devices for Fingerprint Presentation Attacks Detection.- Review of Fingerprint Presentation Attack Detection Competitions.- Introduction to Iris Presentation Attack Detection.- Application of Dynamic Features of the Pupil for Iris Presentation Attack Detection.- Review of Iris Presentation Attack Detection Competitions.- Introduction to Face Presentation Attack Detection.- Recent Advances in Face Presentation Attack Detection.- Recent Progress on Face Anti-Spoofing against 3D Mask Attack.- Challenges of Face Presentation Attack Detection in Real Scenarios.- Remote Blood Pulse Analysis for Face Presentation Attack Detection.- Review of Face Presentation Attack Detection Competitions.- Introduction to Voice Presentatio

Read more less

Book SynopsisThis volume contains selected papers for the Parcella '88, the Fourth International Workshop on "Parallel Processing by Cellular Automata and Arrays" held in Berlin from October 17 to 21, 1988. The profile of the Parcella workshop series is focused on problems of processing by regular structures, i.e. their "flexibilization" or adapting to "irregular" algorithms and, closely related to this, on the "regularization" of algorithms for their embedding into regular structures. It seems that these problems will have an increasing priority within the list of central problems in parallelization and will determine the profile of Parcella for the next years.Table of ContentsMultiprocessor arrays: Topology, efficiency and fault-tolerance.- Unsolved theoretical problems in homogeneous structures.- On simultaneous realizations of boolean functions, with applications.- Parallel microprogramming as a tool for multi-microprocessor systems.- A survey of parallel computational geometry algorithms.- Parallel memories for straight line and rectangle access.- Programming with active data.- Prolog implementations for cellular architectures.- Modular highly-parallel computation and architectures.- Parallel computation and supercomputers and applications.- Fast parallel algorithms and the complexity of parallelism (basic issues and recent advances).- Process-structured architectures to transform information flowing through.- Basic research for cellular processing.- Parallel algorithms in image processing.- VLSI arrays implementing parallel line-drawing algorithms.- Parallel conflict-free optimal access to complete extended q-ary trees.- Systolic preconditioning algorithms for the jacobi iterative solution of sparse linear systems.- Multiprocessor systems for large numerical applications.- Systolic array for eigenvalue of jacobi matrix.- A transitive closure algorithm for a 16-state cellprocessor.- Control of sensory processing — A hypothesis on and simulation of the architecture of an elementary cortical processor.- Bounds for l-selection and related problems on grids of processors.- Recursive design of communication schemes for parallel computation with relacs.- Solution of dense systems of linear equations using cellular processors.- Running order statistics on a bit-level systolic array.- Realization of sets of permutations by permutation networks.- Simulation of learning networks.- Given's rotation on an instruction systolic array.- Worst case analysis for reducing algorithms on instruction systolic arrays with simple instruction sets.- Self-checking processing elements in cellular arrays.- Cellular diagnostic in parallel systems.- Reliable networks for boolean functions with small complexity.- Pipeline-automata — A model for acyclic systolic systems.

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

Book SynopsisDer Testprozess.- Grundsätze für Softwaretester.- Testnormen.- Rollen und Verantwortlichkeiten im Testmanagement.- Grundlagen des Testmanagements.- Marktsituation beim Softwaretest.- Testvorbereitung.- Requirements Engineering.- Teststufen.- Testabdeckung und Überdeckungsmaße.- Fehlermanagement.- Testplanung.- Testumgebung.- Testkonzeption.- Kennzahlen zur Bewertung von Tests.- Testvoraussetzungen.- Beschreibung der Testfälle.- Testmethoden.- Testdurchführung.- Testbericht.- Produktiveinführung von Systemen.- Reviews im Testprozess.- Werkzeuge für die Unterstützung des Testmanagements.- Die optimale Testabdeckung.- Testmetriken.- Testautomatisierung.- Offshoring von Tests.- Test von Internet-Anwendungen.- Testen in der Cloud.- Mobile Testing- Agiles Testen.- Geschäftsbasiertes Testmanagement.- TPI Next.- Testumgebungsmanagement.- Testaufwandsschätzung.- Testen ist kein Allheilmittel.- Fazit

Read more less

Book SynopsisThe LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing (e.g., computing resources, services, metadata, data sources) across different sites connected through networks has led to an evolution of data- and knowledge management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. This, the 48th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains 8 invited papers dedicated to the memory of Prof. Dr. Roland Wagner. The topics covered include distributed database systems, NewSQL, scalable transaction management, strong consistency, caches, data warehouse, ETL, reinforcement learning, stochastic approximation, multi-agent systems, ontology, model-driven development, organisational modelling, digital government, new institutional economics and data governance.Table of ContentsDistributed Database Systems: The Case for NewSQL.- Boosting OLTP Performance using Write-back Client-side Caches.- pygrametl: A Powerful Programming Framework for Easy Creation and Testing of ETL Flows.- A Data Warehouse of Wi-Fi Sessions for Contact Tracing and Outbreak Investigation.- Convergence Proof for Actor-Critic Methods Applied to PPO and RUDDER.- Revival of MAS Technologies in Industry.- From Strategy to Code: Achieving Strategical Alignment in Software Development Projects through Conceptual Modelling.- On State-Level Architecture of Digital Government Ecosystems: From ICT-Driven to Data-Centric.

Read more less

Book SynopsisThoroughly revised edition on Computer Organization and Design covers recent developments in Computer Architecture, including RISC and parallel processing. Explains how complex digital functions are realized through interconnected networks of digital blocks. Keeps students updated on technology and pedagogy in computer science and engineering.

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less

Book SynopsisC++ is a powerful, much sought after programming language, but can be daunting to work with, even for engineering professionals. Why is this book so useful? Have you ever wondered: - How do keywords like static and virtual change their meanings according to context? - What are the similarities and differences between Pointers and References, Pointers and Arrays, Constructors and Copy Constructors, Nested and Local Inner Classes? - Why is Multiple Interface Inheritance seen to be beautiful but Multiple Implementation Inheritance considered evil? - When is Polymorphism Static or Dynamic, Bounded or Unbounded? Answers on these questions, and much more, are explained in this book, Cybernetics in C++. What makes this text so different and appealing in comparison to existing books on the market? - The Bulleted style, as opposed to Prose, produces results much faster, both in learning and reference - Rules of Thumb, and further expert Tips are given throughout in how to optimise your code - The Prospective Evils sections tell you what to avoid - The thorough coverage ensures you will be trained to expert level in each of Imperative, Procedural, Memory & Resource Management, Object Oriented and Generic Programming Cybernetics in C++ combines a theoretical overview and practical approach in one book, which should prove to be a useful reference for computer scientists, software programmers, engineers and students in this and related field.Table of ContentsImperative Programming, Procedural Programming, Data Structures & Algorithms, Memory & Resource Management Programming, Object Oriented Programming, Imperative Programming, Generic Programming, Getting It Together: Programming in C++

Read more less

Book SynopsisIn today’s workplace, computer and cybersecurity professionals must understand both hardware and software to deploy effective security solutions. This book introduces readers to the fundamentals of computer architecture and organization for security, and provides them with both theoretical and practical solutions to design and implement secure computer systems. Offering an in-depth and innovative introduction to modern computer systems and patent-pending technologies in computer security, the text integrates design considerations with hands-on lessons learned to help practitioners design computer systems that are immune from attacks. Studying computer architecture and organization from a security perspective is a new area. There are many books on computer architectures and many others on computer security. However, books introducing computer architecture and organization with security as the main focus are still rare. This book addresses not only how to secure computer components (CPU, Memory, I/O, and network) but also how to secure data and the computer system as a whole. It also incorporates experiences from the author’s recent award-winning teaching and research. The book also introduces the latest technologies, such as trusted computing, RISC-V, QEMU, cache security, virtualization, cloud computing, IoT, and quantum computing, as well as other advanced computing topics into the classroom in order to close the gap in workforce development. The book is chiefly intended for undergraduate and graduate students in computer architecture and computer organization, as well as engineers, researchers, cybersecurity professionals, and middleware designers.Table of Contents

Read more less

Book SynopsisThis book comprises the proceedings of the 2nd International Conference on Computer Vision, High-Performance Computing, Smart Devices, and Networks (CHSN 2021). This book highlights the high-quality research articles in machine learning, computer vision, and networks. The content of this volume gives the reader an up-to-date picture of the state-of-the-art connection between computational intelligence, machine learning, and IoT. The papers included in this volume are peer-reviewed by experts in the related areas. The book will serve as a valuable reference resource for academics and researchers across the globe. Table of ContentsAn effective DNLP optimization method for Economic Load Dispatch Problem.- Multi-Perspective Reasoning Using Adaptive Learning.- Ink Recognition using TDNN and Bi-LSTM.- Sarcasm Detection for Sentiment Analysis : A RNN based approach using Machine Learning.- Statistical analysis of Soil properties using Non-Imaging Spectral data for quantitative analysis of Raver Tehsil.- Building an efficient Heart Disease Prediction system by using clustering techniques.

Read more less

Book SynopsisThis book comprehensively introduces data deduplication technologies for storage systems. It first presents the overview of data deduplication including its theoretical basis, basic workflow, application scenarios and its key technologies, and then the book focuses on each key technology of the deduplication to provide an insight into the evolution of the technology over the years including chunking algorithms, indexing schemes, fragmentation reduced schemes, rewriting algorithm and security solution. In particular, the state-of-the-art solutions and the newly proposed solutions are both elaborated. At the end of the book, the author discusses the fundamental trade-offs in each of deduplication design choices and propose an open-source deduplication prototype. The book with its fundamental theories and complete survey can guide the beginners, students and practitioners working on data deduplication in storage system. It also provides a compact reference in the perspective of key data deduplication technologies for those researchers in developing high performance storage solutions.Table of ContentsPreface.- Deduplication: Beginning from Data Backup System.- Overview of Data Deduplication.- Chunking Algorithms.- Indexing Schemes.- Rewriting Algorithms.- Secure Deduplication.- Post-deduplication Delta Compression Schemes.- The Framework of Data Deduplication.- References.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 40th National Conference on Theoretical Computer Science, NCTCS 2022, held in Changchun, China, during July 29–31, 2022.The 13 full papers and 6 short papers included in this book were carefully reviewed and selected from 58 submissions. They were organized in topical sections as follows: computational theory and model; approximation algorithms; artificial intelligence; and system and resource scheduling.Table of Contents​Computational Theory and Model.- General-nondeterministic fuzzy pushdown automata and their languages.- Joint Degree Distribution of Growing Multiplex Network Model with Nonlinear Preferential Attachment Rule.- Coherence of Quantum States based on Mutually Unbiased Bases.- Determining the Sampling Size with Maintaining the Probability Distribution.- Approximation Algorithms.- The polynomial randomized algorithm to compute bounded degree graphs for TSP based on frequency quadrilaterals.- An approximation algorithm for the minimum soft capacitated disk multi-coverage problem.- A 1/2 approximation algorithm for energy constrained geometric covering problem.- Artificial Intelligence.- MixHop Graph WaveNet for traffic forecasting.- A Brief Discussion on the Reform of Mathematics Teaching in Artificial Intelligence Majors - Taking Matrix Computation and Optimization as Examples.- Improved Spotted Hyena Optimizer fused with multiple strategies.- Regularized Framework on Heterogeneous Hypergraph Model for Personal Recommendation.- Hybrid Pre-training based on Masked Autoencoders for Medical Image Segmentation.- Deep Transfer Learning based Risk Prediction Model for Infectious Disease.- A Data-Driven Framework For Crack Paths Propagation.- System and Resource Scheduling.- A modified list scheduling algorithm for the online hierarchical load balancing problem with bounded processing times.- An Improved ACS Algorithm by CA for Task Scheduling in Heterogeneous Multiprocessing Environments.- On the parameterized tractability of single machine scheduling with rejection to minimize the weighted makespan.- Multi-resource allocation in mobile edge computing systems: A trade-off on fairness and efficiency.- Maximin share based mechanisms for multi-resource fair allocation with divisible and indivisible tasks.

Read more less

Book Synopsis?Cryptanalysis & Quantum Cryptanalysis.- Enhancing the Related-Key Security of PIPO through New Key Schedules.- Distinguisher and Related-Key Attack on HALFLOOP 96.- Revisiting Key Switching Techniques with Applications to Light-Key FHE.- Optimized Quantum Implementation of SEED.- Depth-Optimized Quantum Implementation of ARIA.- Finding Shortest Vector using Quantum NV Sieve on Grover.- Experiments and Resource Analysis of Shor's Factorization Using a Quantum Simulator.- Quantum Circuits for High-Degree and Half Multiplication For Post-Quantum Analysis.- Side Channel Attack.- Extended Attacks on ECDSA with Noisy Multiple Bit Nonce Leakages.- Single Trace Analysis of Comparison Operation based Constant-Time CDT Sampling and Its Countermeasure.- A Lattice Attack on CRYSTALS-Kyber with Correlation Power Analysis.- Side-Channel Analysis on Lattice-Based KEM using Multi-feature Recognition - The Ca

Read more less

Book SynopsisThis book comprises the proceedings of the 3rd International Conference on Computer Vision, High-Performance Computing, Smart Devices, and Networks (CHSN 2022). This book highlights high-quality research articles in machine learning, computer vision, and networks. The content of this volume gives the reader an up-to-date picture of the state-of-the-art connection between computational intelligence, machine learning, and IoT. The papers in this volume are peer-reviewed by experts in related areas. The book will serve as a valuable reference resource for academics and researchers across the globe.Table of ContentsAnalysis of Prevalence of Flat Foot in Primary School Children.- The development of advanced deep learning-based EoR Signal separation techniques.- An Integrated Deep Learning Deepfakes Detection Method (IDL-DDM).- Melanoma Detection Using Convolutional Neural Networks.- Reinforcement Learning Based Spectrum Sensing And Resource Allocation In WSN-IoT Smart Applications.- Planning and Construction of a Quantum Model of the SHA-1 Algorithm Using IBM’s Qiskit.- Machine Learning Based Path-loss Estimation Model for a 2.4 GHz ZigBee Network.- Heart Device for expectation of coronary illness utilizing Internet of Things.- An Extensive Study of Frequent Mining Algorithms for Colossal Patterns.- A Review Paper On Progressive Approach To Reduce Context Switching in Round Robin Scheduling Algorithm.- Transformer model for human activity recognition using IoT wearables.- Design and Development of a Chatbot for Personalized Learning in Higher Education.- Performance Evaluation of Concentric Hexagonal Array for Smart antenna applications.- Vegetation Change Detection of Multispectral Satellite Images Using Remote Sensing.- Performance evaluation of neural networks based virtual machine placement algorithm for server consolidation in cloud data centers.- Artificial Neural Network Based Fault Classification and Location Identification in Over Head Transmission Lines.- E-learning paradigm in Cloud computing and pertinent challenges in models used for cloud deployment.- Parkinson’s Disease Detection: Comparative Study Using Different Machine Learning Algorithms.- Implementation of Blockchain in Automotive Industry to Secure Connected Vehicle Data: Study and Analysis.- A Study of Comparison Between YOLOv5 and YOLOv7 for Detection of Cracks in Concrete Structures.- Machine Learning-Based Identification as well as Classification of Functional and Non-functional Requirements.- Expiry Date Detection on Product Packages with the Help of a Generalized Framework Using Fully Convolutional Networks.- Fake News Detection in Dravidian Languages using Transformer Models.- A Review on Artificial Intelligence Techniques for Multilingual SMS Spam detection.- Fusion of LBP and Median LBP for Dominant Region based Multimodal Recognition using Imperfect Face and Gait Cues.

Read more less