Computer Sciences Commons^™

Teaching The History Of Mathematics Using Architecture And Art, Maria Zack

ACMS Conference Proceedings 2005

Point Loma Nazarene University (PLNU) is a Christian university deeply committed to teaching in the liberal arts tradition. As a consequence, all of our students take roughly 64 semester hours of “general education” courses as part of the 128 semester hours required for graduation. One of the challenges of teaching at such an institution is helping students to value the core curriculum. I recently taught “Topics in Mathematics: Mathematics, Art and Architecture.” My goal was to help students see, discuss and understand connections between the mathematics that they were studying and some aspects of the general education core that is …

Mathematics From A World View Perspective, Jonathan Zderad

ACMS Conference Proceedings 2005

No abstract provided.

Artificial Intelligence: Can We Create Machines In Our Own Image?, Derek C. Schuurman

ACMS Conference Proceedings 2005

No abstract provided.

Determinants And Zero Divisors In Rings Of Matrices, Gary L. Raduns, Wolfgang Kappe

ACMS Conference Proceedings 2005

No abstract provided.

The Consequences Of Believing In An Infinite God, John T. Noonan

ACMS Conference Proceedings 2005

No abstract provided.

Technology And Formation: How Does Computing Shape Us?, Cary C. Gray

ACMS Conference Proceedings 2005

No abstract provided.

Nicole Oresme - An Invitation, Fernando Q. Gouvea

ACMS Conference Proceedings 2005

No abstract provided.

Object Information Repository In Christian Theory Of Technology, Longy O. Anyanwu

ACMS Conference Proceedings 2005

No abstract provided.

The Divine Challenge: On Matter, Mind, Math And Meaning, By John Byl, Russell W. Howell

ACMS Conference Proceedings 2005

A book review of The Divine Challenge: On Matter, Mind, Math and Meaning (2004, Banner of Truth Trust) by John Byl.

James Clerk Maxwell And Why Read Biographies, Sean Bird

ACMS Conference Proceedings 2005

Why do we read about the lives of others? This paper discusses the value of reading biographies and examines the life of physicist-mathematician James Clerk Maxwell.

Jesus, Plato, Math And Theology: What Is Truth?, Paul Moffett

ACMS Conference Proceedings 2005

Mathematical ontology is relevant to Christians because so much of Christian theology has been historically shaped by Platonic mathematics and the ontology that goes with it. The various contributors to Mathematics in a Postmodern Age, edited by Howell and Bradley, seem to assume that Christians are necessarily realists in ontology, and they are not alone. But what is the cause of this Christian connection with mathematical realism in ontology? How much has our idea of God been shaped by Plato and his mathematics?

Blaise Pascal - Mathematician, Mystic, Disciple, Tim Rogalsky

ACMS Conference Proceedings 2005

This is the story of a multi-faceted Christian mathematician. Instrumental in the development of calculus, probability theory, and computing machines, Pascal (1623-1662) was a man equally enamoured with mind and spirit. His conversion experience was marked by both rational decision and mystical vision. He is perhaps best known for "Pascal's wager," which simplistic "fire insurance" version of Christianity, demanding little from the convert. However, a more careful reading of his work and his life reveals that Pascal knew much about discipleship and its cost.

Call For A Non-Euclidean, Post-Cantorian Theology, Saburo Matsumoto

ACMS Conference Proceedings 2005

In this paper I propose a new approach to theology, which I refer to as a "non-Euclidean, post-Cantorian" theology. I first review three accomplishments in modern mathematics with lasting philosophical implications: non-Euclidean geometry, set theory, and the Incompleteness Theorems of Gödel. Since all of these are ideas that came after much of traditional theology had already been formed, I challenge that theology be revisited in light of what we can learn from the mathematical struggles that produced these amazing and counter-intuitive truths. I give some concrete examples and propose that such an effort can make non-trivial contribution in theology and …

Vi.31: A Generalization Of The Pythagorean Theorem, Timothy Sipka

ACMS Conference Proceedings 2005

No abstract provided.

A Christian Perspective For A First Course In Calculus, Darrell E. Allgaier

ACMS Conference Proceedings 2005

No abstract provided.

Bibliography Of Christianity And Mathematics, Gene B. Chase

ACMS Conference Proceedings 2005

The invited address provides historiographic background for the second edition of Bibliography of Christianity and Mathematics. The second edition builds on the first edition written jointly with Calvin Jongsma, on the historiographic work of Ivor Grattan-Guiness, and on the computer skills of Gregory Ross.

Filtering The Bible And Filtering Spam, Gene B. Chase

ACMS Conference Proceedings 2005

I argue that John Craig (1996?–1731) is the first to do Bayesian statistics. Filtering email spam today using Bayes's analysis of 1763 is a new application of an old theorem. Craig 67 years before Bayes's theorem used subjective probabilities reasoning to argue that Jesus would return in the year 3150, because the Bible would eventually come into disrepute (become spam?) then.

Asserting Cs != Can't Spcialize, Building Community In A Computer Science Program, Kim Kihlstrom

ACMS Conference Proceedings 2005

As humans, we are designed to live in community. "Just as each of us has one body with many members, and these members do not all have the same function, so in Christ we who are many form one body, and each member belongs to all the others" (Romans 12:4-5). We believe it is of critical importance to build community within a computer science program, first of all because it is part of God's calling for us. In addition, building communit allows us to equip students with the interpersonal skills that they need for a productive career, and to attract …

Reflections Upon The Relationship Between Mathematical And Biblical Truth, Dale L. Mcintyre

ACMS Conference Proceedings 2005

No abstract provided.

Schedule (2005), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 2005

Fifteenth Conference of the Association of Christians in the Mathematical Sciences

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

ACMS Conference Proceedings 2005

Fifteenth Conference of the Association of Christians in the Mathematical Sciences

Introduction (2005), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 2005

Fifteenth Conference of the Association of Christians in the Mathematical Sciences

Relative Difference Sets In 2-Groups : A Group Cohomological Viewpoint, Brian Wyman

Honors Theses

No abstract provided.

Ecological Niching In An Interactive Simulation, Ryan T. Webb

Honors Theses

Our goal is to create a simulation platform for the study of ecological niching that can be extended to suit the needs of biological research. Ecological niching and the accompanying evolutionary process of speciation are difficult to observe in situ, which makes them prime candidates for study via the methods of computer simulation. To this end, we have created an interactive, real-time ecosystem simulation based on the standard predator/prey interaction model, in which interacting populations of organisms exhibit swarming behavior. We hope to provide the basic simulation components necessary to bring about niching and speciation, that may be extended for …

Developing A B -Tagging Algorithm Using Soft Muons At Level-3 For The Dø Detector At Fermilab, Mayukh Das

Doctoral Dissertations

The current data-taking phase of the DØ detector at Fermilab, called Run II, is designed to aid the search for the Higgs Boson. The neutral Higgs is postulated to have a mass of 117 GeV. One of the channels promising the presence of this hypothetical particle is through the decay of b-quark into a muon. The process of identifying a b-quark in a jet using muon as a reference is b-tagging with a muon tag.

At the current data taking and analysis rate, it will take long to reach the process of identifying valid events. The triggering mechanism of the …

Srt Division Algorithms As Dynamical Systems, Mark Mccann, Nicholas Pippenger

All HMC Faculty Publications and Research

Sweeney--Robertson--Tocher (SRT) division, as it was discovered in the late 1950s, represented an important improvement in the speed of division algorithms for computers at the time. A variant of SRT division is still commonly implemented in computers today. Although some bounds on the performance of the original SRT division method were obtained, a great many questions remained unanswered. In this paper, the original version of SRT division is described as a dynamical system. This enables us to bring modern dynamical systems theory, a relatively new development in mathematics, to bear on an older problem. In doing so, we are able …

Unpredictable Binary Strings, Richard Low, Mark Stamp, R. Craigen, G. Faucher

Faculty Publications, Computer Science

We examine a class of binary strings arising from considerations about stream cipher encryption: to what degree can one guarantee that the number of pairs of entries distance k apart that disagree is equal to the number that agree, for all small k? In a certain sense, a keystream with such a property achieves a degree of unpredictability. The problem is also restated combinatorially in terms of seating arrangements. We examine sequences s of length 2n in which this property holds for all k ≤ Mn, where Mn is the largest number for which this is possible among strings of …

Cyclic Difference Covers, K. T. Arasu, Surinder Sehgal

Mathematics and Statistics Faculty Publications

his paper studies cyclic difference covers in finite cyclic groups and develops several constructions and existence results for these combinatorial structures. The authors investigate conditions under which cyclic difference covers exist, derive new infinite families, and analyze connections with related objects such as difference sets and covering designs. Applications to combinatorial design theory and coding-related constructions are also discussed.

Mapping Properties Of Co-Existentially Closed Continua, Paul Bankston

Mathematics, Statistics and Computer Science Faculty Research and Publications

A continuous surjection between compacta is called co-existential if it is the second of two maps whose composition is a standard ultracopower projection. A continuum is called co-existentially closed if it is only a co-existential image of other continua. This notion is not only an exact dual of Abraham Robinson's existentially closed structures in model theory, it also parallels the definition of other classes of continua defined by what kinds of continuous images they can be. In this paper we continue our study of co-existentially closed continua, especially how they (and related continua) behave in certain mapping situations.

Weak Factorizations, Fractions And Homotopies, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

We show that the homotopy category can be assigned to any category equipped with a weak factorization system. A classical example of this construction is the stable category of modules. We discuss a connection with the open map approach to bisimulations proposed by Joyal, Nielsen and Winskel.