Browsing by Discipline
Now showing items 120 of 46

Abstract convexity in metric spaces
(1985)Convexity in metric space is the main topic of discussion in this thesis. To undertake the study we have studied extensively the means introduced by Doss and included the results concerning means derived by Gahier ... 
Abstract convexity spaces
(1978)The principal question discussed in this dissertation is the problem of characterizing the linear and convex functions on generalized line spaces. A linear function is shown to be a convex function. The linear and ... 
Abstract model for measure and category
(1975)This thesis is an attempt to establish an abstract model for Lebesgue measure and Baire category. In the introduction, we list several similarities between Lebesgue measurable sets and sets having the property of ... 
Amenable semigroups and ergodicity
(1972) 
Approximate inverse based multigrid solution of large sparse linear systems
(1988)In this thesis we study the approximate inverse based multigrid algorithm FAPIN for the solution of large sparse linear systems of equations. This algorithm, which is closely related to the well known multigrid Vcycle, ... 
Arguesian lattices of order 3
(1981)Since the mid 19th century it has been known that every Desarguean projective’ plane is coordinatizable over a division ring. This coordinatization procedure was used by von Neumann [9] to show that every complemented ... 
Best approximation in L1 [T,...]
(1980) 
C++ : a concurrent objectoriented programming language
(1993)Developing concurrent objectoriented programming (COOP) languages becomes an attractive research area since COOP languages are more suitable for simulation of real world objects and their interactions. After reviewing ... 
Compact sets in Banach spaces
(1990)Connections between several compact spaces are studied in this thesis. Proofs are given when one implies another, and so are counterexamples when one does not. The spaces discussed in this thesis are: uniform Eberlein ... 
Compiling Prolog to Logicinference Virtual Machine
(1998)The Logicinference Virtual Machine (LVM) is a new Prolog execution model consisting of a set of highlevel instructions and memory architecture for handling control and unification. Different from the wellknown Warren's ... 
Computation using sprograms
(1987)The concepts of S and Sn programs are given by Davis, Weyuker, 1983. Several parts of the complexity theory are carried out directly for S and Sn programs. The concepts of nondeterministic and deterministic computation ... 
Construction of a local Lie group from its Lie algebra
(1992)In "Symmetry Groups and Their Applications", by W. Miller [1, p.152206], Miller discusses local Lie group theory and certain resulting applications in special function theory, in the course of this discussion Miller ... 
Context sensitive neural network by overlapped systems
(2006)The use of context dependency in neural networks is an important issue in many cognitive situations. In this report we introduce a novel context dependent neural network model based on overlapped multineural network ... 
Differentiable and rough norms
(1970)The principal question discussed in this dissertation is the problem of characterizing the existence of admissible Frechet differentiable norms on Banach spaces. In the first chapter the basic concepts of normed linear ... 
Empirical study of dense schedule performance ratio on openshop scheduling problem
(2006)In this paper, we study properties of dense schedules for the openshop problems and their average performance ratio. After using two sets of test problems, we show that the average performance ratio of dense schedules ... 
Error control coding for semiconductor memories
(1993)All modern computers have memories built from VLSI RAM chips. Individually, these devices are highly reliable and any single chip may perform for decades before failing. However, when many of the chips are combined in ... 
Finite element solutions to boundary value problems
(1977)The finite element solution of certain twopoint boundary value problems is discussed. In order to obtain more accuracy than the linear finite element method can give, an orderh[superscript 4] global superconvergence ... 
Higher dimensional numerical quadrature
(1973)This thesis contains a study of higher dimensional numerical quadrature, especially two dimensional Gregory quadrature. In Chapter I, we discuss the problem of approximation and integration, the reasons why numerical ...