This book provides students with opportunities to develop their problem-solving skills and teachers with ideas for assignments and investigations.

Conversations with scientists about what we know and how to know it is valid.

First published in 1989, In Search of Solutions is a classic statement on the concepts, methodologies, and goals of solution-oriented therapy.

This book is a collection of the most recent approaches that combine metaheuristics and machine learning. Some of the methods considered in this book are evolutionary, swarm, machine learning, and deep learning. The chapters were classified based on the content; then, the sections are thematic. Different applications and implementations are included; in this sense, the book provides theory and practical content with novel machine learning and metaheuristic algorithms. The chapters were compiled using a scientific perspective. Accordingly, the book is primarily intended for undergraduate and postgraduate students of Science, Engineering, and Computational Mathematics and is useful in courses on Artificial Intelligence, Advanced Machine Learning, among others. Likewise, the book is useful for research from the evolutionary computation, artificial intelligence, and image processing communities.

As technology continues to become more sophisticated, mimicking natural processes and phenomena also becomes more of a reality. Continued research in the field of natural computing enables an understanding of the world around us, in addition to opportunities for man-made computing to mirror the natural processes and systems that have existed for centuries. Nature-Inspired Computing: Concepts, Methodologies, Tools, and Applications takes an interdisciplinary approach to the topic of natural computing, including emerging technologies being developed for the purpose of simulating natural phenomena, applications across industries, and the future outlook of biologically and nature-inspired technologies. Emphasizing critical research in a comprehensive multi-volume set, this publication is designed for use by IT professionals, researchers, and graduate students studying intelligent computing.

The five-volume set LNCS 9786-9790 constitutes the refereed proceedings of the 16th International Conference on Computational Science and Its Applications, ICCSA 2016, held in Beijing, China, in July 2016. The 239 revised full papers and 14 short papers presented at 33 workshops were carefully reviewed and selected from 849 submissions. They are organized in five thematical tracks: computational methods, algorithms and scientific applications; high performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies.

In light of increasing economic and international threats, military operations must be examined with a critical eye in terms of process design, management, improvement, and control. Although the Pentagon and militaries around the world have utilized industrial engineering (IE) concepts to achieve this goal for decades, there has been no single reso

This book is devoted to the 6th International Conference on Theory and applications of Satisability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa, Italy), during May 5-8,2003. SAT 2003 followed the Workshops on S- is?ability held in Siena (1996), Paderborn (1998), and Renesse (2000), and the Workshop on Theory and Applications of Satis?ability Testing held in Boston (2001) and in Cincinnati (2002). As in the last edition, the SAT event hosted a SAT solvers competition, and, starting from the 2003 edition, also a Quanti?ed Boolean Formulas (QBFs) solvers comparative evaluation. There were 67 submissions of high quality, authored by researchers from all over the world. All the submissions were thoroughly evaluated, and as a result 42 were selected for oral presentations, and 16 for a poster presentation. The presentations covered the whole spectrum of research in propositional and QBF satis?ability testing, including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial app- cations, specific tools, case studies and empirical results. Further, the program was enriched by three invited talks, given by Riccardo Zecchina (on "Survey Propagation: from Analytic Results on Random k-SAT to a Message-Passing algorithm for Satis?ability"), Toby Walsh (on "Challenges in SAT (and QBF)") and Wolfgang Kunz (on "ATPG Versus SAT: Comparing Two Paradigms for Boolean Reasoning"). SAT 2003 thus provided a unique forum for the presentation and discussion of research related to the theory and applications of pro- sitional and QBF satis?ability testing

The two-volume set of LNCS 11655 and 11656 constitutes the proceedings of the 10th International Conference on Advances in Swarm Intelligence, ICSI 2019, held in Chiang Mai, Thailand, in June 2019. The total of 82 papers presented in these volumes was carefully reviewed and selected from 179 submissions. The papers were organized in topical sections as follows: Part I: Novel methods and algorithms for optimization; particle swarm optimization; ant colony optimization; fireworks algorithms and brain storm optimization; swarm intelligence algorithms and improvements; genetic algorithm and differential evolution; swarm robotics. Part II: Multi-agent system; multi-objective optimization; neural networks; machine learning; identification and recognition; social computing and knowledge graph; service quality and energy management.