arXiv subjects

Brian Smith

Publications and source records attributed to Brian Smith.

14 recordsLinked to original sources

arXiv2024

Is the Lecture Engaging for Learning? Lecture Voice Sentiment Analysis for Knowledge Graph-Supported Intelligent Lecturing Assistant (ILA) System

This paper introduces an intelligent lecturing assistant (ILA) system that utilizes a knowledge graph to represent course content and optimal pedagogical strategies. The system is designed to support instructors in enhancing student learning through real-time analysis of voice, content, and teaching methods. As an initial investigation, we present a case study on lecture voice sentiment analysis, in which we developed a training set comprising over 3,000 one-minute lecture voice clips. Each clip was manually labeled as either engaging or non-engaging. Utilizing this dataset, we constructed and evaluated several classification models based on a variety of features extracted from the voice clips. The results demonstrate promising performance, achieving an F1-score of 90% for boring lectures on an independent set of over 800 test voice clips. This case study lays the groundwork for the development of a more sophisticated model that will integrate content analysis and pedagogical practices. Our ultimate goal is to aid instructors in teaching more engagingly and effectively by leveraging modern artificial intelligence techniques.

cs.AI↗

arXiv2024

Quantum Network Tomography

Errors are the fundamental barrier to the development of quantum systems. Quantum networks are complex systems formed by the interconnection of multiple components and suffer from error accumulation. Characterizing errors introduced by quantum network components becomes a fundamental task to overcome their depleting effects in quantum communication. Quantum Network Tomography (QNT) addresses end-to-end characterization of link errors in quantum networks. It is a tool for building error-aware applications, network management, and system validation. We provide an overview of QNT and its initial results for characterizing quantum star networks. We apply a previously defined QNT protocol for estimating bit-flip channels to estimate depolarizing channels. We analyze the performance of our estimators numerically by assessing the Quantum Cram\`er-Rao Bound (QCRB) and the Mean Square Error (MSE) in the finite sample regime. Finally, we provide a discussion on current challenges in the field of QNT and elicit exciting research directions for future investigation.

quant-ph↗

arXiv2022

Quantum Network Tomography with Multi-party State Distribution

The fragile nature of quantum information makes it practically impossible to completely isolate a quantum state from noise under quantum channel transmissions. Quantum networks are complex systems formed by the interconnection of quantum processing devices through quantum channels. In this context, characterizing how channels introduce noise in transmitted quantum states is of paramount importance. Precise descriptions of the error distributions introduced by non-unitary quantum channels can inform quantum error correction protocols to tailor operations for the particular error model. In addition, characterizing such errors by monitoring the network with end-to-end measurements enables end-nodes to infer the status of network links. In this work, we address the end-to-end characterization of quantum channels in a quantum network by introducing the problem of Quantum Network Tomography. The solution for this problem is an estimator for the probabilities that define a Kraus decomposition for all quantum channels in the network, using measurements performed exclusively in the end-nodes. We study this problem in detail for the case of arbitrary star quantum networks with quantum channels described by a single Pauli operator, like bit-flip quantum channels. We provide solutions for such networks with polynomial sample complexity. Our solutions provide evidence that pre-shared entanglement brings advantages for estimation in terms of the identifiability of parameters.

quant-ph↗

arXiv2020

Understanding Learners' Problem-Solving Strategies in Concurrent and Parallel Programming: A Game-Based Approach

Concurrent and parallel programming (CPP) is an increasingly important subject in Computer Science Education. However, the conceptual shift from sequential programming is notoriously difficult to make. Currently, relatively little research exists on how people learn CPP core concepts. This paper presents our results of using Parallel, an educational game about CPP, focusing on the learners' self-efficacy and how they learn CPP concepts. Based on a study of 44 undergraduate students, our research shows that (a) self-efficacy increased significantly after playing the game; (b) the problem-solving strategies employed by students playing the game can be classified in three main types: trial and error, single-thread, and multi-threaded strategies, and (c) that self-efficacy is correlated with the percentage of time students spend in multithreaded problem-solving.

cs.HC↗

arXiv2019

Tracing Player Knowledge in a Parallel Programming Educational Game

This paper focuses on "tracing player knowledge" in educational games. Specifically, given a set of concepts or skills required to master a game, the goal is to estimate the likelihood with which the current player has mastery of each of those concepts or skills. The main contribution of the paper is an approach that integrates machine learning and domain knowledge rules to find when the player applied a certain skill and either succeeded or failed. This is then given as input to a standard knowledge tracing module (such as those from Intelligent Tutoring Systems) to perform knowledge tracing. We evaluate our approach in the context of an educational game called "Parallel" to teach parallel and concurrent programming with data collected from real users, showing our approach can predict students skills with a low mean-squared error.

cs.AI↗

arXiv2017

Task allocation and site fidelity jointly influence foraging regulation in honey bee colonies

Variation in behavior among group members often impacts collective outcomes. Individuals may vary both in the task that they perform and in the persistence with which they perform each task. Although both the distribution of individuals among tasks and differences among individuals in behavioral persistence can each impact collective behavior, we do not know if and how they jointly affect collective outcomes. Here we use a detailed computational model to examine the joint impact of colony-level distribution among tasks and behavioral persistence of individuals, specifically their fidelity to particular resource sites, on the collective tradeoff between exploring for new resources and exploiting familiar ones. We developed an agent-based model of foraging honey bees, parameterized by data from 5 colonies, in which we simulated scouts, who search the environment for new resources, and individuals who are recruited by the scouts to the newly found resources, i.e., recruits. We found that for each value of persistence there is a different optimal ratio of scouts to recruits that maximizes resource collection by the colony. Furthermore, changes to the persistence of scouts induced opposite effects from changes to the persistence of recruits on the collective foraging of the colony. The proportion of scouts that resulted in the most resources collected by the colony decreased as the persistence of recruits increased. However, this optimal proportion of scouts increased as the persistence of scouts increased. Thus, behavioral persistence and task participation can interact to impact a colony's collective behavior in orthogonal directions. Our work provides new insights and generates new hypotheses into how variation in behavior at both the individual and colony levels jointly impact the trade-off between exploring for new resources and exploiting familiar ones.

q-bio.PE↗

arXiv2016

Global Dynamics, Blow-Up, and Bianchi Cosmology

Many central problems in geometry, topology, and mathematical physics lead to questions concerning the long-time dynamics of solutions to ordinary and partial differential equations. Examples range from the Einstein field equations of general relativity to quasilinear reaction-advection-diffusion equations of parabolic type. Specific questions concern the convergence to equilibria, the existence of periodic, homoclinic, and heteroclinic solutions, and the existence and geometric structure of global attractors. On the other hand, many solutions develop singularities in finite time. The singularities have to be analyzed in detail before attempting to extend solutions beyond their singularities, or to understand their geometry in conjunction with globally bounded solutions. In this context we have also aimed at global qualitative descriptions of blow-up and grow-up phenomena.

math.DS↗

arXiv2012

Anisotropic Einstein data with isotropic nonnegative scalar curvature

We construct a black hole initial data for the Einstein equations with prescribed scalar curvature, or more precisely a piece of initial data contained inside the black hole. The constraints translate into a parabolic equation, with radius as "time" variable, on a metric component u that undergoes blow up. The metric itself is regular up to and including the surface at blow up radius, which is a minimal surface. By applying equivariant bifurcation theory on a self similarly rescaled equation, we show the existence of blow up profiles that are not O(3) symmetric - or anisotropic - although the curvature was isotropically prescribed.

math.DG↗

arXiv2012

Blow-up in the Parabolic Scalar Curvature Equation

The \textit{parabolic scalar curvature equation} is a reaction-diffusion type equation on an $(n-1)$-manifold $Σ$, the time variable of which shall be denoted by $r$. Given a function $R$ on $[r_0,r_1)\timesΣ$ and a family of metrics $γ(r)$ on $Σ$, when the coefficients of this equation are appropriately defined in terms of $γ$ and $R$, positive solutions give metrics of prescribed scalar curvature $R$ on $[r_0,r_1)\timesΣ$ in the form \[ g=u^2dr^2+r^2γ.\] If the area element of $r^2γ$ is expanding for increasing $r$, then the equation is parabolic, and the basic existence problem is to take positive initial data at some $r=r_0$ and solve for $u$ on the maximal interval of existence, which above was implicitly assumed to be $I=[r_0,r_1)$; one often hopes that $r_1=\infty$. However, the case of greatest physical interest, $R>0$, often leads to blow-up in finite time so that $r_1<\infty$. It is the purpose of the present work to investigate the situation in which the blow-up nonetheless occurs in such a way that $g$ is continuously extendible to $\bar M=[r_0,r_1]\timesΣ$ as a manifold with totally geodesic outer boundary at $r=r_1$.

math.DG↗

arXiv2010

Black hole initial data with a horizon of prescribed intrinsic and extrinsic geometry

The purpose of this work is to construct asymptotically flat, time symmetric initial data with an apparent horizon of prescribed intrinsic and extrinsic geometry. To do this, we use the parabolic partial differential equation for prescribing scalar curvature. In this equation the horizon geometry is contained within the freely specifiable part of the metric. This contrasts with the conformal method in which the geometry of the horizon can only be specified up to a conformal factor.

gr-qc↗

arXiv2009

On Models of Multi-user Gaussian Channels with Fading

An analytically tractable model for Gaussian multiuser channels with fading is studied, and the capacity region of this model is found to be a good approximation of the capacity region of the original Gaussian network. This work extends the existing body of work on deterministic models for Gaussian multiuser channels to include the physical phenomenon of fading. In particular, it generalizes these results to a unicast, multiple node network setting with fading.

cs.IT↗

arXiv2008

Wireless Erasure Networks with Feedback

Consider a lossy packet network of queues, communicating over a wireless medium. This paper presents a throughput-optimal transmission strategy for a unicast network when feedback is available, which has the following advantages: It requires a very limited form of acknowledgment feedback. It is completely distributed, and independent of the network topology. Finally, communication at the information theoretic cut-set rate requires no network coding and no rateless coding on the packets. This simple strategy consists of each node randomly choosing a packet from its buffer to transmit at each opportunity. However, the packet is only deleted from a node's buffer once it has been successfully received by the final destination

cs.IT↗

arXiv2007

Evolution of convex lens-shaped networks under curve shortening flow

We consider convex symmetric lens-shaped networks in R^2 that evolve under curve shortening flow. We show that the enclosed convex domain shrinks to a point in finite time. Furthermore, after appropriate rescaling the evolving networks converge to a self-similarly shrinking network, which we prove to be unique in an appropriate class. We also include a classification result for some self-similarly shrinking networks.

math.DG↗

arXiv2007

Black Hole Initial Data with a Horizon of Prescribed Geometry

The purpose of this work is to construct asymptotically flat, time symmetric initial data with an apparent horizon of prescribed intrinsic geometry. To do this, we use the parabolic partial differential equation for prescribing scalar curvature. In this equation the horizon geometry is contained within the freely specifiable part of the metric. This contrasts with the conformal method in which the geometry of the horizon can only be specified up to a conformal factor.

gr-qc↗