Skip to main content

Books in Physical sciences and engineering

    • Machine Vision

      Theory, Algorithms, Practicalities
      • 1st Edition
      • E. R. Davies
      • P. G. Farrell + 1 more
      • English
      Machine Vision: Theory, Algorithms, Practicalities covers the limitations, constraints, and tradeoffs of vision algorithms. This book is organized into four parts encompassing 21 chapters that tackle general topics, such as noise suppression, edge detection, principles of illumination, feature recognition, Bayes’ theory, and Hough transforms. Part 1 provides research ideas on imaging and image filtering operations, thresholding techniques, edge detection, and binary shape and boundary pattern analyses. Part 2 deals with the area of intermediate-level vision, the nature of the Hough transform, shape detection, and corner location. Part 3 demonstrates some of the practical applications of the basic work previously covered in the book. This part also discusses some of the principles underlying implementation, including on lighting and hardware systems. Part 4 highlights the limitations and constraints of vision algorithms and their corresponding solutions. This book will prove useful to students with undergraduate course on vision for electronic engineering or computer science.
    • Strong Approximations in Probability and Statistics

      • 1st Edition
      • M. Csörgo + 1 more
      • Z. W. Birnbaum + 1 more
      • English
      Strong Approximations in Probability and Statistics presents strong invariance type results for partial sums and empirical processes of independent and identically distributed random variables (IIDRV). This seven-chapter text emphasizes the applicability of strong approximation methodology to a variety of problems of probability and statistics. Chapter 1 evaluates the theorems for Wiener and Gaussian processes that can be extended to partial sums and empirical processes of IIDRV through strong approximation methods, while Chapter 2 addresses the problem of best possible strong approximations of partial sums of IIDRV by a Wiener process. Chapters 3 and 4 contain theorems concerning the one-time parameter Wiener process and strong approximation for the empirical and quantile processes based on IIDRV. Chapter 5 demonstrate the validity of previously discussed theorems, including Brownian bridges and Kiefer process, for empirical and quantile processes. Chapter 6 illustrate the approximation of defined sequences of empirical density, regression, and characteristic functions by appropriate Gaussian processes. Chapter 7 deal with the application of strong approximation methodology to study weak and strong convergence properties of random size partial sum and empirical processes. This book will prove useful to mathematicians and advance mathematics students.
    • Regular Figures

      • 1st Edition
      • L. Fejes Tóth
      • I. N. Sneddon + 2 more
      • English
      Regular Figures concerns the systematology and genetics of regular figures. The first part of the book deals with the classical theory of the regular figures. This topic includes description of plane ornaments, spherical arrangements, hyperbolic tessellations, polyhedral, and regular polytopes. The problem of geometry of the sphere and the two-dimensional hyperbolic space are considered. Classical theory is explained as describing all possible symmetrical groupings in different spaces of constant curvature. The second part deals with the genetics of the regular figures and the inequalities found in polygons; also presented as examples are the packing and covering problems of a given circle using the most or least number of discs. The problem of distributing n points on the sphere for these points to be placed as far as possible from each other is also discussed. The theories and problems discussed are then applied to pollen-grains, which are transported by animals or the wind. A closer look into the exterior composition of the grain shows many characteristics of uniform distribution of orifices, as well as irregular distribution. A formula that calculates such packing density is then explained. More advanced problems such as the genetics of the protean regular figures of higher spaces are also discussed. The book is ideal for physicists, mathematicians, architects, and students and professors in geometry.
    • Lambda-Matrices and Vibrating Systems

      • 1st Edition
      • Peter Lancaster
      • I. N. Sneddon + 2 more
      • English
      Lambda-Matrices and Vibrating Systems presents aspects and solutions to problems concerned with linear vibrating systems with a finite degrees of freedom and the theory of matrices. The book discusses some parts of the theory of matrices that will account for the solutions of the problems. The text starts with an outline of matrix theory, and some theorems are proved. The Jordan canonical form is also applied to understand the structure of square matrices. Classical theorems are discussed further by applying the Jordan canonical form, the Rayleigh quotient, and simple matrix pencils with latent vectors in common. The book then expounds on Lambda matrices and on some numerical methods for Lambda matrices. These methods explain developments of known approximations and rates of convergence. The text then addresses general solutions for simultaneous ordinary differential equations with constant coefficients. The results of some of the studies are then applied to the theory of vibration by applying the Lagrange method for formulating equations of motion, after the formula establishing the energies and dissipation functions are completed. The book describes the theory of resonance testing using the stationary phase method, where the test is carried out by applying certain forces to the structure being studied, and the amplitude of response in the structure is measured. The book also discusses other difficult problems. The text can be used by physicists, engineers, mathematicians, and designers of industrial equipment that incorporates motion in the design.
    • Residuation Theory

      • 1st Edition
      • T. S. Blyth + 1 more
      • I. N. Sneddon + 1 more
      • English
      Residuation Theory aims to contribute to literature in the field of ordered algebraic structures, especially on the subject of residual mappings. The book is divided into three chapters. Chapter 1 focuses on ordered sets; directed sets; semilattices; lattices; and complete lattices. Chapter 2 tackles Baer rings; Baer semigroups; Foulis semigroups; residual mappings; the notion of involution; and Boolean algebras. Chapter 3 covers residuated groupoids and semigroups; group homomorphic and isotone homomorphic Boolean images of ordered semigroups; Dubreil-Jacotin and Brouwer semigroups; and lolimorphisms. The book is a self-contained and unified introduction to residual mappings and its related concepts. It is applicable as a textbook and reference book for mathematicians who plan to learn more about the subject.
    • Measure and Integral

      • 1st Edition
      • Konrad Jacobs
      • Z. W. Birnbaum + 1 more
      • English
      Probability and Mathematical Statistics: Measure and Integral provides information pertinent to the general mathematical notions and notations. This book discusses how the machinery of ?-extension works and how ?-content is derived from ?-measure. Organized into 16 chapters, this book begins with an overview of the classical Hahn–Banach theorem and introduces the Banach limits in the form of a major exercise. This text then presents the Daniell extension theory for positive ?-measures. Other chapters consider the transform of ?-contents and ?-measures by measurable mappings and kernels. This text is also devoted to a thorough study of the vector lattice of signed contents. This book discusses as well an abstract regularity theory and applied to the standard cases of compact, locally compact, and Polish spaces. The final chapter deals with the rudiments of the Krein–Milman theorem, along with some of their applications. This book is a valuable resource for graduate students.
    • A Many-Sorted Calculus Based on Resolution and Paramodulation

      • 1st Edition
      • Christoph Walther
      • English
      A Many-Sorted Calculus Based on Resolution and Paramodulation emphasizes the utilization of advantages and concepts of many-sorted logic for resolution and paramodulation based automated theorem proving. This book considers some first-order calculus that defines how theorems from given hypotheses by pure syntactic reasoning are obtained, shifting all the semantic and implicit argumentation to the syntactic and explicit level of formal first-order reasoning. This text discusses the efficiency of many-sorted reasoning, formal preliminaries for the RP- and ?RP-calculus, and many-sorted term rewriting and unification. The completeness and soundness of the ?RP-calculus, sort theorem, and automated theorem prover for the ?RP-calculus are also elaborated. This publication is a good source for students and researchers interested in many-sorted calculus.
    • Handbook of Mathematics

      • 1st Edition
      • L. Kuipers + 1 more
      • English
      International Series of Monographs in Pure and Applied Mathematics, Volume 99: Handbook of Mathematics provides the fundamental mathematical knowledge needed for scientific and technological research. The book starts with the history of mathematics and the number systems. The text then progresses to discussions of linear algebra and analytical geometry including polar theories of conic sections and quadratic surfaces. The book then explains differential and integral calculus, covering topics, such as algebra of limits, the concept of continuity, the theorem of continuous functions (with examples), Rolle's theorem, and the logarithmic function. The book also discusses extensively the functions of two variables in partial differentiation and multiple integrals. The book then describes the theory of functions, ordinary differential functions, special functions and the topic of sequences and series. The book explains vector analysis (which includes dyads and tensors), the use of numerical analysis, probability statistics, and the Laplace transform theory. Physicists, engineers, chemists, biologists, and statisticians will find this book useful.
    • Calculus of Variations

      • 1st Edition
      • Volume 19
      • L. E. Elsgolc
      • I. N. Sneddon + 2 more
      • English
      Calculus of Variations aims to provide an understanding of the basic notions and standard methods of the calculus of variations, including the direct methods of solution of the variational problems. The wide variety of applications of variational methods to different fields of mechanics and technology has made it essential for engineers to learn the fundamentals of the calculus of variations. The book begins with a discussion of the method of variation in problems with fixed boundaries. Subsequent chapters cover variational problems with movable boundaries and some other problems; sufficiency conditions for an extremum; variational problems of constrained extrema; and direct methods of solving variational problems. Each chapter is illustrated by a large number of problems some of which are taken from existing textbooks. The solutions to the problems in each chapter are provided at the end of the book.
    • Design Problem Solving

      Knowledge Structures and Control Strategies
      • 1st Edition
      • David C. Brown + 1 more
      • English
      Design Problem Solving: Knowledge Structures and Control Strategies describes the application of the generic task methodology to the problem of routine design. This book discusses the generic task methodology and what constitutes the essence of the Al approach to problem solving, including the analysis of design as an information processing activity. The basic design problem solving framework, DSPL language, and AIR-CYL Air cylinder design system are also elaborated. Other topics include the high level languages based on generic tasks, structure of a Class 3 design problem solver, and failure handling in routine design. The conceptual structure for the air cylinder and improvements to DSPL system support are likewise covered in this text. This publication is beneficial to students and specialists concerned with solving design problems.