1
Programs as Diagrams [E-Book] : From Categorical Computability to Computable Categories /
2
Evolutionary Computation in Combinatorial Optimization [E-Book] : 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
Table of Contents: ... and Lower Bounds on Unrestricted Black-Box Complexity of JUMPn,l -- Using Local Search to Evaluate Dispatching Rules in Dynamic Job Shop Scheduling....

Full text 
3
Combinatorial Pattern Matching [E-Book] : 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings /
Table of Contents: ... 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...

Full text 
4
Mathematical Software – ICMS 2014 [E-Book] : 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings /
Table of Contents: ... System for Mathematical Theory Exploration -- New Approaches in Black Box Group Theory -- A GAP Package for Computing with Real Semisimple Lie Algebras -- Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAP -- SgpDec: Cascade (De...

Full text 
5
Theory of Cryptography [E-Book] : 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014. Proceedings /
Table of Contents: ...Virtual Black-Box Obfuscation for All Circuits via Generic Graded Encoding -- Obfuscation for Evasive Functions -- On Extractability Obfuscation -- Two-Round Secure MPC from Indistinguishability Obfuscation -- Chosen Ciphertext Security via Point...

Full text 
6
Learning and Intelligent Optimization [E-Book] : 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /
Table of Contents: ... Theory Induction -- Features for Exploiting Black-Box Optimization Problem Structure -- MOCA-I: Discovering Rules and Guiding Decision Maker in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel Search...

Full text 
7
Experimental Algorithms [E-Book] : 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings /
Table of Contents: ... with Non-modular Regions.- Telling Stories Fast: Via Linear-Time Delay Pitch Enumeration -- Undercover Branching.- Quadratic Outer Approximation for Convex Integer Programming with Box Constraints -- Separable Non-convex Underestimators for Binary Quadratic...

Full text 
8
Learning and Intelligent Optimization [E-Book]: 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers /
Table of Contents: ... on Large Population MOEA Using Adaptive ε-Box Dominance and Neighborhood Recombination for Many -- Objective Optimization -- A Non-adaptive Stochastic Local Search Algorithm High-Dimensional Model-Based Optimization Based on Noisy Evaluations of Computer Games...

Full text 
9
Cryptology and Network Security [E-Book] : 11th International Conference, CANS 2012, Darmstadt, Germany, December 12-14, 2012. Proceedings /
Table of Contents: ...Cryptanalysis -- Network security -- Cryptographic protocols -- Encryption -- S-box theory....

Full text