%{search_type} search results

• Systems Theory and Simulation: Formal Approaches.- Kolmogorov Stream Ciphers.- Morphotronic System (Theory).- Knowledge Discovery in Databases Using Multivalued Array Algebra.- Local Space-Time Systems Simulation of Linear and Non-linear Retinal Processes.- Analytical Representation of Intrinsic Directionality in Retinal Cells.- Linear Complexity Measures for Multi-valued Cryptographic Data Streams by Application of the Rissanen Partial Realization Method.- A Software Implementation of the Rissanen Method for Partial Linear Systems Realization.- New Frontiers in the Validation of Simulation Models-Structural Dominance Analysis.- Optimizing the Hardware Usage of Parallel FSMs.- SynPSL: Behavioral Synthesis of PSL Assertions.- Learning Autonomous Helicopter Flight with Evolutionary Reinforcement Learning.- Designing Communication Space in Wireless Sensor Network Based on Relational Attempt.- Boundary Scan Security Enhancements for a Cryptographic Hardware.- Automated Design of Totally Self-Checking Sequential Circuits.- A General Purpouse Control System.- Computation and Simulation in Modelling Biological Systems.- On the First Exit Time Problem for a Gompertz-Type Tumor Growth.- A Neuronal Model with Excitatory and Inhibitory Inputs Governed by a Birth-Death Process.- Diffusion Processes Subject to Catastrophes.- Automatic System Identification of Tissue Abnormalities Based on 2D B-Mode Ultrasound Images.- Vision-An Essay from a Computational View Point.- On a Generalized Leaky Integrate-and-Fire Model for Single Neuron Activity.- Mathematical and Computational Modeling of Neurons and Neuronal Ensembles.- Intelligent Information Processing.- The Foldl Operator as a Coequalizer Using Coq.- Algorithm for Testing the Leibniz Algebra Structure.- Automatic Drusen Detection from Digital Retinal Images: AMD Prevention.- A Study of Extracting Knowledge from Guideline Documents.- Modelling Differential Structures in Proof Assistants: The Graded Case.- Vascular Landmark Detection in Retinal Images.- Web Applications: A Proposal to Improve Response Time and Its Application to MOODLE.- Functional Disambiguation Using the Syntactic Structures Algorithm for Each Functional Interpretation for Spanish Language.- On Similarity in Case-Based Reasoning for Structural Health Monitoring.- A Distributed System for Massive Generation of Synthetic Video Using GPUs.- Using a Rank Fusion Technique to Improve Shot Boundary Detection Effectiveness.- Step-Guided Clinical Workflow Fulfilment Measure for Clinical Guidelines.- Debugging and Verification of Multi-Agent Systems.- Easing the Definition of N-Ary Relations for Supporting Spatio-Temporal Models in OWL.- Applied Formal Verification.- Separation of Transitions, Actions, and Exceptions in Model-Based Testing.- Automatic Test Generation for Coverage Analysis Using CBMC.- Self-healing Assurance Based on Bounded Model Checking.- Effective Bit-Width and Under-Approximation.- Observable Runtime Behavior for Defects Indicated by Automated Static Analysis.- Computer Vision and Image Processing.- Real-Time Vision-Based Vehicle Detection for Rear-End Collision Mitigation Systems.- Real-Time Hierarchical GPS Aided Visual SLAM on Urban Environments.- Tomographic Image Reconstruction Using Abstractions.- Unsupervised Clustering Using Diffusion Maps for Local Shape Modelling.- Sensibility Analysis of an Object Movement Forecast Approximation in Real Image Sequences.- Angular Contour Parameterization for Signature Identification.- Image Sequences Noise Reduction: An Optical Flow Based Approach.- Mobile and Autonomous Systems: Robots and Cars.- From Industrial to Ubiqitous Robots.- WiFi Localization System Using Fuzzy Rule-Based Classification.- Vehicle Detection Based on Laser Radar.- Biomimetic Controller for Situated Robots Based on State-Driven Behaviour.- Supporting Information Services for Travellers of Public Transport by Road.- Applying Reinforcement Learning to Multi-robot System Behavior Coordination.- Safe Crossroads via Vehicle to Vehicle Communication.- Cooperation Enforcement Schemes in Vehicular Ad-Hoc Networks.- Cooperative and Competitive Behaviors in a Multi-robot System for Surveillance Tasks.- Control Action Continuity on Situation-Based Obstacle Avoidance.- Simulation Based System Optimization.- Traffic Signals in Traffic Circles: Simulation and Optimization Based Efficiency Study.- Integrated System and Network Simulation of a 5.8GHz Local Positioning System.- Simulation Based Optimization of Vertex Packing Decoding Algorithms.- Diversity Order of Spatial Multiplexing with Transmit Antenna Correlation Based Precoding.- Software Simulator to Model an Energy Autonomous System.- Signal Processing Methods in Systems Design and Cybernetics.- On Stochastic Variation in Discrete Time Systems.- Convolution on Finite Groups and Fixed-Polarity Polynomial Expressions.- Reversible Synthesis through Shared Functional Decision Diagrams.- Ternary Haar-Like Transform and Its Application in Spectral Representation of Ternary-Valued Functions.- Complete Sets of Hamiltonian Circuits for Classification of Documents.- SPICE Simulation of Analog Filters: A Method for Designing Digital Filters.- A Heterogeneous Decision Diagram Package.- Walsh Matrices in the Design of Industrial Experiments.- Dynamic Behavior of Time-Domain Features for Prosthesis Control.- Decomposing Pattern Matching Circuit.- Hardware Approach to Artificial Hand Control Based on Selected DFT Points of Myopotential Signals.- System Approach to Complex Signal Processing Task.- Polynomial Models in Control System Design.- Symbolic Computations on Rings of Rational Functions and Applications in Control Engineering.- Nonlinear Systems: A Polynomial Approach.- Robust Control of a Two Tank System Using Algebraic Approach.- Comparing Algebraic and Constrained Pole Assignment Controllers for a Thermal System.- Nonlinear Controllers for a Fluid Tank System.- Pre-identification for Real-Time Control.- Realization of Continuous-Time Nonlinear Input-Output Equations: Polynomial Approach.- Heuristic Problem Solving.- Using Heuristic Optimization for Segmentation of Symbolic Music.- Fitting Rectangular Signals to Time Series Data by Metaheuristic Algorithms.- Virtual Sensors for Emissions of a Diesel Engine Produced by Evolutionary System Identification.- Solving the Euclidean Bounded Diameter Minimum Spanning Tree Problem by Clustering-Based (Meta-)Heuristics.- Solving the Rectangle Packing Problem by an Iterative Hybrid Heuristic.- New Approximation-Based Local Search Algorithms for the Probabilistic Traveling Salesman Problem.- Evolving 6-State Automata for Optimal Behaviors of Creatures Compared to Exhaustive Search.- Analysis of the Properties of the Harmony Search Algorithm Carried Out on the One Dimensional Binary Knapsack Problem.- An Algorithm of Schedule Planning for Tanker Drivers.- A Kruskal-Based Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem.- Applying Ant Colony Optimisation to Dynamic Pickup and Delivery.- Model Driven Rapid Prototyping of Heuristic Optimization Algorithms.- Heuristic Methods for Searching and Clustering Hierarchical Workflows.- Model Instability in Microarray Gene Expression Class Prediction Studies.- Conflict Resolution in Multiagent Systems Based on Wireless Sensor Networks.- Evolutionary Selection in Simulation-Based Optimization.- Feature Selection Based on Pairwise Classification Performance.- On the Influence of Selection Schemes on the Genetic Diversity in Genetic Algorithms.- Solving a Real-World FAP Using the Scatter Search Metaheuristic.- On the Success Rate of Crossover Operators for Genetic Programming with Offspring Selection.- On Structural Identification of 2D Regression Functions for Indoor Bluetooth Localization.- Grid-Enabled Mutation-Based Genetic Algorithm to Optimise Nuclear Fusion Devices.- Priority Rule Generation with a Genetic Algorithm to Minimize Sequence Dependent Setup Costs.- A GRASP-VNS Hybrid for the Fuzzy Vehicle Routing Problem with Time Windows.- Simulation and Formal Methods in Systems Design and Engineering.- Performance Modelling for Avionics Systems.- Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering.- Simulation Based Design of Control Systems Using DEVS and Petri Nets.- Transforming UML-Based System Descriptions into Simulation Models as Part of System Development Frameworks.- Model-Based Design and Verification of Reactive Systems.- Resonant Tunnelling Diode-Based Circuits: Simulation and Synthesis.- A Practical Methodology for Integration Testing.- Models of Co-operative Engineering Systems.- Safety Oriented Laparoscopic Surgery Training System.- Co-operative Extended Kohonen Mapping (EKM) for Wireless Sensor Networks.- Morphotronic System Applications.- SNIPER: A Wireless Sensor Network Simulator.- Embedded Fortress - Software Environment for Intellectual Property Protection in Embedded Systems.- Collaborative XML Document Versioning.- Parallel Distributed Genetic Algorithm for Expensive Multi-Objective Optimization Problems.
• (source: Nielsen Book Data)

The concept of CAST as Computer Aided Systems Theory was introduced by F. Pichler in the late 1980s to refer to computer theoretical and practical developments as tools for solving problems in system science. It was thought of as the third component (the other two being CAD and CAM) required to complete the path from computer and systems sciences to practical developments in science and engineering. Franz Pichler, of the University of Linz, organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST (Las Palmas, February 1989) under the name EUROCAST'89. This proved to be a very successful gathering of systems theorists, computer scientists and engineers from most European countries, North America and Japan. It was agreed that EUROCAST international conferences would be organized every two years, alternating between Las Palmas de Gran Canaria and a continental European location. From 2001 the conference has been held exclusively in Las Palmas. Thus, successive EUROCAST meetings took place in Krems (1991), Las Palmas (1993), In- bruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001), Las Palmas (2003) Las Palmas (2005) and Las Palmas (2007), in addition to an extra-European CAST c- ference in Ottawa in 1994.
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 17th Annual International Cryptology Conference, CRYPTO'97, held in Santa Barbara, California, USA, in August 1997 under the sponsorship of the International Association for Cryptologic Research (IACR). The volume presents 35 revised full papers selected from 160 submissions received. Also included are two invited presentations. The papers are organized in sections on complexity theory, cryptographic primitives, lattice-based cryptography, digital signatures, cryptanalysis of public-key cryptosystems, information theory, elliptic curve implementation, number-theoretic systems, distributed cryptography, hash functions, cryptanalysis of secret-key cryptosystems.

• How solid is solid modeling?
• Robustness issues in geometric algorithms
• Implementing geometric algorithms robustly
• Robustness in geometric algorithms
• Applications of computational geometry in mechanical engineering design and manufacture
• On some applications of computational geometry in manufacturing and virtual environments
• Visualizing geometric algorithms
• State of the art
• Geometric algorithm visualization, current status and future
• Position paper for panel discussion
• Designing the computational geometry algorithms library CGAL
• The computational geometry impact task force report: An executive summary
• Geometric manipulation of flexible ligands
• Ray-representation formalism for geometric computations on protein solid models
• Column-based strip packing using ordered and compliant containment
• Computing a flattest, undercut-free parting line for a convex polyhedron, with application to mold design
• Geometric problems in machine learning
• Matching convex polygons and polyhedra, allowing for occlusion
• Stably placing piecewise smooth objects
• A beam-tracing algorithm for prediction of indoor radio propagation
• Extracting geometric information from architectural drawings
• Using the visibility complex for radiosity computation
• The CGAL kernel: A basis for geometric computation
• Triangle: Engineering a 2D quality mesh generator and Delaunay triangulator.

Content Description #Anthology selected from contributions to the First ACM Workshop on Applied Computational Geometry.#Includes bibliographical references and index.

• IMAGE ANALYSIS & PROCESSING.- Multi-granularity feature attention Fusion network for Image-Text Sentiment Analysis.- Toward efficient image denoising: A lightweight network with retargeting supervision driven knowledge distillation.- A pig pose estimation model for measuring pig's body size.- Topology-aware Learning for Semi-supervised Cross-domain Retinal Artery/Vein Classification.- Face Super-Resolution with Better Semantics and More Efficient Guidance.- GRAPHS & NETWORKS.- Layout and Display of Network Graphs on a Sphere.- Joint Matrix Factorization and Structure Preserving for Domain Adaptation.- Graph Adversarial Network with Bottleneck Adapter Tuning for Sign Language Production.- ESTIMATION & FEATURE MATCHING.- Facial Landmarks based Region-Level Data Augmentation for Gaze Estimation.- An Efficient Dense Depth Map Estimation Algorithm Using Direct Stereo Matching For Ultra-wide-angle Images.- Ad-RMS: Adaptive Regional Motion Statistics for Feature Matching Filtering.- 3D RECONSTRUCTION.- Mobile Augmented Realty Based Visual Indoor Navigation.- Cost Volume Pyramid Network with Multi-strategies Range Searching for Multi-view Stereo.- Reconstructing the Surface Mesh Representation for Single Neuron.- WEmap: Weakness-enhancement mapping for 3D reconstruction with sparse image sequences.- RENDERING & ANIMATION.- Comparing Traditional Rendering Techniques to Deep Learning based Super-Resolution in Fire and Smoke Animations.- Real-Time Light Field Path Tracing.- Crowd Simulation with Detailed Body Motion and Interaction.- Towards Rendering the Style of 20th Century Cartoon Line Art in 3D Real-time.- DETECTION & RECOGNITION.- Face detection algorithm in classroom scene based on deep learning.- GRVT: Toward Effective Grocery Recognition via Vision Transformer.- A Transformer-based Cloth-irrelevant Patches Feature Extracting Method for Long-Term Cloth-Changing Person Re-identification.- Learning Unified Binary Feature Codes For Cross-illumination Palmprint Recognition.- COLORS, PAINTINGS & LAYOUT.- SemiPainter: Learning to draw semi-realistic paintings from the manga line drawings and flat shadow.- Hierarchical Bayesian Network Modeling and Layout of Huizhou Traditional Villages in Geographic Environment.- AE-GAN: Attention Embedded GAN For Irregular and Large-area Mask Face Image Inpainting.- SYNTHESIS & GENERATION.- Procedural Generation of Landscapes with Water Bodies Using Artificial Drainage Basins.- High-fidelity Dynamic Human Synthesis via UV-guided NeRF with Sparse Views.- Rec2Real: Semantics-Guided Photo-Realistic Image Synthesis Using Rough Urban Reconstruction Models.- 3D Digital City Structure Model Based on Image Modeling Technology.- AR & USER INTERFACES.- Augmented Reality-Based Home Interaction Layout and Evaluation.- LiteAR: A Framework to Estimate Lighting for Mixed Reality Sessions for Enhanced Realism.- Personalized User Interface Elements Recommendation System.- MEDICAL IMAGING.- A feature point extraction method for capsule endoscope localization.- Automated Diagnosis Of Retinal Neovascularization Pathologies From Color Retinal Fundus Images.- SEGMENTATION.- DDCNet: A lightweight network with variable receptive field for real-time portrait segmentation in complex environment.- A chromosome segmentation method based on corner detection and watershed algorithm.- Voxel-based 3D shape segmentation using deep volumetric convolutional neural networks.- OBJECT DETECTION.- Few-shot detection based on an enhanced prototype for outdoor small forbidden objects.- Research on real-time forestry pest detection based on improved YOLOv5.- Power Line Detection Based on Feature Fusion Deep Learning Network.- IMAGE ATTENTION & PERCEPTION.- Wider and Higher: Intensive Integration and Global Foreground Perception for Image Matting.- Authenticity Identification of Qi Baishi's Shrimp Painting with Dynamic Token Enhanced Visual Transformer.- MODELING & SIMULATION.- An Optimized Material Point Method for Soil-Water Coupled Simulation.- SlimFliud-Net: Fast Fluid Simulation Using Admm Pruning. .
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 39th Computer Graphics International Conference on Advances in Computer Graphics, CGI 2022, held Virtually, during September 12-16, 2022. The 45 full papers included in this book were carefully reviewed and selected from 139 submissions. They were organized in topical sections as follows: image analysis & processing; graphs & networks; estimation & feature matching; 3d reconstruction; rendering & animation; detection & recognition; colors, paintings & layout; synthesis & generation; ar & user interfaces; medical imaging; segmentation; object detection; image attention & perception; and modeling & simulation.
(source: Nielsen Book Data)

• Towards a Model-driven Approach for Big Data Analytics in the Genomics Field.- Conceptual Modeling-based Cardiopathies Data Management.- A Conceptual Model of Health Monitoring Systems Centered on ADLs Performance in Older Adults.- A Comparative Analysis of the completeness and concordance of data sources with cancer-associated information.- A Flexible Automated Pipeline Engine for Transcript-level Quantification from RNA-seq.- An Initial Empirical Assessment of an Ontological Model of the Human Genome.- Unsupervised factor extraction from pretrial detention decisions by Italian and Brazilian Supreme Courts.- Context-Aware Knowledge Extraction from Legal Documents through Zero-Shot Classification.- On the Lack of Legal Regulation in Conceptual Modeling Automated extraction and representation of citation network: a CJEU case-study.- A Rule 74 for Italian judges.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of three workshops symposia, held at the 41st International Conference on Conceptual Modeling, ER 2022, as a virtual event, in October 2022. The 11 papers deal with topics such as foundations; business information systems; advanced and cross-disciplinary applications, conceptual modeling, information systems and knowledge graphs; data/object management; engineering; and experience. The following workshops are included in this volume: Third International Workshop on Conceptual Modeling for Life Sciences (CMLS), 5th International Workshop on Empirical Methods in Conceptual Modeling (EmpER); and First International Workshop on Digital Justice, Digital Law and Conceptual Modeling (JUSMOD).
(source: Nielsen Book Data)

• Unifying 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.

This book constitutes the refereed proceedings of the 13th International Conference on Algorithms and Complexity, CIAC 2023, which took place in Larnaca, Cyprus, during June 1316, 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.

• Stable Approximation Schemes.- A whirlwind tour of intersection graph enumeration.- Graph modification problems with forbidden minors.- Algorithms & Optimization Efficient reductions and algorithms for Subset Product.- Optimal length cutting plane refutations of integer programs.- Fault-Tolerant Dispersion Resource management in device-to-device communications.- Computational Geometry Algorithms for k-Dispersion for Points in Convex Position in the Plane.- Arbitrary oriented color spanning region for line segments.- Games with a Simple Rectilinear Obstacle in Plane.- Diverse Fair Allocations: Complexity and Algorithms.- Graph Coloring New bounds and constructions for neighbor-locating colorings of graphs.- D K 5-list coloring toroidal 6-regular triangulations in linear time.- On Locally Identifying Coloring of Graphs.- On Structural Parameterizations of Star Coloring.- Reddy Perfectness of G-generalized join of graphs.- Coloring of a superclass of 2K2-free graphs.- The Weak (2,2)-Labelling Problem for graphs with forbidden induced structures.- Graph Connectivity Short cycles dictate dichotomy status of the Steiner tree problem on Bisplit graphs.- Some insights on dynamic maintenance of Gomory-Hu tree in cactus graphs and general graphs.- Monitoring edge-geodetic sets in graphs.- Cyclability, Connectivity and Circumference.- Graph Domination On three domination-based identification problems in block graphs.- Graph modification problems with forbidden minors.- Computational Aspects of Double Dominating Sequences in Graph.- Relation between broadcast domination and multipacking numbers on chordal graphs.- Pushing Cops and Robber on Oriented Graphs.- Mind the Gap: Edge Facility Location Problems in Theory and Practice.- Complexity Results on Cosecure Domination in Graphs.- Kusum and Arti Pandey Graph Matching Latin Hexahedra and Related Combinatorial Structures.- Minimum Maximal Acyclic Matching in Proper Interval Graphs.- Graph Partition & Graph Covering Transitivity on subclasses of chordal graphs.- Maximum subgraph problem for 3-regular Knoedel graphs and its wirelength.- Covering using Bounded Size Subgraphs.- Axiomatic characterization of the the toll walk function of some graph classes.- Structural Parameterization of Alliance Problems.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 9th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2023, which was held in Gandhinagar, India, during February 9-11, 2023.The 32 papers presented in this volume were carefully reviewed and selected from 67 submissions. The papers were organized in topical sections named: algorithms and optimization; computational geometry; game theory; graph coloring; graph connectivity; graph domination; graph matching; graph partition and graph covering.
(source: Nielsen Book Data)

This book constitutes the proceedings of the 6th International Workshop on Chatbot Research and Design, CONVERSATIONS 2022, which was held during November 2022. The 12 papers included in this volume were carefully reviewed and selected from a total of 27 submissions. They were organized in topical sections named: chatbot users and user experience; chatbot design and applications.
(source: Nielsen Book Data)

• Fast Auto-Differentiable Digitally Reconstructed Radiographs for Solving Inverse Problems in Intraoperative Imaging.- Multi-channel Residual Neural Network Based on Squeeze-and Excitation for Osteoporosis Diagnosis.- Machine Learning Based Approach for Motion Detection andEstimation in Routinely Acquired Low Resolution Near Infrared Fluorescence Optical Imaging.- Automatic Landmark Identification on IntraOralScans.- STAU-Net: A Spatial Structure Attention Network for 3D Coronary Artery Segmentation.- Convolutional Redistribution Network for Multi-View Medical Image Diagnosis.- Feature Patch Based Attention Model for Dental Caries Classification.- Conditional Domain Adaptation Based on Initial Distribution Discrepancy for EEG Emotion Recognition.- Automated Cone and Vessel Analysis in Adaptive Optics like RetinalImages for Clinical Diagnostics Support.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 11th Workshop on Clinical Image-Based Procedures, CLIP 2022, which was held in conjunction with MICCAI 2022, in Singapore in September 2022. The 9 full papers included in this book were carefully reviewed and selected from 12 submissions. They focus on the applicability of basic research methods in the clinical practice by creating holistic patient models as an important step towards personalized healthcare. .
(source: Nielsen Book Data)

• Invited Paper.- Digital Geometry and Topology.- Picture Languages.- Theory and Applications.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 201st International Workshop on Combinatorial Image Analysis, IWCIA 2022, held in Messina, Italy, in July 2022.The 20 full papers presented were carefully reviewed and selected from 24 submissions. The papers are grouped into four sections. The first one consists of one invited talk. The second section contains seven papers devoted to digital geometry and topology. The third part consists of six papers discussing picture languages. The last part, including six papers, is devoted to various applications. We believe that many of these papers would be of interest to a broader audience, including researchers in scientific areas such as computer vision, shape modeling, pattern analysis and recognition, and computer graphics.
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Contents - Part I
• ICCS 2023 Main Track Full Papers
• Improving the Resiliency of Decentralized Crowdsourced Blockchain Oracles
• 1 Introduction
• 2 Related Work
• 3 Proposed Model
• 3.1 System Overview
• 3.2 Agents
• 3.3 Reputation
• 3.4 Threat Models
• 3.5 Rewards
• 3.6 Evaluation
• 4 Experiments and Simulation
• 4.1 Simulation Settings
• 4.2 Participation Control
• 4.3 Weighted Voting
• 4.4 Stratified Voting
• 5 Discussion
• 6 Conclusion
• References
• Characterization of Pedestrian Contact Interaction Trajectories
• 1 Introduction

• 2 Datasets
• 3 Data Analysis
• 4 Conclusion
• References
• Siamese Autoencoder-Based Approach for Missing Data Imputation
• 1 Introduction
• 2 Related Work
• 3 Siamese Autoencoder-Based Approach for Imputation
• 3.1 Deep Autoencoder Architecture
• 3.2 Custom Loss Function
• 3.3 Custom Triplet Mining
• 4 Experimental Setup
• 5 Results
• 6 Conclusions
• References
• An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic
• 1 Introduction
• 2 Related Work
• 3 Application Scenario
• 4 The CEP Event Patterns
• 5 The Fuzzy Inference System
• 6 CPN Model

• 7 Conclusions and Future Work
• References
• Downscaling WRF-Chem: Analyzing Urban Air Quality in Barcelona City
• 1 Introduction
• 2 Data, Materials and Methods
• 2.1 Case Study
• 2.2 Model Description, Chemistry and Physics Schemes
• 3 Experimental Results
• 3.1 Meteorology Results
• 3.2 Air Quality Results
• 4 Conclusions
• References
• Influence of Activation Functions on the Convergence of Physics-Informed Neural Networks for 1D Wave Equation
• 1 Introduction
• 2 Wave Equation
• 3 Training
• 4 Numerical Results
• 5 Experiments
• 5.1 Parameters Tuning

• 5.2 Activation Functions
• 6 Results
• 7 Conclusions and Future Work
• References
• Accelerating Multivariate Functional Approximation Computation with Domain Decomposition Techniques
• 1 Introduction
• 1.1 Related Work
• 2 Approach
• 2.1 Numerical Background
• 2.2 Shared Knot Spans at Subdomain Interfaces
• 2.3 Solver Workflow
• 2.4 Implementation
• 3 Results
• 3.1 Error Convergence Analysis
• 3.2 Real Simulation Datasets
• 3.3 Parallel Scalability
• 4 Summary
• References
• User Popularity Preference Aware Sequential Recommendation
• 1 Introduction
• 2 Related Works

• 2.1 Sequential Recommendation
• 2.2 Popularity Aware Recommendation
• 2.3 Contrastive Learning
• 3 Proposed Method
• 3.1 Problem Statement
• 3.2 Basic Model
• 3.3 Sequential Popularity Perception Module
• 3.4 Popularity Contrastive Learning Module
• 3.5 Network Training
• 4 Experiment
• 4.1 Datasets
• 4.2 Baselines
• 4.3 Implementation Details and Evaluation Metrics
• 4.4 Performance Comparison
• 4.5 Performance on Particular Users
• 4.6 Ablation Study
• 5 Conclusion
• References
• Data Heterogeneity Differential Privacy: From Theory to Algorithm
• 1 Introduction

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023, "Computation at the Cutting Edge of Science", highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational and systems biology, environmental systems, finance, and others

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023, "Computation at the Cutting Edge of Science", highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational and systems biology, environmental systems, finance, and others

• Intro
• Preface
• Organization
• Contents - Part V
• Quantum Computing
• Searching B-Smooth Numbers Using Quantum Annealing: Applications to Factorization and Discrete Logarithm Problem
• 1 Introduction
• 2 Classical Methods for Integer Factorization and Discrete Logarithm
• 2.1 Quadratic Sieve Method
• 2.2 Index Calculus Method
• 3 Hybrid Methods
• 3.1 Known Results and Previous Work
• 3.2 Our Result
• Factorization by Quantum Annealing as a Subroutine
• 3.3 Quantum Annealing Stage
• Summary
• 4 Experiments
• 4.1 Results for Integer Factorization

• 4.2 Results for Discrete Logarithm Problem over Prime Field
• 5 Summary
• References
• Classification of Hybrid Quantum-Classical Computing
• 1 Introduction
• 2 Literature
• 3 Types of Hybrid Computing
• 3.1 Vertical Hybrid Quantum Computing
• 3.2 Horizontal Hybrid Quantum Computing
• 4 Application
• 5 Conclusions
• References
• Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization
• 1 Introduction
• 2 Foundations
• 2.1 Satisfiability Problems
• 2.2 Quadratic Unconstrained Binary Optimization
• 3 Related Work
• 3.1 Chancellorn+m
• 3.2 Choi3m
• 4 Approaches

• 4.1 A 2n + m Approach
• 4.2 An n + m Approach
• 5 Empirical Evaluation
• 6 Conclusion and Future Work
• References
• Black Box Optimization Using QUBO and the Cross Entropy Method
• 1 Introduction
• 2 Background
• 2.1 MAX-SAT
• 2.2 Feedback Vertex Set (FVS)
• 2.3 MaxClique
• 2.4 Quadratic Unconstrained Binary Optimization (QUBO)
• 2.5 Cross-Entropy Method
• 3 Related Work
• 4 Black Box Optimization with Cross Entropy and QUBO (BOX-QUBO)
• 5 Experiments
• 6 Conclusion and Future Work
• References
• Sub-exponential ML Algorithm for Predicting Ground State Properties

• 1 Introduction
• 2 Preliminaries and Related Work
• 2.1 Formulation
• 2.2 Classical Shadows
• 2.3 Predicting Ground States of Quantum Many-Body Systems
• 3 Proposed Method
• 3.1 Idea
• 3.2 Algorithm Details
• 4 Conclusion
• References
• Quantum Factory Method: A Software Engineering Approach to Deal with Incompatibilities in Quantum Libraries
• 1 Introduction
• 2 State of the Art
• 2.1 Quantum Software Engineering
• 2.2 OpenQASM: A Not-so-Standard Standard
• 3 Proposal
• 3.1 Design Patterns
• 3.2 Application
• 4 Examples
• 4.1 Building Simple Circuits

• 4.2 Building Quantum Rule-Based Systems
• 4.3 Experiments and Results
• 5 Discussion and Conclusions
• References
• A Polynomial Size Model with Implicit SWAP Gate Counting for Exact Qubit Reordering
• 1 Introduction
• 2 Background
• 2.1 Building Blocks of QC
• 2.2 Decomposing Multi-qubit Gates
• 3 Problem Definition
• 4 Mathematical Model
• 5 Experimental Results
• 5.1 Experimental Setup
• 5.2 Results
• 6 Conclusion
• References
• Translating Constraints into QUBOs for the Quadratic Knapsack Problem
• 1 Introduction
• 2 Background
• 2.1 Quantum and Simulated Annealing

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023, "Computation at the Cutting Edge of Science", highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational and systems biology, environmental systems, finance, and others