Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Social and Behavioral Sciences (3464)
- Engineering (2141)
- Communication (1821)
- Arts and Humanities (1521)
- Mass Communication (1223)
-
- Organizational Communication (1214)
- Social Influence and Political Communication (1213)
- Education (1212)
- Publishing (1206)
- History (980)
- Physical Sciences and Mathematics (950)
- United States History (856)
- American Studies (842)
- Psychology (672)
- Political Science (465)
- Electrical and Computer Engineering (442)
- Medicine and Health Sciences (433)
- Mechanical Engineering (395)
- Life Sciences (349)
- Computer Sciences (333)
- Physics (316)
- Educational Administration and Supervision (308)
- Civil and Environmental Engineering (237)
- Business (228)
- Sociology (190)
- Electrical and Electronics (183)
- Optics (178)
- Computer Engineering (165)
- Energy Systems (165)
- Biology (153)
- Keyword
-
- Central Florida Future (1205)
- Future (1205)
- Student newspapers (1204)
- Campus news (575)
- Faculty and staff newsletter (575)
-
- UCF Report (575)
- Buildings (86)
- Colbourn, Trevor H. (77)
- United States (71)
- Applied (70)
- Communism (69)
- 2006-2007(Vol. 39) (62)
- 2008(Vol.40) (58)
- 2009(Vol.41) (57)
- Education (56)
- Atomic (52)
- Molecular & Chemical (52)
- Simulation (50)
- 2005-2006 (Vol. 38) (46)
- Florida (44)
- 1991-1992(Vol. 24) (43)
- College Catalogs (43)
- Course catalogs (43)
- Soviet Union (43)
- University catalogs (43)
- Higher education (40)
- 1981-1982(Vol. 14) (39)
- Socialism (39)
- 1985-1986(Vol. 18) (38)
- 1990-1991(Vol. 23) (38)
- Publication Year
- Publication
-
- Electronic Theses and Dissertations (3193)
- Central Florida Future (1204)
- The Rollins Sandspur (931)
- Florida Historical Quarterly (831)
- Retrospective Theses and Dissertations (783)
-
- Honors Undergraduate Theses (778)
- Electronic Theses and Dissertations, 2020-2023 (652)
- The UCF Report (576)
- HIM 1990-2015 (378)
- Faculty Bibliography 2010s (377)
- Van Sickle Leftist Pamphlet Collection, 1900-1993 (309)
- Faculty Bibliography 2000s (303)
- Text Materials of Central Florida (259)
- Graduate Thesis and Dissertation post-2024 (245)
- UCF Patents (205)
- Stetson Collegiate (162)
- UCF Forum (156)
- FSEC Energy Research Center® (154)
- Graduate Studies Theses and Dissertations 2026 (142)
- Institute for Simulation and Training (141)
- Association for Communication Administration Bulletin (139)
- Graduate Thesis and Dissertation 2023-2024 (137)
- Faculty Bibliography 1990s (94)
- Journal of the Association for Communication Administration (84)
- Faculty Scholarship and Creative Works (67)
- Human-Machine Communication (66)
- The Marjorie Kinnan Rawlings Journal of Florida Literature (61)
- St. Cloud Tribune (53)
- UCF Catalogs (46)
- The Pegasus Review: UCF Undergraduate Research Journal (45)
- Publication Type
Articles 151 - 180 of 13290
Full-Text Articles in Entire DC Network
Constrained Freedom: Economic Strain, Time Control, And Perceived Autonomy In Life, Lorena E. Black
Constrained Freedom: Economic Strain, Time Control, And Perceived Autonomy In Life, Lorena E. Black
High Impact Practices Student Showcase Spring 2026
Autonomy is often framed as an individual capacity rooted in personal choice, discipline, and self-determination, with dominant cultural narratives positioning freedom as something earned through effort and responsibility. This study challenges that assumption by examining autonomy as a socially structured and unequally distributed condition shaped by material and temporal constraints. Drawing on classical and contemporary sociological frameworks—including Marx’s analysis of labor and material dependence, Weber’s account of disciplined rationality, and Antonio Gramsci’s concept of cultural hegemony—this research positions perceived autonomy as an outcome produced through economic and institutional arrangements rather than solely through individual will. While existing literature has extensively …
Effects Of Kratom Mixture On Cell Death In Cos-7 Cells Using Immunofluorescence, Hoa A. Nguyen
Effects Of Kratom Mixture On Cell Death In Cos-7 Cells Using Immunofluorescence, Hoa A. Nguyen
High Impact Practices Student Showcase Spring 2026
The purpose of this project was to visualize the cellular impact of Kratom (Mitragyna speciosa), a supplement commonly utilized for pain management and opioid withdrawal. The project investigated the effects of a 5% Kratom mixture on COS-7 monkey kidney cells. By using immunofluorescence, the cytoskeleton could be observed, and we can determine if Kratom could result in cellular failure.
In the immunofluorescence protocol, the cells were fixed in a methanol based solution to preserve position, while also permeabilizing the membranes with Triton X-100, and applying specific fluorophores. We used indirect staining for Tubulin (Red, Goat anti-mouse 568), direct staining for …
Factors Related To Deviant Behavior, Chiara S. Popp
Factors Related To Deviant Behavior, Chiara S. Popp
Honors Undergraduate Theses
Understanding the factors that contribute to deviant behavior across the life span remains an important goal in psychology and criminology. Guided by life course theory, the present study examined whether childhood trauma, social connectedness, perceived childhood socioeconomic status, and key life transitions are associated with deviant behavior in adulthood. The purpose of this research was to better understand how early life experiences and social relationships may shape behavioral outcomes later in life. A cross-sectional online survey was conducted with adult participants in the United States, aged 18 to 55. Participants completed measures assessing adverse childhood experiences, perceived childhood socioeconomic status, …
Differing Circulating Microrna Profiles Of Long-Lived Polish Populations, Fabrizzio Lijeron-Herrera
Differing Circulating Microrna Profiles Of Long-Lived Polish Populations, Fabrizzio Lijeron-Herrera
Honors Undergraduate Theses
Exceptional longevity, defined as a lower biological age relative to chronological age and maintenance of functional capacity or a slowing of functional decline, is a phenotype most readily observed in centenarians and nonagenarians. These individuals exhibit a phenomenon known as compressed morbidity, spending substantially less time in poor health compared to younger elderly populations, thus representing a unique human model of delayed aging. Circulating microRNAs (miRNAs), potent post-transcriptional regulators of molecular pathways, have emerged as important modulators of aging-related pathways; however, no study has comprehensively profiled miRNAs from serum in long-lived individuals from Central Europe. In particular, Polish populations present …
Symbolic Racism And Punitive Policy Preferences In The First Quarter Of The Twenty-First Century, Anthony T. Fulinello
Symbolic Racism And Punitive Policy Preferences In The First Quarter Of The Twenty-First Century, Anthony T. Fulinello
Honors Undergraduate Theses
Despite the decay in the acceptability of explicit racism brought about by the passage of the Civil Rights Act of 1964, implicit racism may continue to inform individual decision making even into the first quarter of the twenty-first century. Utilizing data from 25 years of the General Social Survey, this study examines how indicators of symbolic racism, a form of implicit racism, impact punitive policy preferences among the general United States population using separate logistic regression models isolating each indicator, plus a full model, for each outcome. Punitive policy preferences were operationalized as support for increased spending on crime prevention …
The Investor Perspective Of Materiality, Sam Lessinger
The Investor Perspective Of Materiality, Sam Lessinger
Honors Undergraduate Theses
Often auditors are asked to adopt the reasonable investor perspective in their materiality evaluations however, there is no consensus regarding what investors deem to be material. This can lead to confusion in the markets. In fact, past studies have shown how taking an investor perspective can backfire and may result in more leniency and fewer misstatements being deemed material by auditors. This leniency can, potentially, result in financial statements that mislead investors. The aim of this paper is to address the reasonable investor perspective to achieve a more complete understanding of an investor’s viewpoint. This study also incorporates the effect …
A Framework For Optimizing Creep Model Parameters From Conventional And Accelerated Creep Tests, William D. Day
A Framework For Optimizing Creep Model Parameters From Conventional And Accelerated Creep Tests, William D. Day
Graduate Studies Theses and Dissertations 2026
The demand for efficiency in power generation and propulsion requires higher firing temperatures and reduced cooling air consumption which raises metal temperatures. This makes simplistic creep evaluations, such as Larson-Miller and Orr-Sherby-Dorn parameters, inadequate. Finite element analysis (FEA) must simulate primary and secondary creep, predict failure, and provide design guidance. Gas turbine components, expected to last over 100,000 hours, often require extrapolation of limited test data for new materials. It is essential that robust creep simulations be developed efficiently, accurately, and effectively use limited test data.
This dissertation describes an optimized framework for efficient creep testing and rapid construction of …
Teaching Students To Prompt Ai For Understanding: Evidence-Based Strategies From A Calculus Course, Jared Campbell, Joo Young Park Ph.D
Teaching Students To Prompt Ai For Understanding: Evidence-Based Strategies From A Calculus Course, Jared Campbell, Joo Young Park Ph.D
Teaching & Learning with AI
No abstract provided.
Designing Presence Together: A Coi-Guided Summit And Accountability Approach, Latisha D. Haag, Rachel Dolechek, Janet Stramel, Jessica Heronemus-Claiborn
Designing Presence Together: A Coi-Guided Summit And Accountability Approach, Latisha D. Haag, Rachel Dolechek, Janet Stramel, Jessica Heronemus-Claiborn
Teaching Online Pedagogical Repository
This strategy, developed as part of a Digital Teaching Champions initiative at a regional comprehensive university, describes an Engage & Elevate summit and accountability model that helps faculty implement small, presence‑focused changes in their online courses using the Community of Inquiry (CoI) framework. In two synchronous Zoom summits, faculty cohorts completed a brief CoI self‑assessment, explored discipline‑neutral examples of social, cognitive, and teaching presence, and analyzed low‑, moderate‑, and high‑presence versions of common online activities. Guided by summit worksheets and templates, each instructor selected one existing activity (such as a discussion, peer review, or feedback workflow), identified one “small teaching” …
Advancing Multi-Modal Learning, Swetha Sirnam
Advancing Multi-Modal Learning, Swetha Sirnam
Graduate Studies Theses and Dissertations 2026
Multimodal learning aims to develop systems that understand and reason across multiple sources of information such as images, videos, audio, and text. These capabilities are central to applications including visual search, digital assistants, robotics, and visual question answering. Despite recent progress in multimodal large language models, current approaches struggle to capture the structured complexity of real-world visual data. Fine-grained visual details are often lost during multimodal alignment, models frequently fail to capture nuanced human intent, and existing methods remain limited in understanding long-form videos with complex temporal dynamics. Furthermore, many evaluation benchmarks rely heavily on explicit visual cues, which can …
Increasing Actuation Authority And Bandwidth For Aeromechanics Testing: A Piezoelectric-Based Approach, Sydney A. Giannuzzi
Increasing Actuation Authority And Bandwidth For Aeromechanics Testing: A Piezoelectric-Based Approach, Sydney A. Giannuzzi
Graduate Studies Theses and Dissertations 2026
Flutter in turbomachinery poses significant risks to aerospace systems, requiring accurate identification of flutter boundaries to ensure operational safety. Traditional binary “flutter / no flutter” testing methods provide limited data without error margins. Aeromechanical Identification Methodology (AIM) offers a safer alternative by mapping aeromechanical damping across operational conditions using non-contact excitation. However, current AIM actuators are constrained to excitation frequencies below 500 Hz, limiting their effectiveness and applicability. To bridge this gap, this research analyzed and validated performance of a novel piezoelectric-based oscillatory flow injection valve (NOVA) designed to deliver high-bandwidth, high-authority actuation for expanded flutter boundary mapping.
NOVA was …
Governing Harm: Three Essays On Anti-Lgbtq+ Legislation In The United States, Kathryn Hickey
Governing Harm: Three Essays On Anti-Lgbtq+ Legislation In The United States, Kathryn Hickey
Graduate Studies Theses and Dissertations 2026
In the United States, over 140 state bills were passed between 2014 and 2024 that directly targeted the lives of LGBTQ+ individuals. Drawing on administrative evil and the minority stress model, this dissertation demonstrates how policy environments that normalize discrimination through the passage of anti-LGBTQ+ legislation can lead to devastating consequences. Using a three-essay format, the first study conducts a qualitative content analysis of state level anti-LGBTQ+ laws passed between 2015 and 2024 to identify how administrative evil is woven into the language of the legislation. The results of this analysis show these laws systematically dehumanize LGBTQ+ individuals, restrict their …
Deceptive Design And Disability: How Dark Patterns Affect Users With Visual Impairments, Konstantin Metz
Deceptive Design And Disability: How Dark Patterns Affect Users With Visual Impairments, Konstantin Metz
Graduate Studies Theses and Dissertations 2026
Dark patterns are deceptive interface designs that steer users toward unintended actions, often at financial or privacy cost. This thesis examines how those that are vision impaired are at greater risk of these dark patterns given their visual acuity deficit. We conducted semi structured interviews with nine participants across common contexts including e-commerce checkout, subscription and cancellation flows, software download pages, and mobile permission prompts. The data show recurring exposure to dark patterns such as hidden or de-emphasized fees, pre-selected add-ons, deceptive advertising and fake download buttons along with unequal consent paths, repeated permission nagging, and cancellation friction. Participants reported …
Come And See: Exploring Complex Dynamics And Abjection Through A Southern Gothic Family Portrait, Lenee N. Peterson
Come And See: Exploring Complex Dynamics And Abjection Through A Southern Gothic Family Portrait, Lenee N. Peterson
Graduate Studies Theses and Dissertations 2026
“COME AND SEE: Exploring Abject Theory Through a Southern Gothic Family Portrait” examines the artist’s complex familial upbringing through the visual and narrative traditions of Southern Gothic art. Drawing upon abject theory and the cultural references of folk horror and Southern Gothicism, this thesis positions the family portrait where intimacy, trauma, and cultural inheritance collide. The project argues that direct confrontation with abjection can foster recognition, shared experience, and the possibility of collective healing. Grounded in practice-based research, this work functions as a critical and creative response to familial strain shaped by scarcity, social oppression, and emotional precarity. Through a …
Modeling Hazard Perception Learning In Novice Drivers With Autism: A Multimodal Simulation-Based Study, Erik J. Sand
Modeling Hazard Perception Learning In Novice Drivers With Autism: A Multimodal Simulation-Based Study, Erik J. Sand
Graduate Studies Theses and Dissertations 2026
Young drivers with autism spectrum disorder (ASD) often demonstrate difficulties with road-surveillance behaviors such as scanning ahead, monitoring mirrors, and identifying emerging hazards. These challenges can increase crash risk, particularly for adolescents with limited driving experience. This study explored whether a simple, video-game–based hazard-training program could improve hazard detection performance, visual scanning, and self-regulation in this population. Five participants aged 15–18 years, each identified by a parent as having ASD and possessing either a learner’s permit or no license, completed sequential Baseline, three Treatment, and Withdrawal phases using the SpeedLimit driving simulation. The study employed a single-case experimental design with …
Watch Your Step, Mind The Crowd: Socially Compliant Navigation In Unstructured Environments, Jack Vice
Watch Your Step, Mind The Crowd: Socially Compliant Navigation In Unstructured Environments, Jack Vice
Graduate Studies Theses and Dissertations 2026
Autonomous mobile robots increasingly operate in complex real-world environments characterized by uneven terrain, dynamic obstacles, and human presence. This dissertation addresses the fundamental challenge of developing adaptive navigation strategies that enable robots to safely and effectively traverse unstructured outdoor environments including construction sites, agricultural fields, and disaster areas while maintaining social compliance around people. We advance this capability through five complementary contributions that collectively target dynamic, unstructured, human-occupied environments. First, we demonstrate evolutionary optimization of legged mobility for uneven terrain. Second, we propose using a spatiotemporal autoencoder to learn the temporal dynamics of moving people and objects. Third, we introduce …
Holistic Review In Graduate Admissions: Admissions Professionals’ Evaluation Of Non-Cognitive Traits, Joshua L. Olson
Holistic Review In Graduate Admissions: Admissions Professionals’ Evaluation Of Non-Cognitive Traits, Joshua L. Olson
Graduate Studies Theses and Dissertations 2026
This basic qualitative study examines how graduate admissions professionals conceptualize, operationalize, and interpret holistic review within graduate admissions processes. Guided by Social Cognitive Theory and Expectancy-Value Theory, the study explores how non-cognitive traits such as motivation, resilience, self-efficacy, and professionalism are evaluated alongside traditional academic indicators in admissions decision-making. Using semi-structured interviews with graduate admissions professionals directly involved in admissions decisions, the study identifies how holistic review is defined and implemented across institutional contexts, which non-cognitive traits are most valued, and the tools and procedures used to assess applicant potential beyond academic metrics. Findings suggest that, for participants in this …
Characterization And Experimental Study Of Ammonia-Hydrogen Flames Inside A Toroidal Jet-Stirred Reactor At Atmospheric Conditions, Oli Marquez Valenzuela
Characterization And Experimental Study Of Ammonia-Hydrogen Flames Inside A Toroidal Jet-Stirred Reactor At Atmospheric Conditions, Oli Marquez Valenzuela
Graduate Studies Theses and Dissertations 2026
Due to rising concerns about global surface temperatures and carbon emissions, there has been an increased interest in studying alternative fuels. Ammonia and hydrogen are fuels with the potential to replace general biofuels, hydrocarbons, and sustainable aviation fuels, as they do not contain any carbon, eliminating carbon emissions. However, they are both difficult to work with. Hydrogen has great combustion characteristics such as low ignition energy, high flame speed and lower heating value. However, it is volatile and difficult to store, requiring it to be compressed to high pressure or cooled to incredibly low temperatures. Ammonia can be used as …
Cylinder Wake Stability Effects Of Passive Forebody Modification And Active Harmonic Actuation, Matt Duran
Cylinder Wake Stability Effects Of Passive Forebody Modification And Active Harmonic Actuation, Matt Duran
Graduate Studies Theses and Dissertations 2026
This dissertation investigates the manipulation of global and three-dimensional instabilities in the wake of a circular cylinder through two separate flow control methods. This study first focuses on the influence of attached leading edge forebodies as a form of passive flow control designed to introduce upstream streamline curvature, where the curvature takes the form of a concave and convex case. We demonstrate that for both cases this induced curvature significantly modifies the primary instability, which suppresses periodic vortex shedding (Von Kármán vortex street). We found an increase in critical Reynolds number of 56.6 and 60.1 for the concave and convex …
Exercise-Induced Muscle Swelling And Impedance Changes Of The Elbow Flexor, Sofea Smith
Exercise-Induced Muscle Swelling And Impedance Changes Of The Elbow Flexor, Sofea Smith
Graduate Studies Theses and Dissertations 2026
Electrical impedance myography (EIM) is a non-invasive method that assesses body fluid distribution using impedance (Z), resistance (R), reactance (Xc), and phase angle (PhA). These values have previously been used to interpret cellular health and fluid shifts. Acute muscle edema known as a “pump,” has been reported during and after resistance training exercise and the extent to which bioelectrical properties of the muscle tissue are affected during this process remains relatively unexplored. Therefore, the purpose of this study was to assess changes in EIM during exercise-induced muscle swelling via resistance training. Thirty-one resistance-trained adults (male=21, female=10; age=23.4±6.5 years, BMI=26.17±3.04 kg/m2) …
Toward Urban-Scale Liquefaction Hazard Analysis: Evaluation And Optimization Of Cpt-Based Lateral Displacement Assessment, Varun M. Singh
Toward Urban-Scale Liquefaction Hazard Analysis: Evaluation And Optimization Of Cpt-Based Lateral Displacement Assessment, Varun M. Singh
Graduate Studies Theses and Dissertations 2026
Liquefaction-induced lateral spreading is a major type of earthquake-induced ground failure hazard and poses a significant threat to infrastructure systems. While semi-empirical methods, such as Lateral Displacement Index (LDI), have been developed to estimate lateral spreading displacement (LSD), their efficacy for regional-scale liquefaction hazard assessment remains unknown. This study evaluates and improves the LDI method for urban-scale seismic hazard assessments using a comprehensive dataset consisting of 1,713 Cone Penetration Test (CPT) case histories from the 2011 Christchurch, New Zealand earthquake, and high-resolution topographic data. Comparing the predicted LSDs and ground-truth observations from both field investigations and remote-sensing surveys reveals that …
Examining Relationships Between Pre-Arrival Information, Perceived Preparedness, And Distressing Call Outcomes Among Firefighters, Victoria L. Steigerwald
Examining Relationships Between Pre-Arrival Information, Perceived Preparedness, And Distressing Call Outcomes Among Firefighters, Victoria L. Steigerwald
Graduate Studies Theses and Dissertations 2026
Responding to distressing emergency calls increases firefighters’ risk for negative mental health outcomes, including posttraumatic stress disorder, warranting investigation into factors that can be targeted to reduce their risk for call-related distress. The present study examined whether the completeness of pre-arrival information about a distressing call reduced firefighters’ peri- and post-call distress via their perceived preparedness for the call and whether general self-efficacy moderated the relationship between pre-arrival information completeness and perceived preparedness. Data were analyzed from 173 active firefighters in the United States (89.0% male, mean age=37.98 years) who completed an online survey asking them to report on levels …
The Reliability, Validity, And Sensitivity Of Physical Working Capacity At The Pain Intensity Threshold, Danielle A. Sterner
The Reliability, Validity, And Sensitivity Of Physical Working Capacity At The Pain Intensity Threshold, Danielle A. Sterner
Graduate Studies Theses and Dissertations 2026
The purpose of this dissertation was to evaluate the reliability, validity, and responsiveness to training intervention of a pain-anchored capacity threshold, the Physical Working Capacity at the Pain Intensity Threshold (PWCPIT), as a practical submaximal marker of endurance-related exercise tolerance. Study one examined the test-retest reliability of pain-based, perceptual, and physiological physical working capacity measures in recreationally active men using a standardized multi-bout cycling protocol, with pain intensity responses demonstrating strong reproducibility and low measurement error, supporting the stability of pain-anchored thresholds when standardized procedures are applied. Study two evaluated the validity of PWCPIT by examining pain …
Building Eden Where We Can, Ireland Thomas
Building Eden Where We Can, Ireland Thomas
Graduate Studies Theses and Dissertations 2026
Building Eden Where We Can is a nonfiction memoir told in vignettes that come together to build a wider story. Through these vignettes, we are shown a narrator who is simultaneously surviving an abusive family, navigating a rare diagnosis, and coming to terms with their queerness. By braiding narratives and maintaining these various threads, this collection examines the intersections of sickness and religion, tradition and freedom, as well as fear and love. The lattermost dichotomy is represented in the narrator’s ultimate choice to leave behind a life of fear in the mother figure’s safe cage. In exchange, they receive a …
Chirpi - Implementing And Analyzing The Chirp Communication Algorithm On Esp32 Hardware, Calvin Vanwormer
Chirpi - Implementing And Analyzing The Chirp Communication Algorithm On Esp32 Hardware, Calvin Vanwormer
Graduate Studies Theses and Dissertations 2026
This work presents the implementation and experimental evaluation of the CHIRP communication algorithm on resource-constrained ESP32-S3 microcontrollers, bridging the gap between simulation-based validation and real-world deployment. CHIRP is a lightweight, fully decentralized peer-to-peer protocol designed for IoT networks with dynamic node membership, enabling runtime node join and leave operations without centralized coordination or global reconfiguration. The implementation comprises two main components: C-based node firmware running on FreeRTOS [1, 2], which implements the full CHIRP protocol including peer discovery, round-robin pairing, and firefly-inspired phase synchronization, and a Python-based experiment controller that orchestrates network experiments and collects per-node metrics without influencing protocol …
A Sensor Fusion And Optimization Framework For High-Resolution Power Outage Detection And Energy Asset Allocation, Elizabeth Trader
A Sensor Fusion And Optimization Framework For High-Resolution Power Outage Detection And Energy Asset Allocation, Elizabeth Trader
Graduate Studies Theses and Dissertations 2026
Existing power outage datasets lack the spatial and temporal resolution required for neighborhood- level risk assessment, and conventional energy system design optimizes for cost without accounting for community-level demand - resulting in inefficient and inequitable asset de- ployment. This dissertation presents IONCORTEX, a framework integrating three technical contributions: a heterogeneous sensor fusion pipeline combining social media signals with municipal infrastructure records for intersection-level outage detection at six-hour tempo- ral resolution, maintaining detection capability during telecommunications disruptions; a techno-economic analysis pipeline evaluating photovoltaic, battery storage, hydrogen, and diesel portfolios using NREL’s System Advisor Model with Monte Carlo uncertainty quan- tification; and …
Abig4l: A Semantic Reasoning Engine For Verilog Via Abstract Interpretation, Alicia Thoney
Abig4l: A Semantic Reasoning Engine For Verilog Via Abstract Interpretation, Alicia Thoney
Graduate Studies Theses and Dissertations 2026
Modern Electronic Design Automation (EDA) flows treat structural and semantic reasoning as separate concerns. Synthesis structurally optimizes RTL, while dedicated verification teams validate functional behavior through testbenches and formal methods. This organizational divide means designers have no automatic, sound way to understand what their RTL does at the moment they are writing it. This thesis introduces AbIG4L (Abstract Interpretation of Generic 4-valued Logic), a static analysis framework that bridges this gap by delivering sound semantic reasoning automatically, directly within the hardware design loop.
The framework operates on a language-agnostic intermediate representation to compute sound over-approximations of hardware behavior across 0, …
Resources And Coping Strategies In Adverse Work Situations: A Person-Centered Approach, Chad Yagey
Resources And Coping Strategies In Adverse Work Situations: A Person-Centered Approach, Chad Yagey
Graduate Studies Theses and Dissertations 2026
The resilience process model highlights an approach to how people mobilize their resources to cope and positively adapt in the face of adversity. Leveraging Conservation of Resources (COR) theory and the Work Home Resources Model (WHRM), I aim to uncover the extent to which resilience capacity (resources) and resilience enactment (coping) influence outcomes of resilience, offering one of the first empirical tests of the resilience process model. Specifically, COR theory posits that the more psychological resources someone has, the more successful they are in coping. I challenge this notion by examining whether specific profiles of the combination of resources available …
Sonic Costumes For Immersive Theme Park Storytelling: Developing Interactive Wearables To Enhance Performer, Audience, And Environment Interaction, Rachel Yee
Graduate Studies Theses and Dissertations 2026
Costumes enhance the themed experience through visual storytelling while also allowing performers to interact fluidly with a physical space. These garments are typically passive storytellers in theme parks, even if the performers interact directly with guests. Some garments coordinate with and react to elements of the themed environment, predominantly when worn by performers within live shows, parades, or streetmosphere settings. However, this interactivity is often available only at a distance from guests, causing a separation between audience and performer. For instance, lights on parade costumes, such as those throughout Disney’s Magic Kingdom Park, often synchronize only with parade floats and …
Infrared Systems And Their Application On Target Detection And Geolocation, Li Zhang
Infrared Systems And Their Application On Target Detection And Geolocation, Li Zhang
Graduate Studies Theses and Dissertations 2026
The infrared spectrum contains various sub-bands (from near infrared (NIR) to long-wave infrared (LWIR), which are specialized at different detection tasks. Objects that are well camouflaged to human vision can be highly noticeable in NIR imagery. For vision navigation, the varying illumination condition and the cluttered urban background poses challenges in the visible band but can easily be resolved by using a thermal imager operating in LWIR. Despite this potential, practical deployment remains limited by the lack of suitable platforms, task-specific datasets, and long-duration field validation. This dissertation addresses these gaps through the design and evaluation of two infrared sensing …