Tracking the Automatic ANT


Book Description

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.




Number Theory and Polynomials


Book Description

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




Content-based Microscopic Image Analysis


Book Description

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.




Intelligent Systems


Book Description

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.




Automatic Control in Space 1985


Book Description

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.




A Petroleum Geologist's Guide to Seismic Reflection


Book Description

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.




Mathematics Today


Book Description




Seismic Data Interpretation using Digital Image Processing


Book Description

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.







STACS 2001


Book Description

This book constitutes the refereed proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2001, held in Dresden, Germany in February 2001. The 46 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 153 submissions. The papers address foundational aspects from all current areas of theoretical computer science including algorithms, data structures, automata, formal languages, complexity, verification, logic, graph theory, optimization, etc.