Digital Commons Network^™

Nnv: The Neural Network Verification Tool For Deep Neural Networks And Learning-Enabled Cyber-Physical Systems, Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson

Computer Science Faculty Publications

This paper presents the Neural Network Verification (NNV) software tool, a set-based verification framework for deep neural networks (DNNs) and learning-enabled cyber-physical systems (CPS). The crux of NNV is a collection of reachability algorithms that make use of a variety of set representations, such as polyhedra, star sets, zonotopes, and abstract-domain representations. NNV supports both exact (sound and complete) and over-approximate (sound) reachability algorithms for verifying safety and robustness properties of feed-forward neural networks (FFNNs) with various activation functions. For learning-enabled CPS, such as closed-loop control systems incorporating neural networks, NNV provides exact and over-approximate reachability analysis schemes for linear …

Where Do We Go From Here? A Forward-Thinking Vision For Physiology Undergraduate Education, Nancy M. Aguilar-Roca, Lisa C. Anderson, Anne R. Crecelius, Michelle B. French, Katie Johnson, Jenny L. Mcfarland, Jennifer Rogers, Claudia I. Stanescu, Erica A. Wehrwein

Health and Sport Science Faculty Publications

This paper is a summary of the special collection of papers in Advances in Physiology Education dedicated to the Physiology Majors Interest Group (P-MIG). P-MIG is a new and vibrant community (1, 2) of educators and administrators who are united by the common goal of creating physiology courses, curricula and programs that will prepare our students for the future. It is an independent consortium that welcomes anyone interested in physiology education at the level of the undergraduate degree in physiology and physiology-related fields. As demonstrated by this special collection of papers of Advances in Physiology Education, P-MIG has already made …

Coloring Page: "The Angel Of Good Tidings", University Of Dayton

Reports and Promotional Materials

Nativity activity: Coloring page of “The Angel of Good Tidings,” a painting by Jan Oliver-Schultz (2008) in the Marian Library Art and Artifacts Collection, University of Dayton.

Stochastic Technique For Solutions Of Non-Linear Fin Equation Arising In Thermal Equilibrium Model, Iftikhar Ahmad, Hina Qureshi, Muhammad Bilal, Muhammad Usman

Mathematics Faculty Publications

In this study, a stochastic numerical technique is used to investigate the numerical solution of heat transfer temperature distribution system using feed forward artificial neural networks. Mathematical model of fin equation is formulated with the help of artificial neural networks. The effect of the heat on a rectangular fin with thermal conductivity and temperature de-pendent internal heat generation is calculated through neural networks optimization with optimizers like active set technique, interior point technique, pattern search, genetic algorithm and a hybrid approach of pattern search - interior point technique, genetic algorithm - active set technique, genetic algorithm - interior point technique, …

Coloring Page: "Decachordum Christianum", University Of Dayton, Marcus Vigerius

Reports and Promotional Materials

Nativity activity: Coloring page of Decachordum Christianum, an illustration by Marcus Vigerius (d. 1516), Sancino, Fano (1507), in the Marian Library Rare Book Collection, University of Dayton.

January 2020, Pope Francis

Marian Thoughts of Pope Francis

No abstract provided.

Front Matter, Vol. 45, Number 1, University Of Dayton

University of Dayton Law Review

Cover, table of contents, administrative information

Big Data, Little Privacy: Protecting Consumers' Data While Promoting Economic Growth, Mary Kraft

University of Dayton Law Review

No abstract provided.

Technology, Social Media, And Professional Ethics, John Browning, David Lat, Stephen Dillard, Josh Blackman, Don Willett

University of Dayton Law Review

No abstract provided.

Teaching Diversity For Adaptation And Change: A Case Study, Corinne Brion

Educational Leadership Faculty Publications

Preparing teachers and leaders to become culturally competent has become a global concern and a priority. To date, there has been little research con- ducted among school leaders regarding how new diversity knowledge is transferred to schools. Therefore, the purpose of the present qualitative study is to explore the extent to which future educational leaders enrolled in a graduate course regarding diversity are able to transfer the newly acquired knowledge to their professional lives and to understand what hinders and enhances their transfer of knowledge. Using the multidimen- sional model of learning transfer as a theoretical framework and analyz- ing …

Implicit Bias: An Unconscious Barrier To Family Engagement, Corinne Brion

Educational Leadership Faculty Publications

This teaching case study illustrates the need to engage all parents in schools as they enhance the community’s cultural capital and cultural wealth. In order to engage parents from various races and ethnicities, educational leaders should understand the role implicit biases play in inhibiting equitable parent participation. In this case study, the author provides a framework to enhance parent engagement. The author also suggests that educational leaders use an instrument to assess their implicit biases and determine the biases held by parents as well. Finally, community cultural wealth is defined and an explanation is provided on how parent participation can …

Low-Fee Private Schools: Case Studies From Ghana, Corinne Brion

Educational Leadership Faculty Publications

This article focuses on Christian low-fee private schools (LFPSs) in the Greater Accra region of Ghana. This qualitative study uses a case study approach to longitudinally examine who these schools serve, why parents chose them, and what challenges the schools face. Findings reveal that parents choose Christian LFPSs for religious reasons and the quality of the education these schools provide. Other reasons include proximity, teacher and administrator quality, small class sizes, and extracurricular offerings. Challenges for these schools were financial and related to retaining teachers. This research is significant because Christian LFPSs have a role to play in helping Ghana’s …

Learning Transfer: The Missing Linkage To Effective Professional Development, Corinne Brion

Educational Leadership Faculty Publications

Professional development is an important element in improving teachers and leaders’ skills and abilities that will impact student academic achievement (Koonce, Pijanowski, Bengston & Lasater, 2019; Reeves, 2010). Too often, budgets are spent on professional development that yield little results (Speck & Knipe, 2005). Each district has its own focus for professional development depending on the needs of the school communities, the latest standardized test results, and the most recent policies. Despite the millions of dollars spent on professional development nationally, student learning outcomes continue to be stagnate or dwindle, discipline issues continue to skyrocket, and teacher moral plummets. This …

Principals' Perspectives Of Mindfulness For Leadership And Equity, Corinne Brion, Gina L. Gullo

Educational Leadership Faculty Publications

Purpose: The current study sought to explore principals’ perspectives of definitions and uses of mindfulness in their leadership and equity practices.

Design: The primary researcher observed and interviewed eleven school principals using qualitative methods during the course of this study.

Findings: Four themes developed from principals’ definitions of mindfulness: (1) awareness and attention, (2) present centeredness, (3) modeling listening and respect, and (4) decision-making processes. The principals’ actions also presented ethical mindedness in their equity pursuits and reflection in their general leadership practices, despite establishing the presence of a stigma around mindfulness.

Research limitations/implications: Beyond the limitations of qualitative …

Nativity Paintings, University Of Dayton

Marian Library Blog Archive

Ruth Sanderson's children's book illustrations deck the halls of the Marian Library during 'At the Manger.'

Climbing The Branches Of The Graceful Tree Conjecture, Rachelle Bouchat, Patrick Cone

Undergraduate Mathematics Day: Past Content

This paper presents new ways to look at proving the Graceful Tree Conjecture, which was first posed by Kotzig, Ringel, and Rosa in 1967. In this paper, we will define an adjacency diagram for a graph, and we will use this diagram to show that several classes of trees are graceful.

Analysis Of Weights In Central Difference Formulas For Approximation Of The First Derivative, Preston R. Boorsma

Undergraduate Mathematics Day: Past Content

Manipulations of Taylor series expansions of increasing numbers of terms yield finite difference approximations of derivatives with increasing rates of convergence. In this paper, we consider central difference approximations of arbitrary order of accuracy. We derive explicit formulas for the weights of terms and explore their limits for increasing orders of accuracy.

Program: 2019 Undergraduate Mathematics Day, University Of Dayton. Department Of Mathematics

Undergraduate Mathematics Day: Past Content

Conference program

Poster: 2019 Undergraduate Mathematics Day, University Of Dayton. Department Of Mathematics

Undergraduate Mathematics Day: Past Content

Poster promoting the conference; highlights the event's plenary speakers, Tommy Ratliff of Wheaton College and Rachael Kenney of Purdue University.

Three Point Boundary Value Problems For Ordinary Differential Equations, Uniqueness Implies Existence, Paul W. Eloe, Johnny Henderson, Jeffrey T. Neugebauer

Mathematics Faculty Publications

We consider a family of three point n − 2, 1, 1 conjugate boundary value problems for nth order nonlinear ordinary differential equations and obtain conditions in terms of uniqueness of solutions imply existence of solutions. A standard hypothesis that has proved effective in uniqueness implies existence type results is to assume uniqueness of solutions of a large family of n−point boundary value problems. Here, we replace that standard hypothesis with one in which we assume uniqueness of solutions of large families of two and three point boundary value problems. We then close the paper with verifiable conditions on the …

"If You're Ugly, The Blackpill Is Born With You": Sexual Hierarchies, Identity Construction, And Masculinity On An Incel Forum Board, Josh Segalewitz

Joyce Durham Essay Contest in Women's and Gender Studies

The manosphere is one new digital space where antifeminists and men's rights activists interact outside of their traditional social networks. Incels, short for involuntary celibates, exist in this space and have been labeled as extreme misogynists, white supremacists, and domestic terrorists. This project aims to understand discussions happening among incels and situate them within social understandings of masculinity. I downloaded 4,532 threads posted on incels.is and randomly sampled 100 for analysis. Through grounded coding methodology, I identified the importance of making meaning of manhood on this site, particularly with respect to sexuality. Further, I found that incel ideology rests on …

The Gender Citation Gap In Undergraduate Student Research: Evidence From The Political Science Classroom, Li-Yin Liu, Christopher J. Devine, Heidi Gauder

Political Science Faculty Publications

Previous studies have documented a “gender citation gap” in political science, whereby women are less likely to be cited in published research and course syllabi, especially by male scholars. However, no previous study has examined citation patterns among students in political science courses to determine if similar patterns are evident in their research. This article analyzes an original database of individual, as well as group, research assignments from an undergraduate research methods course. Our analysis indicates that male students are significantly less likely than female students to cite research published by women – whether as first authors, any of the …

Organized Collective Burial In The Port Cities Of Roman Italy, Dorian Borbonus

Books and Book Chapters by University of Dayton Faculty

Italian port cities were characterized by a high degree of connectivity that created unique social conditions and a distinctive funerary culture. My paper posits that human migration led to collective organization and, closely related, organized collective burial. There are two categories of evidence for this sort of burial: epigraphic sources attest that associations (collegia) maintained communal burial sites and funerary monuments with large capacities would be suitable for such a burial community. Even though epigraphic and architectural evidence usually do not overlap, the two types of evidence can be analyzed separately. One of the main questions relates to the external …

Organophosphorus-Hydrazides As Potential Reactive Flame Retardants For Epoxy, Alexander B. Morgan, Vladimir Benin, Donald A. Klosterman, Abdulhamid Bin Sulayman, Mustafa Mukhtar, Mary L. Galaska

Chemical and Materials Engineering Faculty Publications

For structural composites used in vehicles and aircraft, flame retardant chemistries which enhance char formation and reduce heat release are preferred. Phosphorus-based and phosphorus–nitrogen flame retardants for epoxies have been well studied to date, but phosphorus hydrazides have not been studied for their flame-retardant potential in epoxy. These hydrazides offer some novel structures and they can potentially offer a combination of vapor and condensed phase flame retardant action. A series of eight compounds were systematically investigated in this study as reactive flame retardants in a bisphenol F epoxy/aliphatic amine resin system at a level of 2.5 wt% phosphorus. Results suggest …

(In)Security: Gendered And Bordered, Mary Mcloughlin

Joyce Durham Essay Contest in Women's and Gender Studies

No abstract provided.

Singing Out: Gala Choruses And Social Change, Heather Maclachlan

Books and Book Chapters by University of Dayton Faculty

Can you change the world through song? This appealing idea has long been the professed aim of singers who are part of choruses affiliated with the Gay and Lesbian Association of Choruses (GALA). Theses choruses first emerged in the 1970s, and grew out of a very American tradition of (often gender-segregated) choral singing that explicitly presents itself as a community-based activity. By taking a close look at these choruses and their mission, Heather MacLachlan unpacks the fascinating historical and cultural dynamics behind groups that seek to change society for the better by encouraging acceptance of LGBT-identified people and promoting diversity …

Ancient Mesopotamian Music, The Politics Of Reconstruction, And Extreme Early Music, Samuel N. Dorf

Books and Book Chapters by University of Dayton Faculty

I write this piece primarily as a musicologist and amateur early music practitioner (viola da gamba player) who tries to understand the ways twentieth- and twenty-first century musicians and scholars have imagined and performed ancient music and dance. This essay emerged from my book project Performing Antiquity: Ancient Greek Music and Dance from Paris to Delphi, 1890-1935 and brings my training as a historical musicologist and dance historian to bear on issues typically of concern to archaeologists, classicists, and linguists.

While working on that book, I kept running across a number of individuals working now who are deeply engaged in …

Ev Charging Behavior Analysis Using Hybrid Intelligence For 5g Smart Grid, Yi Shen, Wei Fang, Feng Ye, Michel Kadoch

Electrical and Computer Engineering Faculty Publications

With the development of the Internet of Things (IoT) and the widespread use of electric vehicles (EV), vehicle-to-grid (V2G) has sparked considerable discussion as an energy-management technology. Due to the inherently high maneuverability of EVs, V2G systems must provide on-demand service for EVs. Therefore, in this work, we propose a hybrid computing architecture based on fog and cloud with applications in 5G-based V2G networks. This architecture allows the bi-directional flow of power and information between schedulable EVs and smart grids (SGs) to improve the quality of service and cost-effectiveness of energy service providers. However, it is very important to select …

Characterisation Of Carbapenem-Resistant Gram-Negative Organisms From Clinical Specimens In Yola, Nigeria, Shuwaram A. Shettima, Isabella A. Tickler, Caitlin M. Dela Cruz, Fred C. Tenover

Biology Faculty Publications

Objectives: This study aimed to identify carbapenem-resistant Gram-negative bacteria from clinical specimens of patients in Yola, Nigeria.

Methods: Routine clinical specimens were screened for the presence of carbapenem-resistant Gramnegative bacteria using chromogenic agar plates. Susceptibility of all presumptive isolates to carbapenems was tested by MIC and disk diffusion methods. Real-time PCR was used to test for the presence of carbapenemase genes.

Results: Screening of 1741 clinical specimens yielded 119 (6.8%) presumptive carbapenem-resistant Gram-negative bacteria. Antimicrobial susceptibility testing confirmed carbapenem resistance in 105 of these isolates. New Delhi metallo-β-lactamase (blaNDM) gene was detected in 26 isolates and Verona integron-encoded metallo-β-lactamase (bla …

Two-Stage Deep Learning Architecture For Pneumonia Detection And Its Diagnosis In Chest Radiographs, Barath Narayanan, Venkata Salini Priyamvada Davuluru, Russell C. Hardie

Electrical and Computer Engineering Faculty Publications

Approximately two million pediatric deaths occur every year due to Pneumonia. Detection and diagnosis of Pneumonia plays an important role in reducing these deaths. Chest radiography is one of the most commonly used modalities to detect pneumonia. In this paper, we propose a novel two-stage deep learning architecture to detect pneumonia and classify its type in chest radiographs. This architecture contains one network to classify images as either normal or pneumonic, and another deep learning network to classify the type as either bacterial or viral. In this paper, we study and compare the performance of various stage one networks such …