title: An Early Benchmark of Quality of Experience Between HTTP/2 and HTTP/3 using Lighthouse

abstract: Google's QUIC (GQUIC) is an emerging transport protocol designed to reduce HTTP latency. Deployed across its platforms and positioned as an alternative to TCP+TLS, GQUIC is feature rich: offering reliable data transmission and secure communication. It addresses TCP+TLS's (i) Head of Line Blocking (HoLB), (ii) excessive round-trip times on connection establishment, and (iii) entrenchment. Efforts by the IETF are in progress to standardize the next generation of HTTP's (HTTP/3, or H3) delivery, with their own variant of QUIC. While performance benchmarks have been conducted between GQUIC and HTTP/2-over-TCP (H2), no such analysis to our knowledge has taken place between H2 and H3. In addition, past studies rely on Page Load Time as their main, if not only, metric. The purpose of this work is to benchmark the latest draft specification of H3 and dig further into a user's Quality of Experience (QoE) using Lighthouse: an open source (and metric diverse) auditing tool. Our findings show that, for one of H3's early implementations, H3 is mostly worse but achieves a higher average throughput


title: Set-Theoretical Problems in Asymptology

abstract: In this paper we collect some open set-theoretic problems that appear in the large-scale topology (called also Asymptology). In particular we ask problems about critical cardinalities of some special (large, indiscrete, inseparated) coarse structures on $\omega$, about the interplay between properties of a coarse space and its Higson corona, about some special ultrafilters ($T$-points and cellular $T$-points) related to finitary coarse structures on $\omega$, about partitions of coarse spaces into thin pieces, and also about coarse groups having some extremal properties.


title: Hooks in the Headline: Learning to Generate Headlines with Controlled Styles

abstract: Current summarization systems only produce plain, factual headlines, but do not meet the practical needs of creating memorable titles to increase exposure. We propose a new task, Stylistic Headline Generation (SHG), to enrich the headlines with three style options (humor, romance and clickbait), in order to attract more readers. With no style-specific article-headline pair (only a standard headline summarization dataset and mono-style corpora), our method TitleStylist generates style-specific headlines by combining the summarization and reconstruction tasks into a multitasking framework. We also introduced a novel parameter sharing scheme to further disentangle the style from the text. Through both automatic and human evaluation, we demonstrate that TitleStylist can generate relevant, fluent headlines with three target styles: humor, romance, and clickbait. The attraction score of our model generated headlines surpasses that of the state-of-the-art summarization model by 9.68%, and even outperforms human-written references.


title: Open Domain Dialogue Generation with Latent Images

abstract: We consider grounding open domain dialogues with images. Existing work assumes that both an image and a textual context are available, but image-grounded dialogues by nature are more difficult to obtain than textual dialogues. Thus, we propose learning a response generation model with both image-grounded dialogues and textual dialogues by assuming that the visual scene information at the time of a conversation can be represented by an image, and trying to recover the latent images of the textual dialogues through text-to-image generation techniques. The likelihood of the two types of dialogues is then formulated by a response generator and an image reconstructor that are learned within a conditional variational auto-encoding framework. Empirical studies are conducted in both image-grounded conversation and text-based conversation. In the first scenario, image-grounded dialogues, especially under a low-resource setting, can be effectively augmented by textual dialogues with latent images; while in the second scenario, latent images can enrich the content of responses and at the same time keep them relevant to contexts.


title: Thermal formation of ammonium carbamate on the surface of laboratory analogues of carbonaceous grains in protostellar envelopes and planet-forming disks

abstract: The catalytic role of dust grain surfaces in the thermal reaction CO2 + 2NH3 $\rightarrow$ NH4+NH2COO was recently demonstrated by our group. The rate coefficients for the reaction at 80 K on the surface of nanometre-sized carbon and silicate grains were measured to be up to three times higher compared to the reaction rate coefficients measured on KBr. In this study, the reaction was performed on carbon grains and on KBr in the extended temperature range of 50 - 80 K and with the addition of water ice. The reaction activation energy was found to be about 3 times lower on grains compared to the corresponding ice layer on KBr. Thus, the catalytic role of the dust grain surface in the studied reaction can be related to a reduction of the reaction barrier. Addition of water to NH3:CO2 ice on grains slowed the reaction down. At the H2O:CO2 ratio of 5:1, the reaction was not detected on the experimental timescale. This result calls into question the thermal formation of ammonium carbamate in dense molecular clouds and outer regions of protostellar and protoplanetary environments with dominating water ice mantle chemistry. However, it can still happen in inner regions of protostellar and protoplanetary environments in crystalline ices.


title: Nonlinear three-dimensional derivation of line tension for dislocations: quadratic growth

abstract: In this paper we derive a line tension model for dislocations in 3d starting from a geometrically nonlinear elastic energy with quadratic growth. In the asymptotic analysis, as the amplitude of the Burgers vectors (proportional to the lattice spacing) tends to zero, we show that the elastic energy linearises and the line tension energy density, up to an overall constant rotation, is identified by the linearised cell problem formula given in [17].


title: What is BitChute? Characterizing the "Free Speech" Alternative to YouTube

abstract: In this paper, we characterize the content and discourse on BitChute, a social video-hosting platform. Launched in 2017 as an alternative to YouTube, BitChute joins an ecosystem of alternative, low content moderation platforms, including Gab, Voat, Minds, and 4chan. Uniquely, BitChute is the first of these alternative platforms to focus on video content and is growing in popularity. Our analysis reveals several key characteristics of the platform. We find that only a handful of channels receive any engagement, and almost all of those channels contain conspiracies or hate speech. This high rate of hate speech on the platform as a whole, much of which is anti-Semitic, is particularly concerning. Our results suggest that BitChute has a higher rate of hate speech than Gab but less than 4chan. Lastly, we find that while some BitChute content producers have been banned from other platforms, many maintain profiles on mainstream social media platforms, particularly YouTube. This paper contributes a first look at the content and discourse on BitChute and provides a building block for future research on low content moderation platforms.


title: Model-Predictive Control for Discrete-Time Queueing Networks with Varying Topology

abstract: In this paper, we equip the conventional discrete-time queueing network with a Markovian input process, that, in addition to the usual short-term stochastics, governs the mid- to long-term behavior of the links between the network nodes. This is reminiscent of so-called Jump-Markov systems in control theory and allows the network topology to change over time. We argue that the common back-pressure control policy is inadequate to control such network dynamics and propose a novel control policy inspired by the paradigms of model-predictive control. Specifically, by defining a suitable but arbitrary prediction horizon, our policy takes into account the future network states and possible control actions. This stands in clear contrast to most other policies which are myopic, i.e. only consider the next state. We show numerically that such an approach can significantly improve the control performance and introduce several variants, thereby trading off performance versus computational complexity. In addition, we prove so-called throughput optimality of our policy which guarantees stability for all network flows that can be maintained by the network. Interestingly, in contrast to general stability proofs in model-predictive control, our proof does not require the assumption of a terminal set (i.e. for the prediction horizon to be large enough). Finally, we provide several illustrating examples, one of which being a network of synchronized queues. This one in particular constitutes an interesting system class, in which our policy exerts superiority over general back-pressure policies, that even lose their throughput optimality in those networks.


title: Entropy and canonical ensemble of hybrid quantum classical systems

abstract: In this work we generalize and combine Gibbs and von Neumann approaches to build, for the first time, a rigorous definition of entropy for hybrid quantum-classical systems. The resulting function coincides with the two cases above when the suitable limits are considered. Then, we apply the MaxEnt principle for this hybrid entropy function and obtain the natural candidate for the Hybrid Canonical Ensemble (HCE). We prove that the suitable classical and quantum limits of the HCE coincide with the usual classical and quantum canonical ensembles since the whole scheme admits both limits, thus showing that the MaxEnt principle is applicable and consistent for hybrid systems.


title: Software Radios for Unmanned Aerial Systems

abstract: As new use cases are emerging for unmanned aerial systems (UAS), advanced wireless communications technologies and systems need to be implemented and widely tested. This requires a flexible platform for development, deployment, testing and demonstration of wireless systems with ground and aerial nodes, enabling effective 3D mobile communications and networking. In this paper, we provide a comparative overview of software-defined radios (SDRs), with a specific focus on SDR hardware and software that can be used for aerial wireless experimentation and research. We discuss SDR hardware requirements, features of available SDR hardware that can be suitable for small UAS, and power measurements carried out with a subset of these SDR hardware. We also present SDR software requirements, available open-source SDR software, and calibration/benchmarking of SDR software. As a case study, we present AERPAW: Aerial Experimentation and Research Platform for Advanced Wireless, and discuss various different experiments that can be supported in that platform using SDRs, for verification/testing of future wireless innovations, protocols, and technologies.


title: BLR size in Realistic FRADO Model: The role of shielding effect

abstract: The effective size of Broad Line Region (BLR), so-called the BLR radius, in galaxies with active galactic nuclei (AGN) scales with the source luminosity. Therefore by determining this location either observationally through reverberation mapping or theoretically, one can use AGNs as an interesting laboratory to test cosmological models. In this article we focus on the theoretical side of BLR based on the Failed Radiatively Accelerated Dusty Outflow (FRADO) model. By simulating the dynamics of matter in BLR through a realistic model of radiation of accretion disk (AD) including the shielding effect, as well as incorporating the proper values of dust opacities, we investigate how the radial extension and geometrical height of the BLR depends on the Eddington ratio [and blackhole mass], and modeling of shielding effect. We show that assuming a range of Eddington ratios and shielding we are able to explain the measured time-delays in a sample of reverberation-measured AGNs.


title: Contact geometry for simple thermodynamical systems with friction

abstract: Using contact geometry we give a new characterization of a simple but important class of thermodynamical systems which naturally satisfy the first law of thermodynamics (total energy preservation) and the second law (increase of entropy). We completely clarify its qualitative dynamics, the underlying geometrical structures and we show how to use discrete gradient methods.


title: Efficient Light Funneling based on the non-Hermitian Skin Effect

abstract: In the last two decades, the ubiquitous effect of dissipation has proven to entail astonishing non-Hermitian features, rather than just being an inescapable nuisance. As an alternative route to non-Hermiticity, we tailor the anisotropy of a lattice, which constitutes an, up to now, barely exploited degree of freedom. In this case, the appearance of an interface dramatically alters the entire eigenmode spectrum, leading to the exponential localization of all modes at the interface, which goes beyond the expectations for Hermitian systems. This effect is dubbed "non-Hermitian skin effect". We experimentally demonstrate it by studying the propagation of light in a large scale photonic mesh lattice. For arbitrary excitations, we find that light is always transported to the interface, realizing a highly efficient funnel for light.


title: Generic probabilistic modelling and non-homogeneity issues for the UK epidemic of COVID-19

abstract: Coronavirus COVID-19 spreads through the population mostly based on social contact. To gauge the potential for widespread contagion, to cope with associated uncertainty and to inform its mitigation, more accurate and robust modelling is centrally important for policy making. We provide a flexible modelling approach that increases the accuracy with which insights can be made. We use this to analyse different scenarios relevant to the COVID-19 situation in the UK. We present a stochastic model that captures the inherently probabilistic nature of contagion between population members. The computational nature of our model means that spatial constraints (e.g., communities and regions), the susceptibility of different age groups and other factors such as medical pre-histories can be incorporated with ease. We analyse different possible scenarios of the COVID-19 situation in the UK. Our model is robust to small changes in the parameters and is flexible in being able to deal with different scenarios. This approach goes beyond the convention of representing the spread of an epidemic through a fixed cycle of susceptibility, infection and recovery (SIR). It is important to emphasise that standard SIR-type models, unlike our model, are not flexible enough and are also not stochastic and hence should be used with extreme caution. Our model allows both heterogeneity and inherent uncertainty to be incorporated. Due to the scarcity of verified data, we draw insights by calibrating our model using parameters from other relevant sources, including agreement on average (mean field) with parameters in SIR-based models.


title: A hidden variable model for universal quantum computation with magic states on qubits

abstract: We show that every quantum computation can be described by Bayesian update of a probability distribution on a finite state space. When applied to the model of quantum computation with magic states, the size of this state space only depends on the number of magic states used in the quantum computation, and not on the length of the gate and measurement sequence.


title: Strong quantum correlations of light emitted by a single atom in free space

abstract: We present a novel approach to engineer the photon correlations emerging from the interference between an input field and the field scattered by a single atom in free space. Nominally, the inefficient atom-light coupling causes the quantum correlations to be dominated by the input field alone. To overcome this issue, we propose the use of separate pump and probe beams, where the former increases the atomic emission to be comparable to the probe. Examining the second-order correlation function $g^{(2)}(\tau)$ of the total field in the probe direction, we find that the addition of the pump formally plays the same role as increasing the coupling efficiency. We show that one can tune the correlation function $g^{(2)}(0)$ from zero (perfect anti-bunching) to infinite (extreme bunching) by a proper choice of pump amplitude. We further elucidate the origin of these correlations in terms of the transient atomic state following the detection of a photon.


title: A Bird's-Eye View of Naming Game Dynamics: From Trait Competition to Bayesian Inference

abstract: The present contribution reviews a set of different versions of the basic naming game model, differing in the underlying topology or in the mechanisms regulating the interactions between agents. We include also a Bayesian naming game model recently introduced, which merges the social dynamics of the basic naming game model with the Bayesian learning framework introduced by Tenenbaum and co-workers. The latter model goes beyond the fixed nature of names and concepts of standard semiotic dynamics models and the corresponding one-shot learning process, by describing dynamically how agents can generalize a concept from a few examples, according to principles of Bayesian inference.


title: A Proof Of Cantor's Theorem

abstract: We present a short proof of Cantor's Theorem (circa 1870s): if $a_n \cos nx + b_n \sin nx \to 0$ for each $x$ in some (nonempty) open interval, where $a_n, b_n$ are sequences of complex numbers, then $a_n$ and $b_n$ converge to 0.


title: A phase separation of active colloidal suspension via Quorum-sensing

abstract: We present the Brownian dynamics simulation of active colloidal suspension in two dimensions, where the self-propulsion speed of a colloid is regulated according to the local density sensed by it. The role of concentration-dependent motility on the phase-separation of colloids and their dynamics is investigated in detail. Interestingly, the system phase separates at a very low packing fraction ($\Phi\approx 0.125$) at higher self-propulsion speeds ($\text{Pe}$), which coexists with a homogeneous phase and attains long-range crystalline order beyond a transition point. The transition point is quantified here from the local density profiles, local and global-bond order parameters. We have shown that the phase diagram's characteristics are qualitatively akin to the active Brownian particle (ABP) model. Moreover, our investigation reveals that the density-dependent motility amplifies the slow-down of the directed speed, which facilitates phase-separation even at low packing fractions. The effective diffusivity shows a crossover from quadratic rise to a power-law behavior of exponent $3/2$ with $\text{Pe}$ in the phase-separated regime. Furthermore, we have shown that the effective diffusion decreases exponentially with packing fraction in the phase-separated regime while linear decrease in the single phase regime.


title: Volumetric Attention for 3D Medical Image Segmentation and Detection

abstract: A volumetric attention(VA) module for 3D medical image segmentation and detection is proposed. VA attention is inspired by recent advances in video processing, enables 2.5D networks to leverage context information along the z direction, and allows the use of pretrained 2D detection models when training data is limited, as is often the case for medical applications. Its integration in the Mask R-CNN is shown to enable state-of-the-art performance on the Liver Tumor Segmentation (LiTS) Challenge, outperforming the previous challenge winner by 3.9 points and achieving top performance on the LiTS leader board at the time of paper submission. Detection experiments on the DeepLesion dataset also show that the addition of VA to existing object detectors enables a 69.1 sensitivity at 0.5 false positive per image, outperforming the best published results by 6.6 points.


title: Average Age of Information of Irregular Repetition Slotted ALOHA

abstract: Flanking traditional metrics such as throughput and reliability, age of information (AoI) is emerging as a fundamental tool to capture the performance of IoT systems. In this context, we focus on a setup in which a large number of nodes attempt delivery of time-stamped updates to a common destination over a shared channel, and investigate the ability of different grant-free access strategies to maintain fresh information at the receiver. Specifically, we derive for the first time an exact closed-form expression of the average AoI achieved by irregular repetition slotted ALOHA (IRSA), and compare its performance to that of a slotted ALOHA approach. Our analysis reveals the potential of modern random access schemes, and pinpoints some fundamental trade-offs, providing useful hints for proper system design.


title: Automated Determination of Hybrid Particle-Field Parameters by Machine Learning

abstract: The hybrid particle-field molecular dynamics method is an efficient alternative to standard particle-based coarse grained approaches. In this work, we propose an automated protocol for optimisation of the effective parameters that define interaction energy density functional, based on Bayesian optimization. The machine-learning protocol makes use of an arbitrary fitness function defined upon a set of observables of relevance, which are optimally matched by an iterative process. Employing phospholipid bilayers as test systems, we demonstrate that the parameters obtained through our protocol are able to reproduce reference data better than currently employed sets derived by Flory-Huggins models. The optimisation procedure is robust and yields physically sound values. Moreover, we show that the parameters are satisfactorily transferable among chemically analogous species. Our protocol is general, and does not require heuristic a posteriori rebalancing. Therefore it is particularly suited for optimisation of reliable hybrid particle-field potentials of complex chemical mixtures, and extends the applicability corresponding simulations to all those systems for which calibration of the density functionals may not be done via simple theoretical models.


title: Efficiently Finding Higher-Order Mutants

abstract: Higher-order mutation has the potential for improving major drawbacks of traditional first-order mutation, such as by simulating more realistic faults or improving test optimization techniques. Despite interest in studying promising higher-order mutants, such mutants are difficult to find due to the exponential search space of mutation combinations. State-of-the-art approaches rely on genetic search, which is often incomplete and expensive due to its stochastic nature. First, we propose a novel way of finding a complete set of higher-order mutants by using variational execution, a technique that can, in many cases, explore large search spaces completely and often efficiently. Second, we use the identified complete set of higher-order mutants to study their characteristics. Finally, we use the identified characteristics to design and evaluate a new search strategy, independent of variational execution, that is highly effective at finding higher-order mutants even in large code bases.


title: Graph Sequential Network for Reasoning over Sequences

abstract: Recently Graph Neural Network (GNN) has been applied successfully to various NLP tasks that require reasoning, such as multi-hop machine reading comprehension. In this paper, we consider a novel case where reasoning is needed over graphs built from sequences, i.e. graph nodes with sequence data. Existing GNN models fulfill this goal by first summarizing the node sequences into fixed-dimensional vectors, then applying GNN on these vectors. To avoid information loss inherent in the early summarization and make sequential labeling tasks on GNN output feasible, we propose a new type of GNN called Graph Sequential Network (GSN), which features a new message passing algorithm based on co-attention between a node and each of its neighbors. We validate the proposed GSN on two NLP tasks: interpretable multi-hop reading comprehension on HotpotQA and graph based fact verification on FEVER. Both tasks require reasoning over multiple documents or sentences. Our experimental results show that the proposed GSN attains better performance than the standard GNN based methods.


title: Talk to Papers: Bringing Neural Question Answering to Academic Search

abstract: We introduce Talk to Papers, which exploits the recent open-domain question answering (QA) techniques to improve the current experience of academic search. It's designed to enable researchers to use natural language queries to find precise answers and extract insights from a massive amount of academic papers. We present a large improvement over classic search engine baseline on several standard QA datasets and provide the community a collaborative data collection tool to curate the first natural language processing research QA dataset via a community effort.


title: Scalable In Situ Lagrangian Flow Map Extraction: Demonstrating the Viability of a Communication-Free Model

abstract: We introduce and evaluate a new algorithm for the in situ extraction of Lagrangian flow maps, which we call Boundary Termination Optimization (BTO). Our approach is a communication-free model, requiring no message passing or synchronization between processes, improving scalability, thereby reducing overall execution time and alleviating the encumbrance placed on simulation codes from in situ processing. We terminate particle integration at node boundaries and store only a subset of the flow map that would have been extracted by communicating particles across nodes, thus introducing an accuracy-performance tradeoff. We run experiments with as many as 2048 GPUs and with multiple simulation data sets. For the experiment configurations we consider, our findings demonstrate that our communication-free technique saves as much as 2x to 4x in execution time in situ, while staying nearly as accurate quantitatively and qualitatively as previous work. Most significantly, this study establishes the viability of approaching in situ Lagrangian flow map extraction using communication-free models in the future.


title: Functional limit theorems for the Multi-dimensional Elephant Random Walk

abstract: In this article we shall derive functional limit theorems for the multi-dimensional elephant random walk (MERW) and thus extend the results provided for the one-dimensional marginal by Bercu and Laulin (2019). The MERW is a non-Markovian discrete time-random walk on $\mathbb{Z}^d$ which has a complete memory of its whole past, in allusion to the traditional saying that an elephant never forgets. As the name suggests, the MERW is a $d$-dimensional generalisation of the elephant random walk (ERW), the latter was first introduced by Sch\"utz and Trimper in 2004. We measure the influence of the elephant's memory by a so-called memory parameter $p$ between zero and one. A striking feature that has been observed by Sch\"utz and Trimper is that the long-time behaviour of the ERW exhibits a phase transition at some critical memory parameter $p_c$. We investigate the asymptotic behaviour of the MERW in all memory regimes by exploiting a connection between the MERW and P\'olya urns, following similar ideas as in the work by Baur and Bertoin for the ERW.


title: Lorentz symmetry violating BTZ black holes in massive gravity

abstract: BTZ black holes provide excellent frameworks for studying theories that are at the interface of classical and quantum gravity. In this paper we couple the Riemannian spacetime with the bumblebee field, in the background of massive gravity, which produces the violation of spontaneous Lorentz symmetry. In this setup we construct a large family of static vacuum BTZ black hole solutions. We study the asymptotic behaviour of curvature invariants and show that our resulting solutions describe asymptotically AdS (2+1)-dimensional BTZ black holes with negative cosmological constant. For positive cosmological constant they are de Sitter. Thermodynamics of these black holes is also analysed.


title: Stochastic and nonstochastic descriptions of the 2019-2020 measles outbreak worldwide with an emphasis in Mexico

abstract: Measles is an infectious disease caused by the Morbilivirus Measles Virus which has accompanied the human race since the 4th millennium BC, it is a disease usually concerning the paediatric population and in the past, before the advent of vaccination, almost all the population suffered from it, and in some cases the complications derived from this disease, such as central nervous involvement. Vaccination changed the course of the disease worldwide and diminished the associated comorbidities and mortality; in Mexico the vaccination program commenced in the decade of the 1970s and was successful in preventing peaks of infection. Nevertheless, due to various factors, has the world seen measles outbreaks once more, this commencing in the year 2019 and extending towards the year 2020. Here we make account of the biology and the pathophysiology of the viral infection, and present three models: one concerning the dynamics of the cases by means of a continuous method and a discrete stochastic model; one concerning the cellular compartmentalization behaviour of the virus, that is the viral tropism towards certain cell types in the host and the tendencies in extended or complicated infection; the last one concerning geographic behaviour of the virus, regarding in particular the tendencies in Mexico City, those involved at a global scale, and finally a model providing a prediction of the viral genotypes' distribution worldwide.


title: Use of copula to model within-study association in bivariate meta-analysis of binomial data at the aggregate level a Bayesian approach and application to surrogate endpoint evaluation

abstract: Bivariate meta-analysis provides a useful framework for combining information across related studies and has been utilised to combine evidence from clinical studies to evaluate treatment efficacy on two outcomes. It has also been used to investigate surrogacy patterns between treatment effects on the surrogate endpoint and the final outcome. Surrogate endpoints play an important role in drug development when they can be used to measure treatment effect early compared to the final outcome and to predict clinical benefit or harm. The standard bivariate meta-analytic approach models the observed treatment effects on the surrogate and the final outcome outcomes jointly, at both the within-study and between-studies levels, using a bivariate normal distribution. For binomial data, a normal approximation on log odds ratio scale can be used. However, this method may lead to biased results when the proportions of events are close to one or zero, affecting the validation of surrogate endpoints. In this paper, we explore modelling the two outcomes on the original binomial scale. Firstly, we present a method that uses independent binomial likelihoods to model the within-study variability avoiding to approximate the observed treatment effects. However, the method ignores the within-study association. To overcome this issue, we propose a method using a bivariate copula with binomial marginals, which allows the model to account for the within-study association. We applied the methods to an illustrative example in chronic myeloid leukemia to investigate the surrogate relationship between complete cytogenetic response (CCyR) and event-free-survival (EFS).


title: Random Partition Models for Microclustering Tasks

abstract: Traditional Bayesian random partition models assume that the size of each cluster grows linearly with the number of data points. While this is appealing for some applications, this assumption is not appropriate for other tasks such as entity resolution, modeling of sparse networks, and DNA sequencing tasks. Such applications require models that yield clusters whose sizes grow sublinearly with the total number of data points -- the microclustering property. Motivated by these issues, we propose a general class of random partition models that satisfy the microclustering property with well-characterized theoretical properties. Our proposed models overcome major limitations in the existing literature on microclustering models, namely a lack of interpretability, identifiability, and full characterization of model asymptotic properties. Crucially, we drop the classical assumption of having an exchangeable sequence of data points, and instead assume an exchangeable sequence of clusters. In addition, our framework provides flexibility in terms of the prior distribution of cluster sizes, computational tractability, and applicability to a large number of microclustering tasks. We establish theoretical properties of the resulting class of priors, where we characterize the asymptotic behavior of the number of clusters and of the proportion of clusters of a given size. Our framework allows a simple and efficient Markov chain Monte Carlo algorithm to perform statistical inference. We illustrate our proposed methodology on the microclustering task of entity resolution, where we provide a simulation study and real experiments on survey panel data.


title: Attention-Guided Version of 2D UNet for Automatic Brain Tumor Segmentation

abstract: Gliomas are the most common and aggressive among brain tumors, which cause a short life expectancy in their highest grade. Therefore, treatment assessment is a key stage to enhance the quality of the patients' lives. Recently, deep convolutional neural networks (DCNNs) have achieved a remarkable performance in brain tumor segmentation, but this task is still difficult owing to high varying intensity and appearance of gliomas. Most of the existing methods, especially UNet-based networks, integrate low-level and high-level features in a naive way, which may result in confusion for the model. Moreover, most approaches employ 3D architectures to benefit from 3D contextual information of input images. These architectures contain more parameters and computational complexity than 2D architectures. On the other hand, using 2D models causes not to benefit from 3D contextual information of input images. In order to address the mentioned issues, we design a low-parameter network based on 2D UNet in which we employ two techniques. The first technique is an attention mechanism, which is adopted after concatenation of low-level and high-level features. This technique prevents confusion for the model by weighting each of the channels adaptively. The second technique is the Multi-View Fusion. By adopting this technique, we can benefit from 3D contextual information of input images despite using a 2D model. Experimental results demonstrate that our method performs favorably against 2017 and 2018 state-of-the-art methods.


title: Elementary Proof of the Siegel-Walfisz Theorem

abstract: This note offers an elementary proof of the Siegel-Walfisz theorem for primes in arithmetic progressions.


title: Steady-state fluctuations of a genetic feedback loop with fluctuating rate parameters using the unified colored noise approximation

abstract: A common model of stochastic auto-regulatory gene expression describes promoter switching via cooperative protein binding, effective protein production in the active state and dilution of proteins. Here we consider an extension of this model whereby colored noise with a short correlation time is added to the reaction rate parameters -- we show that when the size and timescale of the noise is appropriately chosen it accounts for fast reactions that are not explicitly modelled, e.g., in models with no mRNA description, fluctuations in the protein production rate can account for rapid multiple stages of nuclear mRNA processing which precede translation in eukaryotes. We show how the unified colored noise approximation can be used to derive expressions for the protein number distribution that is in good agreement with stochastic simulations. We find that even when the noise in the rate parameters is small, the protein distributions predicted by our model can be significantly different than models assuming constant reaction rates.


title: Regular Path Query Evaluation on Streaming Graphs

abstract: We study persistent query evaluation over streaming graphs, which is becoming increasingly important. We focus on navigational queries that determine if there exists a path between two entities that satisfies a user-specified constraint. We adopt the Regular Path Query (RPQ) model that specifies navigational patterns with labeled constraints. We propose deterministic algorithms to efficiently evaluate persistent RPQs under both arbitrary and simple path semantics in a uniform manner. Experimental analysis on real and synthetic streaming graphs shows that the proposed algorithms can process up to tens of thousands of edges per second and efficiently answer RPQs that are commonly used in real-world workloads.


title: Games and hereditary Baireness in hyperspaces and spaces of probability measures

abstract: We establish that the existence of a winning strategy in certain topological games, closely related to a strong game of Choquet, played in a topological space $X$ and its hyperspace $K(X)$ of all nonempty compact subsets of $X$ equipped with the Vietoris topology, is equivalent for one of the players. For a separable metrizable space $X$, we identify a game-theoretic condition equivalent to $K(X)$ being hereditarily Baire. It implies quite easily a recent result of Gartside, Medini and Zdomskyy that characterizes hereditary Baire property of hyperspaces $K(X)$ over separable metrizable spaces $X$ via the Menger property of the remainder of a compactification of $X$. Subsequently, we use topological games to study hereditary Baire property in spaces of probability measures and in hyperspaces over filters on natural numbers. To this end, we introduce a notion of strong $P$-filter $\mathcal{F}$ and prove that it is equivalent to $K(\mathcal{F})$ being hereditarily Baire. We also show that if $X$ is separable metrizable and $K(X)$ is hereditarily Baire, then the space $P_r(X)$ of Borel probability Radon measures on $X$ is hereditarily Baire too. It follows that there exists (in ZFC) a separable metrizable space $X$ which is not completely metrizable with $P_r(X)$ hereditarily Baire. As far as we know this is the first example of this kind.


title: Unstructured space-time finite element methods for optimal control of parabolic equations

abstract: This work presents and analyzes space-time finite element methods on fully unstructured simplicial space-time meshes for the numerical solution of parabolic optimal control problems. Using Babu\v{s}ka's theorem, we show well-posedness of the first-order optimality systems for a typical model problem with linear state equations, but without control constraints. This is done for both continuous and discrete levels. Based on these results, we derive discretization error estimates. Then we consider a semilinear parabolic optimal control problem arising from the Schl\"ogl model. The associated nonlinear optimality system is solved by Newton's method, where a linear system, that is similar to the first-order optimality systems considered for the linear model problems, has to be solved at each Newton step. We present various numerical experiments including results for adaptive space-time finite element discretizations based on residual-type error indicators. In the last two examples, we also consider semilinear parabolic optimal control problems with box constraints imposed on the control.


title: Generating Hierarchical Explanations on Text Classification via Feature Interaction Detection

abstract: Generating explanations for neural networks has become crucial for their applications in real-world with respect to reliability and trustworthiness. In natural language processing, existing methods usually provide important features which are words or phrases selected from an input text as an explanation, but ignore the interactions between them. It poses challenges for humans to interpret an explanation and connect it to model prediction. In this work, we build hierarchical explanations by detecting feature interactions. Such explanations visualize how words and phrases are combined at different levels of the hierarchy, which can help users understand the decision-making of black-box models. The proposed method is evaluated with three neural text classifiers (LSTM, CNN, and BERT) on two benchmark datasets, via both automatic and human evaluations. Experiments show the effectiveness of the proposed method in providing explanations that are both faithful to models and interpretable to humans.


title: A Hierarchical Network for Abstractive Meeting Summarization with Cross-Domain Pretraining

abstract: With the abundance of automatic meeting transcripts, meeting summarization is of great interest to both participants and other parties. Traditional methods of summarizing meetings depend on complex multi-step pipelines that make joint optimization intractable. Meanwhile, there are a handful of deep neural models for text summarization and dialogue systems. However, the semantic structure and styles of meeting transcripts are quite different from articles and conversations. In this paper, we propose a novel abstractive summary network that adapts to the meeting scenario. We design a hierarchical structure to accommodate long meeting transcripts and a role vector to depict the difference among speakers. Furthermore, due to the inadequacy of meeting summary data, we pretrain the model on large-scale news summary data. Empirical results show that our model outperforms previous approaches in both automatic metrics and human evaluation. For example, on ICSI dataset, the ROUGE-1 score increases from 34.66% to 46.28%.


title: The $\ell^p$-metrization of functors with finite supports

abstract: Let $p\in[1,\infty]$ and $F:\mathbf{Set}\to\mathbf{Set}$ be a functor with finite supports in the category $\mathbf{Set}$ of sets. Given a non-empty metric space $(X,d_X)$, we introduce the distance $d^p_{FX}$ on the functor-space $FX$ as the largest distance such that for every $n\in\mathbb N$ and $a\in Fn$ the map $X^n\to FX$, $f\mapsto Ff(a)$, is non-expanding with respect to the $\ell^p$-metric $d^p_{X^n}$ on $X^n$. We prove that the distance $d^p_{FX}$ is a pseudometric if and only if the functor $F$ preserves singletons; $d^p_{FX}$ is a metric if $F$ preserves singletons and one of the following conditions holds: (1) the metric space $(X,d_X)$ is Lipschitz disconnected, (2) $p=1$, (3) the functor $F$ has finite degree, (4) $F$ preserves supports. We prove that for any Lipschitz map $f:(X,d_X)\to (Y,d_Y)$ between metric spaces the map $Ff:(FX,d^p_{FX})\to (FY,d^p_{FY})$ is Lipschitz with Lipschitz constant $\mathrm{Lip}(Ff)\le \mathrm{Lip}(f)$. If the functor $F$ is finitary, has finite degree (and preserves supports), then $F$ preserves uniformly continuous function, coarse functions, coarse equivalences, asymptotically Lipschitz functions, quasi-isometries (and continuous functions). For many dimension functions we prove the formula $\dim F^pX\le\mathrm{deg}(F)\cdot\dim X$. Using injective envelopes, we introduce a modification $\check d^p_{FX}$ of the distance $d^p_{FX}$ and prove that the functor $\check F^p:\mathbf{Dist}\to\mathbf{Dist}$, $\check F^p:(X,d_X)\mapsto (FX,\check d^p_{FX})$, in the category $\mathbf{Dist}$ of distance spaces preserves Lipschitz maps and isometries between metric spaces.


title: Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties

abstract: In this paper, we present a mechanism for building hybrid system observers to differentiate between specific positions of the hybrid system. The mechanism is designed through inferring metric temporal logic (MTL) formulae from simulated trajectories from the hybrid system. We first approximate the system behavior by simulating finitely many trajectories with timerobust tube segments around them. These time-robust tube segments account for both spatial and temporal uncertainties that exist in the hybrid system with initial state variations. The inferred MTL formulae classify different time-robust tube segments and thus can be used for classifying the hybrid system behaviors in a provably correct fashion. We implement our approach on a model of a smart building testbed to distinguish two cases of room occupancy.


title: The completion of the hyperspace of finite subsets, endowed with the $\ell^1$-metric

abstract: For a metric space $X$, let $\mathsf FX$ be the space of all nonempty finite subsets of $X$ endowed with the largest metric $d^1_{\mathsf FX}$ such that for every $n\in\mathbb N$ the map $X^n\to\mathsf FX$, $(x_1,\dots,x_n)\mapsto \{x_1,\dots,x_n\}$, is non-expanding with respect to the $\ell^1$-metric on $X^n$. We study the completion of the metric space $\mathsf F^1\!X=(\mathsf FX,d^1_{\mathsf FX})$ and prove that it coincides with the space $\mathsf Z^1\!X$ of nonempty compact subsets of $X$ that have zero length (defined with the help of graphs). We prove that each subset of zero length in a metric space has 1-dimensional Hausdorff measure zero. A subset $A$ of the real line has zero length if and only if its closure is compact and has Lebesgue measure zero. On the other hand, for every $n\ge 2$ the Euclidean space $\mathbb R^n$ contains a compact subset of 1-dimensional Hausdorff measure zero that fails to have zero length.


title: Building secure distributed applications the DECENT way

abstract: Remote attestation (RA) authenticates code running in trusted execution environments (TEEs), allowing trusted code to be deployed even on untrusted hosts. However, trust relationships established by one component in a distributed application may impact the security of other components, making it difficult to reason about the security of the application as a whole. Furthermore, traditional RA approaches interact badly with modern web service design, which tends to employ small interacting microservices, short session lifetimes, and little or no state. This paper presents the Decent Application Platform, a framework for building secure decentralized applications. Decent applications authenticate and authorize distributed enclave components using a protocol based on self-attestation certificates, a reusable credential based on RA and verifiable by a third party. Components mutually authenticate each other not only based on their code, but also based on the other components they trust, ensuring that no transitively-connected components receive unauthorized information. While some other TEE frameworks support mutual authentication in some form, Decent is the only system that supports mutual authentication without requiring an additional trusted third party besides the trusted hardware's manufacturer. We have verified the secrecy and authenticity of Decent application data in ProVerif, and implemented two applications to evaluate Decent's expressiveness and performance: DecentRide, a ride-sharing service, and DecentHT, a distributed hash table. On the YCSB benchmark, we show that DecentHT achieves 7.5x higher throughput and 3.67x lower latency compared to a non-Decent implementation.


title: Segmentation for Classification of Screening Pancreatic Neuroendocrine Tumors

abstract: This work presents comprehensive results to detect in the early stage the pancreatic neuroendocrine tumors (PNETs), a group of endocrine tumors arising in the pancreas, which are the second common type of pancreatic cancer, by checking the abdominal CT scans. To the best of our knowledge, this task has not been studied before as a computational task. To provide radiologists with tumor locations, we adopt a segmentation framework to classify CT volumes by checking if at least a sufficient number of voxels is segmented as tumors. To quantitatively analyze our method, we collect and voxelwisely label a new abdominal CT dataset containing $376$ cases with both arterial and venous phases available for each case, in which $228$ cases were diagnosed with PNETs while the remaining $148$ cases are normal, which is currently the largest dataset for PNETs to the best of our knowledge. In order to incorporate rich knowledge of radiologists to our framework, we annotate dilated pancreatic duct as well, which is regarded as the sign of high risk for pancreatic cancer. Quantitatively, our approach outperforms state-of-the-art segmentation networks and achieves a sensitivity of $89.47\%$ at a specificity of $81.08\%$, which indicates a potential direction to achieve a clinical impact related to cancer diagnosis by earlier tumor detection.


title: SimAug: Learning Robust Representations from Simulation for Trajectory Prediction

abstract: This paper studies the problem of predicting future trajectories of people in unseen cameras of novel scenarios and views. We approach this problem through the real-data-free setting in which the model is trained only on 3D simulation data and applied out-of-the-box to a wide variety of real cameras. We propose a novel approach to learn robust representation through augmenting the simulation training data such that the representation can better generalize to unseen real-world test data. The key idea is to mix the feature of the hardest camera view with the adversarial feature of the original view. We refer to our method as SimAug. We show that SimAug achieves promising results on three real-world benchmarks using zero real training data, and state-of-the-art performance in the Stanford Drone and the VIRAT/ActEV dataset when using in-domain training data.


title: Towards Query Logs for Privacy Studies: On Deriving Search Queries from Questions

abstract: Translating verbose information needs into crisp search queries is a phenomenon that is ubiquitous but hardly understood. Insights into this process could be valuable in several applications, including synthesizing large privacy-friendly query logs from public Web sources which are readily available to the academic research community. In this work, we take a step towards understanding query formulation by tapping into the rich potential of community question answering (CQA) forums. Specifically, we sample natural language (NL) questions spanning diverse themes from the Stack Exchange platform, and conduct a large-scale conversion experiment where crowdworkers submit search queries they would use when looking for equivalent information. We provide a careful analysis of this data, accounting for possible sources of bias during conversion, along with insights into user-specific linguistic patterns and search behaviors. We release a dataset of 7,000 question-query pairs from this study to facilitate further research on query understanding.


title: SiPM-matrix readout of two-phase argon detectors using electroluminescence in the visible and near infrared range

abstract: Proportional electroluminescence (EL) in noble gases is used in two-phase detectors for dark matter searches to record (in the gas phase) the ionization signal induced by particle scattering in the liquid phase. The "standard" EL mechanism is considered to be due to noble gas excimer emission in the vacuum ultraviolet (VUV). In addition, there are two alternative mechanisms, producing light in the visible and near infrared (NIR) ranges. The first is due to bremsstrahlung of electrons scattered on neutral atoms ("neutral bremsstrahlung", NBrS). The second, responsible for electron avalanche scintillation in the NIR at higher electric fields, is due to transitions between excited atomic states. In this work, we have for the first time demonstrated two alternative techniques of the optical readout of two-phase argon detectors, in the visible and NIR range, using a silicon photomultiplier matrix and electroluminescence due to either neutral bremsstrahlung or avalanche scintillation. The amplitude yield and position resolution were measured for these readout techniques, which allowed to assess the detection threshold for electron and nuclear recoils in two-phase argon detectors for dark matter searches. To the best of our knowledge, this is the first practical application of the NBrS effect in detection science.


title: It Is Not the Journey but the Destination: Endpoint Conditioned Trajectory Prediction

abstract: Human trajectory forecasting with multiple socially interacting agents is of critical importance for autonomous navigation in human environments, e.g., for self-driving cars and social robots. In this work, we present Predicted Endpoint Conditioned Network (PECNet) for flexible human trajectory prediction. PECNet infers distant trajectory endpoints to assist in long-range multi-modal trajectory prediction. A novel non-local social pooling layer enables PECNet to infer diverse yet socially compliant trajectories. Additionally, we present a simple "truncation-trick" for improving few-shot multi-modal trajectory prediction performance. We show that PECNet improves state-of-the-art performance on the Stanford Drone trajectory prediction benchmark by ~20.9% and on the ETH/UCY benchmark by ~40.8%. Project homepage: https://karttikeya.github.io/publication/htf/


title: The October 10, 1912 solar eclipse expeditions and the first attempt to measure light-bending by the Sun

abstract: In 1911 Einstein proposed that light-bending by the Sun's gravitational field could be measured during a total solar eclipse. The first opportunity in which this measurement would be tried, was during the total solar eclipse of October 10, 1912. We report about the expeditions sent to Brazil to observe this eclipse, including the one from the C\'ordoba Observatory, from Argentina, which aimed to measure this Einstein's effect.


title: Convergence analysis of pixel-driven Radon and fanbeam transforms

abstract: This paper presents a novel mathematical framework for understanding pixel-driven approaches for the parallel beam Radon transform as well as for the fanbeam transform, showing that with the correct discretization strategy, convergence - including rates - in the $L^2$ operator norm can be obtained. These rates inform about suitable strategies for discretization of the occurring domains/variables, and are first established for the Radon transform. In particular, discretizing the detector in the same magnitude as the image pixels (which is standard practice) might not be ideal and in fact, asymptotically smaller pixels than detectors lead to convergence. Possible adjustments to limited-angle and sparse-angle Radon transforms are discussed, and similar convergence results are shown. In the same vein, convergence results are readily extended to a novel pixel-driven approach to the fanbeam transform. Numerical aspects of the discretization scheme are discussed, and it is shown in particular that with the correct discretization strategy, the typical high-frequency artifacts can be avoided.


title: Measuring Social Biases of Crowd Workers using Counterfactual Queries

abstract: Social biases based on gender, race, etc. have been shown to pollute machine learning (ML) pipeline predominantly via biased training datasets. Crowdsourcing, a popular cost-effective measure to gather labeled training datasets, is not immune to the inherent social biases of crowd workers. To ensure such social biases aren't passed onto the curated datasets, it's important to know how biased each crowd worker is. In this work, we propose a new method based on counterfactual fairness to quantify the degree of inherent social bias in each crowd worker. This extra information can be leveraged together with individual worker responses to curate a less biased dataset.


title: Optimization methods for achieving high diffraction efficiency with perfect electric conducting gratings

abstract: This work presents the implementation, numerical examples and experimental convergence study of first- and second-order optimization methods applied to one-dimensional periodic gratings. Through boundary integral equations and shape derivatives, the profile of a grating is optimized such that it maximizes the diffraction efficiency for given diffraction modes for transverse electric polarization. We provide a thorough comparison of three different optimization methods: a first-order method (gradient descent); a second-order approach based on a Newton iteration, where the usual Newton step is replaced by taking the absolute value of the eigenvalues given by the spectral decomposition of the Hessian matrix to deal with non-convexity; and the Broyden-Fletcher-Goldfarb-Shanno (BFGS) algorithm, a quasi-Newton method. Numerical examples are provided to validate our claims. Moreover, two grating profiles are designed for high efficiency in the Littrow configuration and then compared to a high efficiency commercial grating. Conclusions and recommendations, derived from the numerical experiments, are provided as well as future research avenues.


title: Base Graph -- Connection Graph: Dissection and Construction

abstract: This paper presents a phenomenon which sometimes occurs in tetravalent bipartite locally dart-transitive graphs, called a Base Graph -- Connection Graph dissection. In this dissection, each white vertex is split into two vertices of valence 2 so that the connected components of the result are isomorphic. Given the Base Graph whose subdivision is isomorphic to each component, and the Connection Graph, which describes how the components overlap, we can, in some cases, provide a construction which can make a graph having such a decomposition. This paper investigates the general phenomenon as well as the special cases in which the connection graph has no more than one edge.


title: Probing $Zt\bar{t}$ couplings using $Z$ boson polarization in $ZZ$ production at hadron colliders

abstract: We propose to utilize the polarization information of the $Z$ bosons in $ZZ$ production, via the gluon-gluon fusion process $gg\to ZZ$, to probe the $Zt\bar{t}$ gauge coupling. The contribution of longitudinally polarized $Z$ bosons is sensitive to the axial-vector component ($a_t$) of the $Zt\bar{t}$ coupling. We demonstrate that the angular distribution of the charged lepton from $Z$ boson decays serves well for measuring the polarization of $Z$ bosons and the determination of $a_t$. We show that $ZZ$ production via the $gg\to ZZ$ process complement to $Zt\bar{t}$ and $tZj$ productions in measuring the $Zt\bar{t}$ coupling at hadron colliders.


title: Generating Rationales in Visual Question Answering

abstract: Despite recent advances in Visual QuestionAnswering (VQA), it remains a challenge todetermine how much success can be attributedto sound reasoning and comprehension ability.We seek to investigate this question by propos-ing a new task ofrationale generation. Es-sentially, we task a VQA model with generat-ing rationales for the answers it predicts. Weuse data from the Visual Commonsense Rea-soning (VCR) task, as it contains ground-truthrationales along with visual questions and an-swers. We first investigate commonsense un-derstanding in one of the leading VCR mod-els, ViLBERT, by generating rationales frompretrained weights using a state-of-the-art lan-guage model, GPT-2. Next, we seek to jointlytrain ViLBERT with GPT-2 in an end-to-endfashion with the dual task of predicting the an-swer in VQA and generating rationales. Weshow that this kind of training injects com-monsense understanding in the VQA modelthrough quantitative and qualitative evaluationmetrics


title: Interstellar Comet 2I/Borisov exhibits a structure similar to native Solar System comets

abstract: We processed images taken with the Hubble Space Telescope (HST) to investigate any morphological features in the inner coma suggestive of a peculiar activity on the nucleus of the interstellar comet 2I/Borisov. The coma shows an evident elongation, in the position angle (PA) ~0-180d direction, which appears related to the presence of a jet originating from a single active source on the nucleus. A counterpart of this jet directed towards PA ~10d was detected through analysis of the changes of the inner coma morphology on HST images taken in different dates and processed with different filters. These findings indicate that the nucleus is probably rotating with a spin axis projected near the plane of the sky and oriented at PA ~100d-280d, and that the active source is lying in a near-equatorial position. Subsequent observations of HST allowed us to determine the direction of the spin axis at RA=17h20m+/-15d and Dec = -35d+\-10d.


title: Optimization of Image Embeddings for Few Shot Learning

abstract: In this paper we improve the image embeddings generated in the graph neural network solution for few shot learning. We propose alternate architectures for existing networks such as Inception-Net, U-Net, Attention U-Net, and Squeeze-Net to generate embeddings and increase the accuracy of the models. We improve the quality of embeddings created at the cost of the time taken to generate them. The proposed implementations outperform the existing state of the art methods for 1-shot and 5-shot learning on the Omniglot dataset. The experiments involved a testing set and training set which had no common classes between them. The results for 5-way and 10-way/20-way tests have been tabulated.


title: Correction to: A Practical, Provably Linear Time, In-place and Stable Merge Algorithm via the Perfect Shuffle

abstract: We correct a paper previously submitted to CoRR. That paper claimed that the algorithm there described was provably of linear time complexity in the average case. The alleged proof of that statement contained an error, being based on an invalid assumption, and is invalid. In this paper we present both experimental and analytical evidence that the time complexity is of order $N^2$ in the average case, where $N$ is the total length of the merged sequences.


title: Quantum Medical Imaging Algorithms

abstract: A central task in medical imaging is the reconstruction of an image or function from data collected by medical devices (e.g., CT, MRI, and PET scanners). We provide quantum algorithms for image reconstruction with exponential speedup over classical counterparts when data is input as a quantum state. Since outputs of our algorithms are stored in quantum states, individual pixels of reconstructed images may not be efficiently accessed classically; instead, we discuss various methods to extract information from outputs using a variety of quantum post-processing algorithms.


title: Using Machine Learning Approach for Computational Substructure in Real-Time Hybrid Simulation

abstract: Hybrid simulation (HS) is a widely used structural testing method that combines a computational substructure with a numerical model for well-understood components and an experimental substructure for other parts of the structure that are physically tested. One challenge for fast HS or real-time HS (RTHS) is associated with the analytical substructures of relatively complex structures, which could have large number of degrees of freedoms (DOFs), for instance. These large DOFs computations could be hard to perform in real-time, even with the all current hardware capacities. In this study, a metamodeling technique is proposed to represent the structural dynamic behavior of the analytical substructure. A preliminary study is conducted where a one-bay one-story concentrically braced frame (CBF) is tested under earthquake loading by using a compact HS setup at the University of Nevada, Reno. The experimental setup allows for using a small-scale brace as the experimental substructure combined with a steel frame at the prototype full-scale for the analytical substructure. Two different machine learning algorithms are evaluated to provide a valid and useful metamodeling solution for analytical substructure. The metamodels are trained with the available data that is obtained from the pure analytical solution of the prototype steel frame. The two algorithms used for developing the metamodels are: (1) linear regression (LR) model, and (2) basic recurrent neural network (RNN). The metamodels are first validated against the pure analytical response of the structure. Next, RTHS experiments are conducted by using metamodels. RTHS test results using both LR and RNN models are evaluated, and the advantages and disadvantages of these models are discussed.


title: FAIRS -- Soft Focus Generator and Attention for Robust Object Segmentation from Extreme Points

abstract: Semantic segmentation from user inputs has been actively studied to facilitate interactive segmentation for data annotation and other applications. Recent studies have shown that extreme points can be effectively used to encode user inputs. A heat map generated from the extreme points can be appended to the RGB image and input to the model for training. In this study, we present FAIRS -- a new approach to generate object segmentation from user inputs in the form of extreme points and corrective clicks. We propose a novel approach for effectively encoding the user input from extreme points and corrective clicks, in a novel and scalable manner that allows the network to work with a variable number of clicks, including corrective clicks for output refinement. We also integrate a dual attention module with our approach to increase the efficacy of the model in preferentially attending to the objects. We demonstrate that these additions help achieve significant improvements over state-of-the-art in dense object segmentation from user inputs, on multiple large-scale datasets. Through experiments, we demonstrate our method's ability to generate high-quality training data as well as its scalability in incorporating extreme points, guiding clicks, and corrective clicks in a principled manner.


title: A Comparison of Properties of Quasars with and without Rapid Broad Absorption Line Variability

abstract: We investigate the correlation between rest-frame UV flux variability of broad absorption line (BAL) quasars and their variability in BAL equivalent widths (EWs) in a various timescale from $<10$~days to a few years in the quasar rest-frame. We use the data sets of BAL EWs taken by the Sloan Digital Sky Survey Reverberation Mapping (SDSS-RM) project and photometric data taken by the intermediate Palomar Transient Factory (iPTF) in $g$ and $R$-bands and the Panoramic Survey Telescope and Rapid Response System (Pan-STARRS) in $grizy$ bands. Our results are summarized as below; (1) the distributions of flux variability versus BAL variability show weak, moderate, or a strong positive correlation, (2) there is no significant difference in flux variability amplitudes between BAL quasar with significant short timescale EW variability (called class S1) and without (class S2), (3) in all time scales considered in this paper, the class S1 quasars show systematically larger BAL variability amplitudes than those of the class S2 quasars, and (4) there are possible correlations between BAL variability and physical parameters of the quasars such as black hole masses (moderate positive), Eddington ratios, and accretion disk temperature (strong negative) in the class S2 quasars. These results indicate that the BAL variability requires changing in the ionizing continuum and an ancillary mechanism such as variability in X-ray shielding gas located at the innermost region of an accretion disk.


title: $T'$ Models with High Quality Flaxions

abstract: The "gauged'' Peccei-Quinn (PQ) mechanism of Fukuda, Ibe, Suzuki and Yanagida is implemented in the flavorful axion model of Carone and Merchand. This model of flavor is similar to other successful ones based on the double tetrahedral group, but the flavor symmetry includes a global U(1) factor that leads to the presence of a flavorful axion. Here we gauge that U(1) symmetry and introduce a heavy sector that includes (1) the fermions necessary to cancel anomalies and (2) a second scalar flavon field that spontaneously breaks the U(1) symmetry. The full theory has an accidental U(1)$\times$U(1)$'$ global symmetry, anomalous with respect to QCD; U(1)$_\text{PQ}$ emerges as a linear combination. The gauged flavor symmetry restricts the possible PQ symmetry-breaking higher-dimension operators so that sufficient axion quality is preserved. We provide a model of the quark sector, as a proof of principle, and then a model which incorporates the standard model charged leptons as well. In both cases, the charge assignments that lead to acceptable axion quality also lead to a multiplicity of some of the heavy sector states; we check that the Landau pole for hypercharge remains above the cut off of the effective theory. We consider relevant phenomenological constraints on these models including those on the predicted axion couplings.


title: Robust Inference and Verification of Temporal Logic Classifier-in-the-loop Systems

abstract: Autonomous systems embedded with machine learning modules often rely on deep neural networks for classifying different objects of interest in the environment or different actions or strategies to take for the system. Due to the non-linearity and high-dimensionality of deep neural networks, the interpretability of the autonomous systems is compromised. Besides, the machine learning methods in autonomous systems are mostly data-intensive and lack commonsense knowledge and reasoning that are natural to humans. In this paper, we propose the framework of temporal logic classifier-in-the-loop systems. The temporal logic classifiers can output different actions to take for an autonomous system based on the environment, such that the behavior of the autonomous system can satisfy a given temporal logic specification. Our approach is robust and provably-correct, as we can prove that the behavior of the autonomous system can satisfy a given temporal logic specification in the presence of (bounded) disturbances.


title: ObjectNet Dataset: Reanalysis and Correction

abstract: Recently, Barbu et al introduced a dataset called ObjectNet which includes objects in daily life situations. They showed a dramatic performance drop of the state of the art object recognition models on this dataset. Due to the importance and implications of their results regarding generalization ability of deep models, we take a second look at their findings. We highlight a major problem with their work which is applying object recognizers to the scenes containing multiple objects rather than isolated objects. The latter results in around 20-30% performance gain using our code. Compared with the results reported in the ObjectNet paper, we observe that around 10-15 % of the performance loss can be recovered, without any test time data augmentation. In accordance with Barbu et al.'s conclusions, however, we also conclude that deep models suffer drastically on this dataset. Thus, we believe that ObjectNet remains a challenging dataset for testing the generalization power of models beyond datasets on which they have been trained.


title: LU-Net: a multi-task network to improve the robustness of segmentation of left ventriclular structures by deep learning in 2D echocardiography

abstract: Segmentation of cardiac structures is one of the fundamental steps to estimate volumetric indices of the heart. This step is still performed semi-automatically in clinical routine, and is thus prone to inter- and intra-observer variability. Recent studies have shown that deep learning has the potential to perform fully automatic segmentation. However, the current best solutions still suffer from a lack of robustness. In this work, we introduce an end-to-end multi-task network designed to improve the overall accuracy of cardiac segmentation while enhancing the estimation of clinical indices and reducing the number of outliers. Results obtained on a large open access dataset show that our method outperforms the current best performing deep learning solution and achieved an overall segmentation accuracy lower than the intra-observer variability for the epicardial border (i.e. on average a mean absolute error of 1.5mm and a Hausdorff distance of 5.1mm) with 11% of outliers. Moreover, we demonstrate that our method can closely reproduce the expert analysis for the end-diastolic and end-systolic left ventricular volumes, with a mean correlation of 0.96 and a mean absolute error of 7.6ml. Concerning the ejection fraction of the left ventricle, results are more contrasted with a mean correlation coefficient of 0.83 and an absolute mean error of 5.0%, producing scores that are slightly below the intra-observer margin. Based on this observation, areas for improvement are suggested.


title: The Trigonometric $E_8$ R-matrix

abstract: An expression for the R-matrix associated to $U_q(\widehat{e_8})$ in its 249-dimensional representation is given using the diagrammatic calculus of $U_q(e_8)$ invariants.


title: Presupernova neutrinos: directional sensitivity and prospects for progenitor identification

abstract: We explore the potential of current and future liquid scintillator neutrino detectors of O (10) kt mass to localize a pre-supernova neutrino signal in the sky. In the hours preceding the core collapse of a nearby star (at distance D < 1 kpc), tens to hundreds of inverse beta decay events will be recorded, and their reconstructed topology in the detector can be used to estimate the direction to the star. Although the directionality of inverse beta decay is weak (~8% forward-backward asymmetry for currently available liquid scintillators), we find that for a fiducial signal of 200 events (which is realistic for Betelgeuse), a positional error of ~60 degrees can be achieved, resulting in the possibility to narrow the list of potential stellar candidates to less than ten, typically. For a configuration with improved forward-backward asymmetry (~40%, as expected for a lithium-loaded liquid scintillator), the angular sensitivity improves to ~15 degrees, and - when a distance upper limit is obtained from the overall event rate - it is in principle possible to uniquely identify the progenitor star. Any localization information accompanying an early supernova alert will be useful to multi-messenger observations and to particle physics tests using collapsing stars.


title: Inferring Network Structure From Data

abstract: Networks are complex models for underlying data in many application domains. In most instances, raw data is not natively in the form of a network, but derived from sensors, logs, images, or other data. Yet, the impact of the various choices in translating this data to a network have been largely unexamined. In this work, we propose a network model selection methodology that focuses on evaluating a network's utility for varying tasks, together with an efficiency measure which selects the most parsimonious model. We demonstrate that this network definition matters in several ways for modeling the behavior of the underlying system.


title: Privacy Shadow: Measuring Node Predictability and Privacy Over Time

abstract: The structure of network data enables simple predictive models to leverage local correlations between nodes to high accuracy on tasks such as attribute and link prediction. While this is useful for building better user models, it introduces the privacy concern that a user's data may be re-inferred from the network structure, after they leave the application. We propose the privacy shadow for measuring how long a user remains predictive from an arbitrary time within the network. Furthermore, we demonstrate that the length of the privacy shadow can be predicted for individual users in three real-world datasets.


title: Remarks on Eigenvalue Problems for Fractional $p(\cdot)$-Laplacian

abstract: In this paper, we give some properties and remarks of the new fractional Sobolev spaces with variable exponents. We also study the eigenvalue problem involving the new fractional $p(\cdot)$-Laplacian.


title: Plasmonic Instabilities in Two-dimensional Electron Channels of Variable Width

abstract: Understanding of fundamental physics of plasmonic instabilities is the key issue for the design of a new generation of compact electronic devices required for numerous THz applications. Variable width plasmonic devices have emerged as potential candidates for such an application. The analysis of the variable width plasmonic devices presented in this paper shows that these structures enable both the Dyakonov-Shur instability (when the electron drift velocity everywhere in the device remains smaller than the plasma velocity) and the "plasmonic boom" instability that requires drift velocity exceeding the plasma velocity in some of the device sections. For symmetrical structures, the drifting current could be provided by an RF signal leading to RF to THz and THz to RF frequency conversion using the source and drain antennas and reducing losses associated with ohmic contacts. We show that narrow regions protruding from the channel ("plasmonic stubs") could control and optimize boundary conditions at the contacts and/or at the interfaces between different device sections. These sections could be combined into plasmonic crystals yielding enhanced power and a better impedance matching. The mathematics of the problems is treated using the transmission line analogy. We show that the combination of the stubs and the variable width channels is required for the instability rise in an optimized plasmonic crystal. Our estimates show that THz plasmonic crystal oscillators could operate at room temperature.


title: Transportation inequalities for Markov kernels and their applications

abstract: We study the relationship between functional inequalities for a Markov kernel on a metric space $X$ and inequalities of transportation distances on the space of probability measures $\mathcal{P}(X)$. Extending results of Luise and Savar\'e on Hellinger--Kantorovich contraction inequalities for the particular case of the heat semigroup on an $RCD(K,\infty)$ metric space, we show that more generally, such contraction inequalities are equivalent to reverse Poincar\'e inequalities. We also adapt the "dynamic dual" formulation of the Hellinger--Kantorovich distance to define a new family of divergences on $\mathcal{P}(X)$ which generalize the R\'enyi divergence, and we show that contraction inequalities for these divergences are equivalent to the reverse logarithmic Sobolev and Wang Harnack inequalities. We discuss applications including results on the convergence of Markov processes to equilibrium, and on quasi-invariance of heat kernel measures in finite and infinite-dimensional groups.


title: Multivariate Regression of Mixed Responses for Evaluation of Visualization Designs

abstract: Information visualization significantly enhances human perception by graphically representing complex data sets. The variety of visualization designs makes it challenging to efficiently evaluate all possible designs catering to users' preferences and characteristics. Most of existing evaluation methods perform user studies to obtain multivariate qualitative responses from users via questionnaires and interviews. However, these methods cannot support online evaluation of designs as they are often time-consuming. A statistical model is desired to predict users' preferences on visualization designs based on non-interference measurements (i.e., wearable sensor signals). In this work, we propose a multivariate regression of mixed responses (MRMR) to facilitate quantitative evaluation of visualization designs. The proposed MRMR method is able to provide accurate model prediction with meaningful variable selection. A simulation study and a user study of evaluating visualization designs with 14 effective participants are conducted to illustrate the merits of the proposed model.


title: gDLS*: Generalized Pose-and-Scale Estimation Given Scale and Gravity Priors

abstract: Many real-world applications in augmented reality (AR), 3D mapping, and robotics require both fast and accurate estimation of camera poses and scales from multiple images captured by multiple cameras or a single moving camera. Achieving high speed and maintaining high accuracy in a pose-and-scale estimator are often conflicting goals. To simultaneously achieve both, we exploit a priori knowledge about the solution space. We present gDLS*, a generalized-camera-model pose-and-scale estimator that utilizes rotation and scale priors. gDLS* allows an application to flexibly weigh the contribution of each prior, which is important since priors often come from noisy sensors. Compared to state-of-the-art generalized-pose-and-scale estimators (e.g., gDLS), our experiments on both synthetic and real data consistently demonstrate that gDLS* accelerates the estimation process and improves scale and pose accuracy.


title: Macroscopic network circulation for planar graphs

abstract: The analysis of networks, aimed at suitably defined functionality, often focuses on partitions into subnetworks that capture desired features. Chief among the relevant concepts is a 2-partition, that underlies the classical Cheeger inequality, and highlights a constriction (bottleneck) that limits accessibility between the respective parts of the network. In a similar spirit, the purpose of the present work is to introduce a new concept of maximal global circulation and to explore 3-partitions that expose this type of macroscopic feature of networks. Herein, graph circulation is motivated by transportation networks and probabilistic flows (Markov chains) on graphs. Our goal is to quantify the large-scale imbalance of network flows and delineate key parts that mediate such global features. While we introduce and propose these notions in a general setting, in this paper, we only work out the case of planar graphs. We explain that a scalar potential can be identified to encapsulate the concept of circulation, quite similarly as in the case of the curl of planar vector fields. Beyond planar graphs, in the general case, the problem to determine global circulation remains at present a combinatorial problem.


title: Interarm islands in the Milky Way -- the one near the Cygnus spiral arm

abstract: This study extends to the structure of the Galaxy. Our main goal is to focus on the first spiral arm beyond the Perseus arm, often called the Cygnus arm or the Outer Norma arm, by appraising the distributions of the masers near the Cygnus arm. The method is to employ masers whose trigonometric distances were measured with accuracy. The maser data come from published literature, having been obtained via the existing networks (US VLBA, the Japanese VERA, the European VLBI, and the Australian LBA). The new results for Cygnus are split in two groups: those located near a recent CO fitted global model spiral arm, and those congregating within an interarm island located halfway between the Perseus arm and the Cygnus arm. Next, we compare this island with other similar interarm objects near other spiral arms. Thus we delineate an interarm island (6 x 2 kpc) located between the two long spiral arms (Cygnus and Perseus arms); this is reminiscent of the small Local Orion arm (4 x 2 kpc) found earlier between the Perseus and Sagittarius arms, and of the old Loop (2 x 0.5 kpc) found earlier between the Sagittarius and Scutum arms. Various arm models are compared, based on observational data (masers, HII regions, HI gas, young stars, CO gas).


title: On the character of turbulence in self-consistent models of core-collapse supernovae

abstract: Neutrino-driven convection plays a crucial role in the development of core-collapse supernova (CCSN) explosions. However, the complex mechanism that triggers the shock revival and the subsequent explosion has remained inscrutable for many decades. Multidimensional simulations suggest that the growth of fluid instabilities and the development of turbulent convection will determine the morphology of the explosion. We have performed 3D simulations using spherical-polar coordinates covering a reduced angular extent (90 degree computational domain), and with angular resolutions of 2 degrees, 1 degree, 1/2 degree, and 1/4 degree, to study the development of turbulence in core-collapse supernova explosions on a time scale of order 100 ms. We have employed the multi-physics Chimera code that includes detailed nuclear physics and spectral neutrino transport. Coarse resolution models do not develop an inertial range, presumably due to the bottleneck effect, such that the energy is prevented from cascading down to small scales and tends to accumulate at large scales. High-resolution models instead, start to recover the k^{-5/3} scaling of Kolmogorov's theory. Stochasticity and few simulation samples limit our ability to predict the development of explosions. Over the simulated time period, our models show no clear trend in improving (or diminishing) conditions for explosion as the angular resolution is increased. However, we find that turbulence provides an effective pressure behind the shock (approx. 40 - 50 % of the thermal pressure), which can contribute to the shock revival and be conducive for the development of the explosion. Finally, we show that the turbulent energy power spectrum of reduced angular extent and full 4 pi models are consistent, thus indicating that a 90 degree computational domain is an adequate configuration to study the character of turbulence in CCSNe.


title: Ultra-efficient and highly-tunable second-harmonic generation in Z-cut periodically poled lithium niobate nanowaveguides

abstract: Thin-film lithium niobate on insulator (LNOI) has emerged as a superior integrated-photonics platform for linear, nonlinear, and electro-optics. Here we combine quasi-phase-matching, dispersion engineering, and tight mode confinement to realize nonlinear parametric processes with both high efficiency and wide wavelength tunability. On a millimeter-long, Z-cut LNOI waveguide, we demonstrate ultra-efficient ($1900\pm500 \% $W$^{-1}$cm$^{-2}$) and highly tunable (-1.71 nm/K) second-harmonic generation from 1530 to 1583 nm by type-0 quasi-phase-matching. Our technique is applicable to optical harmonic generation, quantum light sources, frequency conversion, and many other photonic information processing across visible to mid-IR spectral bands.


title: Non-existence of expansion-free dynamical stars with rotation and spatial twist

abstract: Extending a previous work by the same authors, we investigate the existence of expansion-free dynamical stars with non-zero spatial twist and rotation and show that such stars cannot exist. Firstly, it is shown that a rotating expansion-free dynamical star with zero twist cannot exist. This is due to the fact that such stars cannot radiate and they are shear-free, in which case the energy density $\rho$ is time independent. Secondly, we prove that a non-rotating expansion-free dynamical star with non-zero spatial twist also cannot exist, as either the strong energy condition must be violated, i.e. $\rho+3p<0$, or the star must be shear-free in which case the star is static ($\Theta=\Omega=\Sigma=0$). Finally, if we insist that the rotation and spatial twist are simultaneously non-zero, then the star cannot be shear-free in which case we obtain a quadratic polynomial equation in $\phi$ and $\Sigma$ with no real solutions. Therefore such stars cannot exist.


title: Position reconstruction using photon timing for the DEAP-3600 dark matter experiment

abstract: DEAP-3600 is a single-phase liquid argon dark matter detector being operated 2 km underground at SNOLAB, Sudbury, Canada. The detector consists of 3.3 tonnes of ultra-pure liquid argon in a spherical acrylic cryostat instrumented with 255 photomultiplier tubes. Natural radioactive contamination in the acrylic vessel or TPB wavelength shifter can alpha-decay. Reconstruction of the position of the interactions taking place in the detector uses information about the number of photoelectrons detected in each PMT and when they were detected. Including this information in our suite of cuts allows us to identify and remove almost all surface background events. A method of event position reconstruction emphasizing photon timing is presented here.


title: On-chip terahertz modulation and emission with integrated graphene junctions

abstract: The efficient modulation and control of ultrafast signals on-chip is of central importance in terahertz (THz) communications and a promising route toward sub-diffraction limit THz spectroscopy. Two-dimensional (2D) materials may provide a platform for these endeavors. We explore this potential, integrating high-quality graphene p-n junctions within two types of planar transmission line circuits to modulate and emit picosecond pulses. In a coplanar stripline geometry, we demonstrate electrical modulation of THz signal transmission by 95%. In a Goubau waveguide geometry, we achieve complete gate-tunable control over THz emission from a photoexcited graphene junction. These studies inform the development of on-chip signal manipulation and highlight prospects for 2D materials in THz applications.


title: Finding Covid-19 from Chest X-rays using Deep Learning on a Small Dataset

abstract: Testing for COVID-19 has been unable to keep up with the demand. Further, the false negative rate is projected to be as high as 30% and test results can take some time to obtain. X-ray machines are widely available and provide images for diagnosis quickly. This paper explores how useful chest X-ray images can be in diagnosing COVID-19 disease. We have obtained 122 chest X-rays of COVID-19 and over 4,000 chest X-rays of viral and bacterial pneumonia. A pretrained deep convolutional neural network has been tuned on 102 COVID-19 cases and 102 other pneumonia cases in a 10-fold cross validation. The results were all 102 COVID-19 cases were correctly classified and there were 8 false positives resulting in an AUC of 0.997. On a test set of 20 unseen COVID-19 cases all were correctly classified and more than 95% of 4171 other pneumonia examples were correctly classified. This study has flaws, most critically a lack of information about where in the disease process the COVID-19 cases were and the small data set size. More COVID-19 case images will enable a better answer to the question of how useful chest X-rays can be for diagnosing COVID-19 (so please send them).


title: A Frobenius group analog for Camina triples

abstract: Frobenius groups are an object of fundamental importance in finite group theory. As such, several generalizations of these groups have been considered. Some examples include: A Frobenius--Wielandt group is a triple $(G,H,L)$ where $H/L$ is {\it almost} a Frobenius complement for $G$; A Camina pair is a pair $(G,N)$ where $N$ is {\it almost} a Frobenius kernel for $G$; A Camina triple is a triple $(G,N,M)$ where $(G,N)$ and $(G,M)$ are {\it almost} Camina pairs. In this paper we study triples $(G,N,M)$ where $(G,N)$ and $(G,M)$ are {\it almost} Frobenius groups.


title: A Novel Greedy Kaczmarz Method For Solving Consistent Linear Systems

abstract: With a quite different way to determine the working rows, we propose a novel greedy Kaczmarz method for solving consistent linear systems. Convergence analysis of the new method is provided. Numerical experiments show that, for the same accuracy, our method outperforms the greedy randomized Kaczmarz method and the relaxed greedy randomized Kaczmarz method introduced recently by Bai and Wu [Z.Z. BAI AND W.T. WU, On greedy randomized Kaczmarz method for solving large sparse linear systems, SIAM J. Sci. Comput., 40 (2018), pp. A592--A606; Z.Z. BAI AND W.T. WU, On relaxed greedy randomized Kaczmarz methods for solving large sparse linear systems, Appl. Math. Lett., 83 (2018), pp. 21--26] in term of the computing time.


title: Phase diagrams of tunable spin-orbit coupled Bose-Einstein condensates

abstract: We analytically calculate phase boundaries of tunable spin-orbit coupled BECs with effective two-body interactions by using variational method. Phase diagrams for periodically driving $^{87}\rm{Rb}$ and $^{23}\rm{Na}$ systems are presented, respectively, which display several characteristic features contrast with those of undriven systems. In the $^{87}\rm{Rb}$ BECs, the critical density $n_{c}$ (density at quantum tricritical point) can be dramatically reduced in some parameter regions, thus the prospect of observing this intriguing quantum tricritical point is greatly enlarged. Moreover, a series of quantum tricritical points emerge quasi-periodically with increasing the Raman coupling strength for fixed $^{87}\rm{Rb}$ density. In the $^{23}\rm{Na}$ BECs, two hyperfine states of $^{23}\rm{Na}$ atoms can be miscible due to driving under proper parameters. As a result, $^{23}\rm{Na}$ systems can stay in the stripe phase with small Raman frequency at typical density. This expands the region of stripe phase in the phase diagram. In addition, there is no quantum tricritical point in such $^{23}\rm{Na}$ system , which is different from $^{87}\rm{Rb}$ system.


title: Polynomial energy bounds for type $F_4$ WZW-models

abstract: We prove that sufficiently many intertwining operators of type $F_4$ unitary affine VOAs satisfy polynomial energy bounds. This finishes the Wassermann type analysis of intertwining operators for all WZW-models.


title: ABCMETAapp: R Shiny Application for Simulation-based Estimation of Mean and Standard Deviation for Meta-analysis via Approximate Bayesian Computation (ABC)

abstract: Background and Objective: In meta-analysis based on continuous outcome, estimated means and corresponding standard deviations from the selected studies are key inputs to obtain a pooled estimate of the mean and its confidence interval. We often encounter the situation that these quantities are not directly reported in the literatures. Instead, other summary statistics are reported such as median, minimum, maximum, quartiles, and study sample size. Based on available summary statistics, we need to estimate estimates of mean and standard deviation for meta-analysis. Methods: We developed a R Shiny code based on approximate Bayesian computation (ABC), ABCMETA, to deal with this situation. Results: In this article, we present an interactive and user-friendly R Shiny application for implementing the proposed method (named ABCMETAapp). In ABCMETAapp, users can choose an underlying outcome distribution other than the normal distribution when the distribution of the outcome variable is skewed or heavy tailed. We show how to run ABCMETAapp with examples. Conclusions: ABCMETAapp provides a R Shiny implementation. This method is more flexible than the existing analytical methods since estimation can be based on five different distribution (Normal, Lognormal, Exponential, Weibull, and Beta) for the outcome variable.


title: Improved bounds for coloring locally sparse hypergraphs

abstract: We show that, for every $k \ge 2$, every $k$-uniform hypergaph of degree $\Delta$ and girth at least $5$ is efficiently $(1+o(1) )(k-1) (\Delta / \ln \Delta )^{ 1/(k-1) } $-list colorable. As an application (and to the best of our knowledge) we obtain the currently best algorithm for list-coloring random hypergraphs of bounded average degree.


title: A Simple Model for Subject Behavior in Subjective Experiments

abstract: In a subjective experiment to evaluate the perceptual audiovisual quality of multimedia and television services, raw opinion scores collected from test subjects are often noisy and unreliable. To produce the final mean opinion scores (MOS), recommendations such as ITU-R BT.500, ITU-T P.910 and ITU-T P.913 standardize post-test screening procedures to clean up the raw opinion scores, using techniques such as subject outlier rejection and bias removal. In this paper, we analyze the prior standardized techniques to demonstrate their weaknesses. As an alternative, we propose a simple model to account for two of the most dominant behaviors of subject inaccuracy: bias and inconsistency. We further show that this model can also effectively deal with inattentive subjects that give random scores. We propose to use maximum likelihood estimation to jointly solve the model parameters, and present two numeric solvers: the first based on the Newton-Raphson method, and the second based on an alternating projection (AP). We show that the AP solver generalizes the ITU-T P.913 post-test screening procedure by weighing a subject's contribution to the true quality score by her consistency (thus, the quality scores estimated can be interpreted as bias-subtracted consistency-weighted MOS). We compare the proposed methods with the standardized techniques using real datasets and synthetic simulations, and demonstrate that the proposed methods are the most valuable when the test conditions are challenging (for example, crowdsourcing and cross-lab studies), offering advantages such as better model-data fit, tighter confidence intervals, better robustness against subject outliers, the absence of hard coded parameters and thresholds, and auxiliary information on test subjects. The code for this work is open-sourced at https://github.com/Netflix/sureal.


title: Ghost Handwritten Digit Recognition based on Deep Learning

abstract: We present a ghost handwritten digit recognition method for the unknown handwritten digits based on ghost imaging (GI) with deep neural network, where a few detection signals from the bucket detector, generated by the Cosine Transform speckle, are used as the characteristic information and the input of the designed deep neural network (DNN), and the classification is designed as the output of the DNN. The results show that the proposed scheme has a higher recognition accuracy (as high as 98.14% for the simulations, and 92.9% for the experiments ) with a smaller sampling ratio (say 12.76%). With the increase of the sampling ratio, the recognition accuracy is enhanced greatly. Compared with the traditional recognition scheme using the same DNN structure, the proposed scheme has a little better performance with a lower complexity and non-locality property. The proposed scheme provides a promising way for remote sensing.