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 …

Jarius Davis V. Salvation Army

2024 Decisions

USDC for the Eastern District of Pennsylvania

Monique Dotson V. Jill Galapio

2024 Decisions

USDC for the Eastern District of Pennsylvania

College Council Meeting Minutes (April 23, 2024), Dmacc

College Council

No abstract provided.

Ebook Management In Ex Libris’ Alma: A Tale Of Two Workflows, Michelle Ehrenpreis, Sonali Sugrim

Publications and Research

In August 2020, CUNY transitioned to ExLibris’ Alma, a cloud-based Library Services Platform (LSP). Led by the Office of Library Services (OLS), the migration resulted in new processes to replace existing ones. This case study describes how Lehman College and Queens College, both part of CUNY, created new workflows for ordering, invoicing, activating, and cataloging eBooks in Alma. A new workflow for activating eBooks was also necessary because CUNY would now be using Ex Libris’ Primo VE, an upgraded discovery system. The article discusses the challenges of staff training and the role of the electronic resources librarian in designing and …

Sagefire: An Agent-Based Model Of Heat Dynamics In Sagebrush Steppe Ecosystems During A Fire Event, Samuel Joseph Knuth

Theses and Dissertations

Context: The Great Basin in the western US features arid to semi-arid climates and sagebrush steppe ecosystems. Increased fire frequency can negatively impact these ecosystems by promoting invasive species. Agent-based modeling is a valuable tool to study fire dynamics in sagebrush steppe ecosystems, offering insights in management strategies and ecosystem resilience. Objectives: We developed SageFire, an agent-based model, to simulate heat dynamics influenced by shrub cover during fires in the Great Basin. Our objectives were to accurately classify ground cover types, incorporate classified imagery into a simulation model, and accurately visualize fire intensity based on the spatial arrangement of the …

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 …

The Genomics Of Champ1: Insights Into Their Cell-Type Specificity And Developmental Trajectories, Zoe Marie Van Caugherty

MUSC Theses and Dissertations

Chromosome alignment maintaining phosphoprotein 1(CHAMP1) is a gene that encodes a zinc finger protein that is involved in in the maintenance of kinetochore-microtubule attachment and regulating chromosome segregation in mitosis. (Itoh et al., 2011) CHAMP1 mutations have been shown to be major risk factors for neurodevelopmental disorders (NDDs) and autism spectrum disorder (ASD).(Asakura et al., 2021; Isidor et al., 2016; Levy et al., 2022) Although there is information on the link between CHAMP1 mutations and NDD, the role of CHAMP1 in regulating processes of human cortical development, namely, neurogenesis, proliferation, and electrophysiological properties of newly born neurons, is unknown. This …

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.

Impacts Of Socioeconomic Status On Language Development In Preschool Children, Denise Adriaansen

Student Academic Conference

According to Lee (2023), 37.9 million Americans are living in poverty. Poverty is associated with deficits in language, communication, and social skills. Language development is a crucial aspect of a child's development. Children who live in low-socioeconomic households have a higher prevalence of language impairments. This paper will explore the impact that socioeconomic status has on language development in preschool-aged children. It includes becoming knowledgeable on serving individuals that come from different backgrounds, including level of socioeconomic status. It is important for all individuals especially professionals who will serve this population to understand how level of socioeconomic status can affect …

Best Practice Interventions For Individuals With Cleft Palate, Aleisha Johnson

Student Academic Conference

Cleft palate and cleft lip with palate occur in every 1,700 and 1,600 births (ASHA, n.d.). Speech-language pathology intervention is often needed by individuals who have had a cleft palate; about 50% of individuals who have had a repaired cleft palate are referred to speech pathology services (Sand et al., 2022). According to Alighieri et al. (2021), there is a lack of clear procedures when administering treatment to individuals with repaired cleft palates. The purpose of this project is to identify best practice for speech therapy interventions for individuals with repaired cleft palates. This project reviews the traditional articulation approach, …

Understanding Practitioner’S Perceptions Of Speech And Language Therapy Services In The Juvenile Justice System, Julia Buendgen

Student Academic Conference

The purpose of this study was to gain more understanding of how individuals who work with the juvenile justice population understand language disorders and the scope of speech and language therapy services. In addition, this study explored potential supports for individuals working in this setting. This study consisted of twenty participants working in the juvenile justice system who completed a survey tool that was designed by the researcher to describe the participant's perceptions of speech-language pathology, current procedures, reported challenges, and potential areas in need of support. Participant knowledge of the scope of speech-language pathology varied among participants. The highest …

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 …

The Next Threat Landscape: Securing America’S Cyber-Physical Systems, Grayson Thomas

Honors College Theses

The goal of this research is to explore, identify, and enumerate the security threats that exist to industry current industrial controls systems (ICS) and supervisory control and data acquisition systems (SCADA). A scale lab similar to industry standard will be built and developed for research purposes. The Purdue Model for ICS and the Cyber Kill Chain will be referenced as frameworks for attack sequences, and the MITRE ATT&CK framework will be referenced for attack types. Attempts will be made to compromise the various pieces of our built SCADA system via configuration errors, software vulnerabilities, and deployment mistakes common with industrial …

Immunophenotypic Predictors Of Influenza Vaccine Immunogenicity In Pediatric Hematopoietic Cell Transplant Recipients., Justin Z. Amarin, Daniel E. Dulek, Joshua Simmons, Haya Hayek, James D. Chappell, Cindy Hager Nochowicz, Carrie L. Kitko, Jennifer E. Schuster, Flor M. Muñoz, Claire E. Bocchini, Elizabeth A. Moulton, Susan E. Coffin, Jason L. Freedman, Monica I. Ardura, Rachel L. Wattier, Gabriela Maron, Michael Grimley, Grant Paulsen, Lara Danziger-Isakov, Paul A. Carpenter, Janet A. Englund, Natasha B. Halasa, Andrew J. Spieker, Spyros A. Kalams

Manuscripts, Articles, Book Chapters and Other Papers

Pediatric hematopoietic cell transplant (HCT) recipients exhibit poor serologic responses to influenza vaccination early after transplant. To facilitate the optimization of influenza vaccination timing, we sought to identify B- and T-cell subpopulations associated with influenza vaccine immunogenicity in this population. We used mass cytometry to phenotype peripheral blood mononuclear cells collected from pediatric HCT recipients enrolled in a multicenter influenza vaccine trial comparing high- and standard-dose formulations over 3 influenza seasons (2016-2019). We fit linear regression models to estimate relationships between immune cell subpopulation numbers before vaccination and prevaccination to postvaccination geometric mean fold rises in antigen-specific (A/H3N2, A/H1N1, and …

Clinician Education Program: Promoting The Use Of Care Bundles In Reducing The Hospital Length Of Stay And Readmission Rates Of Adult Copd Patients, Nordita R. Bascon

MSN Capstone Projects

Management of COPD patients can cost hospitals approximately $308,502 per month. This is based on a single COPD readmission encounter costing $7,500 and estimated daily expenses of $2,883 (Davis, 2023; Hegwer, 2018). This executive summary outlines a clinician education program held at a community hospital in West Texas to promote patient quality care by encouraging healthcare professionals to use evidence-based chronic obstructive pulmonary disease (COPD) care bundles. Eighteen physicians and nurse practitioners attended the program. Then, a survey was conducted to assess the impact of the proposed program. Most attendees said they would incorporate care bundles in COPD care.

Internal …

Nursing Care Of Individuals Engaging In Non-Suicidal Self-Injury: Impact Of Dialectical Behavior Therapy Skills Reinforcement, Lucas Bridgens

MSN Capstone Projects

As explained by Linehan et al. (2006b), the seriousness of borderline personality disorder can be highlighted by the manifestations of emotional dysregulation, such as impulsive and suicidal and non-suicidal self-injurious (NSSI) behaviors. As the mental health field grows, so too does the knowledge base from which practitioners derive therapeutic interventions with hopes of effectively and safely treating patients while maintaining a culture of dignity and respect. One such treatment modality that has proven to reduce NSSI and improve interpersonal functioning, specifically in patients with borderline personality disorder, is Dialectical Behavior Therapy (DBT) which is a form of cognitive-behavioral therapy developed …

For Dairy, Focusing On The Essentials, Maeve Gifford

UNH Today Archive

No abstract provided.

Memory In Literature: Power & The Literary Canon, Chloe Alice Rattee

The Hugemanities Project Big Contest

In my project I explored how cultural memory applied to literature can open up the discussion to talk about how power is wielded by those that create a canon, literary or religious. I used William Blake's work to discuss how few educated, powerful people's interpretation of something so difficult and massive at The Bible can cut out perspectives or opinions that they don't want included in their teachings.

Applications, Challenges, And Research Issues For Enabling A Uav Swarm, Jennifer Hahner

Senior Honors Theses

Unmanned aerial vehicle (UAV) swarms have the potential to be useful in numerous applications due to their versatility and ability to operate without human intervention. However, this promising technology still requires further investigation, research, and testing before UAV swarms can be implemented extensively. The level of human intervention needed to control the system determines the differing levels of autonomy for UAV swarms. For swarms to become more independent, efficient algorithms for task and path planning are essential. In addition, accurate communication is essential for swarms to be able to coordinate and accomplish tasks successfully. This paper seeks to provide a …

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 …

Desktop Injection Molding Machine Final Project Report, Glory Burgin, Camille Heidelbaugh, Alex Garcia, Robert Furuya

Engineering Senior Design Reports

This report outlines the process, tests, and research conducted to develop a desktop plastic injection molding machine for use in K-12 classrooms as an educational tool to introduce engineering topics earlier in children's education. The key objectives were to create a functional prototype that is safe for classroom use, is easily integrated into curricula, weighs under 80 lbs for portability, and can produce an 8 inch3 molded piece in a reasonable timeframe.

The final design features a single-screw extruder coupled with a hand-cranked planetary gear system for interactivity. A 2x2x2 inch maximum mold volume was chosen to reduce the pressure …

Final Project Report Pace-It Team (2023-24), Reece Colson, Frank De Luna, Erin Flynn

Engineering Senior Design Reports

The Pace-It team aims to design a prototype that tracks runners along a course to assist our sponsor with timekeeping. Our main objectives for this project include designing a device that satisfies our requirements, constructing and testing the device, correcting and revising, and finally, testing our prototype to fit our objectives. This report will include an overview of our design and its five subsystems and an evaluation of the final design against the team’s requirements and constraints. The main subsystems of our design are the timing software, receiver and RFID coding, storage/user interface (UI), power source or battery, and the …

Final Project Report Autonomous Planetary Rover, Dennis Butts, Zachary Moyer, Levi Schaider

Engineering Senior Design Reports

The Autonomous Rover Team (ART) was tasked with installing an autonomous navigation system onto an inherited rover frame. The navigation system must be able to plan a course between waypoints in a mapped area while avoiding unmapped obstacles. The final deliverables for this project are a rover with limited movement capabilities that can be autonomously or manually controlled and a simulated rover which has complete movement capabilities. Both rovers should be able to complete a 1600 ft2 course by traveling between three waypoints in a mapped area. The camera systems should detect and avoid all obstacles in its path in …

Final Project Report Will Power Africa, Year 2, Collin Adams, Maya Leonard, Charlotte Warrick, Adrian Herrera

Engineering Senior Design Reports

This report outlines the process that the Will Power Africa Year 2 team used to design and evaluate a backup power generator for a remote village in Tsholotsho, Zimbabwe. Year 1 of this project focused on the design of an electric fence to repel elephants. The original prototype is designed around the use of solar panels for power; however, due to the inconsistencies of solar power, the Year 2 team was tasked with creating a secondary power system to connect to the previous year’s system. We completed four tests that evaluated the major functionality and safety of our sub-systems. Due …

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 …

Sparse Ensemble Networks For Hypserspectral Image Classification, Rakesh Kumar Iyer, Okan Ersoy

Department of Electrical and Computer Engineering Technical Reports

We explore the efficacy of sparsity and ensemble model in the classification of hyperspectral images, a pivotal task in remote sensing applications. While Convolutional Neural Networks (CNNs) and Transformer models have shown promise in this domain, each exhibits distinct limitations; CNNs excel in capturing the spatial/local features but falter to capture spectral features, whereas Transformers captures the spectral features at the expense of spatial features. Furthermore, the computational cost associated with training several independent CNN and Transformer networks becomes expensive. To address these limitations, we propose a novel ensemble framework comprising pruned CNNs and Transformers, optimizing both spatial and spectral …

Xpo1 Blockade With Kpt-330 Promotes Apoptosis In Cutaneous T-Cell Lymphoma By Activating The P53-P21 And P27 Pathways, Nitin Chakravarti, Amy Boles, Rachel Burzinski, Paola Sindaco, Colleen Isabelle, Kathleen Mcconnell, Anjali Mishra, Pierluigi Porcu

Kimmel Cancer Center Faculty Papers

Dysregulated nuclear-cytoplasmic trafficking has been shown to play a role in oncogenesis in several types of solid tumors and hematological malignancies. Exportin 1 (XPO1) is responsible for the nuclear export of several proteins and RNA species, mainly tumor suppressors. KPT-330, a small molecule inhibitor of XPO1, is approved for treating relapsed multiple myeloma and diffuse large B-cell lymphoma. Cutaneous T-cell lymphoma (CTCL) is an extranodal non-Hodgkin lymphoma with an adverse prognosis and limited treatment options in advanced stages. The effect of therapeutically targeting XPO1 with KPT-330 in CTCL has not been established. We report that XPO1 expression is upregulated in …

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 …