Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part III / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira
| Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part III / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (662 pages) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence Computer science—Mathematics Computer engineering Computer networks Computer vision Theory of Computation Artificial Intelligence Mathematics of Computing Computer Engineering and Networks Computer Vision |
| ISBN | 3-030-50420-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 protein structures -- Quantifying Overfitting Potential in Drug Binding Datasets -- Detection of Tumoral Epithelial Lesions Using Hyperspectral Imaging and Deep Learning -- Statistical iterative reconstruction algorithm based on a continuous-tocontinuous model formulated for spiral cone-beam CT -- Classification of lung diseases using deep learning models -- An Adaptive Space-Filling Curve Trajectory for Mapping 3D Datasets to 1D: Application to Brain Magnetic Resonance Imaging Data for Classification. |
| Record Nr. | UNISA-996418300003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part V / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira
| Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part V / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xix, 618 pages) : illustrations |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence Database management Computer engineering Computer networks Computer science—Mathematics Theory of Computation Artificial Intelligence Database Management System Computer Engineering and Networks Mathematics of Computing |
| ISBN | 3-030-50426-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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-guided optimization -- Swarm Intelligence Approach for Rational Global Approximation of Characteristic Curves for the Van Der Waals Equation of State. |
| Record Nr. | UNISA-996418321203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira
| Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (726 pages) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer engineering Computer networks Computer science—Mathematics Artificial intelligence Logic design Theory of Computation Computer Engineering and Networks Mathematics of Computing Artificial Intelligence Logic Design |
| ISBN | 3-030-50371-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 Efficient Trace-Prediction of Disease Outbreaks in Contact Networks -- Eigen-AD: Algorithmic Differentiation of the Eigen Library. |
| Record Nr. | UNISA-996418299103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part V / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira
| Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part V / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xix, 618 pages) : illustrations |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence Database management Computer engineering Computer networks Computer science—Mathematics Theory of Computation Artificial Intelligence Database Management System Computer Engineering and Networks Mathematics of Computing |
| ISBN | 3-030-50426-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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-guided optimization -- Swarm Intelligence Approach for Rational Global Approximation of Characteristic Curves for the Van Der Waals Equation of State. |
| Record Nr. | UNINA-9910410054803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part III / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira
| Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part III / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (662 pages) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence Computer science—Mathematics Computer engineering Computer networks Computer vision Theory of Computation Artificial Intelligence Mathematics of Computing Computer Engineering and Networks Computer Vision |
| ISBN | 3-030-50420-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 protein structures -- Quantifying Overfitting Potential in Drug Binding Datasets -- Detection of Tumoral Epithelial Lesions Using Hyperspectral Imaging and Deep Learning -- Statistical iterative reconstruction algorithm based on a continuous-tocontinuous model formulated for spiral cone-beam CT -- Classification of lung diseases using deep learning models -- An Adaptive Space-Filling Curve Trajectory for Mapping 3D Datasets to 1D: Application to Brain Magnetic Resonance Imaging Data for Classification. |
| Record Nr. | UNINA-9910410055003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part IV / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira
| Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part IV / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xix, 668 pages) : illustrations |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Database management Artificial intelligence Computer science—Mathematics Computer engineering Computer networks Theory of Computation Database Management System Artificial Intelligence Mathematics of Computing Computer Engineering and Networks |
| ISBN | 3-030-50423-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 using Convolutional Neural Networks -- Risk-based AED Placement – Singapore Case -- Time Expressions Identification without Human-labeled Corpus for Clinical Text Mining in Russian -- Experiencer detection and automated extraction of a family disease tree from medical texts in Russian language -- Computational Methods for Emerging Problems in (Dis-)Information Analysis -- Machine Learning – the results are not the only thing that matters! What about security, explainability and fairness? -- Syntactic and Semantic Bias Detection and Countermeasures -- Detecting Rumours in Disasters: An Imbalanced Learning Approach -- Sentiment Analysis for Fake News Detection by Means of Neural Networks. |
| Record Nr. | UNINA-9910410054903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part II / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira
| Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part II / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xix, 697 pages) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer engineering Computer networks Artificial intelligence Computer science—Mathematics Database management Theory of Computation Computer Engineering and Networks Artificial Intelligence Mathematics of Computing Database Management System |
| ISBN | 3-030-50417-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 similarity in decision-making problems -- Innovativeness Analysis of Scholarly Publications by Age Prediction using Ordinal Regression -- Advantage of Using Spherical over Cartesian Coordinates in the Chromosome Territories 3D Modeling -- Adaptive and Efficient Transfer for Online Remote Visualization of Critical Weather Applications. |
| Record Nr. | UNINA-9910410055103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VI / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira
| Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VI / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xix, 667 pages) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence Computer engineering Computer networks Computer science—Mathematics Computer vision Theory of Computation Artificial Intelligence Computer Engineering and Networks Mathematics of Computing Computer Vision |
| ISBN | 3-030-50433-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 -- Imperfect Distributed Quantum Phase Estimation -- Optimal representation of quantum channels -- Perturbation of the numerical range of unitary matrices -- Design of Short Codes for Quantum Channels with Asymmetric Pauli Errors -- Simulation Methodology for Electron Transfer in CMOS Quantum Dots. |
| Record Nr. | UNINA-9910410054703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VII / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira
| Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VII / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (786 pages) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer science—Mathematics Computer engineering Computer networks Artificial intelligence Computer vision Theory of Computation Mathematics of Computing Computer Engineering and Networks Artificial Intelligence Computer Vision |
| ISBN | 3-030-50436-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 -- Multidimensional BSDEs With Mixed Reflections And Balance Sheet Optimal Switching Problem -- Teaching Computational Science -- Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes -- Automatic feedback provision in teaching computational science -- Computational Science vs. Zombies -- Supporting education in algorithms of computational mathematics by dynamic visualizations using computer algebra system -- Teaching Complexity and Transdisciplinary Tools through a Computational Model of the Social Construction of Reality -- Bringing Harmony to Computational Science Pedagogy -- UNcErtainty QUantIficatiOn for ComputationAl modeLs -- Intrusive Polynomial Chaos for CFD using OpenFOAM -- Distributions of a general reduced-order dependence measure and conditional independence testing -- MCMC for Bayesian uncertainty quantification from time-series data -- Uncertainty quantification for multiscale fusion plasma simulations with VECMA toolkit -- Sensitivity analysis of soil parameters in crop model supported with high-throughput computing -- A bluff-and-fix algorithm for polynomial chaos methods -- Markov Chain Monte Carlo Methods for Fluid Flow Forecasting in the Subsurface. |
| Record Nr. | UNINA-9910410054603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira
| Computational Science – ICCS 2020 [[electronic resource] ] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I / / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (726 pages) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer engineering Computer networks Computer science—Mathematics Artificial intelligence Logic design Theory of Computation Computer Engineering and Networks Mathematics of Computing Artificial Intelligence Logic Design |
| ISBN | 3-030-50371-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 Efficient Trace-Prediction of Disease Outbreaks in Contact Networks -- Eigen-AD: Algorithmic Differentiation of the Eigen Library. |
| Record Nr. | UNINA-9910410055203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
