Digital Commons Network^™

Observations On Mathematics And The Christian Faith, W. David Laverell, Carl J. Sinke

ACMS Conference Proceedings 1987

There is little doubt that mathematicians are becoming more concerned with the foundations on which their discipline rests, the meaning of their work, and the philosophical stance implicit in what they do. This concern is prompted by serious questions which have been raised in recent years, questions dealing with the nature of mathematical truth, the nature of proof, certainty (or lack thereof) in mathematics, and the relationship of mathematics to the physical world. This has been particularly true for those of us involved in teaching since it is apparent that good mathematics education cannot ignore these issures.

Proof And Intution, Michael Detlefsen

ACMS Conference Proceedings 1987

This paper discusses various perspectives on proof and intuition by examing two epistemic systems, Intuition Intensive and Logic Intensive, and Jules Henri Poincaré's objections to the latter.

Logic And Proof For Mathematics: A Twentieth Century Perspective, Calvin Jongsma

ACMS Conference Proceedings 1987

This talk reports on the author's experience in teaching college mathematics students the basics of logic and proof in preparation for their transitioning to upper-level proof-based mathematics courses, following that up with a philosophical and historical analysis of mathematicians' attitudes toward such a project going back to nineteenth- and twentieth-century developments in logic and foundations (De Morgan, Boole, Frege, Russell, and Hilbert). The natural deduction approach to logic and inference developed in the mid-twentieth century by Jaskowski and Fitch is recommended as a much better focused approach for learning how to do proofs in mathematics. This idea is systematically developed …

Riesz Spaces And Their Applications In Economics, Calvin E. Piston

ACMS Conference Proceedings 1987

We will examine an economic model of pure exchange and some results concerning different notions of equilibrium. In particular, we will focus on the role played by the theory of Riesz space.

Variations On A Theme, Robert Creighton Buck

ACMS Conference Proceedings 1987

An autobiographical narration by Robert Creighton Buck, detailing his experiences in the field of mathematics, and the various questions and themes reoccurring in the mathematical sciences.

Another Look At Pick's Theorem, Dale Varberg

ACMS Conference Proceedings 1987

In this paper, the author discusses his experience building a proof for Pick's Theorem and theorem's history.

An Activist Model Of The Metaphysics Of Mathematics, Christopher Menzel

ACMS Conference Proceedings 1987

No abstract provided.

Conic Sections In Ip, Richard Laatsch

ACMS Conference Proceedings 1987

No abstract provided.

3:16 - An Approach To Bible Study, Donald E. Knuth

ACMS Conference Proceedings 1987

No abstract provided.

Introduction (1987), Paul Zwier

ACMS Conference Proceedings 1987

A Sixth Conference on Mathematics from a Christian Perspective

Edited by Robert L. Brabenec

Designing Networks With Compact Routing Tables Available In A Journal, Greg N. Frederickson, Ravi Janardan

Department of Computer Science Technical Reports

No abstract provided.

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

ACMS Conference Proceedings 1987

A Sixth Conference on Mathematics from a Christian Perspective

Edited by Robert L. Brabenec

A Model For Adaptable Concurrency Control, Bharat Bhargava, John Riedl

Department of Computer Science Technical Reports

No abstract provided.

Reachability Graphs And Invariants For Stochastic High Level Petri Nets, Jing Dong, Dan C. Marinescu, Chuang Lin

Department of Computer Science Technical Reports

No abstract provided.

An M/Sm/1 View Of A Token Ring Queue, Vernon J. Rego, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Algebraic Curves, Christoph M. Hoffmann

Department of Computer Science Technical Reports

No abstract provided.

Non Homogeneous Parallel Computations I. Synchronization Analysis Of Parallel Algorithms, Dan C. Marinescu, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

A Face Area Evaluation Algorithm For Solids In Csg Representation, Muh-Cherng Wu, Chanderjit Bajaj, C. R. Liu

Department of Computer Science Technical Reports

No abstract provided.

On The Variance Of The External Path Length In A Binary Digital Trie, Peter Kirschenhofer, Helmut Prodinger, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Rise To Power Of Senator Joseph R. Mccarthy: Reflections Of The Cold War Mccarthy Era In American Film, Scott Lainer

Honors Theses

The common bond between much of the film industry and Joseph McCarthy was insecurity and the drive for national approval. If one grasps the specific characteristics of McCarthy the man, and the methods of these politically "inspired" movies, we can to better place the period into context and acknowledge the fact that, if the citizenry is not aware, and is again caught by an ever-building wave of trickle down sentiment, the 1950s might not prove to be an isolated period in American history. Insecurity was not a fifties novelty. It still exists, and could potentially escalate anti-Communist policy and sentiment …

Ethernet Performance: Design And Implementation Study, Michael M. Chaney, Tachen L. Lo, Daniel C. St. Clair

Computer Science Technical Reports

General concepts concerning local area network designs, functions and topologies will be presented. Ethernet as a multipoint bus topology local area network will be presented in detail. The Carrier Sense Multiple Access/Collision Detect (CSMA/CD) method of fairly regulating access to the shared network bus is studied. The Ethernet Network in relation to the Open Systems Interconnect (OSI) is reviewed, but only the layers pertaining to Ethernet are discussed throughout the majority of the paper. The specifications as described by Xerox, Digital and Intel are presented to help the designer understand the network's physical limitations. Analytical models are used to predict …

A Representation For Serial Robotic Tasks, Barry Ross Fox, Arlan R. Dekock

Computer Science Technical Reports

The representation for serial robotic tasks proposed in this thesis is a language of temporal constraints derived directly from a model of the space of serial plans. It was specifically designed to encompass problems that include disjunctive ordering constraints. This guarantees that the proposed language can completely and, to a certain extent, compactly represent all possible serial robotic tasks. The generality of this language carries a penalty. The proposed language of temporal constraints is NP-Complete. Specific methods have been demonstrated for normalizing constraints posed in this language in order to make subsequent sequencing and analysis more tractable. Using this language, …

On Root Invariants Of Periodic Classes In Exta(Z/2,Z/2), Paul L. Shick

Mathematics and Computer Science

We prove that if a class in the cohomology of the mod 2 Steenrod algebra is υ_n-periodic in the sense of [10[, then its root invariant must be υ_n+1-periodic, where υ_n denotes the nth generator of π∗(ΒΡ).

Program Development For Computer Simulation And Analysis For Multiplex Chromatography, Barbara Pawliszyn

All Graduate Plan B and other Reports, Spring 1920 to Spring 2023

In this report, the programs developed for the analysis of simulated data in multiplex chromatography are written in the ASYST language. The integration of the program modules into a menu-driven, user-friendly prototype program is outlined. The program is developed to allow for flexibility and easy upgrading of the code.

This report examines the calculation procedures potentially useful in multiplex chromatography. Analysis of the mutliplex chromatograms is done by three mathematical methods, Cross-Correlation, Hadamard Transform and Fast Fourier Transform. The effects of experimental length/chromatogram length and decision sequences on correlation noise present in a single chromatogram, are discussed. As the number …

Triangulating A Polygon In Parallel, Michael T. Goodrich

Department of Computer Science Technical Reports

No abstract provided.

Shamat: A Matrix Manipulation Program, Shahriyar Dadkhah

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

This report is both a users guide and a programmers manual for running and modifying the program SHAMAT, an interactive matrix calculator. The program is written in Turbo Pascal version 3.0 for MS-DOS computers. This software enables the user to type in matrix equations for solving statistical problems such as multiple regression, analysis of variance, etc. All matrix operations necessary for linear models analysis are included in this program. Since each operation uses a separate subroutine, program enhancement, modification and updating is demonstrated to be easy.

A Fast Grid Adaption Scheme For Elliptic Partial Differential Equations, Calvin J. Ribbens

Department of Computer Science Technical Reports

No abstract provided.

On An Alternative Sum Useful In The Analysis Of Some Data Structures, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Decompositions Of Objects Bounded By Algebraic Curves, Chanderjit Bajaj, Myung-Soo Kim

Department of Computer Science Technical Reports

No abstract provided.

Three Dimensional Graphics Software In Interactive Ellpack, John P. Bonomo, Wayne R. Dyksen

Department of Computer Science Technical Reports

No abstract provided.