close
1.

電子ブック

EB
edited by Carlos A. de Moura, Carlos S. Kubrusly
出版情報: Boston : Birkhäuser Boston : Imprint: Birkhäuser, 2013
オンライン: http://dx.doi.org/10.1007/978-0-8176-8394-8
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Stability of Different Schemes
Mathematical Intuition: Poincaré, Pólya, Dewey.- Three-dimensional Plasma Arc Simulation using Resistive MHD
A Numerical Algorithm for Ambrosetti-Prodi Type Operators
On the Quadratic Finite Element Approximation of 1-D Waves: Propagation, Observation, Control, and Numerical Implementation
Space-Time Adaptive Mutilresolution Techniques for Compressible Euler Equations
A Framework for Late-time/stiff Relaxation Asymptotics
Is the CFL Condition Sufficient? Some Remarks
Fast Chaotic Artificial Time Integration
Appendix A
Hans Lewy's Recovered String Trio
Appendix B
Appendix C
Appendix D.
Foreword
Stability of Different Schemes
Mathematical Intuition: Poincaré, Pólya, Dewey.- Three-dimensional Plasma Arc Simulation using Resistive MHD
2.

電子ブック

EB
edited by Björn Engquist
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
オンライン: http://dx.doi.org/10.1007/978-3-540-70529-1
所蔵情報: loading…
3.

電子ブック

EB
edited by Ilias S. Kotsireas, Panos M. Pardalos
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 12096
オンライン: https://doi.org/10.1007/978-3-030-53552-0
所蔵情報: loading…
目次情報: 続きを見る
Optimization for Urban Air Mobility
A Matheuristic Algorithm for solving the Vehicle Routing Problem with Cross-Docking
Physical activity as a risk factor in the progression of Osteoarthritis: A machine learning perspective
QPTAS for the CVRP with a moderate number of routes in a metric space of any xed doubling dimension
Early detection of eating disorders through machine learning techniques
On Finding Minimum Cardinality Subset of Vectors with a Constraint on the Sum of Squared Euclidean Pairwise Distances
Practical Approximation Algorithms for Stabbing Special Families of Line Segments with Equal Disks
A Class of Linear Programs Solvable by Coordinate-wise Minimization
Travel times equilibration procedure for route- flow traffic assignment problem
confStream: Automated Algorithm Selection and Configuration of Stream Clustering Algorithms
Randomized Algorithms for Some Sequence Clustering Problems
Hyper-parameterized Dialectic Search for Non-Linear Box-constrained Optimization with Heterogenous Variable Types
Least Squares K-SVCR Multi-class Classification
Active learning based framework for image captioning corpus creation
Reducing space search in combinatorial optimization using machine learning tools
Impact of the Discretization of VOCs for Cancer Prediction using a Multi-Objective Algorithm
AUGMECON2 method for a bi-objective U-shaped assembly line balancing problem
Two-Channel Conflict-Free Square Grid Aggregation
Online Stacking using RL with Positional and Tactical Features
Power consumption estimation in data centers using machine learning techniques
Automated tuning of a column generation algorithm
Pool-based Realtime Algorithm Configuration: A Preselection Bandit Approach
A Memetic Approach for the Unicost Set Covering Problem
Dynamic Visual Few-Shot Learning through Parameter Prediction Network
An Alternating DCA-based Approach for Reduced-Rank Multitask Linear Regression with Covariance Estimation
PSO-based cooperative learning using chunking
The problem of the hospital surgery department debottlenecking
Learning Optimal Control of Water Distribution Networks through Sequential Model-based Optimization
Composition of kernel and acquisition functions for High Dimensional Bayesian Optimization
A Pareto Simulated Annealing for the Integrated Problem of Berth and Quay Crane Scheduling at Maritime Container Terminals with Multiple Objectives and Stochastic Arrival Times of Vessels
HotelSimu: Simulation-based Optimization for Hotel Dynamic Pricing
Heuristic Search Strategies for Noisy Optimization
Uncertainty of efficient frontier in portfolio optimization
Learning to configure mathematical programming solvers by mathematical programming
Convex Hulls in Solving Multiclass Pattern Recognition Problem
Least Correntropic Loss Regression
Novelty Discovery with Kernel Minimum Enclosing Balls
DESICOM as Metaheuristic Search
Optimization for Urban Air Mobility
A Matheuristic Algorithm for solving the Vehicle Routing Problem with Cross-Docking
Physical activity as a risk factor in the progression of Osteoarthritis: A machine learning perspective
4.

電子ブック

EB
edited by Evripidis Bampis, Nicole Megow
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 11926
オンライン: https://doi.org/10.1007/978-3-030-39479-0
所蔵情報: loading…
目次情報: 続きを見る
Graph Algorithms
Inapproximability Results
Network Design
Design and Analysis of Approximation and Online Algorithms
Parameterized Complexity
Algorithmic Game Theory
Algorithmic trading
Competitive analysis
Computational Advertising
Computational finance
Geometric problems
Mechanism Design
Graph Algorithms
Inapproximability Results
Network Design
5.

電子ブック

EB
edited by Meikang Qiu
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 12453
オンライン: https://doi.org/10.1007/978-3-030-60239-0
所蔵情報: loading…
目次情報: 続きを見る
Distributing Data in Real Time Spatial Data Warehouse
Accelerating Sparse Convolutional Neural Networks Based on Dataflow Architecture
DAFEE: A Scalable Distributed Automatic Feature Engineering Algorithm for Relational Datasets
Embedding Augmented Cubes into Grid Networks for Minimum Wirelength
ELVMC: A predictive energy-aware algorithm for virtual machine consolidation in cloud computing
Design of a convolutional neural network instruction set based on RISC-V and its microarchitecture implementation
Optimizing accelerator on FPGA for Deep Convolutional Neural Networks
HpQC: A new efficient quantum computing simulator
Outsourced Privacy-Preserving Reduced SVM among Multiple Institutions
A Distributed Business-aware Storage Execution Environment Towards Large-scale Applications
QoS-Aware and Fault-Tolerant Replica Placement
Neural network compression and acceleration by federated pruning
Scalable Aggregation Service for Satellite Remote Sensing Data
Edge-assisted Federated Learning: An Empirical Study from Software Decomposition Perspective
A Dynamic Partitioning Framework for Edge-assisted Cloud Computing
An OpenMP-based Parallel Execution of Neural Networks Specified in NNEF
Deep Reinforcement Learning for Intelligent Migration of Fog Services in Smart Cities
A Novel Clustering-based Filter Pruning Method for Efficient Deep Neural Networks
Fast Segmentation-based Object Tracking Model for Autonomous Vehicles
Defending Adversarial Examples in Computer Vision based on Data Augmentation Techniques
User Recruitment with Budget Redistribution in Edge-aided Mobile Crowdsensing
Multi-user Service Migration for Mobile Edge Computing Empowered Connected and Autonomous Vehicles
A Precise Telecom Customer Tariff Promotion Method Based on Multi-route Radial Basis Kernel Fuzzy C-means Clustering
Clustering by Unified Principal Component Analysis and Fuzzy c-means with Sparsity Constraint
A Hierarchical-Tree-based Method for Generative Zero-Shot Learning
Fast Computation of the Exact Number of Magic Series with an Improved Montgomery Multiplication Algorithm
I am Smartglasses, and I can Assist Your Reading
CHEAPS2AGA: Bounding Space Usage in Variance-Reduced Stochastic Gradient Descent over Streaming Data and its Asynchronous Parallel Variants
A Quantum Computer Operating System
Dynamic Knowledge Graph Completion with Jointly Structural and Textual Dependency
MEFE: A Multi-fEature Knowledge Fusion and Evaluation method based on BERT
Comparative Analysis of Three Kinds of Laser SLAM Algorithms
Aspect-level Sentiment Difference Feature Interaction Matching Model based on Multi-round Decision Mechanism
Horus: An Interference-aware Resource Manager for Deep Learning Systems
Attribute Bagging-Based Extreme Learning Machine
A Semi-Supervised Joint Entity and Relation Extraction Model Based on Tagging Scheme and Information Gain
Research Progress of Zero-Shot Learning Beyond Computer Vision
An Optimization of Deep Sensor Fusion Based on Generalized Intersection over Union
A Hot/Cold Task Partition for Energy-efficient Neural Network Deployment on Heterogeneous Edge Device
Towards energy efficient architecture for spaceborne Neural Networks computation
Roda: A Flexible Framework for Real-time On-demand Data Aggregation
Structured Data Encoder for Neural Networks Based on Gradient Boosting Decision Tree
Stochastic Model-based Quantitative Analysis of Edge UPF Service Dependability
QoE Estimation of DASH-based Mobile Video Application using Deep Reinforcement Learning
Modeling and Analyzing for Data Durability Towards Cloud Storage Services
CC-MOEA: A Parallel Multi-objective Evolutionary Algorithm for Recommendation Systems
CS-Dict: Accurate Indoor Localization with CSI Selective Amplitude and Phase based Regularized Dictionary Learning
Recommendation with Temporal Dynamics Based on Sequence Similarity Search
A Software Stack for Composable Cloud Robotics System
Distributing Data in Real Time Spatial Data Warehouse
Accelerating Sparse Convolutional Neural Networks Based on Dataflow Architecture
DAFEE: A Scalable Distributed Automatic Feature Engineering Algorithm for Relational Datasets
6.

電子ブック

EB
edited by Meikang Qiu
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 12452
オンライン: https://doi.org/10.1007/978-3-030-60245-1
所蔵情報: loading…
目次情報: 続きを見る
COMBS: First Open-Source based Benchmark Suite for Multi-Physics Simulation Relevant HPC Research
Efficient Sorting and Join on NVM-Based Hybrid Memory
Parallel SCC Detection Based on Reusing Warps and Coloring Partitions on GPUs
Procedure and Loop Level Speculative Parallelism Analysis in HPEC
CTA: A Critical Task Aware Scheduling Mechanism for Dataflow Architecture
An Adaptive Thread Partitioning Approach in Speculative Multithreading
PMC-based dynamic adaptive CPU and DRAM power modeling
A Multi-threaded Algorithm for Capacity Constrained Assignment over Road Networks
A Dynamic Scheduling Strategy of ADMM Sub-problem Optimization Algorithm Based on Hierachical Structure
An Improved Heterogeneous Dynamic List Schedule Algorithm
FastThetaJoin: An Optimization on Multi-way Data Stream $\theta$-join with Range Constraints
A Distributed Framework for Online Stream Data Clustering
End-System Aware Large File Transfer Solution for Rich Media Applications over 5G Mobile Networks
Broad Learning System with Proportional-Integral-Differential Gradient Descent
Accelerating De Novo Assembler WTDBG2 on Commodity Servers
Typing Everywhere With EMG Keyboard: A Novel Myo Armband-based HCI Tool
Accelerating Pattern Matching on Intel Xeon Phi Processors
Redistributing and Optimizing High-Resolution Ocean Model POP2 to Million Sunway Cores
Performance Optimization for Feature Extraction Section of DeepChem
Principal Component Analysis Based Fingerprint Positioning
Priority Based Service Placement Strategy in Heterogeneous Mobile Edge Computing
VTC: a scheduling framework between soft real-time and hard real-time on multimedia OS
A BSP Based Approach For NFAs Intersection
Tight Bound of Parallel Request Latency for Erasure-Coded Distributed Storage System
High-Performance Simulations on GPUs using Adaptive Time Steps
Performance Modeling of Stencil Computation on SW26010 Processors
Optimizing B+-Tree Searches on coupled CPU-GPU architectures
OCVM: Optimizing the Isolation of Virtual Machines with Open-Channel SSDs
CANRT: A Client-Active NVM-based Radix Tree for Fast Remote Access
Distributed and Parallel Ensemble Classification for Big Data Based on Kernel Density Estimation and Random Sample Partition
SWAF: A Distributed Solar WSN Adaptive Framework
Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic
PRIAG: Proximal Reweighted Incremental Aggregated Gradient Algorithm for Distributed Optimizations
Decentralized Expectation Maximization Algorithm
Towards a Deep-pipelined Architecture for Accelerating Deep GCN on a Multi-FPGA Platform
Linear Scalability from Sharding and PoS
Tree2tree Structural Language Modeling for Compiler Fuzzing
Research and Design of Distribution Equipment Health Early Warning System
Parallel Processing Algorithms for the Vehicle Routing Problem and its Variants: A Literature Review with a Look into the Future
Multi-Scaled Non-Local Means Parallel Filters for Medical Image Denoising
Optimized HybridSketch: More Efficient with Analysis and Algorithm
An Overlapping Community Detection Algorithm based on Triangle Reduction Weighted for Large-scale Complex Network
Parallel Belief Propagation Optimized by Coloring on GPUs
A Multiplatform Parallel Approach for Lattice Sieving Algorithms
Effect of Evaporation on Aggregation Kinetics of Clusters: A Monte Carlo Simulation Study
Processing in Memory Assisted MEC 3C Resource Allocation for Computation Offloading
Beacons Selection Based Localization in Wireless Sensor Networks
A Periodic Variable Star Observation System with High Accuracy Based on Star Sensors
COMBS: First Open-Source based Benchmark Suite for Multi-Physics Simulation Relevant HPC Research
Efficient Sorting and Join on NVM-Based Hybrid Memory
Parallel SCC Detection Based on Reusing Warps and Coloring Partitions on GPUs