AI2A '23


Book Description




Air power and colonial control


Book Description




Pathways Through Applied and Computational Physics


Book Description

This book is intended for undergraduates and young researchers who wish to understand the role that different branches of physics and mathematics play in the execution of actual experiments. The unique feature of the book is that all the subjects addressed are strictly interconnected within the context of the execution of a single experiment with very high accuracy, namely the redetermination of the Avogadro constant NA, one of the fundamental physical constants. The authors illustrate how the basic laws of physics are applied to describe the behavior of the quantities involved in the measurement of NA and explain the mathematical reasoning and computational tools that have been exploited. It is emphasized that all these quantities, although pertaining to a specific experiment, are of wide and general interest. The book is organized into chapters covering the interaction of electromagnetic radiation with single crystals, linear elasticity and anisotropy, propagation of thermal energy, anti-vibration mounting systems, and data analysis and B-spline interpolation. An essential feature is the focus on the role of Mathematica, an invaluable, fully integrated software environment for handling diverse scientific and technical computations.







Artificial Intelligence and Industrial Applications


Book Description

Amid the dynamic growth of artificial intelligence, this book presents a collection of findings and advancements from the second edition of the A2IA-Artificial Intelligence and Industrial Applications conference. The conference, hosted by ENSAM-Meknès at Moulay Ismail University, Morocco, fosters knowledge exchange in AI, focusing primarily on its industrial applications. Covering a wide range of topics, the book highlights the adaptable nature of AI and its increasing impact on industrial sectors. It brings together contributions from an international cohort of researchers, discussing themes such as intelligent manufacturing and maintenance, intelligent supply chain management, various modes of learning including supervised, unsupervised, reinforcement, semi-supervised, and graph-based, as well as neural networks, deep learning, planning, and optimization. A defining feature of this edition is its extensive scope and emphasis on the practical applications of AI, along with its foundational elements. It facilitates an understanding of AI's current state and potential future direction, showcasing recent developments that bridge the gap between theory and practice. Designed for a diverse readership, this book is of interest to AI practitioners, academics, and enthusiasts, as well as to those new to the field. It provides an opportunity to explore AI's critical role in industrial applications, and the practical insights it offers are likely to be beneficial for decision-making within industrial settings.




Bibliotheca Sacra


Book Description




Software Engineering and Formal Methods


Book Description

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.










Air Force Register


Book Description