Computer Sciences Commons^™

Explore Global Opportunities For Mathematics Scholarship, Teaching, And Service, Ron Benbow

ACMS Conference Proceedings 2013

There are numerous overseas opportunities in which to apply your knowledge and interest in mathematics. These international experiences allow you to expand your scholarship, to extend your teaching skills, to offer professional services to K-12 teachers or other university instructors, and to provide much personal enrichment as well. Examples from recent professional experiences in Liberia, Haiti, Guatemala, and Ecuador will be shared to illustrate the connections to teaching, scholarship, and service. Information regarding MAA Study Tours, Fulbright Specialist grants, and other relevant organizations will be provided.

Euler And The Ongoing Search For Odd Perfect Numbers, Brian D. Beasley

ACMS Conference Proceedings 2013

Leonhard Euler, after proving that every even perfect number has the form given by Euclid, turned his attention to finding odd perfect numbers. Euler established a basic factorization pattern that every odd perfect number must have, and mathematicians have expanded upon this Eulerian form ever since. This paper will present a brief summary of Euler’s result and some recent generalizations. It will also note connections between odd perfect numbers and the abundancy index (the abundancy index of a positive integer is the ratio of the sum of its positive divisors to itself). In particular, finding a positive integer with an …

Computing Foundations For The Scientist, Catherine Bareiss, Larry Vail

ACMS Conference Proceedings 2013

There is a need for a new style of supporting a computer course. Although it is widely recognized that computer technology provides essential tools for all current scientific work, few university curricula adequately ground science majors in the fundamentals that underlie this technology. Introducing science students to computational thinking in the areas of algorithms and data structures, data representation and accuracy, abstraction, performance issues, and database concepts can enable future scientists to become intelligent, creative and effective users of this technology. The intent of this course is not to turn scientists into computer scientists, but rather to enhance their ability …

A Different Approach, Catherine Crockett

ACMS Conference Proceedings 2013

This paper discusses an approach used to encourage science majors to rethink their attitudes and study habits in a first semester calculus course. Two activities were used to enhance study habits. They are outlining concepts and in-class quizzes designed for self-evaluation of skills. After using both methods in two sections of the calculus course, the students were surveyed to determine if these activities were successful. A majority of the students felt the activities were helpful and wanted to continue them.

Reading Assignments And Assessments: Are Your Students Reading Math Texts Before Class, After Class, Both, Or Neither?, David Klanderman, Mandi Maxwell, Sharon Robbert, Bill Boerman-Cornell

ACMS Conference Proceedings 2013

In his recent book What the Best College Students Do [Bain, 2012], Ken Bain defines a number of different types of students including “surface learners,” “strategic learners,” “routine experts,” and finally, “deep learners.” In our mathematics courses at Trinity, we have found examples of all of these student types. A major determinant of their preferred approach to learning appears to be the ways and degrees to which mathematical texts and other written materials are read prior to class sessions. Each full-time member of the department both assigns and assesses the reading of mathematical materials prior to class sessions. Assessment methods, …

Philosophy Of “Spinning Wheels”, Loredana Ciurariu

ACMS Conference Proceedings 2013

In this material I will speak about some well-known mechanisms studied by students and engineers emphasizing the impact which “spinning wheels” had and have in development of the society, on Christians and the church. Also the discovery of the machineries determines major changes in the people’s outlook and leads to new trends in philosophy and Christianity. Then, I will give some examples from the Bible where “spinning wheels” it seems to appear: Judges 16:21, Ezekiel 1 and Revelation. It is also interesting to see 2 Kings 2:9-12, 2 Kings 6:13-18 and maybe Daniel 7:9.

In addition, an avi file where …

An Investigation Of Hi Ho! Cherry-O Using Markov Chains, Nicholas C. Zoller

ACMS Conference Proceedings 2013

In the children’s board game Hi Ho! Cherry-O, players attempt to move 10 cherries from their trees to a bucket in the center of the game board. A spinner determines whether a turn includes moving cherries from tree to bucket or bucket to tree. The winner of the game is the first player to move all of her cherries from her tree to the bucket. We model the gameplay using a Markov chain and calculate the expected number of turns needed to complete one game. Then we investigate what happens when the rules are changed. We discover that rules …

The Structures Of The Actual World, Walter J. Schultz, Lisanne D’ Andrea Winslow

ACMS Conference Proceedings 2013

Scripture teaches that God has a plan for the universe. In this paper we argue that in order for it to function as a plan, it must have a temporal structure, a representational structure, and a proto-causal structure. This paper presents a formal model of the these three structures. As it turns out, the structures of God’s plan are best understood as the structures of a musical composition. We, then very briefly describe its implications. The first is that this model (based ultimately in the doctrine of God) grounds a metaphysics of science. Second, it grounds a structuralist philosophy of …

Perspectives On Chaos: Reflections Of A Mathematical Physicist, Kyle Spyksma

ACMS Conference Proceedings 2013

Chaos Theory, the mathematical media darling of the ’90s, has become less of a societal fad and research interest over the past couple of decades. However, from a mathematical physicists’ perspective, issues surrounding Chaos Theory can be valuable aides in forming views on how mathematics, science and reality relate. In this talk, I will briefly explore how Chaos Theory can shape views of these relationships, with a focus on the language we use and (perhaps unintentionally) abuse when doing science and mathematics.

Introduction (2013), Eric Gossett

ACMS Conference Proceedings 2013

Nineteenth Conference of the Association of Christians in the Mathematical Sciences

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

ACMS Conference Proceedings 2013

Nineteenth Conference of the Association of Christians in the Mathematical Sciences

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

ACMS Conference Proceedings 2013

Nineteenth Conference of the Association of Christians in the Mathematical Sciences

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

ACMS Conference Proceedings 2013

Nineteenth Conference of the Association of Christians in the Mathematical Sciences

19th Conference Of The Associations Of Christians In The Mathematical Sciences, Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 2013

Association of Christians in the Mathematical Sciences 19th Biennial Conference Proceedings, May 29 - June 1, 2011, Bethel University.

Iterative Statistical Verification Of Probabilistic Plans, Colin M. Potts

Lawrence University Honors Projects

Artificial intelligence seeks to create intelligent agents. An agent can be anything: an autopilot, a self-driving car, a robot, a person, or even an anti-virus system. While the current state-of-the-art may not achieve intelligence (a rather dubious thing to quantify) it certainly achieves a sense of autonomy. A key aspect of an autonomous system is its ability to maintain and guarantee safety—defined as avoiding some set of undesired outcomes. The piece of software responsible for this is called a planner, which is essentially an automated problem solver. An advantage computer planners have over humans is their ability to consider and …

Characterizations Of Certain Recently Introduced Distributions, Gholamhossein Hamedani

Mathematics, Statistics and Computer Science Faculty Research and Publications

Various characterizations of the Beta Weibull Geometric distribution of Bidram et al. (2011), the New Generalized Exponential distribution of Bidram et al. (2012), and the Gamma Exponentiated Weibull distribution of Pinho et al. (2012) are presented. These characterizations are based on: (i) a simple relationship between two truncated moments (ii) certain functions of the nth order statistic, and (iii) certain functions of the 1st order statistics.

Simulated Annealing Approach To Flow Shop Scheduling, Sadhana Yellanki

UNLV Theses, Dissertations, Professional Papers, and Capstones

Flow Shop Scheduling refers to the process of allotting various jobs to the machines given, such that every job starts to process on a machine n only after it has finished processing on machine n-1, with each job having n operations to be performed one per machine. To find a schedule that leads to the optimal utilization of resources, expects the schedule to finish in a minimum span of time, and also satisfy the optimality criterion set for the related scheduling problem is NP-Hard, if n > 2. In this thesis, we have developed an algorithm adopting a heuristic called Simulated …

Image Processing Algorithms For Improving Planetary Exploration And Understanding, Ali Pouryazdanpanah

College of Engineering: Graduate Celebration Programs

• To design a fully automated tool-set that allows to detect and extract the sky region in planetary images.

• To develop the new method for rock segmentation in planetary stereo images.
• To develop the new method for shadow detection in planetary images

Mono-Sized Sphere Packing Algorithm Development Using Optimized Monte Carlo Technique, Karn Soontrapa, Yitung Chen

College of Engineering: Graduate Celebration Programs

In this research, fuel cell catalyst layer was developed using the optimized sphere packing algorithm. An optimization technique named adaptive random search technique (ARSET) was employed in this packing algorithm. The ARSET algorithm will generate the initial location of spheres and allow them to move in the random direction with the variable moving distance, randomly selected from the sampling range (a), based on the Lennard–Jones potential and Morse potential of the current and new configuration. The solid fraction values obtained from this developed algorithm are in the range of 0.610–0.624 while the actual processing time can significantly be reduced by …

Sorting Permutations With Finite-Depth Stacks, Timothy Goodrich, Will Olson, Ruyue Yuan

Symposium on Research and Creative Expression (SORCE)

Sorting organizes information for optimal usage, and our work examines the mathematics behind sorting with stacks. In 1968, Donald Knuth showed that a permutation is sortable in an infinite-depth stack if and only if it avoids the pattern 231; Knuth also enumerated these permutations. Twenty-five years later, Julian West extended these ideas to permutations sortable with 2 consecutive stacks. We continue this work by limiting the stack(s) to a finite depth. In particular, we completely characterize permutations sortable through a single finite-depth stack and derive a handy enumeration formula. We also apply our pattern characterization and enumeration techniques to permutations …

Simulation Modeling And Analysis Of Coal Shipping Operations, Raymond Finzel, Timothy Goodrich, Graeme Roberts

Symposium on Research and Creative Expression (SORCE)

Computer simulations are increasingly powerful and realistic models for complex real-world scenarios, and our project applies this technology to model a coal transportation case study. Given a baseline scenario of fourteen carriers transporting coal from three U.S. locations to four international locations, we optimize operations in terms of product flow, time required for shipments, and total operation costs. Implementing the case study's factors into modular code, we introduce several potential changes to current operations and develop specific scenarios. Further, in analyzing these scenarios we test for robustness and sensitivity, by changing values such as demand and bad weather occurrences, and …

Optimizing The Allocation Of Vaccines In The Presence Of Multiple Strains Of The Influenza Virus, Abby Kenyon, Ana Eveler, Tayler Grashel, Jessica Richardson

Symposium on Research and Creative Expression (SORCE)

During the annual flu season, multiple strains of the influenza virus are often present within a population. It is a significant challenge for health care administrators to determine the most effective allocation of two different vaccines to combat the various strains when treating the public. We employ a mathematical model, a system of differential equations, to find a strategy for vaccinating a population in order to minimize the number of infected individuals. We consider various strengths of transmission of the disease, availability of vaccine doses, vaccination rates, and other model parameters. This research may lead to more effective health care …

Mapcores 2012-2013 Assessment Report, Kristen Nairn, Pamela L. Bacon, Jim Crumley, Lynn Ziegler

MapCores Faculty Publications

This is a report showing the assessment results for the MapCores (MAthematics, Physics, COmputer science REsearch Scholars) program at the College of Saint Benedict. Started in 2009, MapCores is a cohort-based program designed to increase women's interest and achievement in mathematics, physics, computer science and engineering. The report was submitted for the National Science Foundation grant number 0965705.

Study Of Spatiotemporal Signatures Between Objects To Improve Video Segmentation In Complex Environments, Adam Robert Reckley

Electrical & Computer Engineering Theses & Dissertations

Background subtraction is often considered to be a required stage of any video surveillance system being used to detect objects in a single frame and/or track objects across multiple frames in a video sequence. Most current state-of-the-art techniques for object detection and tracking utilize some form of background subtraction that involves developing a model of the background at a pixel, region or frame level and designating any elements that deviate from the background model as foreground. Most existing approaches are capable of segmenting a number of distinct components, but are unable to distinguish between the desired object of interest and …

Combinatorial Pooling Enables Selective Sequencing Of The Barley Gene Space, Stefano Lonardi, Denisa Duma, Matthew Alpert, Francesca Cordero, Marco Beccuti, Prasanna R. Bhat, Yonghui Wu, Gianfranco Ciardo, Burair Alsaihati, Steve Wanamaker, Josh Resnik, Serdar Bozdag, Ming-Cheng Luo, Timothy J. Close

Mathematics, Statistics and Computer Science Faculty Research and Publications

For the vast majority of species – including many economically or ecologically important organisms, progress in biological research is hampered due to the lack of a reference genome sequence. Despite recent advances in sequencing technologies, several factors still limit the availability of such a critical resource. At the same time, many research groups and international consortia have already produced BAC libraries and physical maps and now are in a position to proceed with the development of whole-genome sequences organized around a physical map anchored to a genetic map. We propose a BAC-by-BAC sequencing protocol that combines combinatorial pooling design and …

Direct Eit Reconstructions Of Complex Admittivities On A Chest-Shaped Domain In 2-D, Sarah J. Hamilton, Jennifer L. Mueller

Mathematics, Statistics and Computer Science Faculty Research and Publications

Electrical impedance tomography (EIT) is a medical imaging technique in which current is applied on electrodes on the surface of the body, the resulting voltage is measured, and an inverse problem is solved to recover the conductivity and/or permittivity in the interior. Images are then formed from the reconstructed conductivity and permittivity distributions. In the 2-D geometry, EIT is clinically useful for chest imaging. In this work, an implementation of a D-bar method for complex admittivities on a general 2-D domain is presented. In particular, reconstructions are computed on a chest-shaped domain for several realistic phantoms including a simulated pneumothorax, …

Age-Specific Signatures Of Glioblastoma At The Genomic, Genetic, And Epigenetic Levels, Serdar Bozdag, Aiguo Li, Gregory Riddick, Yuri Kotliarov, Mehmet Baysan, Fabio M. Iwamoto, Margaret C. Cam, Svetlana Kotliarova, Howard A. Fine

Mathematics, Statistics and Computer Science Faculty Research and Publications

Age is a powerful predictor of survival in glioblastoma multiforme (GBM) yet the biological basis for the difference in clinical outcome is mostly unknown. Discovering genes and pathways that would explain age-specific survival difference could generate opportunities for novel therapeutics for GBM. Here we have integrated gene expression, exon expression, microRNA expression, copy number alteration, SNP, whole exome sequence, and DNA methylation data sets of a cohort of GBM patients in The Cancer Genome Atlas (TCGA) project to discover age-specific signatures at the transcriptional, genetic, and epigenetic levels and validated our findings on the REMBRANDT data set. We found major …

Volume 05, Ian Karamarkovich, Jessica Cox, Kyle Fowlkes, Allison Pawlowski, Kaitlin Major, Carrie Dunham, Kelsey Scheitlin, Kathryn Grayson, Ashley Johnson, Jennifer Nehrt, Kelsey Stolzenbach, Kristin Mcquarrie, Sara Nelson, Melisa Michelle, Jessica Sudlow, Perry Bason, Danielle Dmuchawski, Mariah Asbell, Matthew Sakach, Timothy Smith Jr., Annaliese Troxell, T. Dane Summerell, Sarah Ganrude, Malina Rutherford, Hannah Hopper, John Berry Jr., James Early, Colleen Festa, Chelsea D. Taylor, Michelle Maddox, Kaitlyn Smith, Sarah Schu, Cabell Edmunds, Katherine Grayson, Kayla Tornai

Incite: The Journal of Undergraduate Scholarship

Introduction from Dean Dr. Charles Ross

The Tallis House as an Extension of Emily Tallis in McEwan's Atonement by Ian Karamarkovich

Graphic Design by Jessica Cox

Graphic Design by Kyle Fowlkes

Graphic Design by Allison Pawlowski

Incorporating Original Research in The Classroom: A Case Study Analyzing the Influence of the Chesapeake Bay on Local Temperatures by Kaitlin Major, Carrie Dunham and Dr. Kelsey Scheitlin

Graphic Design by Kathryn Grayson

Graphic Design by Ashley Johnson

Facing the Music: Environmental Impact Assessment of Building A Concert Hall on North Campus by Jennifer Nehrt, Kelsey Stolzenbach And Dr. Kelsey Scheitlin

Art by Kristin …

Stable Image Reconstruction Using Total Variation Minimization, Deanna Needell, Rachel Ward

CMC Faculty Publications and Research

This article presents near-optimal guarantees for stable and robust image recovery from undersampled noisy measurements using total variation minimization. In particular, we show that from O(s log(N)) nonadaptive linear measurements, an image can be reconstructed to within the best s-term approximation of its gradient up to a logarithmic factor, and this factor can be removed by taking slightly more measurements. Along the way, we prove a strengthened Sobolev inequality for functions lying in the null space of suitably incoherent matrices.

Developing A Stem Teacher Recruitment Pipeline, Kimberly Shaw, Cindy Ticknor, Tim Howard

Interdisciplinary STEM Teaching & Learning Conference (2012-2019) (Archived)

The Columbus Region Academy of Future Teachers of STEM (CRAFT-STEM), a Phase I Robert Noyce Teacher Scholarship Program, combines internships and scholarships, an exciting summer STEM Honors Camp, a new Teaching Connections Seminar, and an impressive array of existing resources to recruit, prepare, and graduate an increasing number of STEM teachers committed to serving high need high schools.