Browsing by Discipline
Now showing items 21-40 of 46
-
Higher order discretization of elliptic partial differential equations
(1979)Higher order finite difference methods are discussed with respect to speed and accuracy when used in the solution of elliptic partial differential equations. Although fast direct methods for solving elliptic ... -
Immanants and their applications in quantum optics
(2020)The regular representation of Sn appears quite naturally in the combinatorial problem of the redistribution of quantum particles though an n-channel interferometer. By using tools from representation theory, it has been ... -
Interpolation and quasi-interpolation using triangular splines
(1973)This thesis is a study of the applications of Regular Triangular Splines to the bivariate approximation problem. Our primary interest will concern the numerical approximation of functions in two variables, and implementation ... -
Interval-based uncertain reasoning
(1996)This thesis examines three interval based uncertain reasoning approaches: reasoning under interval constraints, reasoning using necessity and possibility functions, and reasoning with rough set theory. In all these ... -
Linearization of an abstract convexity space
(1978)Axiomatic convexity space, introduced by Kay and Womble [22] , will be the main topic discussed in this thesis. An axiomatic convexity space (X,C), which is domain finite and has regular straight segments, is called a ... -
Metrization and sigma bases
(1969)In this thesis, we use the concept of sigma base to study the metrizability of various topological spaces. Chapter 1 is devoted to the definition of basic terms, a proof of Urysohn's Metrization Theorem, and an introduction ... -
A Modification of the Effros-Handelman-Shen Theorem with Z2 actions
(2020)In this thesis, we show that if we have a Z2 action on a latticeordered dimension group, then it will arise as an inductive limit of Z2 actions on simplicial groups. This work was motivated by the range of the invariant ... -
Neighborhood-based information systems
(1997)The concept of neighborhood systems originated from studies in topology. In this study, semantical interpretations of neighborhood systems are given by introducing certain assumptions on neighborhoods. Based upon the ... -
Non-standard analysis / by Geraldine S. Service
This thesis is a study of several theories of Non-standard Analysis. Particular attention is paid to the theories presented by A. Robinson and E. Zakon. Chapter I contains background information from Mathematical ... -
Numerical integration of systems of differential equations arising in celestial mechanics / by Roy D. North. --
(1974)This thesis deals primarily with solving systems of autonomous ordinary nonlinear differential equations arising in Celestial Mechanics initial value problems using various finite-difference techniques. Those methods ... -
Object-oriented implementation of Prolog
(1993)Logic programming is a discipline of describing problems in high-level abstraction by separating logic from control. Conventional Prolog interpretation or compilation models take a procedural view of Prolog programs. A ... -
On the perfect orderability of unions of two graphs
(1996)A graph G is perfectly orderable if it admits an order < on its vertices such that the sequential coloring algorithm delivers an optimum coloring on each induced subgraph (H, <) of (G, <). A graph is a threshold graph ... -
On the spectrum G of a locally compact group G
(1999)Separation properties of the Fell topology, on the spectrum G of a locally compact group G, characterize important properties of G. We will develop three equivalent ways to describe the Fell topology on the spectrum  ... -
Ontological approach for searching multi datasource web services
(2006)This thesis addresses the issue of Web Service search. This thesis focuses on solving the problem of searching for Web Services which are associated with relatively similar datasources. It attempts to overcome the search ... -
Parallel algorithms for the iterative solution of large sparse linear systems
(1982)In this thesis we are concerned with iterative parallel algorithms for solving finite difference equations arising from boundary value problems. We propose various new methods based on approximate inverses. The Jacobi ... -
Real time three-dimensional robotics simulation
(1996)This thesis is concerned with the design and implementation of a real-time robotics simulator with three-dimensional graphics. The simulator allows for internal or external control o f a number o f robotic manipulators ... -
Set-based computations
(1995)The representation of uncertain information and inference with such information are some of the fundamental issues in uncertainty management. Conventional methods for uncertainty management usually use a single value ...
