Digital Commons Network^™

A Methodology For Model-Based Certification, Jay Albert Silverman

Engineering Management & Systems Engineering Theses & Dissertations

A need for a single source of knowledge for design decisions has led to the development of a new field of systems engineering, model-based systems engineering (MBSE) (Delligati, 2014). System certification is defined as affirming that regulatory requirements for a system have been met (Goodwin & Juzaitis, 2006). System certification is a specific application of system validation. System verification can be defined as ensuring that the system of interest (SOI), as designed, is in accordance with the design inputs/requirements. System validation can be defined as ensuring that the SOI, as designed, meets the defined system needs (Wolfgand, Katz, & Wheatcraft, …

Computed Tomography Radiomics-Based Cross-Sectional Detection Of Mandibular Osteoradionecrosis In Head And Neck Cancer Survivors, Serageldin Kamel, Laia Humbert-Vidan, Zaphanlene Kaffey, Sarah Mirbahaeddin, Abdulrahman Abusaif, David T A Fuentes, Kareem Wahid, Cem Dede, Mohamed A Naser, Renjie He, Ahmed W Moawad, Khaled M Elsayes, Melissa M Chen, Adegbenga O Otun, Jillian Rigert, Mark S Chambers, Andrew Hope, Erin Watson, Kristy K Brock, Katherine Hutcheson, Lisanne Van Dijk, Amy C Moreno, Stephen Y Lai, Clifton D Fuller, Abdallah S R Mohamed, Md Anderson Head And Neck Cancer Symptom Working Group

Faculty, Staff and Student Publications

Purpose: This study aims to identify radiomic features from contrast-enhanced CT (CECT) scans that differentiate osteoradionecrosis (ORN) from normal mandibular bone in head and neck cancer (HNC) patients treated with radiotherapy (RT).

Materials and methods: CECT images from 150 patients with confirmed ORN diagnosis (2008-2018) at MD Anderson Cancer Center (MDACC) were analyzed (80 % train, 20 % test). Radiomic features were extracted using PyRadiomics from manually segmented ORN regions and automated contralateral healthy mandible regions. Correlation analysis (r > 0.95) reduced features for model training. A random Forest (RF) classifier with Recursive Feature Elimination identified discriminative features. Explainability was assessed …

The Inside Scoop: Elucidating The Three-Way Relationship Between Schistosoma Mansoni, The Gut, And Vaccines, Mariam A. Mhanna

Biomedical Sciences Theses & Dissertations

Schistosomiasis is a neglected tropical disease that affects over 250 million people worldwide. This blood fluke infection burdens communities and areas with limited to no access to clean fresh water. When a host is exposed to cercariae, the infectious agent, in a body of water, it matures in the host’s circulation into adult female and male worms. Copulated adult worms migrate to the mesentery, in the case of Schistosoma mansoni, and produce eggs that can cross the intestinal barrier and get excreted in the feces to continue the lifecycle. The effects of S. mansoni infection on the host …

Formation Control Between Leader And Migratory Follower Tissues Allows Coordinated Growth, Toru Kawanishi, Takamichi Sushida, Tony Y-C Tsai, Hiroyuki Takeda, Sean G Megason

2020-Current year OA Pubs

Coordinated growth of multiple tissues is fundamental to shaping our body, but the underlying mechanisms remain underexplored. In zebrafish embryos, midline tissues composed of the notochord, floorplate, and hypochord elongate synchronously with their lengths aligned. We show that floorplate and hypochord cells collectively migrate posteriorly along the nascent notochord extracellular matrix as it extends posteriorly, maintaining the tripartite configuration. Fibroblast growth factor-mediated migration in a spatially graded manner causes cell stretching, which triggers Yap-dependent proliferation and controls floorplate and hypochord growth. Supported by mathematical modeling, we further suggest that their growth is fine-tuned by mechanical tethering to the notochord via …

Autophagy Regulates Müller Glial Cell Inflammatory Activation, Teresa A Doggett, Zhenqing Zhou, Sohini Rebba, Jacqueline Unsinger, Philip A Ruzycki, Thomas A Ferguson

2020-Current year OA Pubs

PURPOSE: We tested whether Müller cells utilize autophagy to support immune privilege in the eye.

METHODS: The essential autophagy gene Atg5 was deleted in retinal Müller cells. Inflammation was induced by intravitreal injection of lipopolysaccharide (LPS) that was monitored by hematoxylin and eosin (H&E) staining, immunofluorescent confocal microscopy, and flow cytometry. Single-cell RNA sequencing was performed on retinal Müller cells isolated from control and Atg5-deficient mice. Markers of Müller cell gliosis were assessed, and cytokine production in the eye was measured. Small interfering RNA knockdown techniques were used to examine LPS-induced inflammatory pathways in culture.

RESULTS: We observed increased and …

A Measurement Science Framework To Optimize Cds For Opioid Use Disorder Treatment In The Ed, Mark S. Iscoe, Carolina Diniz Hooper, Deborah R. Levy, John Lutz, Hyung Paek, Christian Rose, Thomas Kannampallil, Daniella Meeker, James D. Dziura, Edward R. Melnick

2020-Current year OA Pubs

In the emergency department-initiated buprenorphine for opioid use disorder (EMBED) trial, a clinical decision support (CDS) tool had no effect on rates of buprenorphine initiation in emergency department (ED) patients with opioid use disorder. The Agency for Healthcare Research and Quality (AHRQ) recently released a CDS Performance Measure Inventory to guide data-driven CDS development and evaluation. Through partner co-design, we tailored AHRQ inventory measures to evaluate EMBED CDS performance and drive improvements.Relevant AHRQ inventory measures were selected and adapted using a partner co-design approach grounded in consensus methodology, with three iterative, multidisciplinary partner working group sessions involving stakeholders from various …

Epidemiology Of Shoulder Dislocations In The United States From 1990 To 2019: A Temporal Study Using The Global Burden Of Disease Database., Gabrielle Dykhouse, Ambrose Loc T Ngo, Phillip C Mckegg, Peter B Spencer, Arsalaan Sayyed, Taylor J Manes, Morgan Turnow, Nathaniel Long

Surgery Articles

Introduction The shoulder joint is a common site for joint dislocation, with many individuals suffering from recurrent dislocations following treatment. The purpose of this study was to evaluate the epidemiology of shoulder dislocations in the United States from 1990 to 2019. Methods The Global Burden of Disease database was utilized to collect epidemiological data on shoulder dislocations in the United States (U.S.) from 1990 to 2019. These data included age-standardized rates of years lived with disability (YLDs), prevalence rates, and incidence rates per 100,000 people. Using the U.S. Census Bureau definitions, the data were stratified into four regions: the Northeast, …

Enhanced Point Cloud Generation From A Novel 360° Underwater Lidar, Olagoke E. Daramola

Dissertations

This dissertation presents novel algorithms to improve the mapping capabilities of a 360-degree underwater Pulsed Laser Line Scanner LiDAR (PLLS-360°). Due to its 360° field-of-view (FOV), the PLLS-360° is a compact full-waveform omnidirectional imager suitable for seafloor mapping, underwater asset inspection, object detection, ice-sheet mapping, and construction progress monitoring. The proposed methodology includes an improved waveform fitting technique for saturated waveform recovery, detection array response correction, radiometric corrections, and fusion of LiDAR and sonar bathymetric datasets. The first part of this dissertation assesses the LiDAR’s performance and describes how the data for this unique 360° FOV architecture is processed. The …

Advancing File System Model Checking: Coverage, Framework, And Scalability, Yifei Liu

Electronic Dissertations and Theses, 2010-current

File systems serve as the foundation for data storage and access, making their reliability crucial to maintaining system correctness and data integrity. However, building robust file systems remains a significant challenge. Despite numerous testing and verification techniques, file system bugs continue to emerge. To detect file system bugs and improve reliability, we tackle three key aspects: new coverage metrics for testing, a novel model checking approach, and enhanced scalability for file system verification. We begin by introducing input and output coverage (IOCov) as metrics for evaluating and improving file system testing, along with IOCov to compute them. We integrated IOCov …

Formation Of Inclusive Competence Of Future Special Education Teachers, Gulbanu Ashimkhanova, Akbota Autaeva, Anar Rakhmetova, Gulmira Tussupbekova, Kanat Sadykov

Higher Learning Research Communications

Objectives: This study aims to explore the phenomenon of inclusive competence as an integral trait of today’s educators.

Methods: The scientific research involved surveying students from pedagogical universities as well as using methods of analysis and synthesis, generalization, systematization, comparison, and classification.

Results: The concept of inclusive competence is understood as the degree of skills and knowledge required to fulfil pedagogical responsibilities within an inclusive educational environment. Key elements of inclusive competence, such as cognitive, motivational, reflexive, and operational components, have been identified and have the following functions:

• · Cognitive elements enable teachers to develop a comprehensive understanding of pedagogical …

Associative Coding Of Conditioned Fear In The Thalamic Nucleus Reuniens In Rodents And Humans, Tuğçe Tuna, Michael S Totty, Muhammad Badarnee, Flávio Afonso Gonçalves Mourão, Shaun Peters, Mohammad R Milad, Stephen Maren

Faculty, Staff and Student Publications

The nucleus reuniens (RE) is a midline thalamic structure interconnecting the medial prefrontal cortex (mPFC) and the hippocampus (HPC). Recent work in both rodents and humans implicates the RE in the adaptive regulation of emotional memories, including the suppression of learned fear. However, the neural correlates of aversive learning in the RE of rodents and humans remain unclear. To address this, we recorded RE activity in humans (BOLD fMRI) and rats (fiber photometry) during Pavlovian fear conditioning and extinction. In both rats and humans, we found that conditioned stimulus (CS)-evoked activity in RE reflects the associative value of the CS. …

2-Adic Quantum Mechanics, Continuous-Time Quantum Walks, And The Space Discreteness, Wilson A. Zuniga-Galindo

School of Mathematical & Statistical Sciences Faculty Publications

The authors show that a large class of 2-adic Schrödinger equations is the scaling limit of certain continuous-time quantum Markov chains (CTQMCs). Practically, a discretization of such an equation gives a CTQMC. As a practical result, new types of continuous-time quantum walks (CTQWs) on graphs using two symmetric matrices are constructed. The transport between nodes in one direction is described by one matrix, while the transport between nodes in the opposite direction. This construction includes, as a particular case, the CTQWs constructed using adjacency matrices. The final goal of this work is to contribute to the understanding of the foundations …

Heat-Pipe-Based Thermal Management System Design For A 250-Kw Gan-Based Integrated Modular Motor Drive, Seyed Iman Hosseini Sabzevari, Salar Koushan, Armin Ebrahimian, Towhid Islam Chowdhury, Nathan Weise, Ayman El-Refaie

Electrical and Computer Engineering Faculty Research and Publications

Integrated modular motor drive (IMMD) is an effective approach for realizing high-efficiency, high-power-density, and fault-tolerant electric machines. However, designing an efficient thermal management system (TMS) for the motor drive becomes a challenge, particularly due to space constraints. This article presents the design of a TMS based on 3-mm heat pipes for a 250-kW IMMD intended for aviation applications. The power electronics module is simulated using PLECS software where an electrothermal analysis is conducted. A simplified thermal resistance model of the system is developed to estimate the die junction temperature of gallium nitride (GaN) semiconductors. The performance of the proposed TMS …

Building Services Engineering July/August 2025

Building Services Engineering

No abstract provided.

Implementation Of Link Workers In Primary Care: Synopsis Of Findings From A Realist Evaluation, Stephanie Tierney, Geoff Wong, Debra Westlake, Amadea Turk, Steven Markham, Jordan Gorenberg, Joanne Reeve, Caroline Mitchell, Kerryn Husk, Sabi Redwood, Tony Meacock, Catherine Pope, Beccy Baird, Kamal R. Mahtani

Peninsula Medical School

Background: Social prescribing link workers formed part of the Additional Roles Reimbursement Scheme introduced into primary care in England from 2019. Link workers assist patients experiencing issues affecting their health and well-being that are 'non-medical' (e.g. lack of social connections, financial difficulties and housing problems). They give patients space to consider these non-medical issues and, when relevant, connect them to support, often within the voluntary-community-social-enterprise sector. We conducted an earlier realist review on the link worker role in primary care. We then carried out a realist evaluation, described in this report, to address the question: When implementing link workers in …

Squeezing Information From Radio Surveys To Probe The Primordial Universe, Dionysios Karagiannis, Roy Maartens, Shun Saito, José Fonseca, Stefano Camera, Chris Clarkson

Physics Faculty Research & Creative Works

A major goal of cosmology is to understand the nature of the field(s) which drove primordial Inflation. Through future observations, the statistics of large-scale structure will allow us to probe primordial non-Gaussianity of the curvature perturbation at the end of Inflation. We show how a new correlation statistic can significantly improve these constraints over conventional methods. Next-generation radio telescope arrays are under construction which will map the density field of neutral hydrogen to high redshifts. These telescopes can operate as an interferometer, able to probe small scales, or as a collection of single dishes, combining signals to map the large …

Digital Twins, Ai, And Cybersecurity In Additive Manufacturing: A Comprehensive Review Of Current Trends And Challenges, Md Sazol Ahmmed, Laraib Khan, Muhammad Arif Mahmood, Frank Liou

Mechanical and Aerospace Engineering Faculty Research & Creative Works

The development of Industry 4.0 has accelerated the adoption of sophisticated technologies, including Digital Twins (DTs), Artificial Intelligence (AI), and cybersecurity, within Additive Manufacturing (AM). Enabling real-time monitoring, process optimization, predictive maintenance, and secure data management can redefine conventional manufacturing paradigms. Although their individual importance is increasing, a consistent understanding of how these technologies interact and collectively improve AM procedures is lacking. Focusing on the integration of digital twins (DTs), modular AI, and cybersecurity in AM, this review presents a comprehensive analysis of over 137 research publications from Scopus, Web of Science, Google Scholar, and ResearchGate. The publications are categorized …

Assessing The Robustness Of Test Selection Methods For Deep Neural Networks, Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Wei Ma, Mike Papadakis, Lei Ma, Yves Le Traon

Research Collection School Of Computing and Information Systems

Regularly testing deep learning-powered systems on newly collected data is critical to ensure their reliability, robustness, and efficacy in real-world applications. This process is demanding due to the significant time and human effort required for labeling new data. While test selection methods alleviate manual labor by labeling and evaluating only a subset of data while meeting testing criteria, we observe that such methods with reported promising results are simply evaluated, e.g., testing on original test data. The question arises: are they always reliable? In this article, we explore when and to what extent test selection methods fail. First, we identify …

Beware Of Your Po! Measuring And Mitigating Ai Safety Risks In Role-Play Fine-Tuning Of Llms, Weixiang Zhao, Yulin Hu, Yang Deng, Jiahe Guo, Xingyu Sui, Xinyang Han, An Zhang, Yanyan Zhao, Bing Qin, Tat-Seng Chua, Ting Liu

Research Collection School Of Computing and Information Systems

Although large language models (LLMs) store vast amount of knowledge in their parameters, they still have limitations in the memorization and utilization of certain knowledge, leading to undesired behaviors such as generating untruthful and inaccurate responses. This highlights the critical need to understand the knowledge boundary of LLMs, a concept that remains inadequately defined in existing research. In this survey, we propose a comprehensive definition of the LLM knowledge boundary and introduce a formalized taxonomy categorizing knowledge into four distinct types. Using this foundation, we systematically review the field through three key lenses: the motivation for studying LLM knowledge boundaries, …

Browsing Like Human: A Multimodal Web Agent With Experiential Fast-And-Slow Thinking, Haohao Luo, Jiayi Kuang, Wei Liu, Ying Shen, Jian Luan, Yang Deng

Research Collection School Of Computing and Information Systems

Automating web navigation which aims to build a web agent that follows user instructions to complete tasks like booking flights by interacting with websites, has received increasing attention due to its practical value. Although existing web agents are mostly equipped with visual perception, planning, and memory abilities, their reasoning process are still deviate from human cognition. In this work, we study the human thought pattern to empower agent with more human-like abilities in web navigation. To tackle this problem, we propose a novel multimodal web agent framework called WebExperT, which is designed to emulate the human planning process of “thinking …

Ai-Assisted Triage And Decision Support Of Head And Neck Cancer Screening And Diagnosis In Low-Resourced Settings, Min Hun Lee, Sean Shao Wei Lam, Shaun Xin Hong Liew, Michael Dorosan, Nicholas Graves, Jonas Karlström, Hiang Khoon Tan, Walter Tsong Lee

Research Collection School Of Computing and Information Systems

The mortality burden of head and neck cancer (HNC) is increasing globally and disproportionately affects people in low-and middle-income countries with limited medical workforce. To address this issue, artificial intelligence (AI) algorithms are increasingly being explored to process medical imaging data, demonstrating competitive performance. However, the clinical adoption of AI remains challenging as clinicians struggle to understand how complex AI works and trust it to use in practice. In addition, AI may not perform well on varying data qualities of endoscopy videos for HNC screening and diagnosis from multiple sites.In this project, our international and interdisciplinary team will collaborate with …

Advancing Molecular Graph-Text Pre-Training Via Fine-Grained Alignment, Yibo Li, Yuan Fang, Mengmei Zhang, Chuan Shi

Research Collection School Of Computing and Information Systems

Understanding molecular structure and related knowledge is crucialfor scientific research. Recent studies integrate molecular graphswith their textual descriptions to enhance molecular representationlearning. However, they focus on the whole molecular graph andneglect frequently occurring subgraphs, known as motifs, whichare essential for determining molecular properties. Without suchfine-grained knowledge, these models struggle to generalize to un-seen molecules and tasks that require motif-level insights. To bridgethis gap, we propose FineMolTex, a novel Fine-grained Moleculargraph-Text pre-training framework to jointly learn coarse-grainedmolecule-level knowledge and fine-grained motif-level knowledge.Specifically, FineMolTex consists of two pre-training tasks: a con-trastive alignment task for coarse-grained matching and a maskedmulti-modal modeling task for …

Building A Sustainable Home On The Central Coast: An Owner’S Perspective, Austin Chase Anderson

Construction Management

As awareness and technology increase, sustainability as a focus in home construction is also increasing. This case study based research project seeks to understand the process of building a home on California’s Central Coast with sustainability in mind. An interview was conducted with an owner who built their home in Templeton in 2019. The interview was in a semi-structured format which included specific qualitative questions but mostly focused on an open-ended discussion which allowed the owner to share their own experience. The key challenges learned from this interview were that the owner believed price to be the main factor that …

Digital Pathology In Tau Research: A Comparison Of Qupath And Halo, Angelique D. Gonzalez, Yannick Joel Wadop Ngouongo, Benjamin Danner, Kyra M. Clarke, Matthew B. Dopler, Ali Ghaseminejad-Bandpey, Sahana Babu, Julie Parker-Garza, Cole Corbett, Gladys Maestre

School of Medicine Publications

The application of digital pathology tools has expanded in recent years, but non-neoplastic human brain tissue presents unique challenges due to its complexity. This study evaluated HALO and QuPath tau quantification performance in the hippocampus and mid-frontal gyrus across various tauopathies. Percent positivity emerged as the most reliable measure, showing strong correlations with Braak stages and CERAD scores, outperforming object and optical densities. QuPath demonstrated superior correlations with Braak stages, while HALO excelled in aligning with CERAD scoring. However, HALO’s optical density was less consistent. Paired t-tests revealed significant differences in object and optical densities between platforms, though percent positivity …

Penicillin Allergy De-Labelling Implementation Intervention In A Uk Hospital: A Process Evaluation, The Patient Experience, Neil Powell, Mathew Upton, Bridie Kent, Jonathan A.T. Sandoe, Sarah Tonkin-Crine

School of Biomedical Sciences

Background: Penicillin allergy (penA) records are common, but true penA is rare. PenA records are associated with broad spectrum antibiotic prescribing and negative patient outcomes. We developed a behavioural intervention package to support inpatient penicillin allergy de-labelling (PADL) delivered by a multi-profession non-allergist workforce to remove incorrect penA records from medical and surgical adult inpatients in a UK hospital. Aims: To explore the experiences, beliefs and concerns of patients who had been offered PADL. Methods: Semi-structured interviews to explore the views of patients admitted to a medical or surgical ward with a penA record and offered PADL between June 2024 …

Judicial Independence, The Separation Of Powers, And Criminal Investigations Of Judges, Benjamin Joshua Ong

Research Collection Yong Pung How School Of Law

In Haris Ibrahim [2023] 2 MLJ 296, the Federal Court of Malaysia discussed the legal limits to executive authorities’ powers to investigate judges on suspicion of crime. The case is a rare contribution to the jurisprudence on judges’ criminal liability at common law, as well as a case study in the challenges of reconciling judicial independence with other principles of the constitutional framework and other actors’ roles therein. The Court held that the implied constitutional principle of judicial independence requires that executive authorities follow a “set of protocols” (which the Court formulated) when investigating sitting judges. This was not wrong …

Ai In The Judiciary: The Singapore Case, Nydia Remolina Leon

Research Collection Yong Pung How School Of Law

This paper examines the integration of Artificial Intelligence (AI) within the judicial system of Singapore. Singapore's judiciary has embraced AI not as a tool for adjudication, but as an augmentative instrument for legal research, procedural efficiency, and access to justice. It provides a detailed account of AI use cases in the courts, including case summarization, evidence review, assistance for selfrepresented litigants, and tools like the Divorce Assets Informative Division Estimator. The discussion then turns to the legal profession, exploring how law firms in Singapore are adopting AI technologies. The paper also addresses how AI implementation in the judicial system is …

The Effect Of The Markle Mill Dam Removal On The Habitat And Riverine Food Web Of Otter Creek, Jenna Blanton

All-Inclusive List of Electronic Theses and Dissertations

Across the United States, dam removals are increasing in frequency. Despite this, the effects of dam removal on freshwater food webs are under-studied. Most existing studies investigate the impacts on fish assemblages, and very few investigate the impact on diatom, crayfish, and turtle communities. Furthermore, low-head dams are more abundant than large hydropower dams, yet the impacts of their removal are less studied than their larger counterparts. I used a Before After Control Impact (BACI) study design to survey populations of benthic diatoms, riffle-dwelling crayfish, and aquatic turtles. Species richness, species evenness, and Shannon Diversity Index values were used to …

Visual Analog Of Temporal Envelope Benefits Speech Processing In Cochlear Implant Users: A Pilot Functional Near-Infrared Spectroscopy Study On The Associations Between Audiovisual Benefit, Listening Environment, And Peripheral Neural Health, Zi Gao, Yi Yuan, Christopher R. Mueller, Ross A. Aiello, Yingying Wang, Shuman He

Faculty Research, Scholarly, and Creative Activity

Objectives: This study compared the benefit of visual analog of temporal envelope for speech processing across listening environments in postlingually deafened adult cochlear implant users. Associations between cortical activities and peripheral neural health were explored. Design: Speech perception was measured using Harvard/IEEE sentences in quiet and noise with a visually presented sphere whose size was synchronized with the temporal envelope of the sentences. Cortical activities were recorded concurrently using functional near-infrared spectroscopy. Audiovisual benefit was evaluated using sentence scores, activation additivity, and functional connectivity. Peripheral neural health was measured using electrically evoked compound action potentials. Results: Behavioral results showed the …

How Dust Impacts Galaxy Evolution In The Early Universe With Champs: Data Reduction And Source Detection, Felix Martinez

Theses

How dust impacts galaxy evolution in the early universe is largely unconstrained due to under sampling in the rest-frame far-IR. New detections of optically dark galaxies (galaxies that have no rest-frame optical counterparts) have shown that there is a population of galaxies that have largely gone undetected due to this under sampling. CHAMPS (PI: A. Faisst) is designed to study how dust impacts galaxy evolution in the early universe by complimenting MIRI and NIRCam observations from JWST in COSMOS-Web and PRIMER with new ALMA observations focused at 1.2 mm (ν = 250 GHz). This thesis presents the data reduction and …