close
1.

電子ブック

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
2.

電子ブック

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
3.

電子ブック

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
4.

電子ブック

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
5.

電子ブック

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
6.

電子ブック

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
7.

電子ブック

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
8.

電子ブック

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
9.

電子ブック

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
10.

電子ブック

EB
edited by Reneta P. Barneva, Bhargab B. Bhattacharya, Valentin E. Brimkov
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9448
オンライン: http://dx.doi.org/10.1007/978-3-319-26145-4