This book constitutes the refereed proceedings of the 17th International Symposium on Search-Based Software Engineering, SSBSE 2025, held in Seoul, South Korea, on November 16, 2025.The 8 full papers, 4 short papers and 2 other papers included in these proceedings were carefully reviewed and selected from 24 submissions. They were organized in the following topical sections: Research Track; RENE/NIER Track; and Challenge Track.

This book constitutes the referred proceedings of the 25th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2025, held as part of EvoStar 2025, in Trieste, Italy, during April 23–25, 2025.The 16 full papers presented in this book were carefully reviewed and selected from 43 submissions. These papers cover a variety of topics, ranging from benchmark creation, over genetic programming, heuristics for real-world and NP-hard problems, as well as the ...

This textbook is a translation of the German textbook "Rechnen fUr Lagerstattenkundler und Rohstoffwirtschaftler, Teil 1" published by the Ellen Pilger Publishing Company. Those passages in the German edition which were especially written for the German readership were transform ed for English speaking readers. Compared with the German edition many chapters have been slightly amended. The main new additions in this English version are the chapter on linear optimization in Chapter 10.2 and ...

This book constitutes the referred proceedings of the 24th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2024, held as part of EvoStar 2024, in Aberystwyth, UK, during April 3–5, 2024.The 12 full papers presented in this book were carefully reviewed and selected from 28 submissions. They cover a variety of topics, ranging from constructive algorithms, machine learning techniques ranging from neural network based guidance to sparse surrogate m...

This book constitutes the refereed proceedings of the Third Australasian Conference on Artificial Life and Computational Intelligence, ACALCI 2017, held in Geelong, VIC, Australia, in January/February 2017.The 32 papers presented in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections named: artificial life and computational intelligence and optimization algorithms and applications.

This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 12 regular papers presented in this volume were carefully reviewed and selected from 50 submissions. The proceedings also contain 2 tool papers, 2 NIER papers, and 2 competition papers ...

Group method of data handling (GMDH) is a typical inductive modeling method built on the principles of self-organization. Since its introduction, inductive modelling has been developed to support complex systems in prediction, clusterization, system identification, as well as data mining and knowledge extraction technologies in social science, science, engineering, and medicine.This is the first book to explore GMDH using MATLAB (matrix laboratory) language. Readers will learn how to imple...

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:Part I: Invited pa...

This open access book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in Konstanz, Germany, in April 2020.The 45 full papers presented in this volume were carefully reviewed and selected from 114 submissions. Advancing Intelligent Data Analysis requires novel, potentially game-changing ideas. IDA’s mission is to promote ideas over performance: a solid motivation can be as convincing as exhaustive empirical evaluation.

This two volume set LNCS 9261 and LNCS 9262 constitutes the refereed proceedings of the 26th International Conference on Database and Expert Systems Applications, DEXA 2015, held in Valencia, Spain, September 1-4, 2015.The 40 revised full papers presented together with 32 short papers, and 2 keynote talks, were carefully reviewed and selected from 125 submissions. The papers discuss a range of topics including: temporal, spatial and high dimensional databases; semantic Web and onto...

There is increasing pressure to protect computer networks against unauthorized intrusion, and some work in this area is concerned with engineering systems that are robust to attack. However, no system can be made invulnerable. Data Analysis for Network Cyber-Security focuses on monitoring and analyzing network traffic data, with the intention of preventing, or quickly identifying, malicious activity.Such work involves the intersection of statistics, data mining and computer science. Fundam...

This book constitutes the refereed proceedings of the 37th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2025, held in Limassol, Cyprus, during September 17–19, 2025.The 19 full papers and 4 short papers included in this book were carefully reviewed and selected from 38 submissions. They were organized in topical sections as follows: Foundations and Advanced Testing Techniques; Intelligent and Automated Testing; LLMs, Agents, and AI-Driven Testing; Tes...