title: What's happened in MOOC Posts Analysis, Knowledge Tracing and Peer Feedbacks? A Review

abstract: Learning Management Systems (LMS) and Educational Data Mining (EDM) are two important parts of online educational environment with the former being a centralised web-based information systems where the learning content is managed and learning activities are organised (Stone and Zheng,2014) and latter focusing on using data mining techniques for the analysis of data so generated. As part of this work, we present a literature review of three major tasks of EDM (See section 2), by identifying shortcomings and existing open problems, and a Blumenfield chart (See section 3). The consolidated set of papers and resources so used are released in https://github.com/manikandan-ravikiran/cs6460-Survey. The coverage statistics and review matrix of the survey are as shown in Figure 1 & Table 1 respectively. Acronym expansions are added in the Appendix Section 4.1.


title: The Gardner correlation length scale in glasses

abstract: The Gardner length scale $\xi$ is the correlation length in the vicinity of the Gardner transition, which is an avoided transition in glasses where the phase space of the glassy phase fractures into smaller sub-basins on experimental time scales. We argue that $\xi$ grows like $ \sim \sqrt{B_{\infty}/G_{\infty}}$, where $B_{\infty}$ is the bulk modulus and $G_{\infty}$ is the shear modulus, both measured in the high-frequency limit of the glassy state. We suggest that $\xi$ might be inferred from stress-stress correlation functions, which is more practical for experimental investigation than studying two copies of the system, which can only be done in numerical simulations. Our arguments are illustrated by explicit calculations for a system of disks moving in a narrow channel, which is solved exactly by transfer matrix techniques.


title: Polygames: Improved Zero Learning

abstract: Since DeepMind's AlphaZero, Zero learning quickly became the state-of-the-art method for many board games. It can be improved using a fully convolutional structure (no fully connected layer). Using such an architecture plus global pooling, we can create bots independent of the board size. The training can be made more robust by keeping track of the best checkpoints during the training and by training against them. Using these features, we release Polygames, our framework for Zero learning, with its library of games and its checkpoints. We won against strong humans at the game of Hex in 19x19, which was often said to be untractable for zero learning; and in Havannah. We also won several first places at the TAAI competitions.


title: Conditioning of Superconductive Properties in Graph-Shaped Reticles

abstract: We report on phenomena observed in planar integrated networks obtained connecting superconducting island by Josephson tunnel junctions. These networks, identifiable as tree-like graphs, have branches consisting of series arrays of Josephson junctions which can be individually current biased and characterized. Both Josephson supercurrents and gap parameters of the arrays embedded in the graph structures display properties significantly different from those of reference arrays fabricated on the same chips and having identical geometrical shape. The temperature and magnetic field dependencies of the Josephson current of the embedded arrays both show a singular behavior when a critical value is reached by the Josephson characteristic energy. The gap parameter of the junctions generating the embedded arrays is higher than that of the junctions forming the reference geometrical arrays.


title: Penalized angular regression for personalized predictions

abstract: Personalization is becoming an important feature in many predictive applications. We introduce a penalized regression method implementing personalization inherently in the penalty. Personalized angle (PAN) regression constructs regression coefficients that are specific to the covariate vector for which one is producing a prediction, thus personalizing the regression model itself. This is achieved by penalizing the angles in a hyperspherical parametrization of the regression coefficients. For an orthogonal design matrix, it is shown that the PAN estimate is the solution to a low-dimensional eigenvector equation. Using a parametric bootstrap procedure to select the tuning parameter, simulations show that PAN regression can outperform ordinary least squares and ridge regression in terms of prediction error. We further prove that by combining the PAN penalty with an $L_{2}$ penalty the resulting method will have uniformly smaller mean squared prediction error than ridge regression, asymptotically. Finally, we demonstrate the method in a medical application.


title: Photolysis-induced scrambling of PAHs as a mechanism for deuterium storage

abstract: Aim. We investigate the role of PAHs as a sink for deuterium in the interstellar medium and study UV photolysis as a potential process in the variations of the deuterium fractionation in the ISM. Methods. The UV photo-induced fragmentation of various isotopologues of D-enriched, protonated anthracene and phenanthrene ions was recorded in a FTICR mass spectrometer. IRMPD spectroscopy using FELIX provided the IR spectra that were compared to DFT vibrational spectra; reaction barriers and rates were also calculated and related to the product abundances. Results. The mass spectra for both UV and IRMPD photolysis show the loss of H from [D-C$_{14}$H$_{10}$]$^+$, whereas [H-C$_{14}$D$_{10}$]$^+$ shows a strong preference for D loss. Calculations reveal facile 1,2-H and -D shift reactions, with barriers lower than the energy supplied by the photo-excitation process. Together with confirmation of the ground-state structures via the IR spectra, we determined that the photolytic processes in the 2 PAHs are largely governed by scrambling where the H and the D atoms relocate between different peripheral C atoms. The $\sim$0.1 eV difference in zero-point energy between C-H and C-D bonds ultimately leads to faster H scrambling than D scrambling, and increased H atom loss compared to D. Conclusion. Scrambling is common in PAH cations under UV radiation. Upon photoexcitation of deuterium-enriched PAHs, the scrambling results in a higher probability for the aliphatic D atom to migrate to an aromatic site, protecting it from elimination. This could lead to increased deuteration as a PAH moves towards more exposed interstellar environments. Also, large, compact PAHs with an aliphatic C-HD group on solo sites might be responsible for the majority of aliphatic C-D stretching bands seen in astronomical spectra.


title: On the Growth of a Ballistic Deposition Model on Finite Graphs

abstract: We revisit a ballistic deposition process introduced by Atar, Athreya and Kang. Let $\mathcal{G}=(V,E)$ be a finite connected graph. We choose independently and uniformly vertices in $\mathcal{G}$. If a vertex $x$ is chosen and the previous height configuration is given by $h=(h_y)_{y \in V} \in \mathbb{N}_0^V$, the height $h_x$ is replaced by \[ \tilde{h}_x := 1 + \max_{y \sim x} h_y. \] We study asymptotic properties of this growth model. We determine the asymptotic growth parameter $\gamma(\mathcal{G} )$ for some graphs and prove a central limit theorem for the fluctuations around $\gamma ( \mathcal{G})$. We also give a new graph-theoretic interpretation of an inequality obtained by Atar et al..


title: Verifying Software Vulnerabilities in IoT Cryptographic Protocols

abstract: Internet of Things (IoT) is a system that consists of a large number of smart devices connected through a network. The number of these devices is increasing rapidly, which creates a massive and complex network with a vast amount of data communicated over that network. One way to protect this data in transit, i.e., to achieve data confidentiality, is to use lightweight encryption algorithms for IoT protocols. However, the design and implementation of such protocols is an error-prone task; flaws in the implementation can lead to devastating security vulnerabilities. These vulnerabilities can be exploited by an attacker and affect users' privacy. There exist various techniques to verify software and detect vulnerabilities. Bounded Model Checking (BMC) and Fuzzing are useful techniques to check the correctness of a software system concerning its specifications. Here we describe a framework called Encryption-BMC and Fuzzing (EBF) using combined BMC and fuzzing techniques. We evaluate the application of EBF verification framework on a case study, i.e., the S-MQTT protocol, to check security vulnerabilities in cryptographic protocols for IoT.


title: Maximum Nash Welfare and Other Stories About EFX

abstract: We consider the classic problem of fairly allocating indivisible goods among agents with additive valuation functions and explore the connection between two prominent fairness notions: maximum Nash welfare (MNW) and envy-freeness up to any good (EFX). We establish that an MNW allocation is always EFX as long as there are at most two possible values for the goods, whereas this implication is no longer true for three or more distinct values. As a notable consequence, this proves the existence of EFX allocations for these restricted valuation functions. While the efficient computation of an MNW allocation for two possible values remains an open problem, we present a novel algorithm for directly constructing EFX allocations in this setting. Finally, we study the question of whether an MNW allocation implies any EFX guarantee for general additive valuation functions under a natural new interpretation of approximate EFX allocations.


title: Supercatastrophic disruption of asteroids in the context of SOHO comet, fireball and meteor observations

abstract: Granvik et al. (2016) report an absence of asteroids on orbits with perihelia near the Sun that they attribute to the 'supercatastrophic disruption' of these bodies. Here we investigate whether there is evidence for this process among other bodies with similarly low perihelia: near-Earth asteroids, SOHO comets, as well as meter-sized and millimeter-sized meteoroids. We determine no known near-Earth asteroids have past (last 10^4 years) histories residing significantly inside the Granvik et al. (2016) limit, indirectly supporting the disruption hypothesis. The exception is asteroid (467372) 2004 LG which spent 2500 years within this limit, and thus presents a challenge to that theory. Phaethon has a perihelion distance hovering just above the limit and may be undergoing slow disruption, which may be the source of its dust complex. We find that the rate at which ungrouped SOHO comets are observed is consistent with expected rates for the injection of small (25 m) class asteroids into the near-Sun region and suggest that this fraction of the SOHO-observed comet population may in fact be asteroidal in origin. We also find that there is an absence of meter-sized bodies with near-Sun perihelia but an excess of millimeter-sized meteoroids. This implies that if near-Sun asteroids disrupt, they do not simply fragment into meter-sized chunks but disintegrate ultimately into millimeter-sized particles. We propose that the disruption of near-Sun asteroids as well as the anomalous brightening and destruction processes that affect SOHO comets occur through meteoroid erosion, that is, the removal of material through impacts by high-speed near-Sun meteoroids.


title: Some Properties of Lebesgue Fuzzy Metric Spaces

abstract: In this paper, we establish a sequential characterisation of Lebesgue fuzzy metric and explore the relationship between Lebesgue, weak G-complete and compact fuzzy metric spaces. We also discuss the Lebesgue property of several well-known fuzzy metric spaces.


title: Coronary Artery Disease Diagnosis; Ranking the Significant Features Using Random Trees Model

abstract: Heart disease is one of the most common diseases in middle-aged citizens. Among the vast number of heart diseases, the coronary artery disease (CAD) is considered as a common cardiovascular disease with a high death rate. The most popular tool for diagnosing CAD is the use of medical imaging, e.g., angiography. However, angiography is known for being costly and also associated with a number of side effects. Hence, the purpose of this study is to increase the accuracy of coronary heart disease diagnosis through selecting significant predictive features in order of their ranking. In this study, we propose an integrated method using machine learning. The machine learning methods of random trees (RTs), decision tree of C5.0, support vector machine (SVM), decision tree of Chi-squared automatic interaction detection (CHAID) are used in this study. The proposed method shows promising results and the study confirms that RTs model outperforms other models.


title: Electric Field Propagation Through Singular Value Decomposition

abstract: We demonstrate that the singular value decomposition algorithm in conjunction with the fast Fourier transform or finite difference procedures provides a straightforward and accurate method for rapidly propagating electric fields in the one-way Helmholtz formalism.


title: E_6 inspired composite Higgs model and baryon asymmetry generation

abstract: The breakdown of SU(6) global symmetry down to its SU(5) subgroup near the scale f > 10 TeV in the strongly interacting sector within the E_6 inspired composite Higgs model (E6CHM) gives rise to a set of pseudo-Nambu-Goldstone bosons (pNGBs) that involves one Standard Model (SM) singlet scalar, a SM-like Higgs doublet and an SU(3)_C triplet of scalar fields, $T$. We argue that the baryon number violation in the E6CHM can induce the observed matter-antimatter asymmetry if CP is violated. The coloured triplet of scalar fields with mass in the few TeV range plays a key role in this process and may lead to a distinct new physics signal that can be detected at the LHC in the near future.


title: Quantum annealing with capacitive-shunted flux qubits

abstract: Quantum annealing (QA) provides us with a way to solve combinatorial optimization problems. In the previous demonstration of the QA, a superconducting flux qubit (FQ) was used. However, the flux qubits in these demonstrations have a short coherence time such as tens of nano seconds. For the purpose to utilize quantum properties, it is necessary to use another qubit with a better coherence time. Here, we propose to use a capacitive-shunted flux qubit (CSFQ) for the implementation of the QA. The CSFQ has a few order of magnitude better coherence time than the FQ used in the QA. We theoretically show that, although it is difficult to perform the conventional QA with the CSFQ due to the form and strength of the interaction between the CSFQs, a spin-lock based QA can be implemented with the CSFQ even with the current technology. Our results pave the way for the realization of the practical QA that exploits quantum advantage with long-lived qubits.


title: \'Etale cohomology of arithmetic schemes and zeta values of arithmetic surfaces

abstract: In this paper, we give an approach to the zeta values of a (proper regular) arithmetic scheme X at the integers r>=d:=dim(X), using \'etale cohomology of X with Q_p(r) and Z_p(r)-coefficients.


title: Full Waveform Inversion with Adaptive Regularization

abstract: Regularization is necessary for solving nonlinear ill-posed inverse problems arising in different fields of geosciences. The base of a suitable regularization is the prior expressed by the regularizer, which can be non-adaptive or adaptive (data-driven). In this paper, we propose general black-box regularization algorithms for solving nonlinear inverse problems such as full-waveform inversion (FWI), which admit empirical priors that are determined adaptively by sophisticated denoising algorithms. The nonlinear inverse problem is solved by a proximal Newton method, which generalizes the traditional Newton step in such a way to involve the gradients/subgradients of a (possibly non-differentiable) regularization function through operator splitting and proximal mappings. Furthermore, it requires to account for the Hessian matrix in the regularized least-squares optimization problem. We propose two different splitting algorithms for this task. In the first, we compute the Newton search direction with an iterative method based upon the first-order generalized iterative shrinkage-thresholding algorithm (ISTA), and hence Newton-ISTA (NISTA). The iterations require only Hessian-vector products to compute the gradient step of the quadratic approximation of the nonlinear objective function. The second relies on the alternating direction method of multipliers (ADMM), and hence Newton-ADMM (NADMM), where the least-square optimization subproblem and the regularization subproblem in the composite are decoupled through auxiliary variable and solved in an alternating mode. We compare NISTA and NADMM numerically by solving full-waveform inversion with BM3D regularizations. The tests show promising results obtained by both algorithms. However, NADMM shows a faster convergence rate than Newton-ISTA when using L-BFGS to solve the Newton system.


title: Source coding of audio signals with a generative model

abstract: We consider source coding of audio signals with the help of a generative model. We use a construction where a waveform is first quantized, yielding a finite bitrate representation. The waveform is then reconstructed by random sampling from a model conditioned on the quantized waveform. The proposed coding scheme is theoretically analyzed. Using SampleRNN as the generative model, we demonstrate that the proposed coding structure provides performance competitive with state-of-the-art source coding tools for specific categories of audio signals.


title: Reduced expression of minimal infinite reduced words of affine Weyl groups

abstract: For an infinite Coxeter system, one can extend the weak right order to the set of infinite reduced words. This is called limit weak order. In [Transformation Groups 18(1), 2013, 179-231], Lam and Pylyavskyy showed that for affine Weyl groups of type $\widetilde{A}_n$ minimal infinite reduced words under the limit weak order are precisely those infinite Coxeter elements and asked the question of characterization, in terms of infinite reduced words, of the minimal elements of the limit weak order for other affine types. In this paper, we answer this question by characterizing the minimal infinite reduced words for other irreducible affine Weyl groups by one of their reduced expressions.


title: Graph-based Interpolation of Feature Vectors for Accurate Few-Shot Classification

abstract: In few-shot classification, the aim is to learn models able to discriminate classes using only a small number of labeled examples. In this context, works have proposed to introduce Graph Neural Networks (GNNs) aiming at exploiting the information contained in other samples treated concurrently, what is commonly referred to as the transductive setting in the literature. These GNNs are trained all together with a backbone feature extractor. In this paper, we propose a new method that relies on graphs only to interpolate feature vectors instead, resulting in a transductive learning setting with no additional parameters to train. Our proposed method thus exploits two levels of information: a) transfer features obtained on generic datasets, b) transductive information obtained from other samples to be classified. Using standard few-shot vision classification datasets, we demonstrate its ability to bring significant gains compared to other works.


title: Asymptotics of the time-discretized log-normal SABR model: The implied volatility surface

abstract: We propose a novel time discretization for the log-normal SABR model which is a popular stochastic volatility model that is widely used in financial practice. Our time discretization is a variant of the Euler-Maruyama scheme. We study its asymptotic properties in the limit of a large number of time steps under a certain asymptotic regime which includes the case of finite maturity, small vol-of-vol and large initial volatility with fixed product of vol-of-vol and initial volatility. We derive an almost sure limit and a large deviations result for the log-asset price in the limit of large number of time steps. We derive an exact representation of the implied volatility surface for arbitrary maturity and strike in this regime. Using this representation we obtain analytical expansions of the implied volatility for small maturity and extreme strikes, which reproduce at leading order known asymptotic results for the continuous time model.


title: Linking extended and plateau emissions of short gamma-ray bursts

abstract: Some short gamma-ray bursts (SGRBs) show a longer lasting emission phase, called extended emission (EE) lasting $\sim 10^{2-3}\,\rm s$, as well as a plateau emission (PE) lasting $\sim10^{4-5}\,\rm s$. While a long-lasting activity of the central engines is a promising explanation for powering both emissions, their physical origin and their emission mechanisms are still uncertain. In this work, we study the properties of the EEs and their connection with the PEs. First, we constrain the minimal Lorentz factor $\Gamma$ of the outflows powering EEs, using compactness arguments and find that the outflows should be relativistic, $\Gamma\gtrsim10$. We propose a consistent scenario for the PEs, where the outflow eventually catches up with the jet responsible for the prompt emission, injecting energy into the forward shock formed by the prior jet, which naturally results in a PE. We also derive the radiation efficiency of EEs and the Lorentz factor of the outflow within our scenario for 10 well-observed SGRBs accompanied by both EE and PE. The efficiency has an average value of $\sim3\,\%$ but shows a broad distribution ranging from $\sim0.01$ to $\sim100\%$. The Lorentz factor is $\sim20-30$, consistent with the compactness arguments. These results suggest that EEs are produced by a slower outflow via more inefficient emission than the faster outflow which causes the prompt emission with a high radiation efficiency.


title: Predicting novel superconducting hydrides using machine learning approaches

abstract: Searching for superconducting hydrides has so far largely focused on finding materials exhibiting the highest possible critical temperatures ($T_c$). This has led to a bias towards materials stabilised at very high pressures, which introduces a number of technical difficulties in experiment. Here we apply machine learning methods in an effort to identify superconducting hydrides which can operate closer to ambient conditions. The output of these models informs structure searches, from which we identify and screen stable candidates before performing electron-phonon calculations to obtain $T_c$. Hydrides of alkali and alkaline earth metals are identified as particularly promising; a $T_c$ of up to 115 K is calculated for RbH$_{12}$ at 50 GPa and a $T_c$ of up to 90 K is calculated for CsH$_7$ at 100 GPa.


title: The game of Cops and Robbers on directed graphs with forbidden subgraphs

abstract: The traditional game of cops and robbers is played on undirected graph. Recently, the same game played on directed graph is getting attention by more and more people. We knew that if we forbid some subgraph we can bound the cop number of the corresponding class of graphs. In this paper, we analyze the game of cops and robbers on $\Vec{H}$-free digraphs. However, it is not the same as the case of undirected graph. So we give a new concept ($\Vec{H}^*$-free) to get a similar conclusion about the case of undirected graph.


title: Boundary treatment of high order Runge-Kutta methods for hyperbolic conservation laws

abstract: In \cite{ZH2019}, we developed a boundary treatment method for implicit-explicit (IMEX) Runge-Kutta (RK) methods for solving hyperbolic systems with source terms. Since IMEX RK methods include explicit ones as special cases, this boundary treatment method naturally applies to explicit methods as well. In this paper, we examine this boundary treatment method for the case of explicit RK schemes of arbitrary order applied to hyperbolic conservation laws. We show that the method not only preserves the accuracy of explicit RK schemes but also possesses good stability. This compares favourably to the inverse Lax-Wendroff method in \cite{TS2010,TWSN2012} where analysis and numerical experiments have previously verified the presence of order reduction \cite{TS2010,TWSN2012}. In addition, we demonstrate that our method performs well for strong-stability-preserving (SSP) RK schemes involving negative coefficients and downwind spatial discretizations. It is numerically shown that when boundary conditions are present and the proposed boundary treatment is used, that SSP RK schemes with negative coefficients still allow for larger time steps than schemes with all non-negative coefficients. In this regard, our boundary treatment method is an effective supplement to SSP RK schemes with/without negative coefficients for initial-boundary value problems for hyperbolic conservation laws.


title: The liquid-argon scintillation pulseshape in DEAP-3600

abstract: DEAP-3600 is a liquid-argon scintillation detector looking for dark matter. Scintillation events in the liquid argon (LAr) are registered by 255 photomultiplier tubes (PMTs), and pulseshape discrimination (PSD) is used to suppress electromagnetic background events. The excellent PSD performance of LAr makes it a viable target for dark matter searches, and the LAr scintillation pulseshape discussed here is the basis of PSD. The observed pulseshape is a combination of LAr scintillation physics with detector effects. We present a model for the pulseshape of electromagnetic background events in the energy region of interest for dark matter searches. The model is composed of a) LAr scintillation physics, including the so-called intermediate component, b) the time response of the TPB wavelength shifter, including delayed TPB emission at $\mathcal O$(ms) time-scales, and c) PMT response. TPB is the wavelength shifter of choice in most LAr detectors. We find that approximately 10\% of the intensity of the wavelength-shifted light is in a long-lived state of TPB. This causes light from an event to spill into subsequent events to an extent not usually accounted for in the design and data analysis of LAr-based detectors.


title: Long term planning of military aircraft flight and maintenance operations

abstract: We present the Flight and Maintenance Planning (FMP) problem in its military variant and applied to long term planning. The problem has been previously studied for short- and medium-term horizons only. We compare its similarities and differences with previous work and prove its complexity. We generate scenarios inspired by the French Air Force fleet. We formulate an exact Mixed Integer Programming (MIP) model to solve the problem in these scenarios and we analyse the performance of the solving method under these circumstances. A heuristic was built to generate fast feasible solutions, that in some cases were shown to help warm-start the model.


title: An optimized pipeline for functional connectivity analysis in the rat brain

abstract: Resting state functional MRI (rs-fMRI) is a widespread and powerful tool for investigating functional connectivity and brain disorders. However, functional connectivity analysis can be seriously affected by random and structured noise from non-neural sources such as physiology. Thus, it is essential to first reduce thermal noise and then correctly identify and remove non-neural artefacts from rs-fMRI signals through optimized data processing methods. However, existing tools that correct for these effects have been developed for human brain and are not readily transposable to rat data. Therefore, the aim of the present study was to establish a data processing pipeline that can robustly remove random and structured noise from rat rs-fMRI data. It includes a novel denoising approach based on the Marchenko-Pastur Principle Component Analysis (MP-PCA) method, FMRIB's ICA-based Xnoiseifier (FIX) for automatic artefact classification and cleaning, and global signal regression. Our results show that: I) MP-PCA denoising substantially improves the temporal signal-to-noise ratio; II) the pre-trained FIX classifier achieves a high accuracy in artefact classification; III) both artefact cleaning and global signal regression are essential steps in minimizing the within-group variability in control animals and identifying functional connectivity changes in a rat model of sporadic Alzheimer's disease, as compared to controls.


title: Existence and uniqueness of $S^1$-invariant K\"ahler-Ricci solitons

abstract: We use the momentum construction for $S^1$-invariant K\"ahler metrics as developed by Hwang-Singer to construct new examples of steady K\"ahler-Ricci solitons. We also prove that these solitons are unique in their K\"ahler class, provided the vector field and the asymptotic behaviour are fixed.


title: Detecting Deception Attacks on Autonomous Vehicles via Linear Time-Varying Dynamic Watermarking

abstract: Cyber-physical systems (CPS) such as autonomous vehicles rely on both on-board sensors and external communications to estimate their state. Unfortunately, these communications render the system vulnerable to cyber-attacks. While many attack detection methods have begun to address these concerns, they are limited to linear time-invariant (LTI) systems. Though LTI system models provide accurate approximations for CPS such as autonomous vehicles at constant speed and turning radii, they are inaccurate for more complex motions such as lane changes, turns, and changes in velocity. Since these more complex motions are more suitably described by linear time-varying (LTV) system models rather than LTI models, Dynamic Watermarking, which adds a private excitation to the input signal to validate measurements, has recently been extended to LTV systems. However, this extension does not allow for LTV systems that require several steps before the effect of a given control input can be seen in the measurement signal. Additionally, there is no consideration for the time-varying effects of auto-correlation. Furthermore, a proof of concept was only provided using simulations of a simplified model. This paper relaxes the requirement for inputs to be visible in a single step and constructs an auto-correlation normalizing factor to remove the effects of auto-correlation. In addition, Dynamic Watermarking is applied to a high-fidelity vehicle model in carsim and a 1/10 scale autonomous rover to further reinforce the proof of concept for realistic systems. In each case, the vehicle follows a predefined path with time-varying velocity and turning radii. A replay attack, which replays previously recorded measurements, is shown to be detectable using LTV Dynamic Watermarking in a quick and repeatable manner.


title: Translating solutions of the nonparametric mean curvature flow with nonzero Neumann boundary data in product manifold $M^{n}\times\mathbb{R}$

abstract: In this paper, we can prove the existence of translating solutions to the nonparametric mean curvature flow with nonzero Neumann boundary data in a prescribed product manifold $M^{n}\times\mathbb{R}$, where $M^{n}$ is an $n$-dimensional ($n\geq2$) complete Riemannian manifold with nonnegative Ricci curvature, and $\mathbb{R}$ is the Euclidean $1$-space.


title: Domination number in the annihilating-submodule graph of modules over commutative rings

abstract: Let $M$ be a module over a commutative ring $R$. The annihilating-submodule graph of $M$, denoted by $AG(M)$, is a simple graph in which a non-zero submodule $N$ of $M$ is a vertex if and only if there exists a non-zero proper submodule $K$ of $M$ such that $NK=(0)$, where $NK$, the product of $N$ and $K$, is denoted by $(N:M)(K:M)M$ and two distinct vertices $N$ and $K$ are adjacent if and only if $NK=(0)$. This graph is a submodule version of the annihilating-ideal graph and under some conditions, is isomorphic with an induced subgraph of the Zariski topology-graph $G(\tau_T)$ which was introduced in (The Zariski topology-graph of modules over commutative rings, Comm. Algebra., 42 (2014), 3283--3296). In this paper, we study the domination number of $AG(M)$ and some connections between the graph-theoretic properties of $AG(M)$ and algebraic properties of module $M$.


title: The Zariski topology-graph of modules over commutative rings II

abstract: Let $M$ be a module over a commutative ring $R$. In this paper, we continue our study about the Zariski topology-graph $G(\tau_T)$ which was introduced in (The Zariski topology-graph of modules over commutative rings, Comm. Algebra., 42 (2014), 3283--3296). For a non-empty subset $T$ of $Spec(M)$, we obtain useful characterizations for those modules $M$ for which $G(\tau_T)$ is a bipartite graph. Also, we prove that if $G(\tau_T)$ is a tree, then $G(\tau_T)$ is a star graph. Moreover, we study coloring of Zariski topology-graphs and investigate the interplay between $\chi(G(\tau_T))$ and $\omega(G(\tau_T))$.


title: Optimal Sampling and Scheduling for Timely Status Updates in Multi-source Networks

abstract: We consider a joint sampling and scheduling problem for optimizing data freshness in multi-source systems. Data freshness is measured by a non-decreasing penalty function of \emph{age of information}, where all sources have the same age-penalty function. Sources take turns to generate update packets, and forward them to their destinations one-by-one through a shared channel with random delay. There is a scheduler, that chooses the update order of the sources, and a sampler, that determines when a source should generate a new packet in its turn. We aim to find the optimal scheduler-sampler pairs that minimize the total-average age-penalty at delivery times (Ta-APD) and the total-average age-penalty (Ta-AP). We prove that the Maximum Age First (MAF) scheduler and the zero-wait sampler are jointly optimal for minimizing the Ta-APD. Meanwhile, the MAF scheduler and a relative value iteration with reduced complexity (RVI-RC) sampler are jointly optimal for minimizing the Ta-AP. The RVI-RC sampler is based on a relative value iteration algorithm whose complexity is reduced by exploiting a threshold property in the optimal sampler. Finally, a low-complexity threshold-type sampler is devised via an approximate analysis of Bellman's equation. This threshold-type sampler reduces to a simple water-filling sampler for a linear age-penalty function.


title: Provenance for Regular Path Queries

abstract: Regular path queries (RPQs) the ubiquitous mechanism for querying data graphs of partially known structure. RPQs are in essence regular expressions over the edge symbols. The answer to an RPQ on a given graph (database) is the set of pairs of objects, which are connected by paths spelling words in the language of the regular path query. Often the database edges come with a weights assoaciated to them. Such weights can distances, levels of discomfort, multiplicities, etc. We model weights using semiring frameworks.


title: DRMIME: Differentiable Mutual Information and Matrix Exponential for Multi-Resolution Image Registration

abstract: In this work, we present a novel unsupervised image registration algorithm. It is differentiable end-to-end and can be used for both multi-modal and mono-modal registration. This is done using mutual information (MI) as a metric. The novelty here is that rather than using traditional ways of approximating MI, we use a neural estimator called MINE and supplement it with matrix exponential for transformation matrix computation. This leads to improved results as compared to the standard algorithms available out-of-the-box in state-of-the-art image registration toolboxes.


title: Analysis of the Rigorous Coupled Wave Approach for p-polarized light in gratings

abstract: We study the convergence properties of the two-dimensional Rigorous Coupled Wave Approach (RCWA) for p-polarized monochromatic incident light. The RCWA is a semi-analytical numerical method that is widely used to solve the boundary-value problem of scattering by a grating. The approach requires the expansion of all electromagnetic field phasors and the relative permittivity as Fourier series in the spatial variable along the direction of the periodicity of the grating. In the direction perpendicular to the grating periodicity, the domain is discretized into thin slices and the actual relative permittivity is replaced by an approximation. The approximate relative permittivity is chosen so that the solution of the Maxwell equations in each slice can be computed without further approximation. Thus, there is error due to the approximate relative permittivity as well as the trucation of the Fourier series. We show that the RCWA embodies a Galerkin scheme for a perturbed problem, and then we use tools from the Finite Element Method to show that the method converges with increasing number of retained Fourier modes and finer approximations of the relative permittivity. Numerical examples illustrate our analysis, and suggest further work.


title: Photonic crystal fiber for high resolution lensless in-line holographic microscopy

abstract: We propose to use high numerical aperture single mode optical fibers like photonic crystal fiber for lensless in-line holographic microscopy. Highly divergent beam helps to overcome the spatial sampling limitation of the image sensor. In this paper, a submicron lateral resolution has been demonstrated, with an imaging sensor of pixel pitch 1.12 micrometer and a photonic crystal fiber of mode field diameter 1.8 micrometer. In earlier methods of single-shot lensless imaging, submicron resolution has been obtained at very small working distance and field of view. The proposed method improves the resolution without compromising the working distance. A working distance of (but not limited to) ~1.7 mm with a field of View ~1.4 mm has been demonstrated.


title: Predictive inference with Fleming--Viot-driven dependent Dirichlet processes

abstract: We consider predictive inference using a class of temporally dependent Dirichlet processes driven by Fleming--Viot diffusions, which have a natural bearing in Bayesian nonparametrics and lend the resulting family of random probability measures to analytical posterior analysis. Formulating the implied statistical model as a hidden Markov model, we fully describe the predictive distribution induced by these Fleming--Viot-driven dependent Dirichlet processes, for a sequence of observations collected at a certain time given another set of draws collected at several previous times. This is identified as a mixture of P\'olya urns, whereby the observations can be values from the baseline distribution or copies of previous draws collected at the same time as in the usual P\`olya urn, or can be sampled from a random subset of the data collected at previous times. We characterise the time-dependent weights of the mixture which select such subsets and discuss the asymptotic regimes. We describe the induced partition by means of a Chinese restaurant process metaphor with a conveyor belt, whereby new customers who do not sit at an occupied table open a new table by picking a dish either from the baseline distribution or from a time-varying offer available on the conveyor belt. We lay out explicit algorithms for exact and approximate posterior sampling of both observations and partitions, and illustrate our results on predictive problems with synthetic and real data.


title: On the Unruh effect and the Thermofield Double State

abstract: The goal of this article is to present a pedagogical development of the Unruh effect and the Thermofield Double State. In part I, we construct the Rindler space-time and analyze the observer's perspective under constant acceleration in Minkowski, which motivates relating the Fourier modes in both geometries using the Bogoliubov-Valatin transformations. In part II, we examine the physics involved, which leads us to the Unruh effect. Finally, in part III, we obtain the Thermofield Double State by performing a Euclidean analysis of the field and geometry.


title: Soliton-induced liquid crystal enabled electrophoresis

abstract: Manipulation of particles by a uniform electric field, known as electrophoresis, is used in a wide array of applications. Of especial interest is electrophoresis driven by an alternating current (AC) as it eliminates electrode blocking and produces a steady motion. The known mechanisms of AC electrophoresis require that either the particle or the surrounding medium are asymmetric. This asymmetry is usually assured before the field is applied, as in the case of Janus spheres. We report on a new mechanism of AC electrophoresis, in which the symmetry is broken only when the field exceeds some threshold. The new mechanism is rooted in the nature of electrophoretic medium, which is an orientationally ordered nematic liquid crystal. Below the threshold, the director field of molecular orientation around a spherical particle is of a quadrupolar symmetry. Above the threshold, the director forms a polar self confined perturbation around the inclusion that oscillates with the frequency of the applied field and propels the sphere. The director perturbations are topologically trivial and represent particle like solitary waves, called "director bullets" or "directrons". The direction of electrophoretic transport can be controlled by the frequency of the field. The AC directron induced liquid crystal enabled electrophoresis can be used to transport microscopic cargo when other modes of electrophoresis such as induced charge electrophoresis are forbidden.


title: Chandra measurements of the proper motion of the $\gamma$-ray pulsar J0633+0632

abstract: We measured the proper motion of a $\gamma$-ray radio-quiet pulsar J0633+0632 using Chandra observations performed in 2009 and 2017. The measured proper motion is $53\pm15$~mas~yr$^{-1}$. We found that the proper motion direction does not follow the extension of the J0633+0632 pulsar wind nebula. The J0633+0632 pulsar wind nebula therefore can be a jet-like feature or a misaligned outflow. We also discuss a possible birth cite of the pulsar.


title: Centrification of Algebras and Hopf Algebras

abstract: We investigate a method of construction of central deformations of associative algebras, which we call centrification. We prove some general results in the case of Hopf algebras and provide several examples.


title: Josephson effect in type-I Weyl Semimetals

abstract: The emergent Weyl fermions in condensed matter generally break the Lorentz invariance resulting in a tilted (type-I) or over-tilted (type-II) energy dispersion. The tilting energy spectrums can lead to exotic quantum interference effects in a junction set up. Here, we theoretically investigate the Josephson current in a Weyl superconductor-Weyl (semi)metal-Weyl superconductor junction of a time-reversal (TR) broken type-I Weyl semimetal. We demonstrate that the Cooper pairs of BCS-like pairing acquire a finite momentum in case of inversion symmetric tilt. Consequently, the system exhibits tilt induced anomalous current phase relations which are manifested by supercurrent $0$-$\pi$ transition and Josephson $\phi$ junction. On the contrary, these effects remain absent in case of inversion breaking tilt and for FFLO-like pairing in the Weyl superconductor. We further chart out qualitative differences between the two distinct types of pairings by studying the critical current dependency on junction length. Our study opens a new avenue to probe the unconventional superconducting pairings in TR-broken Weyl semimetals. It is also quite interesting that the tilting in Weyl nodes naturally leads to anomalous current phase relations in this model without any magnetic manipulation!


title: Non-Arrhenius behavior and fragile-to-strong transition of glass-forming liquids

abstract: Characterization of the non-Arrhenius behavior of glass-forming liquids is a broad avenue for research toward the understanding of the formation mechanisms of noncrystalline materials. In this context, this paper explores the main properties of the viscosity of glass-forming systems, considering super-Arrhenius diffusive processes. We establish the viscous activation energy as a function of the temperature, measure the degree of fragility of the system, and characterize the fragile-to-strong transition through the standard Angell's plot. Our results show that the non-Arrhenius behavior observed in fragile liquids can be understood through the non-Markovian dynamics that characterize the diffusive processes of these systems. Moreover, the fragile-to-strong transition corresponds to a change in the spatio-temporal range of correlations during the glass transition process.


title: Finite-size scaling of geometric renormalization flows in complex networks

abstract: Recently, the concept of geometric renormalization group provides a good approach for studying the structural symmetry and functional invariance of complex networks. Along this line, we systematically investigate the finite-size scaling of structural and dynamical observables in geometric renormalization flows of synthetic and real evolutionary networks. Our results show that these observables can be well characterized by a certain scaling function. Specifically, we show that the critical exponent implied by the scaling function is independent of these observables but only depends on the small-world properties of the network, namely, all networks located in the small-world phase have a uniform scaling exponent, while those located in the non-small-world phase and in their critical regions have another uniform scaling. More importantly, we perform extensive experiments on real evolutionary networks with small-world characteristics, and our results show that these observables also have uniform scaling in their geometric renormalization flows. Therefore, in a sense this exponent can be used as an effective measure for classifying universal small-world and non-small-world network models.


title: The POLAR Framework: Polar Opposites Enable Interpretability of Pre-Trained Word Embeddings

abstract: We introduce POLAR - a framework that adds interpretability to pre-trained word embeddings via the adoption of semantic differentials. Semantic differentials are a psychometric construct for measuring the semantics of a word by analysing its position on a scale between two polar opposites (e.g., cold -- hot, soft -- hard). The core idea of our approach is to transform existing, pre-trained word embeddings via semantic differentials to a new "polar" space with interpretable dimensions defined by such polar opposites. Our framework also allows for selecting the most discriminative dimensions from a set of polar dimensions provided by an oracle, i.e., an external source. We demonstrate the effectiveness of our framework by deploying it to various downstream tasks, in which our interpretable word embeddings achieve a performance that is comparable to the original word embeddings. We also show that the interpretable dimensions selected by our framework align with human judgement. Together, these results demonstrate that interpretability can be added to word embeddings without compromising performance. Our work is relevant for researchers and engineers interested in interpreting pre-trained word embeddings.


title: Identification of Non-Linear RF Systems Using Backpropagation

abstract: In this work, we use deep unfolding to view cascaded non-linear RF systems as model-based neural networks. This view enables the direct use of a wide range of neural network tools and optimizers to efficiently identify such cascaded models. We demonstrate the effectiveness of this approach through the example of digital self-interference cancellation in full-duplex communications where an IQ imbalance model and a non-linear PA model are cascaded in series. For a self-interference cancellation performance of approximately 44.5 dB, the number of model parameters can be reduced by 74% and the number of operations per sample can be reduced by 79% compared to an expanded linear-in-parameters polynomial model.


title: Conformal sparse metasurfaces for wavefront manipulation

abstract: While flat metasurfaces are intensively studied, theoretical modelling of conformal metasurfaces appears to be exceptionally challenging where it demands accurate analysis of the metasurface geometry. Here, it is shown how numerical calculation of Green's function can be employed to design conformal sparse metasurfaces of arbitrary geometries within the same framework and without any accommodation. Furthermore, following the presented approach, it can be sufficient to realize only electric response to perform an efficient control of wavefronts that might simplify the design and fabrication of conformal metasurfaces.


title: Towards Quantifying the Distance between Opinions

abstract: Increasingly, critical decisions in public policy, governance, and business strategy rely on a deeper understanding of the needs and opinions of constituent members (e.g. citizens, shareholders). While it has become easier to collect a large number of opinions on a topic, there is a necessity for automated tools to help navigate the space of opinions. In such contexts understanding and quantifying the similarity between opinions is key. We find that measures based solely on text similarity or on overall sentiment often fail to effectively capture the distance between opinions. Thus, we propose a new distance measure for capturing the similarity between opinions that leverages the nuanced observation -- similar opinions express similar sentiment polarity on specific relevant entities-of-interest. Specifically, in an unsupervised setting, our distance measure achieves significantly better Adjusted Rand Index scores (up to 56x) and Silhouette coefficients (up to 21x) compared to existing approaches. Similarly, in a supervised setting, our opinion distance measure achieves considerably better accuracy (up to 20% increase) compared to extant approaches that rely on text similarity, stance similarity, and sentiment similarity


title: Local null controllability of a fluid-rigid body interaction problem with Navier slip boundary conditions

abstract: The aim of this work is to show the local null controllability of a fluid-solid interaction system by using a distributed control located in the fluid. The fluid is modeled by the incompressible Navier-Stokes system with Navier slip boundary conditions and the rigid body is governed by the Newton laws. Our main result yields that we can drive the velocities of the fluid and of the structure to 0 and we can control exactly the position of the rigid body. One important ingredient consists in a new Carleman estimate for a linear fluid-rigid body system with Navier boundary conditions. This work is done without imposing any geometrical conditions on the rigid body.


title: Ground state and low-temperature magnetism of the quasi-two-dimensional honeycomb compound InCu$_{2/3}$V$_{1/3}$O$_3$

abstract: We report a combined $^{115}$In NQR, $^{51}$V NMR and $\mu$SR spectroscopic study of the low-temperature magnetic properties of InCu$_{2/3}$V$_{1/3}$O$_3$, a quasi-two dimensional (2D) compound comprising in the spin sector a honeycomb lattice of antiferromagnetically coupled spins $S=1/2$ associated with Cu$^{2+}$ ions. Despite substantial experimental and theoretical efforts, the ground state of this material was has not been ultimately identified. In particular, two characteristic temperatures of about $\sim 40$ K and $\sim 20$ K manifesting themselves as anomalies in different magnetic measurements are discussed controversially. A combined analysis of the experimental data complemented with theoretical calculations of exchange constants enabled us to identify below 39 K an ``intermediate'' quasi-2D static spin state. This spin state is characterized by a staggered magnetization with a temperature evolution that agrees with the predictions for the 2D XY model. We observe that this state gradually transforms at 15 K into a fully developed 3D antiferromagnetic N\'eel state. We ascribe such an extended quasi-2D static regime to an effective magnetic decoupling of the honeycomb planes due to a strong frustration of the interlayer exchange interactions which inhibits long-range spin-spin correlations across the planes. Interestingly, we find indications of the topological Berezinsky-Kosterlitz-Thouless transition in the quasi-2D static state of the honeycomb spin-1/2 planes of InCu$_{2/3}$V$_{1/3}$O$_3$.


title: Efficient and Stable Graph Scattering Transforms via Pruning

abstract: Graph convolutional networks (GCNs) have well-documented performance in various graph learning tasks, but their analysis is still at its infancy. Graph scattering transforms (GSTs) offer training-free deep GCN models that extract features from graph data, and are amenable to generalization and stability analyses. The price paid by GSTs is exponential complexity in space and time that increases with the number of layers. This discourages deployment of GSTs when a deep architecture is needed. The present work addresses the complexity limitation of GSTs by introducing an efficient so-termed pruned (p)GST approach. The resultant pruning algorithm is guided by a graph-spectrum-inspired criterion, and retains informative scattering features on-the-fly while bypassing the exponential complexity associated with GSTs. Stability of the novel pGSTs is also established when the input graph data or the network structure are perturbed. Furthermore, the sensitivity of pGST to random and localized signal perturbations is investigated analytically and experimentally. Numerical tests showcase that pGST performs comparably to the baseline GST at considerable computational savings. Furthermore, pGST achieves comparable performance to state-of-the-art GCNs in graph and 3D point cloud classification tasks. Upon analyzing the pGST pruning patterns, it is shown that graph data in different domains call for different network architectures, and that the pruning algorithm may be employed to guide the design choices for contemporary GCNs.


title: Hochschild cohomology, finiteness conditions and a generalisation of $d$-Koszul algebras

abstract: Given a finite-dimensional algebra $\Lambda$ and $A \geqslant 1$, we construct a new algebra $\tilde{\Lambda}_A$, called the stretched algebra, and relate the homological properties of $\Lambda$ and $\tilde{\Lambda}_A$. We investigate Hochschild cohomology and the finiteness condition (Fg), and use stratifying ideals to show that $\Lambda$ has (Fg) if and only if $\tilde{\Lambda}_A$ has (Fg). We also consider projective resolutions and apply our results in the case where $\Lambda$ is a $d$-Koszul algebra for some $d \geqslant 2$.


title: Adaptive Importance Sampling based Neural Network framework for Reliability and Sensitivity Prediction for Variable Stiffness Composite Laminates with hybrid uncertainties

abstract: In this work, we propose to leverage the advantages of both the Artificial Neural Network (ANN) based Second Order Reliability Method (SORM) and Importance sampling to yield an Adaptive Importance Sampling based ANN, with specific application towards failure probability and sensitivity estimates of Variable Stiffness Composite Laminate (VSCL) plates, in the presence of multiple independent geometric and material uncertainties. The performance function for the case studies is defined based on the fundamental frequency of the VSCL plate. The accuracy in both the reliability estimates and sensitivity studies using the proposed method were found to be in close agreement with that obtained using the ANN based brute-force MCS method, with a significant computational savings of 95\%. Moreover, the importance of taking into account the randomness in ply thickness for failure probability estimates is also highlighted quantitatively under the sensitivity studies section.


title: Understanding the phenomenology of interacting dark energy scenarios and their theoretical bounds

abstract: Non-gravitational interaction between dark matter and dark energy has been considered in a spatially flat Friedmann-Lema\^{i}tre-Robertson-Walker (FLRW) universe. The interaction rate is assumed to be linear in the energy densities of dark matter and dark energy and it is also proportional to the Hubble rate of the FLRW universe. This kind of interaction model leads to an autonomous linear dynamical system, and depending on the coupling parameters, could be solved analytically by calculating the exponential of the matrix, defining the system. We show here that such interaction rate has a very deep connection with some well known cosmological theories. We then investigate the theoretical bounds on the coupling parameters of the interaction rate in order that the energy densities of the dark sector remain positive throughout the evolution of the universe and asymptotically converge to zero at very late times. Our analyses also point out that such linear interacting model may encounter with finite time future singularities depending on the coupling parameters as well as the dark energy state parameter.


title: Bayesian nonparametric shared multi-sequence time series segmentation

abstract: In this paper, we introduce a method for segmenting time series data using tools from Bayesian nonparametrics. We consider the task of temporal segmentation of a set of time series data into representative stationary segments. We use Gaussian process (GP) priors to impose our knowledge about the characteristics of the underlying stationary segments, and use a nonparametric distribution to partition the sequences into such segments, formulated in terms of a prior distribution on segment length. Given the segmentation, the model can be viewed as a variant of a Gaussian mixture model where the mixture components are described using the covariance function of a GP. We demonstrate the effectiveness of our model on synthetic data as well as on real time-series data of heartbeats where the task is to segment the indicative types of beats and to classify the heartbeat recordings into classes that correspond to healthy and abnormal heart sounds.


title: Estimating heterogeneous treatment effects with right-censored data via causal survival forests

abstract: Forest-based methods have recently gained in popularity for non-parametric treatment effect estimation. Building on this line of work, we introduce causal survival forests, which can be used to estimate heterogeneous treatment effects in a survival and observational setting where outcomes may be right-censored. Our approach relies on orthogonal estimating equations to robustly adjust for both censoring and selection effects under unconfoundedness. In our experiments, we find our approach to perform well relative to a number of baselines.


title: Space-time discretization for nonlinear parabolic systems with $p$-structure

abstract: In this paper we consider nonlinear parabolic systems with elliptic part which can be also degenerate. We prove optimal error estimates for smooth enough solutions. The main novelty, with respect to previous results, is that we obtain the estimates directlywithout introducing intermediate semi-discrete problems. In addition, we prove the existence of solutions of the continuous problem with the requested regularity, if the data of the problem are smooth enough.


title: Redshift and gauge choice

abstract: We show that a specific gauge choice comes extremely close to defining a frame whose preferred observers see a dipole-free CMB. In this gauge the metric is the product of a scale factor depending on all spacetime coordinates, and a metric featuring an expansion-free geodesic timelike vector field. This setup facilitates the computation of redshift and other distance measures and explains why we can have a highly isotropic CMB despite large inhomogeneities.


title: Bayesian Parameter Estimation Applied to the Li-ion Battery Single Particle Model with Electrolyte Dynamics

abstract: This paper presents a Bayesian parameter estimation approach and identifiability analysis for a lithium-ion battery model, to determine the uniqueness, evaluate the sensitivity and quantify the uncertainty of a subset of the model parameters. The analysis was based on the single particle model with electrolyte dynamics, rigorously derived from the Doyle-Fuller-Newman model using asymptotic analysis including electrode-average terms. The Bayesian approach allows complex target distributions to be estimated, which enables a global analysis of the parameter space. The analysis focuses on the identification problem (i) locally, under a set of discrete quasi-steady states of charge, and in comparison (ii) globally with a continuous excursion of state of charge. The performance of the methodology was evaluated using synthetic data from multiple numerical simulations under diverse types of current excitation. We show that various diffusivities as well as the transference number may be estimated with small variances in the global case, but with much larger uncertainty in the local estimation case. This also has significant implications for estimation where parameters might vary as a function of state of charge or other latent variables.


title: Accessing the spectral function in a current-carrying device

abstract: The presence of an electrical transport current in a material is one of the simplest and most important realisations of non-equilibrium physics. The current density breaks the crystalline symmetry and can give rise to dramatic phenomena, such as sliding charge density waves [1], insulator-to-metal transitions [2,3] or gap openings in topologically protected states [4]. Almost nothing is known about how a current influences the electron spectral function, which characterizes most of the solid's electronic, optical and chemical properties. Here we show that angle-resolved photoemission spectroscopy with a nano-scale light spot (nanoARPES) provides not only a wealth of information on local equilibrium properties, but also opens the possibility to access the local non-equilibrium spectral function in the presence of a transport current. Unifying spectroscopic and transport measurements in this way allows non-invasive local measurements of the composition, structure, many-body effects and carrier mobility in the presence of high current densities.


title: An asymptotic expansion for the fractional $p$-Laplacian and for gradient dependent nonlocal operators

abstract: Mean value formulas are of great importance in the theory of partial differential equations: many very useful results are drawn, for instance, from the well known equivalence between harmonic functions and mean value properties. In the nonlocal setting of fractional harmonic functions, such an equivalence still holds, and many applications are now-days available. The nonlinear case, corresponding to the $p$-Laplace operator, has also been recently investigated, whereas the validity of a nonlocal, nonlinear, counterpart remains an open problem. In this paper, we propose a formula for the \emph{nonlocal, nonlinear mean value kernel}, by means of which we obtain an asymptotic representation formula for harmonic functions in the viscosity sense, with respect to the fractional (variational) $p$-Laplacian (for $p\geq 2$) and to other gradient dependent nonlocal operators.


title: Alternative Models of Zebra Patterns in the Event on June 21, 2011

abstract: The analysis of the spectral characteristics of the burst radio emission on June 21, 2011 was carried out on the basis of an improved methodology for determining harmonic numbers for the corresponding stripes of the zebra structure. By using the parameters of the zebra structure in the time frequency spectrum and basing on the double plasma resonance model, the magnetic field and its dynamics, electron density, and the time variation of the distance between the stripes with harmonics s = 55 and 56 and adjacent stripes near the frequency 183 MHz have been determined in the burst generation region. The relationships between the scale characteristics of the field and the density along and across the axis of the power tube and their dependence on time have been also determined. The field obtained (1.5 G for the first harmonic and 0.75 G for the second harmonic of the plasma frequency) turned out to be so small that, firstly, it fails to explain the dynamic features of the spectrum based on MHD waves, and secondly, it results in large values for plasma betta (>1). Other possible difficulties of the generation mechanism of bursts with zebra pattern based on the double plasma resonance are also noted. Another possible mechanism, with whistlers explains qualitatively the main observational characteristics of this zebra. The magnetic field required in this case is about 4.5 G, and the plasma betta is 0.14, which fully corresponds to the coronal conditions.


title: Shape, connectedness percolation and electrical conductivity of clusters in suspensions of hard platelets

abstract: Using Monte Carlo simulations, we investigate how geometric percolation and electrical conductivity in suspensions of hard conducting platelets are affected by the addition of platelets and their degree of spontaneous alignment. For aspect ratios $10, 25$ and $50$, we consistently observe a monotonically decreasing percolation threshold as a function of volume fraction. In the nematic phase, the distribution of particles inside the percolating clusters becomes less spherically symmetric and the aspect ratio of the clusters increases. However, the clusters are also anisotropically shaped in the isotropic phase, although their aspect ratio remains constant as a function of volume fraction. Mapping the percolating clusters of platelets to linear resistor networks, and assigning unit conductance to all connections, we find a constant conductivity both across the isotropic-nematic transition and in the respective stable phases. This behaviour is consistent with the other observed topological properties of the networks. On the contrary, using an anisotropic conductance model, the network conductivity decreases with increasing volume fraction in the isotropic, and further diminishes at the onset of the nematic. Hence, our observations consistently suggest that unlike for rod-like fillers, the network structures that arise from platelet suspensions are neither very sensitive to the particle aspect ratio nor to alignment, thus rendering platelets less versatile fillers for dispersion in conductive composites.


title: Nonlinear spectral instability of steady-state flow of a viscous liquid past a rotating obstacle

abstract: We show that a steady-state solution ${\bf U}$ to the system of equations of a Navier-Stokes flow past a rotating body is nonlinearly unstable if the associated linear operator $\cal L$ has a part of the spectrum in the half-plane $\{\lambda\in\mathbb C;\ {\rm Re}\, \lambda>0\}$. Our result does not follow from known methods, %on spectral instability, mainly because the basic nonlinear operator is not bounded in the same space in which the instability is studied. As an auxiliary result of independent interest, we also show that the uniform growth bound of the $C_0$--semigroup ${\rm e}^{{\cal L} t}$ is equal to the spectral bound of operator $\mathcal L$.


title: Semantic Sensitive TF-IDF to Determine Word Relevance in Documents

abstract: Keyword extraction has received an increasing attention as an important research topic which can lead to have advancements in diverse applications such as document context categorization, text indexing and document classification. In this paper we propose STF-IDF, a novel semantic method based on TF-IDF, for scoring word importance of informal documents in a corpus. A set of nearly four million documents from health-care social media was collected and was trained in order to draw semantic model and to find the word embeddings. Then, the features of semantic space were utilized to rearrange the original TF-IDF scores through an iterative solution so as to improve the moderate performance of this algorithm on informal texts. After testing the proposed method with 200 randomly chosen documents, our method managed to decrease the TF-IDF mean error rate by a factor of 50% and reaching the mean error of 13.7%, as opposed to 27.2% of the original TF-IDF.


title: CAHPHF: Context-Aware Hierarchical QoS Prediction with Hybrid Filtering

abstract: With the proliferation of Internet-of-Things and continuous growth in the number of web services at the Internet-scale, the service recommendation is becoming a challenge nowadays. One of the prime aspects influencing the service recommendation is the Quality-of-Service (QoS) parameter, which depicts the performance of a web service. In general, the service provider furnishes the value of the QoS parameters during service deployment. However, in reality, the QoS values of service vary across different users, time, locations, etc. Therefore, estimating the QoS value of service before its execution is an important task, and thus the QoS prediction has gained significant research attention. Multiple approaches are available in the literature for predicting service QoS. However, these approaches are yet to reach the desired accuracy level. In this paper, we study the QoS prediction problem across different users, and propose a novel solution by taking into account the contextual information of both services and users. Our proposal includes two key steps: (a) hybrid filtering and (b) hierarchical prediction mechanism. On the one hand, the hybrid filtering method aims to obtain a set of similar users and services, given a target user and a service. On the other hand, the goal of the hierarchical prediction mechanism is to estimate the QoS value accurately by leveraging hierarchical neural-regression. We evaluate our framework on the publicly available WS-DREAM datasets. The experimental results show the outperformance of our framework over the major state-of-the-art approaches.


title: Mining Changes in User Expectation Over Time From Online Reviews

abstract: Customers post online reviews at any time. With the timestamp of online reviews, they can be regarded as a flow of information. With this characteristic, designers can capture the changes in customer feedback to help set up product improvement strategies. Here we propose an approach for capturing changes of user expectation on product affordances based on the online reviews for two generations of products. First, the approach uses a rule-based natural language processing method to automatically identify and structure product affordances from review text. Then, inspired by the Kano model which classifies preferences of product attributes in five categories, conjoint analysis is used to quantitatively categorize the structured affordances. Finally, changes of user expectation can be found by applying the conjoint analysis on the online reviews posted for two successive generations of products. A case study based on the online reviews of Kindle e-readers downloaded from amazon.com shows that designers can use our proposed approach to evaluate their product improvement strategies for previous products and develop new product improvement strategies for future products.


title: Vocabulary-based Method for Quantifying Controversy in Social Media

abstract: Identifying controversial topics is not only interesting from a social point of view, it also enables the application of methods to avoid the information segregation, creating better discussion contexts and reaching agreements in the best cases. In this paper we develop a systematic method for controversy detection based primarily on the jargon used by the communities in social media. Our method dispenses with the use of domain-specific knowledge, is language-agnostic, efficient and easy to apply. We perform an extensive set of experiments across many languages, regions and contexts, taking controversial and non-controversial topics. We find that our vocabulary-based measure performs better than state of the art measures that are based only on the community graph structure. Moreover, we shows that it is possible to detect polarization through text analysis.


title: BasConv: Aggregating Heterogeneous Interactions for Basket Recommendation with Graph Convolutional Neural Network

abstract: Within-basket recommendation reduces the exploration time of users, where the user's intention of the basket matters. The intent of a shopping basket can be retrieved from both user-item collaborative filtering signals and multi-item correlations. By defining a basket entity to represent the basket intent, we can model this problem as a basket-item link prediction task in the User-Basket-Item~(UBI) graph. Previous work solves the problem by leveraging user-item interactions and item-item interactions simultaneously. However, collectivity and heterogeneity characteristics are hardly investigated before. Collectivity defines the semantics of each node which should be aggregated from both directly and indirectly connected neighbors. Heterogeneity comes from multi-type interactions as well as multi-type nodes in the UBI graph. To this end, we propose a new framework named \textbf{BasConv}, which is based on the graph convolutional neural network. Our BasConv model has three types of aggregators specifically designed for three types of nodes. They collectively learn node embeddings from both neighborhood and high-order context. Additionally, the interactive layers in the aggregators can distinguish different types of interactions. Extensive experiments on two real-world datasets prove the effectiveness of BasConv. Our code is available online at https://github.com/JimLiu96/basConv.


title: Hasse diagrams with large chromatic number

abstract: For every positive integer $n$, we construct a Hasse diagram with $n$ vertices and chromatic number $\Omega(n^{1/4})$, which significantly improves on the previously known best constructions of Hasse diagrams having chromatic number $\Theta(\log n)$. In addition, if we also require that our Hasse diagram has girth at least $k\geq 5$, we can achieve a chromatic number of at least $n^{\frac{1}{2k-3}+o(1)}$. These results have the following surprising geometric consequence. They imply the existence of a family $\mathcal{C}$ of $n$ curves in the plane such that the disjointness graph $G$ of $\mathcal{C}$ is triangle-free (or have high girth), but the chromatic number of $G$ is polynomial in $n$. Again, the previously known best construction, due to Pach, Tardos and T\'oth, had only logarithmic chromatic number.


title: Predicting Yield Performance of Parents in Plant Breeding: A Neural Collaborative Filtering Approach

abstract: Experimental corn hybrids are created in plant breeding programs by crossing two parents, so-called inbred and tester, together. Identification of best parent combinations for crossing is challenging since the total number of possible cross combinations of parents is large and it is impractical to test all possible cross combinations due to limited resources of time and budget. In the 2020 Syngenta Crop Challenge, Syngenta released several large datasets that recorded the historical yield performances of around 4% of total cross combinations of 593 inbreds with 496 testers which were planted in 280 locations between 2016 and 2018 and asked participants to predict the yield performance of cross combinations of inbreds and testers that have not been planted based on the historical yield data collected from crossing other inbreds and testers. In this paper, we present a collaborative filtering method which is an ensemble of matrix factorization method and neural networks to solve this problem. Our computational results suggested that the proposed model significantly outperformed other models such as LASSO, random forest (RF), and neural networks. Presented method and results were produced within the 2020 Syngenta Crop Challenge.


title: The connection between the UV/optical and X-ray emission in the neutron star low-mass X-ray binary Aql X-1

abstract: Accreting neutron stars and black holes in low-mass X-ray binaries (LMXBs) radiate across the electromagnetic spectrum. Linking the emission produced at different wavelengths can provide valuable information about the accretion process and any associated outflows. In this work, we study simultaneous X-ray and UV/optical observations of the neutron star LMXB \source, obtained with the Neil Gehrels Swift Observatory during its 2013, 2014 and 2016 accretion outbursts. We find that the UV/optical and X-ray emission are strongly correlated during all three outbursts. For the 2013 and 2014 episodes, which had the best Swift sampling, we find that the correlation between the UV/optical and X-ray fluxes is significantly steeper during the decay (soft state) of the outburst than during the rise (hard-to-soft state). We observe an UV/optical hysteresis behaviour that is likely linked to the commonly known X-ray spectral hysteresis pattern. For the decays of the three outbursts we obtain a correlation index that cannot be directly explained by any single model. We suspect that this is a result of multiple emission processes contributing to the UV/optical emission, but we discuss alternative explanations. Based on these correlations, we discuss which mechanisms are likely dominating the UV/optical emission of Aql X-1.


title: Non-$\forall$-homogeneity in free groups

abstract: We prove that non-abelian free groups of finite rank at least 3 or of countable rank are not $\forall$-homogeneous. We answer three open questions from Kharlampovich, Myasnikov, and Sklinos regarding whether free groups, finitely generated elementary free groups, and non-abelian limit groups form special kinds of Fra\"iss\'e classes in which embeddings must preserve $\forall$-formulas. We also provide interesting examples of countable non-finitely generated elementary free groups.


title: Search for the optical counterpart of the GW170814 gravitationalwave event with the VLT Survey Telescope

abstract: We report on the search for the optical counterpart of the gravitational event GW170814, which was carried out with the VLT Survey Telescope (VST) by the GRAvitational Wave Inaf TeAm (GRAWITA). Observations started 17.5 hours after the LIGO/Virgo alert and we covered an area of 99 deg$^2$ that encloses $\sim 77\%$ and $\sim 59\%$ of the initial and refined localization probability regions, respectively. A total of six epochs were secured over nearly two months. The survey reached an average limiting magnitude of 22 AB mag in the $r-$band. After assuming the model described in Perna et al. 2019 that derives as possible optical counterpart of a BBH event a transient source declining in about one day, we have computed a survey efficiency of about $5\%$. This paper describes the VST observational strategy and the results obtained by our analysis pipelines developed to search for optical transients in multi-epoch images. We report the catalogue of the candidates with possible identifications based on light-curve fitting. We have identified two dozens of SNe, nine AGNs, one QSO. Nineteen transients characterized by a single detection were not classified. We have restricted our analysis only to the candidates that fall into the refined localization map. None out of 39 left candidates could be positively associated with GW170814. This result implies that the possible emission of optical radiation from a BBH merger had to be fainter than r $\sim$ 22 ($L_{optical}$ $\sim$ $1.4 \times 10^{42}$ erg/s) on a time interval ranging from a few hours up to two months after the GW event.


title: Crossed-beam pump-probe microscopy

abstract: We present a new imaging method for pump-probe microscopy that explores non-collinear excitation. This method (crossed-beam pump-probe microscopy, or CBPM) can significantly improve the axial resolution when imaging through low-NA lenses, providing an alternative way for depth resolved, large field-of-view imaging. We performed a proof-of-concept demonstration, characterized CBPM's resolution using different imaging lenses, and measured an enhanced axial resolution for certain types of low-NA lenses.


title: PMIndia -- A Collection of Parallel Corpora of Languages of India

abstract: Parallel text is required for building high-quality machine translation (MT) systems, as well as for other multilingual NLP applications. For many South Asian languages, such data is in short supply. In this paper, we described a new publicly available corpus (PMIndia) consisting of parallel sentences which pair 13 major languages of India with English. The corpus includes up to 56000 sentences for each language pair. We explain how the corpus was constructed, including an assessment of two different automatic sentence alignment methods, and present some initial NMT results on the corpus.


title: Rotation, Translation, and Cropping for Zero-Shot Generalization

abstract: Deep Reinforcement Learning (DRL) has shown impressive performance on domains with visual inputs, in particular various games. However, the agent is usually trained on a fixed environment, e.g. a fixed number of levels. A growing mass of evidence suggests that these trained models fail to generalize to even slight variations of the environments they were trained on. This paper advances the hypothesis that the lack of generalization is partly due to the input representation, and explores how rotation, cropping and translation could increase generality. We show that a cropped, translated and rotated observation can get better generalization on unseen levels of two-dimensional arcade games from the GVGAI framework. The generality of the agents is evaluated on both human-designed and procedurally generated levels.


title: Gapped Dirac cones and spin texture in thin film topological insulator

abstract: The protected surface states of topological insulators (TIs) form gapless Dirac cones corresponding non-degenerate eigenstates with helical spin polarisation. The presence of a warping term deforms the isotropic cone of the most simple model into snowflake Fermi surfaces as in Bi2Se3 and Bi2Te3. Their features have been identified in STM quasiparticle interference (QPI) experiments on isolated surfaces. Here we investigate the QPI spectrum for the TI thin-film geometry with finite tunnelling between the surface states. This leads to a dramatic change of spectrum due to gapping and a change in spin texture that should leave distinct signatures in the QPI pattern. We consider both normal and magnetic exchange scattering from the surface impurities and obtain the scattering t-matrix in Born approximation as well as the general closed solution. We show the expected systematic variation of QPI snowflake intensity features by varying film thickness and study, in particular, the influence on backscattering processes. We predict the variation of the QPI spectrum for Bi2Se3 thin films using the observed gap dependence from ARPES results.


title: Approximation of Riemannian measures by Stein's method

abstract: In this article, we present the theoretical basis for an approach to Stein's method for probability distributions on Riemannian manifolds. Using a semigroup representation for the solution to the Stein equation, we use tools from stochastic calculus to estimate the derivatives of the solution, yielding a bound on the Wasserstein distance. We first assume the Bakry-Emery-Ricci tensor is bounded below by a positive constant, after which we deal separately with the case of uniform approximation on a compact manifold. Applications of these results are currently under development and will appear in a subsequent article.


title: The Empirical Core of the Multicommodity Flow Game Without Side Payments

abstract: Policy makers focus on stable strategies as the ones adopted by rational players. If there are many such solutions an important question is how to select amongst them. We study this question for the Multicommodity Flow Coalition Game, used to model cooperation between autonomous systems (AS) in the Internet. In short, strategies are flows in a capacitated network. The payoff to a node is the total flow which it terminates. Markakis-Saberi show this game is balanced and hence has a non-empty core by Scarf's Theorem. In the transferable utility (TU) version this gives a polynomial-time algorithm to find core elements, but for ASs side payments are not natural. Finding core elements in NTU games tends to be computationally more difficult. For this game, the only previous result gives a procedure to find a core element when the supply graph is a path. We extend their work with an algorithm, Incorporate, which produces many different core elements. We use our algorithm to evaluate specific instances by generating many core vectors. We call these the Empirical Core for a game. We find that sampled core vectors are more consistent with respect to social welfare (SW) than for fairness (minimum payout). For SW they tend to do as well as the optimal linear program value $LP_{sw}$. In contrast, there is a larger range in fairness for the empirical core; the fairness values tend to be worse than the optimal fairness LP value $LP_{fair}$. We study this discrepancy in the setting of general graphs with single-sink demands. In this setting we give an algorithm which produces core vectors that simultaneously maximize SW and fairness. This leads to the following bicriteria result for general games. Given any core-producing algorithm and any $\lambda \in (0,1)$, one can produce an approximate core vector with fairness (resp. social welfare) at least $\lambda LP_{fair}$ (resp $(1-\lambda) LP_{sw}$).


title: Depthwise-STFT based separable Convolutional Neural Networks

abstract: In this paper, we propose a new convolutional layer called Depthwise-STFT Separable layer that can serve as an alternative to the standard depthwise separable convolutional layer. The construction of the proposed layer is inspired by the fact that the Fourier coefficients can accurately represent important features such as edges in an image. It utilizes the Fourier coefficients computed (channelwise) in the 2D local neighborhood (e.g., 3x3) of each position of the input map to obtain the feature maps. The Fourier coefficients are computed using 2D Short Term Fourier Transform (STFT) at multiple fixed low frequency points in the 2D local neighborhood at each position. These feature maps at different frequency points are then linearly combined using trainable pointwise (1x1) convolutions. We show that the proposed layer outperforms the standard depthwise separable layer-based models on the CIFAR-10 and CIFAR-100 image classification datasets with reduced space-time complexity.


title: Correlated double-electron additions at the edge of a two-dimensional electronic system

abstract: We create laterally large and low disorder quantum well based quantum dots to study single electron additions to two dimensional electron systems (2DES). Electrons tunnel into these dots across an AlGaAs tunnel barrier from a single $n+$ electrode. Using single-electron capacitance spectroscopy in a dilution refrigerator, we identify capacitance peaks for the addition of the first electron to a dot and record subsequent peaks in the addition spectrum up to occupancies of thousands of electrons. Here, we report two remarkable phenomena that occur in the filling factor range $\nu=2$ to $\nu=5$ while selectively probing electron additions to the edge states of the dot: (1) Coulomb blockade peaks arise from the entrance of two electrons rather than one; (2) at and near filling factor 5/2 and at fixed gate voltage, these double-height peaks appear uniformly with a periodicity of $h/2e$. At other filling factors in the range $\nu=2$ to $\nu=5$, the mean periodicity for the twice-height electron peaks remains $h/2e$, but the twice-height peaks are instead further bunched into pairs of double-height peaks, with pairs spaced $h/e$ apart. The unusual two-electron Coulomb blockade peaks suggest a novel pair tunneling effect that involves electron correlations that arise in the quantum dot, with spectra at $\nu=5/2$ identical to those previously only seen in superconducting dots.


title: Determining crucial factors for the popularity of scientific articles

abstract: Using a set of over 70.000 records from PLOS One journal consisting of 37 lexical, sentiment and bibliographic variables we perform analysis backed with machine learning methods to predict the class of popularity of scientific papers defined by the number of times they have been viewed. Our study shows correlations among the features and recovers a threshold for the number of views that results in the best prediction results in terms of Matthew's correlation coefficient. Moreover, by creating a variable importance plot for random forest classifier, we are able to reduce the number of features while keeping similar predictability and determine crucial factors responsible for the popularity.


title: Uniform stability of the inverse spectral problem for a convolution integro-differential operator

abstract: The operator of double differentiation, perturbed by the composition of the differentiation operator and a convolution one, on a finite interval with Dirichlet boundary conditions is considered. We obtain uniform stability of recovering the convolution kernel from the spectrum in a weighted $L_2$-norm and in a weighted uniform norm. For this purpose, we successively prove uniform stability of each step of the algorithm for solving this inverse problem in both the norms. Besides justifying the numerical computations, the obtained results reveal some essential difference from the classical inverse Sturm-Liouville problem.


title: Tunable bandwidths and gaps in twisted double bilayer graphene system on the verge of correlations

abstract: We use temperature-dependent resistivity in small-angle twisted double bilayer graphene to measure bandwidths and gaps of the bands. This electron-hole asymmetric system has one set of non-dispersing bands that splits into two flat bands with the electric field - distinct from the twisted bilayer system. With electric field, the gap between two emergent flat bands increases monotonically and bandwidth is tuned from 1 meV to 15 meV. These two flat bands with gap result in a series of thermally induced insulator to metal transitions - we use a model, at charge neutrality, to measure the bandwidth using only transport measurements. Having two flat bands with tunable gap and bandwidth offers an opportunity to probe the emergence of correlations.


title: Nanoscale degeneracy lifting in a geometrically frustrated antiferromagnet

abstract: The local atomic and magnetic structures of the compounds $A$MnO$_2$ ($A$ = Na, Cu), which realize a geometrically frustrated, spatially anisotropic triangular lattice of Mn spins, have been investigated by atomic and magnetic pair distribution function analysis of neutron total scattering data. Relief of frustration in CuMnO$_2$ is accompanied by a conventional cooperative symmetry-lowering lattice distortion driven by N\'eel order. In NaMnO$_2$, however, the distortion has a short-range nature. A cooperative interaction between the locally broken symmetry and short-range magnetic correlations lifts the magnetic degeneracy on a nanometer length scale, enabling long-range magnetic order in the Na-derivative. The degree of frustration, mediated by residual disorder, contributes to the rather differing pathways to a single, stable magnetic ground state in these two related compounds. This study demonstrates how nanoscale structural distortions that cause local-scale perturbations can lift the ground state degeneracy and trigger macroscopic magnetic order.


title: Monopoles, shockwaves and the classical double copy

abstract: The classical double copy relates exact solutions in biadjoint scalar, gauge and gravity theories. Recently, nonperturbative solutions have been found in biadjoint theory, which have been speculated to be related to the Wu-Yang monopole in gauge theory. We show that this seems not to be the case, by considering monopole solutions in the infinitely boosted (shockwave) limit. Furthermore, we show that the Wu-Yang monopole is instead related to the Taub-NUT solution, whose previously noted single copy is that of an abelian-like (Dirac) monopole. Our results demonstrate how abelian and non-abelian gauge theory objects can be associated with the same gravity object, and clarify a number of open questions concerning the scope of the classical double copy.


title: A note on the strong Feller property of diffusion processes

abstract: In this note we prove the strong Feller property of a strong Markov quasi diffusion process corresponding to an elliptic operator with merely bounded measurable coefficients. We also prove H\"older continuity of harmonic functions associated with the quasi diffusion process and Harnack inequality. As an application, we show that for such diffusion processes the probabilistic definition of a regular boundary point coincides with the 'analytic' one. The parabolic counterparts of these results are presented as well. The proofs are adaptations of arguments from \cite{KrS_79} and \cite{Kr_18}.


title: Mixed Integral Norms for Ricci Flow

abstract: We prove that a Ricci flow cannot develop a finite time singularity assuming the boundedness of a suitable space-time integral norm of the curvature tensor. Moreover, the extensibility of the flow is proved under a Ricci lower bound and the boundedness of a space-time integral norm of the scalar curvature.


title: Stability of JSQ in queues with general server-job class compatibilities

abstract: We consider Poisson streams of exponentially distributed jobs arriving at each edge of a hypergraph of queues. Upon arrival, an incoming job is rooted to the shortest queue among the corresponding vertices. This generalizes many known models such as power-of-d load balancing and JSQ (join the shortest queue) on generic graphs. We provide a generic condition for stability of this model. We show that some graph topologies lead to a loss of capacity, implying more restrictive stability conditions than in, e.g., complete graphs.


title: On Yang-Mills connections on compact K\"{a}hler surfaces

abstract: We extend an $L^{2}$-energy gap of Yang-Mills connections on principal $G$-bundles $P$ over a compact Riemannian manfold with a $good$ Riemannian metric to the case of a compact K\"{a}hler surface with a $generic$ K\"{a}hler metric $g$, which guarantees that all ASD connections on the principal bundle $P$ over $X$ are irreducible.


title: Applying Gene Expression Programming for Solving One-Dimensional Bin-Packing Problems

abstract: This work aims to study and explore the use of Gene Expression Programming (GEP) in solving the on-line Bin-Packing problem. The main idea is to show how GEP can automatically find acceptable heuristic rules to solve the problem efficiently and economically. One dimensional Bin-Packing problem is considered in the course of this work with the constraint of minimizing the number of bins filled with the given pieces. Experimental Data includes instances of benchmark test data taken from Falkenauer (1996) for One-dimensional Bin-Packing Problems. Results show that GEP can be used as a very powerful and flexible tool for finding interesting compact rules suited for the problem. The impact of functions is also investigated to show how they can affect and influence the success of rates when they appear in rules. High success rates are gained with smaller population size and fewer generations compared to previous work performed using Genetic Programming.


title: Selecting Best Software Reliability Growth Models: A Social Spider Algorithm based Approach

abstract: Software Reliability is considered to be an essential part of software systems; it involves measuring the system's probability of having failures; therefore, it is strongly related to Software Quality. Software Reliability Growth Models are used to indicate the expected number of failures encountered after the software has been completed, it is also an indicator of the software readiness to be delivered. This paper presents a study of selecting the best Software Reliability Growth Model according to the dataset at hand. Several Comparison Criteria are used to yield a ranking methodology to be used in pointing out best models. The Social Spider Algorithm SSA, one of the newly introduced Swarm Intelligent Algorithms, is used for estimating the parameters of the SRGMs for two datasets. Results indicate that the use of SSA was efficient in assisting the process of criteria weighting to find the optimal model and the best overall ranking of employed models.


title: The Apiza Corpus: API Usage Dialogues with a Simulated Virtual Assistant

abstract: Virtual assistant technology has the potential to make a significant impact in the field of software engineering. However, few SE-related datasets exist that would be suitable for the design or training of a virtual assistant. To help lay the groundwork for a hypothetical virtual assistant for API usage, we designed and conducted a Wizard-of-Oz study to gather this crucial data. We hired 30 professional programmers to complete a series of programming tasks by interacting with a simulated virtual assistant. Unbeknownst to the programmers, the virtual assistant was actually operated by another human expert. In this report, we describe our experimental methodology and summarize the results of the study.