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