Computer Sciences Commons^™

Real Simulations And Simulated Reality, Wayne Iba

ACMS Conference Proceedings 2011

Movies such as The Matrix have stimulated popular interest in “brain in a vat” scenarios. Amidst the traditional questions of the mind, we tend to overlook an integral enabling component—the world simulation—which merits consideration in its own right. When facing the simulations in these imagined scenarios, we struggle with conceptual muddles regarding what is real and not. In this paper, I argue that simulated worlds are every bit as real as the one we inhabit. This turns out to be important when considering the possibility, as suggested by Nick Bostrom, that the world we experience as “real” is actually a …

Pk Mathematics, Jeremy Case

ACMS Conference Proceedings 2011

An examination of the historical development of mathematics and how mathematical history has changed by looking at mathematicians who were also PKs (Preacher’s Kids).

History Of Mathematics: An Exercise In Strengths, Mary Walkins

ACMS Conference Proceedings 2011

As a leader in strengths-based education, Lee University encourages each new student, since fall of 2003, to take the Gallup StrengthsFinder to determine their top 5 signature themes (out of a possible 34). At Lee, the syllabus for the History of Mathematics course calls for students to write a paper on a mathematician. In the fall of 2009, as an added dimension, students were asked to critically think about and incorporate the strengths they believe that mathematician may have. Each student was required to compare and contrast his or her strengths with those of the mathematician. This was done with …

The Study Of Mathematics: A Text From A Christian Perspective, Doug Phillippy

ACMS Conference Proceedings 2011

This paper examines the integration of the Christian faith with the teaching of mathematical texts using the author’s textbook, The Study of Mathematics: Developing a mature understanding of mathematical thought, with consideration of Christian faith and vocation.

The History Of The Area Between A Line And A Parabola, Gordon A. Swain

ACMS Conference Proceedings 2011

This is a review of various methods used by many mathematicians to determine the area of the segment bounded by a parabola and a line. We include descriptions of proofs from the Greek period (Archimedes), the Arabic period (ibn Qurra and ibn Sinan), and the 1600's in European (Galileo, Roberval, Fermat and Wallis, among others), in order to display the changing nature of mathematics.

Pascal’S Thoughts Seen In The Light Of Scripture, Loredana Ciurariu

ACMS Conference Proceedings 2011

In this paper we study Pascal’s character via his writings. There are indications that his health might have deteriorated following the experiments he had done using mercury. He talks in his Pensées about faith, grace and purity of the heart, about the peoples and the way in which God leads them, about wisdom, dreams and hopes and that which lies in the human heart. If a statistics was done concerning the most used books and verses from the Bible in Pensées, these would be: Ecclesiastes, Proverbs, Matthew, Mark, Jeremiah, Hebrews, Romans, Luke, Isaiah, Psalms. But those which occupy a central …

Two Faith Integration Projects For Freshman Majors, Nicholas J. Willis

ACMS Conference Proceedings 2011

Two projects will be presented that integrate faith and Mathematics in a freshman Introduction to Proofs class at George Fox University. The first project asks students to look at the life of a Christian Mathematician. The focus of this project is to show students that many great mathematicians also had immense faith. The second project asks students to take a close look at their own life. How do they plan to live a life of Christian faith in their chosen profession? Both projects are designed to encourage students to look at their careers in Mathematics as a vocation.

The Search For Hamilton, Eric Gossett

ACMS Conference Proceedings 2011

In July and August of 2009 my wife and I went on a four-week trip to Scotland and Ireland. We would be visiting Dublin, so I decided that we should visit the famous bridge where William Rowan Hamilton carved the equations for the quaternions. The task was not as simple as I had assumed. This paper gives some details of the search.

Where, Oh Waring? The Classic Problem And Its Extensions, Brian D. Beasley

ACMS Conference Proceedings 2011

This paper will sketch brief outlines of Edward Waring’s life and the history behind the eventual solution to his famous conjecture about expressing positive integers as the sum of kth powers. In addition, it will present some of the related questions currently being studied, such as expressing sufficiently large integers as sums of powers, sums of powers of primes, and sums of unlike powers.

Connecting Mathematics Students To Philosophy And Faith, Nathan Moyer

ACMS Conference Proceedings 2011

This paper describes a class project that helps students wrestle with the deep philosophical questions of mathematics in a relevant way. Through article readings and group discussions, various historical views of mathematical philosophy are examined and critiqued. An emphasis is placed upon students making meaningful connections between their own views of mathematics and their personal Christian faith or worldview.

Paper Abstracts (2011), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 2011

Eighteenth Conference of the Association of Christians in the Mathematical Sciences

Introduction (2011), Russell Howell

ACMS Conference Proceedings 2011

Eighteenth Conference of the Association of Christians in the Mathematical Sciences

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

ACMS Conference Proceedings 2011

Eighteenth Conference of the Association of Christians in the Mathematical Sciences

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

ACMS Conference Proceedings 2011

Eighteenth Conference of the Association of Christians in the Mathematical Sciences

Acms 18th Biennial Conference Proceedings, Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 2011

Association of Christians in the Mathematical Sciences 18th Biennial Conference Proceedings, June 1-4, 2011, Westmont College, Santa Barbara, CA.

Shooting Neural Networks Algorithm For Solving Boundary Value Problems In Odes, Kais I. Ibraheem, Bashir M. Khalaf

Applications and Applied Mathematics: An International Journal (AAM)

The objective of this paper is to use Neural Networks for solving boundary value problems (BVPs) in Ordinary Differential Equations (ODEs). The Neural networks use the principle of Back propagation. Five examples are considered to show effectiveness of using the shooting techniques and neural network for solving the BVPs in ODEs. The convergence properties of the technique, which depend on the convergence of the integration technique and accuracy of the interpolation technique are considered.

The Utility Of Transient Sensitivity For Wildlife Management And Conservation: Bison As A Case Study, Michael Buhnerkempe, Nathanial Burch, Sarah J. Hamilton, Kerry M. Byrne, Eddie Childers, Kirstin A. Holfelder, Lindsay Mcmanus, Matthew I. Pyne, Greg Schroeder, Paul F. Doherty

Mathematics, Statistics and Computer Science Faculty Research and Publications

Developing effective management strategies is essential to conservation biology. Population models and sensitivity analyses on model parameters have provided a means to quantitatively compare different management strategies, allowing managers to objectively assess the resulting impacts. Inference from traditional sensitivity analyses (i.e., eigenvalue sensitivity methods) is only valid for a population at its stable age distribution, while more recent methods have relaxed this assumption and instead focused on transient population dynamics. However, very few case studies, especially in long-lived vertebrates where transient dynamics are potentially most relevant, have applied these transient sensitivity methods and compared them to eigenvalue sensitivity methods. We …

Implementation Of An Inexpensive 3d Scanner, Robert Michael Sivley

Mahurin Honors College Capstone Experience/Thesis Projects

The purpose of this project was to make 3D scanning technology accessible to the general public at an affordable price. To accomplish this, a scanner was designed that utilized structured-light projection. Coupled with triangulation, this provided an inexpensive, image-based modeling technique. Software was developed to analyze the required images and generate a 3D model. Users can edit analysis parameters during runtime to better optimize results for specific images. The 3D models generated are stored according to the .obj standard and can be opened in any commercial 3D modeling software. Results were positive, but several issues exist with the chosen scanning …

Algebraic Solutions To Overdefined Systems With Applications To Cryptanalysis, Eric Crockett

Mathematical Sciences Technical Reports (MSTR)

Cryptographic algorithms are based on a wide variety of difficult problems in mathematics. One of these problems is finding a solution to a system of multivariate quadratic equations (MQ). A generalization of this problem is to find a solution to a system of higher order non-linear equations. Both of these problems are NP-hard over any field. Many cryptosystems such as AES, Serpent, Toyocrypt, and others can be reduced to some form of the MQ problem. In this paper we analyze the relinearization and XL algorithms for solving overdetermined systems of non-linear equations, as well as two variations of the XL …

Noise, Delays, And Resonance In A Neural Network, Austin Quan

HMC Senior Theses

A stochastic-delay differential equation (SDDE) model of a small neural network with recurrent inhibition is presented and analyzed. The model exhibits unexpected transient behavior: oscillations that occur at the boundary of the basins of attraction when the system is bistable. These are known as delay-induced transitory oscillations (DITOs). This behavior is analyzed in the context of stochastic resonance, an unintuitive, though widely researched phenomenon in physical bistable systems where noise can play in constructive role in strengthening an input signal. A method for modeling the dynamics using a probabilistic three-state model is proposed, and supported with numerical evidence. The potential …

Continuous Blooming Of Convex Polyhedra, Erik D. Demaine, Martin L. Demaine, Vi Hart, Joan Iacono, Stefan Langerman, Joseph O'Rourke

Computer Science: Faculty Publications

We construct the first two continuous bloomings of all convex polyhedra. First, the source unfolding can be continuously bloomed. Second, any unfolding of a convex polyhedron can be refined (further cut, by a linear number of cuts) to have a continuous blooming.

Sharp Feature Identification In A Polygon, Joseph P. Scanlan

UNLV Theses, Dissertations, Professional Papers, and Capstones

This thesis presents an efficient algorithm for recognizing and extracting sharp-features from polygonal shapes. As used here, a sharp-feature is a distinct portion of a polygon that is long and skinny. The algorithm executes in O(n^2) time, where n is the number of vertices in the polygon. Experimental results from a Java implementation of the algorithm are also presented.

Circle The Cat: Developing Intelligent Strategies For A Simple Two-Player Game, Kirk Baly, Micheal Lay, Owen Prough

Symposium on Research and Creative Expression (SORCE)

Circle the Cat is an adaptation of the classic mathematical puzzle Qudraphage in which a cat attempts to escape a hexagonal board, but after each move one hexagon is blocked. We have coded a simulation of this classic puzzle. The result of our development allows for the implementation of varying strategies to computationally examine their effectiveness. The code itself, though extensive, is open enough for additions/extensions to be added fairly easily. Analysis of simpler strategies has allowed for improvement of both Cat and Player AI systems. We are currently looking at implementing more advanced systems, perhaps turning to machine learning.

Lazy Golfing, Didar Ashkerbekov, Max Hougas

Symposium on Research and Creative Expression (SORCE)

Walking golfers are expected to leave their golf bags just outside the edge of the green while they are putting the ball. We construct a simple model of this situation, in which the green is assumed to be a circle with the hole at the center and the golfer one-putts the ball. (He or she is a great golfer!) We construct a function to determine the distance that the golfer walks from his or her approach shot on the green and then to the next tee box. Given this model, we determine the optimal location for leaving the golf bag …

Applications Of Hidden Markov Models In Microarray Gene Expression Data, Huimin Geng, Xutao Deng, Hesham Ali

Computer Science Faculty Publications

Hidden Markov models (HMMs) are well developed statistical models to capture hidden information from observable sequential symbols. They were first used in speech recognition in 1970s and have been successfully applied to the analysis of biological sequences since late 1980s as in finding protein secondary structure, CpG islands and families of related DNA or protein sequences [1]. In a HMM, the system being modeled is assumed to be a Markov process with unknown parameters, and the challenge is to determine the hidden parameters from the observable parameters. In this chapter, we described two applications using HMMs to predict gene functions …

Prospective K-8 Teachers’ Knowledge Of Relational Thinking, Marta Magiera, Leigh A. Van Den Kieboom, John Moyer

Mathematics, Statistics and Computer Science Faculty Research and Publications

The goal of this study was to examine two issues: First, pre-service teachers’ ability and inclination to think relationally prior to instruction about the role relational thinking plays in the K-8 mathematics curriculum. Second, to examine task specific variables possibly associated with pre-service teachers’ inclination to engage in relational thinking. The results revealed that preservice teachers engage in relational thinking about equality, however, their inclination to do so is rather limited. Furthermore, they tend to engage in relational thinking more frequently in the context of arithmetic than algebra-related tasks. Pre-service teachers’ inclination to engage in relational thinking appeared to also …

Characterization Of The Threshold For Nad(P)H:Quinone Oxidoreductase Activity In Intact Sulforaphane-Treated Pulmonary Arterial Endothelial Cells, Robert D. Bongard, Gary S. Krenz, Adam J. Gastonguay, Carol L. Williams, Brian J. Lindemer, Marilyn P. Merker

Mathematics, Statistics and Computer Science Faculty Research and Publications

Treatment of bovine pulmonary arterial endothelial cells in culture with the phase II enzyme inducer sulforaphane (5 μM, 24 h; sulf-treated) increased cell-lysate NAD(P)H:quinone oxidoreductase (NQO1) activity by 5.7 ± 0.6 (mean ± SEM)-fold, but intact-cell NQO1 activity by only 2.8 ± 0.1-fold compared to control cells. To evaluate the hypothesis that the threshold for sulforaphane-induced intact-cell NQO1 activity reflects a limitation in the capacity to supply NADPH at a sufficient rate to drive all the induced NQO1 to its maximum activity, total KOH-extractable pyridine nucleotides were measured in cells treated with duroquinone to stimulate maximal NQO1 activity. NQO1 activation …

Characterizing The Arc, Paul Bankston

Mathematics, Statistics and Computer Science Faculty Research and Publications

We offer a mathematical logic framework for talking about when a given topological space is characterizable relative to a “class of its peers.” The framework involves a relational alphabet for which there is a natural way of assigning relational structures to spaces in the peer class; and a putative characterization of the given space consists of a set of first-order sentences over that alphabet, all true for the space. The attempted characterization is a success if any peer space satisfying all the sentences is inevitably homeomorphic to the given space.

For example, it has long been known that the arc …

Common Hypercyclic Vectors For The Conjugate Class Of A Hypercyclic Operator, Kit C. Chan, Rebecca Sanders

Mathematics, Statistics and Computer Science Faculty Research and Publications

Given a separable, infinite dimensional Hilbert space, it was recently shown by the authors that there is a path of chaotic operators, which is dense in the operator algebra with the strong operator topology, and along which every operator has the exact same dense G_δ set of hypercyclic vectors. In the present work, we show that the conjugate set of any hypercyclic operator on a separable, infinite dimensional Banach space always contains a path of operators which is dense with the strong operator topology, and yet the set of common hypercyclic vectors for the entire path is a dense …

Signal And Noise In Complex-Valued Sense Mr Image Reconstruction, Daniel B. Rowe, Iain P. Bruce

Mathematics, Statistics and Computer Science Faculty Research and Publications

In fMRI, brain images are not measured instantaneously and a volume of images can take two seconds to acquire at a low 64x64 resolution. Significant effort has been put forth on many fronts to decrease image acquisition time including parallel imaging. In parallel imaging, sub-sampled spatial frequency points are measured in parallel and combined to form a single image. Measurement time is decreased at the expense of increased image reconstruction difficulty and time. One significant parallel imaging technique known as SENSE utilizes a complex-valued regression coefficient estimation process with transposes replaced by conjugate transposes. However, in SENSE the noise structure …