Computer Sciences Commons^™

The Applicability Of Mathematics And The Naturalist Die, Ricardo J. Cordero-Soto

ACMS Conference Proceedings 2019

Philosopher and Christian apologist William Lane Craig has proposed a valid deductive argument for God’s existence that is rooted in the applicability of mathematics to the physical universe. This argument was presented by Craig during a debate with philosopher and atheist Alex Rosenberg. During the debate, Rosenberg presented a rebuttal to the soundness of this argument by appealing to chance as an explanation to the applicability of mathematics to the physical universe. In this talk, the presenter will discuss how the naturalist die is unable to produce “chance application” of mathematics while defending the soundness of the argument in light …

Faith, Mathematics, And Science: The Priority Of Scripture In The Pursuit And Acquisition Of Truth, Bob Mallison

ACMS Conference Proceedings 2019

This research will examine some approaches for identifying truth as well as some issues involved in recognizing reliable sources of information. We will proceed from a decidedly Christian perspective including the conviction that God created an orderly universe (and that studying nature provides valuable information about Him) and that His Word, the Bible, even more clearly expresses in- formation about Him. We will discuss some of the essential tools used by mathematicians and scientists for the discovery of truth – namely, models. We will examine some valuable models from history, and briefly discuss that as additional scientific information became available, …

Teaching Mathematics At An African University -- My Experience, Kathleen Lewis

ACMS Conference Proceedings 2019

For eight years (2010-2018), I was the head of the math department at The University of The Gambia, a small, new (started in 1999) university in a very small, mostly Muslim, West African country that most Americans have never heard of. During that time, a number of other Americans and Europeans came to teach for shorter periods of time. I will talk about what this experience was like for us, both the good and the bad. I will describe the possibilities for others to spend either a sabbatical or an extended period of time at such a university and suggest …

Lagrange's Interpolation, Chinese Remainder, And Linear Equations, Jesús Jiménez

ACMS Conference Proceedings 2019

Consider a finite set of points {(x1, y1), (x2, y2), . . . , (xk , yk )} in R2. The Lagrange’s interpolation problem is to find a polynomial p(x) of degree k − 1 satisfying p(xi) = yi for 1 ≤ i ≤ k. We will recall the solution to Lagrange’s interpolation problems as an instance of the Chinese Remainder Theorem. Next, we will show that a similar approach can be used to construct solutions to a system of linear equations.

Addressing Challenges In Creating Math Presentations, David Schweitzer

ACMS Conference Proceedings 2019

When it comes to composing presentation slides with extensive mathematical content, each of the slide creation platforms has at least one significant drawback. Whether it is Beamer and its steep learning curve, PowerPoint and its relative inefficiency with math, Google Slides and its complete lack of math capabilities, or some other platform, no one tool single-handedly offers an ideal solution. Additionally, if users desire creative flexibility, such as the ability to easily change fonts or colors, the platforms’ respective limitations can become even more pronounced. In a project that has been well suited for undergraduate research, the presenter and his …

Overcoming Stereotypes Through A Liberal Arts Math Course, Jessica Hamm

ACMS Conference Proceedings 2019

"I'm just not a math person.” We’ve heard this comment countless times from our students. It is a mentality that both paralyzes and strangely comforts them. In this talk I will describe how I use my liberal arts Joy of Mathematics course to help students address and overcome stereotypes. In particular, I will discuss a specific assignment as well as share some student comments and perspectives on how this course helped change their viewpoint on more than just math.

Maximum Elements Of Ordered Sets And Anselm's Ontological Argument, Doug Ward

ACMS Conference Proceedings 2019

I will present a simple theorem concerning maximal elements of a set T endowed with an ordering “>” that is antisymmetric, i.e., if A and B are elements of T , we cannot have both A > B and B > A. A special case of this theorem is a simple version of the ontological argument, one of the classical proofs for the existence of God.

Numerical Range Of Toeplitz Matrices Over Finite Fields, Derek Thompson, Maddison Guillaume Baker, Amish Mishra

ACMS Conference Proceedings 2019

We characterize the kth numerical range of all n×n Toeplitz matrices with a constant main diagonal and another single, non-zero diagonal, where the matrices are over the field Zp[i], with p a prime congruent to 3 mod 4. We find that, for k ∈ Z∗, the kth numerical range is always equal to Zp[i] with the exception of the scaled identity. We also use similar techniques to discover a general connection between the 0th numerical range and the kth numerical range. Lastly, we conclude with a conjecture regarding the general numerical range of all triangular Toeplitz matrices.

Is Mathematical Truth Time Dependent? Comments From A Paper By Judith Grabiner, Richard Stout

ACMS Conference Proceedings 2019

Judith Grabiner, a renowned historian of mathematics, has written many papers related to signifi- cant changes in the content and nature of analysis, from the 17th through the 19th century. In her paper “Is Mathematical Truth Time Dependent?” Professor Grabiner gives several reasons for the changing nature and requirements in rigor that occurred over this period of two hundred years. In this talk I will briefly summarize her conclusions, particularly in light of how they might influence a Christian perspective on mathematics.

Models, Values, And Disasters, Michael H. Veatch

ACMS Conference Proceedings 2019

Decision-support models have values embedded in them and are subjective to varying degrees. Philosophical and ethical perspectives on operations research models are used to describe this subjectivity. Approaches to model building are then suggested that take into account subjectivity and values. For the decisions to reflect the right values, the model must align with the decision-maker’s values. I argue that it is appropriate and important for Christians applying mathematical models to be keenly aware of decision-maker’s values and seek to reflect them in the model. Disaster response planning is presented as an example where incorporating values is challenging. The responding …

Factors That Motivate Students To Learn Mathematics, Dave Klanderman, Sarah Klanderman, Benjamin Gliesmann, Josh Wilkerson, Patrick Eggleton

ACMS Conference Proceedings 2019

What motivates some students to want to learn mathematics while others do not share similar motivation? Are these factors intrinsic, extrinsic, or a combination of both? To answer these questions, we adapted a survey originally developed by Tapia (1996) and later shortened by Lim and Chapman (2015). We administered the survey in multiple middle schools, a high school, and multiple colleges and universities. We obtained over 100 completed surveys for each of these educational levels. This presentation offers an analysis of these data, including descriptive statistics and confidence intervals for each educational level. For the college and university sample, we …

Thinking Beautifully About Mathematics: A View Of Mathematics As The Science Of Measurable Orders, James M. Turner

ACMS Conference Proceedings 2019

At Calvin College, First Year Students are required to take a section of our Discovering the Christian Mind course during our January term. For the past 3 years, I have taught a section of this course titled Thinking Beautiful ly about Mathematics. In it, I explored, with the students, various areas of mathematics, as well as how mathematicians have explored them, while addressing such questions as “Is mathematics invented or discovered?” and “Why is mathematics unreasonably effective?” Ultimately, we look to identify ways and characterizations for how beauty displays itself in mathematics and how and it what ways beauty is …

Marin Mersenne: Minim Monk And Messenger; Monotheism, Mathematics, And Music, Karl-Dieter Crisman

ACMS Conference Proceedings 2019

If you have taught a number theory course or even watched the mathematical news, you know that occasionally a new (and enormous) “Mersenne prime” is discovered. Those who have introduced students to the prehistory of calculus may know of a certain Marin Mersenne as the interlocutor who drew Fermat and Descartes (and others) out to discuss their methods of tangents (and more). But who was Mersenne, and what did he actually do? This presentation will give an overview of his times, his role in the history of science, and his own writings. We’ll especially look into why a monk from …

Analyzing The Impact Of Active Learning In General Education Mathematics Courses, Amanda Harsy, Marie Meyer, Michael Smith, Brittany Stephenson

ACMS Conference Proceedings 2019

This talk shares the preliminary results of a study that explores the general perceptions and attitudes of students in general education mathematics courses taught using primarily active learning- based methods (like group work, projects, and discovery learning), and compares them with those enrolled in a general education mathematics course taught in a more traditional and lecture-based method. We present an analysis of survey data collected throughout the semester, which explores the disposition and mindset of students, their mathematical confidence and anxiety, and perceptions of pedagogical methods used for the teaching of mathematics. We also explored how these perceptions and dispositions …

Computer Science: Creating In A Fallen World, Russell Tuck

ACMS Conference Proceedings 2019

When God created people in his image, he gave us the gift of sub-creation. One of the great joys of Computer Science is exercising that gift to create tools : software and computer systems that serve people and solve problems. Like all God’s gifts, he charges us to exercise the gift of sub-creation wisely and for good. While there are many obvious implications and challenges, being good stewardship of users’ time and reducing discrimination are particularly relevant and perhaps less obvious examples. Although computer scientists exercise the gift of sub-creation, we do so as fallen people in a fallen world. …

A Unifying Project For A Tex/Cas Course, Andrew Simoson

ACMS Conference Proceedings 2019

We describe a CAS and TEX usage course for mathematics majors. As a unifying project, each student selects two primes p and q with pq < 100, explores mathematical pq ideas, and generates associated graphs, figures, tables for a final TEX paper. We summarize several pq explorations: stu- dents render page pq from Schwartz’s picture book about primes, You Can Count on Monsters, via Mathematica and TEX’s picture environment; students generate fractal images of pq; and students discover the primes of the ring Z r√pql.

A Study Of Machine Learning And Deep Learning Models For Solving Medical Imaging Problems, Fadi G. Farhat

Theses

Application of machine learning and deep learning methods on medical imaging aims to create systems that can help in the diagnosis of disease and the automation of analyzing medical images in order to facilitate treatment planning. Deep learning methods do well in image recognition, but medical images present unique challenges. The lack of large amounts of data, the image size, and the high class-imbalance in most datasets, makes training a machine learning model to recognize a particular pattern that is typically present only in case images a formidable task.

Experiments are conducted to classify breast cancer images as healthy or …

A Comparative Study Of Russian Trolls Using Several Machine Learning Models On Twitter Data, Kannan Neten Dharan Kannan Neten Dharan

Theses

Ever since Russian trolls have been brought into light, their interference in the 2016 US Presidential elections has been monitored and studied thoroughly. These Russian trolls have fake accounts registered on several major social media sites to influence public opinions. Our work involves trying to discover patterns in these tweets and classifying them by using different machine learning approaches such as Support Vector Machines, Word2vec and neural network models, and then creating a benchmark to compare all the different models. Two machine learning models are developed for this purpose. The first one is used to classify any given specific tweet …

Deep Morphological Neural Networks, Yucong Shen

Theses

Mathematical morphology is a theory and technique applied to collect features like geometric and topological structures in digital images. Determining suitable morphological operations and structuring elements for a give purpose is a cumbersome and time-consuming task. In this paper, morphological neural networks are proposed to address this problem. Serving as a non-linear feature extracting layers in deep learning frameworks, the efficiency of the proposed morphological layer is confirmed analytically and empirically. With a known target, a single-filter morphological layer learns the structuring element correctly, and an adaptive layer can automatically select appropriate morphological operations. For high level applications, the proposed …

Cs+Sociology: Global Inequality Lab 1, Elin Waring, Janet Michello

Open Educational Resources

These materials include background for the instructor and a lab that engages student in an analysis of global inequality while learning and using the R language (a programming language for statistics). Students obtain data on the US and two other countries (one more developed and one less developed).

Cs+Sociology: Global Inequality Lab 2, Elin Waring, Janet Michello

Open Educational Resources

These materials include background for the instructor and a lab that engages student in an analysis of global inequality while learning and using the R language (a programming language for statistics). Students ultimately write a function to access country level data from the CIA World Factbook.

Hacking The Extended Mind: The Security Implications Of The New Metaphysics, Robin L. Zebrowski

Computer Ethics - Philosophical Enquiry (CEPE) Proceedings

Computer security expert Paul Syverson has argued that there is a computer security equivalent of gaslighting: where a clever adversary could convince some system that some component that is not really a part of the system is in fact a part of the system. If non-biological items from our environments (or even pieces of our environments themselves) can be part of our minds (the standard Extended Mind hypothesis, EM), they are therefore part of our selves, and therefore subject to Syverson’s worry about boundary in a way that has not been explored before. If some version of EM holds, then …

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

ACMS Conference Proceedings 2019

No abstract provided.

Application Of Binary Search To Video Annotation And Behavior Tracking For The Social Sciences, Caitlyn Lee

Dartmouth College Undergraduate Theses

Annotation and labeling is a critical component of computer vision. However, completed manually, this process is time and cost-intensive. In particular, video annotation is particularly arduous in terms of manual annotation and therefore is additionally costly. Because videos are often annotated frame by frame, making little use of the fact that the data between any two consecutive frames are closely related, the process of completing a single video annotation is the equivalent of the cumulative work of annotating and labeling an equal number of distinct images. For certain applications of video annotation, we can leverage assumptions about the objects in …

Comparing Brain-Like Representations Learned By Vanilla, Residual, And Recurrent Cnn Architectures, Cara E. Van Uden

Dartmouth College Undergraduate Theses

Though it has been hypothesized that state-of-the art residual networks approximate the recurrent visual system, it is yet to be seen if the representations learned by these "biologically inspired" CNNs actually have closer representations to neural data. It is likely that CNNs and DNNs that are most functionally similar to the brain will contain mechanisms that are most like those used by the brain. In this thesis, we investigate how different CNN architectures approximate the representations learned through the ventral-object recognition and processing-stream of the brain. We specifically evaluate how recent approximations of biological neural recurrence-such as residual connections, dense …

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

ACMS Conference Proceedings 2019

No abstract provided.

Malicious Manipulation In Service-Oriented Network, Software, And Mobile Systems: Threats And Defenses, Dakun Shen

USF Tampa Graduate Theses and Dissertations

This dissertation includes three approaches we have been designed to tackle threats and challenges in network, software, and mobile security. The first approach demonstrates a new class of content masking attacks against the Adobe PDF standard, causing documents to appear to humans dissimilar to the underlying content extracted by information-based services. The second work protects sensitive data in binaries from being corrupted by cyber attackers. The last work proposes a mechanism which utilizes the unique walking patterns inherent to humans and differentiate our work from other walking behavior studies by using it as first-order authentication and developing matching methods fast …

Confucian Robot Ethics, Qin Zhu, Tom Williams, Ruchen Wen

Computer Ethics - Philosophical Enquiry (CEPE) Proceedings

In the literature of artificial moral agents (AMAs), most work is influenced by either deontological or utilitarian frameworks. It has also been widely acknowledged that these Western “rule-based” ethical theories have encountered both philosophical and computing challenges. To tackle these challenges, this paper explores a non-Western, role-based, Confucian approach to robot ethics. In this paper, we start by providing a short introduction to some theoretical fundamentals of Confucian ethics. Then, we discuss some very preliminary ideas for constructing a Confucian approach to robot ethics. Lastly, we briefly share a couple of empirical studies our research group has recently conducted that …

Rethinking Algorithmic Bias Through Phenomenology And Pragmatism, Johnathan C. Flowers

Computer Ethics - Philosophical Enquiry (CEPE) Proceedings

In 2017, Amazon discontinued an attempt at developing a hiring algorithm which would enable the company to streamline its hiring processes due to apparent gender discrimination. Specifically, the algorithm, trained on over a decade’s worth of resumes submitted to Amazon, learned to penalize applications that contained references to women, that indicated graduation from all women’s colleges, or otherwise indicated that an applicant was not male. Amazon’s algorithm took up the history of Amazon’s applicant pool and integrated it into its present “problematic situation,” for the purposes of future action. Consequently, Amazon declared the project a failure: even after attempting to …

What To Do When Privacy Is Gone, James Brusseau

Computer Ethics - Philosophical Enquiry (CEPE) Proceedings

Today’s ethics of privacy is largely dedicated to defending personal information from big data technologies. This essay goes in the other direction. It considers the struggle to be lost, and explores two strategies for living after privacy is gone. First, total exposure embraces privacy’s decline, and then contributes to the process with transparency. All personal information is shared without reservation. The resulting ethics is explored through a big data version of Robert Nozick’s Experience Machine thought experiment. Second, transient existence responds to privacy’s loss by ceaselessly generating new personal identities, which translates into constantly producing temporarily unviolated private information. The …