This book covers the conventional and most recent theories and applications in the area of evolutionary algorithms, swarm intelligence, and meta-heuristics. Each chapter offers a comprehensive description of a specific algorithm, from the mathematical model to its practical application. Different kind of optimization problems are solved in this book, including those related to path planning, image processing, hand gesture detection, among others. All in all, the book offers a tutorial on how to design, adapt, and evaluate evolutionary algorithms. Source codes for most of the proposed techniques have been included as supplementary materials on a dedicated webpage.

This book covers the conventional and most recent theories and applications in the area of evolutionary algorithms, swarm intelligence, and meta-heuristics. Each chapter offers a comprehensive description of a specific algorithm, from the mathematical model to its practical application. Different kind of optimization problems are solved in this book, including those related to path planning, image processing, hand gesture detection, among others. All in all, the book offers a tutorial on how to design, adapt, and evaluate evolutionary algorithms. Source codes for most of the proposed techniques have been included as supplementary materials on a dedicated webpage.

This book focuses on the most well-regarded and recent nature-inspired algorithms capable of solving optimization problems with multiple objectives. Firstly, it provides preliminaries and essential definitions in multi-objective problems and different paradigms to solve them. It then presents an in-depth explanations of the theory, literature review, and applications of several widely-used algorithms, such as Multi-objective Particle Swarm Optimizer, Multi-Objective Genetic Algorithm and Multi-objective GreyWolf Optimizer Due to the simplicity of the techniques and flexibility, readers from any field of study can employ them for solving multi-objective optimization problem. The book provides the source codes for all the proposed algorithms on a dedicated webpage.

This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003 was held in Singapore during 5 7 November 2003. ICFEM 2003 aimed to bring together researchers and practitioners from - dustry, academia, and government to advance the state of the art in formal engineering methods and to encourage a wider uptake of formal methods in industry. The Program Committee received 91 submissions from more than 20 co- tries in various regions. After each paper was reviewed by at least three referees in each relevant ?eld, 34 high-quality papers were accepted based on originality, technical content, presentation and relevance to formal methods and software engineering. We wish to sincerely thank all authors who submitted their work for consideration. We would also like to thank the Program Committee members and other reviewers for their great e?orts in the reviewing and selecting process. Weareindebtedtothethreekeynotespeakers, Prof.IanHayesoftheUniv- sity of Queensland, Prof. Mathai Joseph of the Tata Research, Development and DesignCentre, andDr.ColinO HalloranofQinetiQ, foracceptingourinvitation to address the conference."

This catalogue presents a site-specific collaboration by Chinese artist couple Song Dong and Yin Xiuzhen (born 1966 and 1963), in the Wetherill Mansion in Philadelphia. While Song Dong makes use of found objects, film and video, Yin Xiuzhen is known for fiber and textile work.

This book constitutes the thoroughly refereed proceedings of the 6th Joint International Semantic Technology Conference, JIST 2016, held in Singapore, Singapore, in November 2016. The main topics of JIST 2016 include among others ontology and reasoning; linked data; knowledge graph. The JIST 2016 conference consists of two keynotes, a main technical track, including (full and short papers) from the research and the in-use tracks, a Poster and Demo session, a workshop and two tutorials. The 16 full and 8 short papers presented were carefully reviewed and selected from 34 submissions. The papers cover the following topics: ontology and data management; linked data; information retrieval and knowledge discovery; RDF and query; knowledge graph; application of semantic technologies.

Square meters of empty toothpaste tubes and bottles of cleaning solution, pencils, balls of wool, or shoes—all of it in neat rows: Waste not, the spectacular installation by Song Dong (*1966) comprising more than ten thousand individual items, traveled around the whole world, inspiriting countless exhibition visitors. The artist’s mother fell into poverty during the Cultural Revolution and compulsively collected everyday objects. The installation arranges everything she accumulated, cataloguing and documenting her life.This is the first volume to provide insight into all of the series of works by the Conceptual artist in which he deals with issues such as consumption, sustainability, memory, or spirituality. Song Dong arranges old doors and windows from demolished buildings to create new living spaces. In Doing Nothing Garden at documenta 12, he transformed a mountain of garbage into an attractive recreation area, or he recreates modern cityscapes out of candy: Eating the City —unhealthy, but yummy. Taking a bite is allowed! Exhibitions: Groninger Museum, Netherlands, 13.6. – 1.11.2015 | Kunsthalle Düsseldorf, 5.12.2015 – 6.3.2016

This book constitutes the refereed proceedings of the 12th International Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010. The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.