title: Keypoint Autoencoders: Learning Interest Points of Semantics

abstract: Understanding point clouds is of great importance. Many previous methods focus on detecting salient keypoints to identity structures of point clouds. However, existing methods neglect the semantics of points selected, leading to poor performance on downstream tasks. In this paper, we propose Keypoint Autoencoder, an unsupervised learning method for detecting keypoints. We encourage selecting sparse semantic keypoints by enforcing the reconstruction from keypoints to the original point cloud. To make sparse keypoint selection differentiable, Soft Keypoint Proposal is adopted by calculating weighted averages among input points. A downstream task of classifying shape with sparse keypoints is conducted to demonstrate the distinctiveness of our selected keypoints. Semantic Accuracy and Semantic Richness are proposed and our method gives competitive or even better performance than state of the arts on these two metrics.


title: Resolutions of locally analytic principal series representations of $GL_2$

abstract: For a finite field extension $F/\mathbb{Q}_p$ we associate a coefficient system attached on the Bruhat-Tits tree of $G:= {\rm GL}_2(F)$ to a locally analytic representation $V$ of $G$. This is done in analogy to the work of Schneider and Stuhler for smooth representations. This coefficient system furnishes a chain-complex which is shown, in the case of locally analytic principal series representations $V$, to be a resolution of $V$.


title: Topic Adaptation and Prototype Encoding for Few-Shot Visual Storytelling

abstract: Visual Storytelling~(VIST) is a task to tell a narrative story about a certain topic according to the given photo stream. The existing studies focus on designing complex models, which rely on a huge amount of human-annotated data. However, the annotation of VIST is extremely costly and many topics cannot be covered in the training dataset due to the long-tail topic distribution. In this paper, we focus on enhancing the generalization ability of the VIST model by considering the few-shot setting. Inspired by the way humans tell a story, we propose a topic adaptive storyteller to model the ability of inter-topic generalization. In practice, we apply the gradient-based meta-learning algorithm on multi-modal seq2seq models to endow the model the ability to adapt quickly from topic to topic. Besides, We further propose a prototype encoding structure to model the ability of intra-topic derivation. Specifically, we encode and restore the few training story text to serve as a reference to guide the generation at inference time. Experimental results show that topic adaptation and prototype encoding structure mutually bring benefit to the few-shot model on BLEU and METEOR metric. The further case study shows that the stories generated after few-shot adaptation are more relative and expressive.


title: A Design of Cooperative Overtaking Based on Complex Lane Detection and Collision Risk Estimation

abstract: Cooperative overtaking is believed to have the capability of improving road safety and traffic efficiency by means of the real-time information exchange between traffic participants, including road infrastructures, nearby vehicles and others. In this paper, we focused on the critical issues of modeling, computation, and analysis of cooperative overtaking and made it playing a key role in the road overtaking area. In detail, for the purpose of extending the awareness of the surrounding environment, the lane markings in front of ego vehicle were detected and modeled with Bezier curve using an onboard camera. While the nearby vehicle positions were obtained through the vehicle-to-vehicle communication scheme making assure of the accuracy of localization. Then, Gaussian-based conflict potential field was proposed to guarantee the overtaking safety, which can quantitatively estimate the oncoming collision danger. To support the proposed method, many experiments were conducted on the human-in-the-loop simulation platform. The results demonstrated that our proposed method achieves better performance, especially in some unpredictable nature road circumstances.


title: Topologically induced black hole charge and its astrophysical manifestations

abstract: Quantum corrected effective action for gravity contains massive spin-2 ghost degrees of freedom and admits a topological term which couples longitudinal vector degrees of freedom of the massive spin-2 to Maxwell's electromagnetism. We argue that in the presence of otherwise unobservable gravimagnetic poles this topological term induces an electric charge on a black hole which can be probed through the associated electric and magnetic fields. In particular, we discuss the electromagnetic follow up from the LIGO-sensitive charged black hole binary coalescence due to the synchrotron radiation from the surrounding plasma and the shadow of super-massive charged black holes.


title: Finite size effect on quantum correlations

abstract: We holographically study the finite-size scaling effects on macroscopic and microscopic quantum correlations deformed by excitation and condensation. The excitation (condensation) increases (decreases) the entanglement entropy of the system. We also investigate the two-point correlation function of local operators by calculating the geodesic length connecting two local operators. As opposed to the entanglement entropy case, the excitation (condensation) decreases (increases) the two-point function. This is because the screening effect becomes strong in the background with the large entanglement entropy. We further show that the holographic renormalization leads to the qualitatively same two-point function as the one obtained from the geodesic length.


title: Self-similar Evolutionary Solutions for Accreting Magneto-fluid around a Compact Object with Finite Electrical Conductivity

abstract: In this paper, we investigate the time evolution an accreting magneto-fluid with finite conductivity. For the case of a thin disk, the fluid equations along with Maxwell equations are derived in a simplified, one-dimensional model that neglects the latitudinal dependence of the flow. The finite electrical conductivity is taken into account for the plasma through Ohm law; however, the shear viscous stress is neglected, as well as the self-gravity of the disk. In order to solve the integrated equations that govern the dynamical behaviour of the magneto-fluid, we have used a self-similar solution. We introduce two dimensionless variables, $S_0$ and $\epsilon_\rho$, which show the magnitude of electrical conductivity and the density behaviour with time, respectively. The effect of each of these on the structure of the disk is studied. While the pressure is obtained simply by solving an ordinary differential equation, the density, the magnetic field, the radial velocity and the rotational velocity are presented analytically. The solutions show that the $S_0$ and $\epsilon_\rho$ parameters affect the radial thickness of the disk. Also, the radial velocity and gas pressure are more sensitive to electrical conductivity in the inner regions of disk. Moreover, the $\epsilon_\rho$ parameter has a more significant effect on physical quantities in small radii.


title: TCL: an ANN-to-SNN Conversion with Trainable Clipping Layers

abstract: Spiking-neural-networks (SNNs) are promising at edge devices since the event-driven operations of SNNs provides significantly lower power compared to analog-neural-networks (ANNs). Although it is difficult to efficiently train SNNs, many techniques to convert trained ANNs to SNNs have been developed. However, after the conversion, a trade-off relation between accuracy and latency exists in SNNs, causing considerable latency in large size datasets such as ImageNet. We present a technique, named as TCL, to alleviate the trade-off problem, enabling the accuracy of 73.87% (VGG-16) and 70.37% (ResNet-34) for ImageNet with the moderate latency of 250 cycles in SNNs.


title: On Learning Language-Invariant Representations for Universal Machine Translation

abstract: The goal of universal machine translation is to learn to translate between any pair of languages, given a corpus of paired translated documents for \emph{a small subset} of all pairs of languages. Despite impressive empirical results and an increasing interest in massively multilingual models, theoretical analysis on translation errors made by such universal machine translation models is only nascent. In this paper, we formally prove certain impossibilities of this endeavour in general, as well as prove positive results in the presence of additional (but natural) structure of data. For the former, we derive a lower bound on the translation error in the many-to-many translation setting, which shows that any algorithm aiming to learn shared sentence representations among multiple language pairs has to make a large translation error on at least one of the translation tasks, if no assumption on the structure of the languages is made. For the latter, we show that if the paired documents in the corpus follow a natural \emph{encoder-decoder} generative process, we can expect a natural notion of ``generalization'': a linear number of language pairs, rather than quadratic, suffices to learn a good representation. Our theory also explains what kinds of connection graphs between pairs of languages are better suited: ones with longer paths result in worse sample complexity in terms of the total number of documents per language pair needed. We believe our theoretical insights and implications contribute to the future algorithmic design of universal machine translation.


title: Content Format and Quality of Experience in Virtual Reality

abstract: In this paper, we investigate three forms of virtual reality content production and consumption. Namely, 360 stereoscopic video, the combination of a 3D environment with a video billboard for dynamic elements, and a full 3D rendered scene. On one hand, video based techniques facilitate the acquisition of content, but they can limit the experience of the user since the content is captured from a fixed point of view. On the other hand, 3D content allows for point of view translation, but real-time photorealistic rendering is not trivial and comes at high production and processing costs. We also compare the two extremes with an approach that combines dynamic video elements with a 3D virtual environment. We discuss the advantages and disadvantages of these systems, and present the result of a user study with 24 participants. In the study, we evaluated the quality of experience, including presence, simulation sickness and participants' assessment of content quality, of three versions of a cinematic segment with two actors. We found that, in this context, mixing video and 3D content produced the best experience.


title: Analytical model for quasi-linear flow response to resonant magnetic perturbation in resistive-inertial and viscous-resistive regimes

abstract: In this work, a quasi-linear model for plasma flow response to the resonant magnetic perturbation (RMP) in a tokamak has been rigorously developed in the resistive-inertial (RI) and viscous-resistive (VR) regimes purely from the two-field reduced MHD model. Models for plasma response to RMP are commonly composed of equations for the resonant magnetic field response (i.e. the magnetic island) and the torque balance of plasma flow. However, in previous plasma response models, the magnetic island and the torque balance equations are often derived separately from reduced MHD and full MHD equations, respectively. By contrast, in this work we derive both the magnetic island response and the torque balance equations in a quasi-linear model for plasma flow response entirely from a set of two-field reduced MHD equations. Such a quasi-linear model can recover previous plasma flow response models within certain limits and approximations. Furthermore, the physical origins of quasi-linear forces and moments in the flow response equation are also accurately calculated and clarified self-consistently.


title: electrochemically modeling a non-electrochemical system: hydrogen peroxide direct synthesis on palladium catalysts

abstract: Nonelectrochemical hydrogen peroxide direct synthesis (HPDS) under ambient conditions is an environmentally benign and energy-efficient process that produces a green oxidizer. Despite its industrial importance, the reaction mechanism of HPDS is still controversial, even for the prototypical catalyst Pd. Density functional theory (DFT) calculations with a comprehensive consideration of entropic and solvation effects reveal that the conventionally accepted Langmuir-Hinshelwood mechanism fails to explain why H2O2 production dominates over H2O production, which was experimentally reported. Inspired by the recently suggested heterolytic mechanism that involves electron and proton transfer at Pd catalysts, we propose a new electrochemical DFT model that is applicable for nonelectrochemical systems where a protonation intrinsically occurs. Our model is based on combining the Butler-Volmer equation and constant potential DFT with hybrid explicit-implicit solvent treatments. Application of this model to Pd(111) surfaces produces accurate descriptions of the activation barriers of both H2O2 and H2O production (within only ~0.1 eV of experimentally measured values). The heterolytic mechanism has a lower barrier for the protonation steps for H2O2 production than the nonelectrochemical hydrogenation steps, leading to advantageous kinetics for H2O2 production over H2O production. This work is the first theoretical and computational study supporting the heterolytic H2O2 production mechanism, and it resolves the unanswered discrepancies between previous experimental and DFT results. We expect that these results will readily help the systematic development of improved catalysts for H2O2 synthesis.


title: Anti-$\mathcal{PT}$-symmetric Qubit: Decoherence and Entanglement Entropy

abstract: We investigate a two-level spin system based anti-parity-time (anti-$\mathcal{PT}$)-symmetric qubit and study its decoherence as well as entanglement entropy properties. We compare our findings with that of the corresponding $\mathcal{PT}$-symmetric and Hermitian qubits. First we consider the time-dependent Dyson map to find the exact analytical dynamics for a general non-Hermitian qubit system coupled with a bath, then we specialize it to the case of the anti-$\mathcal{PT}$-symmetric qubit. We find that the decoherence function for the anti-$\mathcal{PT}$-symmetric qubit decays slower than the $\mathcal{PT}$-symmetric and Hermitian qubits. For the entanglement entropy we find that for the anti-$\mathcal{PT}$-symmetric qubit it grows more slowly compared to the $\mathcal{PT}$-symmetric and Hermitian qubits. Similarly, we find that the corresponding variance and area of Fisher information is much higher compared to the $\mathcal{PT}$-symmetric and Hermitian qubits. These results demonstrate that anti-$\mathcal{PT}$-symmetric qubits may be better suited for quantum computing and quantum information processing applications than conventional Hermitian or even $\mathcal{PT}$-symmetric qubits.


title: Deciphering the Origin of the GeV--TeV Gamma-ray Emission from SS 433

abstract: We investigate hadronic and leptonic scenarios for the GeV--TeV gamma-ray emission from jets of the microquasar SS 433. The emission region of the TeV photons coincides with the X-ray knots, where electrons are efficiently accelerated. On the other hand, the optical high-density filaments are also located close to the X-ray knots, which may support a hadronic scenario. We calculate multi-wavelength photon spectra of the extended jet region by solving the transport equations for the electrons and protons. We find that both hadronic and leptonic models can account for the observational data, including the latest {\it Fermi} LAT result. The hadronic scenarios predict higher-energy photons than the leptonic scenarios, and future observations such as with the Cherenkov Telescope Array (CTA), the Large High-Altitude Air Shower Observatory (LHAASO), and the Southern Wide-field Gamma-ray Observatory (SWGO) may distinguish between these scenarios and unravel the emission mechanism of GeV--TeV gamma-rays. Based on our hadronic scenario, the analogy between microquasars and radio galaxies implies that the X-ray knot region of the radio-galaxy jets may accelerate heavy nuclei up to ultrahigh energies.


title: Localizing Patch Points From One Exploit

abstract: Automatic patch generation can significantly reduce the window of exposure after a vulnerability is disclosed. Towards this goal, a long-standing problem has been that of patch localization: to find a program point at which a patch can be synthesized. We present PatchLoc, one of the first systems which automatically identifies such a location in a vulnerable binary, given just one exploit, with high accuracy. PatchLoc does not make any assumptions about the availability of source code, test suites, or specialized knowledge of the vulnerability. PatchLoc pinpoints valid patch locations in large real-world applications with high accuracy for about 88% of 43 CVEs we study. These results stem from a novel approach to automatically synthesizing a test-suite which enables probabilistically ranking and effectively differentiating between candidate program patch locations.


title: An inverse boundary value problem for certain anisotropic quasilinear elliptic equations

abstract: In this paper we prove uniqueness in the inverse boundary value problem for quasilinear elliptic equations whose linear part is the Laplacian and nonlinear part is the divergence of a function analytic in the gradient of the solution. The main novelty in terms of the result is that the coefficients of the nonlinearity are allowed to be "anisotropic". As in previous works, the proof reduces to an integral identity involving the tensor product of the gradients of 3 or more harmonic functions. Employing a construction method using Gaussian quasi-modes, we obtain a convenient family of harmonic functions to plug into the integral identity and establish our result.


title: Finding both, the continued fraction and the Laurent series expansion of golden ratio analogs in the field of formal power series

abstract: The focus of this paper is on formal power series analogs of the golden ratio. We are interested in both their continued fractions expansions as well as their Laurent series expansions. Our approach studies the Hankel matrices that are determined using the coefficients of the Laurent series expansions.


title: Tautological classes of definite 4-manifolds

abstract: We prove a diagonalisation theorem for the tautological, or generalised Miller-Morita-Mumford classes of compact, smooth, simply-connected definite $4$-manifolds. Our result can be thought of as a families version of Donaldson's diagonalisation theorem. We prove our result using a families version of the Bauer-Furuta cohomotopy refinement of Seiberg-Witten theory. We use our main result to deduce various results concerning the tautological classes of such $4$-manifolds. In particular, we completely determine the tautological rings of $\mathbb{CP}^2$ and $\mathbb{CP}^2 \# \mathbb{CP}^2$. We also derive a series of linear relations in the tautological ring which are universal in the sense that they hold for all compact, smooth, simply-connected definite $4$-manifolds.


title: Montreal AI Ethics Institute's (MAIEI) Submission to the World Intellectual Property Organization (WIPO) Conversation on Intellectual Property (IP) and Artificial Intelligence (AI) Second Session

abstract: This document posits that, at best, a tenuous case can be made for providing AI exclusive IP over their "inventions". Furthermore, IP protections for AI are unlikely to confer the benefit of ensuring regulatory compliance. Rather, IP protections for AI "inventors" present a host of negative externalities and obscures the fact that the genuine inventor, deserving of IP, is the human agent. This document will conclude by recommending strategies for WIPO to bring IP law into the 21st century, enabling it to productively account for AI "inventions". Theme: IP Protection for AI-Generated and AI-Assisted Works Based on insights from the Montreal AI Ethics Institute (MAIEI) staff and supplemented by workshop contributions from the AI Ethics community convened by MAIEI on July 5, 2020.


title: Acoustic effects of medical, cloth, and transparent face masks on speech signals

abstract: Face masks muffle speech and make communication more difficult, especially for people with hearing loss. This study examines the acoustic attenuation caused by different face masks, including medical, cloth, and transparent masks, using a head-shaped loudspeaker and a live human talker. The results suggest that all masks attenuate frequencies above 1 kHz, that attenuation is greatest in front of the talker, and that there is substantial variation between mask types, especially cloth masks with different materials and weaves. Transparent masks have poor acoustic performance compared to both medical and cloth masks. Most masks have little effect on lapel microphones, suggesting that existing sound reinforcement and assistive listening systems may be effective for verbal communication with masks.


title: Bayesian Analysis on Limiting the Student-$t$ Linear Regression Model

abstract: For the outlier problem in linear regression models, the Student-$t$ linear regression model is one of the common methods for robust modeling and is widely adopted in the literature. However, most of them applies it without careful theoretical consideration. This study provides the practically useful and quite simple conditions to ensure that the Student-$t$ linear regression model is robust against an outlier in the $y$-direction using regular variation theory.


title: An inverse spectral problem for a damped wave operator

abstract: This paper proposes a new and efficient numerical algorithm for recovering the damping coefficient from the spectrum of a damped wave operator, which is a classical Borg-Levinson inverse spectral problem. The algorithm is based on inverting a sequence of trace formulas, which are deduced by a recursive formula, bridging geometrical and spectrum information explicitly in terms of Fredholm integral equations. Numerical examples are presented to illustrate the efficiency of the proposed algorithm.


title: Vid2Player: Controllable Video Sprites that Behave and Appear like Professional Tennis Players

abstract: We present a system that converts annotated broadcast video of tennis matches into interactively controllable video sprites that behave and appear like professional tennis players. Our approach is based on controllable video textures, and utilizes domain knowledge of the cyclic structure of tennis rallies to place clip transitions and accept control inputs at key decision-making moments of point play. Most importantly, we use points from the video collection to model a player's court positioning and shot selection decisions during points. We use these behavioral models to select video clips that reflect actions the real-life player is likely to take in a given match play situation, yielding sprites that behave realistically at the macro level of full points, not just individual tennis motions. Our system can generate novel points between professional tennis players that resemble Wimbledon broadcasts, enabling new experiences such as the creation of matchups between players that have not competed in real life, or interactive control of players in the Wimbledon final. According to expert tennis players, the rallies generated using our approach are significantly more realistic in terms of player behavior than video sprite methods that only consider the quality of motion transitions during video synthesis.


title: Sequential Lid Removal in a Triple-Decker Chain of CME-Producing Solar Eruptions

abstract: We investigate the onsets of three consecutive coronal mass ejection (CME) eruptions in 12 hours from a large bipolar active region (AR) observed by SDO, STEREO, RHESSI, and GOES. Evidently, the AR initially had a triple-decker configuration: three flux ropes in a vertical stack above the polarity inversion line (PIL). Upon being bumped by a confined eruption of the middle flux rope, the top flux rope erupts to make the first CME and its accompanying AR-spanning flare arcade rooted in a far-apart pair of flare ribbons. The second CME is made by eruption of the previously-arrested middle flux rope, which blows open the flare arcade of the first CME and produces a flare arcade rooted in a pair of flare ribbons closer to the PIL than those of the first CME. The third CME is made by blowout eruption of the bottom flux rope, which blows open the second flare arcade and makes its own flare arcade and pair of flare ribbons. Flux cancellation observed at the PIL likely triggers the initial confined eruption of the middle flux rope. That confined eruption evidently triggers the first CME eruption. The lid-removal mechanism instigated by the first CME eruption plausibly triggers the second CME eruption. Further lid removal by the second CME eruption plausibly triggers the final CME eruption.


title: SAFRON: Stitching Across the Frontier for Generating Colorectal Cancer Histology Images

abstract: Synthetic images can be used for the development and evaluation of deep learning algorithms in the context of limited availability of data. In the field of computational pathology, where histology images are large in size and visual context is crucial, synthesis of large high resolution images via generative modeling is a challenging task. This is due to memory and computational constraints hindering the generation of large images. To address this challenge, we propose a novel SAFRON (Stitching Across the FRONtiers) framework to construct realistic, large high resolution tissue image tiles from ground truth annotations while preserving morphological features and with minimal boundary artifacts. We show that the proposed method can generate realistic image tiles of arbitrarily large size after training it on relatively small image patches. We demonstrate that our model can generate high quality images, both visually and in terms of the Frechet Inception Distance. Compared to other existing approaches, our framework is efficient in terms of the memory requirements for training and also in terms of the number of computations to construct a large high-resolution image. We also show that training on synthetic data generated by SAFRON can significantly boost the performance of a state-of-the-art algorithm for gland segmentation in colorectal cancer histology images. Sample high resolution images generated using SAFRON are available at the URL: https://warwick.ac.uk/TIALab/SAFRON


title: Neural PLDA Modeling for End-to-End Speaker Verification

abstract: While deep learning models have made significant advances in supervised classification problems, the application of these models for out-of-set verification tasks like speaker recognition has been limited to deriving feature embeddings. The state-of-the-art x-vector PLDA based speaker verification systems use a generative model based on probabilistic linear discriminant analysis (PLDA) for computing the verification score. Recently, we had proposed a neural network approach for backend modeling in speaker verification called the neural PLDA (NPLDA) where the likelihood ratio score of the generative PLDA model is posed as a discriminative similarity function and the learnable parameters of the score function are optimized using a verification cost. In this paper, we extend this work to achieve joint optimization of the embedding neural network (x-vector network) with the NPLDA network in an end-to-end (E2E) fashion. This proposed end-to-end model is optimized directly from the acoustic features with a verification cost function and during testing, the model directly outputs the likelihood ratio score. With various experiments using the NIST speaker recognition evaluation (SRE) 2018 and 2019 datasets, we show that the proposed E2E model improves significantly over the x-vector PLDA baseline speaker verification system.


title: HI imaging of dwarf star-forming galaxies: Masses, morphologies and gas deficiencies

abstract: The GMRT observations of the HI 21~cm-line emission from 13~nearby dwarf star-forming galaxies are presented. The ranges of star formation rates and stellar masses of the sample galaxies are 0.03 -- 1.7~$M_\odot~{\rm yr}^{-1}$ and 0.04 -- 22.3~$\times 10^8~M_\odot$, respectively. The HI channel images, moment images, global profiles and mass surface density profiles are presented here. The average value of the peak HI mass surface density is estimated to be $\sim$2.5~M$_{\odot}$~pc$^{-2}$, which is significantly less compared to that in massive spiral galaxies. The scaling relations of $(M_{stars} + M_{\rm H\,I} + M_{\rm He})$ vs $M_{dyn}$, gas fraction vs $M_B$, $M_{\rm H\,I}$ vs $M_{stars}$, \ion{H}{i}-to-stellar mass ratio vs $M_{stars}$, and $M_{\rm H\,I}$ vs $D_{\rm H\,I}$ for the sample galaxies are estimated. These scaling relations can be used to constraint the key parameters in the galaxy evolution models. These galaxies are residing in group environment with galaxy density up to 8~galaxy~Mpc$^{-3}$. A HI mass deficiency (with $DEF_{\rm HI} > 0.3$) is noticed in majority of galaxies for their optical diameters as compared to galaxies in field environments. Clear signatures of tidal interactions in these galaxies could be inferred using the HI images. Isolated HI clouds without known optical counterparts are seen in the vicinity of several galaxies. HI emission envelope is found to be having an offset from the optical envelope in several galaxies. Consistent with the previous studies on galaxy evolution in group environments, tidal interactions seem to play an important role in triggering recent star formation.


title: Thick Cloud Removal of Remote Sensing Images Using Temporal Smoothness and Sparsity-Regularized Tensor Optimization

abstract: In remote sensing images, the presence of thick cloud accompanying cloud shadow is a high probability event, which can affect the quality of subsequent processing and limit the scenarios of application. Hence, removing the thick cloud and cloud shadow as well as recovering the cloud-contaminated pixels is indispensable to make good use of remote sensing images. In this paper, a novel thick cloud removal method for remote sensing images based on temporal smoothness and sparsity-regularized tensor optimization (TSSTO) is proposed. The basic idea of TSSTO is that the thick cloud and cloud shadow are not only sparse but also smooth along the horizontal and vertical direction in images while the clean images are smooth along the temporal direction between images. Therefore, the sparsity norm is used to boost the sparsity of the cloud and cloud shadow, and unidirectional total variation (UTV) regularizers are applied to ensure the unidirectional smoothness. This paper utilizes alternation direction method of multipliers to solve the presented model and generate the cloud and cloud shadow element as well as the clean element. The cloud and cloud shadow element is purified to get the cloud area and cloud shadow area. Then, the clean area of the original cloud-contaminated images is replaced to the corresponding area of the clean element. Finally, the reference image is selected to reconstruct details of the cloud area and cloud shadow area using the information cloning method. A series of experiments are conducted both on simulated and real cloud-contaminated images from different sensors and with different resolutions, and the results demonstrate the potential of the proposed TSSTO method for removing cloud and cloud shadow from both qualitative and quantitative viewpoints.


title: Report prepared by the Montreal AI Ethics Institute In Response to Mila's Proposal for a Contact Tracing App

abstract: Contact tracing has grown in popularity as a promising solution to the COVID-19 pandemic. The benefits of automated contact tracing are two-fold. Contact tracing promises to reduce the number of infections by being able to: 1) systematically identify all of those that have been in contact with someone who has had COVID; and, 2) ensure those that have been exposed to the virus do not unknowingly infect others. "COVI" is the name of a recent contact tracing app developed by Mila and was proposed to help combat COVID-19 in Canada. The app was designed to inform each individual of their relative risk of being infected with the virus, which Mila claimed would empower citizens to make informed decisions about their movement and allow for a data-driven approach to public health policy; all the while ensuring data is safeguarded from governments, companies, and individuals. This article will provide a critical response to Mila's COVI White Paper. Specifically, this article will discuss: the extent to which diversity has been considered in the design of the app, assumptions surrounding users' interaction with the app and the app's utility, as well as unanswered questions surrounding transparency, accountability, and security. We see this as an opportunity to supplement the excellent risk analysis done by the COVI team to surface insights that can be applied to other contact- and proximity-tracing apps that are being developed and deployed across the world. Our hope is that, through a meaningful dialogue, we can ultimately help organizations develop better solutions that respect the fundamental rights and values of the communities these solutions are meant to serve.


title: Investigating the Product Profiles and Structural Relationships of New Levansucrases with Conventional and Non-Conventional Substrates

abstract: The synthesis of complex oligosaccharides is desired for their potential as prebiotics, and their role in the pharmaceutical and food industry. Levansucrase (LS, EC 2.4.1.10), a fructosyl-transferase, can catalyze the synthesis of these compounds. LS acquires a fructosyl residue from a donor molecule and performs a non-Lenoir transfer to an acceptor molecule, via $\beta$-(2$\to$6)-glycosidic linkages. Genome mining was used to uncover new LS enzymes with increased transfructosylating activity and wider acceptor promiscuity, with an initial screening revealing five LS enzymes. The product profiles and activities of these enzymes were examined after their incubation with sucrose. Alternate acceptor molecules were also incubated with the enzymes to study their consumption. LSs from Gluconobacter oxydans and Novosphingobium aromaticivorans synthesized fructooligosaccharides (FOSs) with up to 13 units in length. Alignment of their amino acid sequences and substrate docking with homology models identified structural elements causing differences in their product spectra. Raffinose, over sucrose, was the preferred donor molecule for the LS from Vibrio natriegens, N. aromaticivorans, and Paraburkolderia graminis. The LSs examined were found to have wide acceptor promiscuity, utilizing monosaccharides, disaccharides, and two alcohols to a high degree.


title: A purely mechanical model with asymmetric features for early morphogenesis of rod-shaped bacteria micro-colony

abstract: To model the morphogenesis of rod-shaped bacterial micro-colony, several individual-based models have been proposed in the biophysical literature. When studying the shape of micro-colonies, most models present interaction forces such as attraction or filial link. In this article, we propose a model where the bacteria interact only through non-overlapping constraints. We consider the asymmetry of the bacteria, and its influence on the friction with the substrate. Besides, we consider asymmetry in the mass distribution of the bacteria along their length. These two new modelling assumptions allow us to retrieve mechanical behaviours of micro-colony growth without the need of interaction such as attraction. We compare our model to various sets of experiments, discuss our results, and propose several quantifiers to compare model to data in a systematic way.


title: Multi-Spike Patterns in the Gierer-Meinhardt System with a Non-Zero Activator Boundary Flux

abstract: The structure, linear stability, and dynamics of localized solutions to singularly perturbed reaction-diffusion equations has been the focus of numerous rigorous, asymptotic, and numerical studies in the last few decades. However, with a few exceptions, these studies have often assumed homogeneous boundary conditions. Motivated by the recent focus on the analysis of bulk-surface coupled problems we consider the effect of inhomogeneous Neumann boundary conditions for the activator in the singularly perturbed one-dimensional Gierer-Meinhardt reaction-diffusion system. We show that these boundary conditions necessitate the formation of spikes that concentrate in a boundary layer near the domain boundaries. Using the method of matched asymptotic expansions we construct boundary layer spikes and derive a new class of shifted Nonlocal Eigenvalue Problems for which we rigorously prove partial stability results. Moreover by using a combination of asymptotic, rigorous, and numerical methods we investigate the structure and linear stability of selected one- and two-spike patterns. In particular we find that inhomogeneous Neumann boundary conditions increase both the range of parameter values over which asymmetric two-spike patterns exist and are stable.


title: Upper approximating probabilities of convergence in probabilistic coherence spaces

abstract: We develop a theory of probabilistic coherence spaces equipped with an additional extensional structure and apply it to approximating probability of convergence of ground type programs of probabilistic PCF whose free variables are of ground types. To this end we define an adapted version of Krivine Machine which computes polynomial approximations of the semantics of these programs in the model. These polynomials provide approximations from below and from above of probabilities of convergence; this is made possible by extending the language with an error symbol which is extensionally maximal in the model.


title: An Asymptotic Analysis of Localized 3-D Spot Patterns for Gierer-Meinhardt Model: Existence, Linear Stability and Slow Dynamics

abstract: Localized spot patterns, where one or more solution components concentrates at certain points in the domain, are a common class of localized pattern for reaction-diffusion systems, and they arise in a wide range of modeling scenarios. In an arbitrary bounded 3-D domain, the existence, linear stability, and slow dynamics of localized multi-spot patterns is analyzed for the well-known singularly perturbed Gierer-Meinhardt (GM) activator-inhibitor system in the limit of a small activator diffusivity $\varepsilon^2\ll 1$. Our main focus is to classify the different types of multi-spot patterns, and predict their linear stability properties, for different asymptotic ranges of the inhibitor diffusivity $D$. For the range $D={\mathcal O}(\varepsilon^{-1})\gg 1$, although both symmetric and asymmetric quasi-equilibrium spot patterns can be constructed, the asymmetric patterns are shown to be always unstable. On this range of $D$, it is shown that symmetric spot patterns can undergo either competition instabilities or a Hopf bifurcation, leading to spot annihilation or temporal spot amplitude oscillations, respectively. For $D={\mathcal O}(1)$, only symmetric spot quasi-equilibria exist and they are linearly stable on ${\mathcal O}(1)$ time intervals. On this range, it is shown that the spot locations evolve slowly on an ${\mathcal O}(\varepsilon^{-3})$ time scale towards their equilibrium locations according to an ODE gradient flow, which is determined by a discrete energy involving the reduced-wave Green's function. The central role of the far-field behavior of a certain core problem, which characterizes the profile of a localized spot, for the construction of quasi-equilibria in the $D={\mathcal O}(1)$ and $D={\mathcal O}(\varepsilon^{-1})$ regimes, and in establishing some of their linear stability properties, is emphasized.


title: Effect of doping on SGS and weak half-metallic properties of inverse Heusler Alloys

abstract: Heusler alloys with Mn and Co have been found to exhibit interesting electronic and magnetic properties. Mn$_2$CoAl is well known SGS compound while Mn$_2$CoGa has weak half metallic character. By using plane wave pseudo-potential method, we studied the effect of Fe and Cr doping on half-metalicity and magnetism of these compounds. The doping destroys the SGS nature of Mn$_2$CoAl while the small-scale doping enhance the half-metallicity of Mn$_2$CoGa making it perfect half-metal. In case of Mn$_2$CoAl, the doping decrease the band gap while increase in band width is noticed for Mn$_2$CoGa. The half-metallicity is destroyed in both cases when the doping level is beyond certain degree. Moreover, we have also computed magnetic behavior of Mn$_2$CoZ alloys and we found that total magnetic moments of dopped samples have higher values than that of pristine compounds.


title: Evidence bounds in singular models: probabilistic and variational perspectives

abstract: The marginal likelihood or evidence in Bayesian statistics contains an intrinsic penalty for larger model sizes and is a fundamental quantity in Bayesian model comparison. Over the past two decades, there has been steadily increasing activity to understand the nature of this penalty in singular statistical models, building on pioneering work by Sumio Watanabe. Unlike regular models where the Bayesian information criterion (BIC) encapsulates a first-order expansion of the logarithm of the marginal likelihood, parameter counting gets trickier in singular models where a quantity called the real log canonical threshold (RLCT) summarizes the effective model dimensionality. In this article, we offer a probabilistic treatment to recover non-asymptotic versions of established evidence bounds as well as prove a new result based on the Gibbs variational inequality. In particular, we show that mean-field variational inference correctly recovers the RLCT for any singular model in its canonical or normal form. We additionally exhibit sharpness of our bound by analyzing the dynamics of a general purpose coordinate ascent algorithm (CAVI) popularly employed in variational inference.


title: FedNNNN: Norm-Normalized Neural Network Aggregation for Fast and Accurate Federated Learning

abstract: Federated learning (FL) is a distributed learning protocol in which a server needs to aggregate a set of models learned some independent clients to proceed the learning process. At present, model averaging, known as FedAvg, is one of the most widely adapted aggregation techniques. However, it is known to yield the models with degraded prediction accuracy and slow convergence. In this work, we find out that averaging models from different clients significantly diminishes the norm of the update vectors, resulting in slow learning rate and low prediction accuracy. Therefore, we propose a new aggregation method called FedNNNN. Instead of simple model averaging, we adjust the norm of the update vector and introduce momentum control techniques to improve the aggregation effectiveness of FL. As a demonstration, we evaluate FedNNNN on multiple datasets and scenarios with different neural network models, and observe up to 5.4% accuracy improvement.


title: members of thin $\Pi_1^0$ classes and generic degrees

abstract: A $\Pi^{0}_{1}$ class $P$ is thin if every $\Pi^{0}_{1}$ subclass $Q$ of $P$ is the intersection of $P$ with some clopen set. In 1993, Cenzer, Downey, Jockusch and Shore initiated the study of Turing degrees of members of thin $\Pi^{0}_{1}$ classes, and proved that degrees containing no members of thin $\Pi^{0}_{1}$ classes can be recursively enumerable, and can be minimal degree below {\bf 0}$'$. In this paper, we work on this topic in terms of genericity, and prove that all 2-generic degrees contain no members of thin $\Pi^{0}_{1}$ classes. In contrast to this, we show that all 1-generic degrees below {\bf 0}$'$ contain members of thin $\Pi^{0}_{1}$ classes.


title: A survey of the Preservation of Symmetries by the Dual Gromov-Hausdorff Propinquity

abstract: We survey the symmetry preserving properties for the dual propinquity, under natural non-degeneracy and equicontinuity conditions. These properties are best formulated using the notion of the covariant propinquity when the symmetries are encoded via the actions of proper monoids and groups. We explore the issue of convergence of Cauchy sequences for the covariant propinquity, which captures, via a compactness result, the fact that proper monoid actions can pass to the limit for the dual propinquity.


title: Comprehensiveness of Archives: A Modern AI-enabled Approach to Build Comprehensive Shared Cultural Heritage

abstract: Archives play a crucial role in the construction and advancement of society. Humans place a great deal of trust in archives and depend on them to craft public policies and to preserve languages, cultures, self-identity, views and values. Yet, there are certain voices and viewpoints that remain elusive in the current processes deployed in the classification and discoverability of records and archives. In this paper, we explore the ramifications and effects of centralized, due process archival systems on marginalized communities. There is strong evidence to prove the need for progressive design and technological innovation while in the pursuit of comprehensiveness, equity and justice. Intentionality and comprehensiveness is our greatest opportunity when it comes to improving archival practices and for the advancement and thrive-ability of societies at large today. Intentionality and comprehensiveness is achievable with the support of technology and the Information Age we live in today. Reopening, questioning and/or purposefully including others voices in archival processes is the intention we present in our paper. We provide examples of marginalized communities who continue to lead "community archive" movements in efforts to reclaim and protect their cultural identity, knowledge, views and futures. In conclusion, we offer design and AI-dominant technological considerations worth further investigation in efforts to bridge systemic gaps and build robust archival processes.


title: An Intelligent Control Strategy for buck DC-DC Converter via Deep Reinforcement Learning

abstract: As a typical switching power supply, the DC-DC converter has been widely applied in DC microgrid. Due to the variation of renewable energy generation, research and design of DC-DC converter control algorithm with outstanding dynamic characteristics has significant theoretical and practical application value. To mitigate the bus voltage stability issue in DC microgrid, an innovative intelligent control strategy for buck DC-DC converter with constant power loads (CPLs) via deep reinforcement learning algorithm is constructed for the first time. In this article, a Markov Decision Process (MDP) model and the deep Q network (DQN) algorithm are defined for DC-DC converter. A model-free based deep reinforcement learning (DRL) control strategy is appropriately designed to adjust the agent-environment interaction through the rewards/penalties mechanism towards achieving converge to nominal voltage. The agent makes approximate decisions by extracting the high-dimensional feature of complex power systems without any prior knowledge. Eventually, the simulation comparison results demonstrate that the proposed controller has stronger self-learning and self-optimization capabilities under the different scenarios.


title: Pen-based Interaction with Spreadsheets in Mobile Virtual Reality

abstract: Virtual Reality (VR) can enhance the display and interaction of mobile knowledge work and in particular, spreadsheet applications. While spreadsheets are widely used yet are challenging to interact with, especially on mobile devices, using them in VR has not been explored in depth. A special uniqueness of the domain is the contrast between the immersive and large display space afforded by VR, contrasted by the very limited interaction space that may be afforded for the information worker on the go, such as an airplane seat or a small work-space. To close this gap, we present a tool-set for enhancing spreadsheet interaction on tablets using immersive VR headsets and pen-based input. This combination opens up many possibilities for enhancing the productivity for spreadsheet interaction. We propose to use the space around and in front of the tablet for enhanced visualization of spreadsheet data and meta-data. For example, extending sheet display beyond the bounds of the physical screen, or easier debugging by uncovering hidden dependencies between sheet's cells. Combining the precise on-screen input of a pen with spatial sensing around the tablet, we propose tools for the efficient creation and editing of spreadsheets functions such as off-the-screen layered menus, visualization of sheets dependencies, and gaze-and-touch-based switching between spreadsheet tabs. We study the feasibility of the proposed tool-set using a video-based online survey and an expert-based assessment of indicative human performance potential.


title: Frequent or Systematic Changes? discussion on "Detecting possibly frequent change-points: Wild Binary Segmentation 2 and steepest-drop model selection."

abstract: We discuss Fryzlewicz's (2020) that proposes WBS2.SDLL approach to detect possibly frequent changes in mean of a series. Our focus is on the potential issues related to the model misspecification. We present some numerical examples such as the self-exciting threshold autoregression and the unit root process, that can be confused as a frequent change-points model.


title: Context Reinforced Neural Topic Modeling over Short Texts

abstract: As one of the prevalent topic mining tools, neural topic modeling has attracted a lot of interests for the advantages of high efficiency in training and strong generalisation abilities. However, due to the lack of context in each short text, the existing neural topic models may suffer from feature sparsity on such documents. To alleviate this issue, we propose a Context Reinforced Neural Topic Model (CRNTM), whose characteristics can be summarized as follows. Firstly, by assuming that each short text covers only a few salient topics, CRNTM infers the topic for each word in a narrow range. Secondly, our model exploits pre-trained word embeddings by treating topics as multivariate Gaussian distributions or Gaussian mixture distributions in the embedding space. Extensive experiments on two benchmark datasets validate the effectiveness of the proposed model on both topic discovery and text classification.


title: Investigation of End-To-End Speaker-Attributed ASR for Continuous Multi-Talker Recordings

abstract: Recently, an end-to-end (E2E) speaker-attributed automatic speech recognition (SA-ASR) model was proposed as a joint model of speaker counting, speech recognition and speaker identification for monaural overlapped speech. It showed promising results for simulated speech mixtures consisting of various numbers of speakers. However, the model required prior knowledge of speaker profiles to perform speaker identification, which significantly limited the application of the model. In this paper, we extend the prior work by addressing the case where no speaker profile is available. Specifically, we perform speaker counting and clustering by using the internal speaker representations of the E2E SA-ASR model to diarize the utterances of the speakers whose profiles are missing from the speaker inventory. We also propose a simple modification to the reference labels of the E2E SA-ASR training which helps handle continuous multi-talker recordings well. We conduct a comprehensive investigation of the original E2E SA-ASR and the proposed method on the monaural LibriCSS dataset. Compared to the original E2E SA-ASR with relevant speaker profiles, the proposed method achieves a close performance without any prior speaker knowledge. We also show that the source-target attention in the E2E SA-ASR model provides information about the start and end times of the hypotheses.


title: Enhanced spin correlations in the Bose-Einstein condensate compound Sr3Cr2O8

abstract: Combined experimental and modeling studies of the magnetocaloric effect, ultrasound, and magnetostriction were performed on single-crystal samples of the spin-dimer system Sr$_3$Cr$_2$O$_8$ in large magnetic fields, to probe the spin-correlated regime in the proximity of the field-induced XY-type antiferromagnetic order also referred to as a Bose-Einstein condensate of magnons. The magnetocaloric effect, measured under adiabatic conditions, reveals details of the field-temperature ($H,T$) phase diagram, a dome characterized by critical magnetic fields $H_{c1}$ = 30.4 T, $H_{c2}$ = 62 T, and a single maximum ordering temperature $T_{{\rm max}}(45~$T$)\simeq$8 K. The sample temperature was observed to drop significantly as the magnetic field is increased, even for initial temperatures above $T_{{\rm max}}$, indicating a significant magnetic entropy associated to the field-induced closure of the spin gap. The ultrasound and magnetostriction experiments probe the coupling between the lattice degrees of freedom and the magnetism in Sr$_3$Cr$_2$O$_8$. Our experimental results are qualitatively reproduced by a minimalistic phenomenological model of the exchange-striction by which sound waves renormalize the effective exchange couplings.


title: DensE: An Enhanced Non-commutative Representation for Knowledge Graph Embedding with Adaptive Semantic Hierarchy

abstract: Capturing the composition patterns of relations is a vital task in knowledge graph completion. It also serves as a fundamental step towards multi-hop reasoning over learned knowledge. Previously, several rotation-based translational methods have been developed to model composite relations using the product of a series of complex-valued diagonal matrices. However, these methods tend to make several oversimplified assumptions on the composite relations, e.g., forcing them to be commutative, independent from entities and lacking semantic hierarchy. To systematically tackle these problems, we have developed a novel knowledge graph embedding method, named DensE, to provide an improved modeling scheme for the complex composition patterns of relations. In particular, our method decomposes each relation into an SO(3) group-based rotation operator and a scaling operator in the three dimensional (3-D) Euclidean space. This design principle leads to several advantages of our method: (1) For composite relations, the corresponding diagonal relation matrices can be non-commutative, reflecting a predominant scenario in real world applications; (2) Our model preserves the natural interaction between relational operations and entity embeddings; (3) The scaling operation provides the modeling power for the intrinsic semantic hierarchical structure of entities; (4) The enhanced expressiveness of DensE is achieved with high computational efficiency in terms of both parameter size and training time; and (5) Modeling entities in Euclidean space instead of quaternion space keeps the direct geometrical interpretations of relational patterns. Experimental results on multiple benchmark knowledge graphs show that DensE outperforms the current state-of-the-art models for missing link prediction, especially on composite relations.


title: Unsupervised Learning For Sequence-to-sequence Text-to-speech For Low-resource Languages

abstract: Recently, sequence-to-sequence models with attention have been successfully applied in Text-to-speech (TTS). These models can generate near-human speech with a large accurately-transcribed speech corpus. However, preparing such a large data-set is both expensive and laborious. To alleviate the problem of heavy data demand, we propose a novel unsupervised pre-training mechanism in this paper. Specifically, we first use Vector-quantization Variational-Autoencoder (VQ-VAE) to ex-tract the unsupervised linguistic units from large-scale, publicly found, and untranscribed speech. We then pre-train the sequence-to-sequence TTS model by using the<unsupervised linguistic units, audio>pairs. Finally, we fine-tune the model with a small amount of<text, audio>paired data from the target speaker. As a result, both objective and subjective evaluations show that our proposed method can synthesize more intelligible and natural speech with the same amount of paired training data. Besides, we extend our proposed method to the hypothesized low-resource languages and verify the effectiveness of the method using objective evaluation.


title: A Parallel Evaluation Data Set of Software Documentation with Document Structure Annotation

abstract: This paper accompanies the software documentation data set for machine translation, a parallel evaluation data set of data originating from the SAP Help Portal, that we released to the machine translation community for research purposes. It offers the possibility to tune and evaluate machine translation systems in the domain of corporate software documentation and contributes to the availability of a wider range of evaluation scenarios. The data set comprises of the language pairs English to Hindi, Indonesian, Malay and Thai, and thus also increases the test coverage for the many low-resource language pairs. Unlike most evaluation data sets that consist of plain parallel text, the segments in this data set come with additional metadata that describes structural information of the document context. We provide insights into the origin and creation, the particularities and characteristics of the data set as well as machine translation results.


title: Cooperative Verification via Collective Invariant Generation

abstract: Software verification has recently made enormous progress due to the development of novel verification methods and the speed-up of supporting technologies like SMT solving. To keep software verification tools up to date with these advances, tool developers keep on integrating newly designed methods into their tools, almost exclusively by re-implementing the method within their own framework. While this allows for a conceptual re-use of methods, it requires novel implementations for every new technique. In this paper, we employ cooperative verification in order to avoid reimplementation and enable usage of novel tools as black-box components in verification. Specifically, cooperation is employed for the core ingredient of software verification which is invariant generation. Finding an adequate loop invariant is key to the success of a verification run. Our framework named CoVerCIG allows a master verification tool to delegate the task of invariant generation to one or several specialized helper invariant generators. Their results are then utilized within the verification run of the master verifier, allowing in particular for crosschecking the validity of the invariant. We experimentally evaluate our framework on an instance with two masters and three different invariant generators using a number of benchmarks from SV-COMP 2020. The experiments show that the use of CoVerCIG can increase the number of correctly verified tasks without increasing the used resources


title: Random Projections and Dimension Reduction

abstract: This paper, broadly speaking, covers the use of randomness in two main areas: low-rank approximation and kernel methods. Low-rank approximation is very important in numerical linear algebra. Many applications depend on matrix decomposition algorithms that provide accurate low-rank representations of data. In modern problems, however, various factors make this hard to accomplish. One solution to these problems is the use of random projections. Instead of directly computing the matrix factorization, we randomly project the matrix onto a lower-dimensional subspace and then compute the factorization. Often, we are able to do this without significant loss of accuracy. We describe how randomization can be used to create more efficient algorithms to perform low-rank matrix approximation, as well as introducing a novel randomized algorithm for matrix decomposition. Compared to standard approaches, random algorithms are often faster and more robust. With these randomized algorithms, analyzing massive data sets becomes tractable. Kernel methods are almost diametrically opposite from low-rank approximation. The idea is to project low-dimensional data into a higher-dimensional 'feature space,' such that it is linear separable in the feature space. This enables the model to learn a nonlinear separation of the data. As before, with large data matrices, computing the kernel matrix can be expensive, so we use randomized methods to approximate the matrix. In addition, we propose an extension of the random Fourier features kernel in which hyperparameter values are randomly sampled from an interval or Borel set. The experiments discussed in this paper can be found on our website at https://rishi1999.github.io/random-projections.


title: Canonical loop quantization of the lowest-order projectable Horava gravity

abstract: The Hamiltonian formulation of the lowest-order projectable Horava gravity, namely the so-called $\lambda$-$R$ gravity, is studied. Since a preferred foliation has been chosen in projectable Horava gravity, there is no local Hamiltonian constraint in the theory. In contrast to general relativity, the constraint algebra of $\lambda$-$R$ gravity forms a Lie algebra. By canonical transformations, we further obtain the connection-dynamical formalism of the $\lambda$-R gravity theories with real $su(2)$-connections as configuration variables. This formalism enables us to extend the scheme of non-perturbative loop quantum gravity to the $\lambda$-$R$ gravity. While the quantum kinematical framework is the same as that for general relativity, the Hamiltonian constraint operator of loop quantum $\lambda$-$R$ gravity can be well defined in the diffeomorphism-invariant Hilbert space. Moreover, by introducing a global dust degree of freedom to represent a dynamical time, a physical Hamiltonian operator with respect to the dust can be defined and the physical states satisfying all the constraints are obtained.


title: An Upper Bound for the Menchov-Rademacher Operator for Right Triangles

abstract: The Menchov-Rademacher inequality is an inequality in harmonic analysis that bounds the $L_2$ norm of a certain maximal operator. It was first established in order to prove almost everywhere convergence of a one-parameter series of orthogonal functions. When two-parameter series of orthogonal functions is considered, the exact way the series is grouped becomes essential. We will consider grouping of a two-parameter series, generated by a sequence of right triangles with a vertex at the origin, who might be non-equilateral, and prove almost everywhere convergence when the eccentricity of those triangles is bounded. In order to carry out the proof, we will derive an analogue of the Menchov-Rademacher inequality for right triangles.


title: Riemannian stochastic recursive momentum method for non-convex optimization

abstract: We propose a stochastic recursive momentum method for Riemannian non-convex optimization that achieves a near-optimal complexity of $\tilde{\mathcal{O}}(\epsilon^{-3})$ to find $\epsilon$-approximate solution with one sample. That is, our method requires $\mathcal{O}(1)$ gradient evaluations per iteration and does not require restarting with a large batch gradient, which is commonly used to obtain the faster rate. Extensive experiment results demonstrate the superiority of our proposed algorithm.


title: Text as Neural Operator: Image Manipulation by Text Instruction

abstract: In recent years, text-guided image manipulation has gained increasing attention in the multimedia and computer vision community. The input to conditional image generation has evolved from image-only to multimodality. In this paper, we study a setting that allows users to edit an image with multiple objects using complex text instructions to add, remove, or change the objects. The inputs of the task are multimodal including (1) a reference image and (2) an instruction in natural language that describes desired modifications to the image. We propose a GAN-based method to tackle this problem. The key idea is to treat text as neural operators to locally modify the image feature. We show that the proposed model performs favorably against recent strong baselines on three public datasets. Specifically, it generates images of greater fidelity and semantic relevance, and when used as a image query, leads to better retrieval performance.


title: Metastable Potts Droplets

abstract: The existence and limits of metastable droplets have been calculated using finite-system renormalization-group theory, for q-state Potts models in spatial dimension d=3. The dependence of the droplet critical sizes on magnetic field, temperature, and number of Potts states q has been calculated. The same method has also been used for the calculation of hysteresis loops across first-order phase transitions in these systems. The hysteresis loop sizes and shapes have been deduced as a function of magnetic field, temperature, and number of Potts states q. The uneven appearance of asymmetry in the hysteresis loop branches has been noted. The method can be extended to criticality and phase transitions in metastable phases, such as in surface-adsorbed systems and water.


title: Extension of JPEG XS for Two-Layer Lossless Coding

abstract: A two-layer lossless image coding method compatible with JPEG XS is proposed. JPEG XS is a new international standard for still image coding that has the characteristics of very low latency and very low complexity. However, it does not support lossless coding, although it can achieve visual lossless coding. The proposed method has a two-layer structure similar to JPEG XT, which consists of JPEG XS coding and a lossless coding method. As a result, it enables us to losslessly restore original images, while maintaining compatibility with JPEG XS.


title: Breaking the Screen: Interaction Across Touchscreen Boundaries in Virtual Reality for Mobile Knowledge Workers

abstract: Virtual Reality (VR) has the potential to transform knowledge work. One advantage of VR knowledge work is that it allows extending 2D displays into the third dimension, enabling new operations, such as selecting overlapping objects or displaying additional layers of information. On the other hand, mobile knowledge workers often work on established mobile devices, such as tablets, limiting interaction with those devices to a small input space. This challenge of a constrained input space is intensified in situations when VR knowledge work is situated in cramped environments, such as airplanes and touchdown spaces. In this paper, we investigate the feasibility of interacting jointly between an immersive VR head-mounted display and a tablet within the context of knowledge work. Specifically, we 1) design, implement and study how to interact with information that reaches beyond a single physical touchscreen in VR; 2) design and evaluate a set of interaction concepts; and 3) build example applications and gather user feedback on those applications.


title: Electronic properties of graphyne-$N$ monolayer and its multilayer: even-odd effect and topological nodal line semimetalic phases

abstract: We study the electronic structure and topological properties of monolayer and ABC-stacked multilayer of graphyne-$N$, which are a family of planar carbon sheets consisting of $sp$ and $sp_2$-bonding. By using the density-functional theory and the effective continuum model, we find a striking even-odd effect in the dependence of the band structure on $N$ (the number of carbon-carbon triple bonds between neighboring benzene rings). Specifically, even-$N$ graphyne monolayer has doubly-degenerate conduction and valence bands near the Fermi energy, and in its ABC multilayer, the band inversion of the doubly-degenerate bands leads to a nodal-line semimetal phase with non-trivial $\mathbb{Z}_2$ monopole charge. In contrast, odd-$N$ monolayer has singly-degenerate bands in separate valleys, and its ABC multilayer can have only $\mathbb{Z}_2$-trivial nodal lines. ABC graphynes with larger $N$ tend to be trivial insulators because of smaller interlayer coupling, while the external pressure induces a topological phase transition from the trivial phase to the nodal line semimetal phase.


title: Fundamental principles for generalized Willis metamaterials

abstract: Metamaterials whose momentum is constitutively coupled with their strain show promise in wave manipulation for engineering purposes and are called Willis materials. They were discovered using an effective medium theory which shows that their response is non-local in space and time. Recently, we generalized this theory to account for piezoelectricity and demonstrated that the effective momentum can depend constitutively on the electric field, thereby enlarging the design space for metamaterials. Here, we develop the mathematical restrictions on the effective properties of such generalized Willis materials, owing to passivity, reciprocity, and causality. Establishing these restrictions is of fundamental significance, as they test the validity of theoretical and experimental results and applicational importance since they provide elementary bounds for the maximal response that potential devices may achieve.


title: Spectrum and Prosody Conversion for Cross-lingual Voice Conversion with CycleGAN

abstract: Cross-lingual voice conversion aims to change source speaker's voice to sound like that of target speaker, when source and target speakers speak different languages. It relies on non-parallel training data from two different languages, hence, is more challenging than mono-lingual voice conversion. Previous studies on cross-lingual voice conversion mainly focus on spectral conversion with a linear transformation for F0 transfer. However, as an important prosodic factor, F0 is inherently hierarchical, thus it is insufficient to just use a linear method for conversion. We propose the use of continuous wavelet transform (CWT) decomposition for F0 modeling. CWT provides a way to decompose a signal into different temporal scales that explain prosody in different time resolutions. We also propose to train two CycleGAN pipelines for spectrum and prosody mapping respectively. In this way, we eliminate the need for parallel data of any two languages and any alignment techniques. Experimental results show that our proposed Spectrum-Prosody-CycleGAN framework outperforms the Spectrum-CycleGAN baseline in subjective evaluation. To our best knowledge, this is the first study of prosody in cross-lingual voice conversion.


title: Unbiased Learning for the Causal Effect of Recommendation

abstract: Increasing users' positive interactions, such as purchases or clicks, is an important objective of recommender systems. Recommenders typically aim to select items that users will interact with. If the recommended items are purchased, an increase in sales is expected. However, the items could have been purchased even without recommendation. Thus, we want to recommend items that results in purchases caused by recommendation. This can be formulated as a ranking problem in terms of the causal effect. Despite its importance, this problem has not been well explored in the related research. It is challenging because the ground truth of causal effect is unobservable, and estimating the causal effect is prone to the bias arising from currently deployed recommenders. This paper proposes an unbiased learning framework for the causal effect of recommendation. Based on the inverse propensity scoring technique, the proposed framework first constructs unbiased estimators for ranking metrics. Then, it conducts empirical risk minimization on the estimators with propensity capping, which reduces variance under finite training samples. Based on the framework, we develop an unbiased learning method for the causal effect extension of a ranking metric. We theoretically analyze the unbiasedness of the proposed method and empirically demonstrate that the proposed method outperforms other biased learning methods in various settings.


title: Evidence for dense gas heated by the explosion in Orion KL

abstract: We mapped the kinetic temperature structure of Orion KL in a $\sim$20$''$ ($\sim$8000 AU) sized region with para-H$_{2}$CS $7_{07}-6_{06}$, $7_{26}-6_{25}$, and $7_{25}-6_{24}$ making use of ALMA Band 6 Science Verification data. The kinetic temperatures obtained with a resolution of $1\hbox{$\,.\!\!^{\prime\prime}$}65$$\times$$1\hbox{$\,.\!\!^{\prime\prime}$}14$ ($\sim$550 AU) are deduced by modeling the measured averaged velocity-integrated intensity ratios of para-H$_2$CS $7_{26}-6_{25}/7_{07}-6_{06}$ and $7_{25}-6_{24}/7_{07}-6_{06}$ with a RADEX non-LTE model. The kinetic temperatures of the dense gas, derived from the para-H$_2$CS line ratios at a spatial density of 10$^7$ cm$^{-3}$, are high, ranging from 43 to $>$500 K with an unweighted average of $\sim$170 K. There is no evidence for internal sources playing an important role in the heating of the various structures identified in previous work, namely the elongated ridge, the northwestern clump, and the eastern region of the compact ridge, while the high temperatures in the western region of the compact ridge may be dominated by internal massive star formation. Significant gradients of kinetic temperature along molecular filaments traced by H$_2$CS indicate that the dense gas is heated by the shocks induced by the enigmatic explosive event, which occurred several hundred years ago greatly affecting the energetics of the Orion KL region. Thus, with the notable exception of the western region of the compact ridge, the high temperatures of the dense gas in Orion KL are probably caused by shocks from the explosive event, leading to a dominant component of externally heated dense gas.


title: Epigraphical Relaxation for Minimizing Layered Mixed Norms

abstract: This paper proposes an epigraphical relaxation (ERx) technique for non-proximable mixed norm minimization. Mixed norm regularization methods play a central role in signal reconstruction and processing, where their optimization relies on the fact that the proximity operators of the mixed norms can be computed efficiently. To bring out the power of regularization, sophisticated layered modeling of mixed norms that can capture inherent signal structure is a key ingredient, but the proximity operator of such a mixed norm is often unavailable (non-proximable). Our ERx decouples a layered non-proximable mixed norm into a norm and multiple epigraphical constraints. This enables us to handle a wide range of non-proximable mixed norms in optimization, as long as both the proximal operator of the outermost norm and the projection onto each epigraphical constraint are efficiently computable. Moreover, under mild conditions, we prove that ERx does not change the minimizer of the original problem despite relaxing equality constraints into inequality ones. We also develop new regularizers based on ERx: one is decorrelated structure-tensor total variation for color image restoration, and the other is amplitude-spectrum nuclear norm for low-rank amplitude recovery. We examine the power of these regularizers through experiments, which illustrates the utility of ERx.


title: Conditioning problems for invariant sets of expanding piecewise affine mappings: Application to loss of ergodicity in globally coupled maps

abstract: We propose a systematic approach to the construction of invariant union of polytopes (IUP) in expanding piecewise affine mappings whose linear components are isotropic scalings. The approach relies on using empirical information embedded in trajectories in order to infer, and then to solve, a so-called conditioning problem for some generating collection of polytopes. A conditioning problem consists of a series of requirements on the polytopes' localisation and on the dynamical transitions between these elements. The core element of the approach is a reformulation of the problem as a set of piecewise linear inequalities for some matrices which encapsulate geometric constraints. In that way, the original topological puzzle is converted into a standard problem in computational geometry. This transformation involves an optimization procedure that ensures that both problems are equivalent. As a proof of concept, the approach is applied to the study of the loss of ergodicity in basic examples of globally coupled maps. The study explains, completes and substantially extends previous achievements about asymmetric IUP in these systems. Comparison with the numerics reveals sharp existence conditions depending on the map parameters, and accurate fits of the empirical ergodic components. In addition, this application also reveals unanticipated features about conditioning problem solutions, especially as the dependence on the set of admissible face directions is concerned.


title: Woodpecker-DL: Accelerating Deep Neural Networks via Hardware-Aware Multifaceted Optimizations

abstract: Accelerating deep model training and inference is crucial in practice. Existing deep learning frameworks usually concentrate on optimizing training speed and pay fewer attentions to inference-specific optimizations. Actually, model inference differs from training in terms of computation, e.g. parameters are refreshed each gradient update step during training, but kept invariant during inference. These special characteristics of model inference open new opportunities for its optimization. In this paper, we propose a hardware-aware optimization framework, namely Woodpecker-DL (WPK), to accelerate inference by taking advantage of multiple joint optimizations from the perspectives of graph optimization, automated searches, domain-specific language (DSL) compiler techniques and system-level exploration. In WPK, we investigated two new automated search approaches based on genetic algorithm and reinforcement learning, respectively, to hunt the best operator code configurations targeting specific hardware. A customized DSL compiler is further attached to these search algorithms to generate efficient codes. To create an optimized inference plan, WPK systematically explores high-speed operator implementations from third-party libraries besides our automatically generated codes and singles out the best implementation per operator for use. Extensive experiments demonstrated that on a Tesla P100 GPU, we can achieve the maximum speedup of 5.40 over cuDNN and 1.63 over TVM on individual convolution operators, and run up to 1.18 times faster than TensorRT for end-to-end model inference.


title: Code-based Vulnerability Detection in Node.js Applications: How far are we?

abstract: With one of the largest available collection of reusable packages, the JavaScript runtime environment Node.js is one of the most popular programming application. With recent work showing evidence that known vulnerabilities are prevalent in both open source and industrial software, we propose and implement a viable code-based vulnerability detection tool for Node.js applications. Our case study lists the challenges encountered while implementing our Node.js vulnerable code detector.


title: EEG-based Auditory Attention Decoding: Towards Neuro-Steered Hearing Devices

abstract: People suffering from hearing impairment often have difficulties participating in conversations in so-called `cocktail party' scenarios with multiple people talking simultaneously. Although advanced algorithms exist to suppress background noise in these situations, a hearing device also needs information on which of these speakers the user actually aims to attend to. The correct (attended) speaker can then be enhanced using this information, and all other speakers can be treated as background noise. Recent neuroscientific advances have shown that it is possible to determine the focus of auditory attention from non-invasive neurorecording techniques, such as electroencephalography (EEG). Based on these new insights, a multitude of auditory attention decoding (AAD) algorithms have been proposed, which could, combined with the appropriate speaker separation algorithms and miniaturized EEG sensor devices, lead to so-called neuro-steered hearing devices. In this paper, we provide a broad review and a statistically grounded comparative study of EEG-based AAD algorithms and address the main signal processing challenges in this field.


title: Analysis of self-equilibrated networks through cellular modeling

abstract: Network equilibrium models represent a versatile tool for the analysis of interconnected objects and their relationships. They have been widely employed in both science and engineering to study the behavior of complex systems under various conditions, including external perturbations and damage. In this paper, network equilibrium models are revisited through graph-theory laws and attributes with special focus on systems that can sustain equilibrium in the absence of external perturbations (self-equilibrium). A new approach for the analysis of self-equilibrated networks is proposed; they are modeled as a collection of cells, predefined elementary network units that have been mathematically shown to compose any self-equilibrated network. Consequently, the equilibrium state of complex self-equilibrated systems can be obtained through the study of individual cell equilibria and their interactions. A series of examples that highlight the flexibility of network equilibrium models are included in the paper. The examples attest how the proposed approach, which combines topological as well as geometrical considerations, can be used to decipher the state of complex systems.


title: Crossover from meta-magnetic state to spin-glass behaviour upon Ti-substitution for Mn in CuMn2O4

abstract: Tetragonal distorted spinel of CuMn2-xTixO4 (x = 0, 0.25 and 0.50) was prepared by solid state reaction method followed by neutron diffraction, FTIR spectroscopy, dielectric spectroscopy and magnetization measurements. The neutron diffraction and FTIR spectroscopy provide the information regarding phase formation. But, the magnetic susceptibility clearly shows the ferri-magnetic order below 76K associated with meta-magnetic state which turns to spin-glass behaviour upon Ti-substitution for Mn in CuMn2O4. In addition, the room temperature M(H) of all the spinels are described by the Arrott's plot for weak ferromagnetism. Further, the room temperature dielectric measurement provides the electronic property of CuMn2O4 dominated by grain boundary effect that is significantly increased upon Ti-substitution for Mn in CuMn2O4.


title: An Empirical Analysis of Backward Compatibility in Machine Learning Systems

abstract: In many applications of machine learning (ML), updates are performed with the goal of enhancing model performance. However, current practices for updating models rely solely on isolated, aggregate performance analyses, overlooking important dependencies, expectations, and needs in real-world deployments. We consider how updates, intended to improve ML models, can introduce new errors that can significantly affect downstream systems and users. For example, updates in models used in cloud-based classification services, such as image recognition, can cause unexpected erroneous behavior in systems that make calls to the services. Prior work has shown the importance of "backward compatibility" for maintaining human trust. We study challenges with backward compatibility across different ML architectures and datasets, focusing on common settings including data shifts with structured noise and ML employed in inferential pipelines. Our results show that (i) compatibility issues arise even without data shift due to optimization stochasticity, (ii) training on large-scale noisy datasets often results in significant decreases in backward compatibility even when model accuracy increases, and (iii) distributions of incompatible points align with noise bias, motivating the need for compatibility aware de-noising and robustness methods.


title: Investigating the ranges of (meta)stable phase formation in (InxGa1-x)2O3: Impact of the cation coordination

abstract: We investigate the phase diagram of the heterostructural solid solution (InxGa1-x)2O3 both computationally, by combining cluster expansion and density functional theory, and experimentally, by means of TEM measurements of pulsed laser deposited (PLD) heteroepitaxial thin films. The shapes of the Gibbs free energy curves for the monoclinic, hexagonal and cubic bixbyite alloy as a function of composition can be explained in terms of the preferred cation coordination environments of indium and gallium. We show by atomically resolved STEM that the strong preference of indium for six-fold coordination results in ordered monoclinic and hexagonal lattices. This ordering impacts the configurational entropy in the solid solution and thereby the (InxGa1-x)2O3 phase diagram. The resulting phase diagram is characterized by very limited solubilities of gallium and indium in the monoclinic, hexagonal and cubic ground state phases respectively but exhibits wide metastable ranges at realistic growth temperatures. On the indium rich side of the phase diagram a wide miscibility gap is found, which results in phase separated layers. The experimentally observed indium solubilities in the PLD samples are in the range of x=0.45 and x=0.55 for monoclinic and hexagonal single-phase films, while for phase separated films we find x=0.5 for the monoclinic phase, x=0.65-0.7 for the hexagonal phase and x>0.9 for the cubic phase. These values are consistent with the computed metastable ranges for each phase.


title: Bunched LPCNet : Vocoder for Low-cost Neural Text-To-Speech Systems

abstract: LPCNet is an efficient vocoder that combines linear prediction and deep neural network modules to keep the computational complexity low. In this work, we present two techniques to further reduce it's complexity, aiming for a low-cost LPCNet vocoder-based neural Text-to-Speech (TTS) System. These techniques are: 1) Sample-bunching, which allows LPCNet to generate more than one audio sample per inference; and 2) Bit-bunching, which reduces the computations in the final layer of LPCNet. With the proposed bunching techniques, LPCNet, in conjunction with a Deep Convolutional TTS (DCTTS) acoustic model, shows a 2.19x improvement over the baseline run-time when running on a mobile device, with a less than 0.1 decrease in TTS mean opinion score (MOS).


title: PiNet: Attention Pooling for Graph Classification

abstract: We propose PiNet, a generalised differentiable attention-based pooling mechanism for utilising graph convolution operations for graph level classification. We demonstrate high sample efficiency and superior performance over other graph neural networks in distinguishing isomorphic graph classes, as well as competitive results with state of the art methods on standard chemo-informatics datasets.


title: Quasinormal Modes of the Generalized Ay\'{o}n-Beato-Garc\'{\i}a Scalar-Tensor-Vector Gravity Black Hole in the Scalar-Tensor-Vector Gravity

abstract: We obtain the solution of a generalized ABG STVG black hole with the nonlinear tensor field $B_{\mu \nu }$ in the scalar-tensor-vector gravity. This black hole is endowed with four parameters, the black hole mass $M$, the parameter $\alpha$ associated with the STVG theory, and the two parameters $\lambda$ and $\beta$ that are related to the dipole and quadrupole moments of the nonlinear tensor field, respectively. By analyzing the characteristics of the black hole, we find that the generalized ABG STVG black hole is regular when $\lambda \geqslant 3$ and $\beta \geqslant 4$, and we study the effects of the parameters $\alpha$, $\lambda$ and $\beta$ on the black hole horizon. We calculate the quasinormal mode frequencies of the odd parity gravitational perturbation for the generalized ABG STVG black hole by using the 6th order WKB approximation method and simultaneously by the null geodesic method at the eikonal limit. The results show that the increase of the parameters $\alpha$ and $\lambda$ makes the gravitational waves decay slowly, while the increase of the parameter $\beta$ makes the gravitational waves decay fast at first and then slowly. In addition, we verify that the improved correspondence between the real part of quasinormal frequencies at the eikonal limit and the shadow radius is valid for the generalized ABG STVG black hole.


title: Offloading Quantum Computation by Superposition Masking

abstract: Error correction will add so much overhead to large quantum computations that we suspect the most efficient algorithms will use a classical co-processor to do as much work as possible. We present a method to offload portions of a quantum computation to a classical computer by producing a superposition of masks which hide a quantum input. With the masks, we can measure the result without altering the original input and then perform classical computations on the measured output. If the task has enough structure, the classical computations will be equivalent to a quantum computation performed in superposition. We apply this technique to modular inversion, root-finding, division with remainder, sparse matrix inversion, and inverting generic group homomorphisms, achieving at least a constant-factor improvement in quantum operations for each. Unfortunately, it is difficult to uncompute or invert this technique because of the measurement, and thus we know of no useful algorithm which benefits from superposition masking.


title: Why Did the x-Vector System Miss a Target Speaker? Impact of Acoustic Mismatch Upon Target Score on VoxCeleb Data

abstract: Modern automatic speaker verification (ASV) relies heavily on machine learning implemented through deep neural networks. It can be difficult to interpret the output of these black boxes. In line with interpretative machine learning, we model the dependency of ASV detection score upon acoustic mismatch of the enrollment and test utterances. We aim to identify mismatch factors that explain target speaker misses (false rejections). We use distance in the first- and second-order statistics of selected acoustic features as the predictors in a linear mixed effects model, while a standard Kaldi x-vector system forms our ASV black-box. Our results on the VoxCeleb data reveal the most prominent mismatch factor to be in F0 mean, followed by mismatches associated with formant frequencies. Our findings indicate that x-vector systems lack robustness to intra-speaker variations.


title: DREAM: A Dynamic Relational-Aware Model for Social Recommendation

abstract: Social connections play a vital role in improving the performance of recommendation systems (RS). However, incorporating social information into RS is challenging. Most existing models usually consider social influences in a given session, ignoring that both users preferences and their friends influences are evolving. Moreover, in real world, social relations are sparse. Modeling dynamic influences and alleviating data sparsity is of great importance. In this paper, we propose a unified framework named Dynamic RElation Aware Model (DREAM) for social recommendation, which tries to model both users dynamic interests and their friends temporal influences. Specifically, we design temporal information encoding modules, because of which user representations are updated in each session. The updated user representations are transferred to relational-GAT modules, subsequently influence the operations on social networks. In each session, to solve social relation sparsity, we utilize glove-based method to complete social network with virtual friends. Then we employ relational-GAT module over completed social networks to update users representations. In the extensive experiments on the public datasets, DREAM significantly outperforms the state-of-the-art solutions.


title: Isochronous $n$-dimensional nonlinear PDM-oscillators: linearizability, invariance and exact solvability

abstract: Within the standard Lagrangian settings (i.e., the difference between kinetic and potential energies), we discuss and report isochronicity, linearizability and exact solubility of some $n$-dimensional nonlinear position-dependent mass (PDM) oscillators. In the process, negative the gradient of the PDM-potential force field is shown to be no longer related to the time derivative of the canonical momentum, $\mathbf{p}% =m\left( r\right) \mathbf{\dot{r}}$, but it is rather related to the time derivative of the pseudo-momentum, $\mathbf{\pi }\left( r\right) =\sqrt{% m\left( r\right) }\mathbf{\dot{r}}$ (i.e., Noether momentum). Moreover, using some point transformation recipe, we show that the linearizability of the $n$-dimensional nonlinear PDM-oscillators is only possible for $n=1$ but not for $n\geq 2$. The Euler-Lagrange invariance falls short/incomplete for $n\geq 2$ under PDM settings. Alternative invariances are sought, therefore. Such invariances, like \emph{Newtonian invariance} of Mustafa \cite{42}, effectively authorize the use of the exact solutions of one system to find the solutions of the other. A sample of isochronous $n$-dimensional nonlinear PDM-oscillators examples are reported.


title: Using Network Embeddings for Improving Network Alignment

abstract: Network (or Graph) Alignment Algorithms aims to reveal structural similarities among graphs. In particular Local Network Alignment Algorithms (LNAs) finds local regions of similarity among two or more networks. Such algorithms are in general based on a set of seed nodes that are used to grow an alignment. Almost all LNAs algorithms use as seed nodes a set of vertices based on context information (e.g. a set of biologically related in biological network alignment) and this may cause a bias or a data-circularity problem. More recently, we demonstrated that the use of topological information in the choice of seed nodes may improve the quality of the alignments. We used some common approaches based on global alignment algorithms for capturing topological similarity among nodes. In parallel, it has been demonstrated that the use of network embedding methods (or representation learning), may capture the structural similarity among nodes better than other methods. Therefore we propose to use network embeddings to learn structural similarity among nodes and to use such similarity to improve LNA extendings our previous algorithms. We define a framework for LNA.


title: Rethinking Pseudo-LiDAR Representation

abstract: The recently proposed pseudo-LiDAR based 3D detectors greatly improve the benchmark of monocular/stereo 3D detection task. However, the underlying mechanism remains obscure to the research community. In this paper, we perform an in-depth investigation and observe that the efficacy of pseudo-LiDAR representation comes from the coordinate transformation, instead of data representation itself. Based on this observation, we design an image based CNN detector named Patch-Net, which is more generalized and can be instantiated as pseudo-LiDAR based 3D detectors. Moreover, the pseudo-LiDAR data in our PatchNet is organized as the image representation, which means existing 2D CNN designs can be easily utilized for extracting deep features from input data and boosting 3D detection performance. We conduct extensive experiments on the challenging KITTI dataset, where the proposed PatchNet outperforms all existing pseudo-LiDAR based counterparts. Code has been made available at: https://github.com/xinzhuma/patchnet.


title: Mid Frequency Aperture Array Architectural Design Document

abstract: The Square Kilometre Array (SKA) is the next generation radio telescope. Aperture Arrays (AA) are considered for SKA-2 for frequencies up to 1.4 GHz (SKA-1 uses AAs up to 350 MHz). This document presents design considerations of this Mid-Frequency Aperture Array (MFAA) element and possible system architectures complying with the SKA-2 system requirements, combining high sensitivity with a superb survey speed. The architectural analyses has been submitted to the System Requirements Review of the MFAA element.


title: Bayesian Selective Inference: Non-informative Priors

abstract: We discuss Bayesian inference for parameters selected using the data. First, we provide a critical analysis of the existing positions in the literature regarding the correct Bayesian approach under selection. Second, we propose two types of non-informative priors for selection models. These priors may be employed to produce a posterior distribution in the absence of prior information as well as to provide well-calibrated frequentist inference for the selected parameter. We test the proposed priors empirically in several scenarios.