Computational Science - Iccs 2020: 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part I, Krzhizhanovskaya Valeria V., Zбvodszky Gбbor, Lees Michael H.
Автор: Lalla-Ruiz Eduardo, Mes Martijn, VoЯ Stefan Название: Computational Logistics: 11th International Conference, ICCL 2020, Enschede, the Netherlands, September 28-30, 2020, Proceedings ISBN: 3030597466 ISBN-13(EAN): 9783030597467 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 11th International Conference on Computational Logistics, ICCL 2020, held in Enschede, The Netherlands, in September 2020.The 49 papers included in this book were carefully reviewed and selected from 73 submissions.
Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part II ISBN: 3030588017 ISBN-13(EAN): 9783030588014 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part IV ISBN: 3030588106 ISBN-13(EAN): 9783030588106 Издательство: Springer Рейтинг: Цена: 113660.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part III ISBN: 3030588076 ISBN-13(EAN): 9783030588076 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part VII ISBN: 303058819X ISBN-13(EAN): 9783030588199 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Miesenberger Klaus, Manduchi Roberto, Covarrubias Rodriguez Mario Название: Computers Helping People with Special Needs: 17th International Conference, Icchp 2020, Lecco, Italy, September 9-11, 2020, Proceedings, Part I ISBN: 3030587959 ISBN-13(EAN): 9783030587956 Издательство: Springer Рейтинг: Цена: 79190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: and environmental sensing technologies for visual impairmentPart II: accessibility of non-verbal communication: making spatial information accessible to people with disabilities; cognitive disabilities and accessibility - pushing the boundaries of inclusion using digital technologies and accessible eLearning environments;
Автор: de Boer Frank, Cerone Antonio Название: Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings ISBN: 3030587673 ISBN-13(EAN): 9783030587673 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Abate Alessandro, Petrov Tatjana, Wolf Verena Название: Computational Methods in Systems Biology: 18th International Conference, Cmsb 2020, Konstanz, Germany, September 23-25, 2020, Proceedings ISBN: 3030603261 ISBN-13(EAN): 9783030603267 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.*The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 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
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
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
ICCS Main Track.- Modified binary tree in the fast PIES for 2D problems with complex shapes.- Generating Random Floating-Point Numbers by Dividing Integers: a Case Study.- An effective stable numerical method for integrating highly oscillating functions with a linear phase.- Fitting Penalized Logistic Regression Models using QR Factorization.- Uncertainty Quantification in Fractional Stochastic Integro-Differential Equations using Legendre Wavelet Collocation Method.- A Direct High-order Curvilinear Triangular Mesh Generation Method Using an Advancing Front Technique.- Data-driven partial differential equations discovery approach for the noised multi-dimensional data.- Preconditioning Jacobian Systems by Superimposing Diagonal Blocks.- NURBS curves in parametric integral equations system for modeling and solving boundary value problems in elasticity.- Parameterizations and Lagrange Cubics for Fitting Multidimensional Data.- Loop Aggregation for Approximate Scientific Computing.- Numerical Computation for a Flow Caused by a High-speed Traveling Train and a Stationary Overpass.- Bezier surfaces for modeling inclusions in PIES.- Impact of water on methane adsorption in nanopores: A hybrid GCMC-MD simulation study.- A stable discontinuous Galerkin based isogeometric residual minimization for the Stokes problem.- Numerical Modeling of the Two-Phase Flow of Water with Ice in the Tom River.- Remarks on Kaczmarz algorithm for solving consistent and inconsistent system of linear equations.- Investigating the Benefit of FP16-enabled Mixed-precision Solvers for Symmetric Positive Definite Matrices using GPUs.- Simulation versus ordered fuzzy numbers driven approach to multi depot vehicle cyclic routing and scheduling problem.- Epigenetic modification of genetic algorithm.- ITP-KNN: Encrypted Video Flow Identification Based on the Intermittent Traffic Pattern of Video and K-Nearest Neighbors Classification.- DeepAD-a Joint Embedding Approach for Anomaly Detection on Attributed Networks.- SciNER: Extracting Named Entities From Scientific Literature.- GPU-embedding of kNN-graph representing large and high-dimensional data.- Evolving Long Short-Term Memory Networks.- Personality Recognition from Source Code Based on Lexical, Syntactic and Semantic Features.- Data fitting by exponential sums with equal weights.- A Combination of Moment Descriptors, Fourier Transform and Matching Measures for Action Recognition Based on Shape.- Improving accuracy and speeding up Document Image Classification through parallel systems.- Computation of the airborne contaminant transport in urban area by the artificial neural network.- Exploring Musical Structure using Tonnetz Lattice Geometry and LSTMs.- Modeling of Anti-tracking Network based on Convex-polytope Topology.- A Workload Division Differential Privacy Algorithm to Improve the Accuracy for Linear Computations.- On the Automated Assessment of Open-Source Cyber Threat Intelligence Sources.- Malicious Domain Detection Based on K-means and SMOTE.- Microservice Disaster Crash Recovery: A Weak Global Referential Integrity Management.- Hashing Based Prediction for Large-Scale Kernel Machine.- Picking Peaches or Squeezing Lemons: Selecting Crowdsourcing Workers for Reducing Cost of Redundancy.- Are n-gram Categories Helpful in Text Classification?.- Calculating Reactive Power Compensation for Large-scale Street Lighting.- Developing a Decision Support App for Computational Agriculture.- Optimal Location of Sensors for Early Detection of Tsunami Waves.- A Novel Formulation for Inverse Distance Weighting from Weighted Linear Regression.- Addressing the Robustness of Resource Allocation in the Presence of Application and System Irregularities via PEPA Based Modeling.- An Adaptive Computational Network Model for Strange Loops in Political Evolution in Society.- Joint Entity Linking for Web Tables with Hybrid Semantic Matching.- A new coefficient of rankings simil
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
