Computer Sciences Commons^™

Exploring The Materials Of Tuis: A Multi-Method Approach, Sarah Hayes, Trevor Hogan, Kieran Delaney

Conference Papers

In this paper we report on the early developments and future plans of a study that aims to shed light on: (1) the material choices designers make when creating tangible user interfaces (TUIs), (2) how people characterise these materials, and (3) how these materials affect the way we experience TUIs. To achieve these goals we designed a study that involves a number of phases and methods, including surveying the range of materials used in TUIs, gathering accounts of how people characterise a selection of these materials and finally evaluating a wider range of materials based on these established characteristics. In …

Piecing Together The Past: Constructing Stories With Jigsaw Puzzles In Museums, Sarah Hayes, Michelle O'Keefe, Trevor Hogan

Conference Papers

In this paper we present PuzzleBeo, an interactive installation that comprises of a computer mediated jigsaw puzzle and multimodal display to engage children with museum exhibits in a fun and playful manner. PuzzleBeo is designed to allow children to construct stories within a maritime museum located in south coast of Ireland. The aim here is to augment traditional analogue games with digital technology to enhance children’s experience of the museum while also stimulating their curiosity in the presented stories. In the following we describe the design rationale and technical implementation of the installation, which is based on creating an inviting …

Institutional Research And Advanced Analytics, Mary Kathryn Starkey, Shelby Albers

Research Data and Scholarly Communications Committee Workshops

Tableau empowers everyone to see and understand their data. The Institutional Research & Advanced Analytics (IRAA) team will deliver an engaging one-hour demonstration that covers the ins and outs of Tableau Desktop and Tableau Server. We will also show you University of Kentucky data that is currently available to you, as well as where to find and how to access said data.

The presentation slides are available by clicking the Download button on the right. The video and audio files of this workshop are listed as additional files below and are available for download.

Bystanders' Privacy, Alfredo J. Perez, Sherali Zeadally, Scott Griffith

Computer Science Faculty Publications

The growing adoption of Internet-connected devices has given rise to significant privacy issues not only for users but also for bystanders. The authors explore privacy concerns related to bystanders' privacy and present a taxonomy of the solutions found in the literature to handle this issue. They also explore open issues that must be addressed in the future.

Towards A Better Understanding Of On And Off Target Effects Of The Lymphocyte-Specific Kinase Lck For The Development Of Novel And Safer Pharmaceuticals, Xiaofei Zhang, Amir Kucharski, Wibe A. De Jong, Sally R. Ellingson

Markey Cancer Center Faculty Publications

In this work we have developed a multi-tiered computational platform to study protein-drug interactions. At the beginning of the workflow more efficient and less accurate methods are used to enable large libraries of proteins in many conformations and massive chemical libraries to be screened. At each subsequent step in the workflow a subset of input data is investigated with increased accuracy and more computationally expensive methods. We demonstrate the developed workflow with the investigation of the lymphocyte-specific kinase LCK, which is implicated as a drug target in many cancers and also known to have toxic effects when unintentionally targeted. Several …

An Anthropological Study Of Security Operations Centers To Improve Operational Efficiency, Sathya Chandran Sundaramurthy

USF Tampa Graduate Theses and Dissertations

Security Operation Centers (SOCs) have become an integral component of business organizations all over the world. The concept of a SOC has existed for a few years now yet there is no systematic study documenting the occurrences of their operations. A lack of documented operational knowledge makes it a challenge for security researchers interested in improving operational efficiency through algorithms, tools, and processes.

SOC environments operate under a secrecy culture as a result of which researchers are not trusted by analysts and their managers. This lack of trust leads to only superficial information through methods such as interviews. Moreover, security …

Library Guides: An Aggregation Of User Research From 1998 To 2017, David Vess

Libraries

A truly comprehensive search tool for resources provided by libraries will continue to be a distant dream until daunting technical challenges are addressed. A Google-like search experience is desirable in some contexts, but a case can be made that hiding subject-specific article databases behind a comprehensive search tool is a disservice to researchers.

Librarians have a long history of addressing the complex landscape of the various resources they offer by crafting guides to library collections. These guides provide direct links to resources while educating inexperienced researchers about discipline-specific databases. Unfortunately, this solution creates more complexities in the research resource landscape. …

Fully Generic Programming Over Closed Universes Of Inductive-Recursive Types, Larry Diehl

Dissertations and Theses

Dependently typed programming languages allow the type system to express arbitrary propositions of intuitionistic logic, thanks to the Curry-Howard isomorphism. Taking full advantage of this type system requires defining more types than usual, in order to encode logical correctness criteria into the definitions of datatypes. While an abundance of specialized types helps ensure correctness, it comes at the cost of needing to redefine common functions for each specialized type. This dissertation makes an effort to attack the problem of code reuse in dependently typed languages. Our solution is to write generic functions, which can be applied to any datatype.

Such …

Experimental Analysis On The Feasibility Of Voice Based Symmetric Key Generation For Embedded Devices, Surya Bharat Kamineni

USF Tampa Graduate Theses and Dissertations

In this thesis, we present results of an experimental study in order to generate a secure cryptographic key from the user’s voice which is to be shared between two mobile devices. We identified two security threats related to this problem, discussed the challenges to design the key generation/sharing mechanism, and proposed a new protocol based on bloom filters that overcomes the two main attacks by the intruder. One is when the attacker places its device in the close vicinity of the location where the user attempts to generate/share the key in order to derive the key from eavesdropping on communication …

Data Analysis And Processing Techniques For Remaining Useful Life Estimations, John Scott Bucknam

Theses and Dissertations

In the field of engineering, it is important to understand different engineering systems and components, not only in how they currently perform, but also how their performance degrades over time. This extends to the field of prognostics, which attempts to predict the future of a system or component based on its past and present states. A common problem in this field is the estimation of remaining useful life, or how long a system or component functionality will last. The well-known datasets for this problem are the PHM and C-MAPSS datasets. These datasets contain simulated sensor data for different turbofan engines …

Estimation Of Train Driver Workload: Extracting Taskload Measures From On-Train-Data-Recorders, Nora Balfe, Katie Crowley, Brendan Smith, Luca Longo

Conference papers

This paper presents a method to extract train driver taskload from downloads of on-train-data-recorders (OTDR). OTDR are in widespread use for the purposes of condition monitoring of trains, but they may also have applications in operations monitoring and management. Evaluation of train driver workload is one such application. The paper describes the type of data held in OTDR recordings and how they can be transformed into driver actions throughout a journey. Example data from 16 commuter journeys are presented, which highlights the increased taskload during arrival at stations. Finally, the possibilities and limitations of the data are discussed.

Encryption Backdoors: A Discussion Of Feasibility, Ethics, And The Future Of Cryptography, Jennifer A. Martin

Honors Projects

In the age of technological advancement and the digitization of information, privacy seems to be all but an illusion. Encryption is supposed to be the white knight that keeps our information and communications safe from unwanted eyes, but how secure are the encryption algorithms that we use? Do we put too much trust in those that are charged with implementing our everyday encryption systems? This paper addresses the concept of backdoors in encryption: ways that encryption systems can be implemented so that the security can be bypassed by those that know about its existence. Many governments around the world are …

Finding Meaning In Calculus (And Life), Doug Phillippy

ACMS Conference Proceedings 2017

A 2015 publication of the Mathematical Association of America (Insights and Recommendations from the MAA National Study of College Calculus) noted that "students taking college calculus exhibited a reduction in positive attitude toward mathematics, which can affect their career aspira

Cultivating Mathematical Affections Through Engagement In Service-Learning, Josh Wilkerson

ACMS Conference Proceedings 2017

Why should students value mathematics? While extensive research exists on developing the cognitive ability of students, very little research has examined how to cultivate the affections of students for mathematics. The phrase "mathematical affections" is a play on the affective domain of learning as well as on the general notion of care towards something. Mathematical affections are more than a respect for the utility of the subject; the term is much broader and includes aesthetic features as well as habits of mind and attitude. This paper will analyze the findings from a research project exploring the impact of service

Reading Journals: Preview Assignments That Promote Student Engagement, Productive Struggle, And Ultimate Success In Undergraduate Mathematics Courses, Sarah Nelson

ACMS Conference Proceedings 2017

We spend lots of time searching for the best textbook for students. We want our students to have a reliable and useful resource to reference, as needed. We even ask them to read over certain material before classes. Often, however, we fail to guide our students in how to read the text productively. Incorporating reading journals into your classes is an excellent way to simultaneously develop your students' ability to read mathematical text and capitalize on what the students already have to offer. In this presentation, we will look at how reading journals motivate students in a variety of mathematics …

Blended Courses Across The Curriculum: What Works And What Does Not, Ryan Botts, Lori Carter, Catherine Crockett

ACMS Conference Proceedings 2017

Recent hype around online and blended courses touts the benefits of immediate student feedback, flexible pace, adaptive learning, and better utility of classroom space. Here we aim to summarize the results of a 3-year pilot study using blended courses across the quantitative science curriculum (Mathematics, Statistics and Computer Science), in both upper and lower division, major and GE courses. We present findings on student attitudes towards this format, most helpful course components, time on task, progress on learning outcomes and faculty perspectives. This summary can be used to inform best practices in hybrid design, implementation and faculty expectations in the …

Variations On The Calculus Sequence, Christopher Micklewright

ACMS Conference Proceedings 2017

Many institutions have embraced a standard format for the Calculus sequence, comprising three four-credit courses covering a fairly consistent set of topics. While there is much to recommend this approach, it still leaves some fantastic concepts rushed or untouched, and it can be argued that it demands too much of students with weaker backgrounds. As such, some schools have experimented with variations on the standard format. In this talk, I will present the model that my institution currently uses, exploring the strengths and weaknesses of our particular approach. I will also suggest ideas, developed in conversation with other ACMS members …

Using Real-World Team Projects: A Pedagogical Framework, Mike Leih

ACMS Conference Proceedings 2017

The use of team projects in a program capstone course for computer science or information systems majors has been a popular method for reinforcing and assessing program learning objectives for students in their final semester. Using real-world group projects as a learning activity is an excellent pedagogical approach in helping students develop critical thinking, team work, real-world problem solving, and communication skills. However, real-world group projects also provide many challenges to both the instructor and students alike. Instructors or students must find real-world projects appropriate for the learning objectives in the course. Instructors must determine how to provide teams with …

The Set Of Zero Divisors Of A Factor Ring, Jesús Jiménez

ACMS Conference Proceedings 2017

Let A be a ring and a an ideal of A. In this paper we show how to construct factor rings A/ a and a finite set of ideals a1, a2, ... , ak, of A/a, such that: each ideal aj is contained in the set of zero divisors of A/a, the factor ring A/a is a direct sum of these ideals, and each ideal aj is a ring with unity when endowed with addition and multiplication modulo a. Explicit examples are given when A is the ring of integers, Gaussian integers or the ring of polynomials over a field.

Developing The Underutilized Mathematical Strengths Of Students, Patrick Eggleton

ACMS Conference Proceedings 2017

This session is intended for presenting the findings from a Spring 2017 research study conducted at Taylor University regarding influences that contribute to a student's disposition toward mathematics. In the foundation level mathematics course taught for non-majors at Taylor, students are asked to share a reflection on their past mathematical experiences. Analysis of these reflections shows general themes regarding the influences, both good and bad, that have contributed to how these students approach mathematics. We would like to use this information as well as related studies to help instructors of mathematics develop positive dispositions toward mathematics in their students.

Axioms: Mathematical And Spiritual: What Says The Parable?, Melvin Royer

ACMS Conference Proceedings 2017

Relational structure A is compact provided for any structure Jffi of the same signature, if every finite substructure of Jffi has a homomorphism to A then so does Jffi. The Constraint Satisfaction Problem (CSP) for A is the computational problem of determining whether finite structures have homomorphisms into A. We explore a connection between the hierarchy of logical axioms and the complexity hierarchy of CSPs: It appears that the complexity of CSP for A corresponds to the strength of the axiom "A is compact". At the top, the statement "K3 is compacts" is logically equivalent to the compactness theorem. Thus …

A Pre-Calculus Controversy: Infinitesimals And Why They Matter, Karl-Dieter Crisman

ACMS Conference Proceedings 2017

In teaching calculus, it is not uncommon to mention the controversy over the role of infinitesimals with Newton's and Leibniz' calculus, including Berkeley's objections. In a history of mathematics course, it is a required topic! But rancor over infinitesimals and their role in mathematics predates calculus- so much so that a popular new book is dedicated to this topic. In this talk, I will discuss not just the relevant controversies between Cavalieri and the Je

The Resolved And Unresolved Conjectures Of R.D. Carmichael, Brian D. Beasley

ACMS Conference Proceedings 2017

Even before heading to Princeton University to work on his doctoral degree, Robert Daniel Carmichael started influencing the path of number theory in the 20th century. From his study of Euler's totient function to his discovery of the first absolute pseudoprime, he set the stage for years of productive research. This talk will present a brief overview of Carmichael's life, including his breadth of mathematical interests and his service on behalf of the Mathematical Association of America. It will focus mainly on his two most famous conjectures- which one has been settled, and which one remains open to this day?

"Big Idea" Reflection Assignments For Learning And Valuing Mathematics, Jeremy Case, Mark Colgan

ACMS Conference Proceedings 2017

While participating in a Faculty Learning Community, we explored the "big questions" we wanted our students to take away from our mathematics courses. We called these questions the Big Ideas of the course and developed a Big Ideas Reflection Assignment, which we continue to assign at the end of each of our courses. Students are able to demonstrate understanding and application of their learning as well as their values and appreciation of mathematics. The assignment encourages students to move beyond a focus on technique and symbolic manipulations towards a broader and more holistic approach, including making connections between their learning …

Mentoring As A Statistical Educator In A Christian College, L. Marlin Eby

ACMS Conference Proceedings 2017

In this paper, I present principles based on more than thirty years of intentional mentoring as a statistical educator in a Christian college. I believe this mentoring has been enhanced due to the setting- a Christian college, and the discipline - statistics. I discuss distinctives of the Christian college setting that positively impact mentoring in any discipline with respect to the mentor, the mentee, and the pervading campus atmosphere. I focus on mentoring as a statistical educator by specifically considering the following: attracting students to the discipline of statistics, preparing students for careers using statistics, and preparing students for graduate …

The Daily Question: Building Student Trust And Interest In Undergraduate Introductory Probability And Statistics Courses, Matthew A. Hawks

ACMS Conference Proceedings 2017

Introducing probability or statistics to disinterested undergraduate students is challenging. Adding faith in such a classroom at a secular institution only increases the complexity. We share an unobtrusive way to build trust with students, creating a medium to both naturally share your faith and have your students look forward to attending each class. The context is the United States Naval Academy, a four-year undergraduate institution with an emphasis on leader development. In addition to a calculus sequence, Humanities majors enroll in Probability with Naval Applications or Introductory Statistics. These sophomores or juniors are split between those who have no intention …

The Topology Of Harry Potter: Exploring Higher Dimensions In Young Adult Fantasy Literature, Sarah Klanderman, Alexa Schut, Dave Klanderman, William Boerman-Cornell

ACMS Conference Proceedings 2017

As one of the most beloved series in children’s literature today, the Harry Potter books excite students of all ages with the adventures of living in a magical world. Magical objects (e.g., bottom-less handbags, the Knight Bus, time turners, and moving portraits) can inspire generalizations to mathematical concepts that would be relevant in an undergraduate geometry or topology course. Intuitive explanations for some of the magical objects connect to abstract mathematical ideas. We
offer a typology with a total of five categories, including Three Dimensions in Two Dimensions, Higher Dimensions in Three Dimensions, Two and Three Dimensional Movement, Higher Dimensional …

Start A Math Teacher Circle: Connect K-12 Teachers With Engaging, Approachable, And Meaningful Mahtematical Problems, Thomas Clark, Mike Janssen, Amanda Harsy, Dave Klanderman, Mandi Maxwell, Sharon Robbert

ACMS Conference Proceedings 2017

Many K-12 math teachers are not ready to teach from a conceptual and inquiry-oriented per

Ten Mathematicians Who Recognized God's Hand In Their Work (Part 2), Dale Mcintyre

ACMS Conference Proceedings 2017

Scottish philosopher David Hume (1711-1776) once observed that "Whoever is moved by faith to assent to [the Christian religion], is conscious of a continued miracle in his own person, which subverts all the principles of his understanding, and gives him a determination to believe what is most contrary to custom and experience." Evidently Hume's cynical pronouncement did not apply to Descartes, Newton, Riemann, and other profound thinkers who believed God had commissioned and equipped them to glorify Him in their pursuit of truth through mathematics - And based on their extraordinary achievements the principles of their understanding do not appear …

Solving Algorithmic Problems In Finitely Presented Groups Via Machine Learning, Jonathan Gryak

Dissertations, Theses, and Capstone Projects

Machine learning and pattern recognition techniques have been successfully applied to algorithmic problems in free groups. In this dissertation, we seek to extend these techniques to finitely presented non-free groups, in particular to polycyclic and metabelian groups that are of interest to non-commutative cryptography.

As a prototypical example, we utilize supervised learning methods to construct classifiers that can solve the conjugacy decision problem, i.e., determine whether or not a pair of elements from a specified group are conjugate. The accuracies of classifiers created using decision trees, random forests, and N-tuple neural network models are evaluated for several non-free groups. …