Constitutes the proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2011, held in New York, USA in June 2011.

This volume constitutes the refereed proceedings of the 10th International Symposium on Experimental Algorithms, SEA 2011, held in Kolimpari, Chania, Crete, Greece, in May 2011.The 36 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 83 submissions and present current research in the area of design, analysis, and experimental evaluation and engineering of algorithms, as well as in various aspects of computational optimization and its applications.

This book contains a selection of revised papers presented at the 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of Programming Languages event, POPL 2010. From the 15 papers submitted, 12 were accepted for presentation at the workshop. The 8 regular papers presented in this volume were selected following a second round of reviewing, which took place after the event. They are complemented by a full-length invited talk by the workshop's guest speaker, Mariangiola...

This book constitutes the refereed proceedings of the 8th International Symposium on Reconfigurable Computing: Architectures, Tools and Applications, ARC 2012, held in Hongkong, China, in March 2012. The 35 revised papers presented, consisting of 25 full papers and 10 poster papers were carefully reviewed and selected from 44 submissions. The topics covered are applied RC design methods and tools, applied RC architectures, applied RC applications and critical issues in applied RC.

This book constitutes the refereed proceedings of the 9th International Conference on Information in Cells and Tissues, IPCAT 2012, held in Cambridge, UK, in March/April 2012. The 13 revised full papers presented together with 26 extended abstracts were carefully reviewed and selected from numerous submissions. The papers cover a wide range of topics in disciplines related to genetic and epigenetic networks, transcriptomics and gene regulation, signalling pathways and responses, protein structure and metabolic networks, patterning and rhythm generation, neural modelling and neural networks,...

This book constitutes the refereed proceedings of the 15th European Conference on Genetic Programming, EuroGP 2012, held in Malaga, Spain, in April 2012 co-located with the Evo* 2012 events. The 18 revised full papers presented together with 5 poster papers were carefully reviewed and selected from 46 submissions. The wide range of topics in this volume reflects the current state of research in the field, including different genres of GP (tree-based, grammar-based, Cartesian), theory, novel operators, and applications.

This book constitutes the refereed proceedings of the 12th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2012, held in M laga, Spain, in April 2012, colocated with the Evo* 2012 events EuroGP, EvoBIO, EvoMUSART, and EvoApplications. . The 22 revised full papers presented were carefully reviewed and selected from 48 submissions. The papers present the latest research and discuss current developments and applications in metaheuristics - a paradigm to effectively solve difficult combinatorial optimization problems appearing in various industrial, economic,...

This book constitutes the refereed proceedings of the 9th International Workshop on Algorithms and Models for the Web-Graph, WAW 2012, held in Halifax, Nova Scotia, Canada, in June 2012. The 13 papers presented were carefully reviewed and selected for inclusion in this volume. They address a number of topics related to the complex networks such hypergraph coloring games and voter models; algorithms for detecting nodes with large degrees; random Appolonian networks; and a sublinear algorithm for Pagerank computations.

This book constitutes the refereed proceedings of the 10th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2012, held in Malaga, Spain, in April 2012 co-located with the Evo 2012 events. The 15 revised full papers presented together with 8 poster papers were carefully reviewed and selected from numerous submissions. Computational Biology is a wide and varied discipline, incorporating aspects of statistical analysis, data structure and algorithm design, machine learning, and mathematical modeling toward the processing and improved...

Constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012.