-
Getting too personal(ized): The importance of feature choice in online adaptive algorithms
Authors:
ZhaoBin Li,
Luna Yee,
Nathaniel Sauerberg,
Irene Sakson,
Joseph Jay Williams,
Anna N. Rafferty
Abstract:
Digital educational technologies offer the potential to customize students' experiences and learn what works for which students, enhancing the technology as more students interact with it. We consider whether and when attempting to discover how to personalize has a cost, such as if the adaptation to personal information can delay the adoption of policies that benefit all students. We explore these…
▽ More
Digital educational technologies offer the potential to customize students' experiences and learn what works for which students, enhancing the technology as more students interact with it. We consider whether and when attempting to discover how to personalize has a cost, such as if the adaptation to personal information can delay the adoption of policies that benefit all students. We explore these issues in the context of using multi-armed bandit (MAB) algorithms to learn a policy for what version of an educational technology to present to each student, varying the relation between student characteristics and outcomes and also whether the algorithm is aware of these characteristics. Through simulations, we demonstrate that the inclusion of student characteristics for personalization can be beneficial when those characteristics are needed to learn the optimal action. In other scenarios, this inclusion decreases performance of the bandit algorithm. Moreover, including unneeded student characteristics can systematically disadvantage students with less common values for these characteristics. Our simulations do however suggest that real-time personalization will be helpful in particular real-world scenarios, and we illustrate this through case studies using existing experimental results in ASSISTments. Overall, our simulations show that adaptive personalization in educational technologies can be a double-edged sword: real-time adaptation improves student experiences in some contexts, but the slower adaptation and potentially discriminatory results mean that a more personalized model is not always beneficial.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Nonprobability follow-up sample analysis: an application to SARS-CoV-2 infection prevalence estimation
Authors:
Yan Li,
Laura Yee,
Sally Hunsberger,
Matthew J. Memoli,
Kaitlyn Sadtler,
Barry I. Graubard
Abstract:
Public health policy makers are faced with making crucial decisions rapidly during infectious disease outbreaks such as that caused by SARS-CoV-2. Ideally, rapidly deployed representative health surveys could provide needed data for such decisions. Under the constraints of a limited timeframe and resources, it may be infeasible to implement random based (probability) sampling that yields a populat…
▽ More
Public health policy makers are faced with making crucial decisions rapidly during infectious disease outbreaks such as that caused by SARS-CoV-2. Ideally, rapidly deployed representative health surveys could provide needed data for such decisions. Under the constraints of a limited timeframe and resources, it may be infeasible to implement random based (probability) sampling that yields a population representative survey sample with high response rates. As an alternative, a volunteer (nonprobability) sample is often collected using outreach methods such as social media and web surveys. Compared to a probability sample, a nonprobability sample is subject to selection bias. In addition, when participants are followed longitudinally nonresponse often occurs at later follow up timepoints. As a result, estimates of cross-sectional parameters at later timepoints will be subject to selection bias and nonresponse bias. In this paper, we create kernel-weighted pseudoweights (KW) for the baseline survey participants and construct nonresponse-adjusted kw (kwNR) for respondents at each follow-visit to estimate the population mean at the follow-up visits. We develop Taylor Linearization variance estimation that accounts for variability due to estimating both pseudoweights and the nonresponse adjustments. Simulations are conducted to evaluate the proposed kwNR-weighted estimates. We investigate covariate effects on each of the following: baseline sample participation propensity, follow-up response propensity and the mean of the outcome. We apply the proposed kwNR-weighted methods to the SARS-Cov-2 antibody seropositivity longitudinal study, which begins with a baseline survey early in the pandemic, and collects data at six- and twelve-month post baseline follow-ups.
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
Navigating Fairness in Radiology AI: Concepts, Consequences,and Crucial Considerations
Authors:
Vasantha Kumar Venugopal,
Abhishek Gupta,
Rohit Takhar,
Charlene Liew ** Yee,
Catherine Jones,
Gilberto Szarf
Abstract:
Artificial Intelligence (AI) has significantly revolutionized radiology, promising improved patient outcomes and streamlined processes. However, it's critical to ensure the fairness of AI models to prevent stealthy bias and disparities from leading to unequal outcomes. This review discusses the concept of fairness in AI, focusing on bias auditing using the Aequitas toolkit, and its real-world impl…
▽ More
Artificial Intelligence (AI) has significantly revolutionized radiology, promising improved patient outcomes and streamlined processes. However, it's critical to ensure the fairness of AI models to prevent stealthy bias and disparities from leading to unequal outcomes. This review discusses the concept of fairness in AI, focusing on bias auditing using the Aequitas toolkit, and its real-world implications in radiology, particularly in disease screening scenarios. Aequitas, an open-source bias audit toolkit, scrutinizes AI models' decisions, identifying hidden biases that may result in disparities across different demographic groups and imaging equipment brands. This toolkit operates on statistical theories, analyzing a large dataset to reveal a model's fairness. It excels in its versatility to handle various variables simultaneously, especially in a field as diverse as radiology. The review explicates essential fairness metrics: Equal and Proportional Parity, False Positive Rate Parity, False Discovery Rate Parity, False Negative Rate Parity, and False Omission Rate Parity. Each metric serves unique purposes and offers different insights. We present hypothetical scenarios to demonstrate their relevance in disease screening settings, and how disparities can lead to significant real-world impacts.
△ Less
Submitted 2 June, 2023;
originally announced June 2023.
-
Avgust: Automating Usage-Based Test Generation from Videos of App Executions
Authors:
Yixue Zhao,
Saghar Talebipour,
Kesina Baral,
Hyojae Park,
Leon Yee,
Safwat Ali Khan,
Yuriy Brun,
Nenad Medvidovic,
Kevin Moran
Abstract:
Writing and maintaining UI tests for mobile apps is a time-consuming and tedious task. While decades of research have produced automated approaches for UI test generation, these approaches typically focus on testing for crashes or maximizing code coverage. By contrast, recent research has shown that developers prefer usage-based tests, which center around specific uses of app features, to help sup…
▽ More
Writing and maintaining UI tests for mobile apps is a time-consuming and tedious task. While decades of research have produced automated approaches for UI test generation, these approaches typically focus on testing for crashes or maximizing code coverage. By contrast, recent research has shown that developers prefer usage-based tests, which center around specific uses of app features, to help support activities such as regression testing. Very few existing techniques support the generation of such tests, as doing so requires automating the difficult task of understanding the semantics of UI screens and user inputs. In this paper, we introduce Avgust, which automates key steps of generating usage-based tests. Avgust uses neural models for image understanding to process video recordings of app uses to synthesize an app-agnostic state-machine encoding of those uses. Then, Avgust uses this encoding to synthesize test cases for a new target app. We evaluate Avgust on 374 videos of common uses of 18 popular apps and show that 69% of the tests Avgust generates successfully execute the desired usage, and that Avgust's classifiers outperform the state of the art.
△ Less
Submitted 1 November, 2022; v1 submitted 6 September, 2022;
originally announced September 2022.
-
Experimentally Validated Multiphysics Modeling of Fracture Induced by Thermal Shocks in Sintered UO2 Pellets
Authors:
Levi D. McClenny,
Moiz I. Butt,
M. Gomaa Abdoelatef,
Michal J. Pate,
Kay L. Yee,
Harikrishnan Rajendran,
Delia Perez-Nunez,
Wen Jiang,
Luis H. Ortega,
Sean M. McDeavitt,
Karim Ahmed
Abstract:
Commercial nuclear power plants extensively rely on fission energy from uranium dioxide (UO2) fuel pellets that provide thermal energy; consequently, generating carbon-free power in current generation reactors. UO2 fuel incurs damage and fractures during operation due to large thermal gradients that develop across the fuel pellet during normal operation. The underlying mechanisms by which these pr…
▽ More
Commercial nuclear power plants extensively rely on fission energy from uranium dioxide (UO2) fuel pellets that provide thermal energy; consequently, generating carbon-free power in current generation reactors. UO2 fuel incurs damage and fractures during operation due to large thermal gradients that develop across the fuel pellet during normal operation. The underlying mechanisms by which these processes take place are still poorly understood. This work is a part of our combined experimental and computational effort for quantifying the UO2 fuel fracture behavior induced by thermal shock. In this work, we describe an experimental study performed to understand the fuel fracturing behavior of sintered powder UO2 pellets when exposed to thermal shock conditions, as well as a multiphysics phase-field fracture model which accurately predicts the experimental results. Parametric studies and sensitivity analysis are used to assess uncertainty. Experimental data was collected from multiple experiments by exposing UO2 pellets to high-temperature conditions (900-1200C), which are subsequently quenched in sub-zero water. We exhibit that the fracture results gathered in the experimental setting can be consistently recreated by this work phase-field fracture model, demonstrating a reliable ability to our model in simulating the thermal shock gradients and subsequent fracture mechanics in the primary fuel source for Light-Water Reactors (LWRs). This model advanced the fundamental understanding of thermal shock and property correlations to advance utilization of UO2 as a fuel for nuclear reactors.
△ Less
Submitted 5 December, 2021;
originally announced December 2021.
-
A Prior Derivation and Local Existence of Classical Solutions for the Relativistic Euler Equations with Logarithmic Equation of State
Authors:
Ka Luen Cheung,
Sen Wong,
Tat Leung Yee
Abstract:
In this paper, from an investigation of a symmetric hyperbolic system, a prior derivation of the logarithm equation of state is provided. Through a diffeomorphism transforming the classical Euler equations to the symmetric hyperbolic system, we show that the logarithm pressure co-exists with existing barotropic equations of state without applying any physical laws. In this connection, we also esta…
▽ More
In this paper, from an investigation of a symmetric hyperbolic system, a prior derivation of the logarithm equation of state is provided. Through a diffeomorphism transforming the classical Euler equations to the symmetric hyperbolic system, we show that the logarithm pressure co-exists with existing barotropic equations of state without applying any physical laws. In this connection, we also establish a local existence of classical solutions for the relativistic Euler equations with the logarithm equation of state.
△ Less
Submitted 20 September, 2021; v1 submitted 24 August, 2021;
originally announced August 2021.
-
Application of Principal Component Analysis in Chinese Sovereign Bond Market and Principal Component-Based Fixed Income Immunization
Authors:
Lim Tze Yee,
Tony She,
Kezia Irene
Abstract:
This paper analyses the Chinese Sovereign bond yield to find out the principal factors affecting the term structure of interest rate changes. We apply Principal Component Analysis (PCA) on our data consisting of the Chinese Sovereign bond from January 2002 till May 2018 with the different yield to maturity. Then we will discuss the multi-factor immunization model (method on hedging market risk) on…
▽ More
This paper analyses the Chinese Sovereign bond yield to find out the principal factors affecting the term structure of interest rate changes. We apply Principal Component Analysis (PCA) on our data consisting of the Chinese Sovereign bond from January 2002 till May 2018 with the different yield to maturity. Then we will discuss the multi-factor immunization model (method on hedging market risk) on a bond portfolio.
△ Less
Submitted 17 November, 2019;
originally announced November 2019.
-
Classical and Signed Kazhdan-Lusztig Polynomials: Character Multiplicity Inversion by Induction
Authors:
Wai Ling Yee
Abstract:
The famous Kazhdan-Lusztig Conjecture of the 1970s states that the multiplicity of an irreducible composition factor of a Verma module can be computed by evaluating Kazhdan-Lusztig polynomials at 1. Thus the character of a Verma module is a linear combination of characters of irreducible highest weight modules where the coefficients in the linear combination are Kazhdan-Lusztig polynomials evaluat…
▽ More
The famous Kazhdan-Lusztig Conjecture of the 1970s states that the multiplicity of an irreducible composition factor of a Verma module can be computed by evaluating Kazhdan-Lusztig polynomials at 1. Thus the character of a Verma module is a linear combination of characters of irreducible highest weight modules where the coefficients in the linear combination are Kazhdan-Lusztig polynomials evaluated at 1. Kazhdan-Lusztig showed that inverting and writing the character of an irreducible highest weight module as a linear combination of characters of Verma modules, the coefficients in the linear combination are also Kazhdan-Lusztig polynomials evaluated at 1, up to a sign. In this paper, we show how to prove Kazhdan-Lusztig's character multiplicity inversion formula by induction using coherent continuation functors. Unitary representations may be identified by determining if characters and signature characters are the same. The signature character of a Verma module may be written as a linear combination of signature characters of irreducible highest weight modules where the coefficients in the linear combination are signed Kazhdan-Lusztig polynomials evaluated at 1. An analogous argument by induction using coherent continuation functors proves an analogous multiplicity inversion formula for signature characters: the signature character of an irreducible highest weight module is a linear combination of signature characters of Verma modules where the coefficients, up to a sign, are also signed Kazhdan-Lusztig polynomials evaluated at 1.
△ Less
Submitted 14 July, 2012;
originally announced July 2012.
-
Relating Signed Kazhdan-Lusztig Polynomials and Classical Kazhdan-Lusztig Polynomials
Authors:
Wai Ling Yee
Abstract:
Motivated by studying the Unitary Dual Problem, a variation of Kazhdan-Lusztig polynomials was defined in [Yee08] which encodes signature information at each level of the Jantzen filtration. These so called signed Kazhdan-Lusztig polynomials may be used to compute the signatures of invariant Hermitian forms on irreducible highest weight modules. The key result of this paper is a simple relationshi…
▽ More
Motivated by studying the Unitary Dual Problem, a variation of Kazhdan-Lusztig polynomials was defined in [Yee08] which encodes signature information at each level of the Jantzen filtration. These so called signed Kazhdan-Lusztig polynomials may be used to compute the signatures of invariant Hermitian forms on irreducible highest weight modules. The key result of this paper is a simple relationship between signed Kazhdan-Lusztig polynomials and classical Kazhdan-Lusztig polynomials: signed Kahzdan-Lusztig polynomials are shown to equal classical Kazhdan-Lusztig polynomials evaluated at $-q$ rather than $q$ and multiplied by a sign. This result has applications to finding the unitary dual for real reductive Lie groups since Harish-Chandra modules may be constructed by applying Zuckerman functors to highest weight modules.
△ Less
Submitted 24 May, 2012;
originally announced May 2012.
-
Simplifying and Unifying Bruhat Order for BGB, PGB, KGB, and KGP
Authors:
Wai Ling Yee
Abstract:
This paper provides a unifying and simplifying approach to Bruhat order in which the usual Bruhat order, parabolic Bruhat order, and Bruhat order for symmetric pairs are shown to have combinatorially analogous and relatively simple descriptions. Such analogies are valuable as they permit the study of PGB and KGB by reducing to BGB rather than by introducing additional machinery. A concise definiti…
▽ More
This paper provides a unifying and simplifying approach to Bruhat order in which the usual Bruhat order, parabolic Bruhat order, and Bruhat order for symmetric pairs are shown to have combinatorially analogous and relatively simple descriptions. Such analogies are valuable as they permit the study of PGB and KGB by reducing to BGB rather than by introducing additional machinery. A concise definition for reduced expressions and a simple proof of the exchange condition for PGB are provided as applications of this philosophy. A geometric argument for spherical subgroups, which includes all of the cases considered, shows that Bruhat order has property Z and therefore satisfies the subexpression property. Thus, Bruhat order can be described using only simple relations, and it is the simple relations which we simplify combinatorially. A parametrization of KGP is a simple consequence of understanding the Bruhat order of KGB restricted to a P-orbit.
△ Less
Submitted 18 December, 2011; v1 submitted 3 July, 2011;
originally announced July 2011.
-
Exact Solutions for Domain Walls in Coupled Complex Ginzburg - Landau Equations
Authors:
Tat Leung Yee,
Alan Cheng Hou Tsang,
Boris Malomed,
Kwok Wing Chow
Abstract:
The complex Ginzburg Landau equation (CGLE) is a ubiquitous model for the evolution of slowly varying wave packets in nonlinear dissipative media. A front (shock) is a transient layer between a plane-wave state and a zero background. We report exact solutions for domain walls, i.e., pairs of fronts with opposite polarities, in a system of two coupled CGLEs, which describe transient layers between…
▽ More
The complex Ginzburg Landau equation (CGLE) is a ubiquitous model for the evolution of slowly varying wave packets in nonlinear dissipative media. A front (shock) is a transient layer between a plane-wave state and a zero background. We report exact solutions for domain walls, i.e., pairs of fronts with opposite polarities, in a system of two coupled CGLEs, which describe transient layers between semi-infinite domains occupied by each component in the absence of the other one. For this purpose, a modified Hirota bilinear operator, first proposed by Bekki and Nozaki, is employed. A novel factorization procedure is applied to reduce the intermediate calculations considerably. The ensuing system of equations for the amplitudes and frequencies is solved by means of computer-assisted algebra. Exact solutions for mutually-locked front pairs of opposite polarities, with one or several free parameters, are thus generated. The signs of the cubic gain/loss, linear amplification/attenuation, and velocity of the coupled-front complex can be adjusted in a variety of configurations. Numerical simulations are performed to study the stability properties of such fronts.
△ Less
Submitted 23 March, 2011;
originally announced March 2011.
-
Signatures of invariant Hermitian forms on irreducible highest weight modules
Authors:
Wai Ling Yee
Abstract:
Perhaps the most important problem in representation theory in the 1970s and early 1980s was the determination of the multiplicity of composition factors in a Verma module. This problem was settled by the proof of the Kazhdan-Lusztig Conjecture which states that the multiplicities may be computed via Kazhdan-Lusztig polynomials. In this paper, we introduce signed Kazhdan-Lusztig polynomials, a v…
▽ More
Perhaps the most important problem in representation theory in the 1970s and early 1980s was the determination of the multiplicity of composition factors in a Verma module. This problem was settled by the proof of the Kazhdan-Lusztig Conjecture which states that the multiplicities may be computed via Kazhdan-Lusztig polynomials. In this paper, we introduce signed Kazhdan-Lusztig polynomials, a variation of Kazhdan-Lusztig polynomials which encodes signature information in addition to composition factor multiplicities and Jantzen filtration level. Careful consideration of Gabber and Joseph's proof of Kazhdan and Lusztig's inductive formula for computing Kazhdan-Lusztig polynomials leads to an inductive formula for the signed Kazhdan-Lusztig polynomials. We use these polynomials to compute the signature of an invariant Hermitian form on an irreducible highest weight module. Such a formula has applications to unitarity testing.
△ Less
Submitted 5 September, 2006; v1 submitted 20 January, 2006;
originally announced January 2006.
-
Spatiotemporal sensistivity and visual attention for efficient rendering of dynamic environments
Authors:
Yang Li Hector Yee
Abstract:
We present a method to accelerate global illumination computation in dynamic environments by taking advantage of limitations of the human visual system. A model of visual attention is used to locate regions of interest in a scene and to modulate spatiotemporal sensitivity. The method is applied in the form of a spatiotemporal error tolerance map. Perceptual acceleration combined with good sampli…
▽ More
We present a method to accelerate global illumination computation in dynamic environments by taking advantage of limitations of the human visual system. A model of visual attention is used to locate regions of interest in a scene and to modulate spatiotemporal sensitivity. The method is applied in the form of a spatiotemporal error tolerance map. Perceptual acceleration combined with good sampling protocols provide a global illumination solution feasible for use in animation. Results indicate an order of magnitude improvement in computational speed. The method is adaptable and can also be used in image-based rendering, geometry level of detail selection, realistic image synthesis, video telephony and video compression.
△ Less
Submitted 8 November, 2005;
originally announced November 2005.