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

Physical Sciences and Mathematics Commons

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

2024

Discipline
Institution
Keyword
Publication
Publication Type
File Type

Articles 3931 - 3960 of 8241

Full-Text Articles in Physical Sciences and Mathematics

El Nino Prediction At 1- And 3- Year Lead Times Driven By The Western North Pacific Precursor And Their Impacts, Krishna Borhara May 2024

El Nino Prediction At 1- And 3- Year Lead Times Driven By The Western North Pacific Precursor And Their Impacts, Krishna Borhara

All Graduate Theses and Dissertations, Fall 2023 to Present

The El Niño–Southern Oscillation (ENSO) is a climate variability characterized by fluctuations in the atmospheric and upper ocean conditions of the tropical Pacific Ocean that result in either warmer- or colder-than-average sea surface temperatures (SST) in the tropical eastern Pacific. These changes cause variations in weather and climate in distant locations through large-scale atmospheric circulation patterns. These variations often manifest in form of adverse effects or extremes such as heat waves, droughts, or floods, making efforts towards improving ENSO prediction critical in mitigating its impact on various sectors. This dissertation focuses on how interactions between the atmosphere and ocean in …


Weighted Ehrhart Theory: Extending Stanley's Nonnegativity Theorem, Esme Bajo, Robert Davis, Jesús A. De Loera, Alexey Garber, Sofía Garzón Mora, Katharina Jochemko, Josephine Yu May 2024

Weighted Ehrhart Theory: Extending Stanley's Nonnegativity Theorem, Esme Bajo, Robert Davis, Jesús A. De Loera, Alexey Garber, Sofía Garzón Mora, Katharina Jochemko, Josephine Yu

School of Mathematical and Statistical Sciences Faculty Publications and Presentations

We generalize R. P. Stanley's celebrated theorem that the h∗-polynomial of the Ehrhart series of a rational polytope has nonnegative coefficients and is monotone under containment of polytopes. We show that these results continue to hold for weighted Ehrhart series where lattice points are counted with polynomial weights, as long as the weights are homogeneous polynomials decomposable as sums of products of linear forms that are nonnegative on the polytope. We also show nonnegativity of the h∗-polynomial as a real-valued function for a larger family of weights.

We generalize R. P. Stanley's celebrated theorem that the h ⁎ -polynomial of …


Statistical Classification Using Selection And Ranking Methodologies With Statistical Learning, Jeong Jun Lee May 2024

Statistical Classification Using Selection And Ranking Methodologies With Statistical Learning, Jeong Jun Lee

UNLV Theses, Dissertations, Professional Papers, and Capstones

The subject of Statistical Classification is concerned with identifying and allocating future observations into one of the pre-categorized classes based on the characteristics of the objects. Typically, these decisions to classify and categorize the objects have been dependent on identifying a system of classification, and from there, determining attributes for sorting.

In past decades, from discriminant analysis, various methods have been developed for classification. In particular, the rise of artificial intelligence (AI), machine learning, and statistical learning theory has made it possible to consider improving the existing methods along with new developments and more comprehensive schemes in conjunction with data-driven …


Online Learning For Acid-Fast Bacilli Detection In Histopathological Images, Shizhao Wang May 2024

Online Learning For Acid-Fast Bacilli Detection In Histopathological Images, Shizhao Wang

UNLV Theses, Dissertations, Professional Papers, and Capstones

The acid-fast stain is frequently used for laboratory diagnosis of tuberculosis. It is a labor intensive task requiring thorough examination of extremely high-resolution images to pinpoint the presence of the mycobacteria. This paper presents a machine learning assisted slide image analysis tool with the aim of aiding histopathology professionals in the accurate diagnosis of tuberculosis in patients through the analysis of microscopic imagery. The proposed tool combines a digital whole slide image viewer with an online learning framework. We also conducted a survey of different state-of-the-art online learning methods, and found that MIR with pre-training has the best performance on …


Plant-Plant Interaction In Early- Vs. Late-Successional Varieties Of The Hawaiian Landscape-Dominant Tree, Metrosideros Polymorpha, Tomoko Sakishima May 2024

Plant-Plant Interaction In Early- Vs. Late-Successional Varieties Of The Hawaiian Landscape-Dominant Tree, Metrosideros Polymorpha, Tomoko Sakishima

UNLV Theses, Dissertations, Professional Papers, and Capstones

Plant-plant interactions play an important role in assembling plant communities. Interactions between neighboring plants can vary as a result of the genetic relatedness of neighbors, impacting rates of growth and patterns of resource allocation. When growing alongside close relatives, some species decrease their growth in a form of cooperation, while others grow faster through facilitation. A complication of plant interaction studies arises because decreased growth in the presence of close relatives can also be due to competition for resources, which increases with phenotypic similarity. Further complicating matters, mycorrhizal fungi, through their connections with plant roots, may strongly influence plant interactions. …


Evaluation Of The Extent Of Floods In 2022 In Different Land Cover And Land Use Classes In Sindh Province, Pakistan Using Sentinel-1 And Sentinel-2 Imageries, Alina Shrestha May 2024

Evaluation Of The Extent Of Floods In 2022 In Different Land Cover And Land Use Classes In Sindh Province, Pakistan Using Sentinel-1 And Sentinel-2 Imageries, Alina Shrestha

UNLV Theses, Dissertations, Professional Papers, and Capstones

Floods are one of the most frequent and most devastating natural disasters, which cause widespread destruction and pose significant risks to human life, infrastructure, and the environment. Advancement in remote sensing technologies and methodologies have demonstrated their efficacy in disaster-related applications, such as the detection, monitoring, and analysis of floods. This study explores the utilization of Synthetic Aperture Radar (SAR) and optical imagery for flood extent mapping and studying the extent of flood over various land cover and land use classes in Pakistan's Sindh province, utilizing the cloud computing power of Google Earth Engine. The change detection method identified extensive …


Simulation And Design Of Ion Traps Using The Method Of Fundamental Solutions, Trevor Taylor May 2024

Simulation And Design Of Ion Traps Using The Method Of Fundamental Solutions, Trevor Taylor

UNLV Theses, Dissertations, Professional Papers, and Capstones

In this thesis I apply the numeric method, the Method of Fundamental Solutions (MFS), to solve for the fields create by ion traps in various configurations, such as quadrupole ion traps, linear ion traps, toroidal ion traps, and toroidal surface ion traps. The traps are then designed to maximize desired qualities such as minimization of their anharmonicity, and their ability to shuttle ions. A particular focus will be on the toroidal surface ion trap, as well as its ability to shuttle ions. This trap is planned for future experiments involving measurement of the electron Electric Dipole Moment.


Understanding Disk Substructures With 3d Self-Consistent Thermodynamics, Shangjia Zhang May 2024

Understanding Disk Substructures With 3d Self-Consistent Thermodynamics, Shangjia Zhang

UNLV Theses, Dissertations, Professional Papers, and Capstones

Protoplanetary disks are birthplaces of planets. The past decade witnessed a great advance- ment in disk observations by Atacama Large Millimeter Array (ALMA) and extreme adaptive optics (ExAOs). Hundreds of disks have been observed at high angular resolutions and revealed rich substructures (e.g., gaps/rings) at midplane and atmosphere, at least part of which are per- turbed by planets. Deep understanding of disk physics has a great potential to unveil more young planets from substructures and distinguish those that are not caused by planets. I worked on con- straining young planet populations using planet-disk interaction simulations and substructures and self-consistent treatment …


Development And Pilot Testing Of A Surface Discrimination Test For People With Lower Limb Amputation, Colin Kruger, Kyle Mcknight, Sharlene Lim, Samuel Straus May 2024

Development And Pilot Testing Of A Surface Discrimination Test For People With Lower Limb Amputation, Colin Kruger, Kyle Mcknight, Sharlene Lim, Samuel Straus

UNLV Theses, Dissertations, Professional Papers, and Capstones

Introduction: There is a lack of understanding as to how sensory loss and sensory deficits impact those with LLA. The purpose of this research is to determine the extent to which people with LLA can discriminate between surfaces underfoot, in order to better understand the relationship between people with LLA and their perception of the ground they are walking on. We developed a test to determine which qualities of surfaces may be easier to distinguish.

Methods: 10 unimpaired adults and 2 adults with LLA participated. Participants compared surfaces underfoot that consisted of ceramic, rough tile, gravel, sand, and sandpaper to …


Assessing The Potential For Magmatic Sulfides Within Southwestern Laurentia Large Igneous Province, Thomas J. Boes May 2024

Assessing The Potential For Magmatic Sulfides Within Southwestern Laurentia Large Igneous Province, Thomas J. Boes

UNLV Theses, Dissertations, Professional Papers, and Capstones

The ~1.1 Ga magmatism of the Southwestern Laurentia Large Igneous Province (SWLLIP) generated a series of mafic-ultramafic sheets, sills, and dikes emplaced within Mesoproterozoic sedimentary units and older crystalline basement rock throughout the southwest United States and northern Mexico. This large igneous province (LIP) event remains enigmatic in identifying the processes that generated this magmatism. In addition, potential links to the contemporaneous magmatism of North America's magmatic Ni-Cu-platinum group element (PGE) mineralized Mid-Continent Rift (MCR) LIP to the northeast of the SWLLIP remain unclear. The contemporaneous 1.1 Ga MCR LIP event hosts economically viable magmatic sulfide deposits in the Duluth …


Investigating Controls On Temporal And Spatial Variation Of Dissolved Uranium At Springs In Horn Creek Drainage, Grand Canyon National Park, Arizona, Usa, Collin Davidson May 2024

Investigating Controls On Temporal And Spatial Variation Of Dissolved Uranium At Springs In Horn Creek Drainage, Grand Canyon National Park, Arizona, Usa, Collin Davidson

UNLV Theses, Dissertations, Professional Papers, and Capstones

Groundwater is a critical resource in the Grand Canyon, providing water to local communities, millions of annual visitors, and ecosystems. One major concern for this critical resource is the potential for uranium contamination in conjunction with uranium mining efforts. Upper Horn Bedrock Spring (UHB) in the Horn Creek drainage of the Grand Canyon sits below the oldest uranium mine in the region, Orphan Lode mine. UHB spring contains the highest concentration of dissolved uranium in the region, eclipsing the Maximum Contaminant Level (MCL) set by the USEPA by an order of magnitude on average. This research and recent collaboration with …


Understanding Stress And Coping Among Adults In The United States During The Covid-19 Pandemic, Jocy-Anna Chevalier May 2024

Understanding Stress And Coping Among Adults In The United States During The Covid-19 Pandemic, Jocy-Anna Chevalier

UNLV Theses, Dissertations, Professional Papers, and Capstones

Since the COVID-19 pandemic started, individuals in the United States (U.S.) and across the globe have experienced unprecedented levels of stress. The purpose of this study is to understand the stress experienced among adults in the U.S. and which coping processes affect their overall emotional well-being. Guided by Lazarus and Folkman’s (1987) Transactional Model of Stress and Coping (TMSC), this study conducted a secondary data analysis (n=404) of adults across the U.S who completed an online survey examining their experiences with stress and coping. A Pearson correlation was utilized to explore the relationship between stress and depressive symptoms. Paired samples …


Effect Of Asynchronous Virtual Interviews On Ethnic Minority Matriculation Into A Doctor Of Physical Therapy Program, Conner Clark, Nanea Lagasca, Gladys Miller, Jasmine Puspos May 2024

Effect Of Asynchronous Virtual Interviews On Ethnic Minority Matriculation Into A Doctor Of Physical Therapy Program, Conner Clark, Nanea Lagasca, Gladys Miller, Jasmine Puspos

UNLV Theses, Dissertations, Professional Papers, and Capstones

Purpose/Methods: This study examines the impact of the use of asynchronous virtual interviews (AVIs) in the admissions process of the Doctor of Physical Therapy (DPT) program at the University of Nevada, Las Vegas (UNLV). This research aims to examine racial and ethnic subgroup differences in AVI scores, evaluate the influence of AVIs on applicant scores in the admissions process, and assess the AVI inter-rater reliability among faculty evaluators using data from the 2019-2022 admissions cycles.

Results: Significant differences were found in AVI scores among racial and ethnic groups, with Black applicants scoring highest and Asian applicants scoring lowest. Additionally, inclusion …


Experiment Development And Validation Of A Granular Jamming Robotic Gripper, Jacob R. Dowd May 2024

Experiment Development And Validation Of A Granular Jamming Robotic Gripper, Jacob R. Dowd

UNLV Theses, Dissertations, Professional Papers, and Capstones

A granular jamming gripper (GJG) is widely known as a Universal Gripper because of the wide range of objects that it can grasp and the simplicity of control, design, and manufacturing. Despite multitude of research improving the GJG, here, we focus on the base version of the GJG and attempt to glean the range of objects that it may reliably grasp. Despite the limited range of objects, which were a sphere, rectangular prism, and cylinder, we gleaned geometric properties as it relates to successful and unsuccessful grasping. This was based on the two types of testing: push and pull testing …


Standard And Non-Standard Log-Linear Models For 2 × 2 Contingency Tables, G M Toufiqul Hoque May 2024

Standard And Non-Standard Log-Linear Models For 2 × 2 Contingency Tables, G M Toufiqul Hoque

UNLV Theses, Dissertations, Professional Papers, and Capstones

Log-linear models can be used to model the joint relationship of two or more categorical variables in a multiway contingency table. In a log-linear model, the logarithm of the expected joint counts (or the logarithm of the joint probabilities) in a contingency table can be written as a linear model.

Most log-linear models used in practice are standard. Standard log-linear models include the traditional parameter terms we see in ANOVA models: an overall effect, main effects, and various kinds of interaction terms.

Standard log-linear models are divided into hierarchical and non-hierarchical. Hierarchical models satisfy the hierarchy principle: if a higher-order …


Redirection Of Current In A Dense Plasma Focus, Rocky Gonzalez May 2024

Redirection Of Current In A Dense Plasma Focus, Rocky Gonzalez

UNLV Theses, Dissertations, Professional Papers, and Capstones

The Mission Support & Test Services (MSTS) reports that significant amounts of energy needed for generating high energy neutrons is lost within a Dense Plasma Focus between its pinch-end of the anode stalk and at its base near the insulating sleeve. It is their mission and the goal of this research effort to both experimentally and theoretically study current redirection in a DPF during and after pinch dynamics. It is hypothesized that current redirection, due to restrike, behind the dynamic sheath of a dense plasma focus will result in a measurable change in the magnetic field along the longitudinal axis …


An Examination Of The Teaching And Learning Of Resonance In General Chemistry I And Organic Chemistry I Using Variation Theory, Sabrina Barakat May 2024

An Examination Of The Teaching And Learning Of Resonance In General Chemistry I And Organic Chemistry I Using Variation Theory, Sabrina Barakat

UNLV Theses, Dissertations, Professional Papers, and Capstones

Resonance is a fundamental chemistry concept first introduced to students in General Chemistry I, reintroduced in Organic Chemistry I, and then utilized throughout other higher-level chemistry courses. A molecule or ion can be said to exhibit resonance when it can be represented by two or more chemical structures (i.e., Lewis structures) that differ only in their arrangement of electrons. In other words, resonance represents the electronic structure of a molecule or ion when a single Lewis structure does not adequately depict the true distribution of electrons. The molecule or ion is best represented as a combination of all of the …


Triangulation Guided High Clearance Collision-Free Paths, Sandeep Maharjan May 2024

Triangulation Guided High Clearance Collision-Free Paths, Sandeep Maharjan

UNLV Theses, Dissertations, Professional Papers, and Capstones

Algorithms dealing with the construction of high clearance collision-free paths in the presence of polygonal obstacles is an important problem in robotics and transportation engineering. Method of extracting collision-free paths guided by triangulation of free space is examined. Two algorithms for improving the standard triangulation guided algorithms are presented. The time complexities of the presented algorithms are analysed. Finally, further applications of the proposed techniques are discussed.


Tilt Instability Of Retrograde Disk Around One Component Of A Binary, Madeline Overton May 2024

Tilt Instability Of Retrograde Disk Around One Component Of A Binary, Madeline Overton

UNLV Theses, Dissertations, Professional Papers, and Capstones

Be/X-ray binaries are systems containing a massive Be main sequence star and a compact object companion. The Be star contains a disc of material that flows from the Be star, and may interact with the companion. In this work we consider a neutron star companion. With hydrodynamic simulations, we show that a coplanar disc around one component of a binary can be unstable to global tilting when the disc orbits in a retrograde direction relative to the binary. The disc experiences the largest inclination growth relative to the binary orbit in the outermost radii of the disc, closest to the …


Computational Study For Tissue-Specific Dosimetric Quantities Of Secondary Radiation For Mars Exploration, Sungmin Pak May 2024

Computational Study For Tissue-Specific Dosimetric Quantities Of Secondary Radiation For Mars Exploration, Sungmin Pak

UNLV Theses, Dissertations, Professional Papers, and Capstones

The two main sources of primary space radiation, Galactic Cosmic Rays (GCRs) and Solar Particle Events (SPEs), encompass a spectrum of ions, ranging from protons (Z=1) to nickel ions (Z=28), with energies spanning from less than 1 keV to exceeding a few TeV. While SPEs represent sporadic events primarily comprised of a high flux of low- to intermediate-energy protons, GCRs are characterized by continuous low flux of diverse ions with higher energies, peaking in intensity near the solar minimum. During a Mars mission, astronauts will encounter primary particles of high energy from GCR and SPE spectra, capable of penetrating spacecraft …


Boron-Doped Diamond As A Resilient Electrode Material In Molten Salts, Hannah Katherine Patenaude May 2024

Boron-Doped Diamond As A Resilient Electrode Material In Molten Salts, Hannah Katherine Patenaude

UNLV Theses, Dissertations, Professional Papers, and Capstones

Molten salt chemistry has a range of applications within nuclear technology, including for the Molten Salt Reactors (MSRs) and pyroprocessing to recover valuable actinides for energy and national security needs. However, the high-temperature, corrosive nature of molten salts makes them particularly challenging to deploy on an industrial scale and study in benchtop measurements. Material accountability and corrosion monitoring of MSR fuels are essential components to the successful deployment of MSRs, and electroanalytical techniques like cyclic voltammetry (CV) and spectroelectrochemistry (SEC) can provide a wealth of information to describe salt systems in situ. To perform such measurements, it is imperative to …


Dynamical Studies Of Misaligned Circumbinary Disks, Ian C. Rabago May 2024

Dynamical Studies Of Misaligned Circumbinary Disks, Ian C. Rabago

UNLV Theses, Dissertations, Professional Papers, and Capstones

Binary stars are common outcomes of the star formation process, with nearly half of Sun-like stars forming as part of a binary pair. The presence of a second star adds additional complexity and dynamical effects to the planet formation process in the surrounding circumbinary disk. In this work, I investigate the behavior of a circumbinary disk using hydrodynamic modeling, specifically in the case where the disk is misaligned to the binary orbital plane. Around eccentric binaries, highly inclined disks can align themselves perpendicular to the binary orbital plane. These "polar disks'' can produce vortices and spiral arms when the disk …


Identifying Disease-Related Gene-Environment Interactions Based On Method Of Moments, Linchuan Shen May 2024

Identifying Disease-Related Gene-Environment Interactions Based On Method Of Moments, Linchuan Shen

UNLV Theses, Dissertations, Professional Papers, and Capstones

Human diseases are often caused by a complex interplay of multiple factors, including genetics and environmental factors. These factors can play critical roles in the development and progression of diseases. Although genome-wide association studies (GWAS) have successfully identified many genetic variants associated with human diseases, the estimated effects of these variants are small and can explain only a relatively small portion of the heritability of the underlying diseases.

Detecting gene-environment interactions (G × E) can shed light on the biological mechanisms of diseases. However, most existing methods that investigate G × E only look at how one environmental …


Lake Mead: A Living Museum, Marley Salveter May 2024

Lake Mead: A Living Museum, Marley Salveter

UNLV Theses, Dissertations, Professional Papers, and Capstones

Lake Mead, the largest man-made water project in the nation and a prolific source of electricity, irrigation, and recreation for much of the western population, is currently experiencing a drastic transformation. Amid the ongoing water crisis parching the west, the once overflowing reservoir is consistently shrinking, descending into depths historically uncharted.While serving as a bleak demonstration of climate change’s effects, the body of water is simultaneously assuming an alternative role that may be less apparent to the public. As water levels decline, Lake Mead is actively metamorphosing into a “Living Museum”, by gradually unveiling previously submerged artifacts. As a result, …


Winter Roost Selection Of Eastern Red Bats And Impacts Of Non-Growing Season Prescribed Fire On Foraging Activity Of Forest Roosting Bats In Tennessee, Ashley D. Epstein May 2024

Winter Roost Selection Of Eastern Red Bats And Impacts Of Non-Growing Season Prescribed Fire On Foraging Activity Of Forest Roosting Bats In Tennessee, Ashley D. Epstein

Masters Theses

With an increase in wind energy development and continued deforestation and habitat degradation, eastern red bats (Lasiurus borealis; LABO) and other migratory foliage roosting bats (hoary bat [Lasiurus cinereus; LACI], silver-haired bat [Lasionycteris noctivagans; LANO]) are at risk of severe population declines, potentially leading to the need for protection under the Endangered Species Act. While studies have been done examining the ecology of these species, there is still a lack of research on winter roosting and foraging behaviors. This research aims to fill some of those knowledge gaps by 1) Examining roost use (i.e., trees vs. litter) …


Attribute-Hiding Fuzzy Encryption For Privacy-Preserving Data Evaluation, Zhenhua Chen, Luqi Huang, Guomin Yang, Willy Susilo, Xingbing Fu, Xingxing Jia May 2024

Attribute-Hiding Fuzzy Encryption For Privacy-Preserving Data Evaluation, Zhenhua Chen, Luqi Huang, Guomin Yang, Willy Susilo, Xingbing Fu, Xingxing Jia

Research Collection School Of Computing and Information Systems

Privacy-preserving data evaluation is one of the prominent research topics in the big data era. In many data evaluation applications that involve sensitive information, such as the medical records of patients in a medical system, protecting data privacy during the data evaluation process has become an essential requirement. Aiming at solving this problem, numerous fuzzy encryption systems for different similarity metrics have been proposed in literature. Unfortunately, the existing fuzzy encryption systems either fail to achieve attribute-hiding or achieve it, but are impractical. In this paper, we propose a new fuzzy encryption scheme for privacy-preserving data evaluation based on overlap …


Large Language Models For Qualitative Research In Software Engineering: Exploring Opportunities And Challenges, Muneera Bano, Rashina Hoda, Didar Zowghi, Christoph Treude May 2024

Large Language Models For Qualitative Research In Software Engineering: Exploring Opportunities And Challenges, Muneera Bano, Rashina Hoda, Didar Zowghi, Christoph Treude

Research Collection School Of Computing and Information Systems

The recent surge in the integration of Large Language Models (LLMs) like ChatGPT into qualitative research in software engineering, much like in other professional domains, demands a closer inspection. This vision paper seeks to explore the opportunities of using LLMs in qualitative research to address many of its legacy challenges as well as potential new concerns and pitfalls arising from the use of LLMs. We share our vision for the evolving role of the qualitative researcher in the age of LLMs and contemplate how they may utilize LLMs at various stages of their research experience.


The Impact Of Avatar Completeness On Embodiment And The Detectability Of Hand Redirection In Virtual Reality, Martin Feick, Andre Zenner, Simon Seibert, Anthony Tang, Antonio Krüger May 2024

The Impact Of Avatar Completeness On Embodiment And The Detectability Of Hand Redirection In Virtual Reality, Martin Feick, Andre Zenner, Simon Seibert, Anthony Tang, Antonio Krüger

Research Collection School Of Computing and Information Systems

To enhance interactions in VR, many techniques introduce offsets between the virtual and real-world position of users’ hands. Nevertheless, such hand redirection (HR) techniques are only effective as long as they go unnoticed by users—not disrupting the VR experience. While several studies consider how much unnoticeable redirection can be applied, these focus on mid-air floating hands that are disconnected from users’ bodies. Increasingly, VR avatars are embodied as being directly connected with the user’s body, which provide more visual cue anchoring, and may therefore reduce the unnoticeable redirection threshold. In this work, we studied more complete avatars and their effect …


Compositional Policy Learning In Stochastic Control Systems With Formal Guarantees, Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger May 2024

Compositional Policy Learning In Stochastic Control Systems With Formal Guarantees, Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger

Research Collection School Of Computing and Information Systems

Reinforcement learning has shown promising results in learning neural network policies for complicated control tasks. However, the lack of formal guarantees about the behavior of such policies remains an impediment to their deployment. We propose a novel method for learning a composition of neural network policies in stochastic environments, along with a formal certificate which guarantees that a specification over the policy's behavior is satisfied with the desired probability. Unlike prior work on verifiable RL, our approach leverages the compositional nature of logical specifications provided in SPECTRL, to learn over graphs of probabilistic reach-avoid specifications. The formal guarantees are provided …


The Grader: A Grading Assistant For Lab Tests And A Teaching Tool, M. Thulasidas, David Lo May 2024

The Grader: A Grading Assistant For Lab Tests And A Teaching Tool, M. Thulasidas, David Lo

Research Collection School Of Computing and Information Systems

This article presents the design and implementation of the Grader, a grading assistant application deployed for a Web Application Development course at our school. The Grader is equipped to handle various logistical aspects of lab tests, including file management, consistent application of rubrics, and auto-grading of questions with test cases. Additionally, it incorporates heuristic rules to detect cheating attempts. We anticipate that the Grader will find widespread utility in programming courses where lab tests serve as summative assessments. Developed within the same programming environment taught in the class, the Grader also serves as a pedagogical tool, demonstrating to students a …