Algorithms and data structures Books

Book SynopsisThis open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems. Table of ContentsProbabilistic Systems.- A Probabilistic Logic for Verifying Continuous-time Markov Chains.- Under-Approximating Expected Total Rewards in POMDPs.- Correct Probabilistic Model Checking with Floating-Point Arithmetic.- Correlated Equilibria and Fairness in Concurrent Stochastic Games.- Omega Automata.- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.- Practical Applications of the Alternating Cycle Decomposition.- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation.- On-The-Fly Solving for Symbolic Parity Games.- Equivalence Checking.- Distributed Coalgebraic Partition Refinement.- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques.- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time.- Monitoring and Analysis.- A Theoretical Analysis of Random Regression Test Prioritization.- Verified First-Order Monitoring with Recursive Rules.- Maximizing Branch Coverage with Constrained Horn Clauses.- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation.- Tools | Optimizations, Repair and Explainability.- Adiar: Binary Decision Diagrams in External Memory.- Forest GUMP: A Tool for Explanation.- Alpinist: an Annotation-Aware GPU Program Optimizer.- Automatic Repair for Network Programs.- 11th Competition on Software Verification | SV-COMP 2022.- Progress on Software Verification: SV-COMP 2022.- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution).- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution).- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution).- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution).- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution).- The Static Analyzer Frama-C in SV-COMP (Competition Contribution).- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution).- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution).- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution).- The Static Analyzer Infer in SV-COMP (Competition Contribution).- LART: Compiled Abstract Execution (Competition Contribution).- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution).- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution).- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection.- Ultimate GemCutter and the Axes of Generalization (Competition Contribution).- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).

Read more less

Book SynopsisState-of-the-art database systems manage and process a variety of complex objects, including strings and trees. For such objects equality comparisons are often not meaningful and must be replaced by similarity comparisons. This book describes the concepts and techniques to incorporate similarity into database systems. We start out by discussing the properties of strings and trees, and identify the edit distance as the de facto standard for comparing complex objects. Since the edit distance is computationally expensive, token-based distances have been introduced to speed up edit distance computations. The basic idea is to decompose complex objects into sets of tokens that can be compared efficiently. Token-based distances are used to compute an approximation of the edit distance and prune expensive edit distance calculations. A key observation when computing similarity joins is that many of the object pairs, for which the similarity is computed, are very different from each other. Filters exploit this property to improve the performance of similarity joins. A filter preprocesses the input data sets and produces a set of candidate pairs. The distance function is evaluated on the candidate pairs only. We describe the essential query processing techniques for filters based on lower and upper bounds. For token equality joins we describe prefix, size, positional and partitioning filters, which can be used to avoid the computation of small intersections that are not needed since the similarity would be too low.Table of ContentsPreface.- Acknowledgments.- Introduction.- Data Types.- Edit-Based Distances.- Token-Based Distances.- Query Processing Techniques.- Filters for Token Equality Joins.- Conclusion.- Bibliography.- Authors' Biographies.- Index.

Read more less

Book SynopsisIn data publishing, the owner delegates the role of satisfying user queries to a third-party publisher. As the servers of the publisher may be untrusted or susceptible to attacks, we cannot assume that they would always process queries correctly, hence there is a need for users to authenticate their query answers. This book introduces various notions that the research community has studied for defining the correctness of a query answer. In particular, it is important to guarantee the completeness, authenticity and minimality of the answer, as well as its freshness. We present authentication mechanisms for a wide variety of queries in the context of relational and spatial databases, text retrieval, and data streams. We also explain the cryptographic protocols from which the authentication mechanisms derive their security properties. Table of Contents: Introduction / Cryptography Foundation / Relational Queries / Spatial Queries / Text Search Queries / Data Streams / ConclusionTable of ContentsIntroduction.- Cryptography Foundation.- Relational Queries.- Spatial Queries.- Text Search Queries.- Data Streams.- Conclusion.

Read more less

Book SynopsisAfter the traditional document-centric Web 1.0 and user-generated content focused Web 2.0, Web 3.0 has become a repository of an ever growing variety of Web resources that include data and services associated with enterprises, social networks, sensors, cloud, as well as mobile and other devices that constitute the Internet of Things. These pose unprecedented challenges in terms of heterogeneity (variety), scale (volume), and continuous changes (velocity), as well as present corresponding opportunities if they can be exploited. Just as semantics has played a critical role in dealing with data heterogeneity in the past to provide interoperability and integration, it is playing an even more critical role in dealing with the challenges and helping users and applications exploit all forms of Web 3.0 data. This book presents a unified approach to harness and exploit all forms of contemporary Web resources using the core principles of ability to associate meaning with data through conceptual or domain models and semantic descriptions including annotations, and through advanced semantic techniques for search, integration, and analysis. It discusses the use of Semantic Web standards and techniques when appropriate, but also advocates the use of lighter weight, easier to use, and more scalable options when they are more suitable. The authors' extensive experience spanning research and prototypes to development of operational applications and commercial technologies and products guide the treatment of the material. Table of Contents: Role of Semantics and Metadata / Types and Models of Semantics / Annotation -- Adding Semantics to Data / Semantics for Enterprise Data / Semantics for Services / Semantics for Sensor Data / Semantics for Social Data / Semantics for Cloud Computing / Semantics for Advanced ApplicationsTable of ContentsRole of Semantics and Metadata.- Types and Models of Semantics.- Annotation -- Adding Semantics to Data.- Semantics for Enterprise Data.- Semantics for Services.- Semantics for Sensor Data.- Semantics for Social Data.- Semantics for Cloud Computing.- Semantics for Advanced Applications.

Read more less

Book SynopsisThis book presents recent advances in computational optimization. The book includes important real problems like modeling of physical processes, parameter settings for controlling different processes, transportation problems, machine scheduling, air pollution modeling, solving multiple integrals and systems of differential and integral equations which describe real processes, solving engineering and financial problems.It shows how to develop algorithms for them based on new intelligent methods like evolutionary computations, ant colony optimization, constrain programming Monte Carlo method and others. This research demonstrates how some real-world problems arising in engineering, economics and other domains can be formulated as optimization problems.Table of ContentsLearning to Optimize.- Optimal seating assignment in the COVID-19 era via Quantum Computing.- Hybrid Ant Colony Optimization Algorithms – Behaviour Investigation Based on Intuitionistic Fuzzy Logic.- Scheduling algorithms for single machine problem with release and delivery times.- Key Performance Indicators to Improve e-Mail Service Quality through ITIL Framework.- Contemporary Bioprocesses Control Algorithms for Educational Purposes.- Monitoring a Fleet of Autonomous Vehicles through A* like Algorithms and Reinforcement Learning.- Rather "good in, good out" than "garbage in, garbage out": A comparison of various discrete subsampling algorithms using COVID-19 data without a response variable.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence in Medicine, AIME 2022, held in Halifax, NS, Canada, in June 2022. The 39 full papers presented together with 7 short papers were selected from 113 submissions. The papers are grouped in topical sections on knowledge-based system; machine learning; medical image processing; predictive modeling; natural language processing.Table of ContentsKnowledge-Based Systems Explainable Decision Support Using Task Network Models in Notation.- Computerizing Lipid Management Clinical Guidelines as Interactive Task Networks.- Towards an AI planning-based pipeline for the management of multimorbid patients.- A Knowledge Graph Completion Method Applied to Literature-Based Discovery for Predicting Missing Links Targeting Cancer Drug Repurposing.- Ontological Representation of Causal Relations for a Deep Understanding of Associations between Variables in Epidemiology.- Explainable Clinical Decision Support: Towards Patient-Facing Explanations for Education and Long-term Behavior Change.- Machine Learning Assessing Knee Biomechanical Osteoarthritis Severity and Biomechanical Changes After Total Knee Arthroplasty Using Self-Organizing Maps.- NeuralSympCheck: A Symptom Checking and Disease Diagnostic Neural Model with Extracting Surrogate Decision Trees from Black-box Models to Explain the Temporal Importance of Clinical Features in Predicting Kidney Graft Survival.- Recurrence and Self-Attention vs the Transformer for Time-Series Classification: A Comparative Study.- Integrating Graph Convolutional Neural Networks and Long Short-Term Memory for Efficient Diagnosis of Autism.- Hierarchical Deep Multi-task learning for Classification of Patient Diagnoses.- TTS-GAN: A Transformer-based Time-Series Generative Adversarial Network.- Predicting Next Kidney Offer for Transplant Candidate Declining Current One.- Wrist Ultrasound Segmentation by Deep Learning.- Early Detection and Classification of Patient-Ventilator Asynchrony using Machine Learning.- On graph construction for classification of clinical trials protocols using Graph Neural Networks.- Medical Image Processing Malignant Mesothelioma Subtyping of Tissue Images via Sampling Driven Multiple Instance Prediction.- Calibrating Histopathology Image Classifiers using Label Smoothing.- InvUNET: Involuted UNET for Breast Tumor Segmentation from Ultrasound.- MRI reconstruction with LassoNet and compressed sensing.- Predictive Modeling A 3-window-based framework for the discovery of predictive functional dependencies from clinical data.- When can I expect the mHealth user to return? Prediction meets time series with gaps.- A novel survival analysis approach to predict the need for intubation in intensive care units.- Awareness of being tested and its effect on reading behaviour.- Natural Language Processing Generating extremely short summaries from the scientific literature to support decisions in primary healthcare: a human evaluation study.- A Russian Medical Language Understanding Benchmark.- Biomedical Semantic Textual Similarity: Evaluation of Sentence Representations Enhanced With Principal Component Reduction and Word Frequency Weighting.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph transformation as well as tool presentation papers that demonstrate main new features and functionalities of graph-based tools.Table of ContentsTheoretical Advances.- Application Domains.- Tool Presentation.

Read more less

Book SynopsisThis book constitutes the proceedings of the satellite events held at the 19th Extended Semantic Web Conference, ESWC 2022, during May—June in Hersonissos, Greece, 2022. The included satellite events are: the poster and demo session; the PhD symposium; industry track; project networking; workshops and tutorials. During ESWC 2022, the following ten workshops took place:10th Linked Data in Architecture and Construction Workshop (LDAC 2022); 5th International Workshop on Geospatial Linked Data (GeoLD 2022); 5th Workshop on Semantic Web solutions for large-scale biomedical data analytics (SeMWeBMeDA 2022); 7th Natural Language Interfaces for the Web of Data (NLIWOD+QALD 2022); International Workshop on Knowledge Graph Generation from Text (Text2KG 2022); 3rd International Workshop on Deep Learning meets Ontologies and Natural Language Processing (DeepOntoNLP 2022); 1st Workshop on Modular Knowledge (ModularK 2022); Third International Workshop On Knowledge Graph Construction (KGCW 2022); Third International Workshop On Semantic Digital Twins (SeDIT 2022); and the 1st International Workshop on Semantic Industrial Information Modelling (SemIIM 2022). Table of Contents Summary of Workshops and Tutorials at European Semantic Web Conference 2022.- Posters and Demos.- Towards UML-style Visual Queries over Wikidata.- Using the ODRL Profile for Access Control for Solid Pod Resource Governance.- Relation Canonicalization in Open Knowledge Graphs: A Quantitative Analysis.- Harmonizing and Using Numismatic Linked Data in Digital Humanities Research and Application Development: Case DigiNUMA.- Extending AgreementMakerLight to Perform Holistic Ontology Matching.- It’s all in the Name: Entity Typing using Multilingual Language Models.- The Supervised Semantic Similarity Toolkit.- Tab2Onto: Unsupervised Semantification with Knowledge Graph Embeddings.- DataSpecer: A Model-Driven Approach to Managing Data Specifications.- Towards Query Processing over Heterogeneous Federations of RDF Data sources.- SAND: A Tool for Creating Semantic Descriptions of Tabular Sources.- BLAST: Block Applications for Things.- Leibniz Data Manager – A Research Data Management System.- Towards Knowledge Graph-Agnostic SPARQL Query Validation for Improving Question Answering.- Towards Generalized Welding Ontology in line with ISO and Knowledge Graph Construction.- O’FAIRe: Ontology FAIRness Evaluator in the AgroPortal semantic resource repository.- domOS Common Ontology: Web of Things Discovery in Smart Buildings.- WeaKG-MF: a Knowledge Graph of Observational Weather Data.- DAGOBAH UI: A New Hope For Semantic Table Interpretation.- KartoGraphI: Drawing a Map of Linked Data.- WikidataComplete – An easy-to-use method for rapid validation of text-extracted new facts applied to the Wikidata knowledge graph.- Query-based Industrial Analytics over Knowledge Graphs with Ontology Reshaping.- Semantic Video Entity Linking.- Walk this Way! Entity Walks and Property Walks for RDF2vec.- Self-Verifying Web Resource Representations using Solid, RDF-star and Signed URIs.- From OWL to Graphol: importing ontologies into Eddy the editor.- Audio Ontologies for Intangible Cultural Heritage.- Ontology Matching Through Absolute Orientation of Embedding Spaces.- Semantic modeling and reconstruction of drones’ Trajectories.- How to Search and Contextualize Scenes inside Videos for Enriched Watching Experience: Case Stories of the Second World War Veterans.- PhD Symposium.- (Semi-) Automatic construction of knowledge graph Metadata.- Towards a Similarity Algorithm for Controlled Vocabularies within the Digital Humanities.- Causal Domain Adaptation for Information Extraction from Complex Conversations.- Knowledge Graph Population with Out-of-KG Entities.- Dynamic Knowledge Graph Embeddings via Local Embedding Reconstructions.- Leveraging Standards in Model-Centric Geospatial Knowledge Graph Creation.- Building Narrative Structures from Knowledge Graphs.- Using Referential Language Games for Task-oriented Ontology Alignment.- Balancing RDF generation from heterogeneous data sources.- Geological Information Capture with Sketches and Ontologies.- Industry.- The Data Value Quest: A Holistic Semantic Approach at Bosch.- Extracting Subontologies from SNOMED CT.- “Semantify” business and content to meet demands for expert solutions in professional markets.- Enhancing Knowledge Graph Generation with Ontology Reshaping – Bosch Case.- Semantic Data Integration for Monitoring Operators’ Ergonomics in an Automotive Manufacturing Setting.- Semantic Description of Equipment and its Controls in Building Automation Systems.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 13th International Conference on the Theory and Application of Diagrams, Diagrams 2022, held in Rome, Italy, in September 2022. The 11 full papers and 19 short papers presented together with 5 posters were carefully reviewed and selected from 58 submissions. 8 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Read more less

Book SynopsisThis book constitutes the proceedings of the 16th International Conference on Algorithmic Aspects in Information and Management, AAIM 2022, which was held online during August 13-14, 2022. The conference was originally planned to take place in Guangzhou, China, but changed to a virtual event due to the COVID-19 pandemic.The 41 regular papers included in this book were carefully reviewed and selected from 59 submissions. Table of ContentsAn improvement of the bound on the odd chromatic number of 1-planar graphs.- AoI Minimizing of Wireless Rechargeable Sensor Network based on Trajectory Optimization of Laser-Charged UAV.- Monotone k-Submodular Knapsack Maximization: An Analysis of the Greedy+Singleton Algorithm.- The constrained parallel-machine scheduling problem with divisible processing times and penalties.- Energy-constrained Geometric Covering Problem.- Fast searching on $k$-combinable graphs.- Three Algorithms for Converting Control Flow Statements from Python to XD-M.- Class Ramsey numbers involving induced graphs.- An Approximation Algorithm for the Clustered Path Travelling Salesman Problem.- Hyperspectral Image Reconstruction for SD-CASSI systems based on Residual Attention Network.- Improved Approximation Algorithm for the Asymmetric Prize-Collecting TSP.- Injective edge coloring of power graphs and necklaces.- Guarantees for Maximization of $k$-Submodular Functions with a Knapsack and a Matroid Constraint.- Incremental SDN Deployment to Achieve Load Balance in ISP Networks.- Approximation scheme for single-machine rescheduling with job delay and rejection.- Defense of Scapegoating Attack in Network Tomography.- A Binary Search Double Greedy Algorithm for Non-monotone DR-submodular Maximization.- Streaming Adaptive Submodular Maximization.- Constrained Stochastic Submodular Maximization with State-Dependent Costs.- Online early work maximization problem on two hierarchical machines with buffer or rearrangements.- Polynomial time algorithm for k-vertex-edge dominating problem in interval graphs.- Adaptive Competition-based Diversified-profit Maximization with Online Seed Allocation.- Collaborative Service Caching in Mobile Edge Nodes.- A Decentralized Auction Framework with Privacy Protection in Mobile Crowdsourcing.- On-line single machine scheduling with release dates and submodular rejection penalties.- Obnoxious Facility Location Games with Candidate Locations.- Profit Maximization for Multiple Products in Community-based Social Networks.- MCM: A Robust Map Matching Method by Tracking Multiple Road Candidates.- Security on Ethereum: Ponzi Scheme Detection in Smart Contract.- Cyclically orderable generalized Petersen graphs.- The r-dynamic chromatic number of planar graphs without special short cycles.- Distance Labeling of the Halved Folded $n$-Cube.- Signed network embedding based on muti-attention mechanism.- Balanced Graph Partitioning based on Mixed 0-1 Linear Programming and Iteration Vertex Relocation Algorithm.- Partial inverse min-max spanning tree problem under the weighted bottleneck Hamming distance.- Mixed Metric Dimension of Some Plane Graphs.- The Optimal Dynamic Rationing Policy in the Stock-Rationing Queue.- Pilot Pattern Design with Branch and Bound in PSA-OFDM System.- Bicriteria Algorithms for Maximizing the Difference Between Submodular Function and Linear Function under Noise.- On the Transversal Number of k-Uniform Connected Hypergraphs.- Total coloring of planar graphs without some adjacent cycles.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 20th International Conference on Business Process Management, BPM 2022, which took place in Münster, Germany, in September 2022. The 22 papers included in this book were carefully reviewed and selected from 98 submissions. They were organized in topical sections as follows: task mining; design methods; process mining; process mining practice; analytics; and systems. The book also includes one keynote talk in full-paper length and 5 tutorial papers. Table of ContentsKeynote.- Advancing Business Process Science via the Co-Evolution of Substantive and Methodological Knowledge.- Tutorials.- BPM in Digital Transformation: New Tools and Productivity Challenges.- Multi-Dimensional Process Analysis.- Theory and Practice - What, With What and How Is Business Process Management Taught at German Universities.-How to Leverage Process Mining in Organizations - Towards Process Mining Capabilities.- Mastering Robotic Process Automation with Process Mining.- Task Mining.- A Reference Data Model for Process-Related User Interaction Logs.- Analysing Variable Human Actions for Robotic Process Automation.- The SWORD is Mightier than the Interview: A Framework for Semi-automatic WORkaround Detection.- Design Methods.- Back to the Roots – Investigating the Theoretical Foundations of Business Process Maturity Models.- Applying Process Mining in Small and Medium sized IT Enterprises – Challenges and Guidelines.- A Process Mining Success Factors Model.- Process Mining.- No Time to Dice: Learning Execution Contexts from Event Logs for Resource-Oriented Process Mining.- A Purpose-Guided Log Generation Framework.- Conformance Checking with Uncertainty via SMT.- Process Mining Practice.- The Dark Side of Process Mining. How Identifiable Are Users Despite Technologically Anonymized Data? A Case Study From the Health Sector.- Analyzing How Process Mining Reports Answer Time Performance Questions.- Process Mining of Knowledge-Intensive Processes: An Action Design Research Study in Manufacturing.- Process Mining Practices: Evidence from Interviews.- Analytics.- Measuring Inconsistency in Declarative Process Specifications.- Understanding and Decomposing Control-Flow Loops in Business Process Models.- Reasoning on Labelled Petri Nets and their Dynamics in a Stochastic Setting.- Incentive Alignment through Secure Computations.- Business Process Simulation with Differentiated Resources: Does it Make a Difference.- Uncovering Object-centric Data in Classical Event Logs for the Automated Transformation from XES to OCEL.- Systems.- Why Companies Use RPA: A Critical Reflection of Goals.- A trustworthy decentralized change propagation mechanism for declarative choreographies.- Architecture of decentralized Process Management Systems.

Read more less

Book SynopsisThis book demonstrates the optimal adversarial attacks against several important signal processing algorithms. Through presenting the optimal attacks in wireless sensor networks, array signal processing, principal component analysis, etc, the authors reveal the robustness of the signal processing algorithms against adversarial attacks. Since data quality is crucial in signal processing, the adversary that can poison the data will be a significant threat to signal processing. Therefore, it is necessary and urgent to investigate the behavior of machine learning algorithms in signal processing under adversarial attacks. The authors in this book mainly examine the adversarial robustness of three commonly used machine learning algorithms in signal processing respectively: linear regression, LASSO-based feature selection, and principal component analysis (PCA). As to linear regression, the authors derive the optimal poisoning data sample and the optimal feature modifications, and also demonstrate the effectiveness of the attack against a wireless distributed learning system. The authors further extend the linear regression to LASSO-based feature selection and study the best strategy to mislead the learning system to select the wrong features. The authors find the optimal attack strategy by solving a bi-level optimization problem and also illustrate how this attack influences array signal processing and weather data analysis. In the end, the authors consider the adversarial robustness of the subspace learning problem. The authors examine the optimal modification strategy under the energy constraints to delude the PCA-based subspace learning algorithm. This book targets researchers working in machine learning, electronic information, and information theory as well as advanced-level students studying these subjects. R&D engineers who are working in machine learning, adversarial machine learning, robust machine learning, and technical consultants working on the security and robustness of machine learning are likely to purchase this book as a reference guide.Table of ContentsChapter. 1. IntroductionChapter. 2. Optimal Feature Manipulation Attacks Against Linear RegressionChapter. 3. On the Adversarial Robustness of LASSO Based Feature SelectionChapter. 4. On the Adversarial Robustness of Subspace LearningChapter. 5. Summary and ExtensionsChapter. 6. Appendix

Read more less

Book SynopsisThis book gives a detailed information of various real-life applications from various fields using nature inspired optimization techniques. These techniques are proven to be efficient and robust in many difficult problems in literature. The authors provide detailed information about real-life problems and how various nature inspired optimizations are applied to solve these problems. The authors discuss techniques such as Biogeography Based Optimization, Glow Swarm Optimization, Elephant herd Optimization Algorithm, Cuckoo Search Algorithm, Ant Colony Optimization, and Grey Wolf Optimization etc. These algorithms are applied to a wide range of problems from the field of engineering, finance, medicinal etc. As an important part of the Women in Science and Engineering book series, the work highlights the contribution of women leaders in nature inspired optimization, inspiring women and men, girls and boys to enter and apply themselves to the field.Table of Contents1) AN OVERVIEW OF SWARM INTELLIGENCE BASED ALGORITHMS2) Particle Swarm Optimization and its Applications in the Manufacturing Industry3) Role of Machine Learning in Bioprocess Engineering: Current Perspectives and Future Directions 4) Advanced Selection Operation for Differential Evolution Algorithm 5) Profit Optimization of Two-Unit Briquetting System using grey wolf Optimization algorithm 6) Solving Portfolio optimization using Sine-cosine Algorithm embedded mutation operations7) Detecting Group Shilling Profiles in Recommender Systems: A Hybrid Clustering and Grey Wolf Optimizer Technique8) SINGLE IMAGE REFLECTION REMOVAL USING DEEP LEARNING 9) Social media analysis: A tool for popularity prediction using machine learning classifiers

Read more less

Book SynopsisThis unique, accessible textbook presents a succession of implementations of the open-source RISC-V processor. Implementations are offered in increasing difficulty (non-pipelined, pipelined, deeply pipelined, multi-threaded, multicore).Each implementation is shown as a High-Level Synthesis (HLS) code in C++. This facilitates synthesis and testing on an FPGA-based development board (Such a board can be freely obtained from the Xilinx University Program targeting university professors).The book can be useful for several reasons. First, it is a novel way to introduce computer architecture: The codes given can serve as labs for a processor architecture course. Second, the book content is based on the RISC-V Instruction Set Architecture, which is an open-source machine language promising to become the main machine language to be taught, replacing DLX and MIPS. Third, all the designs are implemented through the HLS tool, which is able to translate a C program into an intellectual property (IP). Lastly, HLS will become the new standard for IP implementations, replacing Verilog/VHDL; already there are job positions tied to HLS, with the argument of rapid IP development.Hence, in addition to offering undergraduates a firm introduction, the textbook/guide can also serve engineers willing to implement processors on FPGA, as well as researchers willing to develop RISC-V based hardware simulators.Bernard Goossens is Professor in the Faculty of Sciences at the Université de Perpignan, France. He is author of the French-language book from Springer, Architecture et microarchitecture des processeurs, 2002.Table of ContentsPart I. Single core processors.- 1. Getting Ready.- 2. Building a RISC-V Processor.- 3. Building a Pipelined RISC-V Processor.- 4. Building a RISC-V Processor with a Multi-cycle Pipeline.- 5. Building a RISC-V Processor with a Multiple Hart Pipeline.- Part II. Multiple core processors.- 6. Connecting IPs.- 7. A Multi-core RISC-V Processor.- 8. A Multi-core RISC-V Processor with Multi-hart Cores.

Read more less

Book SynopsisThis book constitutes the proceedings of the 20th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2022, held in L'Aquila, Italy in July 2022.The 37 full papers in this book were reviewed and selected from 67 submissions. Another 10 demonstrations papers were selected from 11 submissions are presented here as short papers. The papers deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, education and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation.

Read more less

Book SynopsisThis open access book surveys the progress in addressing selected challenges related to the growth of big data in combination with increasingly complicated hardware. It emerged from a research program established by the German Research Foundation (DFG) as priority program SPP 1736 on Algorithmics for Big Data where researchers from theoretical computer science worked together with application experts in order to tackle problems in domains such as networking, genomics research, and information retrieval. Such domains are unthinkable without substantial hardware and software support, and these systems acquire, process, exchange, and store data at an exponential rate. The chapters of this volume summarize the results of projects realized within the program and survey-related work.This is an open access book.Table of ContentsAlgorithms for Large and Complex Networks Algorithms for Large-scale Network Analysis and the NetworKit Toolkit.- Generating Synthetic Graph Data from Random Network Models.- Sampling Efficiency for the Link Assessment Problem.- A Custom Hardware Architecture for the Link Assessment Problem.- Graph-based Methods for Rational Drug Design.- Recent Advances in Practical Data Reduction.- Skeleton-based Clustering by Quasi-Threshold Editing.- The Space Complexity of Undirected Graph Exploration.- Algorithms for Big Data and their Applications Scalable Cryptography.- Distributed Data Streams.- Energy-Efficient Scheduling.- The GENO Software Stack.- Laue Algorithms for Big Data Problems in de Novo Genome Assembly.- Scalable Text Index Construction. Big Data, Scalability, Algorithms, Applications, Graphs, Networks, Parallelism, Distributed, Memory Hierarchy, Algorithm Engineering, Network Analysis, Random Graphs, Graph Clustering, Data Streams, Cryptography, Energy Efficiency, Text Indices.

Read more less

Book SynopsisThis book constitures selected and revised papers presented at the First International Workshop on Measuring Ontologies for Value Enhancement, MOVE 2020, held as Virtual Event in October 2020. The 7 extended and revised papers presented were thoroughly reviewed and selected from the 13 submissions. Along with them, the volume presents 5 invited papers. The volume articles are arranged in the topical sections on complexity of knowledge-intensive endeavors; ontology modeling; enterprise ontologies; knowledge discovery and innovations. Table of ContentsComplexity of Knowledge-Intensive Endeavors.- Ontology Modeling.- Enterprise Ontologies.- Knowledge Discovery and Innovations.

Read more less

Book SynopsisThis book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2022, held in Chengdu, China, in August – September 2022.The 19 revised full papers and 3 invited talks presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections: structures in finite fields; efficient finite field arithmetic; coding theory; cryptography; sequences.Table of ContentsStructures in Finite Fields.- On a conjecture on irreducible polynomials over finite fields with restricted coefficients.- On two applications of polynomials xk – cx – d over finite fields and more.- Efficient Finite Field Arithmetic.- Polynomial Constructions of Chudnovsky-Type Algorithms for Multiplication in Finite Fields with Linear Bilinear Complexity.- Reduction-free Multiplication for Finite Fields and Polynomial Rings.- Finite Field Arithmetic in Large Characteristic for Classical and Post-Quantum Cryptography.- Fast enumeration of superspecial hyperelliptic curves of genus 4 with automorphism group V4.- Coding theory.- Two Classes of Constacyclic Codes with Variable Parameters.- Near MDS Codes with Dimension 4 and Their Application in Locally Recoverable Codes.- Optimal possibly nonlinear 3-PIR codes of small size.- PIR codes from combinatorial structures.- The Projective General Linear Group PGL(2, 5m) and Linear Codes of Length 5m + 1.- Private Information Retrieval Schemes Using Cyclic Codes.- Two Classes of Optimal Few-Weight Codes over Fq + uFq.- Explicit Non-Malleable Codes from Bipartite Graphs.- Cryptography.- Algebraic Relation of Three MinRank Algebraic Modelings.- Decomposition of Dillon's APN permutation with efficient hardware implementation.- New Versions of Miller-loop Secured against Side-Channel Attacks.- A Class of Power Mappings with Low Boomerang Uniformity.- New Classes of Bent Functions via the Switching Method.- Sequences.- Correlation measure of binary sequence families with trace representation.- Linear complexity of generalized cyclotomic sequences with period pnqm.- On the 2-adic complexity of cyclotomic binary sequences with period p2 and 2p2.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 8th International Conference on Modelling and Development of Intelligent Systems, MDIS 2022, held in Sibiu, Romania, during October 28–30, 2022.The 21 papers included in this book were carefully reviewed and selected from 48 submissions. They were organized in the following topical sections as follows: intelligent systems for decision support; machine learning; mathematical models for development of intelligent systems; and modelling and optimization of dynamic systems.Table of ContentsIntelligent Systems for Decision Support.- Effective LSTM Neural Network with Adam Optimizer for Improving Frost Prediction in Agriculture Data Stream.- Gaze Tracking: A Survey of Devices, Libraries and Applications.- Group Decision-Making Involving Competence of Experts in Relation to Evaluation Criteria: Case Study for e-Commerce Platform Selection.- Transparency and Traceability for AI-based Defect Detection in PCB Production.- Tasks Management Using Modern Devices.- Machine Learning.- A Method for Target Localization by Multistatic Radars.- Intrusion Detection by XGBoost Model Tuned by Improved Social Network Search Algorithm.- Bridging the Resource Gap in Cross-lingual Embedding Space.- Classification of Microstructure Images of Metals using Transfer Learning.- Generating Jigsaw Puzzles and an AI Powered Solver.- Morphology of Convolutional Neural Network with Diagonalized Pooling.- Challenges and Opportunities in Deep Learning Driven Fashion Design and Textiles Patterns Development.- Feature Selection and Extreme Learning Machine Tuning by Hybrid Sand Cat Optimization Algorithm for Diabetes Classification.- Enriching SQL-Driven Data Exploration With Different Machine Learning Models.- Mathematical Models for Development of Intelligent Systems.- Analytical Solution of the Simplest Entropiece Inversion Problem.- Latent Semantic Structure in Malicious Programs.- Innovative Lattice Sequences Based on Component by Component Construction Method for Multidimensional Sensitivity Analysis.- On an Optimization of the Lattice Sequence for the Multidimensional Integrals Connected with Bayesian Statistics.- Modelling and Optimization of Dynamic Systems.- Numerical Optimization Identification of a Keller-Segel Model for Thermoregulation in Honey Bee Colonies in Winter.- Gradient Optimization in Reconstruction of the Diffusion Coefficient in a Time Fractional Integro-Differential Equation of Pollution in Porous Media.- Flash Flood Simulation Between Slănic and Vărbilău Rivers in Vărbilău Village, Prahova County, Romania, Using Hydraulic Modeling and GIS Techniques.

Read more less

Book SynopsisThis book constitutes extended, revised, and selected papers from the JSAI annual conference, JSAI 2022, and the 14th International Symposium on Artificial Intelligence, JSAI-isAI 2022, held in Kyoto, Japan, in June 2022. The 18 full papers were carefully selected from 67 submissions and presented during the two events: 16th International Workshop on Juris-informatics, JURISIN 2022, and JSAI 2022 Intenational Session. This papers present discussion on fundamental and practical issues in Juris-informatics among researchers from various backgrounds such as law, social science, information and intelligent technology, logic, and philosophy, including the conventional AI and Law area. Table of ContentsJURISIN 2022.- Differential-aware Transformer for Partially Amended Sentence Translation.- On Complexity and Generality of Contrary Prioritized Defeasible Theory.- Mapping Similar Provisions between Japanese and Foreign Laws.- COLIEE 2022 Summary: Methods for Legal Document Retrieval and Entailment.- JNLP team: Deep Learning Approaches for Tackling Long and Ambiguous Legal Documents in COLIEE 2022.- Semantic-based Classification of Relevant Case Law.- nigam@COLIEE-22: Legal Case Retrieval and Entailment using Cascading of Lexical and Semantic-based models.- HUKB at the COLIEE 2022 Statute Law Task.- Using Textbook Knowledge for Statute Retrieval and Entailment Classification.- Legal Textual Entailment using Ensemble of Rule-based and BERT-based method with Data Augmentation by Related Article Generation.- Less is Better: Constructing Legal Question Answering System by Weighing Longest Common Subsequence of Disjunctive Union Text.- JSAI 2022 International Session.- Proposal for Turning Point Detection Method using Financial Text and Transformer.- Product Portfolio Optimization for LTV Maximization.- An Examination of Eating Experiences in Relation to Psychological States, Loneliness, and Depression Using BERT.- Objective Detection of High-risk Tackle in Rugby by Combination of Pose Estimation and Machine Learning.- Incremental informational value of floorplans for rent price prediction - Applications of modern computer vision techniques in real-estate.- Transaction Prediction by Using Graph Neural Network and Textual Industry Information.- Overfitting Problem in the Approximate Bayesian Computation Method Based on Maxima Weighted Isolation Kernel.

Read more less

Book SynopsisThis book constitutes the joint refereed proceedings of the 22nd International Conference on Internet of Things, Smart Spaces, and Next Generation Networks and Systems, NEW2AN 2022, held in Tashkent, Uzbekistan, in December 2022.The 58 regular papers presented in this volume were carefully reviewed and selected from 282 submissions. The papers of NEW2AN address various aspects of next-generation data networks, while special attention is given to advanced wireless networking and applications. In particular, the authors have demonstrated novel and innovative approaches to performance and efficiency analysis of 5G and beyond systems, employed game-theoretical formulations, advanced queuing theory, and machine learning. It is also worth mentioning the rich coverage of the Internet of Things, optics, signal processing, as well as digital economy and business aspects.Table of ContentsTangential shear stress in an oscillatory flow of a viscoelastic fluid in a flat channel.- Comparison of Finite Difference Schemes of Different Orders of Accuracy for the Burgers Wave Equation Problem.- Numerical solution of the combustion process using the computer package ANSYS fluent.- Simulation Modeling of Reliability of Packet Switching Unit.- Analytical Model for Assessing the Reliability of the Functioning of the Adaptive Switching Node.- Artificial intelligence software architecture in the field of cardiology and application in the cardio vessel project using CJM and customer development methods.- Using discretization and numerical methods of problem 1d-3d-1d model for blood vessel walls with Navier-Stokes.- Numerical simulation of a flow in a two-dimensional channel on the basis of a two-liquid turbulence model.- Application fuzzy neural network methods to detect cryptoattacks on financial information systems based on blockchain technology.- Method authentication of objects information communication systems.- TEDCTSSA: Trust Enabled Data Collection Technique based Sparrow Search Algorithm for WSN-based Applications.- ISTOA: An improved Sooty Tern Optimization Algorithm for multilevel threshold image segmentation.- Implementing digital transformation in the logistics system of Uzbekistan.- Numerical modeling of vertical axis wind turbines using ANSYS FLUENT software.- "i’ll wait 4 ur answr!” A Study on Modern Style of Cyber-Writing and User Reactions.- Improvement of information support in intelligent information energy systems.- The Assessment of the Effectiveness of the Development of Digital Technologies in Commercial Banks in Uzbekistan.- The Study of the Impact of the Digital Economy on the Growth of E-Government Services in Uzbekistan.- Deep learning algorithm for classifying dilated cardiomyopathy and hypertrophy cardiomyopathy in transport workers.- eCommerce benchmarking: theoretical background, variety of types, and application of competitive-integration benchmarking.- Cryptocurrencies as the money of the future.- A Data Security Technique Combining Asymmetric Cryptography and Compressive Sensing for IoT Enabled Wireless Sensor Networks.- Energy Efficient and Secure Scheme based Compressive Sensing method for Internet of Vehicles.- Impact of digital technologies on women’s employment.- The impact of digitalisation on the safe development of individuals in society.- Econometric Evaluation of the Efficiency of the Management of theEnterprise through the Supply of Raw Materials in Oil Enterprises in the Conditions of the Digital Economy.- The impact of digital infrastructure, foreign direct investment and trade openness on economic growth: In the case of Uzbekistan.- The impact of the financial ratios on the financial performance. A caseof Chevron Corporation (CVX).- The impact of the digitalisation of payment systems on the profitabilityof commercial banks.- The main aspects and benefits of digital transformation of business entities.- The influence of the capital structure of state enterprises on the profitability of the enterprise.- Exploring the development of China’s digital trade in the context of the domestic and international double cycle.- A systematic mapping study of using the cutting-edge technologies in marketing: the state of the art of four key new-age technologies.- Social Media Marketing for Educational Purposes: Goals, Objectivesand Content of the Training Course.- Digital Marketing and Smart Technology Marketing Systems as thefuture of metaverse.- The impact of the digital economy on the development of higher education.- What is the state-of-the-art contribution of the higher education system to the digital economy: a systematic mapping study on changes and challenges.- Innovating primary education of promoting students’ languagecompetencies through mobile assisted language learning approach: Selection framework of innovative digital technologies.- Econometric assessment of the dynamics of development of the export authority of small business and private business subjects in the conditions of the digital economy.- The significance of the Internet of Things for ensuring the smooth operation of network functions in fintech.- Impact of E-government on Poverty Rate: a Cross- Country Empirical Assessment.- An empirical investigation of the relationship between e-government development and multidimensional poverty.- On Digital Twin Software and Cyber Threats.- On local services based on non-standard Wi-Fi Direct usage model.- Compatibility analysis between 5G NR and ultra-wideband devices in the 6425-7125 MHz frequency band.- 6 GHz band sharing study for FWA base stations and GEO satellite receivers.- Federated Learning Strategies Over Wireless Channels.- Data Routing in UAV Networks with Multiple Data Sources using Steiner Tree.- Reduced complexity distributed arithmetic architecture for FIR filters.- Blockchain-driven Hybrid Model for IoT Authentication.- An Heuristic Approach for Mapping of Service Function Chains in Softwarized 5G Networks.- Multi-threshold hysteresis-Based Congestion Control for UAV-based Detection Sensor Network.- Analysis of the capacity gain of Probability Shaping QAM.- LoRa Mesh Network for Image Transmission: An Experimental Study.- Blockchain Technology – Innovation for Better Collaboration and Increased Efficieny. The U.S. Logistics and Trucking Industry Case.- Econometric Study of the Impact of the Digital Economy on the Gross Product in Anti-monopoly Conditions.- Predictive models for effective management of e- commerce in New Uzbekistan.- The role of IT on transportation, logistics and the economic growth among Central Asian countries.

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 open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.Table of ContentsTool Demos.- EVA: a Tool for the Compositional Verification of AUTOSAR Models.- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification.- Multiparty Session Typing in Java, Deductively.- PyLTA: A Verification Tool for Parameterized Distributed Algorithms.- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit.- Combinatorial Optimization/Theorem Proving.- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization.- Verified reductions for optimization.- Specifying and Verifying Higher-order Rust Iterators.- Extending a High-Performance Prover to Higher-Order Logic.- Tools (Regular Papers).- The WhyRel Prototype for Relational Verification of Pointer Programs.- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter.- CoPTIC: Constraint Programming Translated Into C.- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability.- Synthesis.- Computing Adequately Permissive Assumptions for Synthesis.- Verification-guided Programmatic Controller Synthesis.- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications.- Lockstep Composition for Unbalanced Loops.- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification.- LTL Reactive Synthesis with a Few Hints.- Timed Automata Verification and Synthesis via Finite Automata Learning.- Graphs/Probabilistic Systems.- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition.- Transforming quantified Boolean formulas using biclique covers.- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration.- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.- Runtime Monitoring/Program Analysis.- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote.- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis.- Explainable Online Monitoring of Metric Temporal Logic.- 12th Competition on Software Verification — SV-COMP 2023.- Competition on Software Verification and Witness Validation: SV-COMP 2023.- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution).- 2LS: Arrays and Loop Unwinding (Competition Contribution).- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution).- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution).- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution).- Java Ranger: Supporting String and Array Operations (Competition Contribution).- Korn–Software Verification with Horn Clauses (Competition Contribution).- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution).- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution).- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution).- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution).- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution).- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution).

Read more less

Book SynopsisThis open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems. Table of ContentsInvited Talk.-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.- Model Checking.- Bounded Model Checking for Asynchronous Hyperproperties.- Model Checking Linear Dynamical Systems under Floating-point Rounding.- Efficient Loop Conditions for Bounded Model Checking Hyperproperties.- Reconciling Preemption Bounding with DPOR.- Optimal Stateless Model Checking for Causal Consistency.- Symbolic Model Checking for TLA+ Made Faster.- AutoHyper: Explicit-State Model Checking for HyperLTL.- Machine Learning/Neural Networks.- Feature Necessity & Relevancy in ML Classifier Explanations.- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks.- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks.- Neural Network-Guided Synthesis of Recursive List Functions.- Automata.- Modular Mix-and-Match Complementation of Buechi automata.- Validating Streaming JSON Documents With Learned VPAs.- Antichains Algorithms for the Inclusion Problem Between ω -VPL.- Stack-Aware Hyperproperties.- Proofs.- Propositional Proof Skeletons.- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers.- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format.- Constraint Solving/Blockchain.- The Packing Chromatic Number of the Infinite Square Grid is 15.- Active Learning for SAT Solver Benchmarking.- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving.- Inferring Needless Write Memory Accesses on Ethereum Bytecode.- Markov Chains/Stochastic Control.- A Practitioner’s Guide to MDP Model Checking Algorithms.- Correct Approximation of Stationary Distributions.- Robust Almost-Sure Reachability in Multi-Environment MDPs.- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning.- Verification.- A Formal CHERI-C Semantics for Verification.- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm.- Parameterized Verification under TSO with Data Types.- Verifying Learning-Based Robotic Navigation Systems: A Case Study.- Make flows small again: revisiting the flow framework.- ALASCA: Reasoning in Quantified Linear Arithmetic.- A Matrix-Based Approach to Parity Games.- A GPU Tree Database for Many-Core Explicit State Space Exploration.

Read more less

Book SynopsisThis book constitutes the proceedings of the 18th International Workshop on Algorithms and Models for the Web Graph, WAW 2023, held in Toronto, Canada, in May 23–26, 2023.The 12 Papers presented in this volume were carefully reviewed and selected from 21 submissions. The aim of the workshop was understanding of graphs that arise from the Web and various user activities on the Web, and stimulate the development of high-performance algorithms and applications that exploit these graphs.Table of ContentsCorrecting for Granularity Bias in Modularity-Based Community Detection Methods.- The emergence of a giant component in one-dimensional inhomogeneous networks with long-range effects.- Unsupervised Framework for Evaluating Structural Node Embeddings of Graphs.- Modularity Based Community Detection in Hypergraphs.- Establishing Herd Immunity is Hard Even in Simple Geometric Networks.- Multilayer hypergraph clustering using the aggregate similarity matrix.- The Myth of the Robust-Yet-Fragile Nature of Scale-Free Networks: An Empirical Analysis.- A Random Graph Model for Clustering Graphs.- Topological Analysis of Temporal Hypergraphs.- PageRank Nibble on the sparse directed stochastic block model.- A simple model of influence.- The Iterated Local Transitivity Model for Tournaments.

Read more less

Book SynopsisThis book explores the rich history of the keyword from its earliest manifestations (long before it appeared anywhere in Google Trends or library cataloging textbooks) in order to illustrate its implicit and explicit mediation of human cognition and communication processes. The author covers the concept of the keyword from its deictic origins in primate and proto-speech communities, through its development within oral traditions, to its initial appearances in numerous graphical forms and its workings over time within a variety of indexing traditions and technologies. The book follows the history all the way to its role in search engine optimization and social media strategies and its potential as an element in the slowly emerging semantic web, as well as in multiple voice search applications. The author synthesizes different perspectives on the significance of this often-invisible intermediary, both in and out of the library and information science context, helping readers to understand how it has come to be so embedded in our daily life.This book: Provides a thorough history of the keyword, from primate and proto-speech communities to current times Explains how the concept of the keyword relates to human cognition and communication processes Highlights the applications of the keyword, both in and out of the library and information science context Table of ContentsChapter 1 - Representation, Reference, Relevance, and Retention.- Chapter 2 - Signals, Semiotics.- Chapter 3 - Proto-Words, Proto-Signs.- Chapter 4 - Philologies, Philosophies, Pragmatics.- Chapter 5 - Rites, Religions.- Chapter 6 - Writing, Indexing.- Chapter 7 - Progress, Public.- Chapter 8 - Discovery, Retrieval.- Chapter 9 - Databases, Search Engines.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 14th International Conference on Combinatorics on Words, WORDS 2023, held in Umeå, Sweden, during June 12–16, 2023.The 19 contributed papers presented in this book were carefully reviewed and selected from 28 submissions. In addition, the volume also contains 3 invited papers. WORDS is the main conference series devoted to combinatorics on words. This area is connected to several topics from computer science and mathematics, including string algorithms, automated proofs, discrete dynamics, number theory and, of course, classical combinatoricsTable of Contents​Invited Papers: Minimal Complexities for Infinite Words Written with d Letters.- Alternate Base Numeration Systems.- On the number of distinct squares in finite sequences: some old and new results. Contributed Papers: Ranking and Unranking k-Subsequence Universal Words.- Longest common subsequence with gap constraints.- On Substitutions Preserving their Return Sets.- Recurrence and frequencies.- Sturmian and infinitely desubstitutable words accepted by an ω-automaton.- String attractors for factors of the Thue-Morse word.- Critical exponent of Arnoux-Rauzy sequences.- On a class of 2-balanced sequences.- Order conditions for languages.- On Sensitivity of Compact Directed Acyclic Word Graphs.- Smallest and Largest Block Palindrome Factorizations.- String attractors of fixed points of k-bonacci-like morphisms.- Magic Numbers in Periodic Sequences.- Dyck Words, Pattern Avoidance, and Automatic Sequences.- Rudin-Shapiro Sums Via Automata Theory and Logic.- Automaticity and Parikh-collinear morphisms.- On the solution sets of entire systems of word equations.- On arch factorization and subword universality for words and compressed words.- Characteristic sequences of the sets of sums of squares as columns of cellular automata.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 22nd International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2023, held in Ekaterinburg, Russia, during July 2–8, 2023. The 28 full papers and 1 short paper included in this book were carefully reviewed and selected from 89 submissions. They were organized in topical sections as follows: Mathematical programming and applications; discrete and combinatorial optimization; stochastic optimization; scheduling; game theory; and optimal control and mathematical economics. The book also contains one invited talk in full paper length. Table of Contents​Invited papers.- General equilibrium models in production networks with substitution of inputs.- Mathematical programming and applications.- On decentralized nonsmooth optimization.- Byzantine-robust loopless stochastic variance-reduced gradient.- Semi-supervised k-means clustering via DC programming approach.- On the uniqueness of identification the thermal conductivity and heat capacit of substance.- On the uniqueness of identification the thermal conductivity and heat capacity of substance.- Discrete and combinatorial optimization.- Constant-factor approximation algorithms for some maximin multiclustering problems.- Aggregation tree construction using hierarchical structures.- Enumeration and unimodular equivalence of empty delta-modular simplices.- PTAS for p-means q-medoids r-given clustering problem.- Nested (2,3)-instances of the Cutting Stock Problem.- Stochastic optimization.- On the resource allocation problem to increase reliability of transport systems.- Distributionally robust optimization by probability criterion for estimating a bounded signal.- Scheduling.- Approximation algorithms for two-machine proportionate routing open shop on a tree.- MIP heuristics for a resource constrained project scheduling problem with workload stability constraints.- Hybrid evolutionary algorithm with optimized operators for total weighted tardiness problem.- Game theory.- Equilibrium arrivals to preemptive queueing system with fixed reward for completing request.- On optimal positional strategies in fractional optimal control problems.- On a single-type differential game of retention in a ring.- Harmonic numbers in Gambler’s Ruin Problem.- Exploitation and recovery periods in dynamic resource management problem.- Trade-off mechanism to sustain cooperation in pollution reduction.- Communication restriction-based characteristic function in differential games on networks.- Optimal control and mathematical economics.- Guaranteed expectation of the flock position with random distribution of items.- Method for solving a differential inclusion with a subdifferentiable support function of the right-hand side.- Approximate solution of small-time control synthesis problem based on linearization.- A Priori Estimates of the Objective Function in the Speed-in-Action Problem for a Linear Two-Dimensional Discrete-Time System.- An approach to solving input reconstruction problems in stochastic differential equations: dynamic algorithms and tuning their parameters.- Mathematical modeling of the household behavior on the labor market.- Visual positioning of a moving object using multi-objective control algorithm.

Read more less

Book SynopsisThis book constitutes extended, revised, and selected papers from the 13th International Symposium on Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2021, held online in November 2021. The 26 full papers were carefully selected from 86 submissions. The papers are organized in the volume according to the following workshops: 15th International Workshop on Juris-Informatics, JURISIN 2021; 18th Workshop on Logic and Engineering of Natural Language Semantics, LENLS 18, 5th International Workshop on SCIentific DOCument Analysis, SCI-DOCA 2021; Workshop on Artificial Affective (Kansei) Intelligence, KANSEI-AI 2021; 5th Workshop on Artificial Intelligence of and for Business, AI-Biz 2021.Table of ContentsJURISIN 2021.- LENLS 18.- SCIDOCA 2021.- KANSEIAI 2021.- AI-Biz 2021.

Read more less

Book SynopsisThis book constitutes the proceedings of the 21st International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2023, held in Guimaraes, Portugal, in July 2023.The 32 full papers in this book were reviewed and selected from 70 submissions. 5 demonstration papers are also included in this volume. The papers deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, education and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation.Table of Contents​PAAMS 2023 - MAIN TRACK.- Brain waves classification using a single-channel dry EEG headset: an application for controlling an intelligent wheelchair.- AJAN: An Engineering Framework for Semantic Web-Enabled Agents and Multi-Agent Systems.- Adaptive consumption by continuous negotiation.- When Extrinsic Payoffs meet Intrinsic Expectations.- Multi-Agent Reinforcement Learning for Structured Symbolic Music Generation.- A multi-level density-based crowd simulation architecture.- Resolving the Dilemma of Responsibility in Multi-Agent Flow Networks.- Lessons Learned on the Design of a Predictive Agent for LoRaWAN Network Planning.- A solution concept with an exploration bias for repeated stochastic coalitional games.- Governing online forum interactions with multi-agent system: A Reddit use case with the JaCaMo platform.- Fuzzy Hyperplane based Twin-KSVC and Its Applications to Stock Price Movement Direction Prediction Based on News Articles.- Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization.- A Decentralized Resource Allocation Protocol in Social Networks.- Multi-agent learning of causal networks in the Internet of Things.- Investigation of Integrating Solution Techniques for Lifelong MAPD Problem Considering Endpoints.- Towards Norm Entrepreneurship in Agent Societies.- Velluscinum: A Middleware for Using Digital Assets in Multi-Agent Systems.- Parking Problem with Multiple Gates.- UAV Swarm Control and Coordination Using Jason BDI Agents on top of ROS.- Traffic Assignment Optimization using Flow-based Multi-Maps.- A Monitoring Agent for Advancing Elderly Care through Mobile Health Technology.- Extrinsic Emotion Regulation by Intelligent Agents: A computational model based on Arousal-Valence dimensions.- Optimization of Complex Systems in Photonics by Multi-Agent Robotic Control.- GTG-CoL: A new Decentralized Federated Learning based on Consenssus for dynamic networks.- A novel framework for multi-agent knowledge-based federated learning systems.- Exploring Planner-Guided Swarms Running on Real Robots.- Integrating Policy Summaries with Reward Decomposition for Explaining Reinforcement Learning Agents.- A Multi-Agent Based Dynamic Network Slice Tarification Framework.- An IDE to Support the Development of Embedded Multi-Agent Systems. Bioinspired Artificial Cockroach Colony Strategy combined with 2-type Fuzzy Logic for the Priority-Based Sanitization of Railway Stations.- Embedding Autonomous Agents into Low-Power Wireless Sensor Networks.- Safe Autonomous Decision-Making with vGOAL.- PAAMS 2023 - DEMONSTRATIONS.- Towards Exception Handling in the SARL Agent Platform.- Multi-Agent Path Finding for Indoor Quadcopters.- Energy community integration of a smart home based on an open source multiagent system.- Cognitive Assistant for Enhanced eHealth Monitoring.- Extended Green Cloud - Modeling Cloud Infrastructure with Green Energy Sources.

Read more less

Book SynopsisThis volume set constitutes the refereed proceedings of the 16th International Conference on Knowledge Science, Engineering and Management, KSEM 2023, which was held in Guangzhou, China, during August 16–18, 2023. The 114 full papers and 30 short papers included in this book were carefully reviewed and selected from 395 submissions. They were organized in topical sections as follows: knowledge science with learning and AI; knowledge engineering research and applications; knowledge management systems; and emerging technologies for knowledge science, engineering and management. Table of ContentsKnowledge Engineering Research and Applications.- Knowing before Seeing: Incorporating Post-Retrieval Information into Pre-Retrieval Query Intention Classification.- LSRN: Live-Streaming Identification Based on Reasoning Network with Core Traffic Set.- Implicit Offensive Speech Detection Based on Multi-feature Fusion.- SIE-YOLOv5: Improved YOLOv5 for Small Object Detection in Drone-Captured-Scenarios.- Learning-based Dichotomy Graph Sketch for Summarizing Graph Streams with High Accuracy.- SNAFA-Net: Squared Normalization Attention and Feature Alignment for Visible-Infrared Person Re-identification.- A comparative study of chatbot response generation: traditional approaches versus large language models.- Investigating the Impact of Product Contours on User Perception of Product Attributes.- Conf-UNet: A model for speculation on unknown Oracle Bone Characters.- An Efficient One-Shot Network and Robust Data Associations in Multi-Pedestrian Tracking.- Sampling Spatial-Temporal Attention Network for Traffic Forecasting.- ST-MAN: Spatio-Temporal Multimodal Attention Network for Traffic Prediction.- Sparse-view CT Reconstruction via Implicit Neural Intensity Functions.- Tennis action recognition based on multi-branch mixed attention.- Cascade Sampling via Dual Uncertainty for Active Entity Alignment.- Template Shift and Background Suppression for Visual Object Tracking.- Reversible Data Hiding in Encrypted Images Based on A Multi-Granularity Adaptive Classification Mechanism.- Enhanced Entity Interaction Modeling for Multi-modal Entity Alignment.- Monte Carlo Medical Volume Rendering Denoising via Auxiliary Feature Guided Self-Attention and Convolution Integrated.- View Distribution Alignment with Progressive Adversarial Learning for UAV Visual Geo-Localization.- HBay: Predicting Human Mobility via Hyperspherical Bayesian Learning.- Spatial-Temporal Diffusion Probabilistic Learning for Crime Prediction.- DBA: An Efficient Approach to Boost Transfer-based Adversarial Attack Performance through Information Deletion.- A Graph Partitioning Algorithm Based on Graph Structure and Label Propagation for Citation Network Prediction.- Hybrid Heterogeneous Graph Neural Networks for Fund Performance Prediction.- WGCN: A Novel Wavelet Graph Neural Network for Metro Ridership Prediction.- GMiRec: A Multi-image Visual Recommendation Model based on a Gated Neural Network.- Semi-supervised entity alignment via noisy student-based self training.- Modeling Chinese Ancient Book Catalog.- JOINT EXTRACTION OF NESTED ENTITIES AND RELATIONS BASED ON MULTI-TASK LEARNING.- A Grasping System with Structured Light 3D Machine Vision Guided Strategy Optimization.- A Cognitive Knowledge Enriched Joint Framework for Social Emotion and Cause Mining.- TKSP: Long-term Stance Prediction for Social Media Users by Fusing Time Series Features and Event Dynamic Evolution Knowledge.- A Cross-Document Coreference Resolution Approach to Low-Resource Languages.- Network Flow Based IoT Anomaly Detection Using Graph Neural Network.- Disentangled Multi-factor Graph Neural Network for Non-coding RNA-drug Resistance Association Prediction.

Read more less

Book SynopsisThis book constitutes the refereed post-conference proceedings of the 15th International Conference, Évolution Artificielle, EA 2022, held in Exeter, UK, during October 31–November 2, 2022.The 15 full papers were carefully reviewed and selected from 18 submissions. The papers cover a wide range of topics in the field of artificial evolution, including, but not limited to: evolutionary computation, evolutionary optimization, coevolution, artificial life, population dynamics, theory, algorithmic and modeling, implementations.Table of ContentsOn the Active Use of an ND-Tree-Based Archive for Multi-Objective Optimisation.- HyTEA: Hybrid Tree Evolutionary Algorithm.- A Game Theoretic Decision Tree for Binary Classification.- Evaluating a New Genetic Algorithm for Automated Machine Learning in Positive-Unlabelled Learning.- Neural Network-based Virtual Analog Modeling.- Defining a Quality Measure Within Crossover: An Electric Bus Scheduling Case Study.- Maximizing the Number of Satisfied Charging Demands in Electric Vehicle Charging Scheduling Problem.- Fine-Grained Cooperative Coevolution in a Single Population: Between Evolution and Swarm Intelligence.- One-Class Ant-Miner: Selection of Majority Class Rules for Binary Rule-based Classification.- Towards a Many-Objective Optimiser for University Course Timetabling.- Empirical Investigation of MOEAs for Multi-objective Design of Experiments.- Evolutionary Continuous Optimization of Hybrid Gene Regulatory Networks.- Designing Attention based Convolutional Neural Network (CNN) Architectures for Medical Image Classification using Genetic Algorithm based on Variable Length-encoding Scheme.- A Multi-objective 3D Offline UAV Path Planning Problem with Variable Flying Altitude.- An Elitist Non-dominated Heuristic Resolution for the Dynamic Asset Protection Problem.

Read more less

Book SynopsisThis book constitutes the refereed conference proceedings of the 14th International Conference on Bio-inspired Information and Communications Technologies, held in Okinawa, Japan, during April 11-12, 2023. The 17 full papers were carefully reviewed and selected from 33 submissions. The papers focus on the latest research that leverages the understanding of key principles, processes, and mechanisms in biological systems for development of novel information and communications technologies (bio-inspired ICT). BICT 2023 will also highlight innovative research and technologies being developed for biomedicine that are inspired by ICT (ICT-inspired biomedicine).Table of ContentsElectromagnetic-induced Calcium signal with network coding for molecular communications.- Smart Farm Teaching Aids based on STEM concepts.- Reinforcement Learning for Multifocal Tumour Targeting.- Automatic Soil Testing Device for Agriculture.- A Novel Visualization Method of Vessel Network for tumour Targeting: A Vessel Matrix Approach.- Heterogeneous Group of Fish Response to Escape Reaction.- Modeling and Simulation of a Bio-inspired Nanorobotic Drug Delivery System.- Cooperative Relaying in Multi-Hop Mobile Molecular Communication via Diffusion.- Covid-19 Versus Monkeypox-2022: The Silent Struggle of Global Pandemics.- Monte Carlo Simulation of Arbitrium and the Probabilistic Behavior of Bacteriophages.- Instant Messaging Application for 5G Core Network.- Genetic Algorithm-based Fair Order Assignment Optimization of Food Delivery Platform.- Preliminary Considerations on Non-Invasive Home-Based Bone Fracture Healing Monitoring.- Features of Audio Frequency Content of Respiration to Distinguish Inhalation from Exhalation.- Management of the medical file in case of emergency.- A Novel Durable Fat Tissue Phantom for Microwave Based Medical Monitoring Applications.- ISI Mitigation with Molecular Degradation in Molecular Communication.- Signal Transmission Through Human Body Via Human Oxygen Saturation Detection.- Simple ISI-Avoiding and Rate-Increasing Modulation for Diffusion-base Molecular Communications.- Range Expansion in Neuro-spike Synaptic Communication: Error Performance Analysis.- [Extended Abstract] Collective Bio-nanomachine Rotation via Chemical and Physical Interactions: A Three- dimensional Model.- Wearable Vibration Device to Assist with Ambulation for the Visually Impaired.- Development of Capacitive Sensors to Detect and Quantify Fluids in the Adult Diaper.- Energy Cyber Attacks to Smart Healthcare Devices: A Testbed.- [Extended Abstract] Wet-laboratory Experiments and Computer Simulation of Interacting Cell Spheroids.- Ensembles of Heuristics and Computational Optimisation In Highly Flexible Manufacturing System.- A Intelligent Nanorobots Fish Swarm Strategy for Tumor Targetting.- [Extended abstract] Design and Implementation of A General-purpose Multicellular Molecular Communication Simulator.

Read more less

Book SynopsisThis book constitutes the proceedings of the 11th Ecuadorian Conference on Information and Communication Technologies, TICEC 2023, held in Cuenca, Ecuador, during October 18–20, 2023.The 31 full papers presented were carefully reviewed and selected from 120 submissions. The papers cover a great variety of topics, such as internet of things, cyber-physical systems, human-machine interface, artificial Intelligence, e-Learning, smart healthcare, smart healthcare and others. The papers are organized in the following topical sections: data science and machine learning; ICTs and their applications; and software development.Table of Contents​Data Science and Machine Learning: Uncovering the Effects of the Russia-Ukraine Conflict on Cryptocurrencies: A Data-driven Analysis with Clustering and Biplot Techniques.- Human Trafficking in Social Networks: A Review of Machine Learning Techniques.- Exploring the Performance of Deep Learning in High-Energy Physics.- Human actions recognition system based on Neural Networks.- Big Data Architecture for Air Pollution Spatial Visualization: Quito, Ecuador.- The Role of Twitter in Media Coverage during Humanitarian Crises. Data mining from International News Agencies.- Applied Metaheuristics in International Trading: A Systematic Review.- Finding an Integrated Ultraviolet Radiation Index Using Fuzzy Logic Techniques.- Forecasting the Consumer Price Index of Ecuador using Classical and Advanced Time Series Models.- Forecasting PM2.5 concentrations in ambient air using a transformer based neural network.- Machine Learning Applied to the Analysis of Glacier Masses.- Profit vs Accuracy: Balancing the Impact on Users Introduced by Profit-Aware Recommender Systems.- Augmenting Data with DCGANs to Improve Skin Lesions Classification.- Unraveling the power of 4D residual blocks and transfer learning in violence detection.- ICTs and their Applications: Brainwaves communication system for people with reduced mobility and verbal impairment.- Advanced metrics to evaluate autistic children's attention and emotions from facial characteristics using a human-robot-game interface.- Performance analysis of You Only Look Once, RetinaNet, and Single Shot Detector applied to vehicle detection and counting.- Tumor kidney segmentation from CT images using residual U-net architecture.- Classification of Alzheimer disease’s Severity Using Support Vector Machine and Deep Feature Extraction of Convolutional Neural Networks: a Contrasting of Methodologies.- Creation of an alert device for early detection of epilepsy using an EEG signal power threshold.- Optimal location of the electric vehicle charging stands using multi-objective evolutionary algorithms: Cuenca city as a case study.- Detecting Parkinson’s Disease with Convolutional Neural Networks: Voice Analysis and Deep Learning.- Hyperparameter Tuning in a Dual Channel U-Net for Medical Image Segmentation.- Vitreous Hemorrhage Segmentation in Fundus Images by using an Efficient-UNet Network.- A non-invasive portable solution to estimate hemoglobin levels in the blood.- Mask R-CNN and YOLOv8 comparison to perform tomato maturity recognition task.- Software Development.- Development of a distributed hydrological model of continuous generation, in a GIS environment.- A Domain-Specific Language and Model-Based Engine for Implementing IoT Dash- board Web Applications.- Feasibility of using serious MIDI-AM videogames as resources in early childhood education.- Search and Visualization of Researcher Networks: Co-authorship in Ecuador.- Visualization Models Applied to Atmospheric Pollutants and Meteorological Variables: A Systematic Literature Review.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.Table of ContentsRefinements for Open Automata.- The Cubicle Fuzzy Loop : A Fuzzing-Based Extension for the Cubicle Model Checker.- Guiding Symbolic Execution with A-star.- Robustness Testing of Software Verifiers.- Decoupled Fitness Criteria for Reactive Systems.- Capturing Smart Contract Design with DCR Graphs.- An Active Learning Approach to Synthesizing Program Contracts.- Ranged Program Analysis via Instrumentation.- Attack time analysis in dynamic attack trees via integer linear programming.- SSCalc A Calculus for Solidity Smart Contracts.- ATM: a Logic for Quantitative Security Properties on Attack Trees.- Refactoring of Multi-Instance BPMN Processes with Time and Resources.- Verified Scalable Parallel Computing with Why3.- Exact and Efficient Bayesian Inference for Privacy Risk Quantification.- A Formalization of Heisenbugs and Their Causes.- Verifying Read-Copy Update under RC11.- QNNRepair: Quantized Neural Network Repair.- Timeout Prediction for Software Analyses.- PART Tool Papers.- PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023. The 21 full papers were carefully reviewed and selected from 121 submissions. Additionally, the book contains 4 keynote speeches and 3 tutorials, and one invited paper corresponding to one of the keynote speeches. The papers cover a broad spectrum of classical and modern topics on conceptual modeling, including research and practice in the theories of concepts and ontologies, techniques for transforming conceptual models into effective implementations, and methods and tools for developing and communicating conceptual models.Table of Contents​Invited Paper.- Stochastic LLMs do not Understand Language: Towards Symbolic, Explainable and Ontologically Based LLMs.- The Conceptual Modeling Task.- A Survey of Ethical Reasoning Methods, their Metamodels, and a Theory on their Application to Conceptual Modelling.- Use of Competency Questions in Ontology Engineering: a Survey.- How Inclusive is Conceptual Modeling? A Systematic Review of Literature and Tools for Disability-aware Conceptual Modeling.- The Meta Level.- A Terminological and Semiotic Review of the Digital Object Concept.- The Ontology for Conceptual Characterization of Ontologies.- ProMoTe: A Data Product Model Template for Industry.- Model-Based Analysis and Implementation.- Using a Conceptual Model in Plug-and-play SQL.- Sanity-Checking Multiple Levels of Classification – A Formal Approach with a ConceptBase Implementation.- A Safari for Deviating GoF Pattern Definitions and Examples on the Web.- Process Mining and Abstraction.- Object-Centric Alignments.- Transforming Event Knowledge Graph to Object-Centric Event Logs: A Comparative Study for Multi-dimensional Process Analysis.- Ontology-Based Abstraction of Bot Models in Robotic Process Automation.- Modeling Events and Processes.- Shards of Knowledge – Modeling Attributions for Event-Centric Knowledge Graphs.- A Characterisation of Ambiguity in BPM.- Dealing with the evolution of event-based choreographies of BPMN fragments: definition and proof of concept.- Conceptual Modeling in Context.- Safety Analysis of Human Robot Collaborations with GRL Goal Models.- A Domain-Specific Visual Modeling Language for Augmented Reality Applications Using WebXR.- An Ontology for Context Modeling in Smart Spaces.- Applications of Conceptual Modeling.- A Reference Meta-Model to Understand DNA Variant Interpretation Guidelines.- A Conceptual Modeling Approach for Risk Assessment and Mitigation in Collision-free UAV Routing for Beyond-the-Visual-Line-of-Sight Flights.- QuantumShare: Towards An Ontology for Bridging the Quantum Divide.

Read more less

Book SynopsisThe two-volume set LNCS 14461 and LNCS 14462 constitutes the refereed proceedings of the 17th International Conference on Combinatorial Optimization and Applications, COCOA 2023, held in Hawaii, HI, USA, during December 15–17, 2023. The 73 full papers included in the proceedings were carefully reviewed and selected from 117 submissions. They were organized in topical sections as follows: Part I: Optimization in graphs; scheduling; set-related optimization; applied optimization and algorithm; Graph planer and others;Part II: Modeling and algorithms; complexity and approximation; combinatorics and computing; optimization and algorithms; extreme graph and others; machine learning, blockchain and others.Table of ContentsModeling and Algorithms.- ​Differentiable Discrete Optimization using Dataless Neural Networks.- When Advertising meets Assortment Planning: Joint Advertising and Assortment Optimization under Multinomial Logit Model.- Twin-treewidth: A single-exponential logic-based approach.- Highway Preferential Attachment Models for Geographic Routing.- Complexity and Approximation.- Restricted Holant Dichotomy on Domains 3 and 4.- Earliest Deadline First is a $2$-approximation for DARP with Time Windows.- Improved approximation for broadcasting in k-Path Graphs.- The fine-grained complexity of approximately counting proper connected colorings (extended abstract).- Combinatorics and Computing.- Strong edge coloring of subquartic graphs.- Two multicolor Ramsey numbers involving bipartite graphs.- Mechanism Design for Time-Varying Value Tasks in High-Load Edge Computing Markets.- Computing random r-orthogonal Latin squares.- Optimization and Algorithms.- A Two-stage Seeds Algorithm for Competitive Influence Maximization considering User Demand.- Practical Attribute-Based Multi-Keyword Search Scheme with Sensitive Information Hiding for Cloud Storage Systems.- Testing Higher-order Clusterability on graphs.- The $2$-mixed-center color spanning problem.- A Dynamic Parameter Adaptive Path Planning Algorithm.- On the Mating Between a Polygonal Curve and a Convex Polygon.- A Faster Parameterized Algorithm for Bipartite 1-Sided Vertex Explosion.- Multi-Winner Approval Voting with Grouped Voters.- EFX Allocation to Chores Over Small Graph.- Extreme Graph and Others.- Zero-visibility Cops and Robber game on Cage graph.- Online Facility Assignment for General Layout of Servers on a Line.- Guarding Precise and Imprecise Polyhedral Terrains with Segments.- The Bag-Based Search: A meta-algorithm to construct tractable logical circuits for graphs based on tree decomposition.- On Problems Related to Absent Subsequences.- Some Combinatorial Algorithms on the Dominating Number of Anti-Rank k Hypergraphs.- Parameterized and exact-exponential algorithms for the read-once integer refutation problem in UTVPI constraints.- Critical $(P_5,dart)$-Free Graphs.- Graph Clustering through Users' Properties and Social Influence.- Machine Learning, Blockchain and Others.- Incorporating Neural Point Process-based Temporal Feature for Rumor Detection.- Improving Contraction Hierarchies by Combining with All-Pairs Shortest Paths Problem Algorithms.- Information Theory of Blockchain Systems.- Machine Learning with Low Resource Data from Psychiatric Clinics.- Single Image Dehazing Based on Dynamic Convolution and Transformer.- Reinforcement Learning for Combating Cyberbullying in Online Social Networks.

Read more less

Book SynopsisThis textbook offers an introduction to topics in algorithms and programming with python.

Read more less

Book Synopsis.- Invited abstracts..- Special Session: Computing Knowledge: Computational Aspects of Epistemic Logics (HaPoC)..- The theory of enumeration degrees and its fragments..- Further extensions of the point to set principle..- Uniform distribution and algorithmic randomness..- Computable aspects of symbolic dynamics and tilings..- How much pattern complexity can help us solve the domino problem ?..- Sufficient conditions for non-emptiness of a subshift and computability of its entropy..- Reasoning about (Negative) Trust under Uncertainty..- Quantum computating from reversible classical computing..- Complexity of well-ordered sets  in an ordered Abelian group..- Invited papers..- If CiE Did not Exist, It Would be Necessary to Invent It..- Some Open Questions and Recent Results on Computable Banach  Spaces..- Kolmogorov complexity as a combinatorial tool..- Cellular Automata: Communicati

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 8th International Conference on Advances in Computing and Data Sciences, ICACDS 2024, held in Velizy, France, during May 910, 2024. The 28 full papers present here, were carefully reviewed and selected from 174 submissions.

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less

Book SynopsisThis book will focus on the involvement of data mining and intelligent computing methods for recent advances in Biomedical applications and algorithms of nature-inspired computing for Biomedical systems. The proposed meta heuristic or nature-inspired techniques should be an enhanced, hybrid, adaptive or improved version of basic algorithms in terms of performance and convergence metrics. In this exciting and emerging interdisciplinary area a wide range of theory and methodologies are being investigated and developed to tackle complex and challenging problems. Today, analysis and processing of data is one of big focuses among researchers community and information society. Due to evolution and knowledge discovery of natural computing, related meta heuristic or bio-inspired algorithms have gained increasing popularity in the recent decade because of their significant potential to tackle computationally intractable optimization dilemma in medical, engineering, military, space and industry fields. The main reason behind the success rate of nature inspired algorithms is their capability to solve problems. The nature inspired optimization techniques provide adaptive computational tools for the complex optimization problems and diversified engineering applications. Tentative Table of Contents/Topic Coverage:　 - Neural Computation - Evolutionary Computing Methods - Neuroscience driven AI Inspired Algorithms - Biological System based algorithms - Hybrid and Intelligent Computing Algorithms - Application of Natural Computing - Review and State of art analysis of Optimization algorithms - Molecular and Quantum computing applications - Swarm Intelligence - Population based algorithm and other optimizations

Read more less

Book SynopsisAlgorithms play a central role both in the theory and in the practice of computing. The goal of the authors was to write a textbook that would not trivialize the subject but would still be readable by most students on their own. The book contains over 120 exercises. Some of them are drills; others make important points about the material covered in the text or introduce new algorithms not covered there. The book also provides programming projects. From the Table of Contents: Chapter 1: Basic knowledge of Mathematics, Relations, Recurrence relation and Solution techniques, Function and Growth of functions. Chapter 2: Different Sorting Techniques and their analysis. Chapter 3: Greedy approach, Dynamic Programming, Branch and Bound techniques, Backtracking and Problems, Amortized analysis, and Order Statics. Chapter 4: Graph algorithms, BFS, DFS, Spanning Tree, Flow Maximization Algorithms. Shortest Path Algorithms. Chapter 5: Binary search tree, Red black Tree, Binomial heap, B-Tree and Fibonacci Heap. Chapter 6: Approximation Algorithms, Sorting Networks, Matrix operations, Fast Fourier Transformation, Number theoretic Algorithm, Computational geometry Randomized Algorithms, String matching, NP-Hard, NP-Completeness, Cooks theorem.

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less