Computational Science - Iccs 2020: 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part II, Krzhizhanovskaya Valeria V., Zбvodszky Gбbor, Lees Michael H.
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions.
Data Driven Computational Sciences.- A High-Performance Implementation of Bayesian Matrix Factorization with Limited Communication.- Early adaptive evaluation scheme for data-driven calibration in forest fire spread prediction.- Strategic Use of Data Assimilation for Dynamic Data-driven Simulation.- PDPNN: Modeling User Personal Dynamic Preference for Next Point-of-Interest Recommendation.- Cyber Attribution from Topological Patterns.- Applications of Data Assimilation Methods on a Coupled Dual Porosity Stokes Model.- Spatiotemporal Filtering Pipeline for Efficient Social Networks Data Processing Algorithms.- Normal Grouping Density Separation (NGDS): a novel object-driven indoor point cloud partition method.- Machine Learning and Data Assimilation for Dynamical Systems.- Learning Hidden States in a Chaotic System: A Physics-Informed Echo State Network Approach.- Learning ergodic averages in chaotic systems.- Supermodeling: the next level of abstraction in the use of data assimilation.- A new multilayer network construction via Tensor learning.- Neural Assimilation.- A Machine Learning Method for Computing Rare Event Probabilities.- Node Classification in Complex Social Graphs via Knowledge-Graph Embeddings and Convolutional Neural Network.- Accelerated Gaussian Convolution in a Data Assimilation scenario.- Complementary Role of Data Assimilation and Machine Learning for a Truly Optimal Estimation System: An Example Derived from Air Quality Analysis.- Recursive Updates of Wildfire Perimeters using Barrier Points and Ensemble Kalman Filtering.- Meshfree Methods in Computational Sciences.- Finding Points of Importance for Radial Basis Function Approximation of Large Scattered Data.- High accuracy terrain reconstruction from point clouds using implicit deformable model.- Solving non-linear elasticity problems by a WLS high order continuation.- Advanced Radial Basis Functions mesh morphing for high fidelity Fluid-Structure Interaction with known movement of the walls: simulation of an aortic valve.- Radial Basis Functions Mesh Morphing - A comparison between the bi-harmonic spline and the Wendland C2 radial function.- Radial Basis Function Approximation Optimal Shape Parameters Estimation: Preliminary Experimental Results.- Multiscale Modelling and Simulation.- Projective Integration for Moment Models of the BGK Equation.- Open Boundary Modeling in Molecular Dynamics with Machine Learning.- Microtubule Biomechanics and the Effect of Degradation of Elastic Moduli.- Formation of morphogenetic patterns in cellular automata.- Multilevel Monte Carlo with improved correlation for kinetic equations in the diffusive scaling.- Development and application of the Statistically Similar Representative Volume Element for numerical modelling of multiphase materials.- A heterogeneous multi-scale model for blood flow.- Towards Accurate Simulation of Global Challenges on Data Centers Infrastructures via Coupling of Models and Data Sources.- Easing multiscale model design and coupling with MUSCLE 3.- Quantum Computing Workshop.- Simulations of Quantum Finite Automata.- LibKet: A cross-platform programming framework for quantumaccelerated scientific computing.- Generalized Quantum Deutsch-Jozsa Algorithm.- Revisiting old combinatorial beasts in the quantum age: quantum annealing versus maximal matching.- A Quantum Annealing Algorithm for Finding Pure Nash Equilibria in Graphical Games.- Hybrid quantum annealing heuristic method for solving Job Shop Scheduling Problem.- Foundations for Workflow Application Scheduling on D-Wave System.- A Hybrid Solution Method for the Multi-Service Location Set Covering Problem.- New hybrid quantum annealing algorithms for solving Vehicle Routing Problem.- Multi-agent reinforcement learning using simulated quantum annealing.- Quantum Hopfield neural networks: A new approach and its storage Capacity.- A Variational algorithm for Quantum Neural Networks
Track of Computational Optimization, Modelling and Simulation.- Information Theory-based Feature Selection: Minimum Distribution Similarity with Removed Redundancy.- On the potential of the nature-inspired algorithms for pure binary Classification.- Symbolic Music Text Fingerprinting: Automatic Identification of Musical Scores.- Reduced-Cost Constrained Modeling of Microwave and Antenna Components: Recent Advances.- Aerodynamic Shape Optimization for Delaying Dynamic Stall of Airfoils by Regression Kriging.- Model-Based Sensitivity Analysis of Nondestructive Testing Systems using Machine Learning Algorithms.- Application of Underdetermined Differential Algebraic Equations to Solving One Problem from Heat Mass Transfer.- Fully-Asynchronous Fully-Implicit Variable-Order Variable-Timestep Simulation of Neural Networks.- Deep Learning Assisted Memetic Algorithm for Shortest Route Problems.- A relaxation algorithm for optimal control problems governed by two-dimensional conservation laws.- Genetic learning particle swarm optimization with interlaced ring topology.- Low Reynolds Number Swimming with Slip Boundary Conditions.- Trilateration-based Multilevel Method for Minimizing the Lennard-Jones Potential.- A Stochastic Birth-Death Model of Information Propagation Within Human Networks.- A Random Line-Search Optimization Method Via Modified Cholesky Decomposition for Non-Linear Data Assimilation.- A Current Task-Based Programming Paradigms Analysis.- Radial Basis Functions Based Algorithms for non-Gaussian Delay Propagation in Very Large Circuits.- Ant Colony Optimization implementation for reversible synthesis in Walsh-Hadamard domain.- COEBA: A Coevolutionary Bat Algorithm for Discrete Evolutionary Multitasking.- Convex Polygon Packing Based Meshing Algorithm for Modeling of Rock and Porous Media.- Track of Computational Science in IoT and Smart Systems.- Modelling contextual data for smart environments. Case study of a system to support mountain rescuers.- Fuzzy Intelligence in Monitoring Older Adults with Wearables.- Deep Analytics for Management and Cybersecurity of the National Energy Grid.- Regression methods for detecting anomalies in flue gas desulphurization installations in coal-fired power plants based on sensor data.- Autonomous Guided Vehicles for Smart Industries the state of the art and research challenges.- IoT-based cow health monitoring system.- Visual Self-Healing Modelling for Reliable Internet-of-Things Systems.- Comparative Analysis of Time Series Databases in the Context of Edge Computing for Low Power Sensor Networks.- Conversational Interface for Managing Non-Trivial Internet-of-Things Systems.- Improving Coverage Area in Sensor Deployment using Genetic Algorithm.- Object-Oriented Internet Reactive Interoperability.- Impact of long-range dependent traffic in IoT local wireless networks on backhaul link performance.- Track of Computer Graphics, Image Processing and Artificial Intelligence.- OpenGraphGym: A Parallel Reinforcement Learning Framework for Graph Optimization Problems.- Weighted Clustering for Bees Detection on Video Images.- Improved Two-Step Binarization of Degraded Document Images Based on Gaussian Mixture Model.- Cast Shadow Generation using Generative Adversarial Networks.- Medical Image Enhancement using Super Resolution Methods.- Plane Space Representation in Context of Mode-based Symmetry Plane Detection.- Impression Curve as a New Tool in the study of Visual Diversity of Computer Game Levels for Individual Phases of the Design Process.- Visual analysis of computer game output video stream for gameplay metrics.- Depth map estimation with consistent normals from stereo images.- Parametric Learning of Associative Functional Networks Through a Modified Memetic Self-Adaptive Firefly Algorithm.- Dual formulation of the TV-Stokes denoising model for multidimensional vectorial images.- Minimizing material consumption of 3D printing with stress-guide
Advances in High-Performance Computational Earth Sciences: Applications and Frameworks.- Data-Driven Approach to Inversion Analysis of Three-dimensional Inner Soil Structure via Wave Propagation Analysis.- Data assimilation in volcano deformation using fast finite element analysis with high fidelity model.- Optimization and Local Time Stepping of an ADER-DG Scheme for Fully Anisotropic Wave Propagation in Complex Geometries.- The challenge of onboard SAR processing: a GPU opportunity.- High-resolution Source Estimation of Volcanic Sulfur Dioxide Emissions Using Large Scale Transport Simulations.- Granulation-based reverse image retrieval for microscopic rock images.- Hybrid SWAN for fast and efficient practical wave modelling - part 2.- Agent-Based Simulations, Adaptive Algorithms and Solvers.- An agent-based simulation of the spread of Dengue fever.- Hypergraph grammar-based model of adaptive bitmap compression.- Simulation of Neurotransmitter Flow in Three Dimensional Model of Presynaptic Bouton.- Scalable Signal-based Simulation of Autonomous Beings in Complex Environments.- Design of Loss Functions for Solving Inverse Problems using Deep Learning.- Asynchronous Actor-based Approach to Multiobjective Hierarchical Strategy.- MeshingNet: A New Mesh Generation Method based on Deep Learning.- A block preconditioner for scalable large scale finite element incompressible flow simulations.- Integrating Agent-Based Modelling with Copula Theory: Preliminary Insights and Open Problems.- Computational complexity of hierarchically adapted meshes.- A Novel Bio-inspired Hybrid Metaheuristic for Unsolicited Bulk Email Detection.- Applications of Computational Methods in Artificial Intelligence and Machine Learning.- Link Prediction by Analyzing Temporal Behavior of Vertices.- Detecting Most Insightful Parts of Documents using an Attention-Based Model.- Challenge Collapsar(CC) Attack Traffic Detection based on Packet Field Differentiated Preprocessing and Deep Neural Network.- Deep Low-Density Separation for Semi-Supervised Classification.- Learning functions using data-dependent regularization: Representer theorem revisited.- Reduction of Numerical Errors in Zernike Invariants Computed via Complex-Valued Integral Images.- Effect of Dataset Size on Efficiency of Collaborative Filtering Recommender Systems with Multi-Clustering as a Neighbourhood Identification Strategy.- GCN-IA: User Profile Based on Graph Convolutional Network with Implicit Association Labels.- Interval Adjoint Significance Analysis for Neural Networks.- Ringer: Systematic Mining of Malicious Domains by Dynamic Graph Convolutional Network.- An Empirical Evaluation Of Attention And Pointer Networks For Paraphrase Generation.- Interval methods for seeking fixed points of recurrent neural networks.- Fusion Learning: A One Shot Federated Learning.- The concept of system for automated scientific literature reviews generation.- A Proposed Machine Learning Model for Forecasting Impact of Traffic-Induced Vibrations on Buildings.- Retrain or not retrain ? - efficient pruning methods of deep CNN networks.- Hidden Markov Models and their Application for Predicting Failure Events.- Biomedical and Bioinformatics Challenges for Computer Science.- Reference-based Haplotype Phasing with FPGAs.- Tree Based Advanced Relative Expression Analysis.- Testing the significance of interactions in genetic studies using interaction information and resampling technique.- Analysis of ensemble feature selection for correlated high-dimensional RNA-Seq cancer data.- Biological Network Visualization for Targeted Proteomics based on Mean First-Passage Time in Semi-Lazy Random Walks.- Bootstrap Bias Corrected Cross Validation applied to Super Learning.- MMRF-CoMMpass data integration and analysis for identifying prognostic markers.- Using machine learning in accuracy assessment of knowledge-based energy and frequency base likelihood in pro
Simulations of Flow and Transport: Modeling, Algorithms and Computation.- Decoupled and energy stable time-marching scheme for the interfacial flow with soluble surfactants.- A Numerical Algorithm to Solve the Two-Phase Flow in Porous Media Including Foam Displacement.- A three-dimensional, one-field, fictitious domain method for fluid-structure interactions.- Multi Axes Sliding Mesh Approach for Compressible Viscous Flows.- Monolithic arbitrary Lagrangian-Eulerian finite element method for a multi-domain blood flow-aortic wall interaction problem.- Morphing Numerical Simulation of Incompressible Flows Using Seamless Immersed Boundary Method.- deal.II Implementation of a Two-field Finite Element Solver for Poroelasticity.- Numerical Investigation of Solute Transport in Fractured Porous Media Using the Discrete Fracture Model.- Adaptive multiscale model reduction for nonlinear parabolic equations using GMsFEM.- Parallel Shared-Memory Isogeometric Residual Minimization (iGRM) for Three-Dimensional Advection-Diffusion Problems.- Numerical simulation of heat transfer in an enclosure with time-periodic heat generation using finite-difference method.- Development of an Object-Oriented Programming Tool based on FEM for Numerical Simulation of Mineral-Slurry Transport.- Descending Flight Simulation of Tiltrotor Aircraft at Different Descent Rates.- The quantization algorithm impact in hydrological applications: preliminary results.- An Expanded Mixed Finite Element Method for Space Fractional Darcy Flow in Porous Media.- Prediction of the Free Jet Noise Using Quasi-Gas Dynamic Equations and Acoustic Analogy.- Simulation Based Exploration of Bacterial Cross Talk Between Spatially Separated Colonies in A Multispecies Biofilm Community.- Massively Parallel Stencil Code for Radiation Transport Moment Model Simulations.- Hybrid Mixed Methods Applied to Miscible Displacements with Adverse Mobility Ratio.- Smart Systems: Bringing Together Computer Vision, Sensor Networks and Machine Learning.- Learn More from Context: Joint Modeling of Local and Global Attention for Aspect Sentiment Classification.- ArtPDGAN: Creating Artistic Pencil Drawing With Key Map Using Generative Adversarial Networks.- Interactive travel aid for the visually impaired - from depth maps to sonic patterns and verbal messages.- Ontology-Driven Edge Computing.- Combined Metrics for Quality Assessment of 3D Printed Surfaces for Aesthetic Purposes: Towards Higher Accordance with Subjective Evaluations.- Path Markup Language for Indoor Navigation.- Smart Fire Alarm System with Person Detection and Thermal Camera.- Data Mining for Thermal Analysis of Big Dataset of HPC-Data Center.- A comparison of multiple objective algorithms in the context of a dial a ride problem.- Software Engineering for Computational Science.- Lessons learned in a decade of research software engineering GPU applications.- Unit Tests of Scientific Software: A Study on SWMM.- NUMA-Awareness as a Plug-In for an Eventify-based Fast Multipole Method.- Boosting Group-level Synergies by Using a Shared Modeling Framework.- Testing Research Software: A Case Study.- APE: A Command-Line Tool and API for Automated Workflow Composition.- Solving Problems with Uncertainties.- An ontological approach to Knowledge Building by Data Integration.- A Simple Stochastic Process Model for River Environmental Assessment under Uncertainty.- A posteriori error estimation via differences of numerical solutions.- Global Sensitivity Analysis of Various Numerical Schemes for the Heston Model.- Robust single machine scheduling with random blocks in an uncertain environment.- Empirical Analysis of Stochastic Methods of Linear Algebra.- Wind field parallelization based on Python multiprocessing to reduce forest fire propagation prediction uncertainty.- Risk Profiles of Financial Service Portfolio for Women Segment using Machine Learning Algorithms.- Multidimensio
Classifier Learning from Difficult Data.- Different strategies of fitting logistic regression for positive and unlabelled data.- Branch-and-Bound Search for Training Cascades of Classifiers.- Application of the stochastic gradient method in the construction of the main components of PCA in the task diagnosis of multiple sclerosis in children.- Grammatical Inference by Answer Set Programming.- Dynamic Classifier Selection for data with skewed class distribution using Imbalance Ratio and Euclidean distance.- On Model Evaluation under Non-constant Class Imbalance.- A Correction Method of a Base Classifier Applied to Imbalanced Data Classification.- Standard Decision Boundary in a support-domain of fuzzy classifier prediction for the task of imbalanced data classification.- Employing One-class SVM Classifier Ensemble for Imbalanced Data Stream Classification.- Clustering and Weighted Scoring in Geometric Space Support Vector Machine Ensemble for Highly Imbalanced Data Classification.- Performance Analysis of Binarization Strategies for Multi-Class Imbalanced Data Classification.- Towards Network Anomaly Detection Using Graph Embedding.- Maintenance and Security System for PLC Railway LED Sign Communication Infrastructure.- Behavioral Biometric User Authentication from URL Logs.- On the impact of network data balancing in cybersecurity applications.- Pattern recognition model to aid the optimization of Dynamic Spectrally-Spatially Flexible Optical Networks.- Missing Features Reconstruction Using a Wasserstein Generative Adversarial Imputation Network.- Complex Social Systems through the Lens of Computational Science.- Cooperation for public goods under uncertainty.- An Information-Theoretic and Dissipative Systems Approach to the Study of Knowledge Diffusion and Emerging Complexity in Innovation Systems.- Mapping the port influence diffusion patterns: a case study of Rotterdam, Antwerp and Singapore.- Entropy-based Measure for Influence Maximization in Temporal Networks.- Evaluation of the Costs of Delayed Campaigns for Limiting the Spread of Negative Content, Panic and Rumours in Complex Networks.- From generality to specificity: on matter of scale in social media topic Communities.- Computational Health.- Hybrid Text Feature Modeling for Disease Group Prediction using Unstructured Physician Notes.- Early signs of critical slowing down in heart surface electrograms of ventricular fibrillation victims.- A Comparison of Generalized Stochastic Milevsky-Promislov Mortality Models with continuous non-Gaussian Filters.- Ontology-Based Inference for Supporting Clinical Decisions in Mental Health.- Towards Prediction of Heart Arrhythmia Onset Using Machine Learning.- Stroke ICU Patient Mortality Day Prediction.- Universal measure for medical image quality evaluation based on gradient approach.- Constructing Holistic Patient Flow Simulation Using System Approach.- Investigating Coordination of Hospital Departments in Delivering Healthcare for Acute Coronary Syndrome Patients using Data-Driven Network Analysis.- A Machine Learning Approach To Short-term Body Weight Prediction In A Dietary Intervention Program.- An analysis of demographic data in Irish healthcare domain to support semantic uplift.- From Population to Subject-Specific Reference Intervals.- Analyzing the spatial distribution of acute coronary syndrome cases using synthesized data on arterial hypertension prevalence.- The Atrial Fibrillation Risk Score for Hyperthyroidism Patients.- Applicability of Machine Learning Methods to Multi-Label Medical Text Classification.- Machine Learning Approach for the Early Prediction of the Risk of Overweight and Obesity in Young People.- Gait Abnormality Detection in People with Cerebral Palsy using an Uncertainty-based State-space Model.- Analyses of public health databases via clinical pathway modelling: TBWEB.- Preliminary results on Pulmonary Tuberculosis detection in Chest X-Ray us
Описание: ICCS Main Track.- An efficient new static scheduling heuristic for accelerated architectures.- Multilevel Parallel Computations for Solving Multistage Multicriteria Optimization Problems.- Enabling Hardware Affinity in JVM-based Applications: A Case Study for Big Data.- An optimizing multi-platform source-to-source compiler framework for the NEURON MODeling Language.- Parallel numerical solution of a 2D Chemotaxis-Stokes system on GPUs technology.- Automatic management of cloud applications with use of Proximal Policy Optimization.- Utilizing GPU Performance Counters to Characterize GPU Kernels via Machine Learning.- A massively parallel algorithm for the three-dimensional Navier-Stokes-Boussinesq simulations of the atmospheric phenomena.- Reconstruction of Low Energy Neutrino Events with GPUs at IceCube.- Cache-Aware Matrix Polynomials.- QEScalor: Quantitative Elastic Scaling Framework in Distributed Streaming Processing.- From Conditional Independence to Parallel Execution in Hierarchical Models.- Improving performance of the Hypre iterative solver for Uintah combustion codes on manycore architectures using MPI Endpoints and Kernel Consolidation.- Analysis of Checkpoint I/O behavior.- Enabling EASEY deployment of containerized applications for future HPC systems.- Reproducibility of computational experiments on Kubernetes-managed container clouds with HyperFlow.- GPU-accelerated RDP Algorithm for Data Segmentation.- Sparse Matrix-Based HPC Tomography.- heFFTe: Highly Efficient FFT for Exascale.- Scalable Workflow-Driven Hydrologic Analysis in HydroFrame.- Patient-specific cardiac parametrization from Eikonal simulations.- An Empirical Analysis of Predictors for Workload Estimation in Healthcare.- How You Say Or What You Say? Neural Activity in Message Credibility Evaluation.- Look Who's Talking: Modeling Decision Making Based on Source Credibility.- An Adaptive Network Model for Burnout and Dreaming.- Computational Analysis of the Adaptive Causal Relationships between Cannabis, Anxiety and Sleep.- Detecting Critical Transitions in the Human Innate Immune System Post-Cardiac Surgery.- Using individual-based models to look beyond the horizon: the changing effects of household-based clustering of susceptibility to measles in the next 20 years.- Modelling the effects of antibiotics on gut flora using a nonlinear compartment model with uncertain parameters.- Stochastic volatility and early warning indicator.- Boost and Burst: Bubbles in the Bitcoin Market.- Estimation of tipping points for critical and transitional regimes in the evolution of complex interbank network.- Modeling of Fire Spread including Different Heat Transfer Mechanisms using Cellular Automata.- Narrow passage problem solution for motion planning.- Fault Injection, Detection and Treatment in Simulated Autonomous Vehicles.- Using Cellular Automata to Model High Density Pedestrian Dynamics.- Autonomous Vehicles as Local Traffic Optimizers.- Modeling Helping Behavior in Emergency Evacuations using Volunteer's Dilemma Game.- Learning Mixed Traffic Signatures in Shared Networks.- A Novel Metric to Evaluate In Situ Workflows.- Social Recommendation in Dynamic Evolving Relation Network.- DDNE: Discriminative Distance Metric Learning for Network Embedding.- Extracting Backbone Structure of a Road Network from Raw Data.- Look Deep into the New Deep Network: A Measurement Study on the ZeroNet.- Identifying influential spreaders on a weighted network using HookeRank method.- Community aware models of meme spreading in micro-blog social networks.- Dynamic Vote-Rank Based Approach for Effective Sequential Initialization of Information Spreading Processes within Complex Networks.- On the Planarity of Validated Complexes of Model Organisms in Protein-Protein Interaction Networks.- Towards Modeling of Information Processing within Business-Processes of Service-Providing Organizations.- A Probabilistic Infection Model for Efficien
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.
Описание: This book features high-quality papers presented at the International Conference on Computational Intelligence and Informatics (ICCII 2018), which was held on 28-29 December 2018 at the Department of Computer Science and Engineering, JNTUH College of Engineering, Hyderabad, India.
Описание: This book constitutes the proceedings of the 25th International Conference on Conceptual Structures, ICCS 2020, held in Bolzano, Italy, in September 2020.*The 10 full papers, 5 short papers and 1 poster paper presented were carefully reviewed and selected from 24 submissions.
Описание: This book constitutes the proceedings of the 14th International Conference on Computational Processing of the Portuguese Language, PROPOR 2020, held in Evora, Portugal, in March 2020. The 36 full papers presented together with 5 short papers were carefully reviewed and selected from 70 submissions. natural language processing applications;
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
