Digital Commons Network^™

Automating Verification Of Bpmn Workflow Functional Correctness Using Model Checking, Bryce Mckay Pierson

Theses and Dissertations

Many critical systems industry-wide demand fail-safe process execution. Many of these systems are beginning to use low-code or no-code (LC/NC) solutions to their problems. Mechanisms for verifying the integrity of LC/NC solutions are extremely limited in comparison to traditional code. One solution exhaustively searches the execution state space for undesirable behavior, but it requires expertise in model checking and extensive manual labor. Additionally, error output from that method is exclusively text-based and demands time and familiarity to comprehend. We introduce a tool for automating model checking of LC/NC solutions. Participation in the automation process requires very little knowledge of the …

"Pasted Up And Printed Out": Watchmen As Ontographic Network, Thomas B. De Groff

Theses and Dissertations

This thesis explores Alan Moore and Dave Gibbons' 1986-87 comic book series Watchmen according to its network structure, paying particular attention to page layout and the establishment of or deviation from the nine-panel "waffle iron" grid. This reading aims to better understand the comic book form, connecting the work of comics theorist Theirry Groensteen to certain elements of actor-network theory and Ian Bogost's notion of the ontograph--a map of being that emphasizes the interobjectivity of networked nodes. This thesis explores the ontographic nature of the comic book form more generally before tracing the meta-textual ontograph in Watchmen. The thesis then …

Autonomy Relation To Student's Motivation In Stem, Halle Patton

Honors Projects

The purpose of this research project is to investigate how giving students autonomy can affect the way they learn and participate in a STEM environment. Autonomy-Supportive Teaching occurs when students take ownership throughout the entire learning process, becoming more actively engaged and motivated due to the personal responsibility that they feel to learn. Our education system is primarily made up of teacher-centered environments. However, the change to student-centered learning could be revolutionary. By making educational environments geared towards student interest and choice, it could increase both motivation and internalization– two factors that make a successful student. Research was conducted in …

Mathematics Teacher Preparation Reimagined: The Exploration Of Preservice Teachers Planning Culturally Responsive Mathematics Lessons Using Culturally Relevant Mathematics Tasks, Lakesia L. Dupree

USF Tampa Graduate Theses and Dissertations

Equipping teachers with the knowledge, skills, and dispositions deemed necessary to work with students from diverse populations is a documented need that plagues teacher education. Furthermore, the influx of students from diverse backgrounds enrolled in United States schools intensifies the need to prepare the future generation of teachers to be equipped to provide learning opportunities for each and every student in their classroom. This paper highlights the importance of culture and the integral place it holds when supporting current and future teachers with planning and subsequently enacting culturally responsive mathematics and culturally relevant mathematics tasks in their middle grades mathematics …

Bookworm: A Home Library Aid, Johnny Quach

Student Academic Conference

This project involved the design and development of a website intended to allow users to create a personal inventory of their purchased media with a primary focus on books. The goal of the project was to create a website that is both user-friendly, convenient, and both personally and professionally useful. The project began with an analysis of existing personal inventory websites and apps which identified many different aspects that are included in the finished website, as well as aspects that fell short. Utilizing Python and Flask, the design includes a number of easy-to-use features, such as the ability to create …

Reduction Of E-Waste With Multi Generational Clustering Of Obsolete Computers, Tyler Sather, Judah Nava

Student Academic Conference

The rise of E-waste is a growing concern as there are many toxic materials or toxic chemicals created with mishandling of the waste. Even in the school system we see obsolete computers systems laying around in closets collecting dust ready to be sent to the landfill. Our aim is to see if by clustering these old systems together we can give them new life thus reducing the need to add them to the worlds e-waste problem. Often these obsolete systems have lower powered CPUs which makes them less desirable for computing, if we cluster these systems together we can potentially …

Traversing Through A Graph, Andrew Selvig

Student Academic Conference

Software such as Google Maps or flight path routes utilize algorithms which find the most optimal path between two points or locations. These optimal routes are based on existing paths between nodes (locations). These kinds of software have made our lives much more convenient when we want to go somewhere. However, there are situations in which nodes and their paths have not been established. Nonetheless, there are two points that need to be connected with barriers in between. ;The purpose of this project is to tap into a way to create and traverse nodes between two points while refusing to …

Creating With Generative Ai, Gudrun Hall, Zeitun Abdinoor

Student Academic Conference

CustomGPT is a framework that utilizes advanced natural language processing techniques to generate customized versions of ChatGPT, adapting conversational agents to various contexts, domains, or individual preferences. This project demonstrates how ChatGPT serves as a powerful tool for creating chatbots with actionable features and dynamic mobile games. By showcasing its versatility in empowering users to innovate and drive creative content generation, we highlight ChatGPT's potential to shape the future of interactive mobile experiences.

Assigning A Dynamic Personality To Ai, Austin Jeral

Student Academic Conference

In today's world where artificial intelligence capabilities are advancing the potential for custom, and tailor made chatbots are similarly advancing. Such artificial intelligence chatbots could be particularly useful in many fields from the entertainment industry in the form of video game characters with dynamic dialog that stay true to their characters, to the world of psychology where such chatbots may be useful in helping budding psychologists train and be exposed to a vast array of different personalities that they may not be exposed to. Such artificial intelligence chatbots require however to have a believable and dynamic personality. Personality is a …

Effects Of Sensory Processing Impairments On Social Language Skills In Children With Autism Spectrum Disorder, Sara Stier

Student Academic Conference

Autism Spectrum Disorder (ASD) is a neurodevelopmental disorder that is commonly characterized by impairments in social communication, language, and other cognitive skills, behavior and emotional challenges, sensory processing issues, and feeding challenges (ASHA, n.d.). Sensory processing refers to the process of the central nervous system receiving input from the senses and integrating this information to generate an appropriate behavioral response (Kojovic et al., 2019). A highly regulated sensory system is a vital piece that is needed in order to be able to communicate wants, needs, and ideas effectively and appropriately (Sensory Issues, n.d.). The main sensory systems that individuals with …

Dramatic Play: It's Not Just A Kitchen, Ann Sandeen, Alexis Grabau, Hope Sperr, Stephanie Fernandez

Student Academic Conference

In pretend or dramatic play, children make conscious decisions about what will work for the roles they enact. They have power over the play and make decisions that depend on their imagination and resources. Dramatic play occurs in all classroom areas; however, it is also common to have a dramatic play center in the classroom. The dramatic play center is important because it contributes to various areas of growth and development for young children. These areas of development include gross and fine motor, language and literacy, cognitive, social, and emotional. Teachers have a role in facilitating these areas of growth …

Water Quality Analysis Of Red River Valley's Municipal And Rural Water Supply: A Collaboration Between Local High School Science Classes And Geosciences At Msum, Abigail Von Bank, Reed Wilke, Ally Peters

Student Academic Conference

Declining water quality is an environmental issue that has been around for decades now. As pipes decay and waterways become more polluted, these pollutants are becoming more present in water. This region, unlike other places, does not have a problem with water scarcity, but water quality is increasingly problematic. We are focusing on the study, collection, and analysis of Fargo, Moorhead, and the Red River Valley's water quality throughout the community. This project is a collaboration with local high school students by engaging in modern environmental dilemmas all while creating an in-depth analysis of the water samples taken to see …

Rising To The Occasion, University Of Dayton. School Of Education And Health Sciences

School of Education and Health Sciences Blog Archive

Vanessa Winn's profession of teaching course requires the students to present at the annual Stander Symposium, and her first-year students nail it every year.

Assessing Social Vulnerabilities Of Salivary Gland Cancer Care, Prognosis, And Treatment In The United States, Govind S. Bindra, David J. Fei-Zhang, Atharva Desai, John Maddalozzo, Stephanie S. Smith, Urjeet A. Patel, Daniel C. Chelius, Jill N. D'Souza, Jeffrey C. Rastatter, M. Boyd Gillespie, Anthony M. Sheyn

School of Medicine Faculty Publications

Background: Salivary gland cancers (SGC)-social determinants of health (SDoH) investigations are limited by narrow scopes of SGC-types and SDoH. This Social Vulnerability Index (SVI)-study hypothesized that socioeconomic status (SES) most contributed to SDoH-associated SGC-disparities. Methods: Retrospective cohort of 24 775 SGCs assessed SES, minority-language status (ML), household composition (HH), housing-transportation (HT), and composite-SDoH measured by the SVI via regressions with surveillance and survival length, late-staging presentation, and treatment (surgery, radio-, chemotherapy) receipt. Results: Increasing social vulnerability showed decreases in surveillance/survival; increased odds of advanced-presenting-stage (OR: 1.12, 95% CI: 1.07, 1.17), chemotherapy receipt (OR: 1.13, 95% CI: 1.03, 1.23); decreased odds …

Head Tail Open: Open Tailed Classification Of Imbalanced Document Data, Chetan Joshi

Theses and Dissertations

Deep learning models for scanned document image classification and form understand- ing have made significant progress in the last few years. High accuracy can be achieved by a model with the help of copious amounts of labelled training data for closed-world classification. However, very little work has been done in the domain of fine-grained and head-tailed(class imbalance with some classes having high numbers of data points and some having a low number of data points) open-world classification for documents. Our proposed method achieves a better classification results than the baseline of the head-tail-novel/open dataset. Our techniques include separating the head-tail …

Li2mp2s6: Building-Block Approach To A Family Of 2d Non-Van Der Waals-Layered Materials And Their Water, Ammonia, And Ion Intercalation Properties, Santhoshkumar Sundaramoorthy, Nikolay Gerasimchuk, Kartik Ghosh, Steven P. Kelley, Amitava Choudhury

Chemistry Faculty Research & Creative Works

A Series of Non-Van Der Waals 2D Quaternary Thiophosphates with Nominal Composition, Li2MP2S6 (M = V, Mn, Fe, Co, Ni, and Zn), Has Been Successfully Synthesized through Solid-State Metathesis Reactions by a Building Block Approach as Well as Starting with a Stoichiometric Combination of Elements. Li4-NxMxn+P2S6 (M = V, Fe, Ni, Co, and Zn; X = 0.5-1, N = 2 or 3) Crystallize in the P3̅1m Space Group, While Li2MnP2S6 Crystallizes in R3̅. All the Compounds Form a 2D Layered Structure through Edge Sharing MS6 Octahedra and P2S6 Units with Li Atoms Occupying the Interlayer Spaces. X-Ray Diffraction and Thermogravimetric …

Final Project Report - Buoyancy Glider Team, Beck Ratcliff, Gabe Alford, Rees Allison

Engineering Senior Design Reports

This report covers everything the team has accomplished over the Fall and Spring semesters, including math models, prototypes, tests, and test results. This report also includes an overview of the design’s subsystems, a section highlighting issues the team faced, an evaluation of the final design against the constraints, and a listing of recommendations for future work.

RoboNation, one of the project sponsors, provided the team with a SeaGlide model as an initial prototype. The SeaGlide is a water-bottle-sized buoyancy glider that the team used for basic testing and to develop ideas about creating a larger-scale buoyancy glider. The team completed …

Development And Evaluation Of Full Performance-Based Procedures For The Estimation Of Liquefaction-Induced Building Settlement In A Non-Free-Field Condition Using Cumulative Absolute Velocity, Dallin Nathan Smith

Theses and Dissertations

Liquefaction induced settlement is an earthquake hazard engineers face when developing infrastructure. Current methods for estimating liquefaction induced settlement are done in a free field condition. This assumption is not an accurate way to describe the soil because in most cases the soil will bear some kind of infrastructure. Evaluation of liquefaction induced settlement in a non-free-field condition is a more appropriate way. Using the Bullock et al. CAV model, Bullock et al liquefaction induced settlement model, and probabilistic seismic hazard software from the USGS, a full performance-based procedure for the estimation of liquefaction-induced building settlement in the non-free-field condition …

Radiomic Biomarkers Of Locoregional Recurrence: Prognostic Insights From Oral Cavity Squamous Cell Carcinoma Preoperative Ct Scans, Xiao Ling, Gregory S. Alexander, Jason Molitoris, Jinhyuk Choi, Lisa Schumaker, Phuoc Tran, Ranee Mehra, Daria Gaykalova, Lei Ren

Department of Radiation Oncology Faculty Papers

INTRODUCTION: This study aimed to identify CT-based imaging biomarkers for locoregional recurrence (LR) in Oral Cavity Squamous Cell Carcinoma (OSCC) patients.

METHODS: Computed tomography scans were collected from 78 patients with OSCC who underwent surgical treatment at a single medical center. We extracted 1,092 radiomic features from gross tumor volume in each patient's pre-treatment CT. Clinical characteristics were also obtained, including race, sex, age, tobacco and alcohol use, tumor staging, and treatment modality. A feature selection algorithm was used to eliminate the most redundant features, followed by a selection of the best subset of the Logistic regression model (LRM). The …

Aerodynamic Design And Analysis Of A Modified 2006 Mazda Miata, William N. Recher

Honors College Theses

Aerodynamic forces developed by automobiles have destabilizing effects at high speed. These forces tend to skew toward a vehicle’s rear which can present safety concerns, especially for rear-wheel-drive automobiles like the Mazda Miata. To address oversteer and high-speed instability, a vehicle’s design can be tailored to bring about aerodynamic balance and improve traction. LiDAR was used to bring the physical automobile into the digital space. Then, a splitter and diffuser were added to reduce the magnitude of the destabilizing forces. Next, the size and shape of the rear-wing required to balance the vehicle was calculated using a combination of parameters …

Mathematical Modeling For Dental Decay Prevention In Children And Adolescents, Mahdiyeh Soltaninejad

Dissertations

The high prevalence of dental caries among children and adolescents, especially those from lower socio-economic backgrounds, is a significant nationwide health concern. Early prevention, such as dental sealants and fluoride varnish (FV), is essential, but access to this care remains limited and disparate. In this research, a national dataset is utilized to assess sealants' reach and effectiveness in preventing tooth decay, particularly focusing on 2nd molars that emerge during early adolescence, a current gap in the knowledge base. FV is recommended to be delivered during medical well-child visits to children who are not seeing a dentist. Challenges and facilitators in …

Reducing Glass Loss During Transportation And Storage, Abdulaziz Muzafarovich Qurbanov, Mirzaabdullayev Jaxongir Baxtiyorovich

Technical science and innovation

The article discusses the processes of transportation and storage of sheet glass in the production of protective glass for cars. The experience of organizing the transportation and storage of glass in developed countries of the world was analyzed in order to study the problems of losses of raw materials during the transportation and storage of laminated glass, as well as to develop and approve a regulatory and technical document. in this field. The supplies of various brands of polished laminated glass used in the production of protective glass for cars to Avtooina LLC from different addresses, from different manufacturers were …

Drone-Based Bug Detection In Orchards With Nets: A Novel Orienteering Approach, Francesco Betti Sorbelli, Federico Coró, Sajal K. Das, Lorenzo Palazzetti, Cristina M. Pinotti

Computer Science Faculty Research & Creative Works

The Use of Drones for Collecting Information and Detecting Bugs in Orchards Covered by Nets is a Challenging Problem. the Nets Help in Reducing Pest Damage, But They Also Constrain the Drone's Flight Path, Making It Longer and More Complex. to Address This Issue, We Model the Orchard as an Aisle-Graph, a Regular Data Structure that Represents Consecutive Aisles Where Trees Are Arranged in Straight Lines. the Drone Flies Close to the Trees and Takes Pictures at Specific Positions for Monitoring the Presence of Bugs, But its Energy is Limited, So It Can Only Visit a Subset of Positions. to …

Residential Metals Abatement Program Construction Completion Report (Non- Residential Parcels – Indoor Dust) Silver Bow Montessori, Christopher Berg, Thomas J. Beckman, Environmental Resource Management (Erm)

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Residential Metals Abatement Program – Interior School Dust – Investigation Summary Report – After The Bell Child Care Center, Thomas J. Beckman, Christopher Berg, Environmental Resource Management (Erm)

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Butte Priority Soils Operable Unit Diggings East 60% Remedial Design Package Submittal, Josh Bryson

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Maximizing Data Optimization: Analysis, Retention, And Website Accessibility, Selena Cade

Masters Projects

As a graduate assistant at Grand Valley, there is significant involvement with a program that assists middle and high school students with learning about college. As a preface, the information presented in this document will remain anonymous and confidential for the program's benefit.

Students receive a campus tour, eat at the dining halls, and obtain information about college. Before students arrive, a pre-visit survey is sent to gauge their college knowledge. After the visit, a post-visit survey with the same questions is sent out to determine if they gained more knowledge. This data has rarely been viewed in the past …

Helping Early Readers With Dyslexia, Jessica Kathleen Klooster

Masters Projects

Dyslexia is a common learning disability that is difficult for educators to understand. Misconceptions and misinformation have led to teachers and schools lacking in identification, resources, and support that can be provided to children with dyslexia – specifically young children. This project examines the research of the adverse effects of dyslexia, lack of teacher knowledge regarding dyslexia, the identification of young children who may have dyslexia, and the best intervention practices for these children. In general, many teachers hold misconceptions about dyslexia, which prevents children who have the disability from receiving early intervention. The purpose of this project was to …

Volume Ray Casting For Special Effects, Jesse Cole Rheal

Honors Capstone Projects and Theses

No abstract provided.

Li2mp2s6: Building-Block Approach To A Family Of 2d Non-Van Der Waals-Layered Materials And Their Water, Ammonia, And Ion Intercalation Properties, Santhoshkumar Sundaramoorthy, Nikolay Gerasimchuk, Kartik Ghosh, Steven P. Kelley, Amitava Choudhury

Chemistry Faculty Research & Creative Works

A series of non-van der Waals 2D quaternary thiophosphates with nominal composition, Li₂MP₂S₆ (M = V, Mn, Fe, Co, Ni, and Zn), has been successfully synthesized through solid-state metathesis reactions by a building block approach as well as starting with a stoichiometric combination of elements. Li4-nxMxn+P2S6 (M = V, Fe, Ni, Co, and Zn; x = 0.5-1, n = 2 or 3) crystallize in the P3̅1m space group, while Li₂MnP₂S₆ crystallizes in R3̅. All the compounds form a 2D layered structure through edge sharing MS6 octahedra and P₂S …