This book presents 12 years of cutting-edge research on additive manufacturing (AM), with a focus on innovative powder- and beam-based techniques. Developed through the Collaborative Research Center 814 at Friedrich-Alexander-Universität Erlangen-Nürnberg, it explores the use of laser and electron beams in transforming metal and polymer materials.

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel’s classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on the Zermelo’s axioms, containing a presentation of Gödel’s constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers.

This book provides a cross-disciplinary overview of permafrost and the carbon cycle by providing an introduction into the geographical distribution of permafrost, with a focus on the distribution of permafrost and its soil carbon reservoirs. The chapters explain the basic physical properties and processes of permafrost soils: ice, mineral and organic components, and how these interact with climate, vegetation and geomorphological processes. In particular, the book covers the role of the large quantities of ice in many permafrost soils which are crucial to understanding carbon cycle processes.

This book constitutes the refereed conference proceedings of the 14th International Conference on Advances in Computer Entertainment Technology, ACE 2017, held in London, UK, in December 2017.
The 59 full papers presented were selected from a total of 229 submissions.
ACE is by nature a multi-disciplinary conference, therefore attracting people across a wide spectrum of interests and disciplines including computer science, design, arts, sociology, anthropology, psychology, and marketing. The main goal is to stimulate discussion in the development of new and compelling entertainment computing and interactive art concepts and applications.

This book constitutes the refereed proceedings of the 6th Annual Smart City 360° Summit. Due to COVID-19 pandemic the conference was held virtually.

The two-volume set LNCS 10704 and 10705 constitutes the thoroughly refereed proceedings of the 24th International Conference on Multimedia Modeling, MMM 2018, held in Bangkok, Thailand, in February 2018.

This book aims to present a reality view for Papua New Guinea based on many years of first-hand field work and research accounts. It further assesses sustainability in the light of 47,000 years of a self-sustained type of civilization without bad global impacts. This book contrasts the modern sustainable development failures from the colonial times onwards, as promoted by the ‘western world’, namely Australia, the UK, EU and the U.S as well as Japan and now, China, in times of globalization, Trump’ism and royal governance (Papua New Guinea is still part of the British Dominion and of the Antarctic Treaty etc). This assessment and book is the first of its kind also employing modern data analysis, Landscape Ecology principles (patterns and processes, telecoupling) and Geographic Information Systems (GIS) with Open Access data focusing on ecological economics, marxism, socialism and contrasting it with current capitalism and neoliberalism that Papua New Guinea is fully exposed to. Throughout the 31 book chapters various aspects are covered how a further insistence on the ‘new’ Sustainable Development Goals (SDGs) and so-called Development Aid will result in unwanted side effects and perverse outcomes for Papua New Guinea and for the world in times of wider ‘global change’ and unprecedented man-made crisis.

The total of 145 full papers included in these proceedings were carefully reviewed and selected from 403 submissions. They cover the many dimensions of parallel algorithms and architectures including fundamental theoretical approaches, practical experimental projects, and commercial components and systems.

This book is a compilation of selected papers from DigitalFUTURES 2022—The 4th International Conference on Computational Design and Robotic Fabrication (CDRF 2022). The work focuses on novel techniques for computational design and robotic fabrication. The contents make valuable contributions to academic researchers, designers, and engineers in the industry. As well, readers encounter new ideas about intelligence in architecture.

This comprehensive book serves as a review for the Fellow of Interventional Pain Practice (FIPP) exam and functions as a concise guide for all interventional pain doctors. Through educational initiatives, it helps to promote consensus-building among experts on the effectiveness of existing techniques and avenues for advancement of therapeutic performances.
The book is divided into four sections (head and neck, thoracic, lumbar and sacral/pelvic), and each chapter is devoted to the safe, standardized approach to interventional procedures. To prepare both the examiner and the examinee for the FIPP examination, each chapter contains the relevant C-arm images and outlines the most common reasons for “unacceptable procedures performance” and “potentially unsafe procedures performance.” Distinguishing it from many of the previous guides, it also includes labeled fluoroscopic high quality images and focuses on the current FIPP-examined procedures with all accepted approaches.