Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 142711 - 142740 of 1826513

Full-Text Articles in Entire DC Network

Demographic Study Of College Of Sciences At University Of Nevada, Las Vegas, Laura Seo, Nastasija Damjanovic, Angelica Amansec, Aika Dietz, Monika Neda Jul 2024

Demographic Study Of College Of Sciences At University Of Nevada, Las Vegas, Laura Seo, Nastasija Damjanovic, Angelica Amansec, Aika Dietz, Monika Neda

Spectra Undergraduate Research Journal

In the United States, STEM-related industries are among the fastest-growing. Our study examines the enrollment of students in the College of Sciences (CoS) and the demographics of the student bodies in both undergraduate and graduate programs from 2010 to 2021 at the University of Nevada, Las Vegas (UNLV). Using the method of least squares, a polynomial fit model was used to find trends as well as to calculate enrollment predictions for the years 2025 and 2030. Our results demonstrate that, currently, the UNLV CoS is male dominant in the graduate program and female dominant in the undergraduate program. However, female …


Changes To Tropical Cyclone Trajectories In Southeast Asia Under A Warming Climate, Andra J. Garner, Dhrubajyoti Samanta, Mackenzie M. Weaver, Benjamin P. Horton Jul 2024

Changes To Tropical Cyclone Trajectories In Southeast Asia Under A Warming Climate, Andra J. Garner, Dhrubajyoti Samanta, Mackenzie M. Weaver, Benjamin P. Horton

School of Earth & Environment Departmental Research

The impacts of tropical cyclones (TCs) on Southeast Asia’s coastlines are acute due to high population densities in low-lying coastal environments. However, the trajectories of TCs are uncertain in a warming climate. Here, we assess >64,000 simulated TCs from the nineteenth century to the end of the twenty-first century for both moderate- and high-emissions scenarios. Results suggest changes to TC trajectories in Southeast Asia, including: (1) poleward shifts in both genesis and peak intensification rates; (2) TC formation and fastest intensification closer to many coastlines; (3) increased likelihoods of TCs moving most slowly over mainland Southeast Asia; and (4) TC …


A Systematic Approach For Evaluating And Selecting Healthcare Waste Treatment Devices Using Owcm-Codas And Triangular Neutrosophic Sets, Asmaa Elsayed, Bilal Arain Jul 2024

A Systematic Approach For Evaluating And Selecting Healthcare Waste Treatment Devices Using Owcm-Codas And Triangular Neutrosophic Sets, Asmaa Elsayed, Bilal Arain

Neutrosophic Systems with Applications

Healthcare is a fundamental aspect of human life, impacting individuals, communities, and societies. Investing in healthcare infrastructure, services, and education is essential for fostering a healthy, thriving population. Healthcare waste management is a critical aspect of public health, and it requires a concerted effort from healthcare facilities, governments, and communities to ensure that waste is managed in a way that minimizes risks to human health and the environment. This paper proposes a hybrid methodology combining the Opinion Weight Criteria Method (OWCM) and the Combinative Distance-Based Assessment (CODAS) within the framework of Triangular Neutrosophic Sets (TNS) to evaluate and select the …


Waste Reduction And Recycling: Schweizer-Sklar Aggregation Operators Based On Neutrosophic Fuzzy Rough Sets And Their Application In Green Supply Chain Management, Zeeshan Ali, Hajra Bibi Jul 2024

Waste Reduction And Recycling: Schweizer-Sklar Aggregation Operators Based On Neutrosophic Fuzzy Rough Sets And Their Application In Green Supply Chain Management, Zeeshan Ali, Hajra Bibi

Neutrosophic Systems with Applications

Green supply chain management (GSCM) is a valuable application that is used to reduce the overall environmental impact of the supply chain. Waste reduction and recycling are crucial components of sustainable technique that aims to reduce ecological impact and encourage reserve effectiveness. In this manuscript, we initiate the technique of Schweizer-Sklar (SS) operational laws based on neutrosophic fuzzy rough (NFR) values for SS t-norm (SSTN) and SS t-conorm (SSTCN). Further, we derive the NFR SS weighted averaging (NFRSSWA) operator and the NFR SS weighted geometric (NFRSSWG) operator. Some basic properties for the above-initiated techniques are derived. Additionally, we describe the …


Unpaid Care Work Among Utah Women: A 2024 Update, Kristy Hodsen, Madison Harmer, Susan R. Madsen Jul 2024

Unpaid Care Work Among Utah Women: A 2024 Update, Kristy Hodsen, Madison Harmer, Susan R. Madsen

Marketing and Strategy Faculty Publications

Unpaid work, including childcare, eldercare, housework, and other tasks, is vitally important to the foundations of strong families, communities, and nations; in fact, such domestic work has been called “the work that makes all other work possible.”1 According to Oxfam, the monetary value of women’s unpaid work is estimated to be $10.8 trillion each year,2 and women worldwide spend a significantly larger portion of time than men performing this critical work.3 This happens for many reasons, including personal values and choices, cultural and social norms, unconscious biases, and specific economic and employment considerations. Researchers and thought leaders …


Relations Among Attention Deficit Hyperactivity Disorder Features In Childhood And Adolescence, Resilience, And Borderline Personality Disorder Features In Adulthood, Jessica Kastin Jul 2024

Relations Among Attention Deficit Hyperactivity Disorder Features In Childhood And Adolescence, Resilience, And Borderline Personality Disorder Features In Adulthood, Jessica Kastin

ETD Collection

Attention Deficit Hyperactivity Disorder (ADHD) and Borderline Personality Disorder (BPD) are two disorders that share a number of overlapping diagnostic features, such as impulsivity and difficulty with emotion regulation ability. Studies suggest that individuals who meet criteria for an ADHD diagnosis in childhood may have an increased vulnerability for experiencing features of BPD in adulthood. Based on this premise, this study aimed to investigate if resilience, a factor found to improve psychological outcomes, impacts the relationship between ADHD features in childhood and BPD features in adulthood. It was hypothesized that individuals who report high levels of resilience would experience less …


Parental Perspective Of Adhd Symptomatology In The First Year Of Life, Katrina Julia Kirchgaesser Jul 2024

Parental Perspective Of Adhd Symptomatology In The First Year Of Life, Katrina Julia Kirchgaesser

ETD Collection

Attention-Deficit Hyperactivity Disorder (ADHD) in children is primarily characterized by developmentally inappropriate levels of inattention or hyperactivity-impulsivity that interfere with their functioning (Zero to Three, 2016). It is believed that 2% to 18% of children between six and seventeen years of age have ADHD, making it one of the most common neurobehavioral disorders afflicting children (Sharma & Couture, 2014). While an abundance of research exists regarding early precursors of ADHD in younger children (i.e., infants or toddlers), such as motor and speech delays (Dyck & Piek, 2014), there is a lack of exploration regarding traits of inattention in the first …


From Stage To Screen: The Enduring Influence Of Commedia Dell'arte., Corinna Di Niro Jul 2024

From Stage To Screen: The Enduring Influence Of Commedia Dell'arte., Corinna Di Niro

Staff Scholarship - Australia & Dubai

This presentation discusses how the principles of Commedia dell’Arte (henceforth Commedia), a vibrant 16th century Italian theatre form, have seamlessly transitioned into film, leaving an enduring impact on the silver screen.

During the silent film era, renowned stars Charlie Chaplin and Buster Keaton showcased Commedia through their exaggerated physicality and gestures, inspired by iconic characters such as Arlecchino and Pierrot. The frantic pace and chaotic energy in Keystone comedies also echoed the Commedia spirit, with improvisation and slapstick the key to provoking laughter (Scheide, 2012).

The popularity of 'Rom-Coms' overtime can be attributed to its use of Commedia's archetypal characters, …


Design And Implementation Of Truly Random Number Generation Using Memristors For In-Memory Computing, Nick Felker Jul 2024

Design And Implementation Of Truly Random Number Generation Using Memristors For In-Memory Computing, Nick Felker

Theses and Dissertations

This paper proposes a new security module based on non-volatile memory. The module uses a memristor-based true random number generator to generate random numbers which can be used for cryptography. The module is implemented in software using a modified RISC-V instruction set architecture. The paper evaluates the performance of the module using the RISC-V simulator Gem5. The results show that the module can generate random numbers at a rate of 63 microseconds per number, which is faster than the standard C library’s random number generator. The module can also be used to scramble strings of characters and generate hashes of …


A Novel Use Of Social Network Analysis And Routinely Collected Data To Uncover Care Coordination Processes For Patients With Heart Failure, Sijia Wei Jul 2024

A Novel Use Of Social Network Analysis And Routinely Collected Data To Uncover Care Coordination Processes For Patients With Heart Failure, Sijia Wei

Dissertations

Effective patient care transitions require consideration of the patient's social and clinical contexts, yet how these factors relate to the processes in care coordination remains poorly described. This dissertation aimed to describe provider networks and clinical care and social contexts involved during longitudinal care transitions across settings. The overall purpose of this dissertation is to uncover the longitudinal patterns of utilization and relational processes needed for effective care coordination in transitional care, so we can redesign interventions that focus on informational and relationship networks to improve interaction patterns and system performance for people living with heart failure (HF) as they …


Unveiling The Path To Lgbtq+ Inclusive And Culturally Competent Healthcare: A Multi-Dimensional Examination Of Trainings, Policies, And Perspectives, Hyunmin Yu Jul 2024

Unveiling The Path To Lgbtq+ Inclusive And Culturally Competent Healthcare: A Multi-Dimensional Examination Of Trainings, Policies, And Perspectives, Hyunmin Yu

Dissertations

LGBTQ+ individuals encounter enduring discrimination and adverse healthcare encounters within the healthcare system, with profound implications for their health and wellbeing. Policymakers have advocated for the adoption of LGBTQ+ inclusive and culturally competent healthcare, including training for health professionals, to promote health equity among LGBTQ+ populations. However, implementation of these policies within healthcare systems varies, posing structural and individual-level barriers. In this dissertation, I employ an ecological model of LGBTQ+ health disparities and a conceptual model of determinants of health disparities in vulnerable populations within the healthcare system to examine the impact of structural inequities on the implementation of LGBTQ+ …


Teacher Perceptions Of Teaching Practices, Experiences, And Preparation Of Struggling Adolescent Readers In High-Poverty Schools, Viola Perry Jul 2024

Teacher Perceptions Of Teaching Practices, Experiences, And Preparation Of Struggling Adolescent Readers In High-Poverty Schools, Viola Perry

Student Theses and Dissertations

After exiting elementary school, a considerable number of struggling adolescent readers who are not reading on grade level exists, especially in high-poverty schools. For secondary teachers to develop proficient readers, their instructional methods need to prepare students to master skills, such as their ability to read accurately and with fluency, and their ability to understand and gain knowledge from grade-level text. However, secondary teachers are not prepared to handle these instructional tasks. This study focuses on examining the challenges of insufficient college preparation and professional development opportunities in foundational reading skills for middle/junior high school teachers in high-poverty districts. A …


Unveiling Trends, Terminology, And Teaching Competencies Of Blended Courses In Higher Education, Jennifer Lynn Ramsey Jul 2024

Unveiling Trends, Terminology, And Teaching Competencies Of Blended Courses In Higher Education, Jennifer Lynn Ramsey

Theses and Dissertations

This dissertation has been written in a three-article journal-ready format and centers on competencies for blended teaching in higher education. I use the PRISMA process and thematic coding to analyze 34 articles from 2002 to 2022, highlighting strategic combination, learner-centered approaches, and additional support. I also use the Google Search API and content analysis to suggest that blended, digital, and flexible may be post-secondary institutions' most frequently used terminology to describe contexts incorporating online and in-person components. I also gather qualitative data from interviews with faculty to highlight the context and nuances surrounding blended teaching competencies, including creative innovation, technology …


Preliminary Efficacy Of A Digital Intervention For Adolescent Depression: Randomized Controlled Trial, Emily Peake, Ian Miller, Jessica Flannery, Lang Chen, Jessica Lake, Aarthi Padmanabhan Jul 2024

Preliminary Efficacy Of A Digital Intervention For Adolescent Depression: Randomized Controlled Trial, Emily Peake, Ian Miller, Jessica Flannery, Lang Chen, Jessica Lake, Aarthi Padmanabhan

Psychology

Background:
Adolescent depression is a significant public health concern; however, access to effective mental health care is limited. Digital therapeutics (DTx) can improve access to evidence-based interventions; however, their efficacy in adolescents is sparsely documented.

Objective:
This study aims to examine the efficacy of a mobile app DTx versus an active control as an adjunct treatment for adolescent depression symptoms.

Methods:
An internet-based open-label randomized control trial was conducted nationwide with a partial crossover design, and 168 adolescents aged 13 to 21 years with symptoms of depression were recruited between November 2020 and September 2021. Participants were randomized (1:1) to …


Honors Academy: Designed For Exceptional Student Success, Lindenwood University Jul 2024

Honors Academy: Designed For Exceptional Student Success, Lindenwood University

Archived Lindenwood Press Releases

No abstract provided.


Associations Between Covid-19 Therapies And Outcomes In Rural And Urban America: A Multisite, Temporal Analysis From The Alpha To Omicron Sars-Cov-2 Variants, A. Jerrod Anzalone, William H. Beasley, Kimberly Murray, William B. Hillegass, Makayla Schissel, Michael T. Vest, Scott A. Chapman, Ronald Horswell, Lucio Miele, J. Zachary Porterfield, H. Timothy Bunnell, Bradley S. Price, Sharon Patrick, Clifford J. Rosen, Susan L. Santangelo, James C. Mcclay, Sally L. Hodder Jul 2024

Associations Between Covid-19 Therapies And Outcomes In Rural And Urban America: A Multisite, Temporal Analysis From The Alpha To Omicron Sars-Cov-2 Variants, A. Jerrod Anzalone, William H. Beasley, Kimberly Murray, William B. Hillegass, Makayla Schissel, Michael T. Vest, Scott A. Chapman, Ronald Horswell, Lucio Miele, J. Zachary Porterfield, H. Timothy Bunnell, Bradley S. Price, Sharon Patrick, Clifford J. Rosen, Susan L. Santangelo, James C. Mcclay, Sally L. Hodder

School of Medicine Faculty Publications

Purpose: To investigate the enduring disparities in adverse COVID-19 events between urban and rural communities in the United States, focusing on the effects of SARS-CoV-2 vaccination and therapeutic advances on patient outcomes. Methods: Using National COVID Cohort Collaborative (N3C) data from 2021 to 2023, this retrospective cohort study examined COVID-19 hospitalization, inpatient death, and other adverse events. Populations were categorized into urban, urban-adjacent rural (UAR), and nonurban-adjacent rural (NAR). Adjustments included demographics, variant-dominant waves, comorbidities, region, and SARS-CoV-2 treatment and vaccination. Statistical methods included Kaplan-Meier survival estimates, multivariable logistic, and Cox regression. Findings: The study included 3,018,646 patients, with rural …


Re: Approval Letter For The Butte Priority Soils Operable Unit (Bpsou), Draft Final Residential Metals Abatement Program Investigation Summary Report (Non-Residential – Interior School Dust) - Gold Hill Lutheran Church (Creativity Factory Preschool) (Dated April 8, 2024), Molly Roby Jul 2024

Re: Approval Letter For The Butte Priority Soils Operable Unit (Bpsou), Draft Final Residential Metals Abatement Program Investigation Summary Report (Non-Residential – Interior School Dust) - Gold Hill Lutheran Church (Creativity Factory Preschool) (Dated April 8, 2024), Molly Roby

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.


Re: Approval Letter For The Butte Priority Soils Operable Unit (Bpsou), Draft Residential Metals Abatement Program Construction Completion Report (Non-Residential Parcels – Indoor Dust) – Kennedy Elementary (Dated April 17, 2024), Molly Roby Jul 2024

Re: Approval Letter For The Butte Priority Soils Operable Unit (Bpsou), Draft Residential Metals Abatement Program Construction Completion Report (Non-Residential Parcels – Indoor Dust) – Kennedy Elementary (Dated April 17, 2024), Molly Roby

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.


Re: Approval Letter For The Butte Priority Soils Operable Unit (Bpsou) Draft Residential Metals Abatement Program Construction Completion Report (Non‐Residential Parcels – Indoor Dust) – Silver Bow Montessori (Dated April 25, 2024), Molly Roby Jul 2024

Re: Approval Letter For The Butte Priority Soils Operable Unit (Bpsou) Draft Residential Metals Abatement Program Construction Completion Report (Non‐Residential Parcels – Indoor Dust) – Silver Bow Montessori (Dated April 25, 2024), Molly Roby

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.


Re: Approval Letter For The Butte Priority Soils Operable Unit (Bpsou), Draft Residential Metals Abatement Program Construction Completion Report (Non-Residential Parcels - Indoor Dust) – Small World Daycare (Dated April 17, 2024), Molly Roby Jul 2024

Re: Approval Letter For The Butte Priority Soils Operable Unit (Bpsou), Draft Residential Metals Abatement Program Construction Completion Report (Non-Residential Parcels - Indoor Dust) – Small World Daycare (Dated April 17, 2024), Molly Roby

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.


Pathogenic Variants In Autism Gene Katnal2 Cause Hydrocephalus And Disrupt Neuronal Connectivity By Impairing Ciliary Microtubule Dynamics, Tyrone Despenza, Shujuan Zhao, Sheng Chih Jin, Et Al. Jul 2024

Pathogenic Variants In Autism Gene Katnal2 Cause Hydrocephalus And Disrupt Neuronal Connectivity By Impairing Ciliary Microtubule Dynamics, Tyrone Despenza, Shujuan Zhao, Sheng Chih Jin, Et Al.

2020-Current year OA Pubs

Enlargement of the cerebrospinal fluid (CSF)-filled brain ventricles (cerebral ventriculomegaly), the cardinal feature of congenital hydrocephalus (CH), is increasingly recognized among patients with autism spectrum disorders (ASD).


Disambiguation Of Aerococcus Urinae Species Diversity, Brian Ian Choi Jul 2024

Disambiguation Of Aerococcus Urinae Species Diversity, Brian Ian Choi

Dissertations

Aerococcus urinae is an uncommon inhabitant of the human urogenital tract. The Gram-positive bacterium has been implicated in a wide range of urinary tract diseases that, if left untreated or undiagnosed, can progress to severe disease such as infective endocarditis. Comparative analysis of 115 A. urinae isolates from infection episodes of urinary tract infection, bacteremia, infective endocarditis, urgency urinary incontinence, stress urinary incontinence, interstitial cystitis / painful bladder syndrome, and asymptomatic individuals reveal substantial diversity with respect to predicted virulence factors, metabolism, and observed biofilm behavior. Through whole genome sequencing analysis, these strains can be reorganized into six new taxonomic …


Alternative Statistical Interpretation For The Apparent Plateaus In The Duration Distributions Of Gamma-Ray Bursts, Joshua Alexander Osborne, Christopher Michael Bryant, Fatemeh Bagheri, Amir Shahmoradi Jul 2024

Alternative Statistical Interpretation For The Apparent Plateaus In The Duration Distributions Of Gamma-Ray Bursts, Joshua Alexander Osborne, Christopher Michael Bryant, Fatemeh Bagheri, Amir Shahmoradi

Open Initiatives Grant Funded Publications-Archive

Context. The existence of a plateau in the short-duration tail of the observed distribution of cosmological long-soft gamma ray bursts (LGRBs) is posited to be the first direct evidence of collapsars. A similar plateau in the short-duration tail of the observed duration distribution of short-hard gamma ray bursts (SGRBs) has been suggested as evidence of compact binary mergers.

Aims. We present an equally plausible alternative interpretation for this evidence, based on a purely statistical approach.

Methods. Specifically, we show that the observed plateau in the short-duration tail of the duration distribution of LGRBs can naturally occur in the statistical distributions …


Which Types Of People Were Least Likely To Get The Covid-19 Vaccine?, Xue Zhang, Shannon M. Monnat Jul 2024

Which Types Of People Were Least Likely To Get The Covid-19 Vaccine?, Xue Zhang, Shannon M. Monnat

Population Health Research Brief Series

Vaccine hesitancy is a long-standing challenge that worsened during the COVID-19 pandemic. Understanding the reasons behind different types of vaccine hesitancy is crucial for developing effective vaccine messaging strategies that can increase confidence in and uptake of future vaccines. This brief summarizes the findings from a study that used data from the 2022 National Wellbeing Survey on 7,612 U.S. adults aged 18-64 to identify characteristics of adults who were least likely to get the COVID-19 vaccine and the characteristics associated with different types of vaccine hesitancy. The authors considered three non-mutually exclusive types of vaccine hesitancy: 1) watchful (concerned about …


Design Of A Satellite Tracking Mobile App Using Flutter And Android Studio Ide, Audrey Tahwa Jul 2024

Design Of A Satellite Tracking Mobile App Using Flutter And Android Studio Ide, Audrey Tahwa

USF Tampa Graduate Theses and Dissertations

A pop-up free mobile application was developed utilizing one-minute intervals for positiontracking. Predictions are conducted off-line after the user has connected at least once. In In order to enhance data accuracy, the application includes a feature to download satellite data and update raw data to be used in prediction calculations. Additionally, users receive a notification when the application is ready for offline use.


Emerging Treatments And Therapies For Autism Spectrum Disorder: A Narrative Review, Alan D. Kaye, Kaitlyn E. Allen, Van S. Smith Iii, Victoria T. Tong, Vivian E. Mire, Huy Nguyen, Zachary Lee, Maria Kouri, Carlo Jean Baptiste, Chizoba N. Mosieri, Adam M. Kaye, Giustino Varrassi, Sahar Shekoohi Jul 2024

Emerging Treatments And Therapies For Autism Spectrum Disorder: A Narrative Review, Alan D. Kaye, Kaitlyn E. Allen, Van S. Smith Iii, Victoria T. Tong, Vivian E. Mire, Huy Nguyen, Zachary Lee, Maria Kouri, Carlo Jean Baptiste, Chizoba N. Mosieri, Adam M. Kaye, Giustino Varrassi, Sahar Shekoohi

School of Medicine Faculty Publications

The prevalence of autism spectrum disorder (ASD) has increased over the last decade. In this regard, many emerging therapies have been described as ASD therapies. Although ASD does not have a cure, there are several management options available that can help reduce symptom severity. ASD is highly variable and, therefore, standard treatment protocols and studies are challenging to perform. Many of these therapies also address comorbidities for which patients with ASD have an increased risk. These concurrent diagnoses can include psychiatric and neurological disorders, including attention deficit and hyperactivity disorder, anxiety disorders, and epilepsy, as well as gastrointestinal symptoms such …


Social, Civic, And Institutional Trust: Necessary Conditions For A Pluralistic Democracy, Bruce L. Mallory Jul 2024

Social, Civic, And Institutional Trust: Necessary Conditions For A Pluralistic Democracy, Bruce L. Mallory

Carsey Publications

In this perspectives brief, author Bruce Mallory discusses how trust in social, civic, and institutional structures is a necessary ingredient for a healthy democratic society. Erosion of trust in democratic societies has negative effects for individuals, communities, and public participation in political and civic matters. Data from surveys of New Hampshire residents as well as national samples over the past decade show declining levels of trust in social and political institutions. This has been exacerbated in recent years by the global pandemic as well as increasingly stark political and social divisions.

Drawing on resources such as the 2020 New Hampshire …


A Systematic Approach For Evaluating And Selecting Healthcare Waste Treatment Devices Using Owcm-Codas And Triangular Neutrosophic Sets, Asmaa Elsayed, Bilal Arain Jul 2024

A Systematic Approach For Evaluating And Selecting Healthcare Waste Treatment Devices Using Owcm-Codas And Triangular Neutrosophic Sets, Asmaa Elsayed, Bilal Arain

Neutrosophic Systems with Applications

Healthcare is a fundamental aspect of human life, impacting individuals, communities, and societies. Investing in healthcare infrastructure, services, and education is essential for fostering a healthy, thriving population. Healthcare waste management is a critical aspect of public health, and it requires a concerted effort from healthcare facilities, governments, and communities to ensure that waste is managed in a way that minimizes risks to human health and the environment. This paper proposes a hybrid methodology combining the Opinion Weight Criteria Method (OWCM) and the Combinative Distance-Based Assessment (CODAS) within the framework of Triangular Neutrosophic Sets (TNS) to evaluate and select the …


Peatmoss: A Dataset And Initial Analysis Of Pre-Trained Models In Open-Source Software, Wenxin Jiang, Jerin Yasmin, Jason Jones, Nicholas Synovic, Jiashen Kuo, Nathaniel Bielanski, Yuan Tian, George K. Thiruvathukal, James C. Davis Jul 2024

Peatmoss: A Dataset And Initial Analysis Of Pre-Trained Models In Open-Source Software, Wenxin Jiang, Jerin Yasmin, Jason Jones, Nicholas Synovic, Jiashen Kuo, Nathaniel Bielanski, Yuan Tian, George K. Thiruvathukal, James C. Davis

Computer Science: Faculty Publications and Other Works

The development and training of deep learning models have become increasingly costly and complex. Consequently, software engineers are adopting pre-trained models (PTMs) for their downstream applications. The dynamics of the PTM supply chain remain largely unexplored, signaling a clear need for structured datasets that document not only the metadata but also the subsequent applications of these models. Without such data, the MSR community cannot comprehensively understand the impact of PTM adoption and reuse. This paper presents the PeaTMOSS dataset, which comprises metadata for 281,638 PTMs and detailed snapshots for all PTMs with over 50 monthly downloads (14,296 PTMs), along with …


Rigorous Verification Of Stability Of Ideal Gas Layers, Damian Anderson Jul 2024

Rigorous Verification Of Stability Of Ideal Gas Layers, Damian Anderson

Theses and Dissertations

In this thesis we develop tools for carrying out computer assisted proof of the stability of traveling wave solutions of the spatially one-dimensional compressible Navier-Stokes equations with an ideal gas equation of state. In particular, we obtain rigorous, tight error bounds on a high-accuracy numerical approximation of the traveling wave profile for parameters corresponding to air, and we obtain rigorous representations in a neighborhood of positive and negative infinity of the solution to the first order ODE associated with linearizing the PDE equations about the traveling wave solution. We also develop supporting tools for rigorous verification of wave stability.