15360 research outputs found
Sort by
Advancing File System Model Checking: Coverage, Framework, and Scalability
No full textFile 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 into existing file system testing workflows, achieving broader input coverage and improving the detection of crash consistency bugs. Next, we present Metis, a file system model checking framework designed to explore diverse inputs under different file system states. Using a reference file system (RefFS), Metis compares the behaviors of two file systems and reports any discrepancies as potential bugs. Metis leverages Swarm Verification (SV) to scale state exploration by distributing parallel verification tasks (VTs) across multiple cores and machines. Finally, we describe Containerized Swarm Verification (CoSV), in which each VT runs in a container and is managed by an orchestrator. CoSV enhances the scalability of SV by packaging each VT as a self-contained unit, allowing for easy adaptation to dynamic resource availability. In addition, CoSV ensures fault isolation across VTs to prevent faults in one task from interfering with the execution of others. Our thesis is that effective file system testing requires coverage metrics to guide evaluation, new techniques for thorough checking, and scalable parallelism to explore large state spaces. Overall, input/output coverage helps developers evaluate file system testing, while model checking systematically verifies states, and containerized swarm verification scales this process through efficient, fault-isolated parallelism
Building a Global Partnership through a Shared History
Full text linkEffective global partnerships in higher education promote intercultural awareness (Delong et al., 2011) and influence future study and work abroad experiences by articulating the value of global learning (Lewin, 2009). Seeking to broaden global engagement opportunities for minoritized students, specifically African Americans, one institution developed a virtual exchange program through a global partnership of stakeholders from Ghana, Togo, Benin, Cape Verde, and the United States. Grounded in a shared history of the 2019 discovery of the last reported ship to bring enslaved West Africans to the United States, students from Mobile, Alabama and Cotonou, Benin participated in virtual discussions that explored the lasting effects of slavery in present communities, leading to an increased interest in studying abroad, especially for African American students. This study tracks the development of a global partnership and virtual exchange program as a precursor to studying abroad in a lesser traveled country
Student Exploration of Self and Identity within the Context of On-Campus Employment
Full text linkUtilizing constructivist interpretive inquiry, this study examined the role of student employment in the Division of Student Affairs for four current undergraduate students. Findings indicate that student employment provided an important space for student employees to develop an identity-centric sense of self, a sense of belonging, and benefit from culturally competent supervision. Implications for practice are discussed to better facilitate student affairs employment as a place of intentionality and development
Effective Engagement in Online Asynchronous Graduate Courses: How Students Perceive Engagement in Their Graduate Programs
Full text linkAn increase in online learning has created a set of new challenges for higher education institutions. Institutions seek to retain students and ensure they are engaged in their courses. This paper examines forms of engagement that traditional and nontraditional students perceive in their online asynchronous graduate courses at a public flagship university. The authors examined relevant literature and surveyed students across several online graduate education programs. The survey shows that collaborative engagement, specifically the indicator of connecting to institutional opportunities, is the lowest tallied. This suggests that online graduate programs should seek to implement more collaborative engagement indicators. The survey also shows that cognitive engagement, specifically the indicator of class work that allows you to think critically, is the highest tallied. This suggests that students engage with the course materials in an effective manner. Synthesis of these survey results suggests that, while online graduate programs in this academic unit succeed in engaging students in critical thinking, they should seek to engage with students through more access to institutional opportunities
Final Doctoral Recital
No full textClarinet, Johannes Brahms, Kinan Azmeh, Viet Cuong, Philip Glass, Jean-Philippe Rameau, Leonard Bernstein. Please see Additional Documents for Recital Program
Life Cycle and Processes of Cool Season Precipitation Structures Within Northeast United States Cyclones
No full text@font-face {font-family: Cambria Math ; panose-1:2 4 5 3 5 4 6 3 2 4; mso-font-charset:0; mso-generic-font-family:roman; mso-font-pitch:variable; mso-font-signature:-536869121 1107305727 33554432 0 415 0;}p.MsoNormal, li.MsoNormal, div.MsoNormal {mso-style-unhide:no; mso-style-qformat:yes; mso-style-parent: ; margin-top:.2pt; margin-right:0in; margin-bottom:0in; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; mso-bidi-font-size:11.0pt; font-family: Times New Roman ,serif; mso-fareast-font-family: Times New Roman ; mso-fareast-language:EN-US;}.MsoChpDefault {mso-style-type:export-only; mso-default-props:yes; font-size:11.0pt; mso-ansi-font-size:11.0pt; mso-bidi-font-size:11.0pt; font-family: Calibri ,sans-serif; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:Calibri; mso-fareast-theme-font:minor-latin; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family: Times New Roman ; mso-bidi-theme-font:minor-bidi; mso-font-kerning:0pt; mso-ligatures:none; mso-fareast-language:EN-US;}.MsoPapDefault {mso-style-type:export-only; margin-top:.2pt;}div.WordSection1 {page:WordSection1;} Extratropical cyclones have precipitation structures within the comma head ranging from cells to banded precipitation. Much of the previous research in the comma head has focused on the larger primary (single) snowbands, with little investigation of the broader spectrum of snowband structures. An updated precipitation band climatology within the cyclone comma head is necessary to understand the variety of structures that exist and to relate the structures to environmental conditions. First, a new adaptive feature identification algorithm was developed. This new algorithm applies a threshold to localized regions to obtain a range of structures from precipitation cells to bands. The algorithm is tested on synthetically generated reflectivity fields of varying complexity, showing improvement in the detection of low-intensity objects and in separating high intensity objects compared to past approaches using single thresholds. The algorithm is then applied to composite radar over the Northeast U.S. There is no clear separation between primary and multibands defined in previous studies, but rather a broad distribution of precipitation object sizes and shapes. Bandlike objects most frequently occur north and northwest of the surface cyclone center, while more cellular objects are favored east and south of the center. We use the results to develop a new conceptual model of precipitation objects. The ERA5 reanalysis is used to explore precipitation object environments, by applying a self-organizing map (SOM) approach in specific regions of the cyclone comma head. There is stronger mid-level frontogenesis in regions with more prevalent large bands and greater low-level vertical shear in regions with more frequent amorphous objects, yet the environments are not statistically different for each precipitation object type. It is hypothesized that this is because objects experience a change in the background stability, shear, and frontogenesis as they move and evolve from the development to mature stages. The Weather Research and Forecasting (WRF) model version 4.4.1 was configured and used to simulate several cases from the Investigation of Microphysics and Precipitation for Atlantic Coast-Threatening Snowstorms (IMPACTS) field campaign as well as other events. Overall, WRF overpredicts the number of small amorphous objects. WRF environments for different types of precipitation structures are similar, and do not change significantly for different errors in precipitation object types. Sensitivity tests for an IMPACTS case study show that increasing horizontal or vertical resolution both slightly improve the structure of these objects in WRF, while changing the microphysics scheme or the initial conditions does little to improve the simulation
Identifying latent workforce capacities for extreme heat resilience: An artificial intelligence assisted approach
No full textExtreme heat events, intensified by climate change, pose critical challenges to public health, infrastructure, and workforce resilience. Despite the urgency of these challenges, there is no systematic framework to identify workforce adaptive capacities that can help build regional heat resilience. This study introduces a novel large language model assisted approach, using task-level data from the O*NET dataset, to identify workforce capacities that enhance heat resilience. By defining heat-solution tasks as activities mitigating heat impacts, protecting public health, or improving infrastructure, we classify heat-solution occupations and dual-impact occupations, which are both vulnerable to heat and critical to heat resilience. A case study of the state of Arizona in the United States analyzed 16,398 tasks across 663 occupations, identifying 110 heat-solution occupations (about 14 % of Arizona’ workforce) and 31 dual-impact occupations. The study reveals how energy-relevant occupations, such as HVAC technicians, solar installers, and retrofit specialists, contribute to climate adaptation, linking occupational roles to the clean energy transition and resilient infrastructure. By leveraging large language models, our method provides a scalable, AI-powered tool to analyze workforce data and identify capacities necessary for energy efficiency and hazard resilience. The findings not only demonstrate the potential of large language models in workforce analysis but also contributed to shaping Arizona’s first Extreme Heat Preparedness Plan. This study offers a scalable method to uncover latent capacities and informs policies on workforce development, safety regulations, and climate-resilient infrastructure, serving as a model for other regions facing similar challenges
Gender disparity in U.S. patenting
No full textDespite growing attention to gender disparities in innovation, little is known about how gender shapes the characteristics and outcomes of patented inventions. This study analyzes 3.7 million U.S. utility patents, covering 1.8 million distinct inventors and over 200,000 organizations, to investigate the gendered patterns of inventorship. While women’s participation in patenting has increased over time, they remain significantly underrepresented, and patents involving female inventors consistently receive fewer citations than those by all-male teams. However, women-participated patents are more likely to exhibit novelty, originality, and technological generality, particularly when produced by mixed-gender teams, which tend to generate the most disruptive inventions. Female inventors also draw more heavily on scientific literature and public support, especially in green technology and academic settings. Organizational and domain-level differences are pronounced: universities involve women at higher rates than corporations, and fields such as biotechnology and civil engineering demonstrate distinct gendered patterns in patent quality and disruption. These results suggest that women make important yet often overlooked contributions to innovation and that structural barriers may suppress their full inventive potential. Addressing these disparities can enhance innovation diversity, expand the societal relevance of patented technologies, and better support the next generation of inventors
Final Doctoral Recital
Full text linkOboe, Grażyna Bacewicz, Nadia Boulanger, Elliott Carter, Jean Coulthard, Darius Milhaud, Simon Sargon. Please see Additional Documents for Recital Program
Final Doctoral Recital
Full text linkVoice, Robert Schumann, Dominick Argento. Please see Additional Documents for Recital Program