Digital Commons Network^™

Getting Their Interest - Initiating Students Into The Study Of Foundational Issues In Mathematics, Harold Heie

ACMS Conference Proceedings 1977

No abstract provided.

Wanted: Christian Perspectives In The Philosophy Of Mathematics, Arthur F. Holmes

ACMS Conference Proceedings 1977

This paper describes the three types of theory about universals, beginning in each case with a classical historical formulation and moving to its restatement in recent analytic philosophy. It will then suggest ways in which Christian perspectives bear on theories of universals and so on mathematics.

A Christian Point Of View, A. Wayne Roberts

ACMS Conference Proceedings 1977

Does the fact that you are a Christian affect the way that you teach mathematics? This paper seeks to answer the question, what contributions can a mathematics teacher in a Christian school make to the distinctive purpose of such a school?

Of Men, Models, And Mathematics, Charles Hatfield

ACMS Conference Proceedings 1977

No abstract provided.

Skolem’S Paradox And The Predestination/Free-Will Discussion, Gene B. Chase

ACMS Conference Proceedings 1977

The purpose of this paper is to show that both sides of the predestination/free-will discussion are admissible in a way that is more profound than simply the wave-particle duality of light. In wave-particle duality there are two competing physical models of reality which are contradictory. This paper will show that not a contradiction but a difference in viewpoint is the fundamental issue in the discussion of predestination and free will. A discussion of Skolem’s paradox is helpful in this demonstration.

Introduction (1977), Robert Brabenec

ACMS Conference Proceedings 1977

No abstract provided.

Table Of Contents (1977), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 1977

No abstract provided.

O(H^6) Discretization Error Finite Difference Approximation To Solutions Of The Poisson Equation In Three Variables, Robert E. Lynch

Department of Computer Science Technical Reports

No abstract provided.

Using A Prediction Model In Forecasting Appeals, Paul A. Rake

IUSTITIA

Following the 1972 reorganization of the Indiana Court of Appeals into three panels serving defined geographical districts, the Court soon found itself floundering with too many unevenly distributed cases. Lacking a sufficient base of statistical data from which to formulate a plan to cope with the problem, various proposals, including redistricting the court, adding more judges, and developing a more sophisticated staff research, could not be measured for effectiveness or advisability.

In response to these problems, the Court developed a project to deal with the future caseload by constructing a regression model to predict appeals. This model generated estimates of …

Potential Contributions Of Software Science To Software Reliability, M. H. Halstead

Department of Computer Science Technical Reports

No abstract provided.

A Quantitative Connection Between Computer Programs And Technical Prose, M. H. Halstead

Department of Computer Science Technical Reports

No abstract provided.

The Effect Of Numerical Integration In The Finite Element Approximation Of Hyperbolic Problems, Elias N. Houstis

Department of Computer Science Technical Reports

No abstract provided.

Stochastic Analysis Of The Effect Of Random Permeability Distributions On Confine Seepage, B. Dendrou, Elias N. Houstis

Department of Computer Science Technical Reports

No abstract provided.

Dual-Mode Sequential Logic For Function Independent Fault-Testing, Sumit Dasgupta, Carlos R.P. Hartmann, Luther D. Rudolph

Electrical Engineering and Computer Science - Technical Reports

This paper presents a method of using hardware redundancy to ease the problem of fault testing in sequential logic networks. Sequential logic networks are constructed using two kinds of dual-mode logic gates, one of which is specifically required to initialize a feedback loop to some logic value. Initially, it is shown that these networks can be tested for all single stuck-at-faults with six function-independent tests. Next, this method is generalized to detect large classes of multiple faults with six function-independent tests. In both cases, the network must have the proper number of extra inputs.

Operational Analysis Of Queueing Networks, Peter J. Denning, Jeffrey P. Buzen

Department of Computer Science Technical Reports

No abstract provided.

High Accuracy Finite Difference Approximation To Solutions Of Elliptic Partial Differential Equations, Robert E. Lynch, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

O(H^6) Accurate Finite Difference Approximation To Solutions Of The Poisson Equation In Three Variables, Robert E. Lynch

Department of Computer Science Technical Reports

No abstract provided.

A Time- And Space-Efficient Garbage Compaction Algorithm, F. Lockwood Morris

Electrical Engineering and Computer Science - Technical Reports

Given an area of storage containing scattered marked nodes, one may wish to rearrange them into a compact mass at one end of the area, meanwhile revising all pointers to marked nodes to show their new locations. An algorithm is here described which accomplishes this task in Iinear time relative to the size of the storage area, and in space of the order of one bit for each pointer. The algorithm operates by reversibly encoding the situation that a collection of locations point to a single location by a linear list, emanating from the pointed-to location, passing through the pointing …

Dual-Mode Combinational Logic For Function-Independent Fault Testing, Sumit Dasgupta

Electrical Engineering and Computer Science - Technical Reports

This paper presents a method of using hardware redundancy to ease the problem of fault testing in combinational logic networks. Combinational logic networks are constructed using dual-mode logic gates. Initially, it is shown that these networks can be tested for all single stuck-at-faults using just two function-independent tests. This method is then extended to detect a large class of multiple faults with the same two function-independent tests.

Software For Linear Elliptic Problems On General Two Dimensional Domains, Elias N. Houstis, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

A Compiler Extension Theorem For Lucid, Christoph M. Hoffmann

Department of Computer Science Technical Reports

No abstract provided.

Heuristics For Trie Index Minimization, Douglas E. Comer

Department of Computer Science Technical Reports

No abstract provided.

Software For Numerical Computation, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Reliability Growth Apportionment, James K. Byers

Computer Science Faculty Research & Creative Works

A method is presented for apportioning reliability growth to the subsystems that make up a system in order to achieve the required reliability at least cost. Reliability growth apportionment is handled as an s-expected cost minimization problem subject to the constraint of meeting a system reliability requirement. The problem is formulated in terms of Duane's reliability growth model and is solved using geometric programming. The method can be useful in the early stages of system design to determine subsystem reliability growth that will allow a system reliability requirement to be met, and in the latter stages of system design when …

Epistemology To Ontology, Charles R. Hampton

ACMS Journal 2004

This paper argues for mathematicians thinking about the philosophy of math, especially Christians. It briefly sketches the limitations of formalism, intuitionism, and logicism and uses Christian concept of creation to argue that one can take the best of each of these philosophies and avoid the pitfalls. It also argues for the real existence of mathematical objects apart from the human mind.

Recent Problems In The Foundations Of Mathematics, Terence H. Perciante

ACMS Journal 2004

This paper examines the foundational crises that have haunted twentieth-century mathematics, beginning with a brief review of the effects generated by Gauss, Lobachevsky, and Bolyai who each developed non-Euclidean parallel axiom. Though of mathematical interest in their own right, the significance of the new geometries was greatly magnified when it was discerned that they could be used to adequately model physical space, even to the extent that Einstein’s theory of relativity later employed as its model a non-Euclidean geometry developed by Riemann. The question that obviously presented itself was how could any given geometry be called true when it and …

Recent Parallels Between The Philosophy Of Science And Mathematics, Joseph Spradley

ACMS Journal 2004

Following World War I European philosophy of science formed an alliance with mathematics culminating in an attitude of certainty and autonomy that rejected all non empirical claims to truth and purported to make all science presupposition less. The rise and fall of logical positivism has been one of the major themes of of twentieth century thought and illustrates the danger of placing too much emphasis on science and mathematics as an ideal for all knowledge. The restriction of rational inquiry to the modes of scientific verification and the processes of mathematical logic was far too confining for the containment of …

Diagnosis Of Faults In Linear Tree Networks, Sharad C. Seth, K. L. Kodandapani

School of Computing: Faculty Publications

The problem of fault detection and location in tree networks of two input EXCLUSIVE-OR (EOR) gates is considered. The fault model assumes that an EOR gate can change to any other function of its two inputs except the equivalence function. An efficient procedure for single fault location is presented. In the worst case the number of tests necessary to locate single faults is bounded by a linear function of the number of input variables. Constructive upper bounds are obtained for the number of tests to detect multiple faults. Optimality of these bounds is argued and extension of results to other …

Superconcentrators, Nicholas Pippenger

All HMC Faculty Publications and Research

An $n$-superconcentrator is an acyclic directed graph with $n$ inputs and $n$ outputs for which, for every $r \leqq n$, every set of $r$ inputs, and every set of $r$ outputs, there exists an $r$-flow (a set of $r$ vertex-disjoint directed paths) from the given inputs to the given outputs. We show that there exist $n$-superconcentrators with $39n + O(\log n)$ (in fact, at most $40n$) edges, depth $O(\log n)$, and maximum degree (in-degree plus out-degree) 16.

A Computer Based Information System For The Study Of Multi-Component Populations In South Carolina, Louise Ramsey Andres

MUSC Theses and Dissertations

The information system accepts data on multi-component populations in South Carolina, and produces distribution maps, histograms, tables and other summary displays. The initial application illustrated is to the population of insects in the family Tabanid in South Carolina. The system is a series of FORTRAN programs written for an IBM System 360 Model 40 under DOS.