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

Digital Commons Network™

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

Portland State University

Discipline
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 391 - 420 of 6891

Full-Text Articles in Entire DC Network

The Petrology Of The Ozerki Meteorite Constrained By Electron Backscatter Diffraction And X-Ray Computed Tomography, Alice Macente, Luke Daly, Sammy Griffin, Maria Gritsevich, Jarmo Moilanen, Josh Franz Einsle, Patrick Trimby, Chris Mulcahy, Jonathan Moffat, Alexander M. Ruzicka Jan 2025

The Petrology Of The Ozerki Meteorite Constrained By Electron Backscatter Diffraction And X-Ray Computed Tomography, Alice Macente, Luke Daly, Sammy Griffin, Maria Gritsevich, Jarmo Moilanen, Josh Franz Einsle, Patrick Trimby, Chris Mulcahy, Jonathan Moffat, Alexander M. Ruzicka

Geology Faculty Publications and Presentations

Combining electron backscatter diffraction (EBSD) with X-ray computed tomography (XCT) offers a comprehensive approach to investigate shock deformation and rock texture in meteorites, yet such integration remains uncommon. In this study, we demonstrate the synergistic potential of XCT and EBSD in revealing deformation metrics, thereby enhancing our understanding of petrofabric strength and shock-induced deformation. Our analysis focuses on the Ozerki (L6, S4/5, W0) meteorite fall, which was instrumentally observed on June 21, 2018, and subsequently recovered by the Ural's branch of the Russian Fireball Network (UrFU) recovery expedition a few days later. The trajectory analysis conducted by the Finnish Fireball …


Global Patterns Of Coseismic Landslide Runout Mobility Differ From Aseismic Landslide Trends, Alex R. R. Grant, Natalie K. Culhane Jan 2025

Global Patterns Of Coseismic Landslide Runout Mobility Differ From Aseismic Landslide Trends, Alex R. R. Grant, Natalie K. Culhane

Geology Faculty Publications and Presentations

Coseismic landslides significantly contribute to human and economic losses during and immediately following earthquakes, yet very little data on the runout of such landslides exist. While well-established behavior of aseismic (e.g., hydrologically triggered) landslide runout mobility suggests strong correlation between landslide size and mobility, limited studies of coseismic landslide runout find conflicting mobility trends. We present a global dataset of runout lengths produced from a new automated method for estimating landslide runout, developed and validated using 1726 manually mapped landslides from five unique earthquakes. We then apply the automated runout tool to 23 global earthquake-induced landslide inventories, producing a compiled …


The Geography Of Rock Glaciers In The American West, Allison Reese Trcka, Andrew G. Fountain, Bryce Allen Glenn Jan 2025

The Geography Of Rock Glaciers In The American West, Allison Reese Trcka, Andrew G. Fountain, Bryce Allen Glenn

Geology Faculty Publications and Presentations

Rock glaciers are relatively common in conterminous United States west of the 100° meridian, yet their distribution and number are not well known. Using aerial and satellite imagery, we inventoried the population of rock glaciers, yielding 2,257 rock glaciers totaling 234.28 km2 with an area of uncertainty of 7 percent. Of these, 1,561 (155.44 km2) are considered intact (moving) and 696 (76.84 km2) relict. Based on published estimates of ice content, total water-equivalent volume is roughly 2.52 km3. Rock glacier elevations increase from the northwest (Washington) to the southeast (Colorado), following a spatial …


Equations To Predict Carbon Monoxide Emissions From Amazon Rainforest Fires, Sarah M. Gallup, Bonne Ford, Stijn Naus, John L. Gallup, Jeffrey R. Pierce Dec 2024

Equations To Predict Carbon Monoxide Emissions From Amazon Rainforest Fires, Sarah M. Gallup, Bonne Ford, Stijn Naus, John L. Gallup, Jeffrey R. Pierce

Economics Faculty Publications and Presentations

Earth systems models (ESMs), which can simulate the complex feedbacks between climate and fires, struggle to predict fires well for tropical rainforests. This study provides equations that predict historic carbon monoxide emissions from Amazon rainforest fires for 2003–2018, which could be implemented within ESMs’ current structures. We also include equations to convert the predicted emissions to burned area. Regressions of varying mathematical forms are fitted to one or both of two fire CO emission inventories. Equation accuracy is scored on r2, bias of the mean prediction, and ratio of explained variances. We find that one equation is best …


Summed Series Involving 1F2 Hypergeometric Functions, Jack C. Straton Dec 2024

Summed Series Involving 1F2 Hypergeometric Functions, Jack C. Straton

Physics Faculty Publications and Presentations

Summation of infinite series has played a significant role in a broad range of problems in the physical sciences and is of interest in a purely mathematical context. In a prior paper, we found that the Fourier–Legendre series of a Bessel function of the first kind JN(kx) and modified Bessel functions of the first kind IN(kx) lead to an infinite set of series involving 1F2 hypergeometric functions (extracted therefrom) that could be summed, having values that are inverse powers of the eight primes 1/ ( 2i 3j 5k …


Efficient Visual Data Processing Approaches To Improve Resource Utilization, Yeganeh Jalalpour Dec 2024

Efficient Visual Data Processing Approaches To Improve Resource Utilization, Yeganeh Jalalpour

Dissertations and Theses

With continuous advancements in technology, the volume of visual data being captured, distributed, and consumed across various applications is rapidly increasing. Enhancing the efficiency of visual data processing can improve resource consumption, making the storage, transmission, and use of this growing visual content more effective.

Image and video data constitute a significant share of internet traffic, making video compression a critical factor in enhancing overall data throughput by improving the video compression ratio. Capturing, transferring, and storing raw video data is challenging due to the substantial resources required for both storage and computation. Video compression, however, can significantly mitigate these …


Schools Apart: Curricular Stratification Across School Socioeconomic Compositions And Implications For Educational Inequality In The Us, Daniel Mackin Freeman Dec 2024

Schools Apart: Curricular Stratification Across School Socioeconomic Compositions And Implications For Educational Inequality In The Us, Daniel Mackin Freeman

Dissertations and Theses

Motivated by longstanding sociological theories and utilizing the most current, large, and nationally representative data, this dissertation aims to describe and add nuance to our understanding of how the curriculum US youth are exposed to is stratified by the socioeconomic composition of the schools they attend. All three empirical chapters suggest that school SES contributes to substantial differences in school structure, as evidenced by differences in course-taking patterns and how course-taking relates to academic achievement in high school and beyond. The first study suggests that the relationship between curricular intensity in secondary school and postsecondary achievement is variable depending on …


Recovery Of Black Carbon Concentrations In Burned Forests In Wyoming, Usa, Monica Vanesa Zapata Villegas Dec 2024

Recovery Of Black Carbon Concentrations In Burned Forests In Wyoming, Usa, Monica Vanesa Zapata Villegas

Dissertations and Theses

Burned forests that remain standing following fire release light-absorbing particles (LAPs), including black carbon (BC), into winter snowpacks, reducing snow surface albedo and accelerating snowmelt timing for decades postfire. Although the role of LAPs in seasonal snow has been extensively studied, the spatiotemporal variability of LAPs' contributions to snowmelt relative to time-since-fire and burn severity remains unknown. This study aimed to quantify the spatiotemporal variability of forest fire effects on LAPs in snow and associated snow albedo in the Triple Divide region of western Wyoming, headwaters of the Colorado, Columbia, and Missouri rivers. Using geochemical analysis and radiative transfer modeling, …


Tag-Based Security In C: Writing And Specifying Flexible Protection, Sean Noble Anderson Dec 2024

Tag-Based Security In C: Writing And Specifying Flexible Protection, Sean Noble Anderson

Dissertations and Theses

The C language is ubiquitous and insecure. Tag-based security policies offer a flexible toolkit for runtime protection, including policies that mitigate the effects of undetected programming bugs and those that enforce security properties of the program logic. But tag policies can be difficult to define, and the protection that they offer can be difficult to specify and to prove.

This dissertation builds from an assembly-level specification of stack safety, encompassing the essential control-flow structure of C and other high level languages, to a C source-level policy definition framework called Tagged C. Tagged C includes a variant C semantics parameterized by …


Investigating Student Expectations, Buy-In, And Engagement In Lower Division Undergraduate Chemistry Labs, Elizabeth Blanche Vaughan Dec 2024

Investigating Student Expectations, Buy-In, And Engagement In Lower Division Undergraduate Chemistry Labs, Elizabeth Blanche Vaughan

Dissertations and Theses

Laboratory courses constitute an integral aspect of chemistry education at the undergraduate level. Despite their prominence, a growing number of researchers have begun to think more critically about the value of laboratory learning experiences. As pedagogical decisions should be based on evidence, it is necessary for chemistry education researchers and practitioners to investigate the claim that teaching laboratories are a valuable part of science education. Therefore, the aim of this dissertation was to address one small section of this gap in the literature by obtaining a more robust understanding of students' expectations, buy-in, and engagement in lower division, undergraduate, chemistry …


Landslide Mapping, Characterization, And Hazard Assessment With 3d Slope Stability Modeling In White Bluffs, Washington State, Anna Tsitsivas Dec 2024

Landslide Mapping, Characterization, And Hazard Assessment With 3d Slope Stability Modeling In White Bluffs, Washington State, Anna Tsitsivas

Dissertations and Theses

Slope failures shape the landscape by moving unstable material downslope and, in doing so, become a great hazard to all those in their path. Understanding the mechanisms that control landslide location, timing, size, type, and runout - and therefore hazards - requires a deep understanding of the local geology, stratigraphy, and groundwater conditions. Along White Bluffs, in south-central Washington, landslides of several failure styles have likely been triggered by an increased water table in recent decades, threatening both farmland behind the bluffs and habitat below. This study focuses on characterizing potential groundwater sources and determining controls on spatial and temporal …


Aquatic Plant Threats To The Columbia River, Jacob Rose, Gabriel Campbell Dec 2024

Aquatic Plant Threats To The Columbia River, Jacob Rose, Gabriel Campbell

Center for Lakes and Reservoirs Publications and Presentations

These presentation slides provide an overview of some of the invasive aquatic plants that pose an emerging threat to Oregon waterways. It contains botanical notes and high-quality photographs of approximately nine different plant species. Additional slides emphasize the importance of early detection and rapid response, as well as existing resources for invasive species outreach. This presentation was given orally at the Oregon Department of Agriculture's Interagency Noxious Weed Symposium to an audience of natural resource practitioners.


Emerging Aquatic Plant Threats To Oregon Waterways, Jacob Rose, Gabriel Campbell Dec 2024

Emerging Aquatic Plant Threats To Oregon Waterways, Jacob Rose, Gabriel Campbell

Center for Lakes and Reservoirs Publications and Presentations

This brief presentation provides an overview some of two invasive aquatic plants that pose a threat to the Columbia River, where it borders Oregon and Washington. Flowering rush (Butomus umbellatus) and fragrant waterlily (Nymphaea odorata) threaten aquatic habitats up and down the Columbia River. Staff from the Center for Lakes & Reservoirs promoted a quick, picture-based key for flowering rush and lookalikes. This presentation was given orally at the Oregon Department of Agriculture's Interagency Noxious Weed Symposium to an audience of natural resource practitioners.


Increased Thermal Stability And Retained Antibacterial Properties In A Sulbactam And Amantadine Salt: Towards Effective Antibacterial-Antiviral Combination Therapies, Josephine Bicknell, Ivan Bondarenko, Alice Colatrella, Elani J. Cabrera-Vega, Jesus Daniel Loya, Delbert S. Botes, Jay L. Mellies, Gonzalo Campillo-Alvarado Dec 2024

Increased Thermal Stability And Retained Antibacterial Properties In A Sulbactam And Amantadine Salt: Towards Effective Antibacterial-Antiviral Combination Therapies, Josephine Bicknell, Ivan Bondarenko, Alice Colatrella, Elani J. Cabrera-Vega, Jesus Daniel Loya, Delbert S. Botes, Jay L. Mellies, Gonzalo Campillo-Alvarado

Chemistry Faculty Publications and Presentations

A clinically relevant multidrug solid comprising sulbactam (β-lactamase inhibitor) and amantadine (antiviral) displays enhanced thermal stability and sustained antibacterial activity compared to starting materials.

We describe the formation of a multidrug salt comprising sulbactam (SUL, β-lactamase inhibitor) and amantadine (AMNH, antiviral). Physicochemical investigation of the SUL·AMNH salt revealed enhanced thermal stability compared to pristine starting materials. In vitro studies found that salt formation in SUL·AMNH does not disrupt antibacterial activity against model organisms Escherichia coli and Staphylococcus epidermidis. To our knowledge, we show the first β-lactamase inhibitor-antiviral salt where both components have been approved by the U.S. Food and Drug …


Sustainability Assessment Of Photovoltaic Cells In Cross-Functional Applications, Achyuth Ravilla Dec 2024

Sustainability Assessment Of Photovoltaic Cells In Cross-Functional Applications, Achyuth Ravilla

Dissertations and Theses

Achieving the G7 countries' net-zero emissions target by 2050 requires integrating photovoltaic (PV) systems into diverse cross-functional applications that support sustainable energy transitions across multiple sectors. This dissertation explores the economic and environmental sustainability of three such applications: agrivoltaics, lower-dimensional materials in perovskite solar cells, and PV-electrochemical water-splitting technologies for hydrogen production. Employing life cycle assessment (LCA) and techno-economic analysis (TEA), we address the knowledge gap in comprehensive evaluations of PV-integrated solutions.

The first chapter assesses agrivoltaic systems (AVS), which combine PV systems with agriculture to mitigate land-use conflicts while enhancing food and energy production. Findings indicate that AVS designs, …


Applying Positive Unlabeled Learning Techniques And Using The Kullback-Leibler Divergence To Improve Geothermal Surveying Assessments, Martín Thomas Rodriguez Dec 2024

Applying Positive Unlabeled Learning Techniques And Using The Kullback-Leibler Divergence To Improve Geothermal Surveying Assessments, Martín Thomas Rodriguez

Dissertations and Theses

As we face the current climate crisis, the discovery of geothermal energy resources has the potential to greatly reduce our dependence on fossil fuels worldwide. However, the development of any new energy infrastructure is expensive and depends on the willingness of energy agencies and developers to make initial investments based on calculated risk measures. One such measure, called geothermal favorability, is the likelihood that a site has conditions favorable for geothermal systems containing recoverable energy potential. Its prediction from existing geophysical datasets proves to be a nontrivial task. The prediction of geothermal favorability can be framed as a binary classification …


Aars Online: A Collaborative Database On The Structure, Function, And Evolution Of The Aminoacyl-Trna Synthetases, Jordan Douglas, Haissi Cui, John J. Perona, Oscar Vargas-Rodriguez, Henna Tyynismaa, Claudia Alvarez Carreno, Jiqiang Ling, Lluis Ribas De Pouplana, Xiang-Lei Yang, Multiple Additional Authors Dec 2024

Aars Online: A Collaborative Database On The Structure, Function, And Evolution Of The Aminoacyl-Trna Synthetases, Jordan Douglas, Haissi Cui, John J. Perona, Oscar Vargas-Rodriguez, Henna Tyynismaa, Claudia Alvarez Carreno, Jiqiang Ling, Lluis Ribas De Pouplana, Xiang-Lei Yang, Multiple Additional Authors

Chemistry Faculty Publications and Presentations

The aminoacyl-tRNA synthetases (aaRS) are a large group of enzymes that implement the genetic code in all known biological systems. They attach amino acids to their cognate tRNAs, moonlight in various translational and non-translational activities beyond aminoacylation, and are linked to many genetic disorders. The aaRS have a subtle ontology characterized by structural and functional idiosyncrasies that vary from organism to organism, and protein to protein. Across the tree of life, the 22 coded amino acids are handled by 16 evolutionary families of Class I aaRS and 21 families of Class II aaRS. We introduce AARS Online, an interactive Wikipedia-like …


Mathematics Education Reform Through Socio-Political Means: A Synthesis, Nadine Ferguson Dec 2024

Mathematics Education Reform Through Socio-Political Means: A Synthesis, Nadine Ferguson

University Honors Theses

Mathematics education urgently needs reform, as traditional approaches fail to meet the diverse needs of today's student populations. Conventional teaching methods, which often focus on rote memorization and procedural understanding, overlook mathematics being a human activity that is inherently interlinked with culture. This paper explores three key approaches to reforming mathematics education: differentiation, culturally responsive mathematics (CRM), and critical mathematics. Grounded in Rochelle Gutiérrez's definition of equity--which emphasizes nurturing students' mathematical identities and agency--this analysis evaluates how each approach addresses four critical goals: ensuring access for all students to complex mathematics, fostering student confidence, promoting collaboration, and making mathematics relevant …


Landscaping Impacts On Urban Soil Development, Fry Lundgren Dec 2024

Landscaping Impacts On Urban Soil Development, Fry Lundgren

University Honors Theses

Urban soils can play a key role in flood mitigation, water filtration, and supporting urban plant communities, however many are highly disturbed due to development and management practices. Although full recovery will take time (centuries), in the short term managing soils in ways that conserve organic matter inputs and promote nutrient cycling can support important soil functions and likely promote long term development. To understand how landscaping impact soil development on PSU campus, organic matter content, moisture content, and respiration rates were measured in soils from four area types with different long term weed management strategies (mulch- M; sustained plant …


Synthesis Of Binary-Input Multi-Valued Output Optical Cascades For Reversible And Quantum Technologies, Ishani Agarwal, Miroslav Saraivanov, Marek Perkowski Dec 2024

Synthesis Of Binary-Input Multi-Valued Output Optical Cascades For Reversible And Quantum Technologies, Ishani Agarwal, Miroslav Saraivanov, Marek Perkowski

Electrical and Computer Engineering Faculty Publications and Presentations

This paper extends the decomposition from the group theory based methods of Sasao and Saraivanov to design binary input multivalued output quantum cascades realized with optical NOT, SWAP, and Fredkin Gates. We present this method for 3, 5, and 7 valued outputs, but in general it can be used for odd prime valued outputs. The method can be extended to realize hybrid functions with different valued outputs. A class of local transformations is presented that can simplify the final cascade circuits. Using these simplifying transformations, we present an upper bound on the maximum number of gates in an arbitrary -variable …


Cognitive Apprenticeship Strategies For The Media Literacy Classroom, Nate Floyd, Jaclyn Spraetz Dec 2024

Cognitive Apprenticeship Strategies For The Media Literacy Classroom, Nate Floyd, Jaclyn Spraetz

Communications in Information Literacy

Inspired by the apprenticeship model of teaching and learning, two instructors report on their efforts to place current events at the center of a semester-long media and information literacy course. They discuss strategies to harness curiosity about contemporary topics (e.g., misinformation, climate change, algorithms, right-to-repair, blockchain, artificial intelligence, etc.), and create engagement-driven course content. The paper provides concrete examples of activities and assignments used to situate learning in real-world contexts and build students' confidence in navigating information independently. This case study offers insights for other educators seeking to apply cognitive apprenticeship principles to media and information literacy instruction.


Collaborative Robotics: Application Of Delphi Method, Jean-Marc Salotti, Ephraim Suhir Nov 2024

Collaborative Robotics: Application Of Delphi Method, Jean-Marc Salotti, Ephraim Suhir

Mechanical and Materials Engineering Faculty Publications and Presentations

In the domain of collaborative robotics, it is often needed to make complex multiparametric choices or assessments that combine heterogeneous criteria, such as task performance, reliability, safety, and ergonomics. The Delphi method, a process of arriving at group consensus by providing experts with rounds of questionnaires, as well as the group response before each subsequent round, can be applied to solve this type of problems. The following Delphi method efforts are addressed in our analysis with application to finding appropriate criteria and their relative weights for the evaluation of the teleoperation task of a robotic platform: (1) Contribution of experts; …


How Does Herbicide Resistance Change Farmer’S Weed Management Decisions? Evidence From The Roundup Ready Experiment, Huichun Sun, Terrance Hurley, George B. Frisvold, Katherine Dentzman, David Ervin, Wesley Everman, Jeffrey Gunsolus, Jason Norsworthy, Micheal Owen Nov 2024

How Does Herbicide Resistance Change Farmer’S Weed Management Decisions? Evidence From The Roundup Ready Experiment, Huichun Sun, Terrance Hurley, George B. Frisvold, Katherine Dentzman, David Ervin, Wesley Everman, Jeffrey Gunsolus, Jason Norsworthy, Micheal Owen

Environmental Science and Management Faculty Publications and Presentations

Adoption of diverse weed management practices is viewed as essential for slowing the spread of herbicide-resistant (HR) weeds. Yet, adoption of diverse tactics has remained low, while there has been explosive growth of resistant weeds. This study analyzes U.S.-farm-level data to identify factors affecting adoption of diverse weed management practices. This study uses directed acyclic graphs (DAGs) to consider how practice adoption is influenced by different causal pathways between farmer and farm characteristics and farmer awareness of and concern over HR weeds. This study then uses multiple regression analysis to estimate the direct and indirect pathways that influence practice adoption. …


Predicting Cloud-To-Ground Lightning In The Western United States From The Large-Scale Environment Using Explainable Neural Networks, Dmitri A. Kalashnikov, Frances V. Davenport, Zachary M. Labe, Paul C. Loikith, John T. Abatzoglou, Deepti Singh Nov 2024

Predicting Cloud-To-Ground Lightning In The Western United States From The Large-Scale Environment Using Explainable Neural Networks, Dmitri A. Kalashnikov, Frances V. Davenport, Zachary M. Labe, Paul C. Loikith, John T. Abatzoglou, Deepti Singh

Geography Faculty Publications and Presentations

Lightning is a major source of wildfire ignition in the western United States (WUS). We build and train convolutional neural networks (CNNs) to predict the occurrence of cloud-to-ground (CG) lightning across the WUS during June-September from the spatial patterns of seven large-scale meteorological variables from reanalysis (1995-2022). Individually trained CNN models at each 1° × 1° grid cell ( = 285 CNNs) show high skill at predicting CG lightning days across the WUS (median AUC = 0.8) and perform best in parts of the interior Southwest where summertime CG lightning is most common. Further, interannual correlation between observed and predicted …


Mean Field Control Of Droplet Dynamics With High-Order Finite-Element Computations, Guosheng Fu, Hangjie Ji, Will Pazner, Wuchen Li Nov 2024

Mean Field Control Of Droplet Dynamics With High-Order Finite-Element Computations, Guosheng Fu, Hangjie Ji, Will Pazner, Wuchen Li

Mathematics and Statistics Faculty Publications and Presentations

Liquid droplet dynamics are widely used in biological and engineering applications, which contain complex interfacial instabilities and pattern formation such as droplet merging, splitting, and transport. This paper studies a class of mean field control formulations for these droplet dynamics, which can be used to control and manipulate droplets in applications. We first formulate the droplet dynamics as gradient flows of free energies in modified optimal transport metrics with nonlinear mobilities. We then design an optimal control problem for these gradient flows. As an example, a lubrication equation for a thin volatile liquid film laden with an active suspension is …


Inefficiencies In Water Supply And Perceptions Of Water Use In Peri-Urban And Rural Water Supply Systems: Case Study In Cali And Restrepo, Colombia, Diana Carolina Callejas Moncaleano, Saket Pande, Melissa Haeffner, Juan Pablo Rodríguez Sánchez, Luuk Rietveld Nov 2024

Inefficiencies In Water Supply And Perceptions Of Water Use In Peri-Urban And Rural Water Supply Systems: Case Study In Cali And Restrepo, Colombia, Diana Carolina Callejas Moncaleano, Saket Pande, Melissa Haeffner, Juan Pablo Rodríguez Sánchez, Luuk Rietveld

Environmental Science and Management Faculty Publications and Presentations

Introduction:

Water scarcity is a significant global challenge that frequently manifests as inadequate water supply for domestic purposes. However, domestic water insecurity can occur even in regions where water is naturally abundant. Despite Colombia’s plentiful surface water resources, rural and peri-urban communities often experience limited access to water. Existing water supply systems are frequently susceptible to poor maintenance, particularly in remote areas where much of the infrastructure remains outdated. Consequently, water is often lost through leaks or unintentional non-domestic use. Although a regulatory framework for water usage exists, it does not consistently translate into effective implementation.

Methodology:

Based on an …


Automated Verification Of Compiler Transformations, Yanzhao Wang Nov 2024

Automated Verification Of Compiler Transformations, Yanzhao Wang

Dissertations and Theses

The ever-growing complexity of software and its target hardware makes it increasingly challenging to develop reliable compilers that preserve the semantics of source code during compilation. Traditional testing methods often lack sufficient test coverage and fail to identify subtle errors and undefined behaviors that can lead to compiler malfunctions. Furthermore, while formal compiler certification ensures semantic preservation through theorem proving, the inherent complexity of this process makes re-certification after each compiler revision substantially labor-intensive. This often significantly hinders the improvement of compilers.

This research aims to bridge the gap between increasing compiler complexity and the limited scalability of formal verification …


Higher Expectations: A Systematic Review Of Reporting The Science Of Propensity Score Modeling In Criminal Justice Studies, Christopher M. Campbell, Ryan M. Labrecque, Alicia D. Mckay Nov 2024

Higher Expectations: A Systematic Review Of Reporting The Science Of Propensity Score Modeling In Criminal Justice Studies, Christopher M. Campbell, Ryan M. Labrecque, Alicia D. Mckay

Criminology and Criminal Justice Faculty Publications and Presentations

Objectives This systematic review examined the reporting practices of propensity score modeling (PSM) in criminology and criminal justice studies. Methods There were 229 articles (with 527 individual sets of PSM analyses) published between 2000 and 2022 in the top 19 ranked criminology and criminal justice journals that were identified for study inclusion. These articles were systematically coded to assess the presence of key PSM reporting elements, including covariates, estimation methods, balancing strategy, matching type, sample size, balance assessment, sensitivity analysis, and post-PSM analyses. Results The use of PSM has increased dramatically over the last two decades. Study findings suggest that …


Investigating The Learning Goals And Expectations Of Laboratory Coordinators, Graduate Teaching Assistants, And Students In General And Organic Chemistry Laboratory Courses, Elizabeth Blanche Vaughan, A. Montoya-Cowan, Christine Kim, Alexandra Stephens, Osie Hamilton, Jack Barbera Nov 2024

Investigating The Learning Goals And Expectations Of Laboratory Coordinators, Graduate Teaching Assistants, And Students In General And Organic Chemistry Laboratory Courses, Elizabeth Blanche Vaughan, A. Montoya-Cowan, Christine Kim, Alexandra Stephens, Osie Hamilton, Jack Barbera

Chemistry Faculty Publications and Presentations

As chemistry education researchers and practitioners continue to investigate and improve undergraduate laboratory courses, it is necessary to consider the perspectives held by each of the stakeholders who are directly involved in these courses, including laboratory coordinators, graduate teaching assistants, and students. This study sought to qualitatively investigate the learning goals and expectations held by laboratory coordinators, graduate teaching assistants (GTAs), and students for general and organic chemistry laboratory courses at a single institution. This was completed through the collection and analysis of semistructured interview data from laboratory coordinators and GTAs and open-ended written responses from students. Results indicated that …


Polymorphism Control Of Polyethylene Terephthalate (Pet) Degradation Product Via Mechanochemistry Leads To Accelerated Microbial Degradation, Deepika Shingwekar, Nicholas Lutz, Delbert S. Botes, Elani J. Cabrera-Vega, Gonzalo Campillo-Alvarado, Jay L. Mellies, Jesus Daniel Loya Nov 2024

Polymorphism Control Of Polyethylene Terephthalate (Pet) Degradation Product Via Mechanochemistry Leads To Accelerated Microbial Degradation, Deepika Shingwekar, Nicholas Lutz, Delbert S. Botes, Elani J. Cabrera-Vega, Gonzalo Campillo-Alvarado, Jay L. Mellies, Jesus Daniel Loya

Chemistry Faculty Publications and Presentations

Here, we optimized a chemo-microbial degradation of polyethylene terephthalate. Developed a path to mechanochemically interconvert between BHET polymorphs and established that BHET polymorphism influences bacterial biodegradation rate.