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 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 | ||
| ||
Computational Science – ICCS 2019 [[electronic resource] ] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II / / 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 II / / 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, 679 p. 304 illus., 237 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-22741-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ICCS Main Track -- Synthesizing quantum circuits via numerical optimization -- Application of continuous time quantum walks to image segmentation -- Synchronized Detection and Recovery of Steganographic Messages with Adversarial Learning -- Multi-Source Manifold Outlier Detection -- A Fast kNN-based Approach for Time Sensitive Anomaly Detection over Data Streams -- n-gram Cache Performance in Statistical Extraction of Relevant Terms in Large Corpora -- Lung Nodule Diagnosis via Deep Learning and Swarm Intelligence -- Marrying Graph Kernel with Deep Neural Network: A Case Study for Network Anomaly Detection -- Machine learning for performance enhancement of molecular dynamics Simulations -- 2D-Convolution based Feature Fusion for Cross-Modal Correlation Learning -- DunDi: Improving Robustness of Neural Networks using Distance Metric Learning -- Autism Screening using Deep Embedding Representation -- Function and pattern extrapolation with product-unit networks -- Fast and Scalable Outlier Detection with Metric Access Methods -- Deep Learning Based LSTM and SeqToSeq Models to Detect Monsoon Spells of India -- Data Analysis for Atomic Shapes in Nuclear Science -- A Novel Partition Method for Busy Urban Area Based on Spatial-Temporal Information -- Mention Recommendation with Context-aware Probabilistic Matrix Factorization -- Synchronization under control in complex networks for a panic model -- Personalized Ranking in Dynamic Graphs Using Nonbacktracking Walks -- An Agent-Based Model for Emergent Opponent Behavior -- Fine-Grained Label Learning via Siamese Network for Cross-modal Information Retrieval -- MeshTrust: A CDN-centric Trust Model for Reputation Management on Video Traffic -- Optimizing spatial accessibility of company branches network with Constraints -- Track of Advances in High-Performance Computational Earth Sciences: Applications and Frameworks -- A Fast 3D Finite-element Solver for Large-scale Seismic Soil Liquefaction Analysis -- Performance Evaluation of Tsunami Inundation Simulation on SX-Aurora TSUBASA -- Parallel Computing for Module-Based Computational Experiment -- Heuristic Optimization with CPU-GPU Heterogeneous Wave Computing for Estimating Three-dimensional Inner Structure -- A Generic Interface for Godunov-type Finite Volume Methods on Adaptive Triangular Meshes -- Track of Agent-Based Simulations, Adaptive Algorithms and Solvers -- Distributed Memory Parallel Implementation of Agent Based Economic Models -- Augmenting Multi-Agent Negotiation in Interconnected Freight Transport Using Complex Networks Analysis -- Security-Aware Distributed Job Scheduling in Cloud Computing Systems: A Game-Theoretic Cellular Automata-based Approach -- Residual minimization for isogeometric analysis in reduced and mixed Forms -- CTCmodeler: an agent-based framework to simulate pathogen transmission along an inter-individual contact network in a hospital -- Socio-cognitive ACO in Multi-criteria Optimization -- Reconfiguration of the multi-channel communication system with hierarchical structure and distributed passive switching -- Multi-agent environment for decision support in production system using machine learning methods -- Track of Applications of Matrix Methods in Artificial Intelligence and Machine Learning -- Biclustering via Mixtures of Regression Models -- An Evaluation Metric for Content Providing Models, Recommender Systems and Online Campaigns -- Tolerance Near Sets and tNM Application in City Images -- Meta-Graph based Attention-aware Recommendation over Heterogeneous Information Networks -- Determining Adaptive Loss Functions and Algorithms for Predictive Models -- Adaptive Objective Functions and Distance Metrics for Recommendation Systems -- An Early Warning Method for Agricultural Products Price Spike Based on Artificial Neural Networks Prediction -- Predicting Heart Attack through Explainable Artificial Intelligence -- Track of Architecture, Languages, Compilation and Hardware Support for Emerging and Heterogeneous Systems -- Dynamic and Distributed Security Management for NoC based MPSoCs -- Scalable Fast Multipole Method for Electromagnetic Simulations. |
| Record Nr. | UNISA-996466327803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Science – ICCS 2019 : 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 : 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. | UNINA-9910337856103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science – ICCS 2019 : 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 : 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. | UNINA-9910337857003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science – ICCS 2019 : 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 : 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. | UNINA-9910337856503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II / / 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 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II / / 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, 679 p. 304 illus., 237 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-22741-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ICCS Main Track -- Synthesizing quantum circuits via numerical optimization -- Application of continuous time quantum walks to image segmentation -- Synchronized Detection and Recovery of Steganographic Messages with Adversarial Learning -- Multi-Source Manifold Outlier Detection -- A Fast kNN-based Approach for Time Sensitive Anomaly Detection over Data Streams -- n-gram Cache Performance in Statistical Extraction of Relevant Terms in Large Corpora -- Lung Nodule Diagnosis via Deep Learning and Swarm Intelligence -- Marrying Graph Kernel with Deep Neural Network: A Case Study for Network Anomaly Detection -- Machine learning for performance enhancement of molecular dynamics Simulations -- 2D-Convolution based Feature Fusion for Cross-Modal Correlation Learning -- DunDi: Improving Robustness of Neural Networks using Distance Metric Learning -- Autism Screening using Deep Embedding Representation -- Function and pattern extrapolation with product-unit networks -- Fast and Scalable Outlier Detection with Metric Access Methods -- Deep Learning Based LSTM and SeqToSeq Models to Detect Monsoon Spells of India -- Data Analysis for Atomic Shapes in Nuclear Science -- A Novel Partition Method for Busy Urban Area Based on Spatial-Temporal Information -- Mention Recommendation with Context-aware Probabilistic Matrix Factorization -- Synchronization under control in complex networks for a panic model -- Personalized Ranking in Dynamic Graphs Using Nonbacktracking Walks -- An Agent-Based Model for Emergent Opponent Behavior -- Fine-Grained Label Learning via Siamese Network for Cross-modal Information Retrieval -- MeshTrust: A CDN-centric Trust Model for Reputation Management on Video Traffic -- Optimizing spatial accessibility of company branches network with Constraints -- Track of Advances in High-Performance Computational Earth Sciences: Applications and Frameworks -- A Fast 3D Finite-element Solver for Large-scale Seismic Soil Liquefaction Analysis -- Performance Evaluation of Tsunami Inundation Simulation on SX-Aurora TSUBASA -- Parallel Computing for Module-Based Computational Experiment -- Heuristic Optimization with CPU-GPU Heterogeneous Wave Computing for Estimating Three-dimensional Inner Structure -- A Generic Interface for Godunov-type Finite Volume Methods on Adaptive Triangular Meshes -- Track of Agent-Based Simulations, Adaptive Algorithms and Solvers -- Distributed Memory Parallel Implementation of Agent Based Economic Models -- Augmenting Multi-Agent Negotiation in Interconnected Freight Transport Using Complex Networks Analysis -- Security-Aware Distributed Job Scheduling in Cloud Computing Systems: A Game-Theoretic Cellular Automata-based Approach -- Residual minimization for isogeometric analysis in reduced and mixed Forms -- CTCmodeler: an agent-based framework to simulate pathogen transmission along an inter-individual contact network in a hospital -- Socio-cognitive ACO in Multi-criteria Optimization -- Reconfiguration of the multi-channel communication system with hierarchical structure and distributed passive switching -- Multi-agent environment for decision support in production system using machine learning methods -- Track of Applications of Matrix Methods in Artificial Intelligence and Machine Learning -- Biclustering via Mixtures of Regression Models -- An Evaluation Metric for Content Providing Models, Recommender Systems and Online Campaigns -- Tolerance Near Sets and tNM Application in City Images -- Meta-Graph based Attention-aware Recommendation over Heterogeneous Information Networks -- Determining Adaptive Loss Functions and Algorithms for Predictive Models -- Adaptive Objective Functions and Distance Metrics for Recommendation Systems -- An Early Warning Method for Agricultural Products Price Spike Based on Artificial Neural Networks Prediction -- Predicting Heart Attack through Explainable Artificial Intelligence -- Track of Architecture, Languages, Compilation and Hardware Support for Emerging and Heterogeneous Systems -- Dynamic and Distributed Security Management for NoC based MPSoCs -- Scalable Fast Multipole Method for Electromagnetic Simulations. |
| Record Nr. | UNINA-9910337856303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science – ICCS 2019 : 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 : 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. | UNINA-9910337856703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
