close
1.

電子ブック

EB
edited by Ezio Bartocci, Rupak Majumdar
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9333
オンライン: http://dx.doi.org/10.1007/978-3-319-23820-3
目次情報: 続きを見る
Invited Papers
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification
Twenty Years of Dynamic Software Model Checking
Explaining Heisenbugs
Regular Papers
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
Runtime Adaptation for Actor Systems
Robust Online Monitoring of Signal Temporal Logic
On Verifying The Hennessy-Milner Logic with Recursion at Runtime
Assuring the Guardians
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
Monitoring Electronic Exams
Monitoring Real Android Malware
Time-triggered Runtime Verification of Component-Based Multi-core Systems
Monitoring for a decidable fragment of MTL-R Runtime Verification Through Forward Chaining
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about the Environment
From First-Order Temporal Logic to Parametric Trace Slicing
R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems
A Hybrid Approach to Causality Analysis
Short Papers
Statistical Model Checking of Distributed Adaptive Real-Time Software
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources
Runtime Verification for Hybrid Analysis Tools
Suggesting Edits to Explain Failing Traces
Tool Papers
StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java
TIPEX: a tool chain for Timed Property Enforcement during eXecution
Tutorial Papers
Machine Learning Methods in Statistical Model Checking and System Design ? Tutorial
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
LearnLib Tutorial - An Open Source Java Library for Active Automata Learning
Monitoring and Measuring Hybrid Behaviors - A Tutorial
Software Competitions
Second International Competition on Runtime Verification CRV 2015
Rigorous Examination of Reactive Systems: The RERS challenge 2015
Invited Papers
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification
Twenty Years of Dynamic Software Model Checking
2.

電子ブック

EB
edited by Gunther Pernul, Peter Y A Ryan, Edgar Weippl
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9326
オンライン: http://dx.doi.org/10.1007/978-3-319-24174-6
3.

電子ブック

EB
edited by Gunther Pernul, Peter Y A Ryan, Edgar Weippl
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9327
オンライン: http://dx.doi.org/10.1007/978-3-319-24177-7
4.

電子ブック

EB
edited by Nathalie Japkowicz, Stan Matwin
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9356
オンライン: http://dx.doi.org/10.1007/978-3-319-24282-8
目次情報: 続きを見る
Bilinear Prediction using Low Rank Models
Finding Hidden Structure in Data with Tensor Decompositions
Turning Prediction Tools Into Decision Tools
Overcoming obstacles to the adoption of machine learning by domain Experts
Resolution transfer in cancer classification based on amplification patterns
Very Short-Term Wind Speed Forecasting using Spatio-Temporal Lazy Learning
Discovery of Parameters for Animation of Midge Swarms
No Sentiment is an Island: Author's activity and sentiments transactions in sentiment classification
Active Learning for Classifying Template Matches in Historical Maps
An evaluation of score descriptors combined with non-linear models of expressive dynamics in music
Geo-Coordinated Parallel Coordinates (GCPC): A Case Study of Environmental Data Analysis
Generalized Shortest Path Kernel on Graphs
Ensembles of extremely randomized trees for multi-target regression
Clustering-Based Optimised Probabilistic Active Learning (COPAL)
Predictive Analysis on Tracking Emails for Targeted Marketing
Semi-supervised Learning for Stream Recommender Systems
Detecting Transmembrane Proteins Using Decision Trees
Change point detection for information diffusion tree
Multi-label Classification via Multi-target Regression on Data Streams
Periodical Skeletonization for Partially Periodic Pattern Mining
Predicting Drugs Adverse Side-Effects using a recommender-system
Dr. Inventor Framework: extracting structured information from scientific publications
Predicting Protein Function and Protein-Ligand Interaction with the 3D Neighborhood Kernel
Hierarchical Multidimensional Classification of web documents with MultiWebClass
Evaluating the Effectiveness of Hashtags as Predictors of the Sentiment of Tweets
On the Feasibility of Discovering Meta-Patterns from a Data Ensemble
An Algorithm for Influence Maximization in a Two-Terminal Series
Parallel Graph and Its Application to a Real Network
Benchmarking Stream Clustering for Churn Detection in Dynamic Networks
Canonical Correlation Methods for Exploring Microbe-Environment Interactions in Deep Subsurface
KeCo: Kernel-based Online Co-agreement Algorithm
Tree PCA for Extracting Dominant Substructures from Labeled Rooted Trees
Enumerating Maximal Clique Sets with Pseudo-Clique Constraint
Bilinear Prediction using Low Rank Models
Finding Hidden Structure in Data with Tensor Decompositions
Turning Prediction Tools Into Decision Tools
5.

電子ブック

EB
edited by Elisa Fromont, Tijl De Bie, Matthijs van Leeuwen
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9385
オンライン: http://dx.doi.org/10.1007/978-3-319-24465-5
目次情報: 続きを見る
Data analytics and optimization for assessing a ride sharing system
Constraint-Based Querying for Bayesian Network Exploration
Efficient Model Selection for Regularized Classification by Exploiting Unlabeled Data
Segregation Discovery in a Social Network of Companies
A first+-order-logic based model for grounded language learning
A parallel distributed processing algorithm for image feature extraction
Modeling concept drift: A probabilistic graphical model based approach
Diversity-driven Widening of Hierarchical Agglomerative Clustering
Batch Steepest-Descent-Mildest-Ascent for Interactive Maximum Margin Clustering
Time Series Classification with Representation Ensembles
Simultaneous Clustering and Model Selection for Multinomial Distribution: A Comparative Study
On Binary Reduction of Large-scale Multiclass Classification Problems
Probabilistic Active Learning in Data Streams
Implicitly Constrained Semi-Supervised Least Squares Classification
Diagonal Co-clustering Algorithm for Document-Word Partitioning
I-Louvain: an attributed graph clustering method
Class-based outlier detection: staying zombies or awaiting for resurrection?
Using Metalearning for Prediction of Taxi Trip Duration Using Different Granularity Levels
Using entropy as a measure of acceptance for multi-label classification
Investigation of Node Deletion Techniques for Clustering Applications of Growing Self Organizing Maps
Exploratory topic modeling with distributional semantics
Assigning Geo-Relevance of Sentiments Mined from Location-Based Social Media Posts
Continuous and Discrete Deep Classifiers for Data Integration
A Bayesian Approach for Identifying Multivariate Differences Between Groups
Automatically Discovering Offensive Patterns in Soccer Match Data
Fast Algorithm Selection using Learning Curves
Optimally Weighted Cluster Kriging for Big Data Regression
Slower can be faster: The iRetis incremental model tree learner
VoQs: A Web Application for Visualization of Questionnaire Surveys
Data analytics and optimization for assessing a ride sharing system
Constraint-Based Querying for Bayesian Network Exploration
Efficient Model Selection for Regularized Classification by Exploiting Unlabeled Data
6.

電子ブック

EB
edited by Mohammad Reza Mousavi, Christian Berger
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9361
オンライン: http://dx.doi.org/10.1007/978-3-319-25141-7
7.

電子ブック

EB
edited by Guojun Wang, Albert Zomaya, Gregorio Martinez Perez, Kenli Li
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9532
オンライン: http://dx.doi.org/10.1007/978-3-319-27161-3
目次情報: 続きを見る
Trust, security and privacy for Big Data
Trust, security and privacy for emerging applications
Network optimization and performance evaluation
Sensor-cloud systems
Security and privacy protection in computer and network Systems
Dependability in sensor, cloud, and Big Data systems
Trust, security and privacy for Big Data
Trust, security and privacy for emerging applications
Network optimization and performance evaluation
8.

電子ブック

EB
edited by Emilio Di Giacomo, Anna Lubiw
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9411
オンライン: http://dx.doi.org/10.1007/978-3-319-27261-0
目次情報: 続きを見る
Large and Dynamic Graphs
Crossing Numbers
Experiments
Area, Bends, Crossings
Intersection Representations
Applications
Drawings with Crossings
Polygons and Convexity
Drawing Graphs on Point Sets
Contact Representations
User Studies
Graph Drawing Contest
Graduate Workshop Report
Posters
Large and Dynamic Graphs
Crossing Numbers
Experiments
9.

電子ブック

EB
edited by Grzegorz Rozenberg, Arto Salomaa, Jose M. Sempere, Claudio Zandron
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9504
オンライン: http://dx.doi.org/10.1007/978-3-319-28475-0
目次情報: 続きを見る
Information Theory in Genome Analysis
Towards a Theory of Life
An Excursion through Quantitative Model Refinement
Polarizationless P Systems with One Active Membrane
Bridging Deterministic P Systems and Conditional Grammars
Automated Verification of Stochastic Spiking Neural P Systems
Dynamically Changing Environment for Generalized Communicating P Systems
Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem
P Systems with Generalized Multisets over Totally Ordered Abelian Groups
On the Power of Catalytic P Systems with One Catalyst
An Integrated Model Checking Toolset for Kernel P Systems
A New Strategy to Improve the Performance of PDP-systems Simulators
Automatic Translation of MP+V Systems to Register Machines
On the Communication Complexity of the Vertex Cover Problem and 3-Satisfiability Problem in ECP systems
Membrane Computing Meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential
A Solution of Horn-SAT with P Systems Using Antimatter
Tissue P systems can be Simulated Efficiently with Counting Oracles
Simulating FRSN P systems with real numbers in P-Lingua on sequential and CUDA platforms
Pictures and Chomsky Languages in Array P System
Sorting Using Spiking Neural P Systems with Anti-Spikes and Rules on Synapses
Regulating Rule Application with Membrane Boundaries in P Systems
Structured Grid Algorithms Modelled with Complex Objects
Chemistry-inspired Adaptive Stream Processing
Computing Partial Recursive Functions by Virus Machines
About models derived from colonies
Information Theory in Genome Analysis
Towards a Theory of Life
An Excursion through Quantitative Model Refinement
10.

電子ブック

EB
edited by Abdelkader Hameurlain, Josef Kung, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8980
オンライン: http://dx.doi.org/10.1007/978-3-662-46485-4
目次情報: 続きを見る
Using Argumentation to Structure E-Participation in Policy Making
Horizontal Business Process Model Integration
Exact and Approximate Generic Multi-criteria Top-k Query Processing
Continuous Predictive Line Queries for On-the-Go Traffic Estimation
Query Operators for Comparing Uncertain Graphs
Fast Disjoint and Overlapping Community Detection
A Hybrid Approach Using Genetic Programming and Greedy Search for QoS-Aware Web Service Composition
Using Argumentation to Structure E-Participation in Policy Making
Horizontal Business Process Model Integration
Exact and Approximate Generic Multi-criteria Top-k Query Processing
11.

電子ブック

EB
edited by Jan Vitek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9032
オンライン: http://dx.doi.org/10.1007/978-3-662-46669-8
目次情報: 続きを見る
Probabilistic Programs as Spreadsheet Queries
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection
Running Probabilistic Programs Backwards
A Verified Compiler for Probability Density Functions
Segment Abstraction for Worst-Case Execution Time Analysis
Automatic Static Cost Analysis for Parallel Programs
Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs
Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs. A Theory of Name Resolution
A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches
IsoLate: A Type System for Self-recursion
The Problem of PL Concurrency Semantics
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
Witnessing (Co)datatypes
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
Refinement Types for Incremental Computational Complexity
Monotonic References for Efficient Gradual Typing
Inter-procedural Two-Variable Herbrand Equalities
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions
Analysis of Asynchronous Programs with Event-Based Synchronization
A Semantics for Propositions as Sessions
Composite Replicated Data Types
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement
Spatial Interpolants
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs
Full Reduction in the Face of Absurdity
CoLoSL: Concurrent Local Subjective Logic
A Separation Logic for Fictional Sequential Consistency
Binding Structures as an Abstract Data Type
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages
Type Targeted Testing
Probabilistic Programs as Spreadsheet Queries
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection
Running Probabilistic Programs Backwards
12.

電子ブック

EB
edited by Magnus M. Halldorsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9134
オンライン: http://dx.doi.org/10.1007/978-3-662-47672-7
目次情報: 続きを見る
Statistical Randomized Encodings: A Complexity Theoretic View
Tighter Fourier Transform Lower Bounds
Quantifying Competitiveness in Paging with Locality of Reference
Approximation Algorithms for Computing Maximin Share Allocations
Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare
Batched Point Location in SINR Diagrams via Algebraic Tools
On the Randomized Competitive Ratio of Reordering Buffer Management with Non-uniform Costs
Serving in the Dark Should Be Done Non-uniformly
Finding the Median (Obliviously) with Bounded Space
Approximation Algorithms for Min-Sum k-Clustering
Solving Linear Programming with Constraints Unknown
Deterministic Randomness Extraction from Generalized and Distributed Santha-Vazirani Sources
Limitations of Algebraic Approaches to Graph Isomorphism Testing
Fully Dynamic Matching in Bipartite Graphs
Feasible Interpolation for QBF Resolution Calculi
Simultaneous Approximation of Constraint Satisfaction Problems
Design of Dynamic Algorithms via Primal-Dual Method
What Percentage of Programs Halt?
The Parity of Set Systems Under Random Restrictions with Applications to Exponential Time Problems
Spotting Trees with Few Leaves
Constraint Satisfaction Problems over the Integers with Successor
Hardness Amplification and the Approximate Degree of Constant-Depth Circuits
Algorithms and Complexity for Turaev-Viro Invariants
Big Data on the Rise? ? Testing Monotonicity of Distributions
Unit Interval Editing Is Fixed-Parameter Tractable
Streaming Algorithms for Submodular Function Maximization
Multilinear Pseudorandom Functions
Zero-Fixing Extractors for Sub-Logarithmic Entropy
Interactive Proofs with Approximately Commuting Provers
Popular Matchings with Two-Sided Preferences and One-Sided Ties
Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity
On Convergence and Threshold Properties of Discrete Lotka-Volterra Population Protocols
Scheduling Bidirectional Traffic on a Path
On the Problem of Approximating the Eigenvalues of Undirected Graphs in Probabilistic Logspace
On Planar Boolean CSP
On Temporal Graph Exploration
Mind Your Coins: Fully Leakage-Resilient Signatures with Graceful Degradation
A (1+e)-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs
Lower Bounds for the Graph Homomorphism Problem
Parameterized Single-Exponential Time Polynomial Space Algorithm for Steiner Tree
Relative Discrepancy Does not Separate Information and Communication Complexity
A Galois Connection for Valued Constraint Languages of Infinite Size
Approximately Counting H Colourings Is #BIS-Hard
Taylor Polynomial Estimator for Estimating Frequency Moments
ETR-Completeness for Decision Versions of Multi-player (Symmetric) Nash Equilibria
Separate, Measure and Conquer: Faster Polynomial-Space Algorithms for Max 2-CSP and Counting Dominating Sets
Submatrix Maximum Queries in Monge Matrices Are Equivalent to Predecessor Search
Optimal Encodings for Range Top-k, Selection, and Min-Max
2-Vertex Connectivity in Directed Graphs
Ground State Connectivity of Local Hamiltonians
Uniform Kernelization Complexity of Hitting Forbidden Minors
Counting Homomorphisms to Square-Free Graphs, Modulo 2
Approximately Counting Locally-Optimal Structures
Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs (Extended Abstract)
Fast Algorithms for Diameter-Optimally Augmenting Paths
Hollow Heaps
Linear-Time List Recovery of High-Rate Expander Codes
Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time
Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs
Weighted Reordering Buffer Improved via Variants of Knapsack Covering Inequalities
Local Reductions
Query Complexity in Expectation
Near-Linear Query Complexity for Graph Inference
A QPTAS for the Base of the Number of Crossing-Free Structures on a Planar Point Set
Finding a Path in Group-Labeled Graphs with Two Labels Forbidden
Lower Bounds for Sums of Powers of Low Degree Univariates
Approximating CSPs Using LP Relaxation
Comparator Circuits over Finite Bounded Posets
Algebraic Properties of Valued Constraint Satisfaction Problem
Towards Understanding the Smoothed Approximation Ratio of the 2-Opt Heuristic
On the Hardest Problem Formulations for the 0/1 Lasserre Hierarchy
Replacing Mark Bits with Randomness in Fibonacci Heaps
A PTAS for the Weighted Unit Disk Cover Problem
Approximating the Expected Values for Combinatorial Optimization Problems Over Stochastic Points
Deterministic Truncation of Linear Matroids
Linear Time Parameterized Algorithms for Subset Feedback Vertex Set
An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains
Amplification of One-Way Information Complexity via Codes and Noise Sensitivity
A (2+e)-Approximation Algorithm for the Storage Allocation Problem
Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas
Computing the Frechet Distance Between Polygons with Holes
An Improved Private Mechanism for Small Databases
Binary Pattern Tile Set Synthesis Is NP-Hard
Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity
Condensed Unpredictability
Sherali-Adams Relaxations for Valued CSPs
Two-Sided Online Bipartite Matching and Vertex Cover: Beating the Greedy Algorithm
The Simultaneous Communication of Disjointness with Applications to Data Streams
An Improved Combinatorial Algorithm for Boolean Matrix Multiplication
Statistical Randomized Encodings: A Complexity Theoretic View
Tighter Fourier Transform Lower Bounds
Quantifying Competitiveness in Paging with Locality of Reference
13.

電子ブック

EB
edited by Rosario Gennaro, Matthew Robshaw
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9215
オンライン: http://dx.doi.org/10.1007/978-3-662-47989-6
目次情報: 続きを見る
Lattice-based cryptography
Cryptanalytic insights
Modes and constructions
Multilinear maps and IO
Pseudorandomness
Block cipher cryptanalysis
Integrity
Assumptions
Hash functions and stream cipher cryptanalysis
Implementations
Multiparty computation
Zero-knowledge
Theory
Signatures
Non-signaling and information-theoretic crypto
Attribute-based encryption
New primitives
Fully homomorphic/functional encryption
Lattice-based cryptography
Cryptanalytic insights
Modes and constructions
14.

電子ブック

EB
edited by Jesper Larsson Traff, Sascha Hunold, Francesco Versaci
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9233
オンライン: http://dx.doi.org/10.1007/978-3-662-48096-0
目次情報: 続きを見る
Concurrent Systems: Hybrid Object Implementations and Abortable Objects
Runtime-Aware Architectures
MPI Thread-Level Checking for MPI+OpenMP Applications
Event-Action Mappings for Parallel Tools Infrastructures
Low-Overhead Detection of Memory Access Patterns and Their Time Evolution
Automatic On-line Detection of MPI Application Structure with Event Flow Graphs
Online Automated Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines
A Duplicate-Free State-Space Model for Optimal Task Scheduling
On the Heterogeneity Bias of Cost Matrices when Assessing Scheduling Algorithms
Hardware Round-Robin Scheduler for Single-ISA Asymmetric Multi-Core
Moody Scheduling for Speculative Parallelization
Allocating Jobs with Periodic Demands
A Multi?Level Hypergraph Partitioning Algorithm Using Rough Set Clustering
Non-preemptive Throughput Maximization for Speed-Scaling with Power-Down
Scheduling Tasks from Selfish Multi-tasks Agents
Locality and Balance for Communication-Aware Thread Mapping in Multicore Systems
Concurrent Priority Queues Are not Good Priority Schedulers
Load Balancing Prioritized Tasks via Work-Stealing
Optimizing Task Parallelism with Library-Semantics-Aware Compilation
Data Layout Optimization for Portable Performance
Automatic Data Layout Optimizations for GPUs
Performance Impacts with Reliable Parallel File Systems at Exascale Level
Rapid Tomographic Image Reconstruction via Large-Scale Parallelization
Software consolidation as an efficient energy and cost Saving Solution for a SaaS/PaaS Cloud Model
VMPlaceS A Generic Tool to Investigate and Compare VM Placement Algorithms
A Connectivity Model for Agreement in Dynamic Systems
DFEP: Distributed Funding-based Edge Partitioning
PR-STM: Priority Rule Based Software Transactions on the GPU
Leveraging MPI-3 Shared-Memory Extensions for Efficient PGAS Runtime Systems
A Practical Transactional Memory Interface
A Multicore Parallelization of Continuous Skyline Queries on Data Streams
A Fast and Scalable Graph Coloring Algorithm for Multi-core and Many-core Architectures
A Composable Deadlock-Free Approach to Object-Based Isolation
Scalable Data-Driven PageRank: Algorithms, System Issues & Lessons Learned
How Many Threads Will Be Too Many? On the Scalability of OpenMP Implementations
Efficient Nested Dissection for Multicore Architectures
Scheduling Trees of Malleable Tasks for Sparse Linear Algebra
Elastic Tasks: Unifying Task Parallelism and SPMD Parallelism with an Adaptive Runtime
Semi-discrete Matrix-Free Formulation of 3D Elastic Full Waveform Inversion Modeling
10,000 Performance Models per Minute - Scalability of the UG4 Simulation Framework
Exploiting Task-Based Parallelism in Bayesian Uncertainty Quantification
Parallelization of an Advection-Diffusion Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming
Behavioral Non-Portability in Scientific Numeric Computing
Fast Parallel Suffix Array on the GPU
Effective Barrier Synchronization on Intel Xeon Phi Coprocessor
High Performance Multi-GPU SpMV for Multi-component PDE-based Applications
Accelerating Lattice Boltzmann Applications with OpenACC
High-Performance and Scalable Design of MPI-3 RMA on Xeon Phi Clusters
Improving Performance of Convolutional Neural Networks by Separable Filters on GPU
Iterative Sparse Triangular Solves for Preconditioning
Targeting the Parallella
Systematic Fusion of CUDA Kernels for Iterative Sparse Linear System Solvers
Efficient Execution of Multiple CUDA Applications using Transparent Suspend, Resume and Migration
Concurrent Systems: Hybrid Object Implementations and Abortable Objects
Runtime-Aware Architectures
MPI Thread-Level Checking for MPI+OpenMP Applications
15.

電子ブック

EB
edited by Francesco Masulli, Alfredo Petrosino, Stefano Rovetta
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 7627
オンライン: http://dx.doi.org/10.1007/978-3-662-48577-4
16.

電子ブック

EB
edited by Walfredo Cirne, Narayan Desai
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8828
オンライン: http://dx.doi.org/10.1007/978-3-319-15789-4
目次情報: 続きを見る
Bubble Task:?A Dynamic Execution Throttling Method for Multi-core Resource Management
Real-World Clustering for Task Graphs on Shared Memory Systems
Experimental Analysis of the Tardiness of Parallel Tasks in Soft Real-time Systems
Multi-Resource Aware Fairsharing for Heterogeneous Systems
Priority Operators for Fairshare Scheduling
User-Aware Metrics for Measuring Quality of Parallel Job Schedules
Prediction of Queue Waiting Times for Metascheduling on Parallel Batch Systems
Dynamically Scheduling a Component-Based Framework in Clusters
How to Design a Job Scheduling Algorithm
Bubble Task:?A Dynamic Execution Throttling Method for Multi-core Resource Management
Real-World Clustering for Task Graphs on Shared Memory Systems
Experimental Analysis of the Tardiness of Parallel Tasks in Soft Real-time Systems
17.

電子ブック

EB
edited by Antonio Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9018
オンライン: http://dx.doi.org/10.1007/978-3-319-15934-8
目次情報: 続きを見る
Plenary Talks
Interactive Approaches in Multiple Criteria Decision Making and Evolutionary Multi-objective Optimization
Towards Automatically Configured Multi-objective Optimizers
A Review of Evolutionary Multiobjective Optimization Applications in Aerospace Engineering
Performance evaluation of multiobjective optimization algorithms: quality indicators and the attainment function
Theory and Hyper-Heuristics
A Multimodal Approach for Evolutionary Multi-objective Optimization (MEMO): Proof-of-Principle Results
Unwanted Feature Interactions Between the Problem and Search Operators in Evolutionary Multi-objective Optimization
Neutral but a Winner! How Neutrality helps Multiobjective Local Search Algorithms
To DE or not to DE? Multi-Objective Differential Evolution Revisited from a Component-Wise Perspective
Model-Based Multi-Objective Optimization: Taxonomy, Multi-Point Proposal, Toolbox and Benchmark
Temporal Innovization: Evolution of Design Principles Using Multi-objective ?Optimization
MOEA/D-HH: A Hyper-Heuristic for Multi-objective Problems
Using hyper-heuristic to select leader and archiving methods for many-objective problems
Algorithms
Adaptive Reference Vector Generation for Inverse Model Based Evolutionary Multiobjective Optimization with Degenerate and Disconnected Pareto Fronts
MOEA/PC: Multiobjective Evolutionary Algorithm Based on Polar Coordinates
GD-MOEA: A New Multi-Objective Evolutionary Algorithm based on the Generational Distance Indicator
Experiments on Local Search for Bi-objective Unconstrained Binary Quadratic Programming
A Bug in the Multiobjective Optimizer IBEA: Salutary Lessons for Code Release and a Performance Re-Assessment
A Knee-based EMO Algorithm with an Efficient Method to Update Mobile Reference Points
A Hybrid Algorithm for Stochastic Multiobjective Programming Problem
Parameter Tuning of MOEAs using a Bilevel Optimization Approach
Pareto adaptive scalarising functions for decomposition based algorithms
A bi-level multiobjective PSO algorithm
An interactive simple indicator-based evolutionary algorithm (I-SIBEA) for multiobjective optimization problems
Combining Non-dominance, Objective-sorted and Spread Metric to Extend Firefly Algorithm to Multi-objective Optimization
GACO: a parallel evolutionary approach to multi-objective scheduling
Kriging Surrogate Model Enhanced by Coordinate Transformation of Design Space Based on Eigenvalue Decomposition
A Parallel Multi-Start NSGA II Algorithm for Multiobjective Energy Reduction Vehicle Routing Problem
Evolutionary Inference of Attribute-based Access Control Policies
Hybrid Dynamic Resampling for Guided Evolutionary Multi-Objective Optimization
A Comparison of Decoding Strategies for the 0/1 Multi-objective Unit Commitment Problem
Comparing Decomposition-based and Automatically Component-Wise Designed Multi-objective Evolutionary Algorithms
Upper Confidence Bound (UCB) Algorithms for Adaptive Operator Selection in MOEA/D
Towards Understanding Bilevel Multi-objective Optimization with Deterministic Lower Level Decisions
Plenary Talks
Interactive Approaches in Multiple Criteria Decision Making and Evolutionary Multi-objective Optimization
Towards Automatically Configured Multi-objective Optimizers
18.

電子ブック

EB
edited by Gabriela Ochoa, Francisco Chicano
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9026
オンライン: http://dx.doi.org/10.1007/978-3-319-16468-7
目次情報: 続きを見る
A Biased Random-Key Genetic Algorithm for the Cloud Resource Management Problem
A Computational Comparison of Different Algorithms for Very Large p-median Problems
A New Solution Representation for the Firefighter Problem
A Variable Neighborhood Search Approach for the Interdependent Lock Scheduling Problem
A Variable Neighborhood Search for the Generalized Vehicle Routing Problem with Stochastic Demands
An Iterated Local Search Algorithm for Solving the Orienteering Problem with Time Windows
Analysis of Solution Quality of a Multi objective Optimization-Based Evolutionary Algorithm for Knapsack Problem
Evolving Deep Recurrent Neural Networks Using Ant Colony Optimization
Hyper-heuristic Operator Selection and Acceptance Criteria
Improving the Performance of the Germinal Center Artificial Immune System Using ε-Dominance: A Multi-objective Knapsack Problem
Mixing Network Extremal Optimization for Community Structure Detection
Multi-start Iterated Local Search for the Mixed Fleet Vehicle Routing Problem with Heterogeneous Electric Vehicles
On the Complexity of Searching the Linear Ordering Problem Neighborhoods
Runtime Analysis of (1 + 1) Evolutionary Algorithm Controlled with Q-learning Using Greedy Exploration Strategy on ONEMAX+ZEROMAX Problem
The New Memetic Algorithm HEAD for Graph Coloring: An Easy Way for Managing Diversity
The Sim-EA Algorithm with Operator Auto adaptation for the Multi objective Firefighter Problem
True Pareto Fronts for Multi-objective AI Planning Instances
Upper and Lower Bounds on Unrestricted Black-Box Complexity of JUMPn,l
Using Local Search to Evaluate Dispatching Rules in Dynamic Job Shop Scheduling
A Biased Random-Key Genetic Algorithm for the Cloud Resource Management Problem
A Computational Comparison of Different Algorithms for Very Large p-median Problems
A New Solution Representation for the Firefighter Problem
19.

電子ブック

EB
edited by Penousal Machado, Malcolm I. Heywood, James McDermott, Mauro Castelli, Pablo Garcia-Sanchez, Paolo Burelli, Sebastian Risi, Kevin Sim
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9025
オンライン: http://dx.doi.org/10.1007/978-3-319-16501-1
目次情報: 続きを見る
The Effect of Distinct Geometric Semantic Crossover Operators in Regression Problems
Learning Text Patterns Using Separate-and-Conquer Genetic Programming
Improving Geometric Semantic Genetic Programming with Safe Tree Initialisation
Grant Dick On the Generalization Ability of Geometric Semantic Genetic Programming
Automatic Derivation of Search Objectives for Test-Based Genetic Programming
Evolutionary Design of Transistor Level Digital Circuits Using Discrete Simulation
M3GP ? Multiclass Classification with GP
Evolving Ensembles of Dispatching Rules Using Genetic Programming for Job Shop Scheduling
Attributed Grammatical Evolution Using Shared Memory Spaces and Dynamically Typed Semantic Function Specification
Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs
Tapped Delay Lines for GP Streaming Data Classification with Label Budgets
Cartesian GP in Optimization of Combinational Circuits with Hundreds of Inputs and Thousands of Gates
Genetic Programming for Feature Selection and Question-Answer Ranking in IBM Watson
Automatic Evolution of Parallel Recursive Programs
Proposal and Preliminary Investigation of a Fitness Function for Partial Differential Models
Evolutionary Methods for the Construction of Cryptographic Boolean Functions
TEMPLAR ? A Framework for Template-Method Hyper-Heuristics
Circuit Approximation Using Single- and Multi-objective Cartesian GP
The Effect of Distinct Geometric Semantic Crossover Operators in Regression Problems
Learning Text Patterns Using Separate-and-Conquer Genetic Programming
Improving Geometric Semantic Genetic Programming with Safe Tree Initialisation
20.

電子ブック

EB
edited by Andrew Phillips, Peng Yin
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9211
オンライン: http://dx.doi.org/10.1007/978-3-319-21999-8
目次情報: 続きを見る
Algorithms and models for computation on biomolecular Systems
Computational processes in vitro and in vivo
Molecular switches, gates, devices, and circuits
Molecular folding and self-assembly of nanostructures
Analysis and theoretical models of laboratory techniques
Molecular motors and molecular robotics
Studies of fault-tolerance and error correction
Software tools for analysis, simulation, and design
Synthetic biology and in vitro Evolution
Applications in engineering, physics, chemistry, biology, and medicine
Algorithms and models for computation on biomolecular Systems
Computational processes in vitro and in vivo
Molecular switches, gates, devices, and circuits
21.

電子ブック

EB
edited by Magnus Jonsson, Alexey Vinel, Boris Bellalta, Olav Tirkkonen
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9305
オンライン: http://dx.doi.org/10.1007/978-3-319-23440-3
目次情報: 続きを見る
Wireless sensor networks
Physical layer techniques
Resources handling and allocation
Medium access control protocols and video coding
Wireless sensor networks
Physical layer techniques
Resources handling and allocation
22.

電子ブック

EB
edited by Rajat Subhra Chakraborty, Peter Schwabe, Jon Solworth
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9354
オンライン: http://dx.doi.org/10.1007/978-3-319-24126-5
23.

電子ブック

EB
edited by Giuseppe Amato, Richard Connor, Fabrizio Falchi, Claudio Gennaro
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9371
オンライン: http://dx.doi.org/10.1007/978-3-319-25087-8
24.

電子ブック

EB
edited by Paul Johannesson, Mong Li Lee, Stephen W. Liddle, Andreas L. Opdahl, Oscar Pastor Lopez
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9381
オンライン: http://dx.doi.org/10.1007/978-3-319-25264-3
25.

電子ブック

EB
edited by Ion Bica, David Naccache, Emil Simion
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9522
オンライン: http://dx.doi.org/10.1007/978-3-319-27179-8
目次情報: 続きを見る
Authenticated-Encryption: Security Notions, Designs and Applications
New Results on Identity-based Encryption from Quadratic Residuosity
Efficient techniques for extracting secrets from electronic devices
Secure and Trusted Application Execution on Embedded Devices
A Number-Theoretic Error-Correcting Code
Full duplex OTP cryptosystem based on DNA key for text transmissions
Evaluation of Lightweight Block Ciphers for Embedded Systems
SCA Resistance Analysis on FPGA Implementations of Sponge based MAC-PHOTON
A Novel Fast and Secure Chaos-Based Algorithm for Image Encryption
A Novel Key Management for Virtually Limitless Key Size
Efficient Montgomery Multiplication on GPUs
Applying Cryptographic Acceleration Techniques to Error Correction
A Cooperative Black Hole Node Detection and Mitigation Approach for MANETs
Up-high to Down-low: Applying Machine Learning to an Exploit Database
Detecting Computers in the Cyber Space Maliciously Exploited as SSH Proxies
On a Lightweight Authentication Protocol for RFID
Spam Filtering using Automated Classifying Services Over a Cloud Computing Infrastructure
Contributions to Steganographic Techniques on Mobile Devices
Secure implementation of Stream cipher: Trivium
Fast Searching in Image Databases Using Multi-Hash Robust Fingerprinting
Authenticated-Encryption: Security Notions, Designs and Applications
New Results on Identity-based Encryption from Quadratic Residuosity
Efficient techniques for extracting secrets from electronic devices
26.

電子ブック

EB
edited by Guorong Wu, Pierrick Coupe, Yiqiang Zhan, Brent Munsell, Daniel Rueckert
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9467
オンライン: http://dx.doi.org/10.1007/978-3-319-28194-0
目次情報: 続きを見る
A Multi-level Canonical Correlation Analysis Scheme for Standard-dose PET Image Estimation
Image Super-Resolution by Supervised Adaption of Patchwise Self-Similarity from High-Resolution Image
Automatic Hippocampus Labeling Using the Hierarchy of Sub-Region Random Forests
Isointense Infant Brain Segmentation by Stacked Kernel Canonical Correlation Analysis
Improving Accuracy of Automatic Hippocampus Segmentation in Routine MRI by Features Learned from Ultra-high Field MRI
Dual-Layer l1-Graph Embedding for Semi-Supervised Image Labeling
Automatic Liver Tumor Segmentation in Follow-up CT Studies Using Convolutional Neural Network
Block-based Statistics for Robust Non-Parametric Morphometry
Automatic Collimation Detection in Digital Radiographs with the Directed Hough Transform and Learning-based Edge Detection
Efficient Lung Cancer Cell Detection with Deep Convolutional Neural Network
An Effective Approach for Robust Lung Cancer Cell Detection
Laplacian Shape Editing with Local Patch Based Force Field for Interactive Segmentation
Hippocampus Segmentation through Distance Field Fusion
Learning a Spatiotemporal Dictionary for Magnetic Resonance Fingerprinting with Compress Sensing
Fast Regions-of-Interest Detection in Whole Slide Histopathology Images
Reliability Guided Forward and Backward Patch-based Method for Multi-atlas Segmentation
Correlating Tumour Histology and ex vivo MRI Using Dense Modality-Independent Patch-Based Descriptor
Multi-Atlas Segmentation using Patch-Based Joint Label Fusion with Non-Negative Least Squares Regression
A Spatially Constrained Deep Learning Framework for Detection of Epithelial Tumor Nuclei in Cancer Histology Images
3D MRI Denoising using Rough Set Theory and Kernel Embedding Method
A Novel Cell Orientation Congruence Descriptor for Superpixel based Epithelium Segmentation in Endometrial Histology Images
Patch-based Segmentation from MP2RAGE Images: Comparison to Conventional Techniques
Multi-Atlas and Multi-Modal Hippocampus Segmentation for Infant MR Brain Images by Propagating Anatomical Labels on Hypergraph
Prediction of Infant MRI Appearance and Anatomical Structure Evolution using Sparse Patch-based Metamorphosis Learning Framework
Efficient Multi-Scale Patch-based Segmentation
A Multi-level Canonical Correlation Analysis Scheme for Standard-dose PET Image Estimation
Image Super-Resolution by Supervised Adaption of Patchwise Self-Similarity from High-Resolution Image
Automatic Hippocampus Labeling Using the Hierarchy of Sub-Region Random Forests
27.

電子ブック

EB
edited by Laura Sanita, Martin Skutella
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9499
オンライン: http://dx.doi.org/10.1007/978-3-319-28684-6
目次情報: 続きを見る
Algorithmic game theory
Algorithmic trading
Coloring and partitioning
Competitive analysis
Computational advertising
Computational finance
Cuts and connectivity
Geometric problems
Graph algorithms
Inapproximability
Mechanism design
Natural algorithms
Network design
Packing and covering.-Paradigms for the design and analysis of approximation and online algorithms.-Parameterized complexity. Scheduling problems. -Real-world applications
Algorithmic game theory
Algorithmic trading
Coloring and partitioning
28.

電子ブック

EB
edited by Riccardo Focardi, Andrew Myers
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9036
オンライン: http://dx.doi.org/10.1007/978-3-662-46666-7
目次情報: 続きを見る
Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
Very Static Enforcement of Dynamic Policies
The Foundational Cryptography Framework
On the Flow of Data, Information, and Time
Pareto Efficient Solutions of Attack-Defence Trees
Analysis of XACML Policies with SMT
Automatically Checking Commitment Protocols in ProVerif without False Attacks
Generalizing Multi-party Contract Signing
Leakiness is Decidable for Well-Founded Protocols
Abstractions for Security Protocol Verification
Automated Backward Analysis of PKCS#11 v2.20
A Safe Update Mechanism for Smart Cards
Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols
Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques
Type-Based Verification of Electronic Voting Protocols
Composing Security Protocols: From Confidentiality to Privacy
PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law
Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
Very Static Enforcement of Dynamic Policies
29.

電子ブック

EB
edited by Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9234
オンライン: http://dx.doi.org/10.1007/978-3-662-48057-1
30.

電子ブック

EB
edited by Khaled Elbassioni, Kazuhisa Makino
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9472
オンライン: http://dx.doi.org/10.1007/978-3-662-48971-0
31.

電子ブック

EB
by Mike Preuss
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Natural Computing Series ;
オンライン: http://dx.doi.org/10.1007/978-3-319-07407-8
目次情報: 続きを見る
Introduction: Towards Multimodal Optimization
Experimentation in Evolutionary Computation
Groundwork for Niching
Nearest-Better Clustering
Niching Methods and Multimodal Optimization Performance
Nearest-Better Based Niching
Introduction: Towards Multimodal Optimization
Experimentation in Evolutionary Computation
Groundwork for Niching
32.

電子ブック

EB
by Martin A. Trefzer, Andy M. Tyrrell
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Natural Computing Series ;
オンライン: http://dx.doi.org/10.1007/978-3-662-44616-4
目次情報: 続きを見る
Evolution, Development & Evolvable Hardware
Devices and Architectures for Evolutionary Hardware
Representations and Algorithms
Measurement and Fitness Function
Overcoming Variability Through Transistor Reconfiguration: Evolvable Hardware on the PAnDA Architecture
Functional Equivalence Checking for Evolution of Complex Digital Circuits
Fault Tolerant Applications
Principles and Applications of Polymorphic Circuits
A Developmental Image Compression Technique Using Gene Regulatory Networks
Medical Applications of Evolvable Hardware
Metamorphic Systems: A Schema for Adaptive Autonomous Systems
Hierarchical Networks-on-Chip Architecture for Neuromorphic Hardware
Evolvable Robot Hardware
Developmental Evolvable Hardware
App. A, Evolvable Hardware Practice
Evolution, Development & Evolvable Hardware
Devices and Architectures for Evolutionary Hardware
Representations and Algorithms
33.

電子ブック

EB
edited by Wenjia Niu, Gang Li, Jiqiang Liu, Jianlong Tan, Li Guo, Zhen Han, Lynn Batten
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Communications in Computer and Information Science ; 557
オンライン: http://dx.doi.org/10.1007/978-3-662-48683-2
34.

電子ブック

EB
edited by Xue-Cheng Tai, Egil Bae, Tony F. Chan, Marius Lysaker
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8932
オンライン: http://dx.doi.org/10.1007/978-3-319-14612-6
目次情報: 続きを見る
Discrete and continuous optimization
Image restoration and inpainting
Segmentation
PDE and variational methods
Motion, tracking and multiview reconstruction
Statistical methods and learning
Medical image analysis
Discrete and continuous optimization
Image restoration and inpainting
Segmentation
35.

電子ブック

EB
edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martin-Vide, Bianca Truthe
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8977
オンライン: http://dx.doi.org/10.1007/978-3-319-15579-1
目次情報: 続きを見る
Algorithms
Automata, Logic, and Concurrency
Codes, Semigroups, and Symbolic Dynamics
Combinatorics on Words
Complexity and Recursive Functions
Compression, Inference, Pattern Matching, and Model Checking
Graphs, Term Rewriting, and Networks
Transducers, Tree Automata, and Weighted Automata
Algorithms
Automata, Logic, and Concurrency
Codes, Semigroups, and Symbolic Dynamics
36.

電子ブック

EB
edited by Antonio Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9019
オンライン: http://dx.doi.org/10.1007/978-3-319-15892-1
目次情報: 続きを見る
Many-Objectives Optimization, Performance and Robustness
Evolutionary Many-objective Optimization based on Kuhn-Munkres’ Algorithm
A KKT Proximity Measure for Evolutionary Multi-Objective and Many-Objective Optimization
U-NSGA-III: A Unified Evolutionary Optimization Procedure for Single, Multiple, and Many Objectives ? Proof-of- Principle Results
Clustering based parallel Many-objective Evolutionary Algorithms using the shape of the objective vectors
Faster Exact Algorithms for Computing Expected Hypervolume Improvement
A GPU-based Algorithm for a Faster Hypervolume Contribution Computation
A Feature-based Performance Analysis in Evolutionary Multiobjective Optimization
Modified Distance Calculation in Generational Distance and Inverted Generational Distance
On the Behavior of Stochastic Local Search within Parameter Dependent MOPs
An Evolutionary Approach to Active Robust Multiobjective Optimisation
Linear scalarization Pareto front identification in stochastic environments
Elite Accumulative Sampling Strategies for Noisy Multi-Objective Optimisation
Guideline Identification for Optimization under Uncertainty through the Optimization of a Boomerang Trajectory
MCDM
Using indifference information in robust ordinal regression
A Multi-objective genetic algorithm for inferring inter-criteria parameters for water supply consensus
Genetic Algorithm Approach for a Class of Multi-criteria, Multi-vehicle Planner of UAVs
An Interactive Evolutionary Multiobjective Optimization Method: Interactive WASF-GA
On Generalizing Lipschitz Global Methods for Multiobjective Optimization
Dealing with scarce optimization time in complex logistics optimization: A study on the biobjective Swap-Body Inventory Routing Problem
Machine Decision Makers as a Laboratory for Interactive EMO
Real World Applications
Aircraft Air Inlet Design Optimization via Surrogate-Assisted Evolutionary Computation
Diesel Engine Drive-Cycle Optimization with the Integrated Optimization Environment ? Liger
Re-design for robustness: An approach based on many objective optimization
A Model for a Human Decision-Maker in a Polymer Extrusion Process
Multi-Objective Optimization of Gate Location and Processing Conditions in Injection Molding Using MOEAs: Experimental Assessment
A Multi-Criteria Decision Support System for a Routing Problem in Waste Collection
Application of Evolutionary Multiobjective Algorithms for solving the problem of Energy Dispatch in Hydroelectric Power Plants
Solutions in Under 10 Seconds for Vehicle Routing Problems with Time Windows using Commodity Computers
A comparative study of algorithms for solving the Multiobjective Open-Pit Mining Operational Planning Problems
A Model to Select a Portfolio of Multiple Spare Parts for a Public Bus Transport Service Using NSGA II.-A Multi-Objective Optimization Approach Associated to Climate Change Analysis to Improve Systematic Conservation Planning
Marginalization in Mexico: An Application of the Electre III[Pleaseinsertintopreamble]MOEA Methodology
Integrating Hierarchical Clustering and Pareto-Efficacy to Preventive Controls Selection in Voltage Stability Assessment
Multi-objective Evolutionary Algorithm with Discrete Differential Mutation Operator for Service Restoration in Largescale
Distribution Systems
Combining Data Mining and Evolutionary Computation for Multi-Criteria Optimization of Earthworks
Exploration of Two-Objective Scenarios on Supervised Evolutionary Feature Selection: a Survey and a Case Study
(Application to Music Categorisation)
A Multi-Objective Approach for Building Hyperspectral Remote Sensed Image Classifier Combiners
Multi-Objective Optimization of Barrier Coverage with Wireless Sensors
Comparison of Single and Multi-objective Evolutionary Algorithms for Robust Link-state Routing
Many-Objectives Optimization, Performance and Robustness
Evolutionary Many-objective Optimization based on Kuhn-Munkres’ Algorithm
A KKT Proximity Measure for Evolutionary Multi-Objective and Many-Objective Optimization
37.

電子ブック

EB
edited by Luis Miguel Pinho Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9017
オンライン: http://dx.doi.org/10.1007/978-3-319-16086-3
目次情報: 続きを見る
Hardware
Design
Applications
Trust and privacy
Real-time issues
Best papers session
Hardware
Design
Applications
38.

電子ブック

EB
edited by Teresa M. Przytycka
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9029
オンライン: http://dx.doi.org/10.1007/978-3-319-16706-0
39.

電子ブック

EB
edited by Teijiro Isokawa, Katsunobu Imai, Nobuyuki Matsui, Ferdinand Peper, Hiroshi Umeo
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8996
オンライン: http://dx.doi.org/10.1007/978-3-319-18812-6
目次情報: 続きを見る
Complexity of One-Way Cellular Automata
Computational Complexity of the Avalanche Problem on One Dimensional Kadanoff Sandpiles
5-State Rotation-Symmetric Number-Conserving Cellular Automata are not Strongly Universal
A Universal Cellular Automaton Without Sensitive Subsystems
Real-Time Reversible One-Way Cellular Automata
Cycle Equivalence of Finite Dynamical Systems Containing Symmetries
Generalized FSSP on Hexagonal Tiling: Towards Arbitrary Regular Spaces
Strict Majority Bootstrap Percolation on Augmented Tori and Random Regular Graphs: Experimental Results
Rapaport Language Recognition by Reversible Partitioned Cellular Automata
Complexity of Conjugacy, Factoring and Embedding for Countable Sofic Shifts of Rank 2
Plane-Walking Automata
Complexity of One-Way Cellular Automata
Computational Complexity of the Avalanche Problem on One Dimensional Kadanoff Sandpiles
5-State Rotation-Symmetric Number-Conserving Cellular Automata are not Strongly Universal
40.

電子ブック

EB
edited by Tom Holvoet, Mirko Viroli
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9037
オンライン: http://dx.doi.org/10.1007/978-3-319-19282-6
目次情報: 続きを見る
Replica-Based High-Performance Tuple Space Computing
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems
Logic Fragments: A Coordination Model Based on Logic Inference
Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles
Dynamic Choreographies: Safe Runtime Updates of Distributed Applications
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
A Fix point-Based Calculus for Graph-Shaped Computational Fields
Take Command of Your Constraints!
A Labelled Semantics for Soft Concurrent Constraint Programming
Parallelisation and Application of AD3 as a Method for Solving Large Scale Combinatorial Auctions
Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach
Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions
Klaim-DB: A Modeling Language for Distributed Database Applications
Open Transactions on Shared Memory
VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries
Replica-Based High-Performance Tuple Space Computing
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems
Logic Fragments: A Coordination Model Based on Logic Inference
41.

電子ブック

EB
edited by Enrique Onieva, Igor Santos, Eneko Osaba, Hector Quintian, Emilio Corchado
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9121
オンライン: http://dx.doi.org/10.1007/978-3-319-19644-2
目次情報: 続きを見る
Data mining and knowledge discovery
Video and image analysis
Bio-inspired models and evolutionary computation
Learning algorithms
Hybrid intelligent systems for data mining and applications
Classification and cluster analysis
HAIS applications
Data mining and knowledge discovery
Video and image analysis
Bio-inspired models and evolutionary computation
42.

電子ブック

EB
edited by Ferdinando Cicalese, Ely Porat, Ugo Vaccaro
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9133
オンライン: http://dx.doi.org/10.1007/978-3-319-19929-0
目次情報: 続きを見る
On the Hardness of Optimal Vertex Relabeling and Restricted Vertex Relabeling
A Framework for Space-Efficient String Kernels
Composite Repetition-Aware Data Structures
Efficient Construction of a Compressed de Bruijn Graph for Pan-Genome Analysis
Longest Common Extensions in Trees
Longest Common Extensions in Sublinear Space
Ranked Document Retrieval with Forbidden Pattern
Parameterized Complexity of Superstring Problems
On the Fixed Parameter Tractability and Approximability of the Minimum Error Correction Problem
Fast String Dictionary Lookup with One Error
On the Readability of Overlap Digraphs
Improved Algorithms for the Boxed-Mesh Permutation Pattern Matching Problem
Range Minimum Query Indexes in Higher Dimensions
Alphabet-Dependent String Searching with Wexponential Search Trees
Lempel Ziv Computation in Small Space (LZ-CISS)
Succinct Non-overlapping Indexing
Encodings of Range Maximum-Sum Segment Queries and Applications
Compact Indexes for Flexible Top-k Retrieval
LZD Factorization: Simple and Practical Online Grammar Compression with Variable-to-Fixed Encoding
Combinatorial RNA Design: Designability and Structure-Approximating Algorithm
Dictionary Matching with Uneven Gaps
Partition into Heapable Sequences, Heap Tableaux and a Multiset Extension of Hammersley’s Process
The Approximability of Maximum Rooted Triplets Consistency with Fan Triplets and Forbidden Triplets
String Powers in Trees
Online Detection of Repetitions with Backtracking
Greedy Conjecture for Strings of Length 4
Tighter Bounds for the Sum of Irreducible LCP Values
Parallel External Memory Suffix Sorting
On Maximal Unbordered Factors
Semi-dynamic Compact Index for Short Patterns and Succinct van Emde Boas Tree
Reporting Consecutive Substring Occurrences Under Bounded Gap Constraints
A Probabilistic Analysis of the Reduction Ratio in the Suffix-Array IS Algorithm
Encoding Nearest Larger Values
Sorting by Cuts, Joins and Whole Chromosome Duplications
On the Hardness of Optimal Vertex Relabeling and Restricted Vertex Relabeling
A Framework for Space-Efficient String Kernels
Composite Repetition-Aware Data Structures
43.

電子ブック

EB
edited by Jean Krivine, Jean-Bernard Stefani
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9138
オンライン: http://dx.doi.org/10.1007/978-3-319-20860-2
目次情報: 続きを見る
Invited Paper
Moment Semantics for Reversible Rule-Based Systems
Reversible machines
A Hierarchy of Fast Reversible Turing Machines
Real-time methods in reversible computation
Reversible Ordered Restarting Automata
Reversible Languages
Garbage Collection for Reversible Functional Languages
Reverse Code Generation for Parallel Discrete Event Simulation
Towards a Domain-Specific Language for Reversible Assembly Sequences
Design and verification of quantum circuits
Reversibility in Extended Measurement-based Quantum Computation
A Fully Fault-Tolerant Representation of Quantum Circuits
Equational reasoning about quantum protocols
Design of reversible circuits
Design and Fabrication of a Microprocessor using Adiabatic CMOS and Bennett Clocking
Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits
Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics
Circuit Synthesis
Technology Mapping for Single Target Gate based Circuits using Boolean Functional Decomposition
Towards Code Optimization for Line-aware HDL-based Synthesis of Reversible Circuits
Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions
Short Papers
Power-Clock Generator Impact on the Performance of NEM-Based Adiabatic Logic Circuits
A Cost Metric for the Design of Nearest Neighbor Quantum Circuits at the Reversible Logic Level
Towards modelling of local reversibility
Application of Functional Decomposition in Synthesis of Reversible Circuits
Invited Paper
Moment Semantics for Reversible Rule-Based Systems
Reversible machines
44.

電子ブック

EB
edited by Francesco Parisi-Presicce, Bernhard Westfechtel
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9151
オンライン: http://dx.doi.org/10.1007/978-3-319-21145-9
目次情報: 続きを見る
Polymorphic Sesqui-Pushout Graph Rewriting
Predictive Top-Down Parsing for Hyperedge Replacement Grammars
AGREE ? Algebraic Graph Rewriting with Controlled Embedding
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings
Towards Local Confluence Analysis for Amalgamated Graph Transformation
Multi-amalgamated Triple Graph Grammars
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs
Reachability in Graph Transformation Systems and Slice Languages
Equational Reasoning with Context-Free Families of String Diagrams
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems
Graph Pattern Matching as an Embedded Clojure DSL
Using Graph Transformations for Formalizing Prescriptions and Monitoring
Towards Compliance Verification Between Global and Local Process Models
Inductive Invariant Checking with Partial Negative Application Conditions
Tool Support for Multi-amalgamated Triple Graph Grammars
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems
Local Search-Based Pattern Matching Features in EMF-INCQUERY
Polymorphic Sesqui-Pushout Graph Rewriting
Predictive Top-Down Parsing for Hyperedge Replacement Grammars
AGREE ? Algebraic Graph Rewriting with Controlled Embedding
45.

電子ブック

EB
edited by Dachuan Xu, Donglei Du, Dingzhu Du
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9198
オンライン: http://dx.doi.org/10.1007/978-3-319-21398-9
目次情報: 続きを見る
Algorithms and data structures
Algorithmic game theory; approximation algorithms and online algorithms
Automata, languages, logic and computability
Complexity theory
Computational learning theory
Cryptography, reliability and security
Database theory, computational biology and bioinformatics
Computational algebra, geometry, number theory, graph drawing and information visualization
Graph theory, communication networks, optimization and parallel and distributed computing
Algorithms and data structures
Algorithmic game theory; approximation algorithms and online algorithms
Automata, languages, logic and computability
46.

電子ブック

EB
edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9157
オンライン: http://dx.doi.org/10.1007/978-3-319-21470-2
目次情報: 続きを見る
Agricultural and environment information and decision support systems
Approaches or methods of security engineering
Information systems and technologies for emergency preparedness and risk assessment
Web-based learning
Bio-inspired computing and applications
Computer-aided modeling, simulation, and analysis
Computational and applied statistics
Computational geometry and security applications
Computational algorithms and sustainable assessment
Chemistry and materials sciences and technologies
Computational optimization and applications
Cities, technologies and planning
Econometrics and multidimensional evaluation in the urban environment
Future computing systems, technologies, and applications
Geographical analysis, urban modeling, spatial statistics
Land use monitoring for soil consumption reduction
Mobile communications
Mobile computing, sensing, and actuation for cyber physical systems
Quantum mechanics: computational strategies and applications
Scientific computing infrastructure
Software engineering processes and applications
Software quality
Spatio-temporal analytics
Virtual reality and its applications
Agricultural and environment information and decision support systems
Approaches or methods of security engineering
Information systems and technologies for emergency preparedness and risk assessment
47.

電子ブック

EB
edited by Victor Malyshkin
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9251
オンライン: http://dx.doi.org/10.1007/978-3-319-21909-7
目次情報: 続きを見る
Parallel models, algorithms and programming methods
Unconventional computing
Cellular automata
Distributed computing
Special processors programming techniques
Applications
Parallel models, algorithms and programming methods
Unconventional computing
Cellular automata
48.

電子ブック

EB
edited by Toby Walsh
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9346
オンライン: http://dx.doi.org/10.1007/978-3-319-23114-3
目次情報: 続きを見る
Preferences
Manipulation
Learning and other issues
Utility and decision theory
Agumentation
Bribery and control
Social choice
Allocation and other problems
Doctoral consortium
Preferences
Manipulation
Learning and other issues
49.

電子ブック

EB
edited by Yunji Chen, Paolo Ienne, Qing Ji
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9231
オンライン: http://dx.doi.org/10.1007/978-3-319-23216-4
50.

電子ブック

EB
edited by Manuel Nunez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawi?ski
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9329
オンライン: http://dx.doi.org/10.1007/978-3-319-24069-5
目次情報: 続きを見る
Multi-agent systems
Social networks and NLP
Sentiment analysis
Computational intelligence and games
Ontologies and information extraction
Formal methods and simulation
Neural networks, SMT and MIS
Collective intelligence in Web systems ? Web systems analysis.-Computational swarm intelligence
Cooperative strategies for decision making and optimization.-Advanced networking and security technologies
IT in biomedicine
Collective computational intelligence in educational context
Science intelligence and data analysis
Computational intelligence in financial markets
Ensemble learning
Big data mining and searching
Multi-agent systems
Social networks and NLP
Sentiment analysis
51.

電子ブック

EB
edited by Khalid Saeed, Wladyslaw Homenda
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9339
オンライン: http://dx.doi.org/10.1007/978-3-319-24369-6
目次情報: 続きを見る
Algorithms
Biometrics and Biometrics Applications
Data analysis and Information Retrieval
Modelling and Optimization
Pattern Recognition and Image Processing
Various Aspects of Computer Security
Algorithms
Biometrics and Biometrics Applications
Data analysis and Information Retrieval
52.

電子ブック

EB
edited by Michael Butler, Sylvain Conchon, Fatiha Zaidi
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9407
オンライン: http://dx.doi.org/10.1007/978-3-319-25423-4
53.

電子ブック

EB
edited by MHR Khouzani, Emmanouil Panaousis, George Theodorakopoulos
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9406
オンライン: http://dx.doi.org/10.1007/978-3-319-25594-1
54.

電子ブック

EB
edited by Tran Khanh Dang, Roland Wagner, Josef Kung, Nam Thoai, Makoto Takizawa, Erich Neuhold
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9446
オンライン: http://dx.doi.org/10.1007/978-3-319-26135-5
55.

電子ブック

EB
edited by Bernhard Pfahringer, Jochen Renz
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9457
オンライン: http://dx.doi.org/10.1007/978-3-319-26350-2
56.

電子ブック

EB
edited by Ivan Lirkov, Svetozar D. Margenov, Jerzy Wa?niewski
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9374
オンライン: http://dx.doi.org/10.1007/978-3-319-26520-9
目次情報: 続きを見る
Multilevel Methods on Graphs
Mathematical Modeling and Analysis of PDEs Describing Physical Problems
Numerical Methods for Multiphysics Problems
Control and Uncertain Systems
Enabling Exascale Computation
Efficient Algorithms for Hybrid HPC Systems
Applications of Metaheuristics to Large-Scale Problems
Computational Microelectronics ? from Monte Carlo to Deterministic Approaches
Large-Scale Models: Numerical Methods, Paralell Computations and Applications
Multilevel Methods on Graphs
Mathematical Modeling and Analysis of PDEs Describing Physical Problems
Numerical Methods for Multiphysics Problems
57.

電子ブック

EB
edited by Rajendra Prasath, Anil Kumar Vuppala, T. Kathirvalavakumar
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9468
オンライン: http://dx.doi.org/10.1007/978-3-319-26832-3
58.

電子ブック

EB
edited by Zhiqiu Huang, Xingming Sun, Junzhou Luo, Jian Wang
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9483
オンライン: http://dx.doi.org/10.1007/978-3-319-27051-7
目次情報: 続きを見る
Data Security
System Security
Cloud Platform
and Data Analysis in Cloud
Data Security
System Security
Cloud Platform
59.

電子ブック

EB
edited by Obdulia Pichardo Lagunas, Oscar Herrera Alcantara, Gustavo Arroyo Figueroa
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9414
オンライン: http://dx.doi.org/10.1007/978-3-319-27101-9
60.

電子ブック

EB
edited by Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorny, Jean-Jacques Quisquater, Roger Wattenhofer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8939
オンライン: http://dx.doi.org/10.1007/978-3-662-46078-8
目次情報: 続きを見る
Keynote Talk
What is Computation: An Epistemic Approach
Foundations of Computer Science
Progress (and Lack Thereof) for Graph Coloring Approximation Problems
Recent Results in Scalable Multi-Party Computation
Online Bipartite Matching in Offline Time (Abstract)
Software & Web Engineering
Quo Vadis Explicit-State Model Checking
The Dos and Dont’s of Crowdsourcing Software Development
Data, Information and Knowledge Engineering
Adaptively Approximate Techniques in Distributed Architectures
Back to the Future ? Should SQL Surrender to SPARQL?
Balancing Energy Consumption for the Establishment of Multi-interface Networks
The Maximum k-Differential Coloring Problem
Exact Algorithms for 2-clustering with Size Constraints in the Euclidean Plane
Local Routing in Convex Subdivisions
Nondeterministic Modal Interfaces
Group Search on the Line
Online Makespan Scheduling with Sublinear Advice
Deterministic Rendezvous in Restricted Graphs
Fastest, Average and Quantile Schedule
Machine Characterizations for Parameterized Complexity Classes Beyond Para-NP
Maximally Permissive Controlled System Synthesis for Modal Logic
Approximation Hardness of the Cross-Species Conserved Active Modules Detection Problem
Finding Highly Connected Subgraphs
Fixing Improper Colorings of Graphs
Efficient Online Strategies for Renting Servers in the Cloud
Palk is Linear Recognizable Online
Two Grammatical Equivalents of Flip-Pushdown Automata
On the Hierarchy Classes of Finite Ultrametric Automata
Nash-Williams-type and Chvat´al-type Conditions in One-Conflict Graphs. -Optimal State Reductions of Automata with Partially Specified Behaviors. -Quantum Pushdown Automata with a Garbage Tape
Towards a Characterization of Leaf Powers by Clique Arrangements
Filling Logarithmic Gaps in Distributed Complexity for Global Problems
On Visibly Pushdown Trace Languages
Dominating an s-t-Cut in a Network
Lower Bounds for Linear Decision Trees with Bounded Weights
A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs
Function Based Requirements Engineering and Design ? Towards Efficient and Transparent Plant Engineering
Software Developer Activity as a Source for Identifying Hidden Source Code Dependencies
Discovering Motifs in Real-World Social Networks
Data, Information, and Knowledge Engineering
Exploiting Semantic Activity Labels to Facilitate Consistent Specialization of Abstract Process Activities
Efficient Similarity Search by Combining Indexing and Caching Strategies
Retrieving Documents Related to Database Queries
Advantages of Dependency Parsing for Free Word Order Natural Languages
Detecting Identical Entities in the Semantic Web Data
Conducting a Web Browsing Behaviour Study ? An Educational Scenario
A Uniform Programmning Language for Implementing XML Standards
OntoSDM: An Approach to Improve Quality on Spatial Data Mining Algorithms
Cryptography, Security, and Verification
Attribute-Based Encryption Optimized for Cloud Computing
Trustworthy Virtualization of the ARMv7 Memory Subsystem
True Random Number Generators Secure in a Changing Environment: Improved Security Bounds
Java Loops Are Mainly Polynomial
Keynote Talk
What is Computation: An Epistemic Approach
Foundations of Computer Science
61.

電子ブック

EB
edited by Abdelkader Hameurlain, Josef Kung, Roland Wagner, Ladjel Bellatreche, Mukesh Mohania
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8970
オンライン: http://dx.doi.org/10.1007/978-3-662-46335-2
目次情報: 続きを見る
Data Warehouse Processing Scale-Up for Massive Concurrent Queries with SPIN
An Uncoupled Data Process and Transfer Model for Map Reduce
Enhanced Fast Causal Network Inference over Event Streams
Learning Through Non-linearly Supervised Dimensionality Reduction
Metrics for Association Rule Clustering Assessment
Data Warehouse Processing Scale-Up for Massive Concurrent Queries with SPIN
An Uncoupled Data Process and Transfer Model for Map Reduce
Enhanced Fast Causal Network Inference over Event Streams
62.

電子ブック

EB
edited by Tim Guneysu, Helena Handschuh
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9293
オンライン: http://dx.doi.org/10.1007/978-3-662-48324-4
63.

電子ブック

EB
by Kent D. Lee, Steve Hubbard
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Undergraduate Topics in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-3-319-13072-9
目次情報: 続きを見る
1: Python Programming 101
2: Computational Complexity
3: Recursion
Sequences
4: Sets and Maps
5: Trees
6: Graphs
7: Membership Structures
8: Heaps
9: Balanced Binary Search Trees
10: B-Trees
11: Heuristic Search
Appendix A: Integer Operators
Appendix B: Float Operators
Appendix C: String Operators and Methods
Appendix D: List Operators and Methods
Appendix E: Dictionary Operators and Methods
Appendix F: Turtle Methods
Appendix G: TurtleScreen Methods
Appendix H: Complete Programs
1: Python Programming 101
2: Computational Complexity
3: Recursion
64.

電子ブック

EB
by Marek Cygan, Fedor V. Fomin, ?ukasz Kowalik, Daniel Lokshtanov, Daniel Marx, Marcin Pilipczuk, Micha? Pilipczuk, Saket Saurabh
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
オンライン: http://dx.doi.org/10.1007/978-3-319-21275-3
目次情報: 続きを見る
Introduction
Kernelization
Bounded Search Trees
Iterative Compression
Randomized Methods in Parameterized Algorithms
Miscellaneous
Treewidth
Finding Cuts and Separators
Advanced Kernelization Algorithms
Algebraic Techniques: Sieves, Convolutions, and Polynomials
Improving Dynamic Programming on Tree Decompositions
Matroids
Fixed-Parameter Intractability
Lower Bounds Based on the Exponential-Time Hypothesis
Lower Bounds for Kernelization
Introduction
Kernelization
Bounded Search Trees
65.

電子ブック

EB
edited by Stefano Markidis, Erwin Laure
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8759
オンライン: http://dx.doi.org/10.1007/978-3-319-15976-8
目次情報: 続きを見る
Tackling Exascale Software Challenges in Molecular Dynamics Simulations with GROMACS
Weighted Decomposition in High-Performance Lattice-Boltzmann Simulations: Are Some Lattice Sites More Equal than Others
Performance Analysis of a Reduced Data Movement Algorithm for Neutron Cross Section Data in Monte Carlo Simulations
Nek5000 with OpenACC
Auto-tuning an OpenACC Accelerated Version of Nek5000
Development Environment for Exascale Applications Towards Exascale Co-Design in a Runtime System
Overcoming Asynchrony: An Analysis of the Effects of Asynchronous Noise on Nearest Neighbor Synchronizations
Memory Usage Optimizations for Online Event Analysis
Towards Detailed Exascale Application Analysis ? Selective Monitoring and Visualisation
Performance Analysis of Irregular Collective Communication with the Crystal Router Algorithm
The Architecture of Vistle, a Scalable Distributed Visualization System.?
Tackling Exascale Software Challenges in Molecular Dynamics Simulations with GROMACS
Weighted Decomposition in High-Performance Lattice-Boltzmann Simulations: Are Some Lattice Sites More Equal than Others
Performance Analysis of a Reduced Data Movement Algorithm for Neutron Cross Section Data in Monte Carlo Simulations
66.

電子ブック

EB
edited by Cetin Kaya Koc, Sihem Mesnager, Erkay Sava?
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9061
オンライン: http://dx.doi.org/10.1007/978-3-319-16277-5
目次情報: 続きを見る
First Invited talk
Computing Discrete Logarithms in F36?137 and F36?163 using Magma
Finite Field Arithmetic
Accelerating Iterative SpMV for the Discrete Logarithm Problem using GPUs
Finding Optimal Chudnovsky-Chudnovsky Multiplication Algorithms
Reducing the Complexity of Normal Basis Multiplication
O
Second Invited talk
Open Questions on Nonlinearity and on APN functions
Boolean and Vectorial Functions
Some Results on Difference Balanced Functions
Affine Equivalency and Nonlinearity Preserving Bijective Mappings over F2
On Verification of Restricted Extended Affine Equivalence of Vectorial Boolean Functions
On o-Equivalence of Niho Bent Functions
Third Invited Talk
L-polynomials of the curve yqn? y = xqh+1? _ over Fqm
Coding Theory and Code-based Cryptography
Efficient Software Implementations of Code-based Hash Functions
Quadratic residue codes over Fp + vFp + v2F.p
First Invited talk
Computing Discrete Logarithms in F36?137 and F36?163 using Magma
Finite Field Arithmetic
67.

電子ブック

EB
edited by Antonio M. Mora, Giovanni Squillero
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9028
オンライン: http://dx.doi.org/10.1007/978-3-319-16549-3
目次情報: 続きを見る
Evolutionary computation, machine learning and data mining in computational biology
Nature-inspired techniques for telecommunication networks and other parallel and distributed systems
Evolutionary algorithms and complex systems
Evolutionary computation in energy applications
Evolutionary and natural computation in finance and economics
Bio-inspired algorithms in games
Evolutionary computation in image analysis, signal processing, and pattern recognition
Nature-inspired techniques in industrial settings
Bio-inspired algorithms for continuous parameter optimization
Parallel implementation of evolutionary algorithms
Computational intelligence for risk management, security and defence applications
Evolutionary computation in robotics
Evolutionary algorithms in stochastic and dynamic environments
Evolutionary computation, machine learning and data mining in computational biology
Nature-inspired techniques for telecommunication networks and other parallel and distributed systems
Evolutionary algorithms and complex systems
68.

電子ブック

EB
edited by Cheng-Lin Liu, Bin Luo, Walter G. Kropatsch, Jian Cheng
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9069
オンライン: http://dx.doi.org/10.1007/978-3-319-18224-7
目次情報: 続きを見る
Graph-based Representation
Approximation of Graph Edit Distance in Quadratic Time
Data Graph Formulation as the Minimum-Weight Maximum-Entropy Problem
An Entropic Edge Assortativity Measure
A Subpath Kernel for Learning Hierarchical Image Representations
Coupled-Feature Hypergraph Representation for Feature Selection
Reeb Graphs Through Local Binary Patterns
Incremental embedding within a dissimilarity-based framework
Graph Matching
A First Step Towards Exact Graph Edit Distance Using Bipartite Graph Matching
Consensus of Two Graph Correspondences through a Generalisation of the Bipartite Graph Matching Algorithm
Revisiting Volegnant-Jonker for Approximating Graph Edit Distance
A Hypergraph Matching Framework for Refining Multi-source Feature Correspondences
Kite Recognition by means of Graph Matching
GEM++: a tool for solving substitution-tolerant subgraph isomorphism
A Graph Database Repository and Performance Evaluation Metrics for Graph Edit Distance
Improving Hausdorff Edit Distance Using Structural Node Context
Learning Graph Model for Different Dimensions Image Matching
VF2 Plus: An Improved Version of VF2 For Biological Graphs
Report on the First Contest on Graph Matching Algorithms for Pattern Search in Biological Databases
Approximate Graph Edit Distance Computation Combining Bipartite Matching and Exact Neighborhood Substructure Distance
Multi-layer Tree Matching Using HSTs
Large-scale Graph Indexing using Binary Embeddings of Node Contexts
Attributed Relational Graph Matching with Sparse Relaxation and Bistochastic Normalization
Graph Clustering and Classification.-On the Influence of Node Centralities on Graph Edit Distance for Graph Classification
A Mixed Weisfeiler-Lehman Graph Kernel
A Quantum Jensen-Shannon Graph Kernel using Discrete-time Quantum Walks
Density Based Cluster Extension and Dominant Sets Clustering
Salient Object Segmentation from Stereoscopic Images
Causal Video Segmentation using Superseeds and Graph Matching
Fast Minimum Spanning Tree based Clustering Algorithms on Local Neighborhood Graph
Graph-based Application
From bags to graphs of stereo subgraphs in order to predict molecule's properties
Thermodynamics of Time Evolving Networks
Isometric Mapping Hashing
Skeletal Graphs from Schrodinger Magnitude and Phase
Graph Based Lymphatic Vessel Wall Localisation and Tracking
A Comic Retrieval System Based on Multilayer Graph Representation and Graph Mining
Learning High-Order Structures for Texture Retrieval
Graph-based Representation
Approximation of Graph Edit Distance in Quadratic Time
Data Graph Formulation as the Minimum-Weight Maximum-Entropy Problem
69.

電子ブック

EB
edited by Said El Hajji, Abderrahmane Nitaj, Claude Carlet, El Mamoun Souidi
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9084
オンライン: http://dx.doi.org/10.1007/978-3-319-18681-8
70.

電子ブック

EB
edited by Marcio Barros, Yvan Labiche
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9275
オンライン: http://dx.doi.org/10.1007/978-3-319-22183-0
71.

電子ブック

EB
edited by Emmanuel Vincent, Arie Yeredor, Zbyn?k Koldovsky, Petr Tichavsky
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9237
オンライン: http://dx.doi.org/10.1007/978-3-319-22482-4
目次情報: 続きを見る
Tensor-based methods for blind signal separation
Deep neural networks for supervised speech separation/enhancment
Joined analysis of multiple datasets, data fusion, and related topics
Advances in nonlinear blind source separation
Sparse and low rank modeling for acoustic signal processing
Tensor-based methods for blind signal separation
Deep neural networks for supervised speech separation/enhancment
Joined analysis of multiple datasets, data fusion, and related topics
72.

電子ブック

EB
edited by Mari Carmen Aguayo-Torres, Gerardo Gomez, Javier Poncela
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9071
オンライン: http://dx.doi.org/10.1007/978-3-319-22572-2
73.

電子ブック

EB
edited by Vittorio Murino, Enrico Puppo
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9279
オンライン: http://dx.doi.org/10.1007/978-3-319-23231-7
74.

電子ブック

EB
edited by Christos Zaroliagis, Grammati Pantziou, Spyros Kontogiannis
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9295
オンライン: http://dx.doi.org/10.1007/978-3-319-24024-4
75.

電子ブック

EB
edited by Aasa Feragen, Marcello Pelillo, Marco Loog
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9370
オンライン: http://dx.doi.org/10.1007/978-3-319-24261-3
目次情報: 続きを見る
A Novel Data Representation based on a Second-Order Dissimilarity Measure
Characterizing Multiple Instance Datasets
Supervised learning of diffiusion distance to improve histogram matching
Similarity Analysis from Limiting Quantum Walks
Introducing Negative Evidence in Ensemble Clustering
Dissimilarity representations for low-resolution face recognition
Deep metric learning using Triplet network
Cluster Merging Based on Dominant Sets
An Adaptive Radial Basis Function Kernel for Support Vector Data Description
Robust initialization for learning Latent Dirichlet Allocation
Unsupervised Motion Segmentation Using Metric Embedding of Features
Transitive Assignment Kernels for Structural Classification
Large scale Indefinite Kernel Fisher Discriminant
Similarity-based User Identification across Social Networks
Dominant-Set Clustering Using Multiple Affinity Matrices
Distance-Based Network Recovery under Feature Correlation
Discovery of salient low-dimensional dynamical structure using Hopfield Networks
On Geodesic Exponential Kernels
A Matrix Factorization Approach to Graph Compression
A Geometrical Approach to Find Corresponding Patches in 3D Medical Surfaces
Similarities, SDEs, and Most Probable Paths
Can the optimum similarity matrix be selected before clustering for graph-based approaches?
Approximate spectral clustering with utilized similarity information fusing geodesic based hybrid distance measures
A Novel Data Representation based on a Second-Order Dissimilarity Measure
Characterizing Multiple Instance Datasets
Supervised learning of diffiusion distance to improve histogram matching
76.

電子ブック

EB
edited by Konrad Jackowski, Robert Burduk, Krzysztof Walkowiak, Micha? Wo?niak, Hujun Yin
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9375
オンライン: http://dx.doi.org/10.1007/978-3-319-24834-9
目次情報: 続きを見る
Evolutionary algorithms
Neural networks
Probabilistic modeling
Swarm intelligent, multi-objective optimization, and practical applications in regression
Classification
Clustering.-Biological data processing
Text processing
Video analysis
Computational intelligence for optimization of communication networks
Discovering knowledge from data
Simulation-driven DES-like modeling and performance evaluation
Intelligent applications in real-world problems
Evolutionary algorithms
Neural networks
Probabilistic modeling
77.

電子ブック

EB
edited by Sara Foresti
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9331
オンライン: http://dx.doi.org/10.1007/978-3-319-24858-5
78.

電子ブック

EB
edited by Thomas Eiter, Hannes Strass, Miros?aw Truszczy?ski, Stefan Woltran
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9060
オンライン: http://dx.doi.org/10.1007/978-3-319-14726-0
目次情報: 続きを見る
Prologue
Actions and Agents
Nonmonotonic and Human Reasoning
Preferences
Abstract Argumentation
Reflections on Knowledge Representation
Epilogue
Prologue
Actions and Agents
Nonmonotonic and Human Reasoning
79.

電子ブック

EB
edited by Tarek Abdelzaher, Nuno Pereira, Eduardo Tovar
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8965
オンライン: http://dx.doi.org/10.1007/978-3-319-15582-1
目次情報: 続きを見る
Services and applications
Mobility and delay-tolerance
Routing and data dissemination
Human-centric sensing
Services and applications
Mobility and delay-tolerance
Routing and data dissemination
80.

電子ブック

EB
edited by Ivan Dimov, Stefka Fidanova, Ivan Lirkov
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8962
オンライン: http://dx.doi.org/10.1007/978-3-319-15585-2
目次情報: 続きを見る
A Note on Local Refinement for Direction Splitting Methods
On Positivity Preservation in Some Finite Element Methods for the Heat Equation
Optimized Particle Regeneration Scheme for the Wigner Monte Carlo Method
Sensitivity Analysis of Design Parameters for Silicon Diodes
Balancing of Systematic and Stochastic Errors in Monte Carlo Algorithms for Integral Equations
Slot Machines RTP Optimization with Genetic Algorithms
Hierarchical Topology in Parallel Differential Evolution
On Meme Self-Adaptation in Spatially-Structured Multimemetic Algorithms
An Ant Algorithm for the Partition Graph Coloring Problem
Multi-exchange Neighborhoods for the Capacitated Ring Tree Problem
Hebbian Versus Gradient Training of ESN Actors in Closed-Loop ACD
Free Search in Multidimensional Space II
A Semi-numerical Approach to Radiation Boundary Conditions
Spectral Analysis of Geometric Multigrid Methods for Isogeometric Analysis
Numerical Homogenization of Epoxy-Clay Composite Materials
Isogeometric Analysis for Nonlinear Dynamics of Timoshenko Beams
Deterministic Solution of the Discrete Wigner Equation
Explicit-Implicit Splitting Schemes for Parabolic Equations and Systems
Solving Two-Point Boundary Value Problems for Integro-Differential Equations Using the Simple Shooting-Projection Method
HPC Simulations of the Fine Particulate Matter Climate of Bulgaria
Tall RC Buildings Environmentally Degradated and Strengthened by Cables Under Multiple Earthquakes: A Numerical Approach
Multi-scale Computational Framework for Evaluating of the Performance of Molecular Based Flash Cells
Parameter Identification of a Rate Dependent Constitutive Model for Rock Salt
Constitutive Parameter Adjustment for Mechanized Tunneling with Reference to Sub-system Effects
Modeling of Textiles as Nets of One-Dimensional Hyperelastic Strings with Friction Controlled by Capstan Equation
Numerical Simulation of Drop Coalescence in the Presence of Inter-Phase Mass Transfer
Wavelet Compression of Spline Coefficients
Target Localization by UWB Signals
Performance of a Wavelet Shrinking Method
Two-Grid Decoupled Method for a Black-Scholes Increased Market Volatility Model
The Effect of a Postprocessing Procedure to Upper Bounds of the Eigenvalues
On a Type of Nonconforming Morley Rectangular Finite Element
A Numerical Study of the Upper Bound of the Throughput of a Crossbar Switch Utilizing MiMa-Algorithm
Extremal Scattered Data Interpolation in R3 Using Triangular Bezier Surfaces
A Note on Local Refinement for Direction Splitting Methods
On Positivity Preservation in Some Finite Element Methods for the Heat Equation
Optimized Particle Regeneration Scheme for the Wigner Monte Carlo Method
81.

電子ブック

EB
edited by Ngoc Thanh Nguyen, Bogdan Trawi?ski, Raymond Kosala
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9012
オンライン: http://dx.doi.org/10.1007/978-3-319-15705-4
目次情報: 続きを見る
Bio-inspired Optimization Techniques and Their Applications
Swarm Based Mean-Variance Mapping Optimization for Solving Economic Dispatch with Cubic Fuel Cost Function
Multi objective Optimization of Bioactive Compound Extraction Process via Evolutionary Strategies
Hybrid Swarm Intelligence-based Optimization for Charging Plug-in Hybrid Electric Vehicle
A Genetic Algorithm with Grouping Selection and Searching Operators for the Orienteering Problem
Solving the Set Covering Problem with a Shuffled Frog Leaping Algorithm
Machine Learning in Biometrics and Bioinformatics with Applications
Automatic Evaluation of Area-Related Immunogold Particles Density in Transmission Electron Micrographs
Fusion of Granular Computing and k?NN Classifiers for Medical Data Support System
Lip Print Recognition Method Using Bifurcations Analysis
Detecting the Reference Point in Fingerprint Images with the Use of the High Curvature Points
Kinect-Based Action Recognition in a Meeting Room Environment
Advanced Data Mining Techniques and Applications
Analyzing Users’ Interests with the Temporal Factor Based on Topic Modeling
Classifying Continuous Classes with Reinforcement Learning RULES
Fuzzy Association Rule Mining with Type-2 Membership Functions
Dependence Factor for Association Rules
Collective Intelligent Systems for E-market Trading, Technology
Opportunity Discovery and Collaborative Learning A Novel Framework of Consumer Co-creation for New Service Development
Recognizing and Evaluating the Technology Opportunities via Clustering Method and Google Scholar
Raising EFL College Learners’ Awareness of Collocations via COCA
Effects of Question Prompts and Self-explanation on Database Problem Solving in a Peer Tutoring Context
Intelligent Information Systems in Security and Defense
FP-tree and SVM for Malicious Web Campaign Detection
Simulation of Human Behavior in Different Densities as a Part of Crowd Control Systems
The Qualitative and Quantitative Support Method for Capability Based Planning of Armed Forces Development
Agent-Based M&S of Smart Sensors for Knowledge Acquisition Inside the Internet of Things and Sensor Networks
Analysis of Image, Video and Motion Data in Life Sciences
Camera Calibration and Navigation in Networks of Rotating Cameras
Expert Group Collaboration Tool for Collective Diagnosis of Parkinson Disease
Dynamics Modeling of 3D Human Arm Using Switched Linear Systems
Machine Learning on the Video Basis of Slow Pursuit Eye Movements Can Predict Symptom Development in Parkinson’s Patients
Optimization of Joint Detector for Ultrasound Images Using Mixtures of Image Feature Descriptors
Automatic Markers’ Influence Calculation for Facial Animation Based on Performance Capture
Automated Analysis of Images from Confocal Laser Scanning Microscopy Applied to Observation of Calcium Channel Subunits in Nerve Cell Model Line Subjected Electroporation and Calcium
Registration of Ultrasound Images for Automated Assessment of Synovitis Activity
Quantifying Chaotic Behavior in Treadmill Walking
Augmented Reality and 3D Media
Human Detection from Omnidirectional Camera Using Feature Tracking and Motion Segmentation
Automatic Fast Detection of Anchorperson Shots in Temporally Aggregated TV News Videos
Combined Motion Estimation and Tracking Control for Autonomous Navigation
Eye Tracking in Gesture Based User Interfaces Usability Testing
Maximization of AR Effectiveness as a Didactic Tool with Affective States Recognition
A Method of the Dynamic Generation of an Infinite Terrain in a Virtual 3D Space
Accuracy Evaluation of a Linear Positioning System for Light Field Capture
A System for Real-Time Passenger Monitoring System for Bus Rapid Transit System
Cloud Based Solutions
Cloud and m-Learning: Longitudinal Case Study of Faculty of Informatics and Management, University of Hradec Kralove
Granular-Rule Extraction to Simplify Data
Wireless Positioning as a Cloud Based Service
HPC Cloud Technologies for Virtual Screening in Drug Discovery
Internet of Things, Big Data and Cloud Computing
Delivery of e-Health Services in Next Generation Networks
Implementation and Performance Testing of ID Layer Nodes for Hierarchized IoT Network
Modeling Radio Resource Allocation Scheme with Fixed Transmission Zones for Multiservice M2M Communications in Wireless IoT Infrastructure
Towards On-Demand Resource Provisioning for IoT Environments
ComSS ? Platform for Composition and Execution of Streams Processing Services
Experience-Oriented Enhancement of Smartness For Internet of Things
Artificial Intelligent Techniques and Their Application in Engineering and Operational Research
A Cloud Computing Platform for Automatic Blotch Detection in Large Scale Old Media Archives
High-Accuracy Phase-Equalizer for Communication-Channel Compensation
Using Different Norms in Packing Circular Objects
SCADA Based Operator Support System for Power Plant Fault Diagnosis
Lino - An Intelligent System for Detecting Malicious Web-Robots
Optimum Design of Finned Tube Heat Exchanger Using DOE
Extraction of Event Elements Based on Event Ontology Reasoning
Bio-inspired Optimization Techniques and Their Applications
Swarm Based Mean-Variance Mapping Optimization for Solving Economic Dispatch with Cubic Fuel Cost Function
Multi objective Optimization of Bioactive Compound Extraction Process via Evolutionary Strategies
82.

電子ブック

EB
edited by Lourdes Agapito, Michael M. Bronstein, Carsten Rother
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8926
オンライン: http://dx.doi.org/10.1007/978-3-319-16181-5
目次情報: 続きを見る
Computer vision with local binary pattern variants
Visual object tracking challenge
Computer vision + ontology applies cross-disciplinary technologies
Visual perception of affordance and functional visual primitives for scene analysis
Graphical models in computer vision
Light fields for computer vision
Computer vision for road scene understanding and autonomous driving
Soft biometrics
Computer vision with local binary pattern variants
Visual object tracking challenge
Computer vision + ontology applies cross-disciplinary technologies
83.

電子ブック

EB
edited by Lourdes Agapito, Michael M. Bronstein, Carsten Rother
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8928
オンライン: http://dx.doi.org/10.1007/978-3-319-16220-1
目次情報: 続きを見る
Assistive computer vision and robotics
Computer vision problems in plant phenotyping
Non-rigid shape analysis and deformable image alignment
Video segmentation
Assistive computer vision and robotics
Computer vision problems in plant phenotyping
Non-rigid shape analysis and deformable image alignment
84.

電子ブック

EB
edited by James Brodman, Peng Tu
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8967
オンライン: http://dx.doi.org/10.1007/978-3-319-17473-0
目次情報: 続きを見る
Accelerator programming
Algorithms for parallelism
Compilers
Debugging
Vectorization
Accelerator programming
Algorithms for parallelism
Compilers
85.

電子ブック

EB
edited by Laurent Michel
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9075
オンライン: http://dx.doi.org/10.1007/978-3-319-18008-3
86.

電子ブック

EB
edited by Kratochvil Jan, Mirka Miller, Dalibor Froncek
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8986
オンライン: http://dx.doi.org/10.1007/978-3-319-19315-1
目次情報: 続きを見る
On the Complexity of Various Parameterizations of Common Induced Subgraph Isomorphism
Approximation and Hardness Results for the Maximum Edges in Transitive Closure Problem
Quantifying Privacy: A Novel Entropy-Based Measure of Disclosure Risk
On the Galois Lattice of Bipartite Distance Hereditary Graphs
Fast Simple Computations Using Prefix Tables under Hamming and Edit Distance
Border Correlations, Lattices and the Subgraph Component Polynomial
Computing Minimum Length Representations of Sets of Words of Uniform Length
Computing Primitively-Rooted Squares and Runs in Partial Words
3-coloring triangle-free planar graphs with a precolored 9-cycle
Computing Heat Kernel Pagerank and a Local Clustering Algorithm
Solving Matching Problems Efficiently in Bipartite Graphs
A 3-Approximation Algorithm for Guarding Orthogonal Art Galleries with Sliding Cameras
On decomposing the complete graph into the union of two disjoint cycles
Reconfiguration of Vertex Covers in a Graph
Space Efficient Data Structures for Nearest Larger Neighbor Playing several variants of Mastermind with constant-size memory is not harder than with unbounded memory
On Maximum Common Subgraph Problems in Series-Parallel Graphs
Profile-based optimal matchings in the Student/Project Allocation Problem
The Min-Max Edge q-Coloring Problem
Speeding up Graph Algorithms via Switching Classes
Metric Dimension for Amalgamations of Graphs
Deterministic Algorithms for the Independent Feedback Vertex Set Problem
Lossless seeds for searching short patterns with high error rates
On the Complexity of Various Parameterizations of Common Induced Subgraph Isomorphism
Approximation and Hardness Results for the Maximum Edges in Transitive Closure Problem
Quantifying Privacy: A Novel Entropy-Based Measure of Disclosure Risk
87.

電子ブック

EB
edited by Ernest Foo, Douglas Stebila
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9144
オンライン: http://dx.doi.org/10.1007/978-3-319-19962-7
目次情報: 続きを見る
Symmetric cryptanalysis
Public key cryptography
Identity-based encryption
Digital signatures
Security protocols
Privacy protocols
Symmetric constructions
Homomorphic encryption and obfuscation
Symmetric cryptanalysis
Public key cryptography
Identity-based encryption
88.

電子ブック

EB
edited by Lev D. Beklemishev, Daniil V. Musatov
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9139
オンライン: http://dx.doi.org/10.1007/978-3-319-20297-6
目次情報: 続きを見る
Propositional Proofs in Frege and Extended Frege Systems
Circuit Complexity Meets Ontology-Based Data Access
NEXP-Completeness and Universal Hardness Results for Justification Logic
A Combinatorial Algorithm for the Planar Multi flow Problem with Demands Located on Three Holes
Generalized LR Parsing for Grammars with Contexts
On Compiling Structured CNFs to OBDDs
Satisfiability of ECTL* with Tree Constraints
On Growth and Fluctuation of k-Abelian Complexity
A Polynomial-Time Algorithm for Outerplanar Diameter Improvement
Editing to a Planar Graph of Given Degrees
On the Satisfiability of Quantum Circuits of Small Treewidth
Equations over Free Inverse Monoids with Idempotent Variables
A Logical Characterization of Timed Pushdown Languages
An In-place Priority Queue with O(1) Time for Push and lg n + O(1) Comparisons for Pop
Resolution Complexity of Perfect Matching Principles for Sparse Graphs
Operations on Self-verifying Finite Automata
Automath Type Inclusion in Barendregt’s Cube
Circuit Lower Bounds for Average-Case MA
Making Randomness Public in Unbounded-Round Information Complexity
First-Order Logic Definability of Free Languages
Representation of (Left) Ideal Regular Languages by Synchronizing Automata
Some Properties of Antistochastic Strings
Approximation and Exact Algorithms for Special Cases of Connected f-Factors
Rewriting Higher-Order Stack Trees
Interacting with Modal Logics in the Coq Proof Assistant
Delay Games with WMSOtU Winning Conditions
Asymptotically Precise Ranking Functions for Deterministic Size-Change Systems
Propositional Proofs in Frege and Extended Frege Systems
Circuit Complexity Meets Ontology-Based Data Access
NEXP-Completeness and Universal Hardness Results for Justification Logic
89.

電子ブック

EB
edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9155
オンライン: http://dx.doi.org/10.1007/978-3-319-21404-7
目次情報: 続きを見る
Agricultural and environment information and decision support systems
Approaches or methods of security engineering
Information systems and technologies for emergency preparedness and risk assessment
Web-based learning
Bio-inspired computing and applications
Computer-aided modeling, simulation, and analysis
Computational and applied statistics
Computational geometry and security applications
Computational algorithms and sustainable assessment
Chemistry and materials sciences and technologies
Computational optimization and applications
Cities, technologies and planning
Econometrics and multidimensional evaluation in the urban environment
Future computing systems, technologies, and applications
Geographical analysis, urban modeling, spatial statistics
Land use monitoring for soil consumption reduction
Mobile communications
Mobile computing, sensing, and actuation for cyber physical systems
Quantum mechanics: computational strategies and applications
Scientific computing infrastructure
Software engineering processes and applications
Software quality
Spatio-temporal analytics
Virtual reality and its applications
Agricultural and environment information and decision support systems
Approaches or methods of security engineering
Information systems and technologies for emergency preparedness and risk assessment
90.

電子ブック

EB
edited by Frank Dehne, Jorg-Rudiger Sack, Ulrike Stege
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9214
オンライン: http://dx.doi.org/10.1007/978-3-319-21840-3
目次情報: 続きを見る
Contact Graphs of Circular Arcs
Contact Representations of Graphs in 3D
Minimizing the Aggregate Movements for Interval Coverage
Online Bin Packing with Advice of Small Size
On the Approximability of Orthogonal Order Preserving Layout Adjustment
An Optimal Algorithm for Plane Matchings in Multipartite Geometric Graphs
Generation of Colourings and Distinguishing Colourings of Graphs
Strictly Implicit Priority Queues: On the Number of Moves and Worst-Case Time
On Coct-Free Multi-Coloring
Semi-dynamic connectivity in the plane
Interval Selection in the Streaming Model
On the Bounded-Hop Range Assignment Problem
Greedy Is an Almost Optimal Deque
A New Approach for Contact Graph Representations and Its Applications
Communication and Dynamic Networks
Dealing With 4-Variables by Resolution: An Improved MaxSAT Algorithm
Select with Groups of 3 or 4 Approximating Nearest Neighbor Distances
Linearity is Strictly More Powerful than Contiguity for Encoding Graphs
On the Complexity of an Unregulated Traffic Crossing
Finding Pairwise Intersections Inside a Query Range
Cache-Oblivious Iterated Predecessor Queries via Range Coalescing
Polylogarithmic Fully Retroactive Priority Queues
On the Minimum Eccentricity Shortest Path Problem
Convex polygons in geometric triangulations
Straight-line Drawability of a Planar Graph Plus an Edge
Solving Problems on Graphs of High Rank-Width
The Parametric Closure Problem
Rooted Cycle Bases
On the Chain Pair Simplification Problem
Finding Articulation Points of Large Graphs in Linear Time
LP-based Approximation Algorithms for Facility Location in Buy-at-Bulk Network Design
Universal Reconstruction of a String
The complexity of dominating set reconfiguration
Editing Graphs into Few Cliques: Complexity, Approximation, and Kernelization Schemes
Competitive Diffusion on Weighted Graphs
Sorting and Selection with Equality Comparisons
Polynomial Delay Algorithm for Listing Minimal Edge Dominating sets in Graphs
Fast and simple connectivity in graph timelines
Dynamic Set Intersection
Time-Space Trade-of is for Triangulations and Voronoi Diagrams
A 2k-Vertex Kernel for Maximum Internal Spanning Tree
Reconfiguration on sparse graphs
Smoothed Analysis of Local Search Algorithms
Optimal Shue Code with Permutation Instructions
Non-Preemptive Scheduling on Machines with Setup Times
A Moderately Exponential Time Algorithm for k -IBDD Satisfiability
On the Parameterized Complexity of Girth and Connectivity Problems on Linear Matroids
Inferring People's Social Behavior by Exploiting Their Spatiotemporal Location Data
lastic Geometric Shape Matching for Point Sets under Translations
Constant Time Enumeration by Amortization
Computing the Center of Uncertain Points on Tree Networks
Swapping Colored Tokens on Graphs
Contact Graphs of Circular Arcs
Contact Representations of Graphs in 3D
Minimizing the Aggregate Movements for Interval Coverage
91.

電子ブック

EB
edited by Lucas C. K. Hui, S. H. Qing, Elaine Shi, S. M. Yiu
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8958
オンライン: http://dx.doi.org/10.1007/978-3-319-21966-0
目次情報: 続きを見る
Security
Cryptography
Secure protocols
Secure applications
Security proofs
Secure systems
Applied cryptography
Access control
Privacy protection
Network security
Security
Cryptography
Secure protocols
92.

電子ブック

EB
edited by Christian Urban, Xingyuan Zhang
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9236
オンライン: http://dx.doi.org/10.1007/978-3-319-22102-1
目次情報: 続きを見る
Verified, Practical Upper Bounds for State Space Diameters
Formalization of Error-correcting Codes: from Hamming to Modern Coding Theory
ROSCoq: Robots powered by Constructive Reals
Asynchronous processing of Coq documents: from the kernel up to the user interface
A Concrete Memory Model for CompCert
Validating Dominator Trees for a Fast, Verified Dominance Test
Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra
Mechanisation of AKS Algorithm
Machine-Checked Verification of the Correctness and Amortized
Improved Tool Support for Machine-Code Decompilation in HOL4
A Formalized Hierarchy of Probabilistic System Types
Learning To Parse on Aligned Corpora
A Consistent Foundation for Isabelle/HOL
Foundational Property-Based Testing
A First-Order Functional Intermediate Language for Verified Compilers
Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions
ModuRes: a Coq Library for Modular Reasoning about Concurrent
Higher-Order Imperative Programming Languages
Transfinite Constructions in Classical Type Theory
A Mechanized Theory of regular trees in dependent type theory
Deriving Comparators and Show-Functions in Isabelle/HOL
Formalizing Knot Theory in Isabelle/HOL
Pattern Matches in HOL: A New Representation and Improved Code Generation
Verified, Practical Upper Bounds for State Space Diameters
Formalization of Error-correcting Codes: from Hamming to Modern Coding Theory
ROSCoq: Robots powered by Constructive Reals
93.

電子ブック

EB
edited by Jose M. Puerta, Jose A. Gamez, Bernabe Dorronsoro, Edurne Barrenechea, Alicia Troncoso, Bruno Baruque, Mikel Galar
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9422
オンライン: http://dx.doi.org/10.1007/978-3-319-24598-0
94.

電子ブック

EB
edited by Cristian A Linte, Ziv Yaniv, Pascal Fallavollita
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9365
オンライン: http://dx.doi.org/10.1007/978-3-319-24601-7
目次情報: 続きを見る
Foreword
Ultrasound-Guided Navigation System for Orthognathic Surgery
Ultrasound Image Overlay onto Endoscopic Image by Fusing 2D-3D Tracking of Laparoscopic Ultrasound Probe
Interaction-based registration correction for improved augmented reality alignment in neurosurgery
“On the Fly” reconstruction and tracking system for Patient Setup in Radiation Therapy
3D Catheter Tip Tracking in 2D X-ray Image Sequences Using a Hidden Markov Model and 3DRA
Human-PnP: Ergonomic AR interaction paradigm for manual placement of rigid bodies
Real-time Markerless Respiratory Motion Management using Thermal Sensor Data
An iterative closest point framework for ultrasound calibration
Development of 4D human body model that enables deformation of skin, organ and blood vessel according to dynamic change
Augmented Reality for Specific Neurovascular Surgical Tasks
Layer Separation for Vessel Enhancement in Interventional X-ray Angiograms Using Morphological Filtering and Robust PCA
Automatic guide-wire detection for neurointerventions using low-rank estimation and denoising
3D Surgical Overlay With Markerless Image Registration Using a Single Came ra
Simultaneous Estimation of Feature Correspondence and Stereo Object Pose with Application to Ultrasound Augmented Robotic Laparoscopy
Patient adapted augmented reality system for real-time echocardiographic applications
Foreword
Ultrasound-Guided Navigation System for Orthognathic Surgery
Ultrasound Image Overlay onto Endoscopic Image by Fusing 2D-3D Tracking of Laparoscopic Ultrasound Probe
95.

電子ブック

EB
edited by Frank Nielsen, Frederic Barbaresco
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9389
オンライン: http://dx.doi.org/10.1007/978-3-319-25040-3
目次情報: 続きを見る
Dimension reduction on Riemannian manifolds
Optimal transport
Optimal transport and applications in imagery/statistics
Shape space and diffeomorphic mappings
Random geometry/homology
Hessian information geometry
Topological forms and Information
Information geometry optimization
Information geometry in image analysis
Divergence geometry
Optimization on manifold
Lie groups and geometric mechanics/thermodynamics
Computational information geometry
Lie groups: novel statistical and computational frontiers
Geometry of time series and linear dynamical systems
Bayesian and information geometry for inverse problems
Dimension reduction on Riemannian manifolds
Optimal transport
Optimal transport and applications in imagery/statistics
96.

電子ブック

EB
edited by Chiara Bodei, Gianluigi Ferrari, Corrado Priami
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9465
オンライン: http://dx.doi.org/10.1007/978-3-319-25527-9
97.

電子ブック

EB
edited by Ioana Ciuciu, Herve Panetto, Christophe Debruyne, Alexis Aubry, Peter Bollen, Rafael Valencia-Garcia, Alok Mishra, Anna Fensel, Fernando Ferri
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9416
オンライン: http://dx.doi.org/10.1007/978-3-319-26138-6
98.

電子ブック

EB
edited by Antonis Bikakis, Xianghan Zheng
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9426
オンライン: http://dx.doi.org/10.1007/978-3-319-26181-2
99.

電子ブック

EB
edited by Alex Biryukov, Vipul Goyal
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9462
オンライン: http://dx.doi.org/10.1007/978-3-319-26617-6
目次情報: 続きを見る
Public key encryption
Cryptanalysis
Side channel attacks
Information theoretic cryptography
Lightweight cryptography
Public key encryption
Cryptanalysis
Side channel attacks
100.

電子ブック

EB
edited by Zaixin Lu, Donghyun Kim, Weili Wu, Wei Li, Ding-Zhu Du
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9486
オンライン: http://dx.doi.org/10.1007/978-3-319-26626-8