title: Magnetostriction of AlFe2B2 in High Magnetic Fields

abstract: Using the experimental capability of the novel X-ray diffraction instrument available at the 25 Tesla Florida Split Coil Magnet at the NHMFL, Tallahassee we present an extensive investigation on the magnetostriction of polycrystalline AlFe2B2. The magnetostriction was measured near the ferromagnetic transition temperature (Curie temperature TC = 280 K, determined via DC magnetization measurements), namely, at 250, 290, and 300 K. AlFe2B2 exhibits an anisotropic change in lattice parameters as a function of magnetic field near the Curie temperature, and a monotonic variation as a function of applied field has been observed, i.e., the c-axis increases significantly while the a- and b-axes decrease with the increasing field in the vicinity of TC, irrespective of the measurement temperature. The volume magnetostriction decreases with decreasing temperature and changes its sign across TC. Density functional theory calculations for the non-polarized and spin-polarized (ferromagnetic) models confirm that the observed changes in lattice parameters due to spin polarization are consistent with the experiment. The relationships for magnetostriction are estimated based on a simplified Landau model that agrees well with the experimental results.


title: A Bayesian cognition approach for belief updating of correlation judgement through uncertainty visualizations

abstract: Understanding correlation judgement is important to designing effective visualizations of bivariate data. Prior work on correlation perception has not considered how factors including prior beliefs and uncertainty representation impact such judgements. The present work focuses on the impact of uncertainty communication when judging bivariate visualizations. Specifically, we model how users update their beliefs about variable relationships after seeing a scatterplot with and without uncertainty representation. To model and evaluate the belief updating, we present three studies. Study 1 focuses on a proposed ''Line + Cone'' visual elicitation method for capturing users' beliefs in an accurate and intuitive fashion. The findings reveal that our proposed method of belief solicitation reduces complexity and accurately captures the users' uncertainty about a range of bivariate relationships. Study 2 leverages the ``Line + Cone'' elicitation method to measure belief updating on the relationship between different sets of variables when seeing correlation visualization with and without uncertainty representation. We compare changes in users beliefs to the predictions of Bayesian cognitive models which provide normative benchmarks for how users should update their prior beliefs about a relationship in light of observed data. The findings from Study 2 revealed that one of the visualization conditions with uncertainty communication led to users being slightly more confident about their judgement compared to visualization without uncertainty information. Study 3 builds on findings from Study 2 and explores differences in belief update when the bivariate visualization is congruent or incongruent with users' prior belief. Our results highlight the effects of incorporating uncertainty representation, and the potential of measuring belief updating on correlation judgement with Bayesian cognitive models.


title: Homotopy relative Rota-Baxter Lie algebras, triangular $L_\infty$-bialgebras and higher derived brackets

abstract: We describe $L_\infty$-algebras governing homotopy relative Rota-Baxter Lie algebras and triangular $L_\infty$-bialgebras, and establish a map between them. Our formulas are based on a functorial approach to Voronov's higher derived brackets construction which is of independent interest.


title: Well-Poised Hypersurfaces

abstract: An ideal $I$ is said to be "well-poised" if all of the initial ideals obtained from points in the tropical variety $Trop(I)$ are prime. This condition was first defined by Nathan Ilten and the third author. We classify all well-poised hypersurfaces over an algebraically closed field. We also study the tropical varieties and associated Newton-Okounkov bodies of these hypersurfaces.


title: Geodesics of Hayward black hole surrounded by quintessence

abstract: Basing on the ideas used by Kiselev, we study the Hayward black hole surrounded by quintessence. By setting for the quintessence state parameter at the special case of $\omega=-\frac{2}{3}$, using the metric of the black hole surrounded by quintessence and the definition of the effective potential, we analyzed in detail the null geodesics for different energies. We also analyzed the horizons of the Hayward black hole surrounded by quintessence as well as the shadow of the black hole.


title: Partial Reconfiguration for Design Optimization

abstract: FPGA designers have traditionally shared a similar design methodology with ASIC designers. Most notably, at design time, FPGA designers commit to a fixed allocation of logic resources to modules in a design. At runtime, some of the occupied resources could be left idle or under-utilized due to hard-to-avoid sources of inefficiencies (e.g., operation dependencies). With partial reconfiguration (PR), FPGA resources can be re-allocated over time. Therefore, using PR, a designer can attempt to reduce idleness and under-utilization with better area-time scheduling. In this paper, we explain when, how, and why PR-style designs can improve over the performance-area Pareto front of ASIC-style designs (without PR). We first introduce the concept of area-time volume to explain why PR-style designs can improve upon ASIC-style designs. We identify resource under-utilization as an opportunity that can be exploited by PR-style designs. We then present a first-order analytical model to help a designer decide if a PR-style design can be beneficial. When it is the case, the model points to the most suitable PR execution strategy and provides an estimate of the improvement. The model is validated in three case studies.


abstract: Homological algebra of modules over posets is developed, as closely parallel as possible to that of finitely generated modules over noetherian commutative rings, in the direction of finite presentations and resolutions. Centrally at issue is how to define finiteness to replace the noetherian hypothesis which fails. The tameness condition introduced for this purpose captures finiteness for variation in families of vector spaces indexed by posets in a way that is characterized equivalently by distinct topological, algebraic, combinatorial, and homological manifestations. Tameness serves both theoretical and computational purposes: it guarantees finite presentations and resolutions of various sorts, all related by a syzygy theorem, amenable to algorithmic manipulation. Tameness and its homological theory are new even in the finitely generated discrete setting of $\mathbb{N}^n$-gradings, where tame is materially weaker than noetherian. In the context of persistent homology of filtered topological spaces, especially with multiple real parameters, the algebraic theory of tameness yields topologically interpretable data structures in terms of birth and death of homology classes.


title: A High Angular Resolution Survey of Massive Stars in Cygnus OB2: $JHK$ Adaptive Optics Results from the Gemini Near-InfraRed Imager

abstract: We present results of a high angular resolution survey of massive OB stars in the Cygnus OB2 association that we conducted with the NIRI camera and ALTAIR adaptive optics system of the Gemini North telescope. We observed 74 O- and early B-type stars in Cyg OB2 in the $JHK$ infrared bands in order to detect binary and multiple companions. The observations are sensitive to equal-brightness pairs at separations as small as 0.08 \arcsec, and progressively fainter companions are detectable out to $\Delta$ K = 9 mag at a separation of 2 arcsec. This faint contrast limit due to readnoise continues out to 10 arcsec near the edge of the detector. We assigned a simple probability of chance alignment to each companion based upon its separation and magnitude difference from the central target star and upon areal star counts for the general star field of Cyg OB2. Companion stars with a field membership probability of less than 1% are assumed to be physical companions. This assessment indicates that 47% of the targets have at least one resolved companion that is probably gravitationally bound. Including known spectroscopic binaries, our sample includes 27 binary, 12 triple, and 9 systems with four or more components. These results confirm studies of high mass stars in other environments that find that massive stars are born with a high multiplicity fraction. The results are important for the placement of the stars in the H-R diagram, the interpretation of their spectroscopic analyses, and for future mass determinations through measurement of orbital motion.


title: State Readout of a Trapped Ion Qubit Using a Trap-Integrated Superconducting Photon Detector

abstract: We report high-fidelity state readout of a trapped ion qubit using a trap-integrated photon detector. We determine the hyperfine qubit state of a single $^9$Be$^+$ ion held in a surface-electrode rf ion trap by counting state-dependent ion fluorescence photons with a superconducting nanowire single-photon detector (SNSPD) fabricated into the trap structure. The average readout fidelity is 0.9991(1), with a mean readout duration of 46 $\mu$s, and is limited by the polarization impurity of the readout laser beam and by off-resonant optical pumping. Because there are no intervening optical elements between the ion and the detector, we can use the ion fluorescence as a self-calibrated photon source to determine the detector quantum efficiency and its dependence on photon incidence angle and polarization.


title: What are GT-shadows?

abstract: Let $B_4$ (resp. $PB_4$) be the braid group (resp. the pure braid group) on 4 strands and $NFI_{PB_4}(B_4)$ be the poset whose objects are finite index normal subgroups of $B_4$ that are contained in $PB_4$. In this paper, we introduce GT-shadows which may be thought of as "approximations" to elements of the profinite version $\widehat{GT}$ of the Grothendieck-Teichmueller group (see V. Drinfeld, Algebra i Analiz, 1990). We prove that GT-shadows form a groupoid whose objects are elements of $NFI_{PB_4}(B_4)$. We show that GT-shadows coming from elements of $\widehat{GT}$ satisfy various additional properties and we investigate these properties. We establish an explicit link between GT-shadows and the group $\widehat{GT}$ (see Theorem 3.8). We also present selected results of computer experiments on GT-shadows. In the appendix of this paper, we give a complete description of GT-shadows in the Abelian setting. We also prove that, in the Abelian setting, every GT-shadow comes from an element of $\widehat{GT}$. Objects very similar to GT-shadows were introduced in a paper by D. Harbater and L. Schneps in 1997. A variation of the concept of $GT$-shadows for the coarse version of $\widehat{GT}$ was studied in papers by P. Guillot.


title: Infusing Reachability-Based Safety into Planning and Control for Multi-agent Interactions

abstract: Within a robot autonomy stack, the planner and controller are typically designed separately, and serve different purposes. As such, there is often a diffusion of responsibilities when it comes to ensuring safety for the robot. We propose that a planner and controller should share the same interpretation of safety but apply this knowledge in a different yet complementary way. To achieve this, we use Hamilton-Jacobi (HJ) reachability theory at the planning level to provide the robot planner with the foresight to avoid entering regions with possible inevitable collision. However, this alone does not guarantee safety. In conjunction with this HJ reachability-infused planner, we propose a minimally-interventional multi-agent safety-preserving controller also derived via HJ-reachability theory. The safety controller maintains safety for the robot without unduly impacting planner performance. We demonstrate the benefits of our proposed approach in a multi-agent highway scenario where a robot car is rewarded to navigate through traffic as fast as possible, and we show that our approach provides strong safety assurances yet achieves the highest performance compared to other safety controllers.


title: Accumulation of spin-polarized states of charge carriers and a spintronic battery

abstract: Spin valves based on materials in which the spin-flip is suppressed by the spatial separation of charge carriers, while maintaining electric neutrality in the valve volume, are considered. The possibility of using these valves as electric batteries is discussed. It is shown that if the potential difference across the valve is controlled, incommensurability effects such as the "devil's staircase" may be expected, which are associated with the Coulomb interaction and redistribution of electrons occurring while the battery is charged and discharged. The effects of the emergence and vanishing of spontaneous spin polarization of conduction electrons with a change in the Fermi level in the valve are predicted. Such spin valves can also be used in implementing spintronic memory cells, supercapacitors, and similar devices.


title: On the velocity drift between ions in the solar atmosphere

abstract: The solar atmosphere is composed of many species which are populated at different ionization and excitation levels. The upper chromosphere, transition region, and corona are nearly collisionless. Consequently, slippage between, for instance, ions and neutral particles, or interactions between separate species, may play important roles. We have developed a 3D multi-fluid and multi-species numerical code (Ebysus) to investigate such effects. Ebysus is capable of treating species (e.g., hydrogen, helium, etc) and fluids (neutrals, excited and ionized elements) separately, including non-equilibrium ionization, momentum exchange, radiation, thermal conduction, and other complex processes in the solar atmosphere. Treating different species as different fluids leads to drifts between different ions and an electric field that couples these motions. The coupling for two ionized fluids can lead to an anti-phase rotational motion between them. Different ionized species and momentum exchange can dissipate this velocity drift, i.e., convert wave kinetic energy into thermal energy. High frequency Alfv\'en waves driven by, e.g., reconnection thought to occur in the solar atmosphere, can drive such multi-ion velocity drifts.


title: Language Models for Some Extensions of the Lambek Calculus

abstract: We investigate language interpretations of two extensions of the Lambek calculus: with additive conjunction and disjunction and with additive conjunction and the unit constant. For extensions with additive connectives, we show that conjunction and disjunction behave differently. Adding both of them leads to incompleteness due to the distributivity law. We show that with conjunction only no issues with distributivity arise. In contrast, there exists a corollary of the distributivity law in the language with disjunction only which is not derivable in the non-distributive system. Moreover, this difference keeps valid for systems with permutation and/or weakening structural rules, that is, intuitionistic linear and affine logics and affine multiplicative-additive Lambek calculus. For the extension of the Lambek with the unit constant, we present a calculus which reflects natural algebraic properties of the empty word. We do not claim completeness for this calculus, but we prove undecidability for the whole range of systems extending this minimal calculus and sound w.r.t. language models. As a corollary, we show that in the language with the unit there exissts a sequent that is true if all variables are interpreted by regular language, but not true in language models in general.


title: Growth and Properties of Dislocated Two-dimensional Layered Materials

abstract: Two-dimensional (2D) layered materials hosting dislocations have attracted considerable research attention in recent years. In particular, screw dislocations can result in a spiral topology and an interlayer twist in the layered materials, significantly impacting the stacking order and symmetry of the layers. Moreover, the dislocations with large strain and heavily distorted atomic registry can result in a local modification of the structures around the dislocation. The dislocations thus provide a useful route to engineering optical, electrical, thermal, mechanical and catalytic properties of the 2D layered materials, which show great potential to bring new functionalities. This article presents a comprehensive review of the experimental and theoretical progress on the growth and properties of the dislocated 2D layered materials. It also offers an outlook on the future works in this promising research field.


title: Dynamic Object Tracking and Masking for Visual SLAM

abstract: In dynamic environments, performance of visual SLAM techniques can be impaired by visual features taken from moving objects. One solution is to identify those objects so that their visual features can be removed for localization and mapping. This paper presents a simple and fast pipeline that uses deep neural networks, extended Kalman filters and visual SLAM to improve both localization and mapping in dynamic environments (around 14 fps on a GTX 1080). Results on the dynamic sequences from the TUM dataset using RTAB-Map as visual SLAM suggest that the approach achieves similar localization performance compared to other state-of-the-art methods, while also providing the position of the tracked dynamic objects, a 3D map free of those dynamic objects, better loop closure detection with the whole pipeline able to run on a robot moving at moderate speed.


title: Geometry of geodesics

abstract: These are lecture notes for the course "MATS4120 Geometry of geodesics" given at the University of Jyv\"askyl\"a in Spring 2020. Basic differential geometry or Riemannian geometry is useful background but is not strictly necessary. Exercise problems are included, and problems marked important should be solved as you read to ensure that you are able to follow.


title: New Concept for Studying the Classical and Quantum Three-Body Problem: Fundamental Irreversibility and Time's Arrow of Dynamical Systems

abstract: The article formulates the classical three-body problem in conformal-Euclidean space (Riemannian manifold), and its equivalence to the Newton three-body problem is mathematically rigorously proved. It is shown that a curved space with a local coordinate system allows us to detect new hidden symmetries of the internal motion of a dynamical system, which allows us to reduce the three-body problem to the 6\emph{th} order system. A new approach makes the system of geodesic equations with respect to the evolution parameter of a dynamical system (\emph{internal time}) \emph{fundamentally irreversible}. To describe the motion of three-body system in different random environments, the corresponding stochastic differential equations (SDEs) are obtained. Using these SDEs, Fokker-Planck-type equations are obtained that describe the joint probability distributions of geodesic flows in phase and configuration spaces. The paper also formulates the quantum three-body problem in conformal-Euclidean space. In particular, the corresponding wave equations have been obtained for studying the three-body bound states, as well as for investigating multichannel quantum scattering in the framework of the concept of internal time. This allows us to solve the extremely important quantum-classical correspondence problem for dynamical Poincar\'e systems.


title: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities

abstract: We give a proof-theoretic and algorithmic complexity analysis for systems introduced by Morrill to serve as the core of the CatLog categorial grammar parser. We consider two recent versions of Morrill's calculi, and focus on their fragments including multiplicative (Lambek) connectives, additive conjunction and disjunction, brackets and bracket modalities, and the ! subexponential modality. For both systems, we resolve issues connected with the cut rule and provide necessary modifications, after which we prove admissibility of cut (cut elimination theorem). We also prove algorithmic undecidability for both calculi, and show that categorial grammars based on them can generate arbitrary recursively enumerable languages.


title: Possibility conditions for Open Access

abstract: This is an attempt to formalize the conditions of possibility for free, libre, open access to scientific knowledge within a game. The challenge is to enunciate the terms under which agents participating in the Grand conversation of science would be willing to open share, exchange, negotiate or surrender their contributions, considering their corresponding intentions, goals, beliefs and expected utilities. Many conclusions can be drawn from the game here described. We have made many simplifying decisions along the modelling process that must be taken into account as a determining context for those conclusions, of course. It can be safely state, however, that under the current conditions of the game, Editors will keep betting on Toll Access, knowledge distribution models even if all the other Academic agent go for Open Access.


title: Neural Architecture Search in Graph Neural Networks

abstract: Performing analytical tasks over graph data has become increasingly interesting due to the ubiquity and large availability of relational information. However, unlike images or sentences, there is no notion of sequence in networks. Nodes (and edges) follow no absolute order, and it is hard for traditional machine learning (ML) algorithms to recognize a pattern and generalize their predictions on this type of data. Graph Neural Networks (GNN) successfully tackled this problem. They became popular after the generalization of the convolution concept to the graph domain. However, they possess a large number of hyperparameters and their design and optimization is currently hand-made, based on heuristics or empirical intuition. Neural Architecture Search (NAS) methods appear as an interesting solution to this problem. In this direction, this paper compares two NAS methods for optimizing GNN: one based on reinforcement learning and a second based on evolutionary algorithms. Results consider 7 datasets over two search spaces and show that both methods obtain similar accuracies to a random search, raising the question of how many of the search space dimensions are actually relevant to the problem.


title: Learning to Rank for Active Learning: A Listwise Approach

abstract: Active learning emerged as an alternative to alleviate the effort to label huge amount of data for data hungry applications (such as image/video indexing and retrieval, autonomous driving, etc.). The goal of active learning is to automatically select a number of unlabeled samples for annotation (according to a budget), based on an acquisition function, which indicates how valuable a sample is for training the model. The learning loss method is a task-agnostic approach which attaches a module to learn to predict the target loss of unlabeled data, and select data with the highest loss for labeling. In this work, we follow this strategy but we define the acquisition function as a learning to rank problem and rethink the structure of the loss prediction module, using a simple but effective listwise approach. Experimental results on four datasets demonstrate that our method outperforms recent state-of-the-art active learning approaches for both image classification and regression tasks.


title: Transient optical symmetry breaking for ultrafast broadband dichroism in plasmonic metasurfaces

abstract: Ultrafast nanophotonics is an emerging research field aimed at the development of nanodevices capable of light modulation with unprecedented speed. A promising approach exploits the optical nonlinearity of nanostructured materials (either metallic or dielectric) to modulate their effective permittivity via interaction with intense ultrashort laser pulses. While the ultrafast temporal dynamics of such nanostructures following photoexcitation has been studied in depth, sub-ps transient spatial inhomogeneities taking place at the nanoscale have been so far almost ignored. Here we theoretically predict and experimentally demonstrate that the inhomogeneous space-time distribution of photogenerated hot carriers induces a transient symmetry breaking in a plasmonic metasurface made of highly symmetric metaatoms. The process is fully reversible, and results in a broadband transient dichroic optical response with a recovery of the initial isotropic state in less than 1 picosecond, overcoming the speed bottleneck caused by slower relaxation processes, such as electron-phonon and phonon-phonon scattering. Our results pave the way to the development of ultrafast dichroic devices, capable of Tera bit/s modulation of light polarization.


title: The near-critical two-point function and the torus plateau for weakly self-avoiding walk in high dimensions

abstract: We use the lace expansion to study the long-distance decay of the two-point function of weakly self-avoiding walk on the integer lattice $\mathbb{Z}^d$ in dimensions $d>4$, in the vicinity of the critical point, and prove an upper bound $|x|^{-(d-2)}\exp[-c|x|/\xi]$, where the correlation length $\xi$ has a square root divergence at the critical point. As an application, we prove that the two-point function for weakly self-avoiding walk on a discrete torus in dimensions $d>4$ has a "plateau." We also discuss the significance and consequences of the plateau for the analysis of critical behaviour on the torus.


title: Embedded clusters: upgrading visual and infrared photometric analysis with Gaia DR2 and ASteCA

abstract: Embedded clusters are groups of stars which have not dispersed yet the residual of the parental cloud where they were born so getting precise distances and properties of these groups turns out to be an essential task. We present results for five embedded clusters: [DBS2003]5, [DBS2003]60, [DBS2003]98, [DBS2003]116 and [DBS2003]117. Results come from a combination of deep CCD UBVI photometry suitable to identify blue faint stars and infrared information from available surveys. In turn photometry was linked with proper motions and parallaxes from Gaia DR2. Each object was treated in a multi-space using ASteCA, a code especially designed to perform an automatic data analysis and aimed at providing the fundamental parameters of star groups, in case they compose a real entity.


title: Sensitive magnetometry in challenging environments

abstract: State-of-the-art magnetic field measurements performed in shielded environments with carefully controlled conditions rarely reflect the realities of those applications envisioned in the introductions of peer-reviewed publications. Nevertheless, significant advances in magnetometer sensitivity have been accompanied by serious attempts to bring these magnetometers into the challenging working environments in which they are often required. This review discusses the ways in which various (predominantly optically-pumped) magnetometer technologies have been adapted for use in a wide range of noisy and physically demanding environments.


title: MiabNET: Message-in-a-bottle Protocol for MANET

abstract: In this short paper, we propose MiabNET, a reactive protocol for Mobile Ad-hoc Networks (MANET). This protocol leverages the concept of "message-in-a-bottle" to spread the routing information though the entire network. The idea of the protocol is briefly described as below: if a node would like to find a route to a destination node not in the routing table, it will initialize a bottle and send this bottle to \textbf{a random one} of its neighbors. If this neighbor does not have the route to the destination, it will send the bottle to one of its random neighbors as well, until the bottle reaches the destination node.


title: Survey of Spectrum Regulation for Intelligent Transportation Systems

abstract: As 5G communication technology develops, vehicular communications that require high reliability, low latency, and massive connectivity are drawing increasing interest from those in academia and industry. Due to these developing technologies, vehicular communication is not limited to vehicle components in the forms of Vehicle-to-Vehicle (V2V) or Vehicle-to-Infrastructure (V2I) networks, but has also been extended to connect with others, such as pedestrians and cellular users. Dedicated Short-Range Communications (DSRC) is the conventional vehicular communication standard for Intelligent Transportation Systems (ITS). More recently, the 3rd Generation Partnership Project introduced Cellular-Vehicle-to-Everything (C-V2X), a competitor to DSRC. Meanwhile, the Federal Communications Commission (FCC)issued a Notice of Proposed Rulemaking (NPRM) to consider deploying Unlicensed National Information Infrastructure (U-NII)devices in the ITS band with two interference mitigation approaches: Detect-and-Vacate (DAV)and Re-channelization (Re-CH). With multiple standard options and interference mitigation approaches, numerous regulatory taxonomies can be identified and notification of relevant technical challenges issued. However, these challenges are much broader than the current and future regulatory taxonomies pursued by the different countries involved. Because their plans differ, the technical and regulatory challenges vary. This paper presents a literature survey about the technical challenges, the current and future ITS band usage plans, and the major research testbeds for the U.S., Europe, China, Korea, and Japan. This survey shows that the most likely deployment taxonomies are (1) DSRC, C-V2X, and Wi-Fi with Re-CH; (2) DSRC and C-V2X with interoperation, and (3) C-V2X only. The most difficult technical challenge is the interoperability between the Wi-Fi-like DSRC and 4G LTE-like C-V2X.


title: Performance Evaluation of Orchestra Scheduling in Time Slotted Channel Hopping Networks

abstract: In this paper, we evaluate the performance of networks that use RPL (Routing Protocols for Low Power and Lossy Networks) with TSCH (Time Slotted Channel Hopping) and Orchestra (an autonomous method for building the TSCH schedule). We measure the performance in the transient state when a node dies (i.e., removed from the network) and determine how long it takes for the network to come back to a stable RPL tree and also what the impact is with respect to energy consumption. Our analysis shows that the Orchestra reduces the energy consumption when the RPL is in a transient state, like in the case of when one of the nodes die. Furthermore, we calculate the energy consumption in the transient state without using Orchestra, and then we make a comparison between both outcomes. We show that Orchestra reduces energy consumption by up to one-third compared to not using Orchestra.


title: LearningCC: An online learning approach for congestion control

abstract: Recently, much effort has been devoted by researchers from both academia and industry to develop novel congestion control methods. LearningCC is presented in this letter, in which the congestion control problem is solved by reinforce learning approach. Instead of adjusting the congestion window with fixed policy, there are serval options for an endpoint to choose. To predict the best option is a hard task. Each option is mapped as an arm of a bandit machine. The endpoint can learn to determine the optimal choice through trial and error method. Experiments are performed on ns3 platform to verify the effectiveness of LearningCC by comparing with other benchmark algorithms. Results indicate it can achieve lower transmission delay than loss based algorithms. Especially, we found LearningCC makes significant improvement in link suffering from random loss.


title: Adaptive Bitrate Video Streaming for Wireless nodes: A Survey

abstract: In today's Internet, video is the most dominant application and in addition to this, wireless networks such as WiFi, Cellular, and Bluetooth have become ubiquitous. Hence, most of the Internet traffic is video over wireless nodes. There is a plethora of research to improve video streaming to achieve high Quality of Experience (QoE) over the Internet. Many of them focus on wireless nodes. Recent measurement studies often show QoE of video suffers in many wireless clients over the Internet. Recently, many research papers have presented models and schemes to optimize the Adaptive BitRate (ABR) based video streaming for wireless and mobile users. In this survey, we present a comprehensive overview of recent work in the area of Internet video specially designed for wireless network. Recent research has suggested that there are some new challenges added by the connectivity of clients through wireless. Also these challenges become more difficult to handle when these nodes are mobile. This survey also discusses new potential areas of future research due to the increasing scarcity of wireless spectrum.


title: A Comparative Study of AI-based Intrusion Detection Techniques in Critical Infrastructures

abstract: Volunteer computing uses Internet-connected devices (laptops, PCs, smart devices, etc.), in which their owners volunteer them as storage and computing power resources, has become an essential mechanism for resource management in numerous applications. The growth of the volume and variety of data traffic in the Internet leads to concerns on the robustness of cyberphysical systems especially for critical infrastructures. Therefore, the implementation of an efficient Intrusion Detection System for gathering such sensory data has gained vital importance. In this paper, we present a comparative study of Artificial Intelligence (AI)-driven intrusion detection systems for wirelessly connected sensors that track crucial applications. Specifically, we present an in-depth analysis of the use of machine learning, deep learning and reinforcement learning solutions to recognize intrusive behavior in the collected traffic. We evaluate the proposed mechanisms by using KD'99 as real attack data-set in our simulations. Results present the performance metrics for three different IDSs namely the Adaptively Supervised and Clustered Hybrid IDS (ASCH-IDS), Restricted Boltzmann Machine-based Clustered IDS (RBC-IDS) and Q-learning based IDS (QL-IDS) to detect malicious behaviors. We also present the performance of different reinforcement learning techniques such as State-Action-Reward-State-Action Learning (SARSA) and the Temporal Difference learning (TD). Through simulations, we show that QL-IDS performs with 100% detection rate while SARSA-IDS and TD-IDS perform at the order of 99.5%.


title: A Centralized Channel Allocation Method in Clustered Ad Hoc Networks

abstract: Cognitive radio networks (CRNs) is the next generation of wireless communication. This type of network requires efficent spectrum allocation methods. This paper presents a new meta-heuristic evolutionary method for solving the channel allocation problem in an ad hoc network context. The suggested method is based on a graph-theoretic model and seeks a solution for the spectrum allocation problem in a clustered ad hoc network topology.The method is referred to as imperialist competitive algorithm (ICA)and provides a scheme for allocating the available channels to cluster heads maximizing spectrum efficiency and minimizes co-channel interference. The suggested methods are tested for several scenarios; the performance of the ICA-based scheme is compared with the genetic algorithm based scheme.


title: Isometric factorization of vector measures and applications to spaces of integrable functions

abstract: Let $X$ be a Banach space, $\Sigma$ be a $\sigma$-algebra, and $m:\Sigma\to X$ be a (countably additive) vector measure. It is a well known consequence of the Davis-Figiel-Johnson-Pelcz\'{y}nski factorization procedure that there exist a reflexive Banach space $Y$, a vector measure $\tilde{m}:\Sigma \to Y$ and an injective operator $J:Y \to X$ such that $m$ factors as $m=J\circ \tilde{m}$. We elaborate some theory of factoring vector measures and their integration operators with the help of the isometric version of the Davis-Figiel-Johnson-Pelcz\'{y}nski factorization procedure. Along this way, we sharpen a result of Okada and Ricker that if the integration operator on $L_1(m)$ is weakly compact, then $L_1(m)$ is equal, up to equivalence of norms, to some $L_1(\tilde m)$ where $Y$ is reflexive; here we prove that the above equality can be taken to be isometric.


title: Stratifications of real vector spaces from constructible sheaves with conical microsupport

abstract: Interpreting the syzygy theorem for tame modules over posets in the setting of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning the existence of stratifications of real vector spaces that play well with sheaves having microsupport in a given cone or, equivalently, sheaves in the corresponding conic topology.


title: Deep Depth Estimation from Visual-Inertial SLAM

abstract: This paper addresses the problem of learning to complete a scene's depth from sparse depth points and images of indoor scenes. Specifically, we study the case in which the sparse depth is computed from a visual-inertial simultaneous localization and mapping (VI-SLAM) system. The resulting point cloud has low density, it is noisy, and has non-uniform spatial distribution, as compared to the input from active depth sensors, e.g., LiDAR or Kinect. Since the VI-SLAM produces point clouds only over textured areas, we compensate for the missing depth of the low-texture surfaces by leveraging their planar structures and their surface normals which is an important intermediate representation. The pre-trained surface normal network, however, suffers from large performance degradation when there is a significant difference in the viewing direction (especially the roll angle) of the test image as compared to the trained ones. To address this limitation, we use the available gravity estimate from the VI-SLAM to warp the input image to the orientation prevailing in the training dataset. This results in a significant performance gain for the surface normal estimate, and thus the dense depth estimates. Finally, we show that our method outperforms other state-of-the-art approaches both on training (ScanNet and NYUv2) and testing (collected with Azure Kinect) datasets.


title: Primary decomposition over partially ordered groups

abstract: Over any partially ordered abelian group whose positive cone is closed in an appropriate sense and has finitely many faces, modules that satisfy a weak finiteness condition admit finite primary decompositions. This conclusion rests on the introduction of basic notions in the relevant generality, such as closedness of partially ordered abelian groups, faces and their coprimary modules, and finiteness conditions as well local and global support functors for modules over partially ordered groups.


title: Stationary peaks in a multivariable reaction--diffusion system: Foliated snaking due to subcritical Turing instability

abstract: An activator-inhibitor-substrate model of side-branching used in the context of pulmonary vascular and lung development is considered on the supposition that spatially localized concentrations of the activator trigger local side-branching. The model consists of four coupled reaction-diffusion equations and its steady localized solutions therefore obey an eight-dimensional spatial dynamical system in one dimension (1D). Stationary localized structures within the model are found to be associated with a subcritical Turing instability and organized within a distinct type of foliated snaking bifurcation structure. This behavior is in turn associated with the presence of an exchange point in parameter space at which the complex leading spatial eigenvalues of the uniform concentration state are overtaken by a pair of real eigenvalues; this point plays the role of a Belyakov-Devaney point in this system. The primary foliated snaking structure consists of periodic spike or peak trains with $N$ identical equidistant peaks, $N=1,2,\dots \,$, together with cross-links consisting of nonidentical, nonequidistant peaks. The structure is complicated by a multitude of multipulse states, some of which are also computed, and spans the parameter range from the primary Turing bifurcation all the way to the fold of the $N=1$ state. These states form a complex template from which localized physical structures develop in the transverse direction in 2D.


title: Intelligent Management of Mobile Systems through Computational Self-Awareness

abstract: Runtime resource management for many-core systems is increasingly complex. The complexity can be due to diverse workload characteristics with conflicting demands, or limited shared resources such as memory bandwidth and power. Resource management strategies for many-core systems must distribute shared resource(s) appropriately across workloads, while coordinating the high-level system goals at runtime in a scalable and robust manner. To address the complexity of dynamic resource management in many-core systems, state-of-the-art techniques that use heuristics have been proposed. These methods lack the formalism in providing robustness against unexpected runtime behavior. One of the common solutions for this problem is to deploy classical control approaches with bounds and formal guarantees. Traditional control theoretic methods lack the ability to adapt to (1) changing goals at runtime (i.e., self-adaptivity), and (2) changing dynamics of the modeled system (i.e., self-optimization). In this chapter, we explore adaptive resource management techniques that provide self-optimization and self-adaptivity by employing principles of computational self-awareness, specifically reflection. By supporting these self-awareness properties, the system can reason about the actions it takes by considering the significance of competing objectives, user requirements, and operating conditions while executing unpredictable workloads.


title: KAPLAN: A 3D Point Descriptor for Shape Completion

abstract: We present a novel 3D shape completion method that operates directly on unstructured point clouds, thus avoiding resource-intensive data structures like voxel grids. To this end, we introduce KAPLAN, a 3D point descriptor that aggregates local shape information via a series of 2D convolutions. The key idea is to project the points in a local neighborhood onto multiple planes with different orientations. In each of those planes, point properties like normals or point-to-plane distances are aggregated into a 2D grid and abstracted into a feature representation with an efficient 2D convolutional encoder. Since all planes are encoded jointly, the resulting representation nevertheless can capture their correlations and retains knowledge about the underlying 3D shape, without expensive 3D convolutions. Experiments on public datasets show that KAPLAN achieves state-of-the-art performance for 3D shape completion.


title: Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods

abstract: This paper presents a technique, named STLCG, to compute the quantitative semantics of Signal Temporal Logic (STL) formulas using computation graphs. STLCG provides a platform which enables the incorporation of logical specifications into robotics problems that benefit from gradient-based solutions. Specifically, STL is a powerful and expressive formal language that can specify spatial and temporal properties of signals generated by both continuous and hybrid systems. The quantitative semantics of STL provide a robustness metric, i.e., how much a signal satisfies or violates an STL specification. In this work, we devise a systematic methodology for translating STL robustness formulas into computation graphs. With this representation, and by leveraging off-the-shelf automatic differentiation tools, we are able to efficiently backpropagate through STL robustness formulas and hence enable a natural and easy-to-use integration of STL specifications with many gradient-based approaches used in robotics. Through a number of examples stemming from various robotics applications, we demonstrate that STLCG is versatile, computationally efficient, and capable of incorporating human-domain knowledge into the problem formulation.


title: Herd immunity under individual variation and reinfection

abstract: We study a SEIR model considered by Gomes et al. \cite{Gomes2020} and Aguas et al. \cite{Aguas2020} where different individuals are assumed to have different levels of susceptibility or exposure to infection. Under this heterogeneity assumption, epidemic growth is effectively suppressed when the percentage of population having acquired immunity surpasses a critical level - the herd immunity threshold - that is lower than in homogeneous populations. We find explicit formulas to calculate herd immunity thresholds and stable configuration, and explore extensions of the model.


title: Fractal Gravitation

abstract: Considering the GAIA data for {$\approx 10^6$} stars around the {barycenter,} we estimate the fractal dimension for different regions in the Milky Way. Then we use those fractal dimensions to calculate the gravitational potential considering the medium as a continuous fractal. Finally, {we use the gravitational potential to infer} the circular velocity {and adjust} rotation curves in the Milky Way. {For this,} we use two numerical models, the first considering uniform density and a second more realistic of a bulge and a disk. In none of these models we consider dark matter. We study their validity comparing them with circular speed data from the Milky Way.


title: Bethe-Salpeter amplitudes of Upsilons

abstract: Based on lattice non-relativistic QCD (NRQCD) studies we present results for Bethe-Salpeter amplitudes for $\Upsilon(1S)$, $\Upsilon(2S)$ and $\Upsilon(3S)$ in vacuum as well as in quark-gluon plasma. Our study is based on 2+1 flavor $48^3 \times 12$ lattices generated using the Highly Improved Staggered Quark (HISQ) action and with a pion mass of $161$ MeV. At zero temperature the Bethe-Salpeter amplitudes follow the expectations based on non-relativistic potential models. At non-zero temperatures, the interpretation of Bethe-Salpeter amplitudes turns out to be more nuanced, but consistent with our previous lattice QCD study of excited Upsilons in quark-gluon plasma.


title: Telemanipulation with Chopsticks: Analyzing Human Factors in User Demonstrations

abstract: Chopsticks constitute a simple yet versatile tool that humans have used for thousands of years to perform a variety of challenging tasks ranging from food manipulation to surgery. Applying such a simple tool in a diverse repertoire of scenarios requires significant adaptability. Towards developing autonomous manipulators with comparable adaptability to humans, we study chopsticks-based manipulation to gain insights into human manipulation strategies. We conduct a within-subjects user study with 25 participants, evaluating three different data-collection methods: normal chopsticks, motion-captured chopsticks, and a novel chopstick telemanipulation interface. We analyze factors governing human performance across a variety of challenging chopstick-based grasping tasks. Although participants rated teleoperation as the least comfortable and most difficult-to-use method, teleoperation enabled users to achieve the highest success rates on three out of five objects considered. Further, we notice that subjects quickly learned and adapted to the teleoperation interface. Finally, while motion-captured chopsticks could provide a better reflection of how humans use chopsticks, the teleoperation interface can produce quality on-hardware demonstrations from which the robot can directly learn.


title: Selected Science Opportunities for the EicC

abstract: An electron ion collider has been proposed in China (EicC). It is anticipated that the facility would provide polarised electrons, protons and ion beams, in collisions with large centre-of-mass energy. This discussion highlights its potential to address issues that are central to understanding the emergence of mass within the Standard Model, using examples that range from the exploration of light-meson structure, through measurements of near-threshold heavy-quarkonia production, and on to studies of the spectrum of exotic hadrons.


title: F*: An Interpretable Transformation of the F-measure

abstract: The F-measure, also known as the F1-score, is widely used to assess the performance of classification algorithms. However, some researchers find it lacking in intuitive interpretation, questioning the appropriateness of combining two aspects of performance as conceptually distinct as precision and recall, and also questioning whether the harmonic mean is the best way to combine them. To ease this concern, we describe a simple transformation of the F-measure, which we call F* (F-star), which has an immediate practical interpretation.


title: Optimizing Long-term Social Welfare in Recommender Systems: A Constrained Matching Approach

abstract: Most recommender systems (RS) research assumes that a user's utility can be maximized independently of the utility of the other agents (e.g., other users, content providers). In realistic settings, this is often not true---the dynamics of an RS ecosystem couple the long-term utility of all agents. In this work, we explore settings in which content providers cannot remain viable unless they receive a certain level of user engagement. We formulate the recommendation problem in this setting as one of equilibrium selection in the induced dynamical system, and show that it can be solved as an optimal constrained matching problem. Our model ensures the system reaches an equilibrium with maximal social welfare supported by a sufficiently diverse set of viable providers. We demonstrate that even in a simple, stylized dynamical RS model, the standard myopic approach to recommendation---always matching a user to the best provider---performs poorly. We develop several scalable techniques to solve the matching problem, and also draw connections to various notions of user regret and fairness, arguing that these outcomes are fairer in a utilitarian sense.


title: Corotating dyonic binary black holes

abstract: This paper is dedicated to derive and study binary systems of identical corotating dyonic black holes separated by a massless strut -- two 5-parametric corotating binary black hole models endowed with both electric and magnetic charges-- where the dyonic black holes carrying equal/opposite electromagnetic charges in the first/second model satisfy the extended Smarr formula for the mass including the magnetic charge as a fourth conserved parameter.


title: Utilising Visual Attention Cues for Vehicle Detection and Tracking

abstract: Advanced Driver-Assistance Systems (ADAS) have been attracting attention from many researchers. Vision-based sensors are the closest way to emulate human driver visual behavior while driving. In this paper, we explore possible ways to use visual attention (saliency) for object detection and tracking. We investigate: 1) How a visual attention map such as a \emph{subjectness} attention or saliency map and an \emph{objectness} attention map can facilitate region proposal generation in a 2-stage object detector; 2) How a visual attention map can be used for tracking multiple objects. We propose a neural network that can simultaneously detect objects as and generate objectness and subjectness maps to save computational power. We further exploit the visual attention map during tracking using a sequential Monte Carlo probability hypothesis density (PHD) filter. The experiments are conducted on KITTI and DETRAC datasets. The use of visual attention and hierarchical features has shown a considerable improvement of $\approx$8\% in object detection which effectively increased tracking performance by $\approx$4\% on KITTI dataset.


title: An Acoustic Segment Model Based Segment Unit Selection Approach to Acoustic Scene Classification with Partial Utterances

abstract: In this paper, we propose a sub-utterance unit selection framework to remove acoustic segments in audio recordings that carry little information for acoustic scene classification (ASC). Our approach is built upon a universal set of acoustic segment units covering the overall acoustic scene space. First, those units are modeled with acoustic segment models (ASMs) used to tokenize acoustic scene utterances into sequences of acoustic segment units. Next, paralleling the idea of stop words in information retrieval, stop ASMs are automatically detected. Finally, acoustic segments associated with the stop ASMs are blocked, because of their low indexing power in retrieval of most acoustic scenes. In contrast to building scene models with whole utterances, the ASM-removed sub-utterances, i.e., acoustic utterances without stop acoustic segments, are then used as inputs to the AlexNet-L back-end for final classification. On the DCASE 2018 dataset, scene classification accuracy increases from 68%, with whole utterances, to 72.1%, with segment selection. This represents a competitive accuracy without any data augmentation, and/or ensemble strategy. Moreover, our approach compares favourably to AlexNet-L with attention.


title: $A_{2l}^{(2)}$ at level $-l-\frac{1}{2}$

abstract: Let $L_{l}=L(\mathfrak{sl}_{2l+1},-l-\frac{1}{2})$ be the simple vertex operator algebra based on the affine Lie algebra $\widehat{\mathfrak{sl}}_{2l+1}$ at boundary admissible level $-l-\frac{1}{2}$. We consider a lift $\nu$ of the Dynkin diagram involution of $A_{2l}=\mathfrak{sl}_{2l+1}$ to an involution of $L_{l}$. The $\nu$-twisted $L_l$-modules are $A_{2l}^{(2)}$-modules of level $-l-\frac{1}{2}$ with an anti-homogeneous realization. We classify simple $\nu$-twisted highest-weight (weak) $L_l$-modules using twisted Zhu algebras and singular vectors for $\widehat{\mathfrak{sl}}_{2l+1}$ at level $-l-\frac{1}{2}$ obtained by Per\v{s}e. We find that there are finitely many such modules up to isomorphism, and the $\nu$-twisted (weak) $L_l$-modules that are in category $\mathscr{O}$ for $A_{2l}^{(2)}$ are semi-simple.


title: Characterization of Assistive Robot Arm Teleoperation: A Preliminary Study to Inform Shared Control

abstract: Assistive robotic devices can increase the independence of individuals with motor impairments. However, each person is unique in their level of injury, preferences, and skills, which moreover can change over time. Further, the amount of assistance required can vary throughout the day due to pain or fatigue, or over longer periods due to rehabilitation, debilitating conditions, or aging. Therefore, in order to become an effective team member, the assistive machine should be able to learn from and adapt to the human user. To do so, we need to be able to characterize the user's control commands to determine when and how autonomy should change to best assist the user. We perform a 20 person pilot study in order to establish a set of meaningful performance measures which can be used to characterize the user's control signals and as cues for the autonomy to modify the level and amount of assistance. Our study includes 8 spinal cord injured and 12 uninjured individuals. The results unveil a set of objective, runtime-computable metrics that are correlated with user-perceived task difficulty, and thus could be used by an autonomy system when deciding whether assistance is required. The results further show that metrics which evaluate the user interaction with the robotic device, robot execution, and the perceived task difficulty show differences among spinal cord injured and uninjured groups, and are affected by the type of control interface used. The results will be used to develop an adaptable, user-centered, and individually customized shared-control algorithms.


title: Relational Teacher Student Learning with Neural Label Embedding for Device Adaptation in Acoustic Scene Classification

abstract: In this paper, we propose a domain adaptation framework to address the device mismatch issue in acoustic scene classification leveraging upon neural label embedding (NLE) and relational teacher student learning (RTSL). Taking into account the structural relationships between acoustic scene classes, our proposed framework captures such relationships which are intrinsically device-independent. In the training stage, transferable knowledge is condensed in NLE from the source domain. Next in the adaptation stage, a novel RTSL strategy is adopted to learn adapted target models without using paired source-target data often required in conventional teacher student learning. The proposed framework is evaluated on the DCASE 2018 Task1b data set. Experimental results based on AlexNet-L deep classification models confirm the effectiveness of our proposed approach for mismatch situations. NLE-alone adaptation compares favourably with the conventional device adaptation and teacher student based adaptation techniques. NLE with RTSL further improves the classification accuracy.


title: Three-body model for $K(1460)$ resonance

abstract: The three-body $KK\bar K$ model for the $K(1460)$ resonance is developed on the basis of the Faddeev equations in configuration space. A single-channel approach is using with taking into account the difference of masses of neutral and charged kaons. It is demonstrated that a splitting the mass of the $K(1460)$ resonance takes a place around 1460 MeV according to $K^0K^0{\bar K}^0$, $K^0K^+K^-$ and $K^+K^0{\bar K}^0$, $ K^+K^+K^-$ neutral and charged particle configurations, respectively. The calculations are performed with two sets of $KK$ and $K\bar K$ phenomenological potentials, where the latter interaction is considered the same for the isospin singlet and triplet states. The effect of repulsion of the $KK$ interaction on the mass of the $KK\bar K$ system is studied and the effect of the mass polarization is evaluated. The first time the Coulomb interaction for description of the $K(1460)$ resonance is considered. The mass splitting in the $K$(1460) resonances is evaluated to be in range of 10 MeV with taking into account the Coulomb force. The three-body model with the $K\bar K$ potential, which has the different strength of the isospin singlet and triplet parts that are related by the condition of obtaining a quasi-bound three-body state is also considered. Our results are in reasonable agreement with the experimental mass of the $K(1460)$ resonance.


title: Kinetics of lithium electrodeposition and stripping

abstract: Electrodeposition and stripping are fundamental electrochemical processes for metals and have gained importance in rechargeable Li-ion batteries due to lithium metal electrodes. The electrode kinetics associated with lithium metal electrodeposition and stripping is crucial in determining performance at fast discharge and charge which is important for electric vertical take-off and landing (eVTOL) aircraft and electric vehicles (EV). In this work, we show the use of Marcus-Hush-Chidsey (MHC) kinetics to accurately predict the Tafel curve data from the work of Boyle et al. We discuss the differences in predictions of reorganization energies from the Marcus-Hush and the MHC models for lithium metal electrodes in four solvents. The MHC kinetic model is implemented and open-sourced within Cantera. Using the reaction kinetic model in a pseudo-2D battery model with a lithium anode paired with a LiFePO$_4$ cathode, we show the importance of accounting for the MHC kinetics and compare it to the use of Butler-Volmer (BV) and Marcus-Hush kinetic models. We find that significant deviation in the overpotentials associated with reaction kinetics for the two different rate laws for conditions of fast discharge and charge relevant for eVTOL and EV respectively.


title: Multi-officer Routing for Patrolling High Risk Areas Jointly Learned from Check-ins, Crime and Incident Response Data

abstract: A well-crafted police patrol route design is vital in providing community safety and security in the society. Previous works have largely focused on predicting crime events with historical crime data. The usage of large-scale mobility data collected from Location-Based Social Network, or check-ins, and Point of Interests (POI) data for designing an effective police patrol is largely understudied. Given that there are multiple police officers being on duty in a real-life situation, this makes the problem more complex to solve. In this paper, we formulate the dynamic crime patrol planning problem for multiple police officers using check-ins, crime, incident response data, and POI information. We propose a joint learning and non-random optimisation method for the representation of possible solutions where multiple police officers patrol the high crime risk areas simultaneously first rather than the low crime risk areas. Later, meta-heuristic Genetic Algorithm (GA) and Cuckoo Search (CS) are implemented to find the optimal routes. The performance of the proposed solution is verified and compared with several state-of-art methods using real-world datasets.


title: Existence and multiplicity results for Kirchhoff type problems on a double phase setting

abstract: In this paper, we study two classes of Kirchhoff type problems set on a double phase framework. That is, the functional space where finding solutions coincides with the Musielak-Orlicz-Sobolev space $W^{1,\mathcal H}_0(\Omega)$, with modular function $\mathcal H$ related to the so called double phase operator. Via a variational approach, we provide existence and multiplicity results.


title: DeepCOVIDNet: An Interpretable Deep Learning Model for Predictive Surveillance of COVID-19 Using Heterogeneous Features and their Interactions

abstract: In this paper, we propose a deep learning model to forecast the range of increase in COVID-19 infected cases in future days and we present a novel method to compute equidimensional representations of multivariate time series and multivariate spatial time series data. Using this novel method, the proposed model can both take in a large number of heterogeneous features, such as census data, intra-county mobility, inter-county mobility, social distancing data, past growth of infection, among others, and learn complex interactions between these features. Using data collected from various sources, we estimate the range of increase in infected cases seven days into the future for all U.S. counties. In addition, we use the model to identify the most influential features for prediction of the growth of infection. We also analyze pairs of features and estimate the amount of observed second-order interaction between them. Experiments show that the proposed model obtains satisfactory predictive performance and fairly interpretable feature analysis results; hence, the proposed model could complement the standard epidemiological models for national-level surveillance of pandemics, such as COVID-19. The results and findings obtained from the deep learning model could potentially inform policymakers and researchers in devising effective mitigation and response strategies. To fast-track further development and experimentation, the code used to implement the proposed model has been made fully open source.


title: Baryonic Sources of Thermal Photons

abstract: Thermal radiation of photons and dileptons from hadronic matter plays an essential role in understanding electromagnetic emission spectra in high-energy heavy-ion collisions. In particular, baryons and anti-baryons have been found to be strong catalysts for electromagnetic radiation, even at collider energies where the baryon chemical potential is small. Here, we conduct a systematic analysis of $\pi$- and $\omega$-meson-induced reactions off a large set of baryon states. The interactions are based on effective hadronic Lagrangians where the parameters are quantitatively constrained by empirical information from vacuum decay branchings and scattering data, and gauge invariance is maintained by suitable regularization procedures. The thermal emission rates are computed using kinetic theory but can be directly compared to previous calculations using hadronic many-body theory. The comparison to existing calculations in the literature reveals our newly identified contributions to be rather significant.


title: A double phase problem involving Hardy potentials

abstract: In this paper, we deal with the following double phase problem $$ \left\{\begin{array}{ll} -\mbox{div}\left(|\nabla u|^{p-2}\nabla u+a(x)|\nabla u|^{q-2}\nabla u\right)= \gamma\left(\displaystyle\frac{|u|^{p-2}u}{|x|^p}+a(x)\displaystyle\frac{|u|^{q-2}u}{|x|^q}\right)+f(x,u) & \mbox{in } \Omega,\\ u=0 & \mbox{in } \partial\Omega, \end{array} \right. $$ where $\Omega\subset\mathbb R^N$ is an open, bounded set with Lipschitz boundary, $0\in\Omega$, $N\geq2$, $1<p<q<N$, weight $a(\cdot)\geq0$, $\gamma$ is a real parameter and $f$ is a subcritical function. By variational method, we provide the existence of a non-trivial weak solution on the Musielak-Orlicz-Sobolev space $W^{1,\mathcal H}_0(\Omega)$, with modular function $\mathcal H(t,x)=t^p+a(x)t^q$. For this, we first introduce the Hardy inequalities for space $W^{1,\mathcal H}_0(\Omega)$, under suitable assumptions on $a(\cdot)$.


title: Phases of two-dimensional spinless lattice fermions with first-quantized deep neural-network quantum states

abstract: First-quantized deep neural network techniques are developed for analyzing strongly coupled fermionic systems on the lattice. Using a Slater-Jastrow inspired ansatz which exploits deep residual networks with convolutional residual blocks, we approximately determine the ground state of spinless fermions on a square lattice with nearest-neighbor interactions. The flexibility of the neural-network ansatz results in a high level of accuracy when compared to exact diagonalization results on small systems, both for energy and correlation functions. On large systems, we obtain accurate estimates of the boundaries between metallic and charge ordered phases as a function of the interaction strength and the particle density.


title: CorrSigNet: Learning CORRelated Prostate Cancer SIGnatures from Radiology and Pathology Images for Improved Computer Aided Diagnosis

abstract: Magnetic Resonance Imaging (MRI) is widely used for screening and staging prostate cancer. However, many prostate cancers have subtle features which are not easily identifiable on MRI, resulting in missed diagnoses and alarming variability in radiologist interpretation. Machine learning models have been developed in an effort to improve cancer identification, but current models localize cancer using MRI-derived features, while failing to consider the disease pathology characteristics observed on resected tissue. In this paper, we propose CorrSigNet, an automated two-step model that localizes prostate cancer on MRI by capturing the pathology features of cancer. First, the model learns MRI signatures of cancer that are correlated with corresponding histopathology features using Common Representation Learning. Second, the model uses the learned correlated MRI features to train a Convolutional Neural Network to localize prostate cancer. The histopathology images are used only in the first step to learn the correlated features. Once learned, these correlated features can be extracted from MRI of new patients (without histopathology or surgery) to localize cancer. We trained and validated our framework on a unique dataset of 75 patients with 806 slices who underwent MRI followed by prostatectomy surgery. We tested our method on an independent test set of 20 prostatectomy patients (139 slices, 24 cancerous lesions, 1.12M pixels) and achieved a per-pixel sensitivity of 0.81, specificity of 0.71, AUC of 0.86 and a per-lesion AUC of $0.96 \pm 0.07$, outperforming the current state-of-the-art accuracy in predicting prostate cancer using MRI.


title: The Tactician (extended version): A Seamless, Interactive Tactic Learner and Prover for Coq

abstract: We present Tactician, a tactic learner and prover for the Coq Proof Assistant. Tactician helps users make tactical proof decisions while they retain control over the general proof strategy. To this end, Tactician learns from previously written tactic scripts and gives users either suggestions about the next tactic to be executed or altogether takes over the burden of proof synthesis. Tactician's goal is to provide users with a seamless, interactive, and intuitive experience together with robust and adaptive proof automation. In this paper, we give an overview of Tactician from the user's point of view, regarding both day-to-day usage and issues of package dependency management while learning in the large. Finally, we give a peek into Tactician's implementation as a Coq plugin and machine learning platform.


title: Three-Dimensional Invisibility to Superscattering Induced by Zeeman-Split Modes

abstract: We report that the fundamental three-dimensional (3-D) scattering single-channel limit can be overcome in magneto-optical assisted systems by inducing nondegenerate magnetoplasmonic modes. In addition, we propose a 3-D active (magnetically assisted) forward-superscattering to invisibility switch, functioning at the same operational wavelength. Our structure is composed of a high-index dielectric core coated by indium antimonide (InSb), a semiconductor whose permittivity tensorial elements may be actively manipulated by an external magnetic bias $B_0$. In the absence of $B_0$, InSb exhibits isotropic epsilon-near-zero (ENZ) and plasmonic behavior above and below its plasma frequency, respectively, a frequency band which can be utilized for attaining invisibility using cloaks with permittivity less than that of free space. With realistic $B_0$ magnitudes as high as 0.17 T, the gyroelectric properties of InSb enable the lift of mode degeneracy, and the induction of a Zeeman-split type dipolar magnetoplasmonic mode that beats the fundamental single-channel limit. This all-in-one design allows for the implementation of functional and highly tunable optical devices.


title: Solution to the Fokker-Planck equation for slowly driven Brownian motion: Emergent geometry and a formula for the corresponding thermodynamic metric

abstract: Considerable progress has recently been made with geometrical approaches to understanding and controlling small out-of-equilibrium systems, but a mathematically rigorous foundation for these methods has been lacking. Towards this end, we develop a perturbative solution to the Fokker-Planck equation for one-dimensional driven Brownian motion in the overdamped limit enabled by the spectral properties of the corresponding single-particle Schr\"odinger operator. The perturbation theory is in powers of the inverse characteristic timescale of variation of the fastest varying control parameter, measured in units of the system timescale, which is set by the smallest eigenvalue of the corresponding Schr\"odinger operator. It applies to any Brownian system for which the Schr\"odinger operator has a confining potential. We use the theory to rigorously derive an exact formula for a Riemannian "thermodynamic" metric in the space of control parameters of the system. We show that up to second-order terms in the perturbation theory, optimal dissipation-minimizing driving protocols minimize the length defined by this metric. We also show that a previously proposed metric is calculable from our exact formula with corrections that are exponentially suppressed in a characteristic length scale. We illustrate our formula using the two-dimensional example of a harmonic oscillator with time-dependent spring constant in a time-dependent electric field. Lastly, we demonstrate that the Riemannian geometric structure of the optimal control problem is emergent; it derives from the form of the perturbative expansion for the probability density and persists to all orders of the expansion.


title: Noise-Response Analysis of Deep Neural Networks Quantifies Robustness and Fingerprints Structural Malware

abstract: The ubiquity of deep neural networks (DNNs), cloud-based training, and transfer learning is giving rise to a new cybersecurity frontier in which unsecure DNNs have `structural malware' (i.e., compromised weights and activation pathways). In particular, DNNs can be designed to have backdoors that allow an adversary to easily and reliably fool an image classifier by adding a pattern of pixels called a trigger. It is generally difficult to detect backdoors, and existing detection methods are computationally expensive and require extensive resources (e.g., access to the training data). Here, we propose a rapid feature-generation technique that quantifies the robustness of a DNN, `fingerprints' its nonlinearity, and allows us to detect backdoors (if present). Our approach involves studying how a DNN responds to noise-infused images with varying noise intensity, which we summarize with titration curves. We find that DNNs with backdoors are more sensitive to input noise and respond in a characteristic way that reveals the backdoor and where it leads (its `target'). Our empirical results demonstrate that we can accurately detect backdoors with high confidence orders-of-magnitude faster than existing approaches (seconds versus hours).


title: Multivariate General Compound Point Processes in Limit Order Books

abstract: In this paper, we focus on a new generalization of multivariate general compound Hawkes process (MGCHP), which we referred to as the multivariate general compound point process (MGCPP). Namely, we applied a multivariate point process to model the order flow instead of the Hawkes process. Law of large numbers (LLN) and two functional central limit theorems (FCLTs) for the MGCPP were proved in this work. Applications of the MGCPP in the limit order market were also considered. We provided numerical simulations and comparisons for the MGCPP and MGCHP by applying Google, Apple, Microsoft, Amazon, and Intel trading data.


title: Visualizing droplet dispersal for face shields and masks with exhalation valves

abstract: Several places across the world are experiencing a steep surge in COVID-19 infections. Face masks have become increasingly accepted as one of the most effective means for combating the spread of the disease, when used in combination with social-distancing and frequent hand-washing. However, there is an increasing trend of people substituting regular cloth or surgical masks with clear plastic face shields, and with masks equipped with exhalation valves. One of the factors driving this increased adoption is improved comfort compared to regular masks. However, there is a possibility that widespread public use of these alternatives to regular masks could have an adverse effect on mitigation efforts. To help increase public awareness regarding the effectiveness of these alternative options, we use qualitative visualizations to examine the performance of face shields and exhalation valves in impeding the spread of aerosol-sized droplets. The visualizations indicate that although face shields block the initial forward motion of the jet, the expelled droplets can move around the visor with relative ease and spread out over a large area depending on light ambient disturbances. Visualizations for a mask equipped with an exhalation port indicate that a large number of droplets pass through the exhale valve unfiltered, which significantly reduces its effectiveness as a means of source control. Our observations suggest that to minimize the community spread of COVID-19, it may be preferable to use high quality cloth or surgical masks that are of a plain design, instead of face shields and masks equipped with exhale valves.


title: SARS-CoV-2 and miRNA-like inhibition power

abstract: (1) Background: RNA viruses and especially coronaviruses could act inside host cells not only by building their own proteins, but also by perturbing the cell metabolism. We show the possibility of miRNA-like inhibitions by the SARS-CoV-2 concerning for example the hemoglobin and type I interferons syntheses, hence highly perturbing oxygen distribution in vital organs and immune response as described by clinicians; (2) Methods: We compare RNA subsequences of SARS-CoV-2 protein S and RNA-dependent RNA polymerase genes to mRNA sequences of beta-globin and type I interferons; (3) Results: RNA subsequences longer than eight nucleotides from SARS-CoV-2 genome could hybridize subsequences of the mRNA of beta-globin and of type I interferons; (4) Conclusions: Beyond viral protein production, Covid-19 might affect vital processes like host oxygen transport and immune response.


title: Dependence-robust confidence intervals for capture-recapture surveys

abstract: Capture-recapture (CRC) surveys are used to estimate the size of a population whose members cannot be enumerated directly. CRC surveys have been used to estimate the number of Covid-19 infections, people who use drugs, sex workers, conflict casualties, and trafficking victims. When $k$ capture samples are obtained, counts of unit captures in subsets of samples are represented naturally by a $2^k$ contingency table in which one element -- the number of individuals appearing in none of the samples -- remains unobserved. In the absence of additional assumptions, the population size is not identifiable (i.e. point-identified). Stringent assumptions about the dependence between samples are often used to achieve point-identification. However, real-world CRC surveys often use convenience samples in which the assumed dependence cannot be guaranteed, and population size estimates under these assumptions may lack empirical credibility. In this work, we apply the theory of partial identification to show that weak assumptions or qualitative knowledge about the nature of dependence between samples can be used to characterize a non-trivial confidence set for the true population size. We construct confidence sets under bounds on pairwise capture probabilities using two methods: test inversion bootstrap confidence intervals, and profile likelihood confidence intervals. Simulation results demonstrate well-calibrated confidence sets for each method. In an extensive real-world study, we apply the new methodology to the problem of using heterogeneous survey data to estimate the number of people who inject drugs in Brussels, Belgium.


title: White-Box Evaluation of Fingerprint Recognition Systems

abstract: Typical evaluations of fingerprint recognition systems consist of end-to-end black-box evaluations, which assess performance in terms of overall identification or authentication accuracy. However, these black-box tests of system performance do not reveal insights into the performance of the individual modules, including image acquisition, feature extraction, and matching. On the other hand, white-box evaluations, the topic of this paper, measure the individual performance of each constituent module in isolation. While a few studies have conducted white-box evaluations of the fingerprint reader, feature extractor, and matching components, no existing study has provided a full system, white-box analysis of the uncertainty introduced at each stage of a fingerprint recognition system. In this work, we extend previous white-box evaluations of fingerprint recognition system components and provide a unified, in-depth analysis of fingerprint recognition system performance based on the aggregated white-box evaluation results. In particular, we analyze the uncertainty introduced at each stage of the fingerprint recognition system due to adverse capture conditions (i.e., varying illumination, moisture, and pressure) at the time of acquisition. Our experiments show that a system that performs better overall, in terms of black-box recognition performance, does not necessarily perform best at each module in the fingerprint recognition system pipeline, which can only be seen with white-box analysis of each sub-module. Findings such as these enable researchers to better focus their efforts in improving fingerprint recognition systems.


title: GraphQL Live Querying with DynamoDB

abstract: We present a method of implementing GraphQL live queries at the database level. Our DynamoDB simulation in Go mimics a distributed key-value store and implements live queries to expose possible pitfalls. Two key components for implementing live queries are storing fields selected in a live query and determining which object fields have been updated in each database write. A stream(key, fields) request to the system contains fields to include in the live query stream and on subsequent put(key, object) operations, the database asynchronously determines which fields were updated and pushes a new query view to the stream if those fields overlap with the stream() request. Following a discussion of our implementation, we explore motivations for using live queries such as simplifying software communication, minimizing data transfer, and enabling real-time data and describe an architecture for building software with GraphQL and live queries.


title: A New Class of Multivariate Elliptically Contoured Distributions with Inconsistency Property

abstract: We introduce a new class of multivariate elliptically symmetric distributions including elliptically symmetric logistic distributions and Kotz type distributions. We investigate the various probabilistic properties including marginal distributions, conditional distributions, linear transformations, characteristic functions and dependence measure in the perspective of the inconsistency property. In addition, we provide a real data example to show that the new distributions have reasonable flexibility.


title: Gene family amplification facilitates adaptation in freshwater Unionid bivalve Megalonaias nervosa

abstract: As organisms are faced with intense rapidly changing selective pressures, new genetic material is required to facilitate adaptation. Among sources of genetic novelty, gene duplications and transposable elements (TEs) offer new genes or new regulatory patterns that can facilitate evolutionary change. With advances in genome sequencing it is possible to gain a broader view of how gene family proliferation and TE content evolve in non-model species when populations become threatened. Freshwater bivalves (Unionidae) currently face severe anthropogenic challenges. Over 70% of species in the United States are threatened, endangered or extinct due to pollution, damming of waterways, and overfishing. We have created a reference genome for M. nervosa to determine how genome content has evolved in the face of these widespread environmental challenges. We observe a burst of recent transposable element proliferation causing a 382 Mb expansion in genome content. Gene family expansion is common, with a duplication rate of 1.16 x 10^-8 per gene per generation. Cytochrome P450, ABC transporters, Hsp70 genes, von Willebrand proteins, chitin metabolism genes, mitochondria eating proteins, and opsin gene families have experienced significantly greater amplification and show signatures of selection. We use evolutionary theory to assess the relative contribution of SNPs and duplications in evolutionary change. Estimates suggest that gene family evolution may offer an exceptional substrate of genetic variation in M. nervosa, with Psgv=0.185 compared with Psgv=0.067 for single nucleotide changes. Hence, we suggest that gene family evolution is a source of "hopeful monsters" within the genome that facilitate adaptation.


title: Neural text-to-speech with a modeling-by-generation excitation vocoder

abstract: This paper proposes a modeling-by-generation (MbG) excitation vocoder for a neural text-to-speech (TTS) system. Recently proposed neural excitation vocoders can realize qualified waveform generation by combining a vocal tract filter with a WaveNet-based glottal excitation generator. However, when these vocoders are used in a TTS system, the quality of synthesized speech is often degraded owing to a mismatch between training and synthesis steps. Specifically, the vocoder is separately trained from an acoustic model front-end. Therefore, estimation errors of the acoustic model are inevitably boosted throughout the synthesis process of the vocoder back-end. To address this problem, we propose to incorporate an MbG structure into the vocoder's training process. In the proposed method, the excitation signal is extracted by the acoustic model's generated spectral parameters, and the neural vocoder is then optimized not only to learn the target excitation's distribution but also to compensate for the estimation errors occurring from the acoustic model. Furthermore, as the generated spectral parameters are shared in the training and synthesis steps, their mismatch conditions can be reduced effectively. The experimental results verify that the proposed system provides high-quality synthetic speech by achieving a mean opinion score of 4.57 within the TTS framework.


title: Super-Catalan Numbers of the Third and Fourth Kind

abstract: The Super-Catalan numbers are a generalization of the Catalan numbers defined as $T(m,n) = \frac{(2m)!(2n)!}{2m!n!(m+n)!}$. It is an open problem to find a combinatorial interpretation for $T(m,n)$. We resolve this for $m=3,4$ using a common form; no such solution exists for $m=5$.


title: Topological charge pumping in excitonic insulators

abstract: We show that in excitonic insulators with $s$-wave electron-hole pairing, an applied electric field (either pulsed or static) can induce a $p$-wave component to the order parameter, and further drive it to rotate in the $s+ip$ plane, realizing a Thouless charge pump. In one dimension, each cycle of rotation pumps exactly two electrons across the sample. Higher dimensional systems can be viewed as a stack of one dimensional chains in momentum space in which each chain crossing the fermi surface contributes a channel of charge pumping. Physics beyond the adiabatic limit, including in particular dissipative effects is discussed.


title: Dissipating with Relations: Implication for the Entity-Relationship Model

abstract: Difficulties arise when conceptual modeling lacks ontological clarity and rigorous definitions, which is especially the case in the relationship construct. Evidence shows that use of relationships is often problematic when it comes to communicating the form of meaning of an application domain. Research on this topic is important because relationships are central to a number of approaches and commonly used by practitioners. In this paper, we study the notion of relation or relationship in the context of conceptual modeling. Specifically, we focus on the notion of relationship used in the entity-relationship (ER) model. The ER model is scrutinized through a new form of conceptual modeling called the thinging machine (TM) to pursue further understanding of the semantics of the relationship concept. The ER model is composed of three fundamental categories (i.e., entity, relationship and attribute), whereas TM is built from one ontological category called the thing/machine (thimac). Several ER diagrams are re-casted as TM diagrams, creating a categorical collision with interesting implications regarding the status of the conception of relationship in a conceptual model. The re-modeling shows that the relational construct is dissipated into TM flows of things and chronology of events.


title: BatNet: Data transmission between smartphones over ultrasound

abstract: In this paper, we present BatNet, a data transmission mechanism using ultrasound signals over the built-in speakers and microphones of smartphones. Using phase shift keying with an 8-point constellation and frequencies between 20--24kHz, it can transmit data at over 600bit/s up to 6m. The target application is a censorship-resistant mesh network. We also evaluated it for Covid contact tracing but concluded that in this application ultrasonic communications do not appear to offer enough advantage over Bluetooth Low Energy to be worth further development.


title: MementoEmbed and Raintale for Web Archive Storytelling

abstract: For traditional library collections, archivists can select a representative sample from a collection and display it in a featured physical or digital library space. Web archive collections may consist of thousands of archived pages, or mementos. How should an archivist display this sample to drive visitors to their collection? Search engines and social media platforms often represent web pages as cards consisting of text snippets, titles, and images. Web storytelling is a popular method for grouping these cards in order to summarize a topic. Unfortunately, social media platforms are not archive-aware and fail to consistently create a good experience for mementos. They also allow no UI alterations for their cards. Thus, we created MementoEmbed to generate cards for individual mementos and Raintale for creating entire stories that archivists can export to a variety of formats.


title: Vulnerability Under Adversarial Machine Learning: Bias or Variance?

abstract: Prior studies have unveiled the vulnerability of the deep neural networks in the context of adversarial machine learning, leading to great recent attention into this area. One interesting question that has yet to be fully explored is the bias-variance relationship of adversarial machine learning, which can potentially provide deeper insights into this behaviour. The notion of bias and variance is one of the main approaches to analyze and evaluate the generalization and reliability of a machine learning model. Although it has been extensively used in other machine learning models, it is not well explored in the field of deep learning and it is even less explored in the area of adversarial machine learning. In this study, we investigate the effect of adversarial machine learning on the bias and variance of a trained deep neural network and analyze how adversarial perturbations can affect the generalization of a network. We derive the bias-variance trade-off for both classification and regression applications based on two main loss functions: (i) mean squared error (MSE), and (ii) cross-entropy. Furthermore, we perform quantitative analysis with both simulated and real data to empirically evaluate consistency with the derived bias-variance tradeoffs. Our analysis sheds light on why the deep neural networks have poor performance under adversarial perturbation from a bias-variance point of view and how this type of perturbation would change the performance of a network. Moreover, given these new theoretical findings, we introduce a new adversarial machine learning algorithm with lower computational complexity than well-known adversarial machine learning strategies (e.g., PGD) while providing a high success rate in fooling deep neural networks in lower perturbation magnitudes.


title: SHARI -- An Integration of Tools to Visualize the Story of the Day

abstract: Tools such as Google News and Flipboard exist to convey daily news, but what about the past? In this paper, we describe how to combine several existing tools with web archive holdings to perform news analysis and visualization of the "biggest story" for a given date. StoryGraph clusters news articles together to identify a common news story. Hypercane leverages ArchiveNow to store URLs produced by StoryGraph in web archives. Hypercane analyzes these URLs to identify the most common terms, entities, and highest quality images for social media storytelling. Raintale then uses the output of these tools to produce a visualization of the news story for a given day. We name this process SHARI (StoryGraph Hypercane ArchiveNow Raintale Integration).


title: Experiments in Extractive Summarization: Integer Linear Programming, Term/Sentence Scoring, and Title-driven Models

abstract: In this paper, we revisit the challenging problem of unsupervised single-document summarization and study the following aspects: Integer linear programming (ILP) based algorithms, Parameterized normalization of term and sentence scores, and Title-driven approaches for summarization. We describe a new framework, NewsSumm, that includes many existing and new approaches for summarization including ILP and title-driven approaches. NewsSumm's flexibility allows to combine different algorithms and sentence scoring schemes seamlessly. Our results combining sentence scoring with ILP and normalization are in contrast to previous work on this topic, showing the importance of a broader search for optimal parameters. We also show that the new title-driven reduction idea leads to improvement in performance for both unsupervised and supervised approaches considered.


title: Actor-Action Video Classification CSC 249/449 Spring 2020 Challenge Report

abstract: This technical report summarizes submissions and compiles from Actor-Action video classification challenge held as a final project in CSC 249/449 Machine Vision course (Spring 2020) at University of Rochester


title: Bayesian-Assisted Inference from Visualized Data

abstract: A Bayesian view of data interpretation suggests that a visualization user should update their existing beliefs about a parameter's value in accordance with the amount of information about the parameter value captured by the new observations. Extending recent work applying Bayesian models to understand and evaluate belief updating from visualizations, we show how the predictions of Bayesian inference can be used to guide more rational belief updating. We design a Bayesian inference-assisted uncertainty analogy that numerically relates uncertainty in observed data to the user's subjective uncertainty, and a posterior visualization that prescribes how a user should update their beliefs given their prior beliefs and the observed data. In a pre-registered experiment on 4,800 people, we find that when a newly observed data sample is relatively small (N=158), both techniques reliably improve people's Bayesian updating on average compared to the current best practice of visualizing uncertainty in the observed data. For large data samples (N=5208), where people's updated beliefs tend to deviate more strongly from the prescriptions of a Bayesian model, we find evidence that the effectiveness of the two forms of Bayesian assistance may depend on people's proclivity toward trusting the source of the data. We discuss how our results provide insight into individual processes of belief updating and subjective uncertainty, and how understanding these aspects of interpretation paves the way for more sophisticated interactive visualizations for analysis and communication.


title: Efficient Independent Vector Extraction of Dominant Target Speech

abstract: The complete decomposition performed by blind source separation is computationally demanding and superfluous when only the speech of one specific target speaker is desired. In this paper, we propose a computationally efficient blind speech extraction method based on a proper modification of the commonly utilized independent vector analysis algorithm, under the mild assumption that the average power of signal of interest outweighs interfering speech sources. Considering that the minimum distortion principle cannot be implemented since the full demixing matrix is not available, we also design a one-unit scaling operation to solve the scaling ambiguity. Simulations validate the efficacy of the proposed method in extracting the dominant speech.


title: Solving Elliptic Equations with Brownian Motion: Bias Reduction and Temporal Difference Learning

abstract: The Feynman-Kac formula provides a way to understand solutions to elliptic partial differential equations in terms of expectations of continuous time Markov processes. This connection allows for the creation of numerical schemes for solutions based on samples of these Markov processes which have advantages over traditional numerical methods in some cases. However, na\"ive numerical implementations suffer from statistical bias and sampling error. We present methods to discretize the stochastic process appearing in the Feynman-Kac formula that reduce the bias of the numerical scheme. We also propose using temporal difference learning to assemble information from random samples in a way that is more efficient than the traditional Monte Carlo method.


title: Muon Spin Relaxation and fluctuating magnetism in the pseudogap phase of YBa$_{2}$Cu$_{3}$O$_{y}$

abstract: We report results of a muon spin relaxation study of slow magnetic fluctuations in the pseudogap phase of underdoped single-crystalline YBa$_{2}$Cu$_{3}$O$_{y}$, $y = 6.77$ and 6.83. The dependence of the dynamic muon spin relaxation rate on applied magnetic field yields the rms magnitude~$B\mathrm{_{loc}^{rms}}$ and correlation time~$\tau_c$ of fluctuating local fields at muon sites. The observed relaxation rates do not decrease with decreasing temperature~$T$ below the pseudogap onset at $T^\ast$, as would be expected for a conventional magnetic transition; both $B\mathrm{_{loc}^{rms}}$ and $\tau_c$ are roughly constant in the pseudogap phase down to the superconducting transition. Corresponding NMR relaxation rates are estimated to be too small to be observable. Our results put strong constraints on theories of the anomalous pseudogap magnetism in YBa$_{2}$Cu$_{3}$O$_{y}$.


title: CROSSLINE: Breaking "Security-by-Crash" based Memory Isolation in AMD SEV

abstract: AMD's Secure Encrypted Virtualization (SEV) is an emerging security feature on AMD processors that allows virtual machines to run on encrypted memory and perform confidential computing even with an untrusted hypervisor. This paper first demystifies SEV's improper use of address space identifier (ASID) for controlling accesses of a VM to encrypted memory pages, cache lines, and TLB entries. We then present the CROSSLINE attacks, a novel class of attacks against SEV that allow the adversary to launch an attacker VM and change its ASID to that of the victim VM to impersonate the victim. We present two variants of CROSSLINE attacks: CROSSLINE V1 decrypts victim's page tables or memory blocks following the format of a page table entry; CROSSLINE V2 constructs encryption and decryption oracles by executing instructions of the victim VM. We have successfully performed CROSSLINE attacks on SEV and SEV-ES processors.