Computer hardware Books

Book SynopsisThis open access book presents thirteen outstanding doctoral dissertations in Information Technology from the Department of Electronics, Information and Bioengineering, Politecnico di Milano, Italy. Information Technology has always been highly interdisciplinary, as many aspects have to be considered in IT systems. The doctoral studies program in IT at Politecnico di Milano emphasizes this interdisciplinary nature, which is becoming more and more important in recent technological advances, in collaborative projects, and in the education of young researchers.Accordingly, the focus of advanced research is on pursuing a rigorous approach to specific research topics starting from a broad background in various areas of Information Technology, especially Computer Science and Engineering, Electronics, Systems and Control, and Telecommunications.Each year, more than 50 PhDs graduate from the program. This book gathers the outcomes of the thirteen best theses defended in 2020-21 and selected for the IT PhD Award. Each of the authors provides a chapter summarizing his/her findings, including an introduction, description of methods, main achievements and future work on the topic. Hence, the book provides a cutting-edge overview of the latest research trends in Information Technology at Politecnico di Milano, presented in an easy-to-read format that will also appeal to non-specialists.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 16th International Workshop on Security, IWSEC 2021, held in Tokyo, Japan in September 2021. The conference was held virtually due to COVID-19 pandemic. The 14 regular papers and 3 short paper presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: Lattice-Based Cryptography; System Security; Multiparty Computation; Machine Learning and Security; Post-quantum Cryptography; Symmetric-key Cryptography; Game Theory and Security.Table of ContentsLattice-Based Cryptography A trace map attack against special ring-LWE samples.- Shortest Vectors in Lattices of Bai-Galbraith’s Embedding Attack on the LWR Problem.- System Security KPRM: Kernel Page Restriction Mechanism to Prevent Kernel Memory Corruption.- Evidence Collection and Preservation System with Virtual Machine Monitoring.- Multiparty Computation Evolving Homomorphic Secret Sharing for Hierarchical Access Structures.- Machine Learning and Security Understanding Update of Machine-Learning-Based Malware Detection by Clustering Changes in Feature Attributions.- Proposal of Jawi CAPTCHA Using Digraphia Feature of the Malay Language.- Solving the problem of Blockwise Isomorphism of Polynomials with Circulant matrices.- FFT Program Generation for Ring LWE-based Cryptography.- Symmetric-key Cryptography Optimum Attack on 3-Round Feistel-2 Structure.- Post-quantum Cryptography (2) An Intermediate Secret-Guessing Attack on Hash-Based Signatures.- Analysis of a Strong Fault Attack on Static/Ephemeral CSIDH.- Simple Matrix Signature Scheme.- Game Theory and Security Moving Target Defense for the CloudControl Game.

Read more less

Book SynopsisThis four-volume set of LNCS 12821, LNCS 12822, LNCS 12823 and LNCS 12824, constitutes the refereed proceedings of the 16th International Conference on Document Analysis and Recognition, ICDAR 2021, held in Lausanne, Switzerland in September 2021. The 182 full papers were carefully reviewed and selected from 340 submissions, and are presented with 13 competition reports.The papers are organized into the following topical sections: extracting document semantics, text and symbol recognition, document analysis systems, office automation, signature verification, document forensics and provenance analysis, pen-based document analysis, human document interaction, document synthesis, and graphs recognition.Table of ContentsExtracting Document Semantics.- MiikeMineStamps: A Long-Tailed Dataset of Japanese Stamps via Active Learning.- Deep Learning for Document Layout Generation: A First Reproducible Quantitative Evaluation and a Baseline Model.- Text and Symbol Recognition.- MRD: A Memory Relation Decoder for Online Handwritten Mathematical Expression Recognition.-Full Page Handwriting Recognition via Image to Sequence Extraction.- SPAN: a Simple Predict & Align Network for Handwritten Paragraph Recognition.- IHR-NomDB: The Old Degraded Vietnamese Handwritten Script Archive Database.- Sequence Learning Model for Syllables Recognition Arranged in Two Dimensions.- Transformer for Handwritten Text Recognition using Bidirectional Post-Decoding.- Zero-Shot Chinese Text Recognition via Matching Class Embedding.- Text-conditioned Character Segmentation for CTC-based Text Recognition.-Towards Fast, Accurate and Compact Online Handwritten Chinese Text Recognition.- HCADecoder: A Hybrid CTC-Attention Decoder for Chinese Text Recognition.-Meta-learning of Pooling Layers for Character Recognition.- Document Analysis Systems.- Text-line-up: Don’t Worry about the Caret.- Multimodal Attention-based Learning for Imbalanced Corporate Documents Classification.- Light-weight Document Image Cleanup using Perceptual Loss.- Office Automation.- A New Semi-Automatic Annotation Model via Semantic Boundary Estimation for Scene Text Detection.- Searching from the Prediction of Visual and Language Model for Handwritten Chinese Text Recognition.- Towards an IMU-based Pen Online Handwriting Recognizer.- Signature Verification.- 2D vs 3D online writer identification: a comparative study.- A Handwritten Signature Segmentation Approach for Multi-resolution and Complex Documents Acquired by Multiple Sources.- Attention based Multiple Siamese Network for Offline Signature Verification.- Attention to Warp: Deep Metric Learning for Multivariate Time Series.- Document Forensics and Provenance Analysis.- Customizable Camera Verification for Media Forensic.- Density Parameters of Handwriting in Schizophrenia and Affective Disorders Assessed Using the Raygraf Computer Software.- Pen-based Document Analysis.- Language-Independent Bimodal System for Early Parkinson’s Disease Detection.-TRACE: A Differentiable Approach to Line-level Stroke Recovery for Offline Handwritten Text.- Segmentation and graph matching for online analysis of student arithmetic operations.- Applying End-to-end Trainable Approach on Stroke Extraction in Handwritten Math Expressions Images.- A Novel Sigma-Lognormal Parameter Extractor for Online Signatures.- Human Document Interaction.- Near-perfect Relation Extraction from Family Books.- Estimating Human Legibility in Historic Manuscript Images - A Baseline.- A Modular and Automated Annotation Platform for Handwritings: Evaluation on Under-resourced Languages.- Reducing the Human Effort in Text Line Segmentation for Historical Documents.- DSCNN: Dimension Separable Convolutional Neural Networks for character recognition based on inertial sensor signal.- Document Synthesis.- DocSynth: A Layout Guided Approach for Controllable Document Image Synthesis.- Font Style that Fits an Image -- Font Generation Based on Image Context.- Bayesian Hyperparameter optimization of Deep Neural Network algorithms based on Ant Colony optimization.- End-to-End Approach for Recognition of Historical Digit Strings.- Generating Synthetic Handwritten Historical Documents With OCR Constrained GANs.- Synthesizing Training Data for Handwritten Music Recognition.- Towards Book Cover Design via Layout Graphs.- Graphics Recognition.- Complete Optical Music Recognition via Agnostic Transcription and Machine Translation.- Improving Machine Understanding of Human Intent in Charts.- DeMatch: Towards Understanding the Panel of Chart Documents.- Sequential Next-Symbol Prediction for Optical Music Recognition.- Which Parts Determine the Impression of the Font?.- Impressions2Font: Generating Fonts by Specifying Impressions.

Read more less

Book SynopsisThis four-volume set of LNCS 12821, LNCS 12822, LNCS 12823 and LNCS 12824, constitutes the refereed proceedings of the 16th International Conference on Document Analysis and Recognition, ICDAR 2021, held in Lausanne, Switzerland in September 2021. The 182 full papers were carefully reviewed and selected from 340 submissions, and are presented with 13 competition reports.The papers are organized into the following topical sections: scene text detection and recognition, document classification, gold-standard benchmarks and data sets, historical document analysis, and handwriting recognition. In addition, the volume contains results of 13 scientific competitions held during ICDAR 2021.Table of ContentsScene Text Detection and Recognition.- HRRegionNet: Chinese Character Segmentation in Historical Documents with Regional Awareness.- Fast Text v. Non-text Classification of Images.- Mask Scene Text Recognizer.- Rotated Box Is Back: An Accurate Box Proposal Network for Scene Text Detection.- Heterogeneous Network Based Semi-supervised Learning For Scene Text Recognition.- Scene Text Detection with Scribble Line.- EEM: An End-to-end Evaluation Metric for Scene Text Detection and Recognition.- SynthTIGER: Synthetic Text Image GEneratoR Towards Better Text Recognition Models.- Fast Recognition for Multidirectional and Multi-Type License Plates with 2D Spatial Attention.- A Multi-level Progressive Rectification Mechanism for Irregular Scene Text Recognition.- Representation and Correlation Enhanced Encoder-Decoder Framework for Scene Text Recognition.- FEDS - Filtered Edit Distance Surrogate.- Bidirectional Regression for Arbitrary-Shaped Text Detection.- Document Classification.- VML-HP: Hebrew paleography dataset.- Open Set Authorship Attribution toward Demystifying Victorian Periodicals.- A More Effective Sentence-Wise Text Segmentation Approach using BERT.- Data Augmentation for Writer Identification Using a Cognitive Inspired Model.- Key-guided Identity Document Classification Method by Graph Attention Network.- Document Image Quality Assessment via Explicit Blur and Text Size Estimation.- Analyzing the potential of Zero-Shot Recognition for Document Image Classification.- Gender Detection Based on Spatial Pyramid Matching.- EDNets: Deep Feature Learning for Document Image Classification based on Multi-view Encoder-Decoder Neural Networks.- Fast End-to-end Deep Learning Identity Document Detection, Classification and Cropping.- Gold-Standard Benchmarks and Data Sets.- Image Collation: Matching illustrations in manuscripts.- Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation.- A Large Multi-Target Dataset of Common Bengali Handwritten Graphemes.- GNHK: A Dataset for English Handwriting in the Wild.- Personalizing Handwriting Recognition Systems with Limited User-Specific Samples.- An Efficient Local Word Augment Approach for Mongolian Handwritten Script Recognition.- IIIT-INDIC-HW-WORDS: A Dataset for Indic Handwritten Text Recognition.- Historical Document Analysis.- AT-ST: Self-Training Adaptation Strategy for OCR in Domains with Limited Transcriptions.- TS-Net: OCR Trained to Switch Between Text Transcription Styles.- Handwriting Recognition with Novelty.- Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction.- Data Augmentation Based on CycleGAN for Improving Woodblock-printing Mongolian Words Recognition.- SauvolaNet: Learning Adaptive Sauvola Network for Degraded Document Binarization.- Handwriting Recognition.- Recognizing Handwritten Chinese Texts with Insertion and Swapping Using A Structural Attention Network.- Strikethrough Removal From Handwritten Words Using CycleGANs.- Iterative Weighted Transductive Learning for Handwriting Recognition.- Competition Reports.- ICDAR 2021 Competition on Scientific Literature Parsing.- ICDAR 2021 Competition on Historical Document Classification.- ICDAR 2021 Competition on Document Visual Question Answering.- ICDAR 2021 Competition on Scene Video Text Spotting.- ICDAR 2021 Competition on Integrated Circuit Text Spotting and Aesthetic Assessment.- ICDAR 2021 Competition on Components Segmentation Task of Document Photos.- ICDAR 2021 Competition on Historical Map Segmentation.- ICDAR 2021 Competition on Time-Quality Document Image Binarization.- ICDAR 2021 Competition on On-Line Signature Verification.- ICDAR 2021 Competition on Script Identification in the Wild.- ICDAR 2021 Competition on Scientific Table Image Recognition to LaTeX.- ICDAR 2021 Competition on Multimodal Emotion Recognition on Comics Scenes.- ICDAR 2021 Competition on Mathematical Formula Detection.

Read more less

Book SynopsisThis is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design, Second Edition advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor design companies. The theory is extended to the analysis of several algorithms and optimization techniques that are commonly used in commercial implementations of elementary arithmetic operations. As a basis for the formal verification of such implementations, high-level specifications of the basic arithmetic instructions of several major industry-standard floating-point architectures are presented, including all details pertaining to the handling of exceptional conditions. The methodology is illustrated in the comprehensive verification of a variety of state-of-the-art commercial floating-point designs developed by Arm Holdings. This revised edition reflects the evolving microarchitectures and increasing sophistication of Arm processors, and the variation in the design goals of execution speed, hardware area requirements, and power consumption. Many new results have been added to Parts I—III (Register-Transfer Logic, Floating-Point Arithmetic, and Implementation of Elementary Operations), extending the theory and describing new techniques. These were derived as required in the verification of the new RTL designs described in Part V. Table of ContentsPart I - Register-Transfer Logic.- Basic Arithmetic Functions.- Bit Vectors.- Logical Operations.- Part II - Floating-Point Arithmetic.- Floating-Point Numbers.- Floating-Point Formats.- Rounding.- IEEE-Compliant Square Root.- Part III - Implementation of Elementary Operations.- Addition.- Multiplication.- SRT Division and Square Root.- FMA-Based Division.- Part IV - Comparative Architectures: SSE, x87, and Arm.- SSE Floating-Point Instructions.- x87 Instructions.- Arm Floating-Point.- Instructions.- Part V - Formal Verification of RTL Designs.- The RAC Modeling Language.- Double-Precision Multiplication and Scaling.- Double-Precision Addition and FMA.- Multi-Precision Radix-8 SRT Division.- 64-bit Integer Division.- Multi-Precision Radix-4 SRT Square Root.- Multi-Precision Radix-2 SRT Division.- Fused Multiply-Add of a Graphics Processor.

Read more less

Book SynopsisThis book constitutes the conference proceedings of the 10th International Conference on Network Games, Control and Optimization, NETGCOOP 2020, held in Cargèse, Corsica, France, in September 2021*.The 12 full papers and 16 short papers were carefully reviewed and selected from 44 submissions. The papers are organized in the following topical sections: ​game theory and iterative algorithms applied to wireless communication; stochastic models for network performance analysis; game theory in mobile and wireless networks; scheduling and resource allocation problems in networks; advance in game theory; social network; electrical network.* The conference was postponed to 2021 due to the COVID-19 pandemic.Table of ContentsGame theory and iterative algorithms applied to wireless communication.- Stochastic models for network performance analysis.- Game theory in Mobile and Wireless Networks.- Scheduling and resource allocation problems in networks.- Advance in game theory.- Social network.- Electrical network.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions. The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning.Table of ContentsInvited Paper.- Linear Temporal Logic ­ – From Infinite to Finite Horizon.- Automata Theory.- Determinization and Limit-determinization of Emerson-Lei automata.- Automatic discovery of fair paths in infinite-state transition systems.- Certifying DFA Bounds for Recognition and Separation.- Machine Learning for Formal Methods.- AALpy: An Active Automata Learning Library.- Learning Linear Temporal Properties from Noisy Data: A MaxSAT-based Approach.- Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems.- Theorem Proving and Tools.- A Formal Semantics of the GraalVM Intermediate Representation.- A Verified Decision Procedure for Orders in Isabelle/HOL.- PJBDD: A BDD Library for Java and Multi-Threading.- Model Checking.- Live Synthesis.- Faster Pushdown Reachability Analysis with Applications in Network Verification.- Verifying Verified Code.- Probabilistic Analysis.- Probabilistic causes in Markov Chains.- TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments.- AQUA: Automated Quantized Inference for Probabilistic Programs.- Software and Hardware Verification.- Proving SIFA Protection of Masked Redundant Circuits.- Verification by Gambling on Program Slices.- Runtime Enforcement of Hyperproperties.- System Synthesis and Approximation.- Compositional Synthesis of Modular Systems.- Event-B Refinement for Continuous Behaviours Approximation.- Incorporating Monitors in Reactive Synthesis without Paying the Price.- Verification of Machine Learning.- pyNever: a Framework for Learning and Verification of Neural Networks.- Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

Read more less

Book SynopsisThis book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.Table of ContentsCoordination.- Protocol Scheduling.- Automated Replication of Tuple Spaces via Static Analysis.- Incremental Refinement of Goal Models with Contracts.- Logic.- Proof Calculi for Epistemic Logics with Structured Knowledge.- Introducing Intervalar differential dynamic logic.- A Program Logic for Fresh Name Generation.- Event-Driven Temporal Logic Pattern for Control Software Requirements Specification.- Extending OCL with map and function types.- Networks.- Deadlock in packet switching networks.- Runtime Monitoring Processes Across Blockchains.- Solving Systems of Bilinear Equations for Transition Rate Reconstruction.- Parallel Computation.- Term Rewriting on GPUs.- Promise Plus: Flexible Synchronization for Parallel Computations on Arrays.- Testing.- Towards Test Case Generation for Industrial Software Systems Based on Functional Specifications.- Compressing Automatically Generated Unit Test Suites through Test Parameterization.- Systematic Extraction of Test Cases from Object-oriented Programs.

Read more less

Book SynopsisThis book constitutes the revised selected papers from the 22nd International Conference on Information Security Applications, WISA 2021, which took place on Jeju Island, South Korea, during August 2021. The 23 papers included in this book were carefully reviewed and selected from 66 submissions. They were organized in topical sections as follows: machine learning security; cryptography; hardware security; and application security.Table of ContentsMachine Learning Security.- LOM: Lightweight classifier for obfuscation methods.- A Method for Collecting Vehicular Network Data for Enhanced Anomaly Detection.- Unsupervised Driver Behavior Profiling leveraging Recurrent Neural Networks.- On the robustness of intrusion detection systems for vehicles against adversarial attacks.- A Framework for Generating Evasion Attacks for Machine Learning based Network Intrusion Detection Systems.- Echo-Guard : Acoustic-based Anomaly Detection System for Smart Manufacturing Environments.- Research on improvement of anomaly detection performance in industrial control systems.- Cryptography.- Quantum Cryptanalysis Landscape of Shor's Algorithm for Elliptic Curve Discrete Logarithm Problem.- Anonymous IBE from PEKS : A Generic Construction.- Secure Computation of Shared Secrets and Its Applications.- Pattern Matching over Encrypted Data with a Short Ciphertext.- Efficient adaptation of TFHE for high end-to-end throughput.- AnyTRNG: Generic, High-throughput, Low-area True Random Number Generator based on Synchronous Edge Sampling.- Hardware Security.- Masked Implementation of PIPO Block Cipher on 8-bit AVR Microcontrollers.- Parallel Implementation of PIPO Block Cipher on 32-bit RISC-V Processor.- No Silver Bullet: Optimized Montgomery Multiplication on Various 64-bit ARM Platforms.- ARMed Frodo: FrodoKEM on 64-bit ARMv8 Processors.- Quantitative Analysis on Attack Capacity in Meltdown-type Attacks.- Application Security.- Adaptive Network Security Service Orchestraction based on SDN/NFV.- A General Framework for Matching Pattern Hiding in Deep Packet Inspection.- A Privacy-Preserving Payment Model for EV Charging.- Measuring Healthcare Data Breaches.- BadASLR: Exceptional cases of ASLR aiding Exploitation.

Read more less

Book SynopsisThis book constitutes the proceedings of the 41st SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, AI 2021, which was supposed to be held in Cambridge, UK, in December 2021. The conference was held virtually due to the COVID-19 pandemic.The 22 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 37 submissions. The volume includes technical papers presenting new and innovative developments in the field as well as application papers presenting innovative applications of AI techniques in a number of subject domains. The papers are organized in the following topical sections: technical paper; machine learning; AI techniques; short technical stream papers; application papers; applications of machine learning; AI for medicine; advances in applied AI; and short application stream papers. Table of ContentsTechnical Papers.- On the Generalization Abilities of Fine-Tuned Commonsense Language Representation Models (Best Technical Paper).- Machine Learning.- Generation of Human-aware Navigation Maps using Graph Neural Networks.- Extended Category Learning with Spiking Nets and Spike Timing Dependent Plasticity.- ORACLE: End-to-end Model Based Reinforcement Learning.- Towards Explaining Metaheuristic Solution Quality by Data Mining Surrogate Fitness Models for Importance of Variables.- AI Techniques.- Assessing the Impact of Agents in Weighted Bipolar Argumentation Frameworks.- Towards Explainable Metaheuristics: PCA for Trajectory Mining in Evolutionary Algorithms.- AI Methods of Autonomous Geological Target Selection in the Hunt for Signs of Extraterrestrial Life.- Probabilistic Rule Induction for Transparent CBR under Uncertainty.- Short Technical Stream Papers.- Detection of Brain Tumour using Deep Learning.- GaussianProductAttributes: Density-based Distributed Representations for Products.- Modelling Emotion Dynamics in Chatbots with Neural Hawkes Processes.- Knowledge-Based Composable Inductive Programming.- Named Entity Recognition and Relation Extraction for COVID-19: Explainable Active Learning with word2vec Embeddings and Transformer-based BERT Models.- Application Papers.- Patients Forecasting in Emergency Services by using Machine Learning and Exogenous variables (Best Application Paper).- Applications of Machine Learning.- Automatic Information Extraction from Electronic Documents using Machine Learning.- Modelling Satellite Data for Automobile Insurance Risk.- Ranking Pathology Data in the Absence of a Ground Truth.- Evolving Large Scale Prediction Models for Vehicle Volume Forecasting in Service Stations.- AI for Medicine.- Sequential Association Rule Mining Revisited: A Study Directed at Relational Pattern Mining for Multi-morbidity.- Addressing the Challenge of Data Heterogeneity using a Homogeneous Feature Vector Representation.- Context-aware Support for Cardiac Health Monitoring using Federated Machine Learning.- Using Automated Feature Selection for Building Case-Based Reasoning Systems: An Example from Patient-Reported Outcome Measurements.- Advances in Applied AI.- A Live-User Evaluation of a Visual Module Recommender & Advisory System for Undergraduate Students.- AdverseGen: A Practical Tool for Generating Adversarial Examples to Deep Neural Networks Using Black-box Approaches.- Adaptive Maneuver Planning for Autonomous Vehicles using Behavior Tree on Apollo Platform.- Behavioural User Identification from Clickstream Data for Business Improvement.- Short Application Stream Papers.- AI enabled Bio Waste Contamination-Scanner.- Parkinson's Disease Tremor Severity Classification - A Comparison Between ON and OFF Medication State.- Towards Publishing Ontology-based Data Quality Metadata of Open Data.- Towards a Brain Controller Interface for Generating Simple Berlin School Style Music with Interactive Genetic Algorithms.

Read more less

Book SynopsisThis book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.Table of ContentsSystems Development.- Translating a Large Subset of State ow to Hybrid CSP with Code Optimization.- DeepGlobal: a Global Robustness Verifiable FNN Framework.- Leveraging Event-B Theories for handling domain knowledge in design models.- Program Analysis and Verification.- Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics.- Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture based on UTP.- Formal Analysis of 5G AKMA.- Verifying the Correctness of Distributed Systems via Mergeable Parallelism.- Testing and Fault Detection.- Mutation Testing of Reinforcement Learning Systems.- AIdetectorX: A Vulnerability Detector based on TCN and Self-attention Mechanism.- MC/DC Test Cases Generation based on BDDs.- Software Quality.- Predicting and Monitoring Bug-proneness at The Feature Level.- CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum.- A Distributed Simplex Architecture for Multi-Agent Systems.- Satisfiability, Reachability and Model Checking.- OURS: Over- and Under-Approximating Reachable Sets for Analytic Time-invariant Differential Equations.- ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas.- API Usage Pattern Search Based on Model Checking.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 5th International Symposium on Human Mental Workload: Models and Applications, H-WORKLOAD 2021, held virtually in November 2021.The volume presents 9 revised full papers, which were carefully reviewed and selected from 16 submissions. The papers are organized in two topical sections on models and applications.Table of ContentsModels.- In search of the redline: perspectives on mental workload and the ‘underload problem’. - A novel parabolic model of instructional efficiency grounded on ideal mental workload and performance.- Radical Connectionism – Implications for Mental Workload Research.- Fundamental Frequency as an Alternative Method for Assessing Mental Fatigue of Distance Learning Teachers.- A systematic review of older drivers in a level 3 autonomous vehicle: A cognitive load perspective.- Applications.- On EEG Preprocessing Role in Deep Learning Effectiveness for Mental Workload Classification.- Mental Workload Assessment in Military Pilots Using Flight Simulators and Physiological Sensors.- Exploring the Influence of Information Overload, Internet Addiction, and Social Network Addiction, on Students' Well-being and Academic Outcomes.- Examining Cognitive Workload during Covid-19: A Qualitative Study.- The Relationship between Workload, Fatigue and Sleep Quality of Psychiatric Staff.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 22nd International Conference on Product-Focused Software Process Improvement, PROFES 2021, held in Turin, Italy, in November 2021. Due to COVID-19 pandemic the conference was held as a hybrid event. The 20 revised papers, including 14 full papers, 3 short papers and 3 industry papers, presented were carefully reviewed and selected from 48 submissions. The papers cover a broad range of topics related to professional software development and process improvement driven by product and service quality needs. They are organized in the following topical sections: agile and migration, requirements, human factors, and software quality.Table of ContentsAgile and Migration.- Migration from Ionic to Android: Implications.- The migration journey towards microservices.- Migrating from a Centralized Data Warehouse to a Decentralized Data Platform Architecture.- How Do Agile Teams Manage Impediments?.- Keeping the momentum: Driving continuous improvement after the large-scale agile transformation.- Requirements.- How Do Practitioners Interpret Conditionals in Requirements?.- Situation- and Domain-specific Composition and Enactment of Business Model Development Methods.- Using a data-driven context model to support the elicitation of context-aware functionalities – a controlled experiment.- A Transformation Model for Excelling in Product Roadmapping in Dynamic and Uncertain Market Environments.- Introducing Traceability in GitHub for Medical Software Development.- Human Factors.- An Empirical Study on Personality Traits and Team Climate in a Smart-Working Development Context.- Searching for bellwether developers for cross-personalized defect prediction.- Using Machine Learning to Recognise Novice and Expert Developers.- Is knowledge the key? An experiment on debiasing architectural decision-making - a pilot study.-Communicating Cybersecurity Vulnerability Information: A Producer-Acquirer Case Study.- Software quality.- Analyzing SAFe Practices with respect to Quality Requirements: Findings from a Qualitative Study.- Capitalizing on Developer-Tester Communication – A Case Study.- Toward a Technical Debt Relationship with the Pivoting of Growth Phase Startups.- Towards a Common Testing Terminology for Software Engineering and Artificial Intelligence Experts.- Towards RegOps: A DevOps Pipeline for Medical Device Software.-

Read more less

Book SynopsisThis book contains a selection of the best papers of the 33rd Benelux Conference on Artificial Intelligence, BNAIC/ BENELEARN 2021, held in Esch-sur-Alzette, Luxembourg, in November 2021. The 14 papers presented in this volume were carefully reviewed and selected from 46 regular submissions. They address various aspects of artificial intelligence such as natural language processing, agent technology, game theory, problem solving, machine learning, human-agent interaction, AI and education, and data analysis.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the Second Southern African Conference on Artificial Intelligence Research, SACAIR 2021, held in Durban, South Africa, in December 2021. Due to the COVID-19 pandemic the SACAIR 2021 was held online. The 22 papers presented were thoroughly reviewed and selected from the 70 submissions. They are organized on the topical sections on ​AI in the humanities and society, AI in and for information systems, computer vision and image processing, deep learning, knowledge representation and reasoning, machine learning, philosophy and ethics of AI.Table of ContentsAI in the Humanities and Society.- AI in and for Information Systems.- Computer Vision and Image Processing.- Deep Learning.- Knowledge Representation and Reasoning.- Machine Learning.- Philosophy and Ethics of AI.

Read more less

Book SynopsisThis book constitutes the proceedings of the 17th International Conference on Advanced Data Mining and Applications, ADMA 2021, held in Sydney, Australia in February 2022.*The 26 full papers presented together with 35 short papers were carefully reviewed and selected from 116 submissions. The papers were organized in topical sections in Part I, including: Healthcare, Education, Web Application and On-device application. * The conference was originally planned for December 2021, but was postponed to 2022.

Read more less

Book SynopsisThis book constitutes the proceedings of the 17th International Conference on Advanced Data Mining and Applications, ADMA 2021, held in Sydney, Australia in February 2022.*The 26 full papers presented together with 35 short papers were carefully reviewed and selected from 116 submissions. The papers were organized in topical sections in Part II named: Pattern mining; Graph mining; Text mining; Multimedia and time series data mining; and Classification, clustering and recommendation. * The conference was originally planned for December 2021, but was postponed to 2022.

Read more less

Book SynopsisThis book constitutes selected and revised papers from the Second Silicon Valley Cybersecurity Conference, held in San Jose, USA, in December 2021. Due to the COVID-19 pandemic the conference was held in a virtual format. The 9 full papers and one shoprt paper presented in this volume were thoroughly reviewed and selected from 15 submissions. They present most recent research on dependability, reliability, and security to address cyber-attacks, vulnerabilities, faults, and errors in networks and systems. Chapters 1, 4, 5, 6, and 8-10 are published open access under a CC BY license (Creative Commons Attribution 4.0 International License).Table of ContentsMachine Learning for Security.- Encryption.- Miscellaneous Security.

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 volume constitutes selected papers presented at the First International Conference on Emerging Technology Trends in IoT and Computing, TIOTC 2021, held in Erbil, Iraq, in June 2021. The 26 full papers were thoroughly reviewed and selected from 182 submissions. The papers are organized in the following topical sections: Internet of Things (IOT): services and applications; Internet of Things (IOT) in healthcare industry; IOT in networks, communications and distributed computing; real world application fields in information science and technology.Table of ContentsInternet of Things (IOT): Services and Applications.- Internet of Things (IOT) in Healthcare Industry.- IOT in Networks, Communications and Distributed Computing.- Real World Application Fields in information Science and Technology.

Read more less

Book SynopsisThis book contains a series of revised papers selected from 7 workshops organized by 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, which was held in September 2021 in Bari, Italy. The 15 papers included in this volume were carefully reviewed and selected from 30 submissions. They show the design of interactive technologies addressing one or more United Nations' Sustainable Development Goals, to deal with evolving contexts of use in today’s and future application domains and its influence on human-centered socio-technical system design and devel-opment practice, share educational resources and approaches to support the process of teaching and learning HCI Engineering (HCI-E), share educational resources and approaches to support the process of teaching and learning HCI Engineering (HCI-E), and address and discuss geopolitical issues in Human-Computer Interaction as a field of knowledge and practice.Chapter “Extreme Citizen Science Contributions to the Sustainable Development Goals: Challenges and Opportunities for a Human-Centred Design Approach” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Table of ContentsAdaptivity.- Collaborative and Social Computing.- Context of Use.- Designing for Smart Devices & IoT.- Designing Safety Critical Systems.- HCI Engineering.- HCI Teaching.- Human-centred Development of Sustainable Technology.- Human-Computer Interaction.- Human-Work Interaction.- Interaction Design.- Ubiquitous and Mobile Computing.- Virtual Reality.

Read more less

Book SynopsisThis book constitutes refereed proceedings of the Second International Conference on Smart Technologies, Systems and Applications, held in Quito, Ecuador, in December 2021. Due to the COVID-19 pandemic the conference was held in a hybrid format. The 29 full papers along with 1 short paper presented were carefully reviewed and selected from 104 submissions. The papers of this volume are organized in topical sections on smart technologies; smart systems; smart trends and applications.Table of ContentsSmart Technologies.- Smart Systems.- Smart Trends and Applications.

Read more less

Book SynopsisThis open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.Table of ContentsFASE Contributions.- Information-flow Interfaces.- A Survey-Based Feature Model for Software Traceability.- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers.- On the Detection of Doped Software by Falsification.- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing.- Quantitative Program Sketching using Lifted Static Analysis.- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning.- Finding Semantic Bugs Fast.- SMC4PEP: Stochastic Model Checking of Product Engineering Processes.- Symbolic Predictive Cache Analysis for Out-of-Order Execution.- PEQtest: Testing Functional Equivalence.- An Institutional Approach to Communicating UML State Machines.- Semantic Code Search in Software Repositories using Neural Machine Translation.- AequeVox: Automated Fairness Testing of Speech Recognition Systems.- SMT-Based Planning Synthesis for Distributed System Reconfigurations.- Semantic Clone Detection via Probabilistic Software Modeling.- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants.- Test-Comp Contributions.- Advances in Automatic Software Testing: Test-Comp 2022.- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution).- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).

Read more less

Book Synopsis

Read more less

Book SynopsisTechnologies, Services and Content Creation for Interactive Digital TV.- Architecture for Interactivity in DTV Adapted to Cuban Conditions.- Development of a Gateway Server to Enhance Early Warning in Digital Terrestrial Television.- Personalized Enrichment of Video through a Crossmedia Environment.- Health and Socialization Through Interactive TV.- Physical Functionality in Older Adults through Interactive Digital TV Intervention.- Alexa, Send a Hug: TV and Virtual Assistants to Empower Older Adults and Stimulate Intergenerational Connections.-Encouraging Seniors to Get Active: Implementing a Gamification Strategy on Television.- User Interfaces, Interaction and Accessibility.- Public Transparency on Mobile Devices: An Evaluation of Brazilian Capital Transparency Portals Based on Heuristics.- Using EEG and Eye-Tracking to Identify Student Attention in Distance Education.- A Study on Methods Of Synchronization Between Gestural-Visual And Audiovisual Communication.

Read more less

Book SynopsisArchitectures.- Synthesis of SFQ Circuits with Compound Gates.- Architecture-Compiler Co-Design for ReRAM-based Multi-Core CIM Architectures.- A Leap of Confidence: A Write-Intensity aware Prudent Page Migration for Hybrid Memories.- Efficient Depth Optimization in Quantum Addition and Modular Arithmetic with Ling Structure.- Accelerators.- Exploring Constrained-Modulus Modular Multipliers for Improved Area, Power and Flexibility.- Accelerating Large Kernel Convolutions with Nested Winograd Transformation.- A Unified and Energy-Efficient Depthwise Separable Convolution Accelerator.- Resiliency and Robustness .- Analyzing the Reliability of TCUs Through Micro-architecture and Structural Evaluations for Two Real Number Formats.- Advanced Quality Assurance Platform for Robust Process Design Kits.- FPGA-Implementation Techniques to Efficiently Test Application Readiness of Mixed-Signal Products.- Radiation Tolerant 14T SRAM Cell for Avionics Applications.- 3.125GS/s, 4.9 ENOB, 109 fJ/Conversion Time-Domain ADC for Backplane Interconnect.-Security and Privacy.- Enhancing HW-SW Confidentiality Verification for Embedded Processors with SoftFlow's Advanced Memory Range Feature.- Confidential Inference in Decision Trees.- Enhancing the Security of IJTAG network using Inherently Secure SIB.

Read more less

Book Synopsis.- Striking the Balance in Using LLMs for Fact-Checking: A Narrative Literature Review..- Leveraging Large Language Models for Fact-Checking Farsi News Headlines..- Conspiracy Detection Beyond Text: Exploring the Feasibility of Adding Psycho-Linguistic Features to Enhance Conspiracy Detection Models..- To Share or Not to Share: Randomized Controlled Study of Misinformation Warning Labels on Social Media..- Crowdsourcing Statement Classification to Enhance Information Quality Prediction..- The spread of anti-vaccination memes on Facebook..- Multi-Platform Framing Analysis: A Case Study of Kristiansand Quran Burning..- Understanding political communication and polarisation: A case study of the Colombian President's X utilisation.

Read more less

Book Synopsis.- Digital Transformation Approaches in Production and Management..- Leveraging Sentiment Analysis and Reporting for Re-Designing Business Processes using Large Language Models: A SentiProMo Case Study in Airline Check-In Processes..- Development of a Framework for Data-Supported Personas..- Fuzzy Maturity Model for Transformative Procurement Readiness: Procurement 4.0 perspective..- Guiding Process Mining Projects with the IPMM Framework: A Case Study with a German Manufacturer..- Assessing Additive Manufacturing and Digital Inventory Ecosystem in the Oil & Gas Context..- Unlocking the potential of blockchain in road freight transportation operations..- Digital Transformation Towards Human-Centricity: A Systematic Literature Review..- Literature Review on the Current State-of-the-Art in Research and Technological Advancements in the Field of Machine Learning applied to Predictive Maintenance..- Coordinating Digital Transformation: Exploring IT Organizational Adaptations in International Manufacturing Networks..- Building Digital Capabilities in Manufacturing SMEs..- Dashboard Development for the Quality Department of a Company from the Automotive Industry..- Digitalizing Smallholder Farmer Agri-Food Supply Chains: A Case Study from a Developing Economy..- Let them eat data a concept that allows us to share data from farm to fork (and back to the farm..- Simplifying data analysis: A visualization framework and practical application for complex BEV data..- Integrating AI with lean manufacturing in the context of industry 4.0/5.0: Current Trends and Applications..- New Horizons for Intelligent Manufacturing Systems with IoT, AI, and Digital Twins..- Dynamic pricing for fashion supply chain with blockchain supported value authentication..- An Explorative Study of AI Applications in Composite Material Extrusion Additive Manufacturing..- Explainable Artificial Intelligence in Manufacturing Operations: a bibliometric analysis..- Pre-Post Analysis on Multi-Skill Development using Flow Line Data at Expressway Service Area Facilities..- Human Data Analytics Interaction through Voice Assistance in Electric Vehicle's Battery Testing..- Towards a Maturity Model for Intelligent Digital Twins in Manufacturing..- Information Modeling for Data-driven Digital Twin Simulation: Insights from Case Studies of Port Logistics and Urban Traffic Systems..- Lenses on Data: Toward an Application Perspective on Data in Manufacturing..- A Methodology for Identification of Reconfigurability Enablers and Application in a Manufacturing System..-Computer Vision-based Digital Twin and Digital Services for Dynamic Production and Logistics Environment..- Digital Twin-driven Reinforcement Learning for Dynamic Path Planning of AGV Systems..- Instance Segmentation and Digital Twin Use Case for WIP Tracking in Heavy Industry..- An Authoring Tool for Mixed Reality Interfaces for Digital Twins in Manufacturing..- Advanced Time Block Analysis for Manual Assembly Tasks in Manufacturing through Machine Learning Approaches..- Digital Twins (DT) applied to the customization of 3D printed Scara robots using intelligent manufacturing..- Centering on humans - Intersectionality in vision systems for human order picking..- Graph-to-sequence Approach for Job shop Scheduling Problem..- Product-centric Simulation for Proactive Evaluation of Production Plan in Shipyard..- A Mobile Air-Purification Device and Digital Twin for Managing Hazardous Gases at Industrial Sites.

Read more less

Book Synopsis.- Intelligent Systems..- Investigating Freshmen Students' Coding Standards Challenges Using NLP Techniques..- ParkinSense: A Tri-Sensory AI-Powered Framework for Early Detection of Parkinson's Disease..- Analysing The Role Of Post Click Factors In Generating Leads Through Search Advertising..- mCLIP: Multimodal Approach to Classify Memes..- Enhancing Marine Litter Management in the Gulf of Aqaba Through AI..- Solving the Rush Hour Puzzle Problem by Different Heuristics..- Advancing Precision Agriculture: Machine Learning-Based Crop Recommendation for Optimal Yield..- Pattern Recognition..- Low-Cost Biodegradable composite-shaped Split Ring Resonator (SRR) Based Sensor for Breast Cancer As-sessment..- XR-Menu: Food Ordering System in Extended Reality Application..- Predicting Crime Hot Spots using Machine Learning Algorithms: Cities in USA and South Africa..- Experience with the Implementation of Machine Learning on ESP32-based Edge Devices..- Stock Open Price Prediction of Software Companies in the BSE SENSEX 50 Index..- Implementation of Morphological Fractional Order Darwinian Operator for Brain Tumour Localization.

Read more less

Book Synopsis

Read more less

Book Synopsis.- Design an AutoCar Kit for Project-Based Learning in Autonomous Vehicle Programming for University Students..- Research and Application of Distributed Energy Storage Monitoring System Based on Plug-And-Play Protocols..- Long-Term Traffic Congestion Detection Method Based on Speed-Threshold..- Application of Digital Exhibition and Preservation of Intangible Cultural Heritage via Holographic Real-Time Cloud Broadcasting..- Node Pressure Prediction by Aggregating Long-Range Information..- Novel Technology for IoT Charging Battery..- Optimizing Target Coverage in Wireless Sensor Networks: A Hybrid Differential Evolution and Simulated Annealing-Based Approach..- Research on Automatic Detection and Early Warning of Epilepsy in Electroencephalogram Signals..- Cross-Scale Bilevel Aggregation for Multi-Exposure Fusion via Conditional Generative Adversarial Network.

Read more less

Book Synopsis.- Geographics aspects and LOPA Methodology: A Comprehensive Approach to Biogas generation plants..- Google Earth Engine Based Forest Monitoring and Decision Support: Evidence From Elrawashdah Forest,Sudan..- Geospatial intelligence for Circular Economy in Mexico City..- Integrating a GIS enhanced security system in Wireless Sensor Networks (WSN): A Geospatial Deployment Approach..- Spatio-temporal Analysis of Diabetes-related Hospitalizations: Geographical Areas of MexicoSchool clustering throught machine learning and geospatial analysis..- Spatial Regression Models on Sexual Violence against Women in Mexico City..- Geographic Gamification Strategies in Mathematics Education: Enhancing Linear Algebra Learning at the Technological University of Cancún..- Spatial Analysis of Student Feedback on Learning Management Systems in Mathematics: Leveraging GIS for Enhanced Insights..- Semi-automatic construction of knowledge graphs on Natural Disasters in Mexico using Large Language Models..- Spatial and seasonal patterns of rainfall climate teleconnections in three hydropower generation basins in tropical Ecuador..- Implementation of spatial correlations and kernel densities to identify deficiencies in the coverage of public health infrastructure..- Indices and State of Vegetation Health, obtained with multispectral cameras, in two thermal springs of the Sierra Madre Oriental..- Identifying spatio-temporal patterns of COVID-19 vaccination effects in social networks of Mexico City.

Read more less

Book Synopsis.- High Performance Computing Track..- Impact of job scheduling policy changes on user behaviour and system response: The case of the Santos Dumont supercomputer in Brazil..- A Study of Performance Portability in Plasma Physics Simulations..- High performance computing for auto supervised machine learning training: parallel-distributed implementation of the Word2Vec algorithm for training word embeddings..- A Comprehensive Analysis of Process Energy Consumption on Multi-Socket Systems with GPUs..- Enhancing Reverse Time Migration Simulations in HPC Systems through I/O and Computation Overlapping..- Evaluation of Computational and Power Performance in Matrix Multiplication Libraries - MKL Vs cuBLAS..- A User-centric Evaluation Methodology for Informed Provisioning of High Performance Computing Resources in Academic Institutions..- EfiMon: A Process Analyser for Granular Power Consumption Prediction..- Leveraging CPU-FPGA Co-design for Matrix Profile Computation..- Artificial Intelligence at HPC Scale Track..- Web system for recognizing actions of physical violence in urban spaces using CNN with Transfer Learning..- Quantized SG-MCMC for Bayesian Deep Posterior Compression..- No Plankton Left Behind: Preliminary results on massive plankton image recognition..- Machine Learning Regression-based Prediction for Improving Performance and Energy Consumption in HPC platforms..- A new computational framework for crop yield estimation and phenological monitoring..- Histopathology Image Augmentation through StyleGAN2-ADA..- High Performance Computing Applications Track..- Strategies to Reduce Memory Consumption in Software Quantum Computing Simulators..- Adaptive Edge-Based AIoT Architecture for Efficient Retraining and Sustainable Monitoring of Ephemeral Streams..- Multi-GPU Tomographic Reconstructions of Large Volumes in the Frequency Domain..- Accelerating tomographic artifact removal using a multi-GPU system..- A parallel multi-threading global energy balance for a room thermal analysis in an unsteady state..- Parallel Computing Strategies in WRF: The Role of MPI, OpenMP, & NUMA Affinity.

Read more less

Book Synopsis.- Artificial intelligence and supercomputer simulation..- Tools for Constructing Production Digital Twin Models Based on an Algebraic Approach and a Graphical State Language Extended by Functional and Operational Semantics..- The Comparison of Meta-Heuristic and Reinforcement Learning Approach to Implement a Given Qubit Logic.- Modelling of a Quantum System Dynamics in an Instantaneous Basis..- Evaluating Perceived Complexity of Process Models from a Targeted Survey of Healthcare Domain Specialists..- Constructing Author Closeness Networks Using SCOPUS Bibliometric Data..- Optimizing Deep Learning Inference on RISC-V Platforms within the OpenVINO Toolkit..- Computing in optimization and optimal control..- Multicriteria Selection of Parameters of Multi-Pulse Strongly Nonlinear Dynamic Systems..- Assessing Diversity in Global Optimization Methods..- Data Reconciliation and Monitoring in Gasoline Blending Applications..- The COPRAS Method with Interval Weights..- Optimal Control of Quasi-Stationary Electromagnetic Fields..- Computational methods for mathematical models analysis..- Comparison of Different Models for Simulation of Ice Destroyed Zones During the Low-Speed Impact..- One-dimensional Boundary Value Problems of Nonlinear Diffusion Theory..- New simple Lie algebras found by computer and non-alternating Hamiltonian algebras..- Justification and Implementation of the Galerkin Method for Solving Non-Classical Mathematical Problems of the Atmospheric Electricity Theory..- Mathematical Modeling of the Dynamics of Elastic Elements of Mechanical Engineering Structures Carrying Moving Distributed Loads..- Numerical Modeling of Low-Velocity Impacts on Aircraft Composite Rods..- Dynamic Model of a Composite Sectional Design of a Tiltrotor with Two Tilting Propellers..- Acoustic Levitation Applied to Tissue Engineering..- Numerical Investigation of Initial Small Imperfection Influence on Post-buckling Shape of a Cylindrical Shell in Axial Compression.

Read more less

Book SynopsisComputing Solutions.- COVID 19 Pandemic Management A Cloud Based Electronic Health Record System.- Efficiency and Quality in Bottle Capping A Comparative Analysis in the Pisco Industry.- A Mathematical Model for a Realistic Course Scheduling at Universities.- Linking Clinical Information to ICF Inter and Intra Rater Agreement when Using a Coding Platform.- Optimization of Bucking Rules in the Forestry Industry Considering Taper Functions.- Ready for Digitization Decision Making Model for Low Code Development Platform Selection.- Pre diagnosis and Referral of Patients to a Specialist Medical Team Through Facial Biomarker Detection.- Vertical Aeroponics as a Better Alternative for Sustainable Environment Control, a Simulation Approach.- How to Reduce the Waiting List for Maxillofacial Surgery of Third Molars.- A New Efficient Genetic Algorithm for Solving the Kidney Exchange Problem.- Network emulator based on openstack for the implementation of a virtual data network laboratory in higher education institutions.- Unveiling the Supply Chain Digital Transformation of Small and Medium Enterprises A Managerial Insight on Success Factors and Challenges.- GHG Web Portal Dashboard a scalable and flexible digital platform for efficient environmental monitoring.- The Sensors and Their Communication Among the Production Activity of Agroindustry Ecosystems.- Representation Dimension of Quantitative Reasoning and Cooperative Learning.- Application of the Linear Model on the Optimal Fleet Calculation for Internal Transportation of a Peruvian University.- Transforming Graduate Data for Strategic Decision Making A Business Intelligence approach in Higher Education.- Strategies Based on Learning Styles for the Academic Improvement of the UISRAEL Students.- Gamified Application for the Reinforcement of Mathematical Skills in Elementary Education.- Hydrogen as Energy Vector Analysis of the Global Development on Decision making Support Systems.- SafePlace A Mobile Application Prototype for Supporting People with Anxiety.- Cost Effective Tension Testing System for Plastics Industries.- Optimizing Disaster Preparedness A Zigbee and Digimesh Based Approach for Illu-minated Evacuation Routes.- Application of Design Thinking in the Product Ideation Phase Use of Agile Methodologies.- Intelligent Monitoring System for Construction Sites.- Knowledge based Model for Detecting the Neurodegenerative Diseases Using Text Complexity Measures.- A Web Tool for Representing Algorithmic Flowcharts and its Support for Pseudocode Learning.- Natural Language Processing Techniques to Identify Work Profiles from Online Job Postings.- Assessment of the Effects of Big Data Management on Decision Making and Business Performance.- Virtual Reality for the Support of School Teaching in the History Course.- Automated System for Improving Audit Data Processing through DAMA DMBOK Best Practices and Low Code.- Empowering Environmental Stewardship in Panama A Mobile Application for Monitoring Greenhouse Gas Emissions.

Read more less

Book SynopsisData Intelligence.- Implementation of Classication Algorithms on Genomic Data in Order to Determine the Diagnosis of Patients at Risk of Developing Breast Cancer.- The Impact of Robotic Process Automation in Higher Education.- Third Molar Angle Detection in Dental X ray Panoramic Radiographs Using YOLO and GoogleNet Convolutional Neural Networks.- Optimization of Student Comfort Using Ambient Intelligence and Data Mining.- Unleashing Chaos: Enhanced Reptile Search for the Set Covering Problem.- Data Driven Autonomous System for Lane Keeping in a 1:10 Scale Vehicle for Autonomous Driving.- Examining the Influence of Online Internship Portal's Ease of Use, Accessibility, and Visual Appearance on Students' Training Interactions and Outcomes: A Case Study on Hospitality Internscation.- Robotic Process Automation Application in Healthcare.- A Design of Experiments to Analyze Crop Growth Based on Seed Position in Sowing.- Prediction Model of Energy Consumption using Autoregressive Models and Differential Evolution.- Automatic Trajectory System for Unmanned Vehicle Swarms Using Artificial Vision.- Data and Models for Sunspots Detection in Solar Images Captured with Smart Tele-scopes.- Data Augmentation for Improved Melanoma Classification in Convolutional Neural Networks.- Neural Networks for Demand Prediction In Stochastic Environments.- Improving Data Vault flexibility and Temporal Aspects within the Data Warehouse Landscape.- Contrarian Thinking Bearish Patterns in Nasdaq-100 Uptrend evaluated through Genetic Algorithms.- Business Intelligence for Fault Detection and Diagnosis in Electrical Meters.- Intelligent Package Registration System based on Vision and Machine Learning.- Advancing Food Sustainability: A Prototype Platform for Informed Decision Making.- Automatic Candling System with Artificial Intelligence Based on Neural Networks.- Influence of ChatGPT on Programming Code Generation: A Case Study of the Technical University of Manabí.- Joint Angle Estimation for an Industrial Manipulator Robot via Convolutional Object Detection and K means clustering.- Design of IoT Architecture and LLM Model for Personalized Training Recommendations for Athletes.- The Application of Imaging Methods and Machine Learning in the Agroindustry Sector at Production Activity.- Predicting Solar Radiation in Manabí: A machine learning approach.- Human robot Interaction Based on Hand Gesture Detection using YOLO Algorithm.- Use of Machine Learning Algorithms for Damage Detection on Heritage Buildings Using UAV Pictures.- Enhancement of HRM Business Processes within Organizations in the Context of Digitalization.- Optimization of solid waste collection routes in the district of Villa El Salvador, LimaPerú.- Automated Precision in Food Packaging A Cost Effective Solution for Emerging Companies.

Read more less

Book Synopsis.- International Symposium on Technological Innovations for Industry and Society (ISTIIS 2024)..- Towards a Sustainable and Smart Industrial Symbiosis Matchmaking Algorithm..- Indicators for the Evaluation of Agri-food Supply Chains Under Industry 5.0 Parameters..- Preliminary Study About the Water Quality Prediction Models: a textile case study..- A Semi-automatic Pipeline for the Decay Mapping and the State of Conservation As sessment of Architectural Heritage Through Point Clouds..- Satellite data analysis for the observation and monitoring of cultural heritage. The case of the Archaeological Park of Metaponto, Italy..- Improving the Resource Management Process in Industrialization Projects..- Sustainability Strategies and Practices in Society and Organizations..- International Workshop on Electronic and Telecommunications (IWET 2024)..- Outdoor Biophotovoltaic LED Luminaire for Sustainable Energy Solutions..- Real-Time Detection of the Colta’s Lagoon Surface Contamination Using a Unmanned Aerial Vehicle (UAV)-Based Machine Learning..- Study of Techniques and Technologies to Identify Vulnerabilities and Mitigate Risks in Computer Systems in University Institutions in Quito, Ecuador..- Short-Term Prediction of Electricity Demand Using Deep Learning Models..- Machine Learning-based Projections of Long-term Electricity Consumption: The Case Study of Ecuador..- Prediction of Blood Oxygen Saturation by Physiological Variables Using Machine Learning..- Inference Assessment on sub-6GHz Wi-Fi Systems..- Dual-Band Logarithmic Antenna Array for 5G Technology and Satellite Communications..- Analysis Method for the Study of Jamming and Anti-Jamming Based on IDS..- Boosting Tourism using New Technologies (#RTNT2024)..- Technological Gaps Across Generations: How Ease of Use and Social Influence Affects QR Code Effectiveness in Restaurants..- Cybersecurity in Information and Communication Technologies (CICT 2024)..- Optimizing the Error-Detecting Capability of the Quasigroup Redundancy Check Code when Quasigroups of Order 4 are Used for Coding..- Towards Ensuring AI Data Access Control in RDBMS..- Bridging Knowledge in a Fragmented World (glossaLAB 2024)..- Comparative Evaluation of Speech-to-Text Software Based on Sociodemographic and Environmental Factors..- Workshop on IoT Networks and Wireless for sustainability (WINWIN-4S 2024)..- Evaluation of Parental Control Tools Functionalities: The Chilean Context..- Joint Spectrum and Antenna Selection Diversity for V2V Links with Ground Reflections..- Optimization of Coverage and Energy Efficiency in Underground Wireless Networks..- A Lightweight and Efficient ECDSA Core for FPGA-based Edge-AI Platforms..- IoT Application Development: A Comprehensive Narrowband Connectivity Device Solution..- Real-Time Anomaly Detection Algorithm for DoS Attacks in Communication Networks with IEDs Using IEC 61850..- On the Performance of an Air-Water Visible Light Communication System..- Innovation in Educational Technology (JIUTE 2024)..- Competence of Teachers and Ethical Aspects of Implementing AI Technologies in Education..- Digital Transformation and Workforce Skills in Technology-based Companies: Navigating Sinaloa’s Industry 4.0..- Simplified code in Wolfram Language to Project Objects from Four-dimensional to Three-dimensional Euclidian Space..- Tactile Volcano Maps as Resources for an Inclusive Science Education.

Read more less

Book Synopsis.- Applications of Computational Mathematics to Simulation and Data Analysis (ACMaSDA 2024)..- Resonant Recognition Model as a Preprocessing Technique for RNA Classification..- Computational Performance Analysis of PCA Enhanced AnEn Method..- Depth Completion Enhancement with Morphological Filtering and a Variation of the Infinity Laplacian..- Business, Technology and Digital Transformation (BTDT 2024)..- Blockchain Application in Smart Tourism..- Fuzzy theory in Credit Scoring: A literature review..- Mobile Application for Managing Service Payments in SMEs..- Bibliometric Insights into AI and Emerging Technologies for Sustainability Accounting and Reporting..- Urban Governance Models in Smart Cities: case of Quito-Ecuador..- The Use of Artificial Intelligence in Governance: A Systematic Review..- Smart Chatbot for the Optimization of the Use of Natural Resources in Agricultural Production..- Emergent Technologies and Artificial Intelligence (ET-AI 2024)..- Optimizing Autonomous Vehicle Control through Deep Q-Learning: A Simulation Based Approach with CARLA..- Analysis of the Correct Execution of Free Squats for Injury Prevention: A Genetic Al gorithm Approach..- Lane Direction by Implementing Random Sampling Algorithms..- Intelligent Systems for Health and Medical Care (ISHMC 2024)..- A Model for Recognizing Mexican Sign Language Using Convolutional Neural Networks..- AI-based Decision Support Systems to Improve Diagnostic Accuracy Via Medical Imaging..- Predicting Employment Outcomes Based on Health Status and Socioeconomic Factors Using Neural Network Analysis..- Explainability of Disease Classification from Medical Images using XGrad-Cam..- MRI-Based Brain Tumor Classification: A Texture Analysis and Machine Learning Approach..- Leveraging Neuromarketing and AI: Developing an Algorithm to Detect Consumer Joy through Brain Signals..- Femoral Head Surface Segmentation Using Ultrasound Images as Input Source: A local phase and rigid filtering approach..- Interpreting CNN for Brain Tumor Classification using XGrad-Cam..- D.R.E.A.M App to Promote the Mental Health in Higher Education Students..- Workshop on Gamification Application and Technologies (GAT 2024)..- FGPE - An Evolving Framework for Gamified Programming Learning..- Enhancing Gamified LMS with the Integration of Games Experiences..- Impact of Educational Video Games on the Development of Meaningful Learning in the Field of Mathematics..- Smart Tourism and Information Systems (SMARTTIS 2024)..- Innovation in Tourism: The Role of Artificial Intelligence in Personalizing the Traveler Experience..- Visitor Perspectives on Event Marketing's Role in Local Tourism..- Smart Tourism Ecosystem: From connectivity to value co-creation..- Service Quality in Porto’s Hotels: A Comprehensive Analysis of Customer Reviews on TripAdvisor..- Exploring Wearable Device Acceptance: An Empirical Study..- Exploring the Synergy Between Traditional Markets and Tourism: an inferential analysis..- Analysis of the Visitor Profile, Perspectives and Tourism Innovation: Case of Santa Elena, Ecuador..- Analyzing Artificial Intelligence in the Tourism Sector: A Bibliometric Study from the Past Decade..- From Likes to Comments: Tracking Interaction Trends on Social Networks to Promote Cultural Events.

Read more less

Book Synopsis.- Advance Network Technologies..- Ensuring Advanced ATM Security: A Formal Verification Approach With Event-B..- Secure Communication in Fog Nodes through Quantum Key Distribution..- Exploring Efficacy of Cryptographic Hash Functions SHA-256 and Blake2s against HashBoost..- Deep Reinforcement Learning-Driven Path Optimization in Multi-UAV Edge Computing Systems..- Decentralized Authentication and Data Security Scheme for IoMT devices and Patients using Blockchain, PUF and IPFS..- Detection and Mitigation of IoT based DDoS Attack using Extended MUD enabled Device Profiling Techniques..- Load Balanced Transaction Scheduling using Gaussian mixture model-ant colony optimization..- Botnet-Based DDoS Attack: Automatic Detection, Mitigation, and Real-Time Traffic Filtering in Cloud Environments..- Optimizing Cost Overhead in Low TPS Microservices with frequent Writes to Storage with Small Data Size..- Designing A Smart Healthcare IoT System for Precise Fall Detection in Older Adults Using Multi-Sensor Data Fusion..- Securing Pharmaceutical Supply Chains with Ethereum Blockchain: A Model for Counterfeit Prevention and Transparency of Drugs..- A Hybrid Algorithm with Fuzzy Logic for Population Diversity Maintenance of Genetic Algorithm..- IoT - enabled Tool for Static and Dynamic Analysis of Hand Strength..- Decentralized Defences from Federated Learning for Ethereum Phishing Detection..- Maximum Independent Set using Hummingbird Optimization..- Machine Learning Based Voltage Prediction with Various Levels of pH in IoT Environment..- Deep Multi-time Visualization and Analytics for E-commerce Platform..- Lightweight Distributed Ledger Technology and Consensus Algorithms for D2D Communication..- Evaluating the Effectiveness of Machine Learning Algorithms for Network Intrusion Detection..- IoT System intrusion detection with XGBoost optimized by modified metaheuristics..- Spammer Groups Detection in Online Reviews: A Novel Approach Using FP-Growth and Behavioral Features..- Encoder - Based Trusted Routing Algorithm for Underwater Wireless Sensor Networks..- Development of Blockchain Integrated Agricultural Land Lease Framework with a Voting-Based Consensus Protocol Using Event-B..- A Post Quantum Key Policy Attribute Based Encryption Scheme from Code Based Cryptographic Assumptions..- Edge AI to Edge Robotics: Enhancing Human Pose Estimation with High-Performance TPU Computing..- Task scheduling in distributed real-time systems using hybrid model based on ACO-GA..- Enhancing Box Type Solar Cooker Performance with Optimal Reflecting Sidewall Angles using Genetic Algorithm.

Read more less

Book Synopsis.- Advance Network Technologies..- Ameliorated Standardization Framework for Post-Quantum Cryptographic Algorithms..- Integrating IoT and Machine Learning for Human Fall Detection  and Activity Monitoring..- A Novel Protocol for Authentication and Group Key Distribution for Secure Data Transmission in VANET Environment Using Theory of Number..- Revolutionizing Urban Mobility: ZoomBikes..- Lane Detection in Autonomous Vehicles Using Unsupervised Machine Learning and Light Detection and Ranging..- Secure Intelligence Development Lifecycle (SIDL) Model for Vulnerability Detection..- Predictive VM Placement Algorithm for Resource Optimization: Leveraging Deep Learning Forecasting and Resource Relationship Modeling..- Analysis of Different Gravity Models to Determine Key Nodes in Social Networks..- PUF-Based Ownership transfer using Blockchain..- Intelligent Computing..- Comprehensive Water Quality Analysis and Prediction Using Ensemble Machine Learning Models..- Efficient Sparse Tensor Core Networks for Real-Time Insect Classification in Agriculture..- Detection model for Pulmonary TB on Augmented X-ray Images Enhanced through Histogram Equalization..- Comparing the Performance of Supervised, Unsupervised and Hybrid Learning on Medical Insurance Fraud Detection..- Deep-MFR: A Deep Learning Ensemble Approach for Improved Masked Face Recognition..- Reduced Kernel Principal Component Analysis approach for Microarray Spot Classification..- Detection of Vitiligo using Ensemble Learning..- Integration of Multi-Feature Analysis with Lightweight CNN Model for Heart Sound Classification..- Vaccine Sentiment Analysis:  A Twitter Study using NLP and ML approach..- COMPUTER-AIDED DIAGNOSTIC SYSTEM FOR ALZHEIMER'S DISEASE USING 3D MRI IMAGES..- Impact of Virtual Reality on Cultural Heritages: Development of Mobile VR Tour of the Museum Site of Chandigarh, India..- Interpretable Liver Fibrosis Classification Using 1D-CNN..- Software Defects Prediction using Generative Adversarial Network based Data Balancing..- CRNet: Convolutive Recurrent Network for Suspect Face Identification..- Integrating Optimized CNN and Deep CNN Model for Enhanced Maize Plant Leaf Disease Classification and Prediction Systems..- Lung Region Segmentation from Chest-Radiographs Using EfficientNetB7..- EnigmaArt: Dual Image Encryption and Compression via Autoencoding and Pixel Conversion..- Artificial neural networks with soft attention: Natural language processing for phishing email detection optimized with modified metaheuristics..- Reddit Sentiment Analysis Using AWS Services..- Enhancing Security in Software-Defined Networks: A Machine Learning-Driven Hybrid Intrusion Detection System with Optimized Feature Selection.

Read more less

Book Synopsis.- Intelligent Computing..- DDoS Attack Detection Using Explainable AI in Machine Learning..- XcUNet for Skin Lesion Segmentation followed by  Clustering based Post-processing..- Exploratory Study on Different Transformer Models..- VisionLingua: Empowering Multimodal Understanding with Cutting-Edge Language Models..- Human Action Recognition using Mediapipe Holistic Keypoints: A Deep Learning Approach..- Machine Learning for Waste-to-Energy: Optimization and Predictive Analytics..- Enhanced Traffic Forecasting for Urban planning  Using DeepWalk Embeddings and  Spatio-Temporal Graph Ordinary Differential  Equation model..- Fault Detection in Semiconductor Manufacturing Using Advanced Machine Learning Techniques with Interpretability..- Fine-Tuning RetinaNet for  Few-Shot Fruit Detection..- Smart Street: AI-Powered Traffic Flow Enhancement with Adaptive Signal Control..- A Hybrid Machine Learning Approach for  Accurate Milk Quality Classification..- Designing VoiceGPT Chatterbox Concierge: A Personal AI Assistant for Daily Services using Supervised Machine Learning Based Speech Recognition Techniques..- Improved Classification Techniques Using Convolutional  Neural Networks for Rice Plant Disease Detection..- Enhancing Customer Segmentation and Behavior Prediction through Machine Learning and Medium Gaussian SVM..- Grapevine SDLC Model for Real-Time Fake News Classification..- Detecting AI-Generated Text Using Fine-Tuned Transformers: A Study on Academic Integrity..- MoReco: AI Model Recommendation and Optimization for B5G Networks..- File Prefetching Accuracy Enhancement using Deep Learning Approaches..- Mamba based conditional GAN for optical cloud removal of satellite images..- A hybrid quantum machine learning model for multi-class classifier..- Adaptive Resource Management in Massive Machine-Type Communications Using Reinforcement Learning..- Advanced Machine Learning and Features based Data Analytics of Electricity Consumption in USA and India..- Cross-Domain Adversarial Attacks and Defense Mechanisms in Multimodal Neural Networks..- Deep Feature Fusion of Local and Global Patterns for Early Detection of Lung Abnormalities in Chest X-Rays.

Read more less

Book Synopsis.- Intelligent Systems and Software Engineering Advance..- Impact of Feature Standardization on Classification Process Using PCA and SVM Algorithms..- Interactive bicycle route planning system using an efficient Dijkstra-based algorithm..- Fantastic fishes and how to classify them..- The research setup for measuring and recording the impact of power supply method on energy losses in a BLDC motor..- Assessing the Performance of NMF and GMM in the Soft Classification of Kidney Stones: Insights from FTIR Data..- GAN-CLAHE: Generative Adversarial Networks enhanced with CLAHE for image generation process..- The impact of different generators in Deep Convolutional GAN models on the quality of generated photos..- Modeling the Intellectual Behavior of a Team of Robots Based on the Multi-Agent Simulation Model..- Cyber Security..- FinTech Security Challenges in Control of Digital Trustworthy Against Money Laundering..- Comparative Analysis of Ensemble Learning and Deep Neural Network for Malware Detection: A Comprehensive Evaluation with Feature Optimization..- Radio Hacking and Its Impact on Navigation Systems..- A Neural Network Approach to Chess Cheat Detection..- Intelligent Methods for Data Analysis and Computer-Aided Software Engineering..- Development of a Decision-Making Support System for Website Selection..- OTE: A Tool for Extracting Tabular Purchasing Order Information From PDF Documents..- Visualization Examples in Financial Process Mining..- Risk Management Methodology in Agile Projects using Calculations based on Attributes..- Dating the Undated Manuscripts manually and automatically..- Analysis of Field-Edge System Latency in Transport Monitoring Environment..- Text Simplification for Lithuanian..- Constructing simulated party lists from voter preference lists for use in elections based on single transferable vote..- Smart e-Learning Technologies and Applications..- A Case Study on Specific Delivery Issues in Hybrid Learning Implementation..- Efficient Didactic Methods Used in Modern E-learning and Traditional Environments..- A Case Study on Big Data Course Design and Implementation..- A Case on Artificial Intelligence Technologies Using for Tutoring and Achieving Learning Outcomes.

Read more less

Book Synopsis.- Internet of Things and Big Data..- Low-cost IoT system to detect supbotimal conditions in PV arrays..- Geothermal Heat Flux Mapping using Satellite Remote Sensing, Case studies in the Hot Springs of El Salvador..- Distributed detection algorithm for photo-voltaic solar arrays based on least significant difference test..- Optimization of Urban Mobility with IoT and Big Data: Technology for the Information and Knowledge Society in Industry 5.0..- Big data quality processing model applied to predictive maintenance strategies for wind farms..- The other SOTA for DOTA: assessing general object detectors for aerial surveillance..- Intrusion detection system through mobile notifications using the Internet of Things..- Computational intelligence for smart cities..- Novel Convolutional Neural Network Model for Estimating Series Resistance in PV Cells by predicting I-V Curve Slopes on Electroluminescence Images..- A computational intelligence approach for car damage assessment..- Leveraging AI Techniques for an Efficient Approach to Smart City Planning and Maintenance..- Intelligent Student Counting System Tolerant to Occlusions based on Convolutional Neural Networks..- Optimization, smart industry, and smart public services..- Optimizing Household Appliance Usage to Minimize Energy Expenses: A Demand Management Approach..- Multi-objective optimization for the operation of a physicochemical phosphorus removal system..- An Evolutionary Approach for Determining Electric Vehicle Charging Infrastructure Location: A Case Study in Montevideo..- A traceability system with Industry 4.0: continuous improvement in a manufacturing plant in Mexico..- Innovative approaches for smart cities..- Benchmarking Building Energy Efficiency with Bayesian Regression on Incomplete Data..- Regression analysis for prediction of solar chimney performance..- A Home Assistant-based Platform for Ambient Intelligence in Smart Buildings..- Smart Urban Governance: The Baseline for Governing Future Cities..- Design of Content Distribution Networks for smart cities..- Control strategies for smart grid..- Three-phase VSI operated by FCS – MPC with efficient steady-state and transient behavior..- Non-Linear Control Strategy for a Bidirectional DC-DC Converter in an Energy Storage System Operating in Conjunction with a Grid-Forming Inverter..-  H-Bridge Cell Fault Clearing Algorithm for Cascaded Multilevel Converter Operating as Grid-Forming Inverter"..- Phase commutation strategy to mitigate overvoltage in distribution networks with high photovoltaic penetration.

Read more less

Book Synopsis.-  Crossing Borders by Revisiting Ethical Issues of Simulation and Gaming ..- Where to begin? Integrating Simulation and Indigenous knowledges to create new approaches. ..- Understanding Behavioral Differences between Machine Agents and Human Participants Based on How They Play the Energy Transition Game ..- Accounting for psychological safety in serious game and simulation design..- Enhancing Fair Play in Online Gaming: The Development and Implementation of the No More Cheats Anti-Cheat System ..- Navigating Uncertainty: The Emergence of Effort and Emotion in Tabletop Games..- Co-Designing an Applied Game about Volcanic Hazards for a Bi-Cultural Environment: 5 Minute Volcano..- Conflicted Courses: A Matrix Game for Course Design ..- A Framework for Co_Design of Edu Escape-Room Aimed ar Exploring Cultural Idenity..- Theory informing practice - theorizing good facilitation practice..- The Impact of Participants Motivation and Playfulness for the Facilitation of Simulation Games ..- Pratiti …becoming aware: Promoting Simulations and Games on a Global Platform ..- Analyzing relationship to nature within a game frame ..- Extraordinarily Large-Scale Gaming for the Youth..- How does evaluating the effects of a participatory simulation raise questions about the design intentions of participatory processes that may involve simulation/gaming? ..- Digital Veggie Mart Game for Nutritional Education and Sustainable Food Supply Chain ..- How Entrepreneurs Learn about Artificial Intelligence by Using an Analogue Card Game ..- The Impact of Simulation Games  on the Success of Simulation Game Course..- Feedback and Biofeedback procedure and results, based on the gearshift engine..- Simulating Complex Adaptive Software System Technical Debt.

Read more less