For those fascinated by the abstract universe of mathematics, David Gale's columns in "The Mathematical Intelligencer" have been a prime source of entertainment, and here his columns are collected for the first time in book form. Encouraged by the magazine's editor, Sheldon Axler, to write on whatever pleased him, Gale ranged far and wide across the field of mathematics, frequently returning to favorite themes: triangles, tilings, games and paradoxes, as well as the particular automaton that gives this collection its title, the "automatic ant." Suitable for everyone having some familiarity with mathematical ideas.

Contributions by leading experts in the field provide a snapshot of current progress in polynomials and number theory.

In this dissertation, novel Content-based Microscopic Image Analysis (CBMIA) methods, including Weakly Supervised Learning (WSL), are proposed to aid biological studies. In a CBMIA task, noisy image, image rotation, and object recognition problems need to be addressed. To this end, the first approach is a general supervised learning method, which consists of image segmentation, shape feature extraction, classification, and feature fusion, leading to a semi-automatic approach. In contrast, the second approach is a WSL method, which contains Sparse Coding (SC) feature extraction, classification, and feature fusion, leading to a full-automatic approach. In this WSL approach, the problems of noisy image and object recognition are jointly resolved by a region-based classifier, and the image rotation problem is figured out through SC features. To demonstrate the usefulness and potential of the proposed methods, experiments are implemented on di erent practical biological tasks, including environmental microorganism classification, stem cell analysis, and insect tracking.

The spacecraft performance, mission operations, and tracking and data acquisition is presented for the Mariner Venus 1967 and Mariner Venus 1967 extension projects. Scientific and engineering results and conclusions are discussed, and include the scientific mission, encounter with Venus, observations near Earth, and cruise phase of the mission. Flight path analysis, spacecraft subsystems, and mission-related hardware and computer program development are covered. The scientific experiments carried by Mariner 5 were ultraviolet photometer, solar plasma probe, helium magnetometer, trapped radiation detector, S-band radio occultation, dual-frequency radio propagation, and celestial mechanics. The engineering experience gained by converting a space Mariner Mars 1964 spacecraft into one flown to Venus is also described.

This book is written for advanced earth science students, geologists, petroleum engineers and others who want to get quickly ‘up to speed’ on the interpretation of reflection seismic data. It is a development of material given to students on the MSc course in Petroleum Geology at Aberdeen University and takes the form of a course manual rather than a systematic textbook. It can be used as a self-contained course for individual study, or as the basis for a class programme. The book clarifies those aspects of the subject that students tend to find difficult, and provides insights through practical tutorials which aim to reinforce and deepen understanding of key topics and provide the reader with a measure of feedback on progress. Some tutorials may only involve drawing simple diagrams, but many are computer-aided (PC based) with graphics output to give insight into key steps in seismic data processing or into the seismic response of some common geological scenarios. Part I of the book covers basic ideas and it ends with two tutorials in 2-D structural interpretation. Part II concentrates on the current seismic reflection contribution to reservoir studies, based on 3-D data.

Bridging the gap between modern image processing practices by the scientific community at large and the world of geology and reflection seismology This book covers the basics of seismic exploration, with a focus on image processing techniques as applied to seismic data. Discussions of theories, concepts, and algorithms are followed by synthetic and real data examples to provide the reader with a practical understanding of the image processing technique and to enable the reader to apply these techniques to seismic data. The book will also help readers interested in devising new algorithms, software and hardware for interpreting seismic data. Key Features: Provides an easy to understand overview of popular seismic processing and interpretation techniques from the point of view of a digital signal processor. Presents image processing concepts that may be readily applied directly to seismic data. Includes ready-to-run MATLAB algorithms for most of the techniques presented. The book includes essential research and teaching material for digital signal and image processing individuals interested in learning seismic data interpretation from the point of view of digital signal processing. It is an ideal resource for students, professors and working professionals who are interested in learning about the application of digital signal processing theory and algorithms to seismic data.

Mathematics is kept alive by the appearance of new, unsolved problems. This book provides a steady supply of easily understood, if not easily solved, problems that can be considered in varying depths by mathematicians at all levels of mathematical maturity. This new edition features lists of references to OEIS, Neal Sloane’s Online Encyclopedia of Integer Sequences, at the end of several of the sections.

Presents an authoritative overview of the recent developments and technical advances in the applications of automated control to space technology. Topics covered include: geostationary satellites, scientific satellites, flexible systems, low earth orbit satellites, orbit and trajectory control, component technology, platforms, rendez-vous and docking (RVD) and manipulators. Contains 39 research and review papers.

The three-volume set LNAI 14195, 14196, and 14197 constitutes the refereed proceedings of the 12th Brazilian Conference on Intelligent Systems, BRACIS 2023, which took place in Belo Horizonte, Brazil, in September 2023. The 90 full papers included in the proceedings were carefully reviewed and selected from 242 submissions. They have been organized in topical sections as follows: Part I: Best papers; resource allocation and planning; rules and feature extraction; AI and education; agent systems; explainability; AI models; Part II: Transformer applications; convolutional neural networks; deep learning applications; reinforcement learning and GAN; classification; machine learning analysis; Part III: Evolutionary algorithms; optimization strategies; computer vision; language and models; graph neural networks; pattern recognition; AI applications.