Search

The Equity Playbook Initiative Implementation in Kentucky underwent an efficacy study conducted by LXD Research during the 2022-2023 school year. The study aimed to assess the initiative's impact on student academic achievement and school climate. A total of 55 public schools participating in the Equity Playbook Initiative were compared with 240 statistically similar non-participating schools. The demographic breakdown of the sample included 65% economically disadvantaged students, with a significant representation of 30% African American students and 35% non-white students. The findings indicated that Equity Playbook schools significantly improved key academic outcomes, particularly among economically disadvantaged students. Notably, students attending Equity Playbook schools, especially those with a high percentage of economically disadvantaged students, showed significant improvement in testing on grade level in Science and Math compared to their counterparts in non-participating schools. Additionally, the study revealed a reduction in the Kentucky Summative Assessment (KSA) achievement gap for economically disadvantaged students among participating schools. Furthermore, the completion rates of advanced courses for African American and non-white students in Equity Playbook schools showed marked improvement compared to the schools that did not participate in the initiative. Qualitative interviews with state, district, and school-level educators and staff also provided positive feedback regarding the effects of the Equity Playbook Initiative. The findings suggest that the Equity Playbook Initiative holds promise in promoting student academic achievement and enhancing school climate. This study encourages further evaluation and broader adoption of the Equity Playbook Initiative in various districts and schools across Kentucky to leverage its potential benefits. [This report was prepared for engage2learn by LXD Research.]

LXD Research conducted a study to examine the relationship between investment in Zaner-Bloser Handwriting program and Grade 3 student proficiency in handwriting in Alabama. Data from 4,759 students across 54 schools were analyzed, with schools categorized into Low Zaner-Bloser Handwriting (>$1 and [less than or equal to]$5 per student per year), Moderate Zaner-Bloser Handwriting (>$5 and [less than or equal to]$10 per student per year), and High Zaner-Bloser Handwriting (>$10 per student per year) investment groups. The demographic profile of the sample included a diverse range of students, notably with a significant representation of low-income and minority groups. The study revealed a substantial positive correlation between the level of ZB-HW investment and handwriting proficiency. Notably, 91% of students in the High ZB-HW investment group achieved proficiency, compared to 82% in the Moderate group and 69% in the Low investment group. Additionally, each $1 increase in per-student investment was associated with an 18% increase in the likelihood of achieving proficiency. These findings highlight the effectiveness of Zaner-Bloser Handwriting in enhancing handwriting skills and underscore the importance of targeted investment in educational resources to support student outcomes. The findings and rigorous study design support Zaner-Bloser Handwriting as a comprehensive program that meets the criteria for ESSA Level 3. [This report was produced by Zaner-Bloser.]

This study investigates thermal transport across nanocrystalline diamond/AlGaN interfaces, crucial for enhancing thermal management in AlGaN/AlGaN-based devices. Chemical vapor deposition growth of diamond directly on AlGaN resulted in a disordered interface with a high thermal boundary resistance (TBR) of 20.6 m^2-K/GW. We employed sputtered carbide interlayers (e.g., $B_4C$, $SiC$, $B_4C/SiC$) to reduce thermal boundary resistance in diamond/AlGaN interfaces. The carbide interlayers resulted in record-low thermal boundary resistance values of 3.4 and 3.7 m^2-K/GW for Al$_{0.65}$Ga$_{0.35}$N samples with $B_4C$ and $SiC$ interlayers, respectively. STEM imaging of the interface reveals interlayer thicknesses between 1.7-2.5 nm, with an amorphous structure. Additionally, Fast-Fourier Transform (FFT) characterization of sections of the STEM images displayed sharp crystalline fringes in the AlGaN layer, confirming it was properly protected from damage from hydrogen plasma during the diamond growth. In order to accurately measure the thermal boundary resistance we develop a hybrid technique, combining time-domain thermoreflectance and steady-state thermoreflectance fitting, offering superior sensitivity to buried thermal resistances. Our findings underscore the efficacy of interlayer engineering in enhancing thermal transport and demonstrate the importance of innovative measurement techniques in accurately characterizing complex thermal interfaces. This study provides a foundation for future research in improving thermal properties of semiconductor devices through interface engineering and advanced measurement methodologies.

Methods are lacking to handle the problem of survival analysis in the presence of an interval-censored covariate, specifically the case in which the conditional hazard of the primary event of interest depends on the occurrence of a secondary event, the observation time of which is subject to interval censoring. We propose and study a flexible class of discrete-time parametric survival models that handle the censoring problem through joint modeling of the interval-censored secondary event, the outcome, and the censoring mechanism. We apply this model to the research question that motivated the methodology, estimating the effect of HIV status on all-cause mortality in a prospective cohort study in South Africa.

In this paper, we study the problem of distributed transmission control and video streaming optimization for unmanned aerial vehicles (UAVs) operating in unlicensed spectrum bands. We develop a rigorous cross-layer analysis framework that jointly considers three inter-dependent factors: (i) in-band interference introduced by ground/aerial nodes at the physical (PHY) layer, (ii) limited-size queues with delay-constrained packet arrival at the medium access control (MAC) layer, and (iii) video encoding rate at the application layer. First, we formulate an optimization problem to maximize the throughput by optimizing the fading threshold. To this end, we jointly analyze the queue-related packet loss probabilities (i.e., buffer overflow and time threshold event) as well as the outage probability due to the low signal-to-interference-plus-noise ratio (SINR). We introduce the Distributed Transmission Control (DTC) algorithm that maximizes the throughput by adjusting transmission policies to balance the trade-offs between packet drop from queues vs. transmission errors due to low SINRs. Second, we incorporate the video distortion model to develop distributed peak signal-to-noise ratio (PSNR) optimization for video streaming. The formulated optimization incorporates two cross-layer parameters, specifically the fading threshold and video encoding rate. To tackle this problem, we develop the Joint Distributed Video Transmission and Encoder Control (JDVT-EC) algorithm that enhances the PSNR for all nodes by fine-tuning transmission policies and video encoding rates to balance the trade-offs between packet loss and lossy video compression distortions. Through extensive numerical analysis, we thoroughly examine the proposed algorithms and demonstrate that they are able to find the optimal transmission policies and video encoding rates under various scenarios., Comment: Submitted to IEEE Transactions on Communications

The SKA Observatory, currently in the construction phase, will have two of the world's largest radio telescopes when completed in 2028. The scale of the project introduces unique challenges for the telescope software design and implementation at all levels, from user interfacing software down to the lower-level control of individual telescope elements. The Observation Execution Tool (OET) is part of the Observation Science Operations (OSO) suite of applications and is responsible for orchestrating the highest level of telescope control through the execution of telescope control scripts. One of the main challenges for the OET is creating a design that can robustly run concurrent observations on multiple subarrays while remaining responsive to the user. The Scaled Agile Framework (SAFe) development process followed by the SKA project also means the software should be allow to iterative implementation and easily accommodate new and changing requirements. This paper concentrates on the design decisions and challenges in the development of the OET, how we have solved some of the specific technical problems and details on how we remain flexible for future requirements., Comment: 6 pages, 2 figures, submitted to 2024 SPIE Astronomical Telescopes + Instrumentation, Software and Cyberinfrastructure for Astronomy VIII conference

The Observatory Science Operations (OSO) subsystem of the SKAO consists of a range of complex tools which will be used to propose, design, schedule and execute observations. Bridging the gap between the science and telescope domains is the key responsibility of OSO, requiring considerations of usability, performance, availability and accessibility, amongst others. This paper describes the state of the observatory software as we approach construction milestones, how the applications meet these requirements using a modern technology architecture, and challenges so far.

Political actors frequently manipulate redistricting plans to gain electoral advantages, a process commonly known as gerrymandering. To address this problem, several states have implemented institutional reforms including the establishment of map-drawing commissions. It is difficult to assess the impact of such reforms because each state structures bundles of complex rules in different ways. We propose to model redistricting processes as a sequential game. The equilibrium solution to the game summarizes multi-step institutional interactions as a single dimensional score. This score measures the leeway political actors have over the partisan lean of the final plan. Using a differences-in-differences design, we demonstrate that reforms reduce partisan bias and increase competitiveness when they constrain partisan actors. We perform a counterfactual policy analysis to estimate the partisan effects of enacting recent institutional reforms nationwide. We find that instituting redistricting commissions generally reduces the current Republican advantage, but Michigan-style reforms would yield a much greater pro-Democratic effect than types of redistricting commissions adopted in Ohio and New York., Comment: 20 pages, 8 figures, 1 table, plus references and appendices

We study new identities related to the sums of adjacent terms in the Pell sequence, defined by $P_{n} := 2P_{n-1}+P_{n-2}$ for $ n\geq 2$ and $P_{0}=0, P_{1}=1$, and generalize these identities for many similar sequences. We prove that the sum of $N>1$ consecutive Pell numbers is a fixed integer multiple of another Pell number if and only if $4\mid N$. We consider the generalized Pell $(k,i)$-numbers defined by $p(n) :=\ 2p(n-1)+p(n-k-1) $ for $n\geq k+1$, with $p(0)=p(1)=\cdots =p(i)=0$ and $p(i+1)=\cdots = p(k)=1$ for $0\leq i\leq k-1$, and prove that the sum of $N=2k+2$ consecutive terms is a fixed integer multiple of another term in the sequence. We also prove that for the generalized Pell $(k,k-1)$-numbers such a relation does not exist when $N$ and $k$ are odd. We give analogous results for the Fibonacci and other related second-order recursive sequences., Comment: 33 Pages. Comments welcome!

Epidermal skin sensors have emerged as a promising approach for continuous and noninvasive monitoring of vital health signals, but to maximize their performance, these sensors must integrate seamlessly with the skin, minimizing impedance while maintaining the skin's natural protective and regulatory functions.In this study, we introduce an imperceptible sweat sensor that achieves this seamless skin integration through interpenetrating networks formed by a porous, ultra-thin, ultra-high molecular weight polyethylene (UHMWPE) nanomembrane. Upon attachment to the skin by van der Waals force, the amphiphilic sweat extrudates infuse into the interconnected nanopores inside the hydrophobic UHWMPE nanomembrane, forming "pseudo skin" nanochannels for continuous sweat perspiration. This integration is further enhanced by the osmotic pressure generated during water evaporation. Leveraging the efficient transport of biomarkers through the "skin" channels within the porous membrane, we developed an organic electrochemical transducer (OECT) cortisol sensor via in-situ synthesis of a molecularly imprinted polymer (MIP) and poly(3,4 ethylenedioxythiophene) (PEDOT) within the nanomembrane. This demonstrates the capability to detect cortisol concentrations from 0.05 to 0.5 {\mu}M for seamless monitoring of stress levels. This work represents a significant advancement in self-adhesive sweat sensors that offer imperceptible and real-time non-invasive health monitoring capabilities.

For infectious diseases, characterizing symptom duration is of clinical and public health importance. Symptom duration may be assessed by surveying infected individuals and querying symptom status at the time of survey response. For example, in a SARS-CoV-2 testing program at the University of Washington, participants were surveyed at least 28 days after testing positive and asked to report current symptom status. This study design yielded current status data: Outcome measurements for each respondent consisted only of the time of survey response and a binary indicator of whether symptoms had resolved by that time. Such study design benefits from limited risk of recall bias, but analyzing the resulting data necessitates specialized statistical tools. Here, we review methods for current status data and describe a novel application of modern nonparametric techniques to this setting. The proposed approach is valid under weaker assumptions compared to existing methods, allows use of flexible machine learning tools, and handles potential survey nonresponse. From the university study, we estimate that 19% of participants experienced ongoing symptoms 30 days after testing positive, decreasing to 7% at 90 days. Female sex, history of seasonal allergies, fatigue during acute infection, and higher viral load were associated with slower symptom resolution., Comment: The first two authors contributed equally to this work. Main text: 19 pages, 1 figure, 4 tables Supplement: 14 pages, 8 figures, 0 tables

We continue our study of the representations of the Reflection Equation Algebra (=REA) on Hilbert spaces, focusing again on the REA constructed from the $R$-matrix associated to the standard $q$-deformation of $GL(N,\mathbb{C})$ for $0

Radios are essential for the operations of modern police departments, and they function as both a collaborative communication technology and a sociotechnical system. However, little prior research has examined their usage or their connections to individual privacy and the role of race in policing, two growing topics of concern in the US. As a case study, we examine the Chicago Police Department's (CPD's) use of broadcast police communications (BPC) to coordinate the activity of law enforcement officers (LEOs) in the city. From a recently assembled archive of 80,775 hours of BPC associated with CPD operations, we analyze text transcripts of radio transmissions broadcast 9:00 AM to 5:00 PM on August 10th, 2018 in one majority Black, one majority white, and one majority Hispanic area of the city (24 hours of audio) to explore three research questions: (1) Do BPC reflect reported racial disparities in policing? (2) How and when is gender, race/ethnicity, and age mentioned in BPC? (3) To what extent do BPC include sensitive information, and who is put at most risk by this practice? (4) To what extent can large language models (LLMs) heighten this risk? We explore the vocabulary and speech acts used by police in BPC, comparing mentions of personal characteristics to local demographics, the personal information shared over BPC, and the privacy concerns that it poses. Analysis indicates (a) policing professionals in the city of Chicago exhibit disproportionate attention to Black members of the public regardless of context, (b) sociodemographic characteristics like gender, race/ethnicity, and age are primarily mentioned in BPC about event information, and (c) disproportionate attention introduces disproportionate privacy risks for Black members of the public., Comment: Accepted in the 27th ACM Conference on Computer-Supported Cooperative Work and Social Computing (CSCW '24)

Detecting hate speech and offensive language is essential for maintaining a safe and respectful digital environment. This study examines the limitations of state-of-the-art large language models (LLMs) in identifying offensive content within systematically perturbed data, with a focus on Chinese, a language particularly susceptible to such perturbations. We introduce \textsf{ToxiCloakCN}, an enhanced dataset derived from ToxiCN, augmented with homophonic substitutions and emoji transformations, to test the robustness of LLMs against these cloaking perturbations. Our findings reveal that existing models significantly underperform in detecting offensive content when these perturbations are applied. We provide an in-depth analysis of how different types of offensive content are affected by these perturbations and explore the alignment between human and model explanations of offensiveness. Our work highlights the urgent need for more advanced techniques in offensive language detection to combat the evolving tactics used to evade detection mechanisms., Comment: 10 pages,5 Tables, 2 Figures

Providing timely support and intervention is crucial in mental health settings. As the need to engage youth comfortable with texting increases, mental health providers are exploring and adopting text-based media such as chatbots, community-based forums, online therapies with licensed professionals, and helplines operated by trained responders. To support these text-based media for mental health--particularly for crisis care--we are developing a system to perform passive emotion-sensing using a combination of keystroke dynamics and sentiment analysis. Our early studies of this system posit that the analysis of short text messages and keyboard typing patterns can provide emotion information that may be used to support both clients and responders. We use our preliminary findings to discuss the way forward for applying AI to support mental health providers in providing better care., Comment: 5 pages, 1 figure, to be published in DIS Companion '24

Large scale neural models show impressive performance across a wide array of linguistic tasks. Despite this they remain, largely, black-boxes - inducing vector-representations of their input that prove difficult to interpret. This limits our ability to understand what they learn, and when the learn it, or describe what kinds of representations generalise well out of distribution. To address this we introduce a novel approach to interpretability that looks at the mapping a model learns from sentences to representations as a kind of language in its own right. In doing so we introduce a set of information-theoretic measures that quantify how structured a model's representations are with respect to its input, and when during training that structure arises. Our measures are fast to compute, grounded in linguistic theory, and can predict which models will generalise best based on their representations. We use these measures to describe two distinct phases of training a transformer: an initial phase of in-distribution learning which reduces task loss, then a second stage where representations becoming robust to noise. Generalisation performance begins to increase during this second phase, drawing a link between generalisation and robustness to noise. Finally we look at how model size affects the structure of the representational space, showing that larger models ultimately compress their representations more than their smaller counterparts., Comment: 6 pages, 3 Figures

We design a system that learns how to edit visual programs. Our edit network consumes a complete input program and a visual target. From this input, we task our network with predicting a local edit operation that could be applied to the input program to improve its similarity to the target. In order to apply this scheme for domains that lack program annotations, we develop a self-supervised learning approach that integrates this edit network into a bootstrapped finetuning loop along with a network that predicts entire programs in one-shot. Our joint finetuning scheme, when coupled with an inference procedure that initializes a population from the one-shot model and evolves members of this population with the edit network, helps to infer more accurate visual programs. Over multiple domains, we experimentally compare our method against the alternative of using only the one-shot model, and find that even under equal search-time budgets, our editing-based paradigm provides significant advantages.

In this paper, we propose a data-driven framework for collaborative wideband spectrum sensing and scheduling for networked unmanned aerial vehicles (UAVs), which act as the secondary users (SUs) to opportunistically utilize detected "spectrum holes". Our overall framework consists of three main stages. Firstly, in the model training stage, we explore dataset generation in a multi-cell environment and training a machine learning (ML) model using the federated learning (FL) architecture. Unlike the existing studies on FL for wireless that presume datasets are readily available for training, we propose a novel architecture that directly integrates wireless dataset generation, which involves capturing I/Q samples from over-the-air signals in a multi-cell environment, into the FL training process. Secondly, in the collaborative spectrum inference stage, we propose a collaborative spectrum fusion strategy that is compatible with the unmanned aircraft system traffic management (UTM) ecosystem. Finally, in the spectrum scheduling stage, we leverage reinforcement learning (RL) solutions to dynamically allocate the detected spectrum holes to the secondary users. To evaluate the proposed methods, we establish a comprehensive simulation framework that generates a near-realistic synthetic dataset using MATLAB LTE toolbox by incorporating base-station~(BS) locations in a chosen area of interest, performing ray-tracing, and emulating the primary users channel usage in terms of I/Q samples. This evaluation methodology provides a flexible framework to generate large spectrum datasets that could be used for developing ML/AI-based spectrum management solutions for aerial devices., Comment: This is a preprint version submitted to IEEE Transactions on Machine learning in Communications and Networking. arXiv admin note: text overlap with arXiv:2308.05036

The ability to edit 3D assets from natural language presents a compelling paradigm to aid in the democratization of 3D content creation. However, while natural language is often effective at communicating general intent, it is poorly suited for specifying precise manipulation. To address this gap, we introduce ParSEL, a system that enables controllable editing of high-quality 3D assets from natural language. Given a segmented 3D mesh and an editing request, ParSEL produces a parameterized editing program. Adjusting the program parameters allows users to explore shape variations with a precise control over the magnitudes of edits. To infer editing programs which align with an input edit request, we leverage the abilities of large-language models (LLMs). However, while we find that LLMs excel at identifying initial edit operations, they often fail to infer complete editing programs, and produce outputs that violate shape semantics. To overcome this issue, we introduce Analytical Edit Propagation (AEP), an algorithm which extends a seed edit with additional operations until a complete editing program has been formed. Unlike prior methods, AEP searches for analytical editing operations compatible with a range of possible user edits through the integration of computer algebra systems for geometric analysis. Experimentally we demonstrate ParSEL's effectiveness in enabling controllable editing of 3D objects through natural language requests over alternative system designs.

The divide between weak and strong lensing is of course artificial, in that both regimes are manifestations of the same physical phenomenon: gravity bending the path of light. Nevertheless, these two regimes have to a large extent been treated separately, with different methods. This review traces the development of methods combining weak-lensing and strong-lensing data for joint lens-mass reconstruction, with a particular emphasis on cluster lenses, where both effects occur. We conclude that so-called inverse methods have been successful in merging the two regimes insofar data analysis is concerned. However, a number of improvements seem to be needed. First, not many studies include weak lensing data beyond shear. In light of the unprecedented quality of the data of JWST and future surveys, this is a clear point of improvement. Especially so, since flexion terms have proven useful in determining sub-structures. Second, considering the amount of data available, and the complexity of non-parametric lenses, automating the processes of lens-mass reconstruction would be beneficial. Towards this end, invoking machine learning seems like a promising way forward. The silence of the literature on this latter point is in fact somewhat surprising., Comment: 14 pages, 2 figures

Understanding how interacting particles approach thermal equilibrium is a major challenge of quantum simulators. Unlocking the full potential of such systems toward this goal requires flexible initial state preparation, precise time evolution, and extensive probes for final state characterization. We present a quantum simulator comprising 69 superconducting qubits which supports both universal quantum gates and high-fidelity analog evolution, with performance beyond the reach of classical simulation in cross-entropy benchmarking experiments. Emulating a two-dimensional (2D) XY quantum magnet, we leverage a wide range of measurement techniques to study quantum states after ramps from an antiferromagnetic initial state. We observe signatures of the classical Kosterlitz-Thouless phase transition, as well as strong deviations from Kibble-Zurek scaling predictions attributed to the interplay between quantum and classical coarsening of the correlated domains. This interpretation is corroborated by injecting variable energy density into the initial state, which enables studying the effects of the eigenstate thermalization hypothesis (ETH) in targeted parts of the eigenspectrum. Finally, we digitally prepare the system in pairwise-entangled dimer states and image the transport of energy and vorticity during thermalization. These results establish the efficacy of superconducting analog-digital quantum processors for preparing states across many-body spectra and unveiling their thermalization dynamics.

The magnetic fields that emerge from beneath the solar surface and permeate the solar atmosphere are the key drivers of space weather and, thus, understanding them is important to human society. Direct observations, used to measure magnetic fields, can only probe the magnetic fields in the photosphere and above, far from the regions the magnetic fields are being enhanced by the solar dynamo. Solar gamma rays produced by cosmic rays interacting with the solar atmosphere have been detected from GeV to TeV energy range, and revealed that they are significantly affected by solar magnetic fields. However, much of the observations are yet to be explained by a physical model. Using a semi-analytic model, we show that magnetic fields at and below the photosphere with a large horizontal component could explain the $\sim$1 TeV solar gamma rays observed by HAWC. This could allow high-energy solar gamma rays to be a novel probe for magnetic fields below the photosphere., Comment: 8 pages, 5 figures, comments are welcome

Gravitational lensing occurs as the path of light from distant celestial bodies is distorted due to gravitational attraction by other celestial bodies, whose mass is partly invisible, being so-called dark matter. When observed through a gravitational lens, distant galaxies appear distorted. A lot of research activity goes into mapping the dark matter in the universe through graviational lensing. However, the mathematical models are complicated, and calculations both time consuming and tideous, if manual. In this paper we discuss how we may combine the Roulette formalism due to Clarkson with machine learning for automatic, local estimation of the lense potential in strong lenses. We also present a framework of open source software for generating datasets and validating results. -- Gravitasjonslinsing er fenomenet der ljos fr{\aa} fjerne himmellegeme vert avb{\o}ygd av tyngdekraften fr{\aa} andre himmellegeme, som ofte ikkje er fullt synlege fordi mykje av massen er m{\o}rk materie. Observert gjennom ei gravitasjonslinse, framst{\aa}r fjerne galaksar som forvrengde. Der er mykje forskingsaktivitet som freistar {\aa} karleggja m{\o}rk materie ved {\aa} studera linseeffektar, men dei matematiske modellane er kompliserte og utrekningane krev i dag mykje manuelt arbeide som er sv{\ae}rt tidkrevjande. I denne artikkelen dr{\o}ftar me korleis me kan kombinera rouletteformalismen {\aa}t Chris Clarkson med maskinl{\ae}ring for automatisk, lokal estimering av linsepotentialet i sterke linser, og me presenterer eit rammeverk med programvare i open kjeldekode for {\aa} generera datasett og validera resultat., Comment: 14 pages, in Norwegian language, 6 figures

Semiconductor heterojunctions have gained significant attention for efficient optoelectronic devices owing to their unique interfaces and synergistic effects. Interaction between charge carriers with the heterojunction plays a crucial role in determining device performance, while its spatial-temporal mapping remains lacking. In this study, we employ scanning ultrafast electron microscopy (SUEM), an emerging technique that combines high spatial-temporal resolution and surface sensitivity, to investigate photocarrier dynamics across a Si/Ge heterojunction. Charge dynamics are selectively examined across the junction and compared to far bulk areas, through which the impact of the built-in potential, band offsets, and surface effects is directly visualized. In particular, we find that the heterojunction drastically modifies the hot photocarrier diffusivities by up to 300%. These findings are further elucidated with insights from the band structure and surface potential measured by complementary techniques. This work demonstrates the tremendous effect of heterointerfaces on charge dynamics and showcases the potential of SUEM in characterizing realistic devices.

As Artificial Intelligence ecosystems become increasingly entangled within our everyday lives, designing systems that are ethical, inclusive and socially just is more vital than ever. It is well known that AI can algorithmic biases that reflect, extend and exacerbate our existing systemic injustices. Yet, despite most teenagers interacting with AI daily, only few have the opportunity to learn how it works and its socio-technical complexities. This is a particularly salient issue for marginalized communities. BIPOC teens are often misrepresented throughout AI development and implementation, but they are also less likely to receive STEM education.In response to these unprecedented socio-technical challenges and calls for more critical approaches to child-centered AI design and education, we explore how we can leverage co-speculative design practices to help scaffold BIPOC youth (ages 14-17) critiques of existing AI systems and support the re-imagining of more just AI futures. Drawing on Harway's Situated Knowledges and Speculative Fabulations, these workshops highlight the unique ways marginalized youth perceive AI as having social and ethical implications and how they envision alternative worlds with AI. Our case study describes three 2 hour sessions of a larger 8 week black-led AI STEM program. Analysis includes, data from pre-post surveys, workshop recordings, focus group discussions, learning artifacts, and field notes. We contribute 1) a discussion of how youth perceive AI as having social and ethical implications, 2) a nuanced understanding of how speculative approaches can be leveraged to support youth engagement with complex socio-technical issues and 3) enable youth to open up new AI possibilities in a world absent of techno-capitalist values., Comment: This paper has been peer-reviewed and presented at the CHI 2024 Workshop on Child-centred AI Design, May 11, 2024, Honolulu, HI, USA

Temporal credit assignment in reinforcement learning is challenging due to delayed and stochastic outcomes. Monte Carlo targets can bridge long delays between action and consequence but lead to high-variance targets due to stochasticity. Temporal difference (TD) learning uses bootstrapping to overcome variance but introduces a bias that can only be corrected through many iterations. TD($\lambda$) provides a mechanism to navigate this bias-variance tradeoff smoothly. Appropriately selecting $\lambda$ can significantly improve performance. Here, we propose Chunked-TD, which uses predicted probabilities of transitions from a model for computing $\lambda$-return targets. Unlike other model-based solutions to credit assignment, Chunked-TD is less vulnerable to model inaccuracies. Our approach is motivated by the principle of history compression and 'chunks' trajectories for conventional TD learning. Chunking with learned world models compresses near-deterministic regions of the environment-policy interaction to speed up credit assignment while still bootstrapping when necessary. We propose algorithms that can be implemented online and show that they solve some problems much faster than conventional TD($\lambda$)., Comment: ICML 2024 version

To address the limitations of current hate speech detection models, we introduce \textsf{SGHateCheck}, a novel framework designed for the linguistic and cultural context of Singapore and Southeast Asia. It extends the functional testing approach of HateCheck and MHC, employing large language models for translation and paraphrasing into Singapore's main languages, and refining these with native annotators. \textsf{SGHateCheck} reveals critical flaws in state-of-the-art models, highlighting their inadequacy in sensitive content moderation. This work aims to foster the development of more effective hate speech detection tools for diverse linguistic environments, particularly for Singapore and Southeast Asia contexts.

We present \texttt{muRelBench}, a suite of synthetic benchmarks for weakly-relational abstract domains and their operations. For example, the benchmarks can support experimental evaluations of proposed algorithms such as domain closure., Comment: NEAT paper for SAS 2024

While traditionally considered a deleterious effect in quantum dot spin qubits, the spin-orbit interaction is recently being revisited as it allows for rapid coherent control by on-chip AC electric fields. For electrons in bulk silicon, SOC is intrinsically weak, however, it can be enhanced at surfaces and interfaces, or through atomic placement. Here we show that the strength of the spin-orbit coupling can be locally enhanced by more than two orders of magnitude in the manybody wave functions of multi-donor quantum dots compared to a single donor, reaching strengths so far only reported for holes or two-donor system with certain symmetry. Our findings may provide a pathway towards all-electrical control of donor-bound spins in silicon using electric dipole spin resonance (EDSR).

Soft robots have gained increased popularity in recent years due to their adaptability and compliance. In this paper, we use a digital twin model of cable-driven soft robots to learn control parameters in simulation. In doing so, we take advantage of differentiable rendering as a way to instruct robots to complete tasks such as point reach, gripping an object, and obstacle avoidance. This approach simplifies the mathematical description of such complicated tasks and removes the need for landmark points and their tracking. Our experiments demonstrate the applicability of our method., Comment: 10 pages, 6 figures, 2 tables

We provide a novel construction of quantized universal enveloping $*$-algebras of real semisimple Lie algebras, based on Letzter's theory of quantum symmetric pairs. We show that these structures can be `integrated', leading to a quantization of the group C$^*$-algebra of an arbitrary semisimple algebraic real Lie group., Comment: 21 pages. For submission to the conference proceedings of the Conference `Quantum Groups and Noncommutative Geometry' (Prague, 2023)

We prove a version of Sylvester's law of inertia for the Reflection Equation Algebra (=REA). We will only be concerned with the REA constructed from the $R$-matrix associated to the standard $q$-deformation of $GL(N,\mathbb{C})$. For $q$ positive, this particular REA comes equipped with a natural $*$-structure, by which it can be viewed as a $q$-deformation of the $*$-algebra of polynomial functions on the space of self-adjoint $N$-by-$N$-matrices. We will show that this REA satisfies a type $I$-condition, so that its irreducible representations can in principle be classified. Moreover, we will show that, up to the adjoint action of quantum $GL(N,\mathbb{C})$, any irreducible representation of the REA is determined by its \emph{extended signature}, which is a classical signature vector extended by a parameter in $\mathbb{R}/\mathbb{Z}$. It is this latter result that we see as a quantized version of Sylvester's law of inertia., Comment: 42 pages

With ChatGPT's release, conversational prompting has become the most popular form of human-LLM interaction. However, its effectiveness is limited for more complex tasks involving reasoning, creativity, and iteration. Through a systematic analysis of HCI papers published since 2021, we identified four key phases in the human-LLM interaction flow - planning, facilitating, iterating, and testing - to precisely understand the dynamics of this process. Additionally, we have developed a taxonomy of four primary interaction modes: Mode 1: Standard Prompting, Mode 2: User Interface, Mode 3: Context-based, and Mode 4: Agent Facilitator. This taxonomy was further enriched using the "5W1H" guideline method, which involved a detailed examination of definitions, participant roles (Who), the phases that happened (When), human objectives and LLM abilities (What), and the mechanics of each interaction mode (How). We anticipate this taxonomy will contribute to the future design and evaluation of human-LLM interaction., Comment: 11 pages, 4 figures, 3 tables. Accepted at CHI Late-Breaking Work 2024

Evolutionary algorithms are increasingly recognised as a viable computational approach for the automated optimisation of deep neural networks (DNNs) within artificial intelligence. This method extends to the training of DNNs, an approach known as neuroevolution. However, neuroevolution is an inherently resource-intensive process, with certain studies reporting the consumption of thousands of GPU days for refining and training a single DNN network. To address the computational challenges associated with neuroevolution while still attaining good DNN accuracy, surrogate models emerge as a pragmatic solution. Despite their potential, the integration of surrogate models into neuroevolution is still in its early stages, hindered by factors such as the effective use of high-dimensional data and the representation employed in neuroevolution. In this context, we address these challenges by employing a suitable representation based on Linear Genetic Programming, denoted as NeuroLGP, and leveraging Kriging Partial Least Squares. The amalgamation of these two techniques culminates in our proposed methodology known as the NeuroLGP-Surrogate Model (NeuroLGP-SM). For comparison purposes, we also code and use a baseline approach incorporating a repair mechanism, a common practice in neuroevolution. Notably, the baseline approach surpasses the renowned VGG-16 model in accuracy. Given the computational intensity inherent in DNN operations, a singular run is typically the norm. To evaluate the efficacy of our proposed approach, we conducted 96 independent runs. Significantly, our methodologies consistently outperform the baseline, with the SM model demonstrating superior accuracy or comparable results to the NeuroLGP approach. Noteworthy is the additional advantage that the SM approach exhibits a 25% reduction in computational requirements, further emphasising its efficiency for neuroevolution., Comment: Accepted in "International Conference on Optimization and Learning (OLA), Dubrovnik, Croatia, 2024", 13 pages, 4 figures, 1 table

People grasp flexible visual concepts from a few examples. We explore a neurosymbolic system that learns how to infer programs that capture visual concepts in a domain-general fashion. We introduce Template Programs: programmatic expressions from a domain-specific language that specify structural and parametric patterns common to an input concept. Our framework supports multiple concept-related tasks, including few-shot generation and co-segmentation through parsing. We develop a learning paradigm that allows us to train networks that infer Template Programs directly from visual datasets that contain concept groupings. We run experiments across multiple visual domains: 2D layouts, Omniglot characters, and 3D shapes. We find that our method outperforms task-specific alternatives, and performs competitively against domain-specific approaches for the limited domains where they exist., Comment: ICML 2024; Project page: https://rkjones4.github.io/template.html

There are many structures, both classical and modern, involving convex polygonal geometries whose deeper understanding would be facilitated through interactive visualizations. The Ipe extensible drawing editor, developed by Otfried Cheong, is a widely used software system for generating geometric figures. One of its features is the capability to extend its functionality through programs called Ipelets. In this media submission, we showcase a collection of new Ipelets that construct a variety of geometric objects based on polygonal geometries. These include Macbeath regions, metric balls in the forward and reverse Funk distance, metric balls in the Hilbert metric, polar bodies, the minimum enclosing ball of a point set, and minimum spanning trees in both the Funk and Hilbert metrics. We also include a number of utilities on convex polygons, including union, intersection, subtraction, and Minkowski sum (previously implemented as a CGAL Ipelet). All of our Ipelets are programmed in Lua and are freely available.

This article describes SimEngine, an open-source R package for structuring, maintaining, running, and debugging statistical simulations on both local and cluster-based computing environments. Several R packages exist for structuring simulations, but SimEngine is the only package specifically designed for running simulations in parallel via job schedulers on high-performance cluster computing systems. The package provides structure and functionality for common simulation tasks, such as setting simulation levels, managing seeds for random number generation, and calculating summary metrics (such as bias and confidence interval coverage). SimEngine also brings several unique features, such as automatic calculation of Monte Carlo error and information-sharing across simulation replicates. We provide an overview of the package and demonstrate some of its advanced functionality.

Large Vision-Language Models (LVLMs), despite their recent success, are hardly comprehensively tested for their cognitive abilities. Inspired by the prevalent use of the "Cookie Theft" task in human cognition test, we propose a novel evaluation benchmark to evaluate high-level cognitive ability of LVLMs using images with rich semantics. It defines eight reasoning capabilities and consists of an image description task and a visual question answering task. Our evaluation on well-known LVLMs shows that there is still a large gap in cognitive ability between LVLMs and humans.

We consider a many-to-one matching market where colleges share true preferences over students but make decisions using only independent noisy rankings. Each student has a true value $v$, but each college $c$ ranks the student according to an independently drawn estimated value $v + X_c$ for $X_c\sim \mathcal{D}.$ We ask a basic question about the resulting stable matching: How noisy is the set of matched students? Two striking effects can occur in large markets (i.e., with a continuum of students and a large number of colleges). When $\mathcal{D}$ is light-tailed, noise is fully attenuated: only the highest-value students are matched. When $\mathcal{D}$ is long-tailed, noise is fully amplified: students are matched uniformly at random. These results hold for any distribution of student preferences over colleges, and extend to when only subsets of colleges agree on true student valuations instead of the entire market. More broadly, our framework provides a tractable approach to analyze implications of imperfect preference formation in large markets.