Digital Commons Network^™

Logic Enriched Over A Quantale, Alexander Kurz

Engineering Faculty Articles and Research

Many-valued logics have a long history in mathematical logic as well as in applications to the semantics of programming languages and to engineering more generally. Typically these logics are rich with features motivated by the particular applications they stem from. In his 1973 article "Metric Spaces, Generalized Logic, and Closed Categories", Lawvere argued that any quantale Ω gives rise to a generalized Ω-valued logic that has as its models the categories enriched over the quantale. This suggests developing a uniform framework for many-valued logics parameterized in a quantale. In this talk we will review some previous and ongoing work in …

07.28.2025 Ored Connect, Liz Williamson

ORED Newsletter

On-demand training courses released

• Mentoring
• My Project Was Funded, Now What?

Notice of Funding Opportunity SMART Act Accelerate Initiative

Memo Regarding Contact from Federal Agencies

“Silent Is Not Actually Silent”: An Investigation Of Toxicity On Bug Report Discussion, Mia Mohammad Imran, Jaydeb Sarker

Computer Science Faculty Research & Creative Works

Toxicity in bug report discussions poses significant challenges to the collaborative dynamics of open-source software development. Bug reports are crucial for identifying and resolving defects, yet their inherently problem-focused nature and emotionally charged context make them susceptible to toxic interactions. This study explores toxicity in GitHub bug reports through a qualitative analysis of 203 bug threads, including 81 toxic ones. Our findings reveal that toxicity frequently arises from misaligned perceptions of bug severity and priority, unresolved frustrations with tools, and lapses in professional communication. These toxic interactions not only derail productive discussions but also reduce the likelihood of actionable outcomes, …

Llput: Investigating Large Language Models For Bug Report-Based Input Generation, Alif Al Hasan, Subarna Saha, Mia Mohammad Imran, Tarannum Shaila Zaman

Computer Science Faculty Research & Creative Works

Failure-inducing inputs play a crucial role in diagnosing and analyzing software bugs. Bug reports typically contain these inputs, which developers extract to facilitate debugging. Since bug reports are written in natural language, prior research has leveraged various Natural Language Processing (NLP) techniques for automated input extraction. With the advent of Large Language Models (LLMs), an important research question arises: how effectively can generative LLMs extract failure-inducing inputs from bug reports? In this paper, we propose LLPut, a technique to empirically evaluate the performance of three open-source generative LLMs-LLaMA, Qwen, and Qwen-Coder-in extracting relevant inputs from bug reports. We conduct an …

Understanding User Behaviors: Impact Of A 28-Day Intervention On Screen Time And Problematic Internet Use, Cade T. Campigli

Master's Theses

This thesis examines a 28-day self-monitoring intervention to reduce problematic internet use among undergraduate Instagram users. A quasi-experimental factorial mixed design with a repeated measures component was used, with participants split into an experimental group (daily Instagram screen time logging) and a control group (reporting Instagram interactions). Problematic Internet use was measured using the Generalized Problematic Internet Use Scale 2 (GPIUS2). Results showed no reduction in problematic internet use in the experimental group compared to the control, nor a correlation between screen time changes and problematic internet use. However, the experimental group showed a modest decrease in mean screen time …

Selenium Nanoparticles Synthesized By Pulsed Laser Ablation In Liquids For Antimicrobial Applications, Tina Hesabizadeh

Theses and Dissertations

This study aimed to synthesize selenium nanoparticles (Se NPs) by Pulsed Laser Ablation in Liquids (PLAL) and investigate their antibacterial and biological effects, particularly their impact on cell viability and related biological responses. Spherical amorphous Se NPs were produced by irradiating a selenium target using a combination of bottom- and top-ablation protocols. After autoclaving, the amorphous Se NPs were converted into trigonal Se NPs. Se NPs were characterized by using Scanning Electron Microscopy (SEM), Transmission Electron Microscopy (TEM), and Fourier Transform Infrared Spectroscopy (FTIR). The biological effects of Se NPs were quantitatively assessed through evaluations of cell viability and associated …

Bold New Bioweapons: Part 2 — Bold Bolstering Of Deterrence And Defense, James Giordano

Strategic Insights

This commentary, Pt. 2 of the Bold New Bioweapons series, argues that modern biological threats demand a proactive transformation of deterrence and defense strategies. Building on earlier analysis of detection and attribution challenges, Dr. Giordano asserts that emerging life sciences and related technologies, such as synthetic biology, gene editing, and AI-driven bioengineering blur distinctions between legitimate research and weaponizable capabilities. This undermines traditional deterrence frameworks. To address these complexities, the article proposes adaptive, interoperable, and ethical approaches that integrate advanced biosurveillance, precision bioinformatics, AI-enabled threat modeling, and global collaborative governance. It emphasizes the need for robust international norms and resilient …

Flight Instructor Enhanced Qualification Training Program, Brendan Aug

Aviation Student Publications

Due to December 2024 regulatory changes made to 14 CFR Part 61.195(h)— Qualifications to provide ground or flight training to initial flight instructor applicants—a new training program, titled the Flight Instructor Enhanced Qualification Training Program (FIEQTP), must be developed under 61.195(h)(3).

The purpose of this packet is, in response to regulatory changes, to conduct a thorough training needs analysis, and utilizing its conclusions, develop a new 14 CFR Part 141 course and assessment plan that meets the requirements of Part 61.195(h)(3) Flight instructor enhanced qualification training program.

Impact Of Late Universe Constraints On Early Universe Measurements Of Hubble, Garrett D. Suggs

Undergraduate Honors Theses

Early universe measurements of the Hubble constant usually find the best-fit value for H₀ given a specific data set and a particular cosmological model. Planck’s all-sky survey of the Cosmic Microwave Background is a common choice for this data, and is often supplemented with additional constraints from other measurements of cosmological phenomena. For example, the SH0ES collaboration’s measurement of H₀ from local type Ia supernovae is a common constraint to include, in the hope of reconciling the tension between late and early universe measurements. We attempt to quantify the effect of this constraint on early universe measurements of …

Linguistic Identity: An Ostensive Definition, Kiesha Martin

Dissertations (1934 -)

This dissertation offers an ostensive definition of linguistic identity illustrated through historical and literary examples, lived experience, and even public policy. Linguistic identity consists of three parts: idiolect, dialect, and linguistic agency. The idiolect is a speaker’s personal identity. The dialect is a speaker’s social identity. Linguistic agency is the synthesis of both. This is an attempt to clarify the nature of the relationship between language and the self. Linguistic identity is an aspect of identity that has received scant attention in philosophy—even amidst the focus on language and linguistic analysis in this discipline. The objective is to bring linguistic …

The Middle Class, The Youth, The Highways: Production Of Space And Urban Memory In Blok M, Jakarta, Bimana Novantara, Yudi Bachrioktora, Lilawati Kurnia

International Review of Humanities Studies

This paper examines the historical and contemporary dynamics of the Blok M area in Jakarta as a public space undergoing a process of spatial, cultural, and symbolic transformation. Using Henri Lefebvre’s theory of the production of space and then relating it to the discourse of urban memory according to Abidin Kusno, this study traces how Blok M developed from the modernist urban planning of Kebayoran Baru after independence to be the epicenter of youth festivity, then declined until it rose again through a place that utilized the memory of this area in the past. This study highlights how the politics …

Language Of Love: Kafka’S Affective Meaning In Briefe An Milena, Kafka Aisyah Triny, Julia Wulandari

International Review of Humanities Studies

Franz Kafka is known for his twisted literature filled with dark atmosphere and word choices, however when it comes to writing letters to his muse, Milena, he uses words unknown to him. He expresses his barest soul to her using word choices that indicate someone who is amazed. For a person like Kafka, love is not all about complementing word choices and emotions, seen by his internal battles with himself and uncertainty regarding the topic of love. This research will use Geoffrey Leech’s semantic framework along with Monica Schwarz and Jeannette Chur’s Wortfeld theory. The study aims to examine Kafka’s …

Secure Frameworks For User Motion Data In Virtual Reality, Jayasri Sai Nikitha Guthula

Theses and Dissertations

Virtual Reality is an innovative technology transforming industries such as gaming, healthcare, and remote collaboration. The increasing deployment of these systems results in the continuous collection of telemetry data, including motion patterns, hand gestures, and spatial interactions. This data is valuable for enhancing user experiences and optimizing system performance. However, it also introduces significant privacy risks. Unlike traditional digital footprints, motion data captures fine-grained physical behaviors that can be linked to individual users, making anonymization ineffective in preventing re-identification.This research introduces secure frameworks for user motion data in virtual reality, each proposed framework addressing privacy preservation from a different angle. …

Magnetic Macro Pendulum Design And Real-Time Control Application: Simulation And Experiment, Hüseyi̇n Yildiz, Serdar Yilmaz, Yasemi̇n Poyraz Koçak, Erol Uzal

Turkish Journal of Electrical Engineering and Computer Sciences

Over the last decade, the number of studies in the field of magnetic micro robots has significantly increased due to expectations of performing microsurgery, drug delivery, and similar medical procedures. Magnetic micro robots have advantages over other types of micro robots in terms of having independent designs for rotor and stator structures. Magnetic micro robots can be controlled by magnetic fields and can be programmed to move in certain directions and to perform various functions. This paper implements the computer-aided real-time control of a single-arm micro-pendulum structure to (eventually) perform cell manipulation tasks. The mechanical structure, mathematical model, control circuit …

Effective Strategies For Deterring Unethical Behavior In U.S. Financial Institutions, Samuel Akinlade Sanni

Walden Dissertations and Doctoral Studies

Unethical employee behavior in U.S. financial institutions continues to erode organizational trust and firms’ brand reputation. Leaders of financial institutions are concerned that unethical employee behavior can negatively impact firms’ profitability, competitiveness, and sustainability. Grounded in Kaptein’s corporate ethics virtue (CEV) model, the purpose of this qualitative pragmatic inquiry study was to explore how organizational ethical cultures influence employees’ behaviors. Data were collected through semistructured interviews with a sample of eight leaders in New York financial institutions, with a minimum of 5 years of successful experience in building a positive ethical environment, and by analyzing publicly available documents to support …

Table Of Contents

Journal of the South Carolina Academy of Science

No abstract provided.

A Study Of The Sequence Xn+2 = Xn + Imxn+1 Where X1 And X2 Are Orthogonal In C, Ryan Avallone, David Duncan, Ogul Duncan, Prashant Sansgiry

Journal of the South Carolina Academy of Science

No abstract provided.

Metabolic Consequences Of Sleep Disorders: A Comprehensive Analysis Of Their Role In Diabetes, Victoria S. Parma

Journal of the South Carolina Academy of Science

The prevalence of type 2 diabetes continues to grow globally, and more strategies are needed to combat this public health problem. Considering the link between sleep problems and risk of type 2 diabetes, the objective of this review is to discuss the experimental and epidemiological evidence underlying the link between sleep disturbances (such as insomnia, circadian rhythm disorders, and obstructive sleep apnea), and the development of insulin resistance and glucose intolerance, which are impairments that can eventually result in type 2 diabetes. In order to explore this, PubMed and Google Scholar were utilized to find pertinent peer-reviewed publications, reviews, and …

Effects Of Mating System And Adaptedness On The Evolution Of Fitness And Mtdna Copy Number In Mitonuclear Mismatched C. Elegans, Zachary P. Dietz, Devshuvam Banerji, Jennifer A. Sullins, Brent W. Bever, Stephen F. Christy, Ulfar Bergthorsson, Vaishali Katju, Suzanne Estes

Biology Faculty Publications and Presentations

Metabolic functioning in nearly all eukaryotes relies on molecular machinery dual-encoded by mitochondrial DNA (mtDNA) and nuclear DNA (nDNA) genomes. The two genomes have sustained an extraordinary degree of cooperation across evolutionary time, preserving the capacity for indispensable processes including oxidative phosphorylation and ATP production, which in turn influence many fitness-related traits. How this cooperation is maintained when one member of the pair is debilitated by deleterious mutation is poorly understood, as is the influence of mutation location (mtDNA or nDNA), mating system, or the potentially compensatory effects of mtDNA copy number changes on the process. We asked whether and …

Factors Influencing Information And Accessibility Of Tuberculosis Prevention Services Among Nomadic Fulani And Host Communities, Nigeria, Abolaji Azeez, Kabiru Salami

Journal of Social, Behavioral, and Health Sciences

Despite efforts to curtail tuberculosis (TB) in Nigeria, the country has not yet attained the global target. This study explored the dynamics of access to information about TB control and prevention among nomadic Fulani and their host communities. We used a mixed-methods approach and multistage sampling technique to recruit 812 respondents for the survey, and we conducted 18 in-depth interviews across six local government areas. The results indicated generally low access to TB information and services, with only 2% of nomadic Fulani engaging in TB prevention activities compared to 6.7% of host community members. Yoruba respondents had significantly higher odds …

A Novel Microdosimetry-Based Formalism For Cell Survival Modelling Applicable To Hypofractionated Radiotherapy, Oleg N Vassiliev, Radhe Mohan

Faculty, Staff and Student Publications

Objectives

Hypofractionated radiotherapy requires reliable cell survival models for doses much higher than the standard 2 Gy, for which the linear-quadratic (LQ) model is not applicable. We developed an alternative approach applicable to both low doses and high doses used in hypofractionated treatments and radiobiological experiments.

Approach.

We combined a standard microdosimetric technique with a recently introduced non-LQ cell survival model. Our formulation accounts for cell damage by multi-track events involving any number of particles. This is necessary for modelling cell survival at therapeutic doses. We characterise each cell type by the size �� of the sensitive volume (SV) and …

A Qualitative Exploration Of The Potential Benefits Of Nature-Based Approaches For Staff And Children And Young People In Child And Adolescent Mental Health Services, Beth Chapman, Siobhan B. Mitchell, Rebecca Hardwick, Hélène Bonnici, Hazel Banks, Silvana Mareva, Rachel Hayes

Peninsula Medical School

Across the UK there are concerns about young people’s mental health, with rates of ill health increasing and referrals to Child and Adolescent Mental Health services (CAMHS) doubling. This study explores the potential benefits of incorporating Nature-Based Approaches (NBAs) within CAMHS. Providers are understaffed, under-resourced and under pressure. NBAs offer a way of working which could address some of these challenges, yet little is known about the potential benefits of NBAs in the context of CAMHS. The project aimed to explore staff understanding of NBAs, and to identify potential benefits of integrating NBAs into practice. Staff within a South of …

Do Mergers Drive Smbh-Galaxy Coevolution? Comparison Of Feeding And Feedback In Single And Dual Agn, Mason Ruby

Electronic Theses and Dissertations Archive

While super massive black holes (SMBHs) are known to exist at the center of all massive galaxies, we have yet to understand the processes by which gas flows from kpc scales to within pcs of the SMBH, thereby accreting and triggering an active galactic nucleus (AGN). Additionally, while AGN-driven feedback in the form of kpc-scale winds and jets is induced to explain the observed excess quenching of star-formation, the mechanisms of AGN-driven feedback and its relevance compared to star-formation-driven feedback are not well understood. AGN feeding and feedback are instrumental to SMBH-galaxy coevolution, and determining the processes involved is imperative …

Urban Landscape Recovery And Lulc Analysis: A Deep Learning Approach To Post-Extreme Rainfall Impacts In Dubai, Xin Hong

All Works

From April 14 to 18, 2024, the United Arab Emirates (UAE) experienced its heaviest rainfall in 75 years, resulting in widespread flooding across multiple emirates, including Dubai. This study utilizes high-resolution PlanetScope imagery and a U-Net deep learning model to assess the flood impact and analyze post-rainfall recovery patterns in Dubai’s urban landscape. By integrating Sentinel-2derived land use and land cover (LULC) data to refine the training dataset, a high-accuracy U-Net model was developed through transfer learning that effectively classified pre- and post-rainfall LULC. Post-rainfall LULC change detections indicate that 23.8 km² of land was flooded, which is equivalent …

Representing Foreign Husbands: A Comparative Study Of Narrative Styles In My Neighbor, Charles, Fadhila Hasby

International Review of Humanities Studies

This study investigates the representation of foreign husbands in South Korean television by analyzing the reality TV show *My Neighbor, Charles*, which features intermarried couples of Korean women and foreign men. It examines the narrative patterns associated with white and non-white foreign husbands. Utilizing the three-act narrative structure theory as an analytical framework, Stuart Hall's concepts of representation and Dyer's work on Whiteness, this research reveals how Korean media, particularly television, reflects unbalanced and racially biased portrayals of foreign husbands. Such unequal representations not only illustrate the practice of racism within the Korean context but also shed light on how …

The 15-Minute City And Social Behavior Changes In The Tod Area: Blok M-Sisingamangaraja Tod Case Study, Dede Julfikar, Lin Yola

International Review of Humanities Studies

The changing process of the city can be due to economic development that results in urbanization then enlarges the city. This situation affects the growth and evolution of other activities in urban areas such as the emergence of new residential areas, industrial zones, and trade and service (commercial) areas. The government of DKI Jakarta is targetting to develop many public transportation infrastructure due to its target of 2040 70% of Jakarta residents live near by transit points. So that the distance of residential residents to urban facilities can be reached within 15 minutes of walking, cycling or using public transportation. …

Dosimetric Effects Of Pinnacle³ Version 18.0 Advanced Auto-Planning Settings In Oropharyngeal Vmat Optimization, Emily Sanden

Masters Projects

This study evaluated the impact of Pinnacle³ version 18.0 auto-planning advanced settings modulation amount, monitor unit (MU) level, and dose fall-off priority on volumetric modulated arc therapy (VMAT) plan quality for bilateral oropharyngeal cancer. A total of 64 plans were generated using all possible combinations of low, medium, high, and very high settings for each parameter. A standardized base of tongue case was optimized once per plan using a single-time point approach, with planned target volume 1 (PTV1) (6996 cGy) and planned target volume 2 (PTV2) (5412 cGy) coverage evaluated. Each parotid gland, the spinal cord, brainstem, and the oral …

Association Between Sociocultural Factors, Obesity, And Depression In The Hispanic/Latino Population, Maia Junco

Walden Dissertations and Doctoral Studies

The increasing prevalence of obesity and mental health disparities among Hispanic/Latino populations in the United States underscores the need to understand how sociocultural factors shape physical and psychological health. The purpose of this study was to examine how acculturation, diet quality, and fiber intake affect BMI and depressive symptoms over time. The study was guided by acculturation theory and the biopsychosocial model. The study used longitudinal secondary data from the Hispanic Community Health Study/Study of Latinos (HCHS/SOL) with a sample of N=8,816, including adults who completed examination visits, 1 (2008–2011) and 2 (2014–2017). Path analysis was conducted to assess direct …

Regulating The Amount Of Graphene Oxide For Enhanced Capacitive Energy Storage Of Mof Derived Materials, Yong-Ji Qin, Jing-Quan Yang, Hao Wang, Mei-Ling Lian, Pei-Pei Jia, Jun Luo, Xi-Jun Liu, Jun-Feng Liu

Journal of Electrochemistry

In pursuit of more efficient and stable electrochemical energy storage materials, composite materials consisting of metal oxides and graphene oxide have garnered significant attention due to their unique structures and exceptional properties. Graphene oxide (GO), a two-dimensional material with an extremely high specific surface area and excellent conductivity, offers new possibilities for enhancing the electrochemical performance of metal oxides. In this work, we synthesized metal- organic framework (MOF) and GO composites by regulating the amount of GO, and successfully prepared composites of metal oxides supported by nitrogen-doped carbon frameworks and GO through a simple one-step calcination process. Based on the …

Synthesizing Co-Reading Behaviors: Insights From Graduate Students’ Experience And A Rapid Scoping Review, Watcharasak Sudla, Wannee Kaemkate

Higher Learning Research Communications

Objectives: Collaborative reading of research articles is essential for graduate students to develop academic reading skills through peer engagement in knowledge sharing, reflection, and feedback. However, limited information exists about the behaviors indicative of co-reading practices. This study aims to identify behavioral indicators and social participation in students’ co-reading of research articles.

Methods: In this study, we integrated key behavioral indicators of co-reading based on data from interviews with 23 graduate students and a rapid scoping review. The collected data were then subjected to content analysis and data visualization.

Results: The findings categorize individuals involved in co-reading into six groups: …