Bücher der Reihe Theoretical Computer Science and General Issues

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on High Performance Computing in Science and Engineering, HPCSE 2015, held in Solan, Czech Republic, in May 2015. The 14 papers presented in this volume were carefully reviewed and selected from 21 submissions.

The conference proceeding LNCS 11346 constitutes the refereed proceedings of the 12th International Conference on Combinatorial Optimization and Applications, COCOA 2018, held in Atlanta, GA, USA, in December 2018. The 50 full papers presented were carefully reviewed and selected from 106 submissions.

The second volume deals with bioinspired systems and biomedical applications to machine learning and contains papers related bioinspired programming strategies and all the contributions oriented to the computational solutions to engineering problems in different applications domains, as biomedical systems, or big data solutions.

Hessian Complexity Measure for Genetic Programming-based Imputation Predictor Selection in Symbolic Regression with Incomplete Data.- Seeding Grammars in Grammatical Evolution to Improve Search Based Software Testing.- Incremental Evolution and Development of Deep Artificial Neural Networks.- Investigating the Use of Geometric Semantic Operators in Vectorial Genetic Programming.- Comparing Genetic Programming Approaches for Non-Functional Genetic Improvement.- Automatically Evolving Lookup Tables for Function Approximation.- Optimising Optimisers with Push GP.- An Evolutionary View on Reversible Shift-invariant Transformations.- Benchmarking Manifold Learning Methods on a Large Collection of Datasets.- Ensemble Genetic Programming.- SGP-DT: Semantic Genetic Programming Based on Dynamic Targets.- Effect of Parent Selection Methods on Modularity.- Time Control or Size Control? Reducing Complexity and Improving Accuracy of Genetic Programming Models.- Challenges of Program Synthesis with Grammatical Evolution.- Detection of Frailty Using Genetic Programming : The Case of Older People in Piedmont, Italy.- Is k Nearest Neighbours Regression Better than GP.- Guided Subtree Selection for Genetic Operators in Genetic Programming for Dynamic Flexible Job Shop Scheduling.- Classification of Autism Genes using Network Science and Linear Genetic Programming.

They are organized in topical sections named : teacher education in informatics, primary education in informatics, contemporary computer science ideas in school informatics, teaching informatics: from highschool to university levels, contests, competitions and games in informatics.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Quantum Interaction, QI 2018, held in Nice, France, in September 2018. The 12 papers presented in this book were carefully reviewed and selected from 15 submissions.

This book constitutes the refereed proceedings of the 9th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2020, held as part of Evo*2020, in Seville, Spain, in April 2020, co-located with the Evo*2020 events EuroGP, EvoCOP and EvoApplications.The 15 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers cover a wide spectrum of topics and application areas, including generative approaches to music and visual art, deep learning, and architecture.

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019.

This book constitutes the refereed proceedings of the 11th International Symposium on Applied Reconfigurable Computing, ARC 2015, held in Bochum, Germany, in April 2015. The 23 full papers and 20 short papers presented in this volume were carefully reviewed and selected from 85 submissions.

This book constitutes the refereed conference proceedings of the 18th International Conference on the Applications of Evolutionary Computation, EvoApplications 2015, held in Copenhagen, Spain, in April 2015, colocated with the Evo 2015 events EuroGP, EvoCOP, and EvoMUSART. The 72 revised full papers presented were carefully reviewed and selected from 125 submissions. EvoApplications 2015 consisted of the following 13 tracks: EvoBIO (evolutionary computation, machine learning and data mining in computational biology), EvoCOMNET (nature-inspired techniques for telecommunication networks and other parallel and distributed systems), EvoCOMPLEX (evolutionary algorithms and complex systems), EvoENERGY (evolutionary computation in energy applications), EvoFIN (evolutionary and natural computation in finance and economics), EvoGAMES (bio-inspired algorithms in games), EvoIASP (evolutionary computation in image analysis, signal processing, and pattern recognition), EvoINDUSTRY (nature-inspired techniques in industrial settings), EvoNUM (bio-inspired algorithms for continuous parameter optimization), EvoPAR (parallel implementation of evolutionary algorithms), EvoRISK (computational intelligence for risk management, security and defence applications), EvoROBOT (evolutionary computation in robotics), and EvoSTOC (evolutionary algorithms in stochastic and dynamic environments).

This book constitutes the refereed proceedings of the 23rd International Symposium on String Processing and Information Retrieval, SPIRE 2016, held in Beppu, Japan, in October 2016.

This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathematical logic; graphy theory;

This book constitutes the refereed proceedings of the 14th International Symposium on Experimental Algorithms, SEA 2015, held in Paris, France, in June/July 2015. The 30 revised full papers presented were carefully reviewed and selected from 76 submissions.

The selected papers cover various aspects on experiences in hybrid learning, computer supported collaborative learning, improved flexibility of learning processes, learning styles and behaviours, and pedagogical and other issues.

They cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015. The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications. The 19 papers presented in this volume were carefully reviewed and selected from 42 initial submissions.

This book constitutes the proceedings of the 10th International Conference on Information Processing in Cells and Tissues, IPCAT 2015, held in San Diego, CA, USA, in September 2015. They were organized in topical sections named: biochemical information processing; biochemical regulatory networks; and neural modelling and neural networks.

This book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in Aachen, Germany, in September 2015.

This book constitutes the thoroughly refereedpost-conference proceedings of the 22nd International Colloquium on StructuralInformation and Communication Complexity, SIROCCO 2015, held in Montserrat,Spain, in July 2015.The 30 full papers presented together with 2 invitedpapers were carefully reviewed and selected from 78 submissions. The papersfocus on the study of the interplay between communication and knowledge inmulti-processor systems from both the qualitative and quantitative viewpoints.

This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively.

This book constitutes the refereed proceedings of the 10th InternationalConference on Language and Automata Theory and Applications, LATA 2016, held inPrague, Czech Republic, in March 2016. The 42 revised full papers presented together with 5 invited talks werecarefully reviewed and selected from 119 submissions.