From: mflll@UXA.ECN.BGU.EDU (Dr. Laurence Leff)
Newsgroups: comp.doc.techreports
Subject: TRList File TRlist/tech.kent
Date: 7 Apr 92 15:14:44 GMT
Distribution: world
Organization: The Internet


          Technical Report List File TRlist/tech.kent 



At this time, there is no cost for our technical reports.
They may be order by the following ways:

Write:  Shirley Sommers
        Dept. of Mathematics and Computer Science
        Kent State University
        Kent, Ohio 44242

email:  sommers@mcs.kent.edu

FAX:    (216)672-7824

Phone:  (216)672-2430


\documentstyle{report}
\pagestyle{empty}
\newcommand{\dis}{\displaystyle}
\oddsidemargin 0in
\evensidemargin 0in
\textheight9.5in
\textwidth6.5in
\topmargin -1.0in
\begin{document}
\begin{center}
KENT STATE UNIVERSITY\\
DEPARTMENT OF MATHEMATICS \& COMPUTER SCIENCE\\[.20in]
1990 TECHNICAL REPORTS, MANUSCRIPTS AND PUBLICATIONS\\
as of December 31, 1990\\
\end{center}

\begin{tabular}{lp{5.5in}}
CS-9000-01	& Sterographs:  An Extension of Chemical Graphs that 
		can Distinguish Stereochemical and Conformational
		Structures, 
		Johnson, Mark; Nicholson, Victor \& Tsai, Chun-Che,
		presented by MJ at the 1989 PacifiChem 
		Mathematical Chemistry Minisymposium.
		\begin{quotation}
		\small
		ABSTRACT:  Stereographs are presented as new vehicles for
		representing stereochemical and conformational information.
		They extend the concept of a chemical graph by adding
		``tetrads'', each qualitatively characterizing the 
		three---dimensional arrangement of four atoms into a clinicity 
		and handedness component.  The characterization is
		sufficiently precise to distinguish synperiplanar, synclinal,
		anticlinal and antiperiplanar arrangements.  Collectively, the
		tetrads constitute the embedding graph which presents new
		possibilities in displaying the stereochemical and 
		conformational  features of a molecule.  Potential
		applications of stereographs in the areas of structural
		representation, molecular symmetry analysis,
		stereo-specific substructure searching, chemical 
		transformation analysis, and molecular proximity analysis
		are briefly discussed.
		\end{quotation}\\
MA-9000-02	& The Volume of Restricted Moment Spaces,
		Cavaretta, A.S.; Dahmen, W. \& Micchelli, C.A.,
		Rendiconti Del Circolo Matematico Di Palermo,
		Serie II, Tomo XXXVIII (1989), pp. 419-429.
		\begin{quotation}
		\small
		ABSTRACT:  In this paper we compute the volume of
		restricted moment spaces under very general conditions
		on the functions generating the moment space.
		\end{quotation}\\
MA-9000-03	& Comparison of Optimization
		Methods for Electronic-Structure Calculations,
		Garner, J.; Das, S.G.; Min, B.I.; Woodward, C. \&
		Benedek, R.,
		The American Physical Society, Vol. 39, No. 17, p. 39,
		June 15, 1989.
		\begin{quotation}
		\small
		ABSTRACT: The performance of several local-optimization 
		methods for
		calculating electronic structure is compared.  The 
		fictitious first-order equation of motion proposed by 
		Williams and Soler is integrated numerically by three
		procedures:  simple finite-difference integration,
		approximate analytical integration (the Williams-Soler 
		algorithm), and the Born perturbation series. These
		techniques are applied to a model problem for which 
		exact solutions are known, the Mathieu equation.  The
		Williams-Soler algorithm and the second Born approximation
		converge equally rapidly, but the former involves
		considerably less computational effort and gives a more
		accurate converged solution.  Application of the method
		of conjugate gradients to the Mathieu equation is discussed.
		\end{quotation}\\
MA-9000-04	& Lifting Properties of Some Universal Orthogonal 
		Representations, 
		Gagola, Jr., Stephen M.,
		Journal of Pure and
		Applied Algebra 61 (1989) 147-164.
		\begin{quotation}
		\small
		ABSTRACT: If $G\rightarrow O(V)$ is an orthogonal 
		representation of
		the group $G$, then a double cover of $G$ is determined
		from the natural cover of the orthogonal group:
		$\{\pm 1\}\rightarrow{\rm pin}(V)\rightarrow O(V)$.
		If $\chi$ is the character of $G$ afforded  by $V$,
		let $h(\chi )$ denote the element in the Schur multiplier
		of $G$ determined by the double cover of $G$.  Relations
		satisfied by this invariant are determined by making use
		of some properties of the standard embeddings of $GL(V)$ and
		$PGL(V)$ in $O(V\oplus\hat{V})$ and
		$O(V\otimes \hat{V})$ respectively.  In particular,
		$h(\chi +\overline{\chi})=h(\chi\overline{\chi})=1$
		for any character $\chi$.
		\end{quotation}\\
MA-9000-05	& Spectra of Algebras of Analytic Functions on a Banach Space,
		Aron, R.M.; Cole, B.J. \& Gamelin, T.W., 
		\begin{quotation}
		\small
		ABSTRACT: Fix a Banach space $X$, with open unit ball $B$.  
		We are
		interested in studying the uniform algebra $H^{\infty}(B)$
		of bounded analytic functions on $B$, and its spectrum
		$M=M(B)$ consisting of the nonzero complex-valued
		homomorphisms of $H^{\infty}(B)$.
		\end{quotation}\\
\end{tabular}

\pagebreak

\begin{tabular}{lp{5.5in}}
MA-9001-06	& A Matrix Characterization of Statistical Convergence,
		Fridy, J.A. \& Miller, H.I.,
		(submitted) 
		\begin{quotation}
		\small
		ABSTRACT:  The sequence $x$ is {\em statistically convergent}
		to $L$ if for each $\epsilon >0$,
		\[
		\lim_{n} n^{-1}\{{\em the~number~of}~k\leq n: |x_{k}-L|
		\leq \epsilon\}=0.
		\]
		It is known that this method of summability cannot be 
		included by any matrix method, but for bounded sequences
		it is included by the Ces\'{a}ro matrix method $C_{1}$.
		In this paper these results are extended by comparing 
		statistical convergence with the intersection of a 
		collection $\cal T$ of summability matrices, each of which
		is somewhat like $C_{1}$.  It is shown that a bounded
		sequence is statistically convergent if and only if it is
		summable by every matrix in $\cal T$.  On the other hand,
		no countable collection of matrices can include statistical
		convergence for unbounded sequences.  Also, the class 
		$\cal T$ is studies to determine which classical summability
		matrices belong to $\cal T$.
		\end{quotation}\\
CS-9002-07	& Limiting Distributions of Some Circuit Switched
		Nonhierarchical Networks,
		Peyravi, Hassan; Khan, Mohammad K.\& Farrell, Paul,
		\begin{quotation}
		\small
		ABSTRACT:  Among the two major types of networks, packet
		switched and circuit switched networks, we discuss the
		second type of networks which are often used in telephone
		traffic.  By providing simple examples we show how one can
		obtain the exact limiting distribution of the network.
		This can be used to obtain the exact end to end blocking
		probability of an incoming call along with the system
		utilization statistics.  We provide some results for three
		node symmetric and nonsymmetric networks.  The 
		generalizations to higher numbers of nodes is analogous.
		Some examples of the system utilization and blocking
		probability are provided under various input and
		holding time parameters.
		\end{quotation}\\
CS-9001-08	& A Parallel Routing Algorithm for Solving
		Conflict in a Multistage Cube Network Architecture,
		Shih, Chih-Ming, (Under Professor K. Batcher's
		guidance), 
		International Conference on Parallel Processing 1990.
		\begin{quotation}
		\small
		ABSTRACT:  Multistage cube networks are blocking networks.
		Multiprocessor systems based on this type of network may 
		have routing conflicts.  We solve conflicts by treating
		the multistage cube network as a cascade consisting of the
		multistage cube network and an inverse multistage cube
		network, and by inventing a parallel routing algorithm based 
		on the cascading networks.  Since the multibank shared memory 
		is between the cascading networks two passes are required to 
		communicate between two ends of the cascading networks using 
		the shared memory.  Destination tags computed by the
		algorithm will apply to both ends, source processors and 
		destination processors.  In the first pass, source processors 
		route their data through one side of the cascading networks 
		and write to the shared memory.  In the second pass, 
		destination processors route themselves through the
		other side of the networks and retrieve the data from the
		shared memory.  The complexity of computing destination
		tags ends up with $.72(\log^{2}N+\log N)$ times the
		complexity of the sort.
		\end{quotation}\\
CS-9003-09	& Introducing Starbase,
		Lu, Cheng Chang \& Shin, Yong Ho,
		\begin{quotation}
		\small
		ABSTRACT:  The Starbase Library contains a set of graphics
		routines.  You can use these routines to draw graphics
		pictures on your output device.  The programs you write
		using the Starbase routines can be in C, Fortran, Lisp,
		or Pascal. The programs you write in Starbase are device
		independent.  In other words, you can run a single program
		on a number of different output devices without changing
		the logic of your program.  Starbase supports all devices
		which are supported by HP-UX.

		\vspace{.05in}

		This document designed to help students those who are taking
		{\em introduction to computer graphics} class.  If you are 
		already familiar with Starbase, you may use
		{\em Starbase Device Drivers Library Manual or Starbase
		Graphics Techniques} which contain more in-depth
		explanation of the Starbase routines and their use.
		\end{quotation}\\
MA-9003-10	& On Certain Extensions of Partial
		Orders on Idempotent and Abelian Semigroups, 
		Smith, F.A., (submitted)
		\begin{quotation}
		\small
		ABSTRACT:  Partial orders on semigroups are examined.
		A necessary and sufficient condition for extending a
		partial order to a full order is given in both the
		idempotent and cancellative case.
		\end{quotation}\\
\end{tabular}

\pagebreak

\begin{tabular}{lp{5.5in}}
CS-9001-13	& A Universal Model Based on Minimax Average Divergence,
		Lu, Cheng-Chang \& Dunham, James George, 
		presented in part at IEEE International Symposium on
		Information Theory, San Diego. 
		\begin{quotation}
		\small
		ABSTRACT: Given a set of training samples, the commonly 
		used approach
		to determine a universal model is accomplished by averaging
		the statistics over all training samples.  In this
		correspondence, we suggest to use average divergence as a
		measurement for the effectiveness of a universal model and
		propose a minimax universal model which minimizes the
		maximum average divergence among all training samples.
		Efficient searching algorithms are developed and 
		experimental results are also presented.
		\end{quotation}\\
CS-9005-14	& Practical Implementation of RSA Public Key Encryption,
		Frykman, James,
		\begin{quotation}
		\small
		ABSTRACT: Despite its apparent advantages the public key 
		encryption
		system proposed by Rivest, Shamir, and Adleman has not been
		adopted for widespread use.  The principal reason is that
		if a computer program is used to do the computations for
		the RSA system then the encryption/decryption proceeds at
		a rate of a few hundred bits per second, far slower than the
		tens of thousands of bits per second needed for practical
		applications.  This paper develops an algorithm as a 
		circuit on a single chip with some rough calculations
		to show the feasibility of doing encryption/decryption
		for practical RSA public key systems at rates sufficiently
		high to be adopted for general use.
		\end{quotation}\\
MA-9000-15	& Stationary Subdivision,
		Cavaretta, Alfred S.; Dahmen, Wolfgang \& Micchelli, Charles A.,
		\begin{quotation}
		\small
		ABSTRACT: Subdivision methods in computer graphics 
		constitute a 
		large class of recursive schemes for computing curves and
		surfaces.  They seem to have their origin in the geometric 
		problem of smoothing corners of a given polyhedral surface;
		in fact these methods are sometimes referred to as 
		``wood carver'' algorithms because the repeated smoothing
		operations are analogous to sculpting wood.  The algorithms
		begin with some initial set of discrete data, called the
		control points, which one can visualize as the vertices
		of a given polyhedral surface.  A particular algorithm is
		determined by a few simple linear rules which, used
		repeatedly, successively generate 'denser' data sets from
		the initial set of control points.  If the rules are well 
		chosen, these ever more dense data sets will approach
		some continuous curve or surface in the limit.  At any
		particular stage, the limiting surface can be 
		approximated by a polyhedral surface which interpolates
		the newly generated data.  The whole process is
		recursively elementary and computational stable;
		therein lies the appeal of these algorithms.  They offer
		efficient ways of displaying curves and surfaces as well as
		methods to design particular shapes, to determine
		intersections of surfaces, to obtain level curves and
		surfaces, and so on.
		Despite the simplicity of the algorithms themselves,
		the analysis of the limiting curve or surface associated
		with any given subdivision algorithm seems to be 
		formidable.  There are, however, remarkable exceptions to 
		this.  For instance, by cutting the consecutive edges of 
		a planar polygon in the ratio 1/4: 1/2: 1/4 and then
		repeating this surgery on the resulting polygon, we 
		obtain a sequence of polygons which converges in the limit
		to a continuously differentiable curve consisting of
		quadratic arcs.  This is a special case of methods first
		proposed by de Rham.  It was later popularized by Chaikin
		because of its rapid convergence, and the piecewise quadrated 
		nature of the limiting curve was rediscovered by Riesenfeld.

		\vspace{.05in}

		The monograph represents a detailed study of what we call
		stationary subdivision schemes.  We will consider 
		essentially two fundamental questions:
		\begin{enumerate}
		\item What are necessary and/or sufficient conditions on the
		operator $S$ for convergence of the associated subdivision
		algorithm?
		\item What can be said about the structure of the limiting
		functions when the algorithm is convergent?
		\end{enumerate}
		Each chapter concerns one of the many different aspects
		and perspectives we have pursued while addressing these
		two questions.  Throughout our study, we emphasize the
		role of the (unique) refinable function associated with a
		given convergent subdivision scheme.
		\end{quotation}\\
\end{tabular}

\pagebreak

\begin{tabular}{lp{5.5in}}
CS-9005-16	& Alternating Finite Automata,
		Fellah, A.; J\"{u}rgensen, H. \& Yu, S.,
		accepted for the International Conference on Computing,
		and Information (ICCI) 1990.
		\begin{quotation}
		\small
		ABSTRACT: Alternation is a natural generalization of 
		nondeterminism.
		The model of alternating finite automata was first 
		introduced and studied by Chandra, Kozen, and Stockmeyer.
		Although alternating finite automata are no more powerful
		than deterministic finite automata with respect to 
		language recognition, special features of alternating 
		finite automata may provide new approaches and techniques
		for solving theoretical and practical problems concerning
		regular languages.  In this paper we present direct
		constructions for the usual language theoretic operations
		in terms of alternating finite automata.  Moreover, we
		discuss minimization and direct transformations between
		alternating, non-deterministic, and deterministic finite
		automata.
		\end{quotation}\\
MA-9000-17	& Hankel Transform Type Integrals and Applications,
		Shah, Mihr J.,
		\begin{quotation}
		\small
		ABSTRACT: Let $J_{\mu}(x)$ and $Y_{\nu}(x)$ be Bessel 
		functions of the
		first and second kind, respectively.  The Hankel transform
		of order $\nu$ of function $f(x)$, if it exists, is defined by:
		\[
		H_{\nu}\{f(x); \zeta\}=\int^{\infty}_{0}J_{\nu}(x\zeta)f(x)dx.
		\]
		It arises axis-symmetric boundary value problems in
		elasticity and potential theory.  Sonine showed that for
		\[
		f(x)=x^{-\nu}J_{\nu}(ax)J_{\nu}(bx),
		\]
		$H_{\nu}\{f(x): x\}=0$ whenever, the triangular inequality
		\[
		|a-b|<c<a+b
		\]
		is violated.  Recently; Askey, Koornwinder and Rahman 
		evaluated the Hankel transform $H_{\nu}\{g(x);x\}$ of a function		\[
		g(x)=x^{\nu}Y_{\nu}Y_{\nu}(ax)J_{\nu}(bx)~~{\rm and}
		\]
		showed that $H_{\nu}\{g(x);c\}$ vanishes whenever the
		triangular inequality is satisfied.

		\vspace{.05in}

		In this manuscript we generalize the two ideas and compute
		the Hankel transforms of following functions:
		\[
		h(x)=x^{-\rho}J_{\mu}(ax)J_{\lambda}(bx)
		\]
		and
		\[
		k(x)=x^{\rho} Y_{\mu}(ax)J_{\lambda}(bx).
		\]
		We discuss some special cases and applications of the results.
		\end{quotation}\\
MA-9000-18	& Certain Integrals of Products of Ultraspherical Functions.
		Shah, Mihr J.,
		\begin{quotation}
		\small
		ABSTRACT: Let $C^{\lambda}_{n}(x)$ and $D^{\lambda}_{n}(x)$ be 
		ultraspherical polynomial and ultraspherical function of
		the second kind, respectively.  Recently, Rahman and Shah
		showed that the series
		\[
		\sum^{\infty}_{n=0}(n+\lambda)\left[
		\frac{\Gamma(n+1)}{\Gamma(n+2\lambda)}\right]^{2}D^{\lambda}_{n}
		(\cos\alpha)C^{\lambda}_{n}
		(\cos \beta)C^{\lambda}_{n}(\cos \gamma)C^{\lambda}_{n}
		(\cos \delta)
		\]
		vanishes if
		\[
		\begin{array}{l}
		\cos(\beta +\gamma)<\cos(\alpha\pm \delta)<\cos(\beta-\gamma)
		~~{\rm and~if}~~\cos(\alpha +\delta)<\cos(\beta +\gamma), \\
		\cos(\alpha-\delta) < \cos (\beta-\gamma).
		\end{array}
		\]
		We find a dual to this result.  We prove that the integral
		\[
		\int^{1}_{-1}D^{\lambda}_{k}(x)C^{\lambda}_{\ell}(x)
		C^{\lambda}_{m}(x)C^{\lambda}_{n}(x)(1-x^{2})^{2\lambda -1}dx
		\]
		vanishes if~~i)~~$k+\ell+m+n$ is even and if~~ii)~~$|\ell+k |>m+n;
		\,\,|\ell -k|<|m-n|$.

		Also, the integral is a multiple of terminating, 2-balanced
		and very well-poised $~_{9}F_{8}$ generalized hypergeometric
		series in the regions where it is non-zero.
		\end{quotation}\\
\end{tabular}

\pagebreak

\begin{tabular}{lp{5.5in}}
MA-9004-19	& Some Tauberian Theorems for Absolute Summability,
		Khan, Mohammad K.,
		Internat. J.\,Math.\,\& Math.\,Sci.\, Vol. 3, no. 4(1990),
		pp. 731-738.
		\begin{quotation}
		\small
		ABSTRACT:  A convolution summability method is presented
		which generalizes the classical Euler, Borel and Taylor
		type matrix methods.  Its regularity in the ordinary and
		$\ell-\ell$ setting is proved.  It is also shown that
		$\dis{\sum^{\infty}_{n=0}}|x_{n+1}-x_{n}|\sqrt{n}<\infty$
		is a Tauberian condition in the $\ell-\ell$ setting.
		This generalizes a theorem of Fridy and Roberts,
		``Some Tauberian Theorems for Euler and Borel Summability'',
		\end{quotation}\\
CS-9005-20	&  Exploiting Data Parallelism for Efficient Execution
		of Logic Programs with Large Knowledge Base,
		Bansal, Arvind K. and Potter, Jerry L.,
		\begin{quotation}
		\small
		ABSTRACT:  A model is presented which is designed to exploit
		data parallelism present in associative computers for the
		efficient execution of logic program.  Data parallel
		model allows efficient handling of very large knowledge
		bases.  A scheme for logical data structure representation
		incorporating direct interface between lists and vectors is 
		described which allows the efficient integration of 
		symbolic and numerical computation on existing associative
		supercomputers.  An algorithm for data parallel goal
		reduction which is almost independent of number
		of clauses is discussed.  The associative goal reduction
		scheme efficiently prones non-unifiable clauses and performs
		data parallel binding of variables with single occurrence.
		The association property in the model effectively reduces
		the cost of shallow backtracking, deep backtracking,
		and garbage collection.
		\end{quotation}\\
CS-9006-22	& Using Massive Parallelism for Context Sensitive
		Rule Compilation, 
		Asthariri, Chandra R. \& Potter, Jerry L.,
		\begin{quotation}
		\small
		ABSTRACT:  This paper describes a ``{\bf Context Sensitive
		Grammar (CSG)}'' model which allows the use of an
		associative processor to compile production rules into  
		equivalent procedural rules thus increasing the
		executional efficiency of a production system.  A compiled
		procedural rule is a sequence of {\bf ANDIFs} and
		{\bf ANDFORs} which are special parallel constructs in the
		ASP ({\bf AS}sociative {\bf P}rogramming) language that
		preserve the production rule concept.  The massive parallelism
		of associative processors using the CSLG model and
		the ANDIF and ANDFOR constructs allow direct non-RETE 
		matching resulting in an estimated throughput of about 6000
		rules per second [18] as opposed to 70 [12]
		and 900 [15] rules for SIMD approaches adhering to the
		sequential RETE algorithm [7].
		\end{quotation}\\
MA-9011-23	& Embeddings of Spaces of Holomorphic Functions of
		Bounded Type,
		Ansemil, J.M., Aron, R.M. \& Ponte, S.,
		\begin{quotation}
		\small
		ABSTRACT: Let $U$ be an open subset of a complex locally 
		convex space $E,$
		let $F$ be a closed subspace of $E,$ and let $\Pi:E 
		\rightarrow E/F$
		be the canonical quotient mapping. In this paper we study 
		the induced
		mapping $\Pi^{*},$ taking $f \in {\cal H}_{b}(\Pi(U)) 
		\rightarrow
		f \circ \Pi \in {\cal H}_{b}(U),$ where ${\cal H}_{b}(V)$ 
		denotes the
		space of holomorphic functions of bounded type on $V$. We prove
		that this mapping is an embedding when $E$ is a 
		Fr\'{e}chet-Schwartz
		space, and that it is not an embedding for certain subspaces 
		$F$ of
		every Fr\'{e}chet-Montel, not Schwartz, space. We provide 
		several
		examples in the case where $E$ is a Banach space to illustrate 
		the sharpness of our results.
		\end{quotation}\\
MA-9001-24	& Analytic Functions on $c_{0}$,
		Aron, Richard M. \& Globevnik, Josip,
		\begin{quotation}
		\small
		ABSTRACT:  Let $\cal F$ be a  space of continuous complex valued
		functions on a subset of $c_{0}$ which contains the standard 
		unit vector
		basis $\{ e_{n}\}$. Let $R:{\cal F} \rightarrow C^{\infty}$ 
		be the restriction map, given
		by $R(f)~ = ~(f(e_{1}),\ldots,f(e_{n}),\ldots).$
		  We characterize the ranges $R({\cal F})$ for various ``nice'' 
		  spaces ${\cal F}.$
		   For example, if ${\cal F} = {\cal P}(^{n}E)$, 
		   then $R({\cal F}) = \ell_{1},$
		    and if ${\cal F} = A^{\infty}(B_{c_{0}}),$ 
		    then $R({\cal F}) = \ell_{\infty}.$
		\end{quotation}\\
\end{tabular}

\pagebreak

\begin{tabular}{lp{5.5in}}
CS-9010-28	& Algorithms for LU Decomposition on a Shared Memory 
		Multiprocessor,
		Buoni, John; Farrell, Paul \& Ruttan, Arden,
		\begin{quotation}
		\small
		ABSTRACT:  In this paper we propose a number of algorithms
		for the parallel LU decomposition of an upper Hessenberg 
		matrix on a shared memory multi-processor.  We consider
		the general case of $p$ processors, where $p$ is not
		related to the size of the matrix problem.  We show that
		the LU decomposition of an $(m+1)$-banded Hessenberg
		matrix can be achieved in
		$O(\frac{3nm^{2}}{p})$ operations, where $n$ is the
		dimension of the matrix and $p$ is the number of
		processors.  We show that for the special case of
		tridiagonal matrices these algorithms have a lower 
		operation count than those in the literature.  In
		addition, they yield the best existing algorithm for the
		solution of tridiagonal systems of equations.
		\end{quotation}\\
CS-9010-29	& Using Ambiguous Grammar for Register Optimization,
		Asthagiri, Chandra R. \& Potter, Jerry L.,
		\begin{quotation}
		\small
		ABSTRACT:  This paper presents an infix operator grammar
		({\bf IOG}) which is an extension
		of the operator infix grammar ({\bf OIG}) [3]. IOG describes 
		infix operator
		expressions (IOE). While OIG is unambiguous and allows strictly
		left (right) to right
		(left) order of evaluation of left (right) associative operators
		, IOG allows
		both left to right and right to left evaluation of left 
		associative operators by introducing ambiguity in the grammar.
		It also shows that the ambiguity does not violate algebraic 
		axioms on operations and it helps in
		the efficient utilization of the temporaries/registers 
		needed for the evaluation of an expression.
		This IOG forms the theoretical basis for a new parallel 
		algorithm, associative optimizing operator precedence
		algorithm (AOOPA) [2]. AOOPA has been implemented in 
		ASC [6,7,8] which parses and generates code for IOEs.
		\end{quotation}\\
CS-9010-30	& An Optimizing Parallel Algorithm for Evaluating
		Infix Operator Expressions on an Associative SIMD Computer,
		Asthagiri, Chandra R. \& Potter, Jerry L.,
		\begin{quotation}
		\small
		ABSTRACT: This paper presents an efficient associative 
		optimizing operator
		precedence algorithm ({\bf AOOPA}) to evaluate infix operator
		expressions.  AOOPA does not use
		the standard shift-reduce concept in parsing an expression, 
		but uses massive parallel associative search
		instead. While conventional approaches separate the
		optimization of the number of registers needed for the 
		evaluation of an expression
		from the parsing of the expression, AOOPA incorporates
		optimization into the parsing process itself. A conventional
		algorithm takes 3 passes and 4n steps in compiling an 
		expression of n operators, AOOPA takes only one pass and
		$\lfloor 5n/2 \rfloor$ steps.
		\end{quotation}\\
CS-9012-31	&  Adding Multiple-Fault Tolerance to Generalized Cube Networks,
		Shih, C. Jimmy \& Batcher, Kenneth E.,
		\begin{quotation}
		\small
		ABSTRACT: Most generalized cube networks are limited to
		single-fault tolerance in the criterion of permutation
		connections.  We are therefore proposing our 2 and 3-fault
		tolerance schemes.  In this paper we first present the
		proposed structure which picks many appropriate connections
		and adds these connections to an original network.  As
		faults occur, the faulty connections will be removed
		and remaining connections will form a substitute
		network called physical network.  Since the physical network
		is no longer the same as the original network, a 
		physical-to-logical mapping mechanism is required so that
		the physical network can be used in the same way as before.
		We prove that the mapping function is an isomorphism,
		therefore, the reconfiguration process we use is correct.
		We then go through the reconfiguration process with an example.
		\end{quotation}\\
\end{tabular}

\pagebreak

\begin{tabular}{lp{5.5in}}   
CS-9010-32	& A Parallel Production System Extending OPS5,
		Baker, Johnnie W. \& Miller, Andres R., 
		\begin{quotation}
		\small
		ABSTRACT: This paper shows that by assuming a common model
		of SIMD computing, and extending the OPS5 production system
		formalism to take advantage of the SIMD model, an entirely
		new class of problems lends itself to solution through
		the intuitive use of a Parallel Production System language.
		The parallel Production System, OPS, allows actions on the
		right hand sides of a rule to act on classes of working memory
		elements rather than the single element per action scheme
		used by OPS5.  New methods of conflict resolution have also 
		been provided.  Parallel conflict resolution will resolve
		only the ``potential conflicts.''  The initial conflict
		set is formed traditionally, but a maximal set of
		rule instantiations in the conflict set are executed.
		Traditional OPS5 conflict resolution is used for any rules in 
		the conflict set with conflicting instantiations, thus
		multiple directions of reasoning may be followed 
		concurrently.  This facilitates the use of
		production systems to implement asynchronous concurrent
		systems using a SIMD computer.
		\end{quotation}\\
CS-9001-34	& On Bitonic Sorting Networks,
		Batcher, Kenneth E.,
		1990 International Conference on Parallel Processing.
		\begin{quotation}
		\small
		ABSTRACT:  A $(kn)$-key bitonic sorting network can be
		build from $n$ $k$-key sorters and $k$ $n$-key sorters;
		costs and delays of networks using different values of
		$n$ are examined.  For merging one need only sort
		ascending-descending sequences of keys instead of more
		general bitonic sequences;  the construction of 
		networks to sort ascending-descending sequences of 
		any size is shown.
		\end{quotation}\\
MA-9006-35	& Spectra of Analytic Functions in Infinite Dimensions,
		Richard M. Aron (Seville, June, 1990).
		\begin{quotation}
		\small
		ABSTRACT: This talk describes part of the work by
		R.M. Aron, B. Cole, and T. Gamelin, entitle ``Spectra
		of analytic functions on a Banach space,'' which will 
		appear in [A-C-G].
		\end{quotation}
\end{tabular}

\pagebreak


\begin{center}
KSU MANUALS
\end{center}

\vspace{.2in}

\begin{tabular}{lp{5.5in}}   
CS-9003-11	& LATEX at Kent - TEXniques and Tools, 
		Farrell, Paul A.,
		\begin{quotation}
		\small
		ABSTRACT: LATEX runs on a variety of computers at many 
		different sites.
		This document tells you how to use LATEX on the machines
		in the Department of Mathematics and Computer Science
		at Kent.  The instructions are specifically for LATEX on the
		Encore Multimax but similar instructions are true for LATEX on
		the Vax 780, and the Hewlett-Packard and Sun workstations
		although occasionally the versions implemented
		on the different types of machine may be different.  This
		document is not about LATEX itself, which is described by
		the manual---LATEX: {\em A Document Preparation System},
		published by Addison-Wesley, available at fine book
		stores everywhere.

		\vspace{.05in}

		Similar, instructions also hold for running TEX, 
		AMS-TEX, and BIBTEX which are also installed on some or all
		of the machines above.  None of the TEX related programs are
		implemented on the Sequent Balance or Warp machines,
		which are reserved for research purposes.  Table 1 give a 
		list of TEX related programs and the machines they are
		available on.

		\vspace{.05in}

		If you have a question that you can't answer by reading
		the manual and this document, ask Paul Farrell.  He
		should also be informed of any possible LATEX bugs or
		undocumented anomalies.
		\end{quotation}\\
CS-9004-12	& Accessing the Library Catalogue Over the Campus Network
		at Kent State, Farrell, Paul A., 
		\begin{quotation}
		\small
		ABSTRACT: Do you find it irritating to walk to the library 
		just to
		find out if they have a book in the KSU collection.  Then
		read on.  The library on-line catalogue can be accessed
		directly from any place on the campus with network access.
		This document outlines how this can be done - in particular
		from Merrill Hall.
		\end{quotation}\\
CS-9009-25	& TEXniques and Tools s(Volume 1) - Basic LATEX at Kent,
		Farrell, Paul,
		\begin{quotation}
		\small
		ABSTRACT:  LATEX runs on a variety of computes at
		many different sites.  This document tells ;you
		how to use LATEX on the machines in the Department of
		Mathematics and Computer Science at Kent.  The instructions 
		are specifically for LATEX on the Encore Multimax but similar
		instructions are true for LATEX on the Vax 780, and the
		Hewlett-Packard and Sun workstations although occasionally
		the versions implemented on the different types of machine may 
		be different.  This document is not about LATEX itself, which
		is described by the manual---LATEX:  {\em A Document 
		Preparation System}, published by Addison-Wesley, available 
		at fine book stores everywhere.

		Similar, instructions also hold for running TEX,
		AMS-TEX, and BIBTEX which are also installed on some
		or all of the machines above.  None of the TEX related
		programs are implemented on the Sequent Balance or
		Warp machines, which are reserved for research purposes.
		Table 1 gives a slightly dated list of TEX related
		programs and the machines they are available on.
		\end{quotation}\\
CS-9010-26	& National Internet-Accessible Library Catalogs \& Databases,
		Farrell, Paul,
		\begin{quotation}
		\small
		ABSTRACT:  For those of you interested in accessing
		library catalogues at remote sites, outside the
		Ohio-Pennsylvania region, the following is a list of
		sites currently accessible via the internet.  This
		document outlines how this can be done---in particular
		from the Mathematics and Computer Science department
		machines in Merrill Hall.  you DO NOT NEED to have an
		account at the remote site to do this.
		\end{quotation}\\
CS-9010-27	& Regional Internet-Accessible Library Catalogs \& Databases,
		Farrell, Paul,
		\begin{quotation}
		\small
		ABSTRACT:  For those of you interested in accessing
		library catalogues at remote sites, outside the
		Ohio-Pennsylvania region, the following is a list of
		sites currently accessible via the internet.  This
		document outlines how this can be done---in particular
		from the Mathematics and Computer Science department
		machines in Merrill Hall.  you DO NOT NEED to have an
		account at the remote site to do this.
		\end{quotation}\\
\end{tabular}

\pagebreak


\begin{center}
INSTITUTE FOR COMPUTATIONAL MATHEMATICS
\end{center}

\vspace{.2in}

\begin{tabular}{lp{5.5in}}   

\end{tabular}


\end{document}


\documentstyle{report}
\oddsidemargin 0in
\evensidemargin 0in
\textheight10.5in
\textwidth6.5in
\topmargin -1.0in
\begin{document}
\begin{center}
KENT STATE UNIVERSITY\\
DEPARTMENT OF MATHEMATICS \& COMPUTER SCIENCE\\[.20in]
1991 TECHNICAL REPORTS, MANUSCRIPTS AND PUBLICATIONS\\
as of December 31, 1991
\end{center}

\begin{tabular}{lp{5.5in}}
CS-9101-02 & Multiple-Fault Tolerant Cube-Connected Cycles Networks,
	C. Jimmy Shih and Kenneth E. Batcher.
	\begin{quotation}
	\small
	ABSTRACT:  Most fault-tolerance schemes for Cube-Connected Cycles
	(CCC) networks are limited to single-fault tolerance in the 
	criterion of permutation connections.  We are therefore proposing
	our 2 and 3-fault tolerance schemes.  In this paper we first present
	the proposed structure which picks many appropriate connections
	and adds these connections and their associated PEs to an
	original network.  As faults occur, the faulty connections and 
	PEs will be removed and remaining connections will form a 
	substitute network called physical network.  Since the physical
	network is no longer the same as the original network, a
	physical-to-logical mapping mechanism is required so that the
	physical network can be used in the same way as before.  We
	prove that the mapping function is an isomorphism, therefore,
	the reconfiguration process we use is correct.  We then demonstrate
	the reconfiguration process with an example.
	\end{quotation}\\
CS-9101-03 & Algorithms for LU Decomposition on a Shared Memory Multiprocessor,
	John Buoni, Paul A. Farrell, Arden Ruttan.
	\begin{quotation}
	\small 
	ABSTRACT:  In this paper we propose a number of algorithms for the
	parallel LU decomposition of an upper Hessenberg matrix on a
	shared memory multi-processor.  We consider the general case of 
	$p$ processors, where $p$ is not related to the size of the matrix
	problem.  We show that the LU decomposition of an $(M+1)$-banded
	Hessenberg matrix can be achieved in $O(\frac{3nm^{2}}{p})$
	operations, where $n$ is the dimension of the matrix and $p$ is the
	number of processors.  We show that for the special case of 
	tridiagonal matrices these algorithms have a lower operation count
	than those in the literature.  In addition, they yield the best
	existing algorithm for the solution of tridiagonal systems of equations.
	\end{quotation}\\
MA-9101-04 & Rotundity, the C.S.R.P., and the $\lambda$-Property in
	Banach Spaces, Richard M. Aron, Robert H. Lohman, and
	Antonio Su\'{a}rez, American Mathematical Society, Vol. 111,
	No. 1, January 1991.
	\begin{quotation}
	\small
	ABSTRACT:  Two open questions stemming from the $\lambda$-property
	in Banach spaces are solved.  The following are shown to be
	equivalent in a Banach space $X:(a)X$ has the $\lambda$-property;  (b)
	every vector in the closed unit ball of $X$ is expressible as a convex
	series of extreme points of the unit ball of $X$.  Also, by exhibiting 
	a class of nonrotund Orlicz spaces for which the $\lambda$-function 
	is identically 1 on the unit spheres, we answer negatively the
	question of whether the $\lambda$-function characterizes 
	rotund Banach spaces.
	\end{quotation}\\
CS-9101-05 & Static Analysis to Identify Vectorizable Numerical Domain in
	Logic Programs for Efficient Execution of Scientific Expert Systems,
	Arvind K. Bansal and Dilip S. Poduval, Scandavian Conference of 
	Artificial Intelligence 91.
	\begin{quotation}
	\small
	ABSTRACT:  Scientific expert systems require the efficient integration
	of numerical and symbolic computation.  However, the numerical
	execution in logic programs on conventional computers is very
	slow, due to the use of recursive procedures and lists which support
	declarative style of programming.  In this paper, we propose
	compile time data flow analysis of logic programs to identify
	vectorizable numerical computation for efficient execution on
	vector supercomputers.  The scheme uses abstract interpretation -
	a compile time data flow analysis scheme to derive program properties.
	Abstract interpretation first uses the abstract domain of type 
	expressions to derive the numeric computation and then extends
	the abstract domain to identify vectors, vector-sizes, indices,
	bounds, and constant values.  The abstract interpretation in the
	vector domain is based upon the traversal of an AND-OR tree in
	the vector domain and solving a system of linear equations to derive
	unknown vector-sizes.
	\end{quotation}\\
\end{tabular}

\pagebreak

\begin{tabular}{lp{5.5in}}
MA-9104-07  & Spaces of Holomorphic Functions and Germs on Quotients,
	J.M. Ansemil, R.m. Aron and S. Ponte.
	\begin{quotation}
	\small
	ABSTRACT:  Let $E$ be a complex locally convex space, 
	$F$ a closed subspace of $E$ and let $\Pi$ be the
	canonical quotient mapping from $E$ onto $E/F$.  If $U$ is an
	open subset of $E$ and $K$ is a compact subset of $E,\,\Pi$ induces
	a linear injective mapping $\Pi\ast$ from ${\cal H}[\Pi(U)]$
	(resp. ${\cal H}[\Pi(K)]$ into ${\cal H}(U)$ (resp. ${\cal H}(K)$),
	where ${\cal H}(V)$ (resp. ${\cal H}(L)$ stands for the space
	of holomorphic functions (resp. germs) on the open subset $V$
	(resp. the compact subset $L$) of a complex locally convex space.  
	This mapping $\Pi\ast$ is defined by  $\Pi\ast(g)=g\circ \Pi;\,\,
	g\in {\cal H}[\Pi(U)]$ (resp. ${\cal H}[\Pi(K)]$).

	When we consider the natural topologies on the spaces of
	holomorphic functions and holomorphic germs, $\Pi\ast$
	is always continuous.  In some cases $\Pi\ast$ is also a
	topological isomorphism onto its image (embedding) but this 
	is not always true.  The aim of this paper is to give a 
	survey of the results concerning when $\Pi\ast$ is, and is not,
	an embedding.  We also include some new results with their proofs.
	\end{quotation}\\
CS-9102-08  & On Distributed Adaptive Routing Schemes for Circuit-Switched
	Networks, Hassan Peyravi.
	\begin{quotation}
	\small
	ABSTRACT:  The objective of this research is to investigate the
	performance of distributed non-hierarchical circuit-switch
	networks for different adaptive routing algorithms.  We focus
	our attention on those routing schemes which greatly influence
	the reconfiguration process ({\em self-healing)} and improve
	the blocking probability when the congestion level on a link
	exceeds a threshold, a switching site fails, or a transmission link
	gets disconnected.  The adaptive routing procedures, in this 
	study, are virtually capable of identifying the failures, 
	isolating them, and reconfiguring a new topology for the network.

	In this study, we consider the elimination of the assumption of 
	independent traffic distributions on various links, in the
	presence of redirected traffic.  Consequently, we confirm the
	behavior of these algorithms using simulation techniques.

	Among different routing schemes simulated in this study, the 
	{\em Least Average Number of Hops}, (LANG) algorithm is most
	attractive and leads to a better performance.  The simulated
	network is a fault tolerant network and the proposed 
	distributed adaptive routing algorithms are capable of
	self-reconfiguration during a critical period and when an
	unexpected event happens.
	\end{quotation}\\
CS-9105-10 & On Blocking Distribution of Nonhierarchical Networks,
	Paul Farrell, Kazim Khan, and Hassan Peyravi.
	\begin{quotation}
	\small
	ABSTRACT: It is shown in [19] that different types of routing
	schemes for circuit-switched traffic in a non-hierarchical network
	with uniform traffic intensity lead to different performance
	trade-offs.  It is also assumed in [19] that the network is
	symmetric and the redirected traffic on the links is Poisson.
	It is, however, not clear how the trade-offs would be effected by
	using different traffic intensity on links, i.e., if nodes
	generate calls with different rates.  This paper analyzes the
	traffic behavior without assuming that the redirected traffic is
	necessarily Poisson or that the network is symmetric.  We 
	examine a statistical model to obtain the 
	{\em exact limiting distribution} and the {\em end-to-end blocking}
	probability of a single link, a group of links and the entire
	network.
	\end{quotation}\\
MA-9106-10 & $2^{m}3^{n}$ is Dense in $R^{+}$ an Application of Elementary 
	Real Analysis,
	James Frykman.\\[.1in]
CS-9106-11 & Parallel Lexing on an Associative SIMD Parallel Computer,
	Chandra R. Asthagiri and Jerry L. Potter.
	\begin{quotation}
	\small
	ABSTRACT: This paper presents a near constant time associative
	parallel lexing (APL) algorithm.  The best time complexity thus
	far claimed on parallel lexing is $\bigcirc$(log $n$), where $n$ is
	the number of input characters.  The time complexity reported is for 
	the parallel prefix lexing (PPL) algorithm.  The linear state
	recording step in the PPL algorithm, which needs to be done only
	once for each grammar, has been ignored in claiming the
	long $n$ time complexity for the PPL algorithm.  Furthermore,
	the PPL algorithm does not consider recording line numbers for
	the tokens and distinguishing identifier tokens as keyword or
	user-identifier.  The APL algorithm performs all of the functions 
	missed in the prefix algorithm.  Thus, without considering the
	efforts spent on these functions, the APL algorithm takes
	constant time since every step depends on the field width of the 
	tokens, not on the length of the input.  Generalizing and including
	these extra functions, the APL algorithm takes near constant time.
	\end{quotation}\\
\end{tabular}

\pagebreak

\begin{tabular}{lp{5.5in}}
CS-9108-12 & Deterministic Analysis of Aleatoric Methods of Polynomial
	Factorization Over Finite Fields,
	M. Rothstein and H. Zassenhaus.
	\begin{quotation}
	\small
	ABSTRACT: We analyze the problem of finding the roots of an
	arbitrary polynomial over a finite field (equivalent to
	factoring an arbitrary polynomial over the field) and propose
	a deterministic approach which leads to a combinatorial 
	problem whose satisfactory solution would yield a factoring
	method which is polynomial in the logarithm of the size of the
	field and the degree of the input polynomial.
	\end{quotation}\\
MA-9108-13 & Chemical Stereographs:  An Extension of Chemical Graphs
	for Representing Stereochemical and Conformational Structures,
	M. Johnson, Chun-che Tsai  and Victor Nicholson.
	\begin{quotation}
	\small
	ABSTRACT: Chemical stereographs are presented as vehicles for 
	representing qualitative three-dimensional features of molecules that
	put stereochemical and conformational distinctions in a common 
	graph-theoretic formalism.  They extend the concept of a chemical
	graph by adding ``tetrads'', each qualitatively characterizing
	the three-dimensional arrangement of four atoms with respect to
	its clinicity and handedness components.  The characterization is
	sufficiently precise to distinguish synperiplanar, synclinal
	(gauche), anticlinal and antiperiplanar relationships between 
	vicinal atoms of various conformers.  Collectively, the tegrads 
	constitute the embedding graph which presents new possibilities in
	displaying the stereochemical and conformational features of a 
	molecule.  A chemical graph and one of its possible embedding
	graphs constitute a chemical stereograph.  Potential applications
	of chemical stereographs in the areas of structural representation,
	molecular symmetry analysis, and stereo-specific substructure 
	searching are discussed.
	\end{quotation}\\
CS-9108-14 & Reliability of a Class of Real-time Adaptive Routing
	Algorithms for Nonhierarchical Networks,
	Hassan Peyravi.
	\begin{quotation}
	\small
	ABSTRACT: The {\em end-to-end blocking} probability has been used as 
	a performance criterion to quantify the network reliability.
	In this paper, we examine different approaches to compute
	the reliability of a distributed network system.  First, we
	discuss an analytical approach and a way to compute the
	end-to-end blocking probability using Markov process.  Second, we
	compare the performance of a class of simple, yet adaptive routing
	algorithms which improve the network reliability.  We
	focus our attention to those routing schemes which greatly influence
	the reconfiguration ({\em self-healing}) process of the
	network in real-time.  These algorithms are attractive since they
	are simple and can be implemented in hardware with minimum
	overhead.  The adaptive routing algorithms, in this study, are
	virtually capable of identifying and isolating network failures,
	and reconfiguring a new topology for the network.  We confirm the
	behavior of these algorithms using a simulation technique.
	\end{quotation}\\
CS-9108-15 & On Performance of a Class of Real-Time Adaptive Routing
	Algorithms for Circuit Switched Networks,
	Hassan Peyravi.
	\begin{quotation}
	\small
	ABSTRACT: The objective of this research is to investigate the 
	performance of a class of real-time adaptive routing algorithms for
	a distributed non-hierarchical circuit-switched network.  We
	focus our attention to those routing schemes which greatly influence
	the reconfiguration ({\em self-healing}) process of the
	network in real-time.  These algorithms are attractive due
	to their simplicity and their hardware implementation.  They
	react to congestions and network failures, and improve the blocking
	probability.  The adaptive routing algorithms, in this study, are
	virtually capable of identifying and isolating network failures, 
	and reconfiguring a new topology for the network.  We confirm the
	behavior of these algorithms using a simulation technique.
	\end{quotation}\\
\end{tabular}

\pagebreak

\begin{tabular}{lp{5.5in}}
CS-9108-16 & Limiting Distribution of the Blocking Probability for
	Circuit-switched Networks,
	Hassan Peyravi.
	\begin{quotation}
	\small
	ABSTRACT: The {\em end-end-end} blocking probability has been
	used as a performance criterion to quantify network reliability.
	Yum and Schwartz [19] have shown that different types of
	routing schemes for circuit-switched traffic in a non-hierarchical
	network, with uniform traffic intensity, lead to different performance
	trade-offs.  It is also assumed that the network is symmetric and
	the redirected traffic on the links is Poisson.  It is, however,
	not clear how the trade-offs would be effected by using different
	traffic intensities on the links, i.e., if the
	nodes generate calls with different rates.  This paper
	analyzes the traffic behavior without assuming that the
	redirected traffic is necessarily Poisson or that the network
	is symmetric.  We examine a statistical model to obtain the
	{\em exact limiting distribution} and the {\em end-to-end blocking}
	probability of a single specified link, a group of links and the
	entire network.
	\end{quotation}\\
CS-9108-17 & Congestion in Perfect Shuffle Networks,
	Kanneganti Sridhar.
	\begin{quotation}
	\small
	ABSTRACT: A perfect shuffle network interconnecting $2^{n}$
	processors is bound to have some inter processor links more heavily
	congested than others. This paper investigates the congestion in
	different size perfect shuffle networks.
	\end{quotation}\\
MA-9100-18 & Spectra of Analytic Functions in Infinite Dimensions,
	R. Aron, B. Cole, and T. Gamelin.\\[.1in]
MA-9100-19 & Polynomial Norms and Coefficients,
	R.M. Aron, and I. Zalduendo.\\[.1in]
MA-9100-21 & Spectra of Algebras of Analytic Functions on a Banach Space,
	R.M. Aron, B.J. Cole, and T.W. Gamelin.\\[.1in]
MA-9110-22 & Uniform Integrability: An Introduction,
	Joe diestel.
\end{tabular}

\end{document}

\documentstyle{report}
\oddsidemargin 0in
\evensidemargin 0in
\textheight9.5in
\textwidth6.5in
\topmargin -1.0in
\begin{document}
\begin{center}
KENT STATE UNIVERSITY\\
DEPARTMENT OF MATHEMATICS \& COMPUTER SCIENCE\\[.20in]
1992 TECHNICAL REPORTS\\
as of March 26, 1992

\end{center}

\begin{tabular}{lp{5.5in}}
CS-9201-01	& A Generalized Bitonic Merging Network,
	Kathy J. Liszka and Kenneth E. Batcher,
	\begin{quotation}
	\small
	ABSTRACT:  The bitonic merging network will sort N-keys in
	O$(\log^{2}N)$ time with O$(N\log^{2}N)$ comparators.
	Improvements to the sorter enable the network to sort
	pq-keys, a composite number.  Two methods are presented for
	completely generalizing the bitonic merger for an arbitrary number 
	of keys.  They are based on different decompositions of the
	network.  The add-merge bitonic sorter decomposes $N$ keys
	into a p-key bitonic sorter, a q-key bitonic sorter and a merge
	of p keys with q keys where $N=p+q$.  The odd-merge
	bitonic sorter also uses a p and q-key bitonic sorter,
	but the decomposition is different and the final merge stage
	is an interleave.  The two decompositions are compared in
	terms of efficiency and practicality.
	\end{quotation}\\
CS-9202-02	& Low-Cost Flexible Simulation with the Static Perfect
	Shuffle Network,
	Kenneth E. Batcher,
	\begin{quotation}
	\small
	ABSTRACT: The static perfect shuffle network is based on Stone's
	perfect shuffle network; the two-by-two switches are removed
	and replaced by exchange links between processors.  The network
	could be used in a low-cost flexible simulator for other networks
	such as multistage cube networks and hypercubes.
	\end{quotation}\\
CS-9202-03	& Exploiting Data Parallelism for Large Knowledge Bases,
	Arvind K. Bansal, Jerry Potter,
	\begin{quotation}
	\small
	ABSTRACT:  A model is presented which exploits data level massive
	parallelism present in associative computers for the efficient
	execution of logic programs with large knowledge bases.  The
	exploitation of data parallelism in goal reduction efficiently prunes
	non-unifiable clauses resulting into effective reduction of shallow
	backtracking, and marks the potential bindings for the variables
	with single occurrence in a manner which is independent of the
	number of clauses.  During deep backtracking, bindings are 
	released simultaneously using associative search resulting
	in a significant reduction in execution time overhead of
	backtracking and garbage collection.

	\vspace{.1in}

	A scheme for a logical data structure representation incorporating
	direct interface between lists and vectors is described.  This
	allows the efficient integration of symbolic computation and a 
	large class of vectorizable numerical computation on associative
	supercomputers.
	\end{quotation}\\
CS-9203-04	& An Associative Compilation Model to Exploit Date-parallelism
	in Function-free Logic Programs,
	Arvind K. Bansal, Jerry L. Potter, Lokam V. Prasad,
	\begin{quotation}
	\small
	ABSTRACT: This paper describes a model for the compilation of
	function free logic programs to exploit the data-parallelism
	present in associative supercomputers.  The compilation process
	maps sets of clause-heads to associations of vectors, and subgoals
	to low level code analogous to WAM to achieve a synergistic
	efficiency.  The exploitation of data-parallelism on associative
	supercomputers allows goal reduction with all unifiable clauses
	almost independent of the number of clauses, and minimizes shallow
	backtracking.  The use of associative searching facilitates deep
	backtracking, intelligent backtracking, and the handling of
	bindings of aliased variables with very low overhead.  The
	representation of subgoals as low level code reduces the excessive
	data-transfer present in conventional data-parallel models [2,3]
	by making use of an associative analogue of global registers.
	The compiler also uses compile-time data flow analysis to derive
	groundness and width information.  This information is used for
	efficient code optimization, and allows efficient
	data-matching.
	\end{quotation}\\
\end{tabular}

\pagebreak

\begin{tabular}{lp{5.5in}}
CS-9203-05	& Embedding the Hypercube into the 3-Dimension Mesh,
	Stephen L. Scott and Johnnie W. Baker.
	\begin{quotation}
	\small
	ABSTRACT: 
A constant time and space algorithm for embedding the hypercube architecture
into the {\rm 3-dimension} mesh architecture is presented.
This embedding enables the cube$_i$ data exchange
operation to be performed on the embedded hypercube machine in a constant time
when  the interprocessor communication function cube$_i$ is defined  on  the
embedded hypercube's PEs as
cube$_i$${(b_{n-1}\cdots b_{i+1}b_ib_{i-1}\cdots b_1b_0)=b_{n-1}\cdots
b_{i+1}\overline{b}_ib_{i-1}\cdots b_1b_0}$, where $\overline{b}_i$ is the
binary complement of ${b}_i$.
	\end{quotation}\\
MA-9203-06	& Norm Estimates for Random Multilinear Hankel Forms,
	Ibrahim Masri and Andrew Tonge
	\begin{quotation}
	\small
	ABSTRACT: 
	We obtain sharp estimates for average norms of multilinear 
	Hankel forms on complex Hilbert space whose entries are
	independent Rademacher functions.
	\end{quotation}\\
CS-9204-07	& A Modified Short-Kernel Filter Pair for Perfect
	Reconstruction of HDTV Signals,
	Cheng-Chang Lu and Norhanim Omar.
	\begin{quotation}
	\small
	ABSTRACT: 
	For video transmission between broadcasting stations or
	studios, very high quality and even distortion-free pictures
	are usually desired.  Recently, subband coding of images has
	received considerable attentions and become an effective
	tool for image compression.  In recent work by Irie and
	Kishimoto [1], short-kernel filters have been successfully 
	applied to compress HDTV signals.  Perfect reconstruction
	is obtained with very low average entropy.  This paper presents
	further improvements on average entropy for perfect reconstruction
	of HDTV signals with a modified short-kernel filter pair.
	The simulation results show that the proposed filter pair with
	interband prediction can greatly reduce the entropy compared to
	that obtained with other approaches.
	\end{quotation}\\
MA-9203-08	& Brauer Trees of $Sp(4,q)$,
	Donald L. White, Comm.\, Alg.\, 20 (March 1992), 645-653.
	\begin{quotation}
	\small
	ABSTRACT:  The Brauer trees of the symplectic group
	$Sp(4,q)$ are computed in all non-defining characteristics.
	This completes the determination of all modular characters
	of the groups $Sp(4,q)$ in non-defining characteristics.
	\end{quotation}\\
\end{tabular}
\end{document}