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 2018 [[electronic resource] ] : 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II / / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot
| Computational Science – ICCS 2018 [[electronic resource] ] : 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II / / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIX, 884 p. 296 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer engineering Computer networks Artificial intelligence Data protection Social sciences—Data processing Logic design Theory of Computation Computer Engineering and Networks Artificial Intelligence Data and Information Security Computer Application in Social and Behavioral Sciences Logic Design |
| ISBN | 3-319-93701-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Track of Advances in High-Performance Computational Earth -- Sciences: Applications and Frameworks Development of scalable three-dimensional elasto-plastic nonlinear wave propagation analysis method for earthquake damage estimation of soft grounds -- A New Matrix-free Approach for Large-scale Geodynamic Simulations and its Performance -- Viscoelastic Crustal Deformation Computation Method with Reduced Random Memory Accesses for GPU-based Computers -- An Event Detection Framework for Virtual Observation System: Anomaly Identification for An Acme Land Simulation -- Enabling Adaptive Mesh Refinement for Single Components of ECHAM6 -- Efficient and accurate evaluation of Bezier tensor product surfaces -- Track of Agent-based simulations, adaptive algorithms and solvers Agent-Based Simulations, Adaptive Algorithms and Solvers -- Hybrid Swarm and Agent-based Evolutionary Optimization -- Data-driven Agent-based Simulation for Pedestrian Capacity Analysis -- A Novel Agent-based Modeling Approach for Image Coding and Lossless Compression Based on the Wolf-Sheep Predation Model -- Planning Optimal Path Networks Using Dynamic Behavioral Modeling -- Multiagent context–dependent model of opinion dynamics in a virtual society -- An algorithm for tensor product approximation of three-dimensional material data for implicit dynamics simulations -- Track of Applications of Matrix Methods in Artificial Intelligence and Machine Learning Applications of Matrix Methods in Artificial Intelligence and Machine Learning -- On Two Kinds of Dataset Decomposition -- A Graph-based Algorithm for Supervised Image Classification -- An Adversarial Training Framework for Relation Classification -- Topic-Based Microblog Polarity Classification Based on Cascaded Model -- An Efficient Deep Learning Model for Recommender Systems -- Standardization of Featureless Variables for Machine Learning Models using Natural Language Processing (NLP) -- Generalized Variable Conversion using K-means Clustering and Web Scraping -- Parallel Latent Dirichlet Allocation on GPUs -- Improving Search through A3C Reinforcement Learning based Conversational Agent -- Track of Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems Architecture Emulation and Simulation of Future Many-Core Epiphany RISC Array Processors -- Automatic mapping for OpenCL-Programs on CPU/GPU Heterogeneous Platforms -- Track of Biomedical and Bioinformatics Challenges for Computer Science, 11th Workshop on Biomedical and Bioinformatics Challenges for Computer Science: new computational models, algorithms and computer architectures -- Combining Data Mining Techniques to Enhance Cardiac Arrhythmia Detection -- CT medical imaging reconstruction using direct algebraic methods with few projections -- On blood viscosity and its correlation with biological parameters -- Development of Octree-Based High-Quality Mesh Generation Method for Biomedical Simulation -- 1,000x Faster than PLINK: Genome-Wide Epistasis Detection with Logistic Regression Using Combined FPGA and GPU Accelerators -- Track of Computational Finance and Business Intelligence -- Deep Learning and Wavelets for High-Frequency Price Forecasting -- Kernel Extreme Learning Machine for Learning from Label Proportions -- Extreme Market Prediction for Trading Signal with Deep Recurrent Neural Network -- Multi-view Multi-task Support Vector Machine -- Research on Stock Price Forecast Based on News Sentiment Analysis –A Case Study of Alibaba -- Parallel Harris Corner Detection on Heterogeneous Architecture -- A New Method for Structured Learning with Privileged Information -- An Effective Model between Mobile Phone Usage and P2P Default Behavior -- A Novel Data Mining Approach towards Human Resource Performance Appraisal -- Word Similarity Fails in Multiple Sense Word Embedding -- Track of Computational Optimization, Modelling and Simulation A hybrid optimization algorithm for electric motor design -- Dynamic Current Distribution in the Electrodes of Submerged Arc Furnace using Scalar and Vector Potentials -- Optimizing Deep Learning by Hyper Heuristic Approach for Classifying Good Quality Images -- An Agent-based Distributed Approach for Bike Sharing Systems -- A fast vertex-swap operator for the prize-collecting Steiner tree problem -- Solving CSS-Sprite Packing Problem using a Transformation to the Probabilistic Non-Oriented Bin Packing Problem -- Optimization of Resources Selection for Jobs Scheduling in Heterogeneous Distributed Computing Environments -- Explicit Size-Reduction-Oriented Design of a Compact Microstrip Rat-Race Coupler Using Surrogate-Based Optimization Methods -- Stochastic-Expansions-Based MAPOD Analysis of the Spherically-Void-Defect Benchmark Problem -- Accelerating Optical Absorption Spectra and Exciton Energy Computation via Interpolative Separable Density Fitting -- Model-Assisted Probability of Detection for Structural Health Monitoring of Flat Plates -- Track of Data, Modeling, and Computation in IoT and Smart Systems Anomalous Trajectory Detection between Regions of Interest Based on ANPR System -- Dynamic real-time infrastructure planning and deployment for disaster early warning systems -- Calibration and Monitoring of IoT Devices by Means of Embedded Scientific Visualization Tools -- Gated Convolutional LSTM for Speech Commands Recognition -- Enabling machine learning on resource constrained devices by source code generation of the learned models -- Track of Data-Driven Computational Sciences Fast Retrieval of Weather Analogues in a Multi-petabytes Archive using Wavelet-based Fingerprints -- Assimilation of fire perimeters and satellite detections by minimization of the residual in a fire spread model -- Analyzing Complex Models using Data and Statistics -- Research on Technology Foresight Method Based on Intelligent Convergence in Open Network Environment -- Prediction of Blasting Vibration Intensity by Improved PSO-SVR on Apache Spark Cluster -- Bisections-weighted-by-element-size-and-order algorithm to optimize direct solver performance on 3D hp-adaptive grids -- Establishing EDI for a Clinical Trial of a Treatment for Chikungunya -- Deadlock Detection in MPI Programs Using Static Analysis and Symbolic Execution -- Track of Mathematical-Methods-and-Algorithms for Extreme Scale Reproducible Roulette Wheel Sampling for Message Passing Environments -- Speedup of Bicubic Spline Interpolation -- Track of Multiscale Modelling and Simulation Multiscale Modelling and Simulation, 15th International Workshop -- Optimized Eigenvalue Solvers for the Neutron Transport Equation -- Multi-scale homogenization of pre-treatment rapid and slow filtration processes with experimental and computational validations. - The solution of the lambda modes problem using block iterative eigensolvers -- A Versatile Hybrid Agent-Based, Particle and Partial Differential Equations Method to Analyze Vascular Adaptation -- Development of a multiscale simulation approach for forced migration. |
| Record Nr. | UNISA-996465785103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Science – ICCS 2018 [[electronic resource] ] : 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III / / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot
| Computational Science – ICCS 2018 [[electronic resource] ] : 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III / / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XX, 866 p. 331 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer engineering Computer networks Artificial intelligence Data protection Social sciences—Data processing Logic design Theory of Computation Computer Engineering and Networks Artificial Intelligence Data and Information Security Computer Application in Social and Behavioral Sciences Logic Design |
| ISBN | 3-319-93713-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Track of Simulations of Flow and Transport: Modeling, Algorithms and Computation Simulations of Flow and Transport: Modeling, Algorithms and Computation -- ALE Method for a Rotating Structure Immersed in the Fluid and Its Application to the Artificial Heart Pump in Hemodynamics -- Free Surface Flow Simulation of Fish Turning Motion -- Circular Function-Based Gas-kinetic Scheme for Simulation of Viscous Compressible Flows -- A new edge stabilization method for the convection-dominated diffusion-convection equations -- Symmetric Sweeping Algorithms for Intersections of Two Quadrilateral Mesh -- A Two-field Finite Element Solver for Poroelasticity on Quadrilateral Meshes -- Preprocessing parallelization for the ALT-algorithm -- Efficient Linearly and Unconditionally Energy Stable Schemes for the Phase Field Model of Solid-State Dewetting Problems -- A novel energy stable numerical scheme for Navier-Stokes-Cahn-Hilliard two-phase flow model with variable densities and viscosities -- Study on Numerical Methods for Gas Flow Simulation Using Double-Porosity Double-Permeability Model -- Molecular Simulation of Displacement of Methane by Injection Gases in Shale -- A Compact and Efficient Lattice Boltzmann Scheme to Simulate Complex Thermal Fluid Flows -- Study on topology-based identification of sources of vulnerability for natural gas pipeline networks -- LES study on high Reynolds turbulent drag-reducing flow of viscoelastic fluids based on multiple relaxation times constitutive model and mixed subgrid-scale model -- Track of Solving Problems with Uncertainties Statistical and Multivatiate Analysis Applied to a Database of Patients with Type-2 Diabetes -- Novel Monte Carlo Algorithm for Solving Singular Linear Systems -- Reducing Data Uncertainty in Forest Fire Spread Prediction: a Matter of Error Function Assessment -- Analysis of the accuracy of OpenFOAM solvers for the problem of supersonic flow around a cone -- Modification Of Interval Arithmetic For Modelling And Solving Uncertainly Defined Problems By Interval Parametric Integral Equations System -- A Hybrid Heuristic for the Probabilistic Capacitated Vehicle Routing Problem with Two-Dimensional Loading Constraints -- A human-inspired model to represent uncertain knowledge in the Semantic Web -- Bayesian based approach learning for outcome prediction of soccer matches -- Fuzzy and Data-Driven Urban Crowds -- Track of Teaching Computational Science Design and Analysis of an Undergraduate Computational Engineering Degree at Federal University of Juiz de Fora -- Extended Cognition Hypothesis View on Computational Thinking in Computer Science Education -- Interconnected Enterprise Systems - A Call for New Teaching Approaches -- Poster Papers -- Efficient Characterization of Hidden Processor Memory Hierarchies -- Discriminating Postural Control Behaviors from Posturography with Statistical Tests and Machine Learning Models: Does Time Series Length Matter -- Mathematical Modelling of Wormhole-routed x-Folded TM Topology in the Presence of Uniform Traffic -- Adaptive Time-Splitting Scheme for Nanoparticles Transport with Two-phase Flow in Heterogeneous Porous Media -- Identifying Central Individuals in Organised Criminal Groups and Underground Marketplaces -- Guiding the optimization of parallel codes on multicores using an analytical cache model -- LDA-Based Scoring of Sequences Generated by RNN for Automatic Tanka Composition -- Computing Simulation of Interactions between α + β ProteinandJanusNanoparticle -- A modified bandwidth reduction heuristic based on the WBRA and George-Liu algorithm -- Improving Large-scale Fingerprint-based Queries in Distributed Infrastructure -- A Effective Truth Discovery Algorithm with Multi-Source Sparse Data -- Blackboard Meets Dijkstra for Resource Allocation Optimization -- Augmented Self-paced Learning with Generative Adversarial Networks -- Benchmarking Parallel Chess Search in Stockfish on Intel Xeon and Intel Xeon Phi Processors -- Leveraging Uncertainty Analysis of Data to Evaluate User Influence Algorithms of Social Networks -- E-Zone: A faster Neighbor Point Query Algorithm For Matching Spacial Objects -- Application of Algorithmic Differentiation for Exact Jacobians to the Universal Laminar Flame Solver -- Morph Resolution Based on Autoencoders Combined with Effective Context Information -- Old Habits Die Hard: Fingerprinting Websites On The Cloud -- Deep Streaming Graph Representations -- Adversarial Reinforcement Learning for Chinese Text Summarization -- Column Concept Determination for Chinese Web Tables via Convolutional Neural Network -- Service-oriented approach for Internet of Things -- Adversarial Framework for General Image Inpainting -- A Stochastic Model to Simulate the Spread of Leprosy in Juiz de For a -- Data Fault Identification and Repair Method of Traffic Detector -- The valuation of CCIRS with a new design -- Method of Node Importance Measurement in Urban Road Network -- AdaBoost-LSTM Ensemble Learning for Financial Time Series Forecasting -- Analysis of Bluetooth Low Energy Detection Range Improvements for the Healthcare Environment -- Study on an N-parallel FENE-P constitutive model based on multiple relaxation times for viscoelastic fluid -- RADIC based Fault Tolerance System with Dynamic Resource Controller -- Effective Learning with Joint Discriminative and Representative Feature Selection -- Agile tuning method in successive steps for a river flow simulator -- A Parallel Quicksort Algorithm on Manycore Processors in Sunway TaihuLight -- How is the Forged Certificates in the Wild: Practice on Large-scale SSL Usage Measurement and Analysis -- Managing Cloud Data Centers with Three-state Server Model under Job Abandonment Phenomenon -- The Analysis of the Effectiveness of the Perspective-based Observational Tunnels Method by the Example of the Evaluation of Possibilities to Divide the Multidimensional Space of Coal Samples -- Urban data and spatial segregation: analysis of food services clusters in St. Petersburg, Russia -- Control driven lighting design for large-scale installations -- An OpenMP implementation of the TVD-Hopmoc method based on a synchronization mechanism using locks between adjacent threads on Xeon Phi accelerators -- Data-Aware Scheduling of Scientific Workflows in Hybrid Clouds -- Large margin proximal non-parallel support vector classifiers -- The multi-core optimization of the unbalanced calculation in the clean numerical simulation of Rayleigh-Benard turbulence -- ES-GP: An Effective Evolutionary Regression Framework with Gaussian Process and Adaptive Segmentation Strategy -- Evaluating Dynamic Scheduling of Tasks in Mobile Architectures using ParallelME Framework -- An OAuth2.0-Based Unified Authentication System for Secure Services in the Smart Campus Environment -- Time Series Cluster analysis on electricity consumption of North Hebei Province in China -- Effective Semi-supervised Learning Based on Local Correlation -- Detection and Prediction of House Price Bubbles: Evidence from a New City -- A Novel Parsing-based Automatic Domain Terminology Extraction Method -- Remote Procedure Calls for Improved Data Locality with the Epiphany Architecture -- Identifying the propagation sources of stealth worms -- Machine Learning Based Text Mining in Electronic Health Records: Cardiovascular Patient Cases -- Evolutionary ensemble approach for behavioral credit scoring -- Detecting influential users in customer-oriented online communities -- GeoSkelSL: A Python High-Level DSL for Parallel Computing in Geosciences -- Precedent-based approach for the identification of deviant behavior in social media -- Performance Analysis of 2D-compatible 2.5D-PDGEMM on Knights Landing Cluster. |
| Record Nr. | UNISA-996465785303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Science – ICCS 2018 [[electronic resource] ] : 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I / / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot
| Computational Science – ICCS 2018 [[electronic resource] ] : 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I / / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXXIV, 730 p. 294 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer engineering Computer networks Artificial intelligence Data protection Social sciences—Data processing Logic design Theory of Computation Computer Engineering and Networks Artificial Intelligence Data and Information Security Computer Application in Social and Behavioral Sciences Logic Design |
| ISBN | 3-319-93698-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ICCS Main Track -- Optimizing the Efficiency, Vulnerability and Robustness of Road-based Para-transit Networks using Genetic Algorithm -- On the Configuration of Robust Static Parallel Portfolios for Efficient Plan Generation -- SDF-Net: Real-time Rigid Object Tracking Using a Deep Signed Distance Network -- Insider Threat Detection with Deep Neural Network -- Pheromone Model Based Visualization of Malware Distribution Networks -- Detecting Wildlife in Unmanned Aerial Systems Imagery using Convolutional Neural Networks Trained with an Automated Feedback Loop -- Incentive Mechanism for Cooperative Intrusion Detection: an Evolutionary Game Approach -- Hybrid Genetic Algorithm for an On-Demand First Mile Transit System using Electric Vehicles -- Comprehensive Learning Gene Expression Programming for Automatic Implicit Equation Discovery -- Multi-population Genetic Algorithm for Cardinality Constrained Portfolio Selection Problems -- Recognition and Classification of Rotorcraft by Micro-Doppler Signatures using Deep Learning -- Data Allocation based on Evolutionary Data Popularity Clustering -- Hyper-heuristic Online Learning for Self-assembling Swarm Robots -- An Innovative Heuristic for Planning-based Urban Traffic Control. -Automatic Web News Extraction Based on DS Theory Considering Content Topics -- DomainObserver: A Lightweight Solution for Detecting Malicious Domains Based on Dynamic Time Warping -- You Have More Abbreviations than You Know: A Study of AbbrevSquatting Abuse -- Large Scale Retrieval of Social Network Pages by Interests of Their Followers -- Parallel data-driven modeling of information spread in social networks -- Topology of Thematic Communities in Online Social Networks: A Comparative Study -- Topological street-network characterization through feature-vector and cluster analysis -- A distance-based tool-set to track inconsistent urban structures through complex-networks -- A Conceptual Framework for Social Movements Analytics for National Security -- Retweet Prediction using Social-aware Probabilistic Matrix Factorization -- Cascading Failure Based on Load Redistribution of a Smart Grid with Different Coupling Modes -- Measuring social responsiveness for improved handling of extreme situations -- A Computational Model-Based Framework to Plan Clinical Experiments – an Application to Vascular Adaptation Biology -- Accelerating Data Analysis in Simulation Neuroscience with Big Data Technologies -- Spiral wave drift induced by high-frequency forcing. Parallel simulation in the Luo-Rudy anisotropic model of cardiac tissue -- Understanding Malaria induced red blood cell deformation using data-driven Lattice Boltzmann Simulations -- Towards Model-based Policy Elaboration on City Scale using Game Theory: Application to Ambulance Dispatching -- Elucidation of Mechanism for Reducing Porosity in Electric Arc Spraying through CFD -- nSharma: Numerical Simulation Heterogeneity Aware Runtime Manager for OpenFOAM -- High Performance Computational Hydrodynamic Simulations: UPC Parallel Architecture as a Future Alternative -- Classifying Aircraft Approach Type in the National General Aviation Flight Information Database -- On Parametric Excitation for Exploration of Lava Tubes and Caves -- Global Simulation of Planetary Rings on Sunway TaihuLight -- Parallel Performance Analysis of Bacterial Biofilm Simulation Models -- Parallel Solutions to the k-difference Primer Problem -- RT-DBSCAN: Real-time Parallel Clustering of Spatio-Temporal Data using Spark-Streaming -- GPU-based implementation of Ptycho-ADMM for high performance X-ray imaging -- Elastic CPU Cap Mechanism for Timely Dataflow Applications -- Blockchain-based transaction integrity in distributed big data marketplace -- Workload Characterization and Evolutionary Analyses of Tianhe-1A Supercomputer -- The Design of Fast and Energy-Efficient Linear Solvers: On The potential Of Half Precision Arithmetic And Iterative Refinement Techniques -- Design of Parallel BEM Analyses Framework for SIMD Processors -- An experimental assessment of three point-insertion sequences for 3-D incremental Delaunay tessellations -- Learning Knowledge Graph Embeddings via Generalized Hyperplanes -- Fast Higher-Order Functions for Tensor Calculus with Tensors and Subtensors -- The t-modified self-shrinking generator -- Simulating Negotiation-based Cloud Markets -- Structural Learning of Probabilistic Graphical Models of Cumulative Phenomena -- Sparse Surface Speed Evaluation on a Dynamic Three-Dimensional Surface Using an Iterative Partitioning Scheme -- Accurate, Automatic and Compressed Visualization of Radiated Helmholtz Fields from Boundary Element Solutions. |
| Record Nr. | UNISA-996465784703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Science – ICCS 2018 : 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I / / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot
| Computational Science – ICCS 2018 : 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I / / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXXIV, 730 p. 294 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer engineering Computer networks Artificial intelligence Data protection Social sciences—Data processing Logic design Theory of Computation Computer Engineering and Networks Artificial Intelligence Data and Information Security Computer Application in Social and Behavioral Sciences Logic Design |
| ISBN | 3-319-93698-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ICCS Main Track -- Optimizing the Efficiency, Vulnerability and Robustness of Road-based Para-transit Networks using Genetic Algorithm -- On the Configuration of Robust Static Parallel Portfolios for Efficient Plan Generation -- SDF-Net: Real-time Rigid Object Tracking Using a Deep Signed Distance Network -- Insider Threat Detection with Deep Neural Network -- Pheromone Model Based Visualization of Malware Distribution Networks -- Detecting Wildlife in Unmanned Aerial Systems Imagery using Convolutional Neural Networks Trained with an Automated Feedback Loop -- Incentive Mechanism for Cooperative Intrusion Detection: an Evolutionary Game Approach -- Hybrid Genetic Algorithm for an On-Demand First Mile Transit System using Electric Vehicles -- Comprehensive Learning Gene Expression Programming for Automatic Implicit Equation Discovery -- Multi-population Genetic Algorithm for Cardinality Constrained Portfolio Selection Problems -- Recognition and Classification of Rotorcraft by Micro-Doppler Signatures using Deep Learning -- Data Allocation based on Evolutionary Data Popularity Clustering -- Hyper-heuristic Online Learning for Self-assembling Swarm Robots -- An Innovative Heuristic for Planning-based Urban Traffic Control. -Automatic Web News Extraction Based on DS Theory Considering Content Topics -- DomainObserver: A Lightweight Solution for Detecting Malicious Domains Based on Dynamic Time Warping -- You Have More Abbreviations than You Know: A Study of AbbrevSquatting Abuse -- Large Scale Retrieval of Social Network Pages by Interests of Their Followers -- Parallel data-driven modeling of information spread in social networks -- Topology of Thematic Communities in Online Social Networks: A Comparative Study -- Topological street-network characterization through feature-vector and cluster analysis -- A distance-based tool-set to track inconsistent urban structures through complex-networks -- A Conceptual Framework for Social Movements Analytics for National Security -- Retweet Prediction using Social-aware Probabilistic Matrix Factorization -- Cascading Failure Based on Load Redistribution of a Smart Grid with Different Coupling Modes -- Measuring social responsiveness for improved handling of extreme situations -- A Computational Model-Based Framework to Plan Clinical Experiments – an Application to Vascular Adaptation Biology -- Accelerating Data Analysis in Simulation Neuroscience with Big Data Technologies -- Spiral wave drift induced by high-frequency forcing. Parallel simulation in the Luo-Rudy anisotropic model of cardiac tissue -- Understanding Malaria induced red blood cell deformation using data-driven Lattice Boltzmann Simulations -- Towards Model-based Policy Elaboration on City Scale using Game Theory: Application to Ambulance Dispatching -- Elucidation of Mechanism for Reducing Porosity in Electric Arc Spraying through CFD -- nSharma: Numerical Simulation Heterogeneity Aware Runtime Manager for OpenFOAM -- High Performance Computational Hydrodynamic Simulations: UPC Parallel Architecture as a Future Alternative -- Classifying Aircraft Approach Type in the National General Aviation Flight Information Database -- On Parametric Excitation for Exploration of Lava Tubes and Caves -- Global Simulation of Planetary Rings on Sunway TaihuLight -- Parallel Performance Analysis of Bacterial Biofilm Simulation Models -- Parallel Solutions to the k-difference Primer Problem -- RT-DBSCAN: Real-time Parallel Clustering of Spatio-Temporal Data using Spark-Streaming -- GPU-based implementation of Ptycho-ADMM for high performance X-ray imaging -- Elastic CPU Cap Mechanism for Timely Dataflow Applications -- Blockchain-based transaction integrity in distributed big data marketplace -- Workload Characterization and Evolutionary Analyses of Tianhe-1A Supercomputer -- The Design of Fast and Energy-Efficient Linear Solvers: On The potential Of Half Precision Arithmetic And Iterative Refinement Techniques -- Design of Parallel BEM Analyses Framework for SIMD Processors -- An experimental assessment of three point-insertion sequences for 3-D incremental Delaunay tessellations -- Learning Knowledge Graph Embeddings via Generalized Hyperplanes -- Fast Higher-Order Functions for Tensor Calculus with Tensors and Subtensors -- The t-modified self-shrinking generator -- Simulating Negotiation-based Cloud Markets -- Structural Learning of Probabilistic Graphical Models of Cumulative Phenomena -- Sparse Surface Speed Evaluation on a Dynamic Three-Dimensional Surface Using an Iterative Partitioning Scheme -- Accurate, Automatic and Compressed Visualization of Radiated Helmholtz Fields from Boundary Element Solutions. |
| Record Nr. | UNINA-9910349433703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science – ICCS 2018 : 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III / / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot
| Computational Science – ICCS 2018 : 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III / / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XX, 866 p. 331 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer engineering Computer networks Artificial intelligence Data protection Social sciences—Data processing Logic design Theory of Computation Computer Engineering and Networks Artificial Intelligence Data and Information Security Computer Application in Social and Behavioral Sciences Logic Design |
| ISBN | 3-319-93713-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Track of Simulations of Flow and Transport: Modeling, Algorithms and Computation Simulations of Flow and Transport: Modeling, Algorithms and Computation -- ALE Method for a Rotating Structure Immersed in the Fluid and Its Application to the Artificial Heart Pump in Hemodynamics -- Free Surface Flow Simulation of Fish Turning Motion -- Circular Function-Based Gas-kinetic Scheme for Simulation of Viscous Compressible Flows -- A new edge stabilization method for the convection-dominated diffusion-convection equations -- Symmetric Sweeping Algorithms for Intersections of Two Quadrilateral Mesh -- A Two-field Finite Element Solver for Poroelasticity on Quadrilateral Meshes -- Preprocessing parallelization for the ALT-algorithm -- Efficient Linearly and Unconditionally Energy Stable Schemes for the Phase Field Model of Solid-State Dewetting Problems -- A novel energy stable numerical scheme for Navier-Stokes-Cahn-Hilliard two-phase flow model with variable densities and viscosities -- Study on Numerical Methods for Gas Flow Simulation Using Double-Porosity Double-Permeability Model -- Molecular Simulation of Displacement of Methane by Injection Gases in Shale -- A Compact and Efficient Lattice Boltzmann Scheme to Simulate Complex Thermal Fluid Flows -- Study on topology-based identification of sources of vulnerability for natural gas pipeline networks -- LES study on high Reynolds turbulent drag-reducing flow of viscoelastic fluids based on multiple relaxation times constitutive model and mixed subgrid-scale model -- Track of Solving Problems with Uncertainties Statistical and Multivatiate Analysis Applied to a Database of Patients with Type-2 Diabetes -- Novel Monte Carlo Algorithm for Solving Singular Linear Systems -- Reducing Data Uncertainty in Forest Fire Spread Prediction: a Matter of Error Function Assessment -- Analysis of the accuracy of OpenFOAM solvers for the problem of supersonic flow around a cone -- Modification Of Interval Arithmetic For Modelling And Solving Uncertainly Defined Problems By Interval Parametric Integral Equations System -- A Hybrid Heuristic for the Probabilistic Capacitated Vehicle Routing Problem with Two-Dimensional Loading Constraints -- A human-inspired model to represent uncertain knowledge in the Semantic Web -- Bayesian based approach learning for outcome prediction of soccer matches -- Fuzzy and Data-Driven Urban Crowds -- Track of Teaching Computational Science Design and Analysis of an Undergraduate Computational Engineering Degree at Federal University of Juiz de Fora -- Extended Cognition Hypothesis View on Computational Thinking in Computer Science Education -- Interconnected Enterprise Systems - A Call for New Teaching Approaches -- Poster Papers -- Efficient Characterization of Hidden Processor Memory Hierarchies -- Discriminating Postural Control Behaviors from Posturography with Statistical Tests and Machine Learning Models: Does Time Series Length Matter -- Mathematical Modelling of Wormhole-routed x-Folded TM Topology in the Presence of Uniform Traffic -- Adaptive Time-Splitting Scheme for Nanoparticles Transport with Two-phase Flow in Heterogeneous Porous Media -- Identifying Central Individuals in Organised Criminal Groups and Underground Marketplaces -- Guiding the optimization of parallel codes on multicores using an analytical cache model -- LDA-Based Scoring of Sequences Generated by RNN for Automatic Tanka Composition -- Computing Simulation of Interactions between α + β ProteinandJanusNanoparticle -- A modified bandwidth reduction heuristic based on the WBRA and George-Liu algorithm -- Improving Large-scale Fingerprint-based Queries in Distributed Infrastructure -- A Effective Truth Discovery Algorithm with Multi-Source Sparse Data -- Blackboard Meets Dijkstra for Resource Allocation Optimization -- Augmented Self-paced Learning with Generative Adversarial Networks -- Benchmarking Parallel Chess Search in Stockfish on Intel Xeon and Intel Xeon Phi Processors -- Leveraging Uncertainty Analysis of Data to Evaluate User Influence Algorithms of Social Networks -- E-Zone: A faster Neighbor Point Query Algorithm For Matching Spacial Objects -- Application of Algorithmic Differentiation for Exact Jacobians to the Universal Laminar Flame Solver -- Morph Resolution Based on Autoencoders Combined with Effective Context Information -- Old Habits Die Hard: Fingerprinting Websites On The Cloud -- Deep Streaming Graph Representations -- Adversarial Reinforcement Learning for Chinese Text Summarization -- Column Concept Determination for Chinese Web Tables via Convolutional Neural Network -- Service-oriented approach for Internet of Things -- Adversarial Framework for General Image Inpainting -- A Stochastic Model to Simulate the Spread of Leprosy in Juiz de For a -- Data Fault Identification and Repair Method of Traffic Detector -- The valuation of CCIRS with a new design -- Method of Node Importance Measurement in Urban Road Network -- AdaBoost-LSTM Ensemble Learning for Financial Time Series Forecasting -- Analysis of Bluetooth Low Energy Detection Range Improvements for the Healthcare Environment -- Study on an N-parallel FENE-P constitutive model based on multiple relaxation times for viscoelastic fluid -- RADIC based Fault Tolerance System with Dynamic Resource Controller -- Effective Learning with Joint Discriminative and Representative Feature Selection -- Agile tuning method in successive steps for a river flow simulator -- A Parallel Quicksort Algorithm on Manycore Processors in Sunway TaihuLight -- How is the Forged Certificates in the Wild: Practice on Large-scale SSL Usage Measurement and Analysis -- Managing Cloud Data Centers with Three-state Server Model under Job Abandonment Phenomenon -- The Analysis of the Effectiveness of the Perspective-based Observational Tunnels Method by the Example of the Evaluation of Possibilities to Divide the Multidimensional Space of Coal Samples -- Urban data and spatial segregation: analysis of food services clusters in St. Petersburg, Russia -- Control driven lighting design for large-scale installations -- An OpenMP implementation of the TVD-Hopmoc method based on a synchronization mechanism using locks between adjacent threads on Xeon Phi accelerators -- Data-Aware Scheduling of Scientific Workflows in Hybrid Clouds -- Large margin proximal non-parallel support vector classifiers -- The multi-core optimization of the unbalanced calculation in the clean numerical simulation of Rayleigh-Benard turbulence -- ES-GP: An Effective Evolutionary Regression Framework with Gaussian Process and Adaptive Segmentation Strategy -- Evaluating Dynamic Scheduling of Tasks in Mobile Architectures using ParallelME Framework -- An OAuth2.0-Based Unified Authentication System for Secure Services in the Smart Campus Environment -- Time Series Cluster analysis on electricity consumption of North Hebei Province in China -- Effective Semi-supervised Learning Based on Local Correlation -- Detection and Prediction of House Price Bubbles: Evidence from a New City -- A Novel Parsing-based Automatic Domain Terminology Extraction Method -- Remote Procedure Calls for Improved Data Locality with the Epiphany Architecture -- Identifying the propagation sources of stealth worms -- Machine Learning Based Text Mining in Electronic Health Records: Cardiovascular Patient Cases -- Evolutionary ensemble approach for behavioral credit scoring -- Detecting influential users in customer-oriented online communities -- GeoSkelSL: A Python High-Level DSL for Parallel Computing in Geosciences -- Precedent-based approach for the identification of deviant behavior in social media -- Performance Analysis of 2D-compatible 2.5D-PDGEMM on Knights Landing Cluster. |
| Record Nr. | UNINA-9910349433503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science – ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II / / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot
| Computational Science – ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II / / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIX, 884 p. 296 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer engineering Computer networks Artificial intelligence Data protection Social sciences—Data processing Logic design Theory of Computation Computer Engineering and Networks Artificial Intelligence Data and Information Security Computer Application in Social and Behavioral Sciences Logic Design |
| ISBN | 3-319-93701-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Track of Advances in High-Performance Computational Earth -- Sciences: Applications and Frameworks Development of scalable three-dimensional elasto-plastic nonlinear wave propagation analysis method for earthquake damage estimation of soft grounds -- A New Matrix-free Approach for Large-scale Geodynamic Simulations and its Performance -- Viscoelastic Crustal Deformation Computation Method with Reduced Random Memory Accesses for GPU-based Computers -- An Event Detection Framework for Virtual Observation System: Anomaly Identification for An Acme Land Simulation -- Enabling Adaptive Mesh Refinement for Single Components of ECHAM6 -- Efficient and accurate evaluation of Bezier tensor product surfaces -- Track of Agent-based simulations, adaptive algorithms and solvers Agent-Based Simulations, Adaptive Algorithms and Solvers -- Hybrid Swarm and Agent-based Evolutionary Optimization -- Data-driven Agent-based Simulation for Pedestrian Capacity Analysis -- A Novel Agent-based Modeling Approach for Image Coding and Lossless Compression Based on the Wolf-Sheep Predation Model -- Planning Optimal Path Networks Using Dynamic Behavioral Modeling -- Multiagent context–dependent model of opinion dynamics in a virtual society -- An algorithm for tensor product approximation of three-dimensional material data for implicit dynamics simulations -- Track of Applications of Matrix Methods in Artificial Intelligence and Machine Learning Applications of Matrix Methods in Artificial Intelligence and Machine Learning -- On Two Kinds of Dataset Decomposition -- A Graph-based Algorithm for Supervised Image Classification -- An Adversarial Training Framework for Relation Classification -- Topic-Based Microblog Polarity Classification Based on Cascaded Model -- An Efficient Deep Learning Model for Recommender Systems -- Standardization of Featureless Variables for Machine Learning Models using Natural Language Processing (NLP) -- Generalized Variable Conversion using K-means Clustering and Web Scraping -- Parallel Latent Dirichlet Allocation on GPUs -- Improving Search through A3C Reinforcement Learning based Conversational Agent -- Track of Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems Architecture Emulation and Simulation of Future Many-Core Epiphany RISC Array Processors -- Automatic mapping for OpenCL-Programs on CPU/GPU Heterogeneous Platforms -- Track of Biomedical and Bioinformatics Challenges for Computer Science, 11th Workshop on Biomedical and Bioinformatics Challenges for Computer Science: new computational models, algorithms and computer architectures -- Combining Data Mining Techniques to Enhance Cardiac Arrhythmia Detection -- CT medical imaging reconstruction using direct algebraic methods with few projections -- On blood viscosity and its correlation with biological parameters -- Development of Octree-Based High-Quality Mesh Generation Method for Biomedical Simulation -- 1,000x Faster than PLINK: Genome-Wide Epistasis Detection with Logistic Regression Using Combined FPGA and GPU Accelerators -- Track of Computational Finance and Business Intelligence -- Deep Learning and Wavelets for High-Frequency Price Forecasting -- Kernel Extreme Learning Machine for Learning from Label Proportions -- Extreme Market Prediction for Trading Signal with Deep Recurrent Neural Network -- Multi-view Multi-task Support Vector Machine -- Research on Stock Price Forecast Based on News Sentiment Analysis –A Case Study of Alibaba -- Parallel Harris Corner Detection on Heterogeneous Architecture -- A New Method for Structured Learning with Privileged Information -- An Effective Model between Mobile Phone Usage and P2P Default Behavior -- A Novel Data Mining Approach towards Human Resource Performance Appraisal -- Word Similarity Fails in Multiple Sense Word Embedding -- Track of Computational Optimization, Modelling and Simulation A hybrid optimization algorithm for electric motor design -- Dynamic Current Distribution in the Electrodes of Submerged Arc Furnace using Scalar and Vector Potentials -- Optimizing Deep Learning by Hyper Heuristic Approach for Classifying Good Quality Images -- An Agent-based Distributed Approach for Bike Sharing Systems -- A fast vertex-swap operator for the prize-collecting Steiner tree problem -- Solving CSS-Sprite Packing Problem using a Transformation to the Probabilistic Non-Oriented Bin Packing Problem -- Optimization of Resources Selection for Jobs Scheduling in Heterogeneous Distributed Computing Environments -- Explicit Size-Reduction-Oriented Design of a Compact Microstrip Rat-Race Coupler Using Surrogate-Based Optimization Methods -- Stochastic-Expansions-Based MAPOD Analysis of the Spherically-Void-Defect Benchmark Problem -- Accelerating Optical Absorption Spectra and Exciton Energy Computation via Interpolative Separable Density Fitting -- Model-Assisted Probability of Detection for Structural Health Monitoring of Flat Plates -- Track of Data, Modeling, and Computation in IoT and Smart Systems Anomalous Trajectory Detection between Regions of Interest Based on ANPR System -- Dynamic real-time infrastructure planning and deployment for disaster early warning systems -- Calibration and Monitoring of IoT Devices by Means of Embedded Scientific Visualization Tools -- Gated Convolutional LSTM for Speech Commands Recognition -- Enabling machine learning on resource constrained devices by source code generation of the learned models -- Track of Data-Driven Computational Sciences Fast Retrieval of Weather Analogues in a Multi-petabytes Archive using Wavelet-based Fingerprints -- Assimilation of fire perimeters and satellite detections by minimization of the residual in a fire spread model -- Analyzing Complex Models using Data and Statistics -- Research on Technology Foresight Method Based on Intelligent Convergence in Open Network Environment -- Prediction of Blasting Vibration Intensity by Improved PSO-SVR on Apache Spark Cluster -- Bisections-weighted-by-element-size-and-order algorithm to optimize direct solver performance on 3D hp-adaptive grids -- Establishing EDI for a Clinical Trial of a Treatment for Chikungunya -- Deadlock Detection in MPI Programs Using Static Analysis and Symbolic Execution -- Track of Mathematical-Methods-and-Algorithms for Extreme Scale Reproducible Roulette Wheel Sampling for Message Passing Environments -- Speedup of Bicubic Spline Interpolation -- Track of Multiscale Modelling and Simulation Multiscale Modelling and Simulation, 15th International Workshop -- Optimized Eigenvalue Solvers for the Neutron Transport Equation -- Multi-scale homogenization of pre-treatment rapid and slow filtration processes with experimental and computational validations. - The solution of the lambda modes problem using block iterative eigensolvers -- A Versatile Hybrid Agent-Based, Particle and Partial Differential Equations Method to Analyze Vascular Adaptation -- Development of a multiscale simulation approach for forced migration. |
| Record Nr. | UNINA-9910349433603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science – ICCS 2019 [[electronic resource] ] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V / / edited by João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot
| Computational Science – ICCS 2019 [[electronic resource] ] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V / / edited by João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXII, 812 p. 458 illus., 279 illus. in color.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence Computer engineering Computer networks Logic design Computer vision Computer science—Mathematics Theory of Computation Artificial Intelligence Computer Engineering and Networks Logic Design Computer Vision Mathematics of Computing |
| ISBN | 3-030-22750-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Track of Smart Systems: Computer Vision, Sensor Networks and Machine Learning -- Effective Self Attention Modeling for Aspect Based Sentiment Analysis -- Vision and crowdsensing technology for an optimal response in physical-security -- New Intelligent Tools to Adapt NL-interface to Corporate Environments -- Asymmetric Deep Cross-modal Hashing -- Applying NSGA-II to a Multiple Objective Dial a Ride Problem -- Smart Campus Parking – Parking Made Easy -- The network topology of connecting Things: Defence of IoT graph in the smart city -- SILKNOWViz: Spatio-temporal data ontology viewer -- Ontology-Driven Automation of IoT-Based Human-Machine Interfaces Development -- Towards Parameter-Optimized Vessel Re-identification based on IORnet -- Towards Low-Cost Indoor Localisation Using a Multi-camera System -- A New Shape Descriptor and Segmentation Algorithm for Automated Classifying of Multiple-Morphological Filamentous Algae -- Application of hierarchical clustering for object tracking with a Dynamic Vision Sensor -- Binarization of Degraded Document Images with Generalized Gaussian Distribution -- Nonlinear dimensionality reduction in texture classification: is manifold learning better than PCA? -- Event-Oriented Keyphrase Extraction Based on Bi-Clustering Model -- Track of Solving Problems with Uncertainties -- Path-Finding with a Full-Vectorized GPU Implementation of Evolutionary Algorithms in an Online Crowd Model Simulation Framework -- Analysing the trade-off between computational performance and representation richness in ontology-based systems -- A Framework for Distributed Approximation of Moments with Higher-Order Derivatives through Automatic Differentiation -- IPIES for Uncertainly Dened Shape of Boundary, Boundary Conditions and Other Parameters in Elasticity Problems -- Enabling UQ for complex modelling workflows -- Ternary-Decimal Exclusion Algorithm for Multiattribute Utility Functions -- Sums of Key Functions Generating a Cryptosystem -- Consistent Conjectures in Globalization Problems -- Verification on the Ensemble of Independent Numerical Solutions -- On the estimation of the accuracy of numerical solutions in CFD problems -- "Why did you do that?" Explaining black box models with Inductive Synthesis -- Predictive Analytics with Factor Variance Association -- Track of Teaching Computational Science -- Redesigning Interactive Educational Modules for Combinatorial Scientific Computing -- A Learner-Centered Approach to Teaching Computational Modeling, Data Analysis, and Programming -- Enabling Interdisciplinary Instruction in Computer Science and Humanities: An Innovative Teaching and Learning Model Customized for Small Liberal Arts Colleges -- A project-based course on software development for (engineering) research -- Programming paradigms for computational science: three fundamental Models -- Numerical Analysis project in ODEs for undergraduate students -- Poster Track ICCS 2019 -- Mixed Finite Element Solution for the Natural-Gas Dual-Mechanism Model -- On the Feasibility of Distributed Process Mining in Healthcare -- How to Plan Roadworks in Urban Regions? A Principled Approach Based on AI Planning -- Big data approach to fluid dynamics visualization problem -- Dolphin Kick Swimmer using the Unstructured Moving Mesh Method -- The performance prediction and improvement of SPH with the interaction-list-sharing method on PEZY-SCs -- Influence of architectural features of the SNC-4 mode of the Intel Xeon Phi KNL on matrix multiplication -- Improving Planning Performance in PDDL+ Domains via Automated Predicate Reformulation -- The Case of iOS vs. Android: Applying System Dynamics to Digital Business Platforms -- Sockpuppet Detection in Social Network via Propagation Tree -- Exploring the performance of fine-grained synchronization and data exchange across process boundaries on modern multi-core architectures -- Accelerating Wild Fire Simulator using GPU -- Augmented Reality for Real-time Navigation Assistance to Wheelchair Users with Obstacles’ Management -- p3Enum: A new Parameterizable and Shared-Memory Parallelized Shortest Vector Problem Solver -- Rendering Non-Euclidean Space in Real-Time Using Spherical and Hyperbolic Trigonometry -- Improving Academic Homepage Identification from the Web using Neural Networks -- Combining Fuzzy Logic and CEP Technology to Improve Air Quality in Cities -- Parallel parametric linear programming solving, and application to polyhedral computations -- Automating the Generation of Comparison Weights for Enhancing the AHP Decision-Making Process -- Parallel algorithm based on Singular Value Decomposition for high performance training of Neural Networks -- In-Situ Visualization with Membrane Layer for Movie-based Visualization -- Genetic Algorithm based EV Scheduling for On-Demand Public Transit System -- Short-term irradiance forecasting on the basis of spatially distributed Measurements -- Multi-GPU Acceleration of the iPIC3D Implicit Particle-in-Cell Code -- Reducing Symbol Search Overhead on Stream-based Data Compression -- Stabilized variational formulation for solving cells response to applied electric field -- Data-driven partial derivative equations discovery with evolutionary Approach -- Predicting Cervical Cancer with Metaheuristic optimizers for training LSTM -- Top k 2-Clubs in a Network: A Genetic Algorithm -- CA-RPT: Context-Aware Road Passage Time Estimation for Urban Trac -- Modelling and Analysis of Complex Patient-Treatment Process using GraphMiner Toolbox -- Combining Algorithmic Rethinking and AVX-512 Intrinsics for Efficient Simulation of Subcellular Calcium Signaling -- Ocean Circulation Hindcast at the Brazilian Equatorial Margin -- A matrix-free eigenvalue solver for the multigroup neutron diffusion Equation -- Path-dependent interest rate option pricing with jumps and stochastic Intensities -- Composite data types in dynamic dataflow languages as copyless memory sharing mechanism -- A coupled food security and refugee movement model for the South Sudan conflict -- A Proposal to Model Ancient Silk Weaving Techniques and Extracting Information from Digital Imagery - Ongoing Results of the SILKNOW Project -- A Comparison of Selected Variable Ordering Methods for NFA Induction -- Traffic3D: A Rich 3D-Traffic Environment to Train Intelligent Agents -- Energy Efficiency Evaluation of Distributed Systems -- Support for high-level quantum Bayesian inference -- Financial Time Series Motif Discovery and Analysis Using VALMOD -- Profiling of Household Residents’ Electricity Consumption Behavior using Clustering Analysis -- DNAS-STriDE Framework for Human Behavior Modelling in Dynamic Environments -- OPENCoastS: An open-access app for sharing coastal prediction information for management and recreational use. |
| Record Nr. | UNISA-996466327203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Science – ICCS 2019 [[electronic resource] ] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV / / edited by João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot
| Computational Science – ICCS 2019 [[electronic resource] ] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV / / edited by João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIX, 663 p. 407 illus., 266 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence Computer engineering Computer networks Logic design Computer vision Computer science—Mathematics Theory of Computation Artificial Intelligence Computer Engineering and Networks Logic Design Computer Vision Mathematics of Computing |
| ISBN | 3-030-22747-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Track of Data-Driven Computational Sciences -- Nonparametric Approach to Weak Signal Detection in the Search for Extraterrestrial Intelligence (SETI) -- Parallel Strongly Connected Components Detection with Multi-partition on GPUs -- Efficient Parallel Associative Classification based on Rules Memoization -- Integrated Clustering and Anomaly Detection (INCAD) for Streaming Data -- An Implementation of Coupled Dual-Porosity-Stokes Model with FEniCS -- Anomaly Detection in Social Media using Recurrent Neural Network -- Conditional BERT Contextual Augmentation -- An innovative and reliable water leak detection service supported by data-intensive remote sensing processing -- Track of Machine Learning and Data Assimilation for Dynamical Systems -- Scalable Weak Constraint Gaussian Processes -- A Learning-Based Approach for Uncertainty Analysis in Numerical Weather Prediction Models -- Kernel embedded nonlinear observational mappings in the variational mapping particle filter -- Data assimilation in a nonlinear time-delayed dynamical system with Lagrangian optimization -- Machine learning to approximate solutions of ordinary differential equations: Neural networks vs. linear regressors -- Kernel Methods for Discrete-Time Linear Equations -- Physics-Informed Echo State Networks for Chaotic Systems Forecasting -- Tuning Covariance Localization using Machine Learning -- Track of Marine Computing in the Interconnected World for the Benefit of the Society -- Marine and Atmospheric Forecast Computational System for Nautical Sports in Guanabara Bay (Brazil) -- An integrated perspective of the Operational Forecasting System in Rias Baixas (Galicia, Spain) with observational data and end-users -- Climate evaluation of a high-resolution regional model over the Canary current upwelling system -- Validating Ocean General Circulation Models via Lagrangian particle simulation and data from drifting buoys -- Implementation of a 3-dimentional hydrodynamic model to a fish aquaculture area in Sines, Portugal - A down-scaling approach -- Numerical characterization of the Douro River plume -- The Impact of Sea Level Rise in the Guadiana Estuary -- Estuarine light attenuation modelling towards improved management of coastal fisheries -- The NARVAL software toolbox in support of ocean model skill assessment at regional and coastal scales -- Salinity control on Saigon river downstream of Dautieng reservoir within multi-objective simulation-optimisation framework for reservoir operation -- Clustering hydrographic conditions in Galician estuaries -- Early Warning Systems for Shellfish Safety - The Pivotal Role of Computational Science -- Track of Multiscale Modelling and Simulation -- Creating a reusable cross-disciplinary multi-scale and multi-physics framework: from AMUSE to OMUSE and beyond -- A Semi-Lagrangian Multiscale Framework for Advection-Dominant Problems -- A Multiscale Model of Atherosclerotic Plaque Development: toward a Coupling between an Agent-Based Model and CFD Simulations -- Special Aspects of Hybrid Kinetic-Hydrodynamic Model When Describing the Shape of Shockwaves -- Computational Analysis of Pulsed Radiofrequency Ablation in Treating Chronic Pain -- MaMiCo: Parallel Noise Reduction for Multi-Instance Molecular-Continuum Flow Simulation -- Projection-Based Model Reduction Using Asymptotic Basis Functions -- Introducing VECMAtk - verification, validation and uncertainty quantification for multiscale and HPC simulations -- Track of Simulations of Flow and Transport: Modeling, Algorithms and Computation -- deal.II Implementation of a Weak Galerkin Finite Element Solver for Darcy Flow -- Recovery of the Interface Velocity for the Incompressible Flow in Enhanced Velocity Mixed Finite Element Method -- A New Approach to Solve the Stokes-Darcy-Transport System Applying Stabilized Finite Element Methods -- Energy Stable Simulation of Two-Phase Equilibria with Capillarity -- Effects of Numerical Integration on DLM/FD Method for Solving Interface Problems with Body-Unfitted Meshes -- Application of a Double Potential Method to Simulate Incompressible Viscous Flows -- A bubble formation in the two-phase system -- Performance of a Two-Path Aliasing Free Calculation of a Spectral DNS Code -- DNS of mass transfer from bubbles rising in a vertical channel -- A Hybrid Vortex Method for the simulation of 3D incompressible flows -- Accelerated Phase Equilibrium Predictions for Subsurface Reservoirs Using Deep Learning Methods -- Study on the thermal-hydraulic coupling model for the enhanced geothermal systems -- Modelling of thermal transport in wire + arc additive manufacturing process. |
| Record Nr. | UNISA-996466327403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Science – ICCS 2019 [[electronic resource] ] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I / / edited by João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot
| Computational Science – ICCS 2019 [[electronic resource] ] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I / / edited by João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIX, 659 p. 302 illus., 224 illus. in color.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence Computer engineering Computer networks Logic design Computer vision Computer science—Mathematics Theory of Computation Artificial Intelligence Computer Engineering and Networks Logic Design Computer Vision Mathematics of Computing |
| ISBN | 3-030-22734-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ICCS Main Track -- Efficient Computation of Sparse Higher Derivative Tensors -- Rational Approximation of Scientific Data -- Design of a High-Performance Tensor-Vector Multiplication with BLAS -- High Performance Partial Coherent X-ray Ptychography -- Monte Carlo Analysis of Local Cross-Correlation ST-TBD Algorithm -- Optimization of Demodulation for Air-Gap Data Transmission based on Backlight Modulation of Screen -- Reinsertion algorithm based on destroy and repair operators for dynamic dial a ride problems -- Optimization heuristics for computing the Voronoi skeleton -- Transfer Learning for Leisure Centre Energy Consumption Prediction -- Forecasting Network Throughput of Remote Data Access in Computing Grids -- Accurately Simulating Energy Consumption of I/O-intensive Scientific Workflows -- Exploratory Visual Analysis of Anomalous Runtime Behavior in Streaming High Performance Computing Applications -- Analysis of the construction of similarity matrices on multi-core and many-core platforms using different similarity metrics -- High Performance Algorithms for Counting Collisions and Pairwise Interactions -- Comparing domain-decomposition methods for the parallelization of distributed land surface models -- Analysis and Detection on Abused Wildcard Domain Names Based on DNS Logs -- XScan: An Integrated Tool for Understanding Open Source Community-based Scientific Code -- An On-line Performance Introspection Framework for Task-based Runtime Systems -- Productivity-aware Design and Implementation of Distributed Tree-based Search Algorithms -- Development of Element-by-Element Kernel Algorithms in Unstructured Implicit Low-Order Finite-Element Earthquake Simulation for Many-Core Wide-SIMD CPUs -- A High-productivity Framework for Adaptive Mesh Refinement on Multiple GPUs -- Harmonizing Sequential and Random Access to Datasets in Organizationally Distributed Environments -- Towards Unknown Traffic Identification Using Deep Auto-Encoder and Constrained Clustering -- How to compose product pages to enhance the new users’ interest in the item catalog? -- Rumor Detection on Social Media: A Multi-View Model using Self-Attention Mechanism -- EmoMix: Building An Emotion Lexicon for Compound Emotion Analysis -- Long Term Implications of Climate Change on Crop Planning -- Representation Learning of Taxonomies for Taxonomy Matching -- Creating Training Data for Scientific Named Entity Recognition with Minimal Human Effort -- Evaluating the benefits of Key-Value databases for scientific applications -- Scaling the Training of Recurrent Neural Networks on Sunway TaihuLight Supercomputer -- Immersed boundary method halo exchange in a hemodynamics application -- Future ramifications of age-dependent immunity levels for measles: explorations in an individual-based model -- Evolution of Hierarchical Structure & Reuse in iGEM Synthetic DNA Sequences -- Computational design of superhelices by local change of the intrinsic Curvature -- Spatial modeling of influenza outbreaks in Saint Petersburg using synthetic populations -- Six Degrees of Freedom Numerical Simulation of Tilt-Rotor Plane -- A Macroscopic Study on Dedicated Highway Lanes for Autonomous Vehicles -- An Agent-Based Model for Evaluating the Boarding and Alighting Efficiency of Autonomous Public Transport Vehicles -- MLP-IA: Multi-Label User Profile Based on Implicit Association Labels -- Estimating agriculture NIR images from aerial RGB data -- Simulation of Fluid Flow in Induced Fractures in Shale by the Lattice Boltzmann Method -- Incentive Mechanism for Cooperative Intrusion Response: A Dynamic Game Approach -- A k-Cover Model for Reliability-Aware Controller Placement in Software-Dened Networks -- Robust Ensemble-Based Evolutionary Calibration of the Numerical Wind Wave Model -- Approximate Repeated Administration Models for Pharmacometrics -- Evolutionary Optimization of Intruder Interception Plans for Mobile Robot Groups. |
| Record Nr. | UNISA-996466328003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Science – ICCS 2019 [[electronic resource] ] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III / / edited by João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot
| Computational Science – ICCS 2019 [[electronic resource] ] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III / / edited by João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XX, 731 p. 424 illus., 230 illus. in color.) |
| Disciplina | 003.54 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence Computer engineering Computer networks Logic design Computer vision Computer science—Mathematics Theory of Computation Artificial Intelligence Computer Engineering and Networks Logic Design Computer Vision Mathematics of Computing |
| ISBN | 3-030-22744-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Track of Biomedical and Bioinformatics Challenges for Computer Science -- Parallelization of an algorithm for automatic classification of medical data -- The Chain Alignment Problem -- Comparing Deep and Machine Learning approaches in bioinformatics: a miRNA-target prediction case study -- Automated epileptic seizure detection method based on the multi-attribute EEG feature pool and mRMR feature selection method -- An Approach for Semantic Data Integration in Cancer Studies -- A Study of the Electrical Propagation in Purkinje Fibers -- A Knowledge Based Self-Adaptive Differential Evolution Algorithm for Protein Structure Prediction -- A multi-objective artificial bee colony algorithm for the 3-D protein structure prediction problem -- Combining Polynomial Chaos Expansions and Genetic Algorithm for the coupling of electrophysiological models -- A cloud architecture for the execution of medical imaging biomarkers -- A Self-Adaptive Local Search Coordination in Multimeme Memetic Algorithm for Molecular Docking -- Parallel CT reconstruction for multiple slices studies with SuiteSparseQR factorization package -- Track of Classifier Learning from Difficult Data -- ARFF data source library for distributed single/multiple instance, single/multiple output learning on Apache Spark -- On the role of cost-sensitive learning in imbalanced data oversampling -- Characterization of Handwritten Signature Images in Dissimilarity Representation Space -- Missing Features Reconstruction and Its Impact on Classification Accuracy -- A Deep Malware Detection Method Based on General-Purpose Register Features -- A Novel Distribution Analysis for SMOTE oversampling method in Handling Class Imbalance -- Forecasting purchase categories by transactional data: a comparative study of classification methods -- Recognizing Faults in Software Related Dicult Data -- Track of Computational Finance and Business Intelligence -- Research on Knowledge Discovery in Database of Traffic Flow State Based on Attribute Reduction -- Factor Integration based on Neural Networks for Factor Investing -- Brief Survey of Relation Extraction based on Distant Supervision -- Short-Term Traffic Congestion Forecasting Using Attention-Based Long Short-Term Memory Recurrent Neural Network -- Portfolio Selection based on Hierarchical Clustering and Inverse-variance Weighting -- A computational Technique for Asian option pricing model -- Improving portfolio optimization using weighted link prediction in dynamic stock networks -- Track of Computational Optimization, Modelling and Simulation -- Comparison of Constraint-Handling Techniques for Metaheuristic Optimization -- Dynamic Partitioning of Evolving Graph Streams using Nature-inspired Heuristics -- Bat Algorithm for Kernel Computation in Fractal Image Reconstruction -- Heuristic Rules for Coordinated Resources Allocation and Optimization in Distributed Computing -- Nonsmooth Newton’s Method: Some Structure Exploitation -- Fully-Asynchronous Cache-Efficient Simulation of Detailed Neural Networks -- Application of the model with a non-Gaussian linear scalar filters to determine life expectancy, taking into account the cause of death -- Improving ODE integration on graphics processing units by reducing thread divergence -- Data Compression for Optimization of Molecular Dynamics System: Preserving Basins of Attraction -- An algorithm to perform hydraulic tomography based on a mixture model -- Rapid Multi-Band Patch Antenna Yield Estimation Using Polynomial Chaos-Kriging -- Accelerating Limited-Memory Quasi-Newton Convergence for Large-Scale Optimization -- Reduced-Cost Design Optimization of High-Frequency Structures Using Adaptive Jacobian Updates -- An Algorithm for Selecting Measurements with High Information Content Regarding Parameter Identification -- Optimizing parallel performance of the cell based blood flow simulation software HemoCell -- Surrogate-based optimisation of tidal turbine arrays: A case study for the Faro-Olhão Inlet -- Time-dependent link travel time approximation for large-scale dynamic traffic simulations -- Evaluation of the Suitability of Intel Xeon Phi Clusters for the Simulation of Ultrasound Wave Propagation using Pseudospectral Methods -- Track of Computational Science in IoT and Smart Systems -- Fog computing architecture based blockchain for industrial IoT -- Exploration of Data from Smart Bands in the Cloud and on the Edge - the Impact on the Data Storage Space -- Security of Low Level IoT Protocols -- FogFlow - computation organization for heterogeneous Fog computing Environments -- Research and Implementation of an Aquaculture Monitoring System Based on Flink, MongoDB and Kafka -- Enhanced Hydroponic Agriculture Environmental Monitoring: An Internet of Things Approach -- Noise Mapping through Mobile Crowdsourcing for Enhanced Living Environments -- Environmental Quality Supervision for Enhanced Living Environments and Laboratory Activity Support using IBM Watson Internet of Things Platform -- Combining Data from Fitness Trackers with Meteorological Sensor Measurements for Enhanced Monitoring of Sports Performance -- Collaborative Learning Agents (CLA) for Swarm Intelligence and Application to Health Monitoring of System of Systems -- Computationally Efficient Classification of Audio Events Using Binary Masked Cochleagrams. |
| Record Nr. | UNISA-996466327503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
