title: Bifurcations of a plane parallel flow with Kolmogorov forcing

abstract: We study the primary bifurcations of a two-dimensional Kolmogorov flow in a channel subject to boundary conditions chosen to mimic a parallel flow, i.e. periodic and free-slip boundary conditions in the streamwise and spanwise directions, respectively. The control parameter is the Reynolds number based on the friction coefficient, denoted as $Rh$. We find that as we increase $Rh$ the laminar steady flow goes through a degenerate Hopf bifurcation with both the oscillation frequency and the amplitude of the growing mode being zero at the threshold. A reduced four-mode model captures the scalings that are obtained from the numerical simulations. As we increase $Rh$ further we observe a secondary instability which excites the largest mode in the domain. The saturated amplitude of the largest mode is found to scale as a $3/2$ power-law of the distance to the threshold which is also explained using a low-dimensional model.


title: Birth of convective low-mass to high-mass second Larson cores

abstract: Stars form as an end product of the gravitational collapse of cold, dense gas in magnetized molecular clouds. This multi-scale scenario occurs via the formation of two quasi-hydrostatic cores and involves complex physical processes, which require a robust, self-consistent numerical treatment. The aim of this study is to understand the formation and evolution of the second Larson core and the dependence of its properties on the initial cloud core mass. We used the PLUTO code to perform high resolution, 1D and 2D RHD collapse simulations. We include self-gravity and use a grey FLD approximation for the radiative transfer. Additionally, we use for the gas EOS density- and temperature-dependent thermodynamic quantities to account for the effects such as dissociation, ionisation, and molecular vibrations and rotations. Properties of the second core are investigated using 1D studies spanning a wide range of initial cloud core masses from 0.5 to 100 $M_{\odot}$. Furthermore, we expand to 2D collapse simulations for a few cases of 1, 5, 10, and 20 $M_{\odot}$. We follow the evolution of the second core for $\geq$ 100 years after its formation, for each of these non-rotating cases. Our results indicate a dependence of several second core properties on the initial cloud core mass. For the first time, due to an unprecedented resolution, our 2D non-rotating collapse studies indicate that convection is generated in the outer layers of the second core, which is formed due to the gravitational collapse of a 1 $M_{\odot}$ cloud core. Additionally, we find large-scale oscillations of the second accretion shock front triggered by the standing accretion shock instability, which has not been seen before in early evolutionary stages of stars. We predict that the physics within the second core would not be significantly influenced by the effects of magnetic fields or an initial cloud rotation.


title: Exploring the SARS-CoV-2 virus-host-drug interactome for drug repurposing

abstract: Coronavirus Disease-2019 (COVID-19) is an infectious disease caused by the SARS-CoV-2 virus. It was first identified in Wuhan, China, and has since spread causing a global pandemic. Various studies have been performed to understand the molecular mechanisms of viral infection for predicting drug repurposing candidates. However, such information is spread across many publications and it is very time-consuming to access, integrate, explore, and exploit. We developed CoVex, the first interactive online platform for SARS-CoV-2 and SARS-CoV-1 host interactome exploration and drug (target) identification. CoVex integrates 1) experimentally validated virus-human protein interactions, 2) human protein-protein interactions and 3) drug-target interactions. The web interface allows user-friendly visual exploration of the virus-host interactome and implements systems medicine algorithms for network-based prediction of drugs. Thus, CoVex is an important resource, not only to understand the molecular mechanisms involved in SARS-CoV-2 and SARS-CoV-1 pathogenicity, but also in clinical research for the identification and prioritization of candidate therapeutics. We apply CoVex to investigate recent hypotheses on a systems biology level and to systematically explore the molecular mechanisms driving the virus life cycle. Furthermore, we extract and discuss drug repurposing candidates involved in these mechanisms. CoVex renders COVID-19 drug research systems-medicine-ready by giving the scientific community direct access to network medicine algorithms integrating virus-host-drug interactions. It is available at https://exbio.wzw.tum.de/covex/.


title: Constrains on the electric charges of the binary black holes with GWTC-1 events

abstract: Testing black hole's charged property is a fascinating topic in modified gravity and black hole astrophysics. In the first Gravitational-Wave Transient Catalog (GWTC-1), ten binary black hole merger events have been formally reported, and these gravitational wave signals have significantly enhanced our understanding of the black hole. In this paper, we try to constrain the amount of electric charge with the parameterized post-Einsteinian framework by treating the electric charge as a small perturbation in a Bayesian way. We find that the current limits in our work are consistent with the result of Fisher information matrix method in previous works. We also develop a waveform model considering a leading order charge effect for binary black hole inspiral.


title: On a maximum of nearest-neighbor random walk with asymptotically zero drift on lattice of positive half line

abstract: Consider a nearest-neighbor random walk with certain asymptotically zero drift on the positive half line. Let $M$ be the maximum of an excursion starting from $1$ and ending at $0.$ We study the distribution of $M$ and characterize its asymptotics, which is quite different from those of simple random walks.


title: On the structure of symmetric $n$-ary bands

abstract: We study the class of symmetric $n$-ary bands. These are $n$-ary semigroups $(X,F)$ such that $F$ is invariant under the action of permutations and idempotent, i.e., satisfies $F(x,\ldots,x)=x$ for all $x\in X$. We first provide a structure theorem for these symmetric $n$-ary bands that extends the classical (strong) semilattice decomposition of certain classes of bands. We introduce the concept of strong $n$-ary semilattice of $n$-ary semigroups and we show that the symmetric $n$-ary bands are exactly the strong $n$-ary semilattices of $n$-ary extensions of Abelian groups whose exponents divide $n-1$. Finally, we use the structure theorem to obtain necessary and sufficient conditions for a symmetric $n$-ary band to be reducible to a semigroup.


title: An Efficient Index Method for the Optimal Route Query over Multi-Cost Networks

abstract: Smart city has been consider the wave of the future and the route recommendation in networks is a fundamental problem in it. Most existing approaches for the shortest route problem consider that there is only one kind of cost in networks. However, there always are several kinds of cost in networks and users prefer to select an optimal route under the global consideration of these kinds of cost. In this paper, we study the problem of finding the optimal route in the multi-cost networks. We prove this problem is NP-hard and the existing index techniques cannot be used to this problem. We propose a novel partition-based index with contour skyline techniques to find the optimal route. We propose a vertex-filtering algorithm to facilitate the query processing. We conduct extensive experiments on six real-life networks and the experimental results show that our method has an improvement in efficiency by an order of magnitude compared to the previous heuristic algorithms.


title: $f(\bar{R}, L(X))$-gravity in the context of dark energy with power law expansion and energy conditions

abstract: The motto of this work is to generate a general formalism of $f(\bar{R}, L(X))-$gravity in the context of dark energy under the framework of the {\bf K-}essence emergent geometry with the Dirac-Born-Infeld (DBI) variety of action, where $\bar{R}$ is the familiar Ricci scalar, $L(X)$ is the DBI type non-canonical Lagrangian with $X={1\over 2}g^{\mu\nu}\nabla_{\mu}\phi\nabla_{\nu}\phi$ and $\phi$ is the {\bf K-}essence scalar field. The emergent gravity metric $\bar{G}_{\mu\nu}$ and the well known gravitational metric $g_{\mu\nu}$ are not conformally equivalent. We have constructed a modified field equation using the metric formalism in $f(\bar{R}, L(X))$-gravity incorporating the corresponding Friedmann equations in the framework of the background gravitational metric which is of Friedmann-Lema{\^i}tre-Robertson-Walker (FLRW) type. The solution of modified Friedmann equations have been deduced for the specific choice of $f(\bar{R}, L(X))$, which is of Starobinsky-type, using power law expansion method. The consistency of the model with the accelerating phase of the Universe has been shown, when we restrict ourselves to consider the value of the dark energy density, as $\dot\phi^{2}=\frac{8}{9}=0.888 <1$, which indicates that the present Universe is dark energy dominated. Graphical plots for the energy density ($\rho$), pressure ($p$) and equation of state parameter ($\omega$) w.r.t. time ($t$) based on parametric values are interestingly consistent with the dark energy domination and hence accelerating features. We also put some light on the corresponding energy conditions and constraints of the $f(\bar{R}, L(X))$ theory with one basic example.


title: Metastable solitonic states in the strained itinerant helimagnet FeGe

abstract: The tensile strain is a promising tool for creation and manipulation of magnetic solitonic textures in the chiral helimagnets via tunable control of magnetic anisotropy and Dzyaloshinskii-Moriya interaction. Here, by using the in-situ resonant small-angle x-ray scattering we demonstrate that the skyrmion and chiral soliton lattices can be achieved as metastable states in FeGe lamella as distinct states or even simultaneously by combining the tensile strain and magnetic fields in various orientations with respect to the deformation. The small-angle scattering data are discussed in the frame of the analytical model which is sufficient to describe the experimental results for soliton lattice. By using the experimental results and analytical theory, unwinding of the metastable skyrmions in the perpendicular magnetic field as seen by small-angle scattering experiment was analyzed by the micromagnetic simulation.


title: Cross-Domain Structure Preserving Projection for Heterogeneous Domain Adaptation

abstract: Heterogeneous Domain Adaptation (HDA) addresses the transfer learning problems where data from the source and target domains are of different modalities (e.g., texts and images) or feature dimensions (e.g., features extracted with different methods). It is useful for multi-modal data analysis. Traditional domain adaptation algorithms assume that the representations of source and target samples reside in the same feature space, hence are likely to fail in solving the heterogeneous domain adaptation problem. Contemporary state-of-the-art HDA approaches are usually composed of complex optimization objectives for favourable performance and are therefore computationally expensive and less generalizable. To address these issues, we propose a novel Cross-Domain Structure Preserving Projection (CDSPP) algorithm for HDA. As an extension of the classic LPP to heterogeneous domains, CDSPP aims to learn domain-specific projections to map sample features from source and target domains into a common subspace such that the class consistency is preserved and data distributions are sufficiently aligned. CDSPP is simple and has deterministic solutions by solving a generalized eigenvalue problem. It is naturally suitable for supervised HDA but has also been extended for semi-supervised HDA where the unlabelled target domain samples are available. Extensive experiments have been conducted on commonly used benchmark datasets (i.e. Office-Caltech, Multilingual Reuters Collection, NUS-WIDE-ImageNet) for HDA as well as the Office-Home dataset firstly introduced for HDA by ourselves due to its significantly larger number of classes than the existing ones (65 vs 10, 6 and 8). The experimental results of both supervised and semi-supervised HDA demonstrate the superior performance of our proposed method against contemporary state-of-the-art methods.


title: Singular Diffusion with Neumann boundary conditions

abstract: In this paper we develop an existence theory for the nonlinear initial-boundary value problem with singular diffusion $\partial_t u = \text{div}(k(x)\nabla G(u))$, $u|_{t=0}=u_0$ with Neumann boundary conditions $k(x)\nabla G(u)\cdot \nu = 0$. Here $x\in B\subset \mathbb{R}^d$, a bounded open set with locally Lipchitz boundary, and with $\nu$ as the unit outer normal. The function $G$ is Lipschitz continuous and nondecreasing, while $k(x)$ is diagonal matrix. We show that any two weak entropy solutions $u$ and $v$ satisfy $\Vert{u(t)-v(t)}\Vert_{L^1(B)}\le \Vert{u|_{t=0}-v|_{t=0}}\Vert_{L^1(B)}e^{Ct}$, for almost every $t\ge 0$, and a constant $C=C(k,G,B)$. If we restrict to the case when the entries $k_i$ of $k$ depend only on the corresponding component, $k_i=k_i(x_i)$, we show that there exists an entropy solution, thus establishing in this case that the problem is well-posed in the sense of Hadamard.


title: Towards Multimodal Response Generation with Exemplar Augmentation and Curriculum Optimization

abstract: Recently, variational auto-encoder (VAE) based approaches have made impressive progress on improving the diversity of generated responses. However, these methods usually suffer the cost of decreased relevance accompanied by diversity improvements. In this paper, we propose a novel multimodal response generation framework with exemplar augmentation and curriculum optimization to enhance relevance and diversity of generated responses. First, unlike existing VAE-based models that usually approximate a simple Gaussian posterior distribution, we present a Gaussian mixture posterior distribution (i.e, multimodal) to further boost response diversity, which helps capture complex semantics of responses. Then, to ensure that relevance does not decrease while diversity increases, we fully exploit similar examples (exemplars) retrieved from the training data into posterior distribution modeling to augment response relevance. Furthermore, to facilitate the convergence of Gaussian mixture prior and posterior distributions, we devise a curriculum optimization strategy to progressively train the model under multiple training criteria from easy to hard. Experimental results on widely used SwitchBoard and DailyDialog datasets demonstrate that our model achieves significant improvements compared to strong baselines in terms of diversity and relevance.


title: Low-rank matrix completion theory via Plucker coordinates

abstract: Despite the popularity of low-rank matrix completion, the majority of its theory has been developed under the assumption of random observation patterns, whereas very little is known about the practically relevant case of non-random patterns. Specifically, a fundamental yet largely open question is to describe patterns that allow for unique or finitely many completions. This paper provides two such families of patterns for any rank. A key to achieving this is a novel formulation of low-rank matrix completion in terms of Plucker coordinates, the latter a traditional tool in computer vision. This connection is of potential significance to a wide family of matrix and subspace learning problems with incomplete data.


title: Adding color: Visualization of energy landscapes in spin glasses

abstract: Disconnectivity graphs are used to visualize the minima and the lowest energy barriers between the minima of complex systems. They give an easy and intuitive understanding of the underlying energy landscape and, as such, are excellent tools for understanding the complexity involved in finding low-lying or global minima of such systems. We have developed a classification scheme that categorizes highly-degenerate minima of spin glasses based on similarity and accessibility of the individual states. This classification allows us to condense the information pertained in different dales of the energy landscape to a single representation using color to distinguish its type and a bar chart to indicate the average size of the dales at their respective energy levels. We use this classification to visualize disconnectivity graphs of small representations of different tile-planted models of spin glasses. An analysis of the results shows that different models have distinctly different features in the total number of minima, the distribution of the minima with respect to the ground state, the barrier height and in the occurrence of the different types of minimum energy dales.


title: Dynamic Scale Training for Object Detection

abstract: We propose a Dynamic Scale Training paradigm (abbreviated as DST) to mitigate scale variation challenge in object detection. Previous strategies like image pyramid, multi-scale training, and their variants are aiming at preparing scale-invariant data for model optimization. However, the preparation procedure is unaware of the following optimization process that restricts their capability in handling the scale variation. Instead, in our paradigm, we use feedback information from the optimization process to dynamically guide the data preparation. The proposed method is surprisingly simple yet obtains significant gains (2%+ Average Precision on MS COCO dataset), outperforming previous methods. Experimental results demonstrate the efficacy of our proposed DST method towards scale variation handling. It could also generalize to various backbones, benchmarks, and other challenging downstream tasks like instance segmentation. It does not introduce inference overhead and could serve as a free lunch for general detection configurations. Besides, it also facilitates efficient training due to fast convergence. Code and models are available at github.com/yukang2017/Stitcher.


title: A knowledge transfer model for COVID-19 predicting and non-pharmaceutical intervention simulation

abstract: Since December 2019, A novel coronavirus (2019-nCoV) has been breaking out in China, which can cause respiratory diseases and severe pneumonia. Mathematical and empirical models relying on the epidemic situation scale for forecasting disease outbreaks have received increasing attention. Given its successful application in the evaluation of infectious diseases scale, we propose a Susceptible-Undiagnosed-Infected-Removed (SUIR) model to offer the effective prediction, prevention, and control of infectious diseases. Our model is a modified susceptible-infected-recovered (SIR) model that injects undiagnosed state and offers pre-training effective reproduction number. Our SUIR model is more precise than the traditional SIR model. Moreover, we combine domain knowledge of the epidemic to estimate effective reproduction number, which addresses the initial susceptible population of the infectious disease model approach to the ground truth. These findings have implications for the forecasting of epidemic trends in COVID-19 as these could help the growth of estimating epidemic situation.


title: Development in astronomy in Ethiopia and East-Africa through nuclear activity in galaxies

abstract: In this paper we summarise the research that is currently going on in Ethiopia and East-Africa in extragalactic astronomy and physics of active galaxies and active galactic nuclei (AGN). The study is focused on some of the still open questions such as: what are the stellar ages and populations of ultra hard X-ray detected AGN and connection between AGN and their host galaxies?, what are the properties of AGN in galaxy clusters and the role that environment has in triggering nuclear activity?, what are the morphological properties of AGN and how precisely we can deal with morphological classification of active galaxies?, what are the properties of galaxies in the green valley and the role of AGN in galaxy evolution?, and what are the properties of radio-loud and radio-quiet quasars (QSO) and dichotomy between the two?. Each of these questions has been developed under one specific project that will be briefly introduced. These projects involve 6 PhD and 3 MSc students and collaborations between Ethiopia, Rwanda, South Africa, Uganda, Tanzania, Spain, Italy, and Chile. With all projects we aim: first, to contribute to our general knowledge about AGN, and second, to contribute to the development in astronomy and science in Ethiopia and East-Africa.


title: A Distributed Ledger-Enabled Interworking Model for the Wireless Air Interface

abstract: While direct allocation of spectrum and evolved medium access protocols provide a base for ubiquitous wireless connectivity, the existing TCP/IP and OSI models were designed for wired networks and do not address open interconnection of air interfaces. Without an interconnection model for the air interface, existing network designs continue to tie wireless medium access to that of the backhaul provider for ownership of access and identity trust, resulting in limitations on functionality and coverage. In this paper, we propose a novel solution to access ownership and identity trust by extending the TCP network standard, under a new model we propose, named TCP-Air which integrates distributed ledger technologies directly at the air interface. Further, we present two use cases of the TCP-Air model, demonstrating applications not feasible under existing permissioned-access network designs.


title: All you need is a second look: Towards Tighter Arbitrary shape text detection

abstract: Deep learning-based scene text detection methods have progressed substantially over the past years. However, there remain several problems to be solved. Generally, long curve text instances tend to be fragmented because of the limited receptive field size of CNN. Besides, simple representations using rectangle or quadrangle bounding boxes fall short when dealing with more challenging arbitrary-shaped texts. In addition, the scale of text instances varies greatly which leads to the difficulty of accurate prediction through a single segmentation network. To address these problems, we innovatively propose a two-stage segmentation based arbitrary text detector named \textit{NASK} (\textbf{N}eed \textbf{A} \textbf{S}econd loo\textbf{K}). Specifically, \textit{NASK} consists of a Text Instance Segmentation network namely \textit{TIS} (\(1^{st}\) stage), a Text RoI Pooling module and a Fiducial pOint eXpression module termed as \textit{FOX} (\(2^{nd}\) stage). Firstly, \textit{TIS} conducts instance segmentation to obtain rectangle text proposals with a proposed Group Spatial and Channel Attention module (\textit{GSCA}) to augment the feature expression. Then, Text RoI Pooling transforms these rectangles to the fixed size. Finally, \textit{FOX} is introduced to reconstruct text instances with a more tighter representation using the predicted geometrical attributes including text center line, text line orientation, character scale and character orientation. Experimental results on two public benchmarks including \textit{Total-Text} and \textit{SCUT-CTW1500} have demonstrated that the proposed \textit{NASK} achieves state-of-the-art results.


title: Quandle coloring quivers of links using dihedral quandles

abstract: K. Cho and S. Nelson introduced the notion of a quandle coloring quiver, which is a quiver-valued link invariant, and a quandle cocycle quiver which is an enhancement of the quandle coloring quiver by assigning to each vertex a weight computed using a quandle 2-cocycle. In this paper, we study quandle coloring quivers using dihedral quandles and introduce the notions of a shadow quandle coloring quiver and a shadow quandle cocycle quiver, which are shadow versions of the quandle coloring quiver and the quandle cocycle quiver. We show that, when we use a dihedral quandle of prime order, the quandle coloring quivers are equivalent to the quandle coloring numbers and when we use a dihedral quandle of prime order and Mochizuki's 3-cocycle, the shadow quandle cocycle quivers are equivalent to the shadow quandle cocycle invariants.


title: Towards Blockchain for Decentralized Self-Organizing Wireless Networks

abstract: Distributed consensus mechanisms have been widely researched and made popular with a number of blockchain-based token applications, such as Bitcoin, and Ethereum. Although these general-purpose platforms have matured for scale and security, they are designed for human incentive and continue to require currency reward and contract functions that are not requisite in machine communications. Redes Chain is a custom designed blockchain, built to support fully decentralized self-organization in wireless networks-without a cryptocurrency or contract dependency.


title: Resolving the soft X-ray ultra fast outflow in PDS 456

abstract: Past X-ray observations of the nearby luminous quasar PDS 456 (at $z=0.184$) have revealed a wide angle accretion disk wind (Nardini et al. 2015), with an outflow velocity of $\sim-0.25c$, as observed through observations of its blue-shifted iron K-shell absorption line profile. Here we present three new XMM-Newton observations of PDS 456; one in September 2018 where the quasar was bright and featureless, and two in September 2019, 22 days apart, occurring when the quasar was five times fainter and where strong blue-shifted lines from the wind were present. During the second September 2019 observation, three broad ($\sigma=3000$ km s$^{-1}$) absorption lines were resolved in the high resolution RGS spectrum, which are identified with blue-shifted OVIII Ly$\alpha$, NeIX He$\alpha$ and NeX Ly$\alpha$. The outflow velocity of this soft X-ray absorber was found to be $v/c=-0.258\pm0.003$, fully consistent with iron K absorber with $v/c=-0.261\pm0.007$. The ionization parameter and column density of the soft X-ray component ($\log\xi=3.4$, $N_{\rm H}=2\times10^{21}$ cm$^{-2}$) outflow was lower by about two orders of magnitude, when compared to the high ionization wind at iron K ($\log\xi=5$, $N_{\rm H}=7\times10^{23}$ cm$^{-2}$). Substantial variability was seen in the soft X-ray absorber between the 2019 observations, declining from $N_{\rm H}=10^{23}$ cm$^{-2}$ to $N_{\rm H}=10^{21}$ cm$^{-2}$ over 20 days, while the iron K component was remarkably stable. We conclude that the soft X-ray wind may originate from an inhomogeneous wind streamline passing across the line of sight and which due to its lower ionization, is located further from the black hole, on parsec scales, than the innermost disk wind.


title: Single-/Multi-Source Cross-Lingual NER via Teacher-Student Learning on Unlabeled Data in Target Language

abstract: To better tackle the named entity recognition (NER) problem on languages with little/no labeled data, cross-lingual NER must effectively leverage knowledge learned from source languages with rich labeled data. Previous works on cross-lingual NER are mostly based on label projection with pairwise texts or direct model transfer. However, such methods either are not applicable if the labeled data in the source languages is unavailable, or do not leverage information contained in unlabeled data in the target language. In this paper, we propose a teacher-student learning method to address such limitations, where NER models in the source languages are used as teachers to train a student model on unlabeled data in the target language. The proposed method works for both single-source and multi-source cross-lingual NER. For the latter, we further propose a similarity measuring method to better weight the supervision from different teacher models. Extensive experiments for 3 target languages on benchmark datasets well demonstrate that our method outperforms existing state-of-the-art methods for both single-source and multi-source cross-lingual NER.


title: Manipulation Detection in Satellite Images Using Deep Belief Networks

abstract: Satellite images are more accessible with the increase of commercial satellites being orbited. These images are used in a wide range of applications including agricultural management, meteorological prediction, damage assessment from natural disasters, and cartography. Image manipulation tools including both manual editing tools and automated techniques can be easily used to tamper and modify satellite imagery. One type of manipulation that we examine in this paper is the splice attack where a region from one image (or the same image) is inserted (spliced) into an image. In this paper, we present a one-class detection method based on deep belief networks (DBN) for splicing detection and localization without using any prior knowledge of the manipulations. We evaluate the performance of our approach and show that it provides good detection and localization accuracies in small forgeries compared to other approaches.


title: Airmed: Efficient Self-Healing Network of Low-End Devices

abstract: The proliferation of application specific cyber-physical systems coupled with the emergence of a variety of attacks on such systems (malware such as Mirai and Hajime) underlines the need to secure such networks. Most existing security efforts have focused on only detection of the presence of malware. However given the ability of most attacks to spread through the network once they infect a few devices, it is important to contain the spread of a virus and at the same time systematically cleanse the impacted nodes using the communication capabilities of the network. Toward this end, we present Airmed - a method and system to not just detect corruption of the application software on a IoT node, but to self correct itself using its neighbors. Airmed's decentralized mechanisms prevent the spread of self-propagating malware and can also be used as a technique for updating application code on such IoT devices. Among the novelties of Airmed are a novel bloom-filter technique along with hardware support to identify position of the malware program from the benign application code, an adaptive self-check for computational efficiency, and a uniform random-backoff and stream signatures for secure and bandwidth efficient code exchange to correct corrupted devices. We assess the performance of Airmed, using the embedded systems security architecture of TrustLite in the OMNeT++ simulator. The results show that Airmed scales up to thousands of devices, ensures guaranteed update of the entire network, and can recover 95% of the nodes in 10 minutes in both internal and external propagation models. Moreover, we evaluate memory and communication costs and show that Airmed is efficient and incurs very low overhead.


title: COLAM: Co-Learning of Deep Neural Networks and Soft Labels via Alternating Minimization

abstract: Softening labels of training datasets with respect to data representations has been frequently used to improve the training of deep neural networks (DNNs). While such a practice has been studied as a way to leverage privileged information about the distribution of the data, a well-trained learner with soft classification outputs should be first obtained as a prior to generate such privileged information. To solve such chicken-egg problem, we propose COLAM framework that Co-Learns DNNs and soft labels through Alternating Minimization of two objectives - (a) the training loss subject to soft labels and (b) the objective to learn improved soft labels - in one end-to-end training procedure. We performed extensive experiments to compare our proposed method with a series of baselines. The experiment results show that COLAM achieves improved performance on many tasks with better testing classification accuracy. We also provide both qualitative and quantitative analyses that explain why COLAM works well.


title: Radiative decays of heavy-light quarkonia through $M1$, and $E1$ transitions in the framework of Bethe-Salpeter equation

abstract: In this work we study the radiative decays of heavy-light quarkonia through M1 and E1 transitions, that involve quark-triangle diagrams with two hadron vertices, and are difficult to evaluate in BSE-CIA. We have expressed the transition amplitude, $M_{fi}$ as a linear superposition of terms involving all possible combinations of $++$, and $--$ components of Salpeter wave functions of final and initial hadron, with coefficients being related to results of pole integrals over complex $\sigma$- plane. We evaluate the decay widths for $M1$ transitions ($^3S_1 \rightarrow ^1S_0 +\gamma$), and $E1$ transitions ($^3S_1 \rightarrow ^1P_0 +\gamma$ and $^1P_0 \rightarrow ^3S_1 +\gamma$). We have used algebraic forms of Salpeter wave functions obtained through analytic solutions of mass spectral equations for ground and excited states of $0^{++},1^{--}$, and $0^{-+}$ heavy-light quarkonia in approximate harmonic oscillator basis, to calculate their decay widths. The input parameters used by us were obtained by fitting to their mass spectra. We have compared our results with experimental data and other models, and found reasonable agreements.


title: Inference with Many Weak Instruments

abstract: We develop a concept of weak identification in linear IV models in which the number of instruments can grow at the same rate or slower than the sample size. We propose a jackknifed version of the classical weak identification-robust Anderson-Rubin (AR) test statistic. Large-sample inference based on the jackknifed AR is valid under heteroscedasticity and weak identification. The feasible version of this statistic uses a novel variance estimator. The test has uniformly correct size and good power properties. We also develop a pre-test for weak identification that is related to the size property of a Wald test based on the Jackknife Instrumental Variable Estimator (JIVE). This new pre-test is valid under heteroscedasticity and with many instruments.


title: Decisions and disease: a mechanism for the evolution of cooperation

abstract: In numerous contexts, individuals may decide whether they take actions to mitigate the spread of disease, or not. Mitigating the spread of disease requires an individual to change their routine behaviours to benefit others, resulting in a 'disease dilemma' similar to the seminal prisoner's dilemma. In the classical prisoner's dilemma, evolutionary game dynamics predict that all individuals evolve to 'defect.' We have discovered that when the rate of cooperation within a population is directly linked to the rate of spread of the disease, cooperation evolves under certain conditions. For diseases which do not confer immunity to recovered individuals, if the time scale at which individuals receive information is sufficiently rapid compared to the time scale at which the disease spreads, then cooperation emerges. Moreover, in the limit as mitigation measures become increasingly effective, the disease can be controlled, and the rate of infections tends to zero. Our model is based on theoretical mathematics and therefore unconstrained to any single context. For example, the disease spreading model considered here could also be used to describe social and group dynamics. In this sense, we may have discovered a fundamental and novel mechanism for the evolution of cooperation in a broad sense.


title: Resiliency Analysis and Improvement of Variational Quantum Factoring in Superconducting Qubit

abstract: Variational algorithm using Quantum Approximate Optimization Algorithm (QAOA) can solve the prime factorization problem in near-term noisy quantum computers. Conventional Variational Quantum Factoring (VQF) requires a large number of 2-qubit gates (especially for factoring a large number) resulting in deep circuits. The output quality of the deep quantum circuit is degraded due to errors limiting the computational power of quantum computing. In this paper, we explore various transformations to optimize the QAOA circuit for integer factorization. We propose two criteria to select the optimal quantum circuit that can improve the noise resiliency of VQF.


title: Authentic Science Experiences with STEM Datasets: Post-secondary Results and Potential Gender Influences

abstract: Background: Dataset skills are used in STEM fields from healthcare work to astronomy research. Few fields explicitly teach students the skills to analyze datasets, and yet the increasing push for authentic science implies these skills should be taught. Purpose: The overarching motivation is to understand learning of dataset skills within an astronomy context. Specifically, when participants work with a 200-entry Google Sheets dataset of astronomical data about quasars, what are they learning, how are they learning it, and who is doing the learning? Sample: The authors studied a matched set of participants (n=87) consisting of 54 university undergraduate students (34 male, 18 female), and 33 science educators (16 male, 17 female). Design and methods: Participants explored a three-phase dataset activity and were given an eight-question multiple-choice pre/post-test covering skills of analyzing datasets and astronomy content, with questions spanning Bloom's Taxonomy. Pre/post-test scores were compared and a t-test performed for subsamples by population. Results: Participants exhibited learning of both dataset skills and astronomy content, indicating that dataset skills can be learned through this astronomy activity. Participants exhibited gains in both recall and synthesis questions, indicating learning is non-sequential. Female undergraduate students exhibited lower levels of learning than other populations. Conclusions: Implications of the study include a stronger dataset focus in post-secondary STEM education and among science educators, and the need for further investigation into how instructors can ameliorate the challenges faced by female undergraduate students.


title: Moment bounds for dissipative semimartingales with heavy jumps

abstract: In this paper we show that if large jumps of an It\^o-semimartingale $X$ have a finite $p$-moment, $p>0$, the radial part of its drift is dominated by $-|X|^\kappa$ for some $\kappa\geq -1$, and the balance condition $p+\kappa>1$ holds true, then under some further natural technical assumptions $\sup_{t\geq 0} \mathbf{E} |X_t|^{p_X}<\infty$ for each $p_X\in(0,p+\kappa-1)$. The upper bound $p+\kappa-1$ is generically optimal. The proof is based on the extension of the method of Lyapunov functions to the semimartingale framework. The uniform moment estimates obtained in this paper are indispensable for the analysis of ergodic properties of L\'evy driven stochastic differential equations and L\'evy driven multi-scale systems.


title: Semi-Supervised Neural System for Tagging, Parsing and Lematization

abstract: This paper describes the ICS PAS system which took part in CoNLL 2018 shared task on Multilingual Parsing from Raw Text to Universal Dependencies. The system consists of jointly trained tagger, lemmatizer, and dependency parser which are based on features extracted by a biLSTM network. The system uses both fully connected and dilated convolutional neural architectures. The novelty of our approach is the use of an additional loss function, which reduces the number of cycles in the predicted dependency graphs, and the use of self-training to increase the system performance. The proposed system, i.e. ICS PAS (Warszawa), ranked 3th/4th in the official evaluation obtaining the following overall results: 73.02 (LAS), 60.25 (MLAS) and 64.44 (BLEX).


title: Systems of functional-differential equations periodic solutions for systems of functional-differential semilinear equations at resonance

abstract: Motivated by Lazer-Leach type results, we study the existence of periodic solutions for systems of functional-differential equations at resonance with an arbitrary even-dimensional kernel and linear deviating terms involving a general delay of the form $\int_0^{2\pi}u(t+s)\,d\lambda(s)$, where $\lambda$ is a finite regular signed measure. Our main technique shall be the Coincidence Degree Theorem due to Mawhin.


title: One-Shot Identity-Preserving Portrait Reenactment

abstract: We present a deep learning-based framework for portrait reenactment from a single picture of a target (one-shot) and a video of a driving subject. Existing facial reenactment methods suffer from identity mismatch and produce inconsistent identities when a target and a driving subject are different (cross-subject), especially in one-shot settings. In this work, we aim to address identity preservation in cross-subject portrait reenactment from a single picture. We introduce a novel technique that can disentangle identity from expressions and poses, allowing identity preserving portrait reenactment even when the driver's identity is very different from that of the target. This is achieved by a novel landmark disentanglement network (LD-Net), which predicts personalized facial landmarks that combine the identity of the target with expressions and poses from a different subject. To handle portrait reenactment from unseen subjects, we also introduce a feature dictionary-based generative adversarial network (FD-GAN), which locally translates 2D landmarks into a personalized portrait, enabling one-shot portrait reenactment under large pose and expression variations. We validate the effectiveness of our identity disentangling capabilities via an extensive ablation study, and our method produces consistent identities for cross-subject portrait reenactment. Our comprehensive experiments show that our method significantly outperforms the state-of-the-art single-image facial reenactment methods. We will release our code and models for academic use.


title: Synaptic Plasticity in Correlated Balanced Networks

abstract: The dynamics of local cortical networks are irregular, but correlated. Dynamic excitatory--inhibitory balance is a plausible mechanism that generates such irregular activity, but it remains unclear how balance is achieved and maintained in plastic neural networks. In particular, it is not fully understood how plasticity induced changes in the network affect balance, and in turn, how correlated, balanced activity impacts learning. How does the dynamics of balanced networks change under different plasticity rules? How does correlated spiking activity in recurrent networks change the evolution of weights, their eventual magnitude, and structure across the network? To address these questions, we develop a general theory of plasticity in balanced networks. We show that balance can be attained and maintained under plasticity induced weight changes. We find that correlations in the input mildly, but significantly affect the evolution of synaptic weights. Under certain plasticity rules, we find an emergence of correlations between firing rates and synaptic weights. Under these rules, synaptic weights converge to a stable manifold in weight space with their final configuration dependent on the initial state of the network. Lastly, we show that our framework can also describe the dynamics of plastic balanced networks when subsets of neurons receive targeted optogenetic input.


title: Suspended photonic crystal membranes in AlGaAs heterostructures for integrated multi-element optomechanics

abstract: We present high-reflectivity mechanical resonators fabricated from AlGaAs heterostructures for use in free-space optical cavities operating in the telecom wavelength regime. The mechanical resonators are fabricated in slabs of GaAs and patterned with a photonic crystal to increase their out-of-plane reflectivity. Characterization of the mechanical modes reveals residual tensile stress in the GaAs device layer. This stress results in higher mechanical frequencies than in unstressed GaAs and can be used for strain engineering of mechanical dissipation. Simultaneously, we find that the finite waist of the incident optical beam leads to a dip in the reflectance spectrum. This feature originates from coupling to a guided resonance of the photonic crystal, an effect that must be taken into account when designing slabs of finite size. The single- and sub-$\upmu$m-spaced double-layer slabs demonstrated here can be directly fabricated on top of a distributed Bragg reflector mirror in the same material platform. Such a platform opens a route for realizing integrated multi-element cavity optomechanical devices and optomechanical microcavities on chip.


title: On the liftability of the automorphism group of smooth hypersurfaces of the projective space

abstract: Let $X$ be a smooth hypersurface of dimension $n\geq 1$ and degree $d\geq 3$ in the projective space given as the zero set of a homogeneous form $F$. If $(n,d)\neq (1,3), (2,4)$ it is well known that every automorphism of $X$ extends to an automorphism of the projective space, i.e., $\operatorname{Aut}(X)\subseteq \operatorname{PGL}(n+2,\mathbb{C})$. We say that the automorphism group $\operatorname{Aut}(X)$ is $F$-liftable if there exists a subgroup of $\operatorname{GL}(n+2,\mathbb{C})$ projecting isomorphically onto $\operatorname{Aut}(X)$ and leaving $F$ invariant. Our main result in this paper shows that the automorphism group of every smooth hypersurface of dimension $n$ and degree $d$ is $F$-liftable if and only if $d$ and $n+2$ are relatively prime. We also provide an effective criterion to compute all the integers which are a power of a prime number and that appear as the order of an automorphism of a smooth hypersurface of dimension $n$ and degree $d$. As an application, we give a sufficient condition under which some Sylow $p$-subgroups of $\operatorname{Aut}(X)$ are trivial or cyclic of order $p$.


title: Casimir forces on deformed fermionic chains

abstract: We characterize the Casimir forces for the Dirac vacuum on free-fermionic chains with smoothly varying hopping amplitudes, which correspond to (1+1)D curved spacetimes with a static metric in the continuum limit. The first-order energy potential for an obstacle on that lattice corresponds to the Newtonian potential associated to the metric, while the finite-size corrections are described by a curved extension of the conformal field theory predictions, including a suitable boundary term. We show that, for weak deformations of the Minkowski metric, Casimir forces measured by a local observer at the boundary are metric-independent. We provide numerical evidence for our results on a variety of (1+1)D deformations: Minkowski, Rindler, anti-de Sitter (the so-called rainbow system) and sinusoidal metrics.


title: Siblings of countable cographs

abstract: We show that every countable cograph has either one or infinitely many siblings. This answers, very partially, a conjecture of Thomass\'e. The main tools are the notion of well quasi ordering and the correspondence between cographs and some labelled ordered trees.


title: Engineering Dynamical Sweet Spots to Protect Qubits from 1/$f$ Noise

abstract: Protecting superconducting qubits from low-frequency noise is essential for advancing superconducting quantum computation. Based on the application of a periodic drive field, we develop a protocol for engineering dynamical sweet spots which reduce the susceptibility of a qubit to low-frequency noise. Using the framework of Floquet theory, we prove rigorously that there are manifolds of dynamical sweet spots marked by extrema in the quasi-energy differences of the driven qubit. In particular, for the example of fluxonium biased slightly away from half a flux quantum, we predict an enhancement of pure-dephasing by three orders of magnitude. Employing the Floquet eigenstates as the computational basis, we show that high-fidelity single- and two-qubit gates can be implemented while maintaining dynamical sweet-spot operation. We further confirm that qubit readout can be performed by adiabatically mapping the Floquet states back to the static qubit states, and subsequently applying standard measurement techniques. Our work provides an intuitive tool to encode quantum information in robust, time-dependent states, and may be extended to alternative architectures for quantum information processing.


title: Algebraic solution and coherent states for the Dirac oscillator interacting with the Aharonov-Casher system in the cosmic string background

abstract: We introduce an $SU(1,1)$ algebraic approach to study the $(2+1)$-Dirac oscillator in the presence of the Aharonov-Casher effect coupled to an external electromagnetic field in the Minkowski spacetime and the cosmic string spacetime. This approach is based on a quantum mechanics factorization method that allows us to obtain the $su(1,1)$ algebra generators, the energy spectrum and the eigenfunctions. We obtain the coherent states and their temporal evolution for each spinor component of this problem. Finally, for these problems, we calculate some matrix elements and the Schr\"odinger uncertainty relationship for two general $SU(1,1)$ operators.


title: Multi-Messenger Searches in Astrophysics

abstract: Multi-messenger astronomy has experienced an explosive development in the past few years. While not being a particularly young field, it has recently attracted a lot of attention by several major discoveries and unprecedented observation campaigns covering the entity of the electromagnetic spectrum as well as observations of cosmic rays, neutrinos, and gravitational waves. The exploration of synergies is in full steam and requires close cooperation between different instruments. Here I give an overview over the subject of multi-messenger astronomy and its virtues compared to classical "single messenger" observations, present the recent break throughs of the field, and discuss some of its organisational and technical challenges.


title: Experimental Analysis and Evaluation of RaptorQ Codes for Video Multicasting over Wi-Fi

abstract: This paper presents a reliable and efficient high quality video streaming solution for use in challenging outdoor environments over Wi-Fi. An application layer forward error correction based on RaptorQ codes was implemented in a practical Wi-Fi based server and client system to enhance reliability. Thus, this paper presents the first detailed analysis on the implementation of RaptorQ codes for streaming high definition video over Wi-Fi. The measurements were performed in central Bristol with parameters such as RaptorQ symbol size, code rate, buffering time and modulation and coding scheme, and user quality of experience based on these parameters was evaluated. For multicast live video streaming it is demonstrated that system performance is mostly dominated by hardware and software limitations on constrained host platforms where the incoming packet rate exceeds the device`s ability to consume the traffic, i.e., Wi-Fi clients are a major source of packet loss, even in ideal channel conditions. Client limitations were found to be a function of modulation and coding schemes and RaptorQ coding parameters. Therefore, the optimum system design parameters such as RaptorQ symbol size, code rate and buffering time with respect to modulation and coding schemes were suggested considering practical limitations from real-world measurements.


title: Ending the COVID-19 epidemic in the United Kingdom

abstract: Social distancing and lockdown are the two main non-pharmaceutical interventions being used by the UK government to contain and control the COVID-19 epidemic; these are being applied uniformly across the entire country, even though the results of the Imperial College report by Ferguson et al show that the impact of the infection increases sharply with age. This paper develops a variant of the workhorse SIR model for epidemics, where the population is classified into a number of age groups. This allows us to understand the effects of age-dependent controls on the epidemic, and explore possible exit strategies.


title: Power of Artificial Intelligence to Diagnose and Prevent Further COVID-19 Outbreak: A Short Communication

abstract: Novel coronavirus-19 (2019-nCoV or COVID-19) is by far the most dangerous coronavirus ever identified for the third time in the three decades capable of infecting not only the animals but also the humans across the globe. Nearly 6000 deaths have been recorded due mainly to COVID-19 outbreak worldwide and more than 50% of these deaths appeared to have evolved from China where the virus was thought to originate. The endemicity of COVID-19 dramatically surpassed severe acute respiratory syndrome coronavirus (SARS-CoV) and Middle East respiratory syndrome coronavirus (MERS-CoV) that were so far discovered in 2003 and 2012 respectively. Thus, the World Health Organization (WHO) has declared the 2019-nCoV outbreak not only a public health emergency but also pandemic in nature. Currently, over 120 countries including Nigeria were reported to have more than 157,844 confirmed cases and 5,846 deaths due mainly to COVID-19 outbreak as of March 15, 2020, 10:55 GMT. Artificial Intelligence (AI) is widely used to aid in the prediction, detection, response, recovery of disease and making clinical diagnosis. In this study, we highlighted the power of AI in the containment and mitigation of the spread of COVID-19 outbreak in African countries such as Nigeria where human to human contact is apparently inevitable.


title: Designing a physically-feasible colour filter to make a camera more colorimetric

abstract: Previously, a method has been developed to find the best colour filter for a given camera which results in the new effective camera sensitivities that best meet the Luther condition. That is, the new sensitivities are approximately linearly related to the XYZ colour matching functions. However, with no constraint, the filter derived from this Luther-condition based optimisation can be rather non-smooth and transmit very little light which are impractical for fabrication. In this paper, we extend the Luther-condition filter optimisation method to allow us to incorporate both the smoothness and transmittance bounds of the recovered filter which are key practical concerns. Experiments demonstrate that we can find physically realisable filters which are smooth and reasonably transmissive with which the effective "camera+filter" becomes significantly more colorimetric.


title: Succinct Filters for Sets of Unknown Sizes

abstract: The membership problem asks to maintain a set $S\subseteq[u]$, supporting insertions and membership queries, i.e., testing if a given element is in the set. A data structure that computes exact answers is called a dictionary. When a (small) false positive rate $\epsilon$ is allowed, the data structure is called a filter. The space usages of the standard dictionaries or filters usually depend on the upper bound on the size of $S$, while the actual set can be much smaller. Pagh, Segev and Wieder (FOCS'13) were the first to study filters with varying space usage based on the current $|S|$. They showed in order to match the space with the current set size $n=|S|$, any filter data structure must use $(1-o(1))n(\log(1/\epsilon)+(1-O(\epsilon))\log\log n)$ bits, in contrast to the well-known lower bound of $N\log(1/\epsilon)$ bits, where $N$ is an upper bound on $|S|$. They also presented a data structure with almost optimal space of $(1+o(1))n(\log(1/\epsilon)+O(\log\log n))$ bits provided that $n>u^{0.001}$, with expected amortized constant insertion time and worst-case constant lookup time. In this work, we present a filter data structure with improvements in two aspects: - it has constant worst-case time for all insertions and lookups with high probability; - it uses space $(1+o(1))n(\log (1/\epsilon)+\log\log n)$ bits when $n>u^{0.001}$, achieving optimal leading constant for all $\epsilon=o(1)$. We also present a dictionary that uses $(1+o(1))n\log(u/n)$ bits of space, matching the optimal space in terms of the current size, and performs all operations in constant time with high probability.


title: An Analog of Leclerc's Conjecture for Bases of Quantum Cluster Algebras

abstract: Dual canonical bases are expected to satisfy a certain (double) triangularity property by Leclerc's conjecture. We propose an analogous conjecture for common triangular bases of quantum cluster algebras. We show that a weaker form of the analogous conjecture is true. Our result applies to the dual canonical bases of quantum unipotent subgroups. It also applies to the $t$-analogs of $q$-characters of simple modules of quantum affine algebras.


title: Stego Quality Enhancement by Message Size Reduction and Fibonacci Bit-Plane Mapping

abstract: An efficient 2-step steganography technique is proposed to enhance stego image quality and secret message un-detectability. The first step is a preprocessing algorithm that reduces the size of secret images without losing information. This results in improved stego image quality compared to other existing image steganography methods. The proposed secret image size reduction (SISR) algorithm is an efficient spatial domain technique. The second step is an embedding mechanism that relies on Fibonacci representation of pixel intensities to minimize the effect of embedding on the stego image quality. The improvement is attained by using bit-plane(s) mapping instead of bit-plane(s) replacement for embedding. The proposed embedding mechanism outperforms the binary based LSB randomly embedding in two ways: reduced effect on stego quality and increased robustness against statistical steganalysers. Experimental results demonstrate the benefits of the proposed scheme in terms of: 1) SISR ratio (indirectly results in increased capacity); 2) quality of the stego; and 3) robustness against steganalysers such as RS, and WS. Furthermore, experimental results show that the proposed SISR algorithm can be extended to be applicable on DICOM standard medical images. Future security standardization research is proposed that would focus on evaluating the security, performance, and effectiveness of steganography algorithms.


title: 4-Separations in Haj\'{o}s Graphs

abstract: As a natural extension of the Four Color Theorem, Haj\'{o}s conjectured that graphs containing no $K_5$-subdivision are 4-colorable. Any possible counterexample to this conjecture with minimum number of vertices is called a {\it Haj\'{o}s graph}. Previous results show that Haj\'{o}s graphs are 4-connected but not 5-connected. A $k$-separation in a graph $G$ is a pair $(G_1,G_2)$ of edge-disjoint subgraphs of $G$ such that $|V(G_1\cap G_2)|=k$, $G=G_1\cup G_2$, and $G_i\not\subseteq G_{3-i}$ for $i=1,2$. In this paper, we show that Haj\'{o}s graphs do not admit a 4-separation $(G_1,G_2)$ such that $|V(G_1)|\ge 6$ and $G_1$ can be drawn in the plane with no edge crossings and all vertices in $V(G_1\cap G_2)$ incident with a common face. This is a step in our attempt to reduce Haj\'{o}s' conjecture to the Four Color Theorem.


title: Quantum Entangled Interferometers

abstract: A new type of quantum entangled interferometer was recently realized that employs parametric amplifiers as the wave splitting and recombination elements. The quantum entanglement stems from the parametric amplifiers, which produce quantum correlated fields for probing the phase change signal in the interferometer. This type of quantum entangled interferometer exhibits some unique properties that are different from traditional beam splitter-based interferometers such as Mach-Zehnder interferometers. Because of these properties, it is superior to the traditional interferometers in many aspects, especially in the phase measurement sensitivity. We will review its unique properties and applications in quantum metrology and sensing, quantum information, and quantum state engineering.


title: Secure Steganography Technique Based on Bitplane Indexes

abstract: This paper is concerned with secret hiding in multiple image bitplanes for increased security without undermining capacity. A secure steganographic algorithm based on bitplanes index manipulation is proposed. The index manipulation is confined to the first two Least Significant Bits of the cover image. The proposed algorithm has the property of un-detectability with respect to stego quality and payload capacity. Experimental results demonstrate that the proposed technique is secure against statistical attacks such as pair of value (PoV), Weighted Stego steganalyser (WS), and Multi Bitplane Weighted Stego steganalyser (MLSB-WS).


title: 3D Printed Lightweight Composite Foams

abstract: The goal of this paper is to enable 3D printed lightweight composite foams by blending hollow glass micro balloons (GMB) with high density polyethylene (HDPE). To that end, lightweight feedstock for printing syntactic foam composites is developed. The blend for this is prepared by varying GMB content (20, 40, and 60 volume %) in HDPE for filament extrusion, which is subsequently used for three-dimensional printing (3DP). The rheological properties and the melt flow index (MFI) of blends are investigated for identifying suitable printing parameters. It is observed that the storage and loss modulus, as well as complex viscosity, increases with increasing GMB content, whereas MFI decreases. Further, the coefficient of thermal expansion of HDPE and foam filaments decreases with increasing GMB content, thereby lowering the thermal stresses in prints, which promotes the reduction in warpage. The mechanical properties of filaments are determined by subjecting them to tensile tests, whereas 3D printed samples are tested under tensile and flexure tests. The tensile modulus of the filament increases with increasing GMB content (8-47%) as compared to HDPE and exhibit comparable filament strength. 3D printed foams show higher specific tensile and flexural modulus as compared to neat HDPE, making them suitable candidate materials for weight sensitive applications. HDPE having 60% by volume GMB exhibited the highest modulus and is 48.02% higher than the printed HDPE. Finally, the property map reveals higher modulus and comparable strength against injection and compression molded foams. Printed foam registered 1.8 times higher modulus than molded samples. Hence, 3D printed foams have the potential for replacing components processed through conventional manufacturing processes that have limitations on geometrically complex designs, lead time, and associated costs.


title: A Model Checking-based Analysis Framework for Systems Biology Models

abstract: Biological systems are often modeled as a system of ordinary differential equations (ODEs) with time-invariant parameters. However, cell signaling events or pharmacological interventions may alter the cellular state and induce multi-mode dynamics of the system. Such systems are naturally modeled as hybrid automata, which possess multiple operational modes with specific nonlinear dynamics in each mode. In this paper we introduce a model checking-enabled framework than can model and analyze both single- and multi-mode biological systems. We tackle the central problem in systems biology--identify parameter values such that a model satisfies desired behaviors--using bounded model checking. We resort to the delta-decision procedures to solve satisfiability modulo theories (SMT) problems and sidestep undecidability of reachability problems. Our framework enables several analysis tasks including model calibration and falsification, therapeutic strategy identification, and Lyapunov stability analysis. We demonstrate the applicablitliy of these methods using case studies of prostate cancer progression, cardiac cell action potential and radiation diseases.


title: Distributed Monitoring of Robot Swarms with Swarm Signal Temporal Logic

abstract: In this paper, we develop a distributed monitoring framework for robot swarms so that the agents can monitor whether the executions of robot swarms satisfy Swarm Signal Temporal Logic (SwarmSTL) formulas. We define generalized moments (GMs) to represent swarm features. A dynamic generalized moments consensus algorithm (GMCA) with Kalman filter (KF) is proposed so that each agent can estimate the GMs. Also, we obtain an upper bound for the error between an agent's estimate and the actual GMs. This bound is independent of the motion of the agents. We also propose rules for monitoring SwarmSTL temporal and logical operators. As a result, the agents can monitor whether the swarm satisfies SwarmSTL formulas with a certain confidence level using these rules and the bound of the estimation error. The distributed monitoring framework is applied to a swarm transporting supplies example, where we also show the efficacy of the Kalman filter in the dynamic generalized moments consensus process.


title: Human Electromagnetic Field Exposure in 5G at 28 GHz

abstract: The fifth-generation wireless (5G) has already started showing its capability to achieve extremely fast data transfer, which makes itself considered to be a promising mobile technology. However, concerns have been raised on adverse health impacts that human users can experience in a 5G system by being exposed to electromagnetic fields (EMFs). This article investigates the human EMF exposure in a 5G system and compare to those measured in the previous-generation cellular systems. It suggests a minimum separation distance between a transmitter and a human user for keeping the EMF exposure below the safety regulation level, which provides consumers with a general understanding on the safe use of 5G communications.


title: Properties of Sub-Neptune Atmospheres: TOI-270 System

abstract: We investigate the potential for the James Webb Space Telescope (JWST) to detect and characterize the atmospheres of the sub-Neptunian exoplanets in the TOI-270 system. Sub-Neptunes are considered more likely to be water worlds than gas dwarfs. We model their atmospheres using three atmospheric compositions - two examples of hydrogen-dominated atmospheres and a water-dominated atmosphere. We then simulate the infrared transmission spectra of these atmospheres for JWST instrument modes optimized for transit observation of exoplanet atmospheres : NIRISS, NIRSpec and MIRI. We then predict the observability of each exoplanet's atmosphere. TOI-270c and d are excellent targets for detecting atmospheres with JWST transmission spectroscopy, requiring only 1 transit observation with NIRISS, NIRSpec and MIRI; higher signal-to-noise (SNR) can be obtained for a clear H-rich atmosphere. Fewer than 3 transits with NIRISS and NIRSpec may be enough to reveal molecular features. Water-dominated atmospheres require more transits. Water spectral features in water-dominated atmospheres may be detectable with NIRISS in 2 or 3 transits. We find that the detection of spectral features in a cloudy, H-rich atmosphere does not require integrations as long as those required for the water-dominated atmosphere, which is consistent with the differences in atmospheric mean molecular weight. TOI-270c and d could be prime targets for JWST transit observations of sub-Neptune atmospheres. These results provide useful predictions for observers who may propose to use JWST to detect and characterize the TOI-270 planet atmospheres.


title: Revisiting the Scalar Weak Gravity Conjecture

abstract: We revisit the Scalar Weak Gravity Conjecture and investigate the possibility to impose that scalar interactions dominate over gravitational ones. More precisely, we look for consequences of assuming that, for leading scalar interactions, the corresponding gravitational contribution is sub-dominant in the non-relativistic limit. For a single massive scalar particle, this leads us to compare four-point self-interactions in different type of potentials. For axion-like particles, we retrieve the result of the Axion Weak Gravity Conjecture: the decay constant $f$ is bounded by the Planck mass, $f < {M_{Pl}}$. Similar bounds are obtained for exponential potentials. For quartic, power law and Starobinsky potentials, we exclude large trans-Planckian field excursions. We then discuss the case of moduli that determine the scalars masses. We retrieve the exponential dependence as requested by the Swampland Distance Conjecture. We also find extremal state masses with field dependence that reproduces both the Kaluza-Klein and winding modes behaviour. In particular cases, our constraints can be put in the form of the Refined de Sitter Conjecture.


title: Absorption section for black holes surrounded by scalar fields

abstract: The absorption section of black holes surrounded by scalar fields is studied with the sinc approximation in the eikonal limit. The effects of the scalar field on the nonlinear Euler-Heisenberg, the magnetic Bardeen and Reissner-Nordstrom BHs are studied in order to obtain information about how the scalar field affects different BHs.


title: Improved Image Wasserstein Attacks and Defenses

abstract: Robustness against image perturbations bounded by a $\ell_p$ ball have been well-studied in recent literature. Perturbations in the real-world, however, rarely exhibit the pixel independence that $\ell_p$ threat models assume. A recently proposed Wasserstein distance-bounded threat model is a promising alternative that limits the perturbation to pixel mass movements. We point out and rectify flaws in previous definition of the Wasserstein threat model and explore stronger attacks and defenses under our better-defined framework. Lastly, we discuss the inability of current Wasserstein-robust models in defending against perturbations seen in the real world. Our code and trained models are available at https://github.com/edwardjhu/improved_wasserstein .


title: St. Petersburg paradox for quasiperiodically hypermeandering spiral waves

abstract: It is known that quasiperiodic hypermeander of spiral waves almost certainly produces a bounded trajectory for the spiral tip. We analyse the size of this trajectory. We show that this deterministic question does not have a physically sensible deterministic answer and requires probabilistic treatment. In probabilistic terms, the size of the hypermeander trajectory proves to have an infinite expectation, despite being finite with probability one. This can be viewed as a physical manifestation of the classical "St. Petersburg paradox" from probability theory and economics.


title: Predicting Plans and Actions in Two-Player Repeated Games

abstract: Artificial intelligence (AI) agents will need to interact with both other AI agents and humans. Creating models of associates help to predict the modeled agents' actions, plans, and intentions. This work introduces algorithms that predict actions, plans and intentions in repeated play games, with providing an exploration of algorithms. We form a generative Bayesian approach to model S#. S# is designed as a robust algorithm that learns to cooperate with its associate in 2 by 2 matrix games. The actions, plans and intentions associated with each S# expert are identified from the literature, grouping the S# experts accordingly, and thus predicting actions, plans, and intentions based on their state probabilities. Two prediction methods are explored for Prisoners Dilemma: the Maximum A Posteriori (MAP) and an Aggregation approach. MAP (~89% accuracy) performed the best for action prediction. Both methods predicted plans of S# with ~88% accuracy. Paired T-test shows that MAP performs significantly better than Aggregation for predicting S#'s actions without cheap talk. Intention is explored based on the goals of the S# experts; results show that goals are predicted precisely when modeling S#. The obtained results show that the proposed Bayesian approach is well suited for modeling agents in two-player repeated games.


title: GymFG: A Framework with a Gym Interface for FlightGear

abstract: Over the past decades, progress in deployable autonomous flight systems has slowly stagnated. This is reflected in today's production air-crafts, where pilots only enable simple physics-based systems such as autopilot for takeoff, landing, navigation, and terrain/traffic avoidance. Evidently, autonomy has not gained the trust of the community where higher problem complexity and cognitive workload are required. To address trust, we must revisit the process for developing autonomous capabilities: modeling and simulation. Given the prohibitive costs for live tests, we need to prototype and evaluate autonomous aerial agents in a high fidelity flight simulator with autonomous learning capabilities applicable to flight systems: such a open-source development platform is not available. As a result, we have developed GymFG: GymFG couples and extends a high fidelity, open-source flight simulator and a robust agent learning framework to facilitate learning of more complex tasks. Furthermore, we have demonstrated the use of GymFG to train an autonomous aerial agent using Imitation Learning. With GymFG, we can now deploy innovative ideas to address complex problems and build the trust necessary to move prototypes to the real-world.


title: On the Limits to Multi-Modal Popularity Prediction on Instagram -- A New Robust, Efficient and Explainable Baseline

abstract: Our global population contributes visual content on platforms like Instagram, attempting to express themselves and engage their audiences, at an unprecedented and increasing rate. In this paper, we revisit the popularity prediction on Instagram. We present a robust, efficient, and explainable baseline for population-based popularity prediction, achieving strong ranking performance. We employ the latest methods in computer vision to maximize the information extracted from the visual modality. We use transfer learning to extract visual semantics such as concepts, scenes, and objects, allowing a new level of scrutiny in an extensive, explainable ablation study. We inform feature selection towards a robust and scalable model, but also illustrate feature interactions, offering new directions for further inquiry in computational social science. Our strongest models inform a lower limit to population-based predictability of popularity on Instagram. The models are immediately applicable to social media monitoring and influencer identification.


title: Numerical investigation on weak Galerkin finite elements

abstract: The weak Galerkin (WG) finite element method is an effective and flexible general numerical technique for solving partial differential equations. The novel idea of weak Galerkin finite element methods is on the use of weak functions and their weak derivatives defined as distributions. Weak functions and weak derivatives can be approximated by polynomials with various degrees. Different combination of polynomial spaces generates different weak Galerkin finite elements. The purpose of this paper is to study stability, convergence and supercloseness of different WG elements by providing many numerical experiments recorded in 31 tables. These tables serve two purposes. First it provides a detail guide of the performance of different WG elements. Second, the information in the tables opens new research territory why some WG elements outperform others.


title: The ENUF Method -- Ewald Summation based on Non-Uniform Fast Fourier Transform: Implementation, Parallelization, and Application

abstract: Computer simulations of model systems are widely used to explore striking phenomena in promising applications spanning from physics, chemistry, biology, to materials science and engineering. The long range electrostatic interactions between charged particles constitute a prominent factor in determining structures and states of model systems. How to efficiently calculate electrostatic interactions in model systems subjected to partial or full periodic boundary conditions has been a grand challenging task. In the past decades, a large variety of computational schemes have been proposed, among which the Ewald summation method is the most reliable route to accurately deal with electrostatic interactions in model systems. In addition, extensive effort has been done to improve computational efficiency of the Ewald summation based methods. Representative examples are approaches based on cutoffs, reaction fields, multi-poles, multi-grids, and particle-mesh schemes. We sketched an ENUF method, an abbreviation for the Ewald summation method based on Non-Uniform fast Fourier transform technique, and have implemented this method in particle-based simulation packages to calculate electrostatic energies and forces at micro- and mesoscopic levels. Extensive computational studies of conformational properties of polyelectrolytes, dendrimer-membrane complexes, and ionic fluids demonstrated that the ENUF method and its derivatives conserve both energy and momentum to floating point accuracy, and exhibit a computational complexity of $\mathcal{O}(N\log N)$ with optimal physical parameters. These ENUF based methods are attractive alternatives in molecular simulations where high accuracy and efficiency of simulation methods are needed to accelerate calculations of electrostatic interactions at extended spatiotemporal scales.

categories: physics.comp-ph cond-mat.mtrl-sci cond-mat.soft physics.chem-ph


title: Learning To Navigate The Synthetically Accessible Chemical Space Using Reinforcement Learning

abstract: Over the last decade, there has been significant progress in the field of machine learning for de novo drug design, particularly in deep generative models. However, current generative approaches exhibit a significant challenge as they do not ensure that the proposed molecular structures can be feasibly synthesized nor do they provide the synthesis routes of the proposed small molecules, thereby seriously limiting their practical applicability. In this work, we propose a novel forward synthesis framework powered by reinforcement learning (RL) for de novo drug design, Policy Gradient for Forward Synthesis (PGFS), that addresses this challenge by embedding the concept of synthetic accessibility directly into the de novo drug design system. In this setup, the agent learns to navigate through the immense synthetically accessible chemical space by subjecting commercially available small molecule building blocks to valid chemical reactions at every time step of the iterative virtual multi-step synthesis process. The proposed environment for drug discovery provides a highly challenging test-bed for RL algorithms owing to the large state space and high-dimensional continuous action space with hierarchical actions. PGFS achieves state-of-the-art performance in generating structures with high QED and penalized clogP. Moreover, we validate PGFS in an in-silico proof-of-concept associated with three HIV targets. Finally, we describe how the end-to-end training conceptualized in this study represents an important paradigm in radically expanding the synthesizable chemical space and automating the drug discovery process.


title: Caf\'e Latte: Spontaneous layer formation in laterally cooled double diffusive convection

abstract: In the preparation of Caf\'e Latte, spectacular layer formation can occur between the expresso shot in a glass of milk and the milk itself. Xue et al. (Nat. Commun., vol. 8, 2017, pp. 1-6) showed that the injection velocity of expresso determines the depth of coffee-milk mixture. After a while when a stable stratification forms in the mixture, the layering process can be modelled as a double diffusive convection system with a stably-stratified coffee-milk mixture cooled from the side. More specifically, we perform (two-dimensional) direct numerical simulations of laterally cooled double diffusive convection for a wide parameter range, where the convective flow is driven by a lateral temperature gradient while stabilized by a vertical concentration gradient. When the thermal driving force dominates over the stabilizing force, the flow behaves like vertical convection in which a large-scale circulation develops. However, with increasing strength of the stabilizing force, a meta-stable layered regime emerges. Initially, several vertically-stacked convection rolls develop, and these well-mixed layers are separated by sharp interfaces with large concentration gradients. The initial thickness of these emerging layers can be estimated by balancing the work exerted by thermal driving and the required potential energy to bring fluid out of its equilibrium position in the stably stratified fluid. In the layered regime, we further observe successive layer merging, and eventually only a single convection roll remains. We elucidate the following merging mechanism: As weakened circulation leads to accumulation of hot fluid adjacent to the hot sidewall, larger buoyancy forces associated with hotter fluid eventually break the layer interface. Then two layers merge into a larger layer, and circulation establishes again within the merged structure.


title: Mixed $(\mathcal{L}\mathcal{L}^*)^{-1}$ and $\mathcal{L}\mathcal{L}^*$ least-squares finite element methods with application to linear hyperbolic problems

abstract: In this paper, a few dual least-squares finite element methods and their application to scalar linear hyperbolic problems are studied. The purpose is to obtain $L^2$-norm approximations on finite element spaces of the exact solutions to hyperbolic partial differential equations of interest. This is approached by approximating the generally infeasible quadratic minimization, that defines the $L^2$-orthogonal projection of the exact solution, by feasible least-squares principles using the ideas of the original $\mathcal{L}\mathcal{L}^*$ method proposed in the context of elliptic equations. All methods in this paper are founded upon and extend the $\mathcal{L}\mathcal{L}^*$ approach which is rather general and applicable beyond the setting of elliptic problems. Error bounds are shown that point to the factors affecting the convergence and provide conditions that guarantee optimal rates. Furthermore, the preconditioning of the resulting linear systems is discussed. Numerical results are provided to illustrate the behavior of the methods on common finite element spaces.


title: Order preserving hierarchical agglomerative clustering

abstract: Partial orders and directed acyclic graphs are commonly recurring data structures that arise naturally in numerous domains and applications and are used to represent ordered relations between entities in the domains. Examples are task dependencies in a project plan, transaction order in distributed ledgers and execution sequences of tasks in computer programs, just to mention a few. We study the problem of order preserving hierarchical clustering of this kind of ordered data. That is, if we have $a < b$ in the original data and denote their respective clusters by $[a]$ and $[b]$, then we shall have $[a] < [b]$ in the produced clustering. The clustering is similarity based and uses standard linkage functions, such as single- and complete linkage, and is an extension of classical hierarchical clustering. To achieve this, we define the output from running classical hierarchical clustering on strictly ordered data to be partial dendrograms; sub-trees of classical dendrograms with several connected components. We then construct an embedding of partial dendrograms over a set into the family of ultrametrics over the same set. An optimal hierarchical clustering is defined as the partial dendrogram corresponding to the ultrametric closest to the original dissimilarity measure, measured in the p-norm. Thus, the method is a combination of classical hierarchical clustering and ultrametric fitting. A reference implementation is employed for experiments on both synthetic random data and real world data from a database of machine parts. When compared to existing methods, the experiments show that our method excels both in cluster quality and order preservation.


title: Reducing Interference Bias in Online Marketplace Pricing Experiments

abstract: Online marketplace designers frequently run A/B tests to measure the impact of proposed product changes. However, given that marketplaces are inherently connected, total average treatment effect estimates obtained through Bernoulli randomized experiments are often biased due to violations of the stable unit treatment value assumption. This can be particularly problematic for experiments that impact sellers' strategic choices, affect buyers' preferences over items in their consideration set, or change buyers' consideration sets altogether. In this work, we measure and reduce bias due to interference in online marketplace experiments by using observational data to create clusters of similar listings, and then using those clusters to conduct cluster-randomized field experiments. We provide a lower bound on the magnitude of bias due to interference by conducting a meta-experiment that randomizes over two experiment designs: one Bernoulli randomized, one cluster randomized. In both meta-experiment arms, treatment sellers are subject to a different platform fee policy than control sellers, resulting in different prices for buyers. By conducting a joint analysis of the two meta-experiment arms, we find a large and statistically significant difference between the total average treatment effect estimates obtained with the two designs, and estimate that 32.60% of the Bernoulli-randomized treatment effect estimate is due to interference bias. We also find weak evidence that the magnitude and/or direction of interference bias depends on extent to which a marketplace is supply- or demand-constrained, and analyze a second meta-experiment to highlight the difficulty of detecting interference bias when treatment interventions require intention-to-treat analysis.


title: Slopes in eigenvarieties for definite unitary groups

abstract: We generalize bounds of Liu-Wan-Xiao for slopes in eigencurves for definite unitary groups of rank $2$ to slopes in eigenvarieties for definite unitary groups of any rank. We show that for a definite unitary group of rank $n$, the Newton polygon of the characteristic power series of the $U_p$ Hecke operator has exact growth rate $x^{1+\frac2{n(n-1)}}$, times a constant proportional to the distance of the weight from the boundary of weight space. The proof goes through the classification of forms associated to principal series representations. We also give a consequence for the geometry of these eigenvarieties over the boundary of weight space.


title: A bimodal gamma distribution: Properties, regression model and applications

abstract: In this paper we propose a bimodal gamma distribution using a quadratic transformation based on the alpha-skew-normal model. We discuss several properties of this distribution such as mean, variance, moments, hazard rate and entropy measures. Further, we propose a new regression model with censored data based on the bimodal gamma distribution. This regression model can be very useful to the analysis of real data and could give more realistic fits than other special regression models. Monte Carlo simulations were performed to check the bias in the maximum likelihood estimation. The proposed models are applied to two real data sets found in literature.


title: Bias Busters: Robustifying DL-based Lithographic Hotspot Detectors Against Backdooring Attacks

abstract: Deep learning (DL) offers potential improvements throughout the CAD tool-flow, one promising application being lithographic hotspot detection. However, DL techniques have been shown to be especially vulnerable to inference and training time adversarial attacks. Recent work has demonstrated that a small fraction of malicious physical designers can stealthily "backdoor" a DL-based hotspot detector during its training phase such that it accurately classifies regular layout clips but predicts hotspots containing a specially crafted trigger shape as non-hotspots. We propose a novel training data augmentation strategy as a powerful defense against such backdooring attacks. The defense works by eliminating the intentional biases introduced in the training data but does not require knowledge of which training samples are poisoned or the nature of the backdoor trigger. Our results show that the defense can drastically reduce the attack success rate from 84% to ~0%.


title: Decision-theoretic foundations for statistical causality

abstract: We develop a mathematical and interpretative foundation for the enterprise of decision-theoretic statistical causality (DT), which is a straightforward way of representing and addressing causal questions. DT reframes causal inference as "assisted decision-making", and aims to understand when, and how, I can make use of external data, typically observational, to help me solve a decision problem by taking advantage of assumed relationships between the data and my problem. The relationships embodied in any representation of a causal problem require deeper justification, which is necessarily context-dependent. Here we clarify the considerations needed to support applications of the DT methodology. Exchangeability considerations are used to structure the required relationships, and a distinction drawn between intention to treat and intervention to treat forms the basis for the enabling condition of "ignorability". We also show how the DT perspective unifies and sheds light on other popular formalisations of statistical causality, including potential responses and directed acyclic graphs.


title: Ocean Reverberation Suppression via Matrix Completion with Sensor Failure

abstract: In the ocean environment, reverberation is a common and strong interference which significantly degrades the performance of target bearing estimation. Meanwhile, sensor failure is inevitable in actual sonar deployment as the underwater scene is complicated. Therefore, it is a challenge for target detection in the ocean reverberation with sensor failure. To address this issue, we propose an improved approach based on the principle of low rank characteristics of matrix in this paper. Firstly, we utilize Hankel structured matrix to counteract the problem of sensor failure. Then, the algorithm of matrix completion (MC) based on l1-norm and l2-norm are exploited to recover the true signal matrix from the corrupted received matrix. Numerical results demonstrate that compared with other related methods, the l1-norm provides better capability in the probability of recovery and shows the best robustness of bearing estimation with the narrow beam width and low sidelobe. Moreover, the proposed approach verifies the performances of reverberation suppression and achieves high resolution of target detection.


title: Experiments with LVT and FRE for Transformer model

abstract: In this paper, we experiment with Large Vocabulary Trick and Feature-rich encoding applied to the Transformer model for Text Summarization. We could not achieve better results, than the analogous RNN-based sequence-to-sequence model, so we tried more models to find out, what improves the results and what deteriorates them.


title: Learning and Testing Junta Distributions with Subcube Conditioning

abstract: We study the problems of learning and testing junta distributions on $\{-1,1\}^n$ with respect to the uniform distribution, where a distribution $p$ is a $k$-junta if its probability mass function $p(x)$ depends on a subset of at most $k$ variables. The main contribution is an algorithm for finding relevant coordinates in a $k$-junta distribution with subcube conditioning [BC18, CCKLW20]. We give two applications: 1. An algorithm for learning $k$-junta distributions with $\tilde{O}(k/\epsilon^2) \log n + O(2^k/\epsilon^2)$ subcube conditioning queries, and 2. An algorithm for testing $k$-junta distributions with $\tilde{O}((k + \sqrt{n})/\epsilon^2)$ subcube conditioning queries. All our algorithms are optimal up to poly-logarithmic factors. Our results show that subcube conditioning, as a natural model for accessing high-dimensional distributions, enables significant savings in learning and testing junta distributions compared to the standard sampling model. This addresses an open question posed by Aliakbarpour, Blais, and Rubinfeld [ABR17].

categories: cs.DS cs.DM cs.LG math.PR math.ST stat.TH


title: Eighty New Invariants of N-Periodics in the Elliptic Billiard

abstract: We introduce several-dozen experimentally-found invariants of Poncelet N-periodics in the confocal ellipse pair (Elliptic Billiard). Recall this family is fully defined by two integrals of motion (linear and angular momentum), so any "new" invariants are dependent upon them. Nevertheless, proving them may require sophisticated methods. We reference some two-dozen proofs already contributed. We hope this article will motivate contributions for those still lacking proof.


title: Weakly Supervised Semantic Segmentation in 3D Graph-Structured Point Clouds of Wild Scenes

abstract: The deficiency of 3D segmentation labels is one of the main obstacles to effective point cloud segmentation, especially for scenes in the wild with varieties of different objects. To alleviate this issue, we propose a novel deep graph convolutional network-based framework for large-scale semantic scene segmentation in point clouds with sole 2D supervision. Different with numerous preceding multi-view supervised approaches focusing on single object point clouds, we argue that 2D supervision is capable of providing sufficient guidance information for training 3D semantic segmentation models of natural scene point clouds while not explicitly capturing their inherent structures, even with only single view per training sample. Specifically, a Graph-based Pyramid Feature Network (GPFN) is designed to implicitly infer both global and local features of point sets and an Observability Network (OBSNet) is introduced to further solve object occlusion problem caused by complicated spatial relations of objects in 3D scenes. During the projection process, perspective rendering and semantic fusion modules are proposed to provide refined 2D supervision signals for training along with a 2D-3D joint optimization strategy. Extensive experimental results demonstrate the effectiveness of our 2D supervised framework, which achieves comparable results with the state-of-the-art approaches trained with full 3D labels, for semantic point cloud segmentation on the popular SUNCG synthetic dataset and S3DIS real-world dataset.


title: Considerations for a new low-/moderate-resolution optical facility spectrograph at the VLT Coud\'e focus

abstract: Observing at the VLT Coude focus can boost the collecting area by combining light from multiple VLT unit telescopes (UTs; albeit with some losses in the light train). An instrument at the Coude enjoys significant operational flexibility advantage: it can be attached to any available UT and the "extra" instrument can help to match better the observing constraints with the current conditions. With modifications to the existing train it can even observe in parallel with ESPRESSO with different UTs. Here we consider a general purpose VLT Coude fiber-fed low-resolution facility spectrograph - provisionally named Cappuccino - suitable for rapid follow up and characterization of faint transients, for late-stage monitoring of transients and for rapid classification under poor conditions or during twilight. Like any instrument of its class, Cappuccino can be used to address diverse set of science questions. The building cost can be reduced greatly if it is based - with modest changes - on existing hardware.


title: Ensemble Deep Learning on Time-Series Representation of Tweets for Rumor Detection in Social Media

abstract: Social media is a popular platform for timely information sharing. One of the important challenges for social media platforms like Twitter is whether to trust news shared on them when there is no systematic news verification process. On the other hand, timely detection of rumors is a non-trivial task, given the fast-paced social media environment. In this work, we proposed an ensemble model, which performs majority-voting on a collection of predictions by deep neural networks using time-series vector representation of Twitter data for timely detection of rumors. By combining the proposed data pre-processing method with the ensemble model, better performance of rumor detection has been demonstrated in the experiments using PHEME dataset. Experimental results show that the classification performance has been improved by 7.9% in terms of micro F1 score compared to the baselines.


title: Is This the Right Time to Post My Task? An Empirical Analysis on a Task Similarity Arrival in TopCoder

abstract: Existed studies have shown that crowd workers are more interested in taking similar tasks in terms of context, field, and required technology, rather than tasks from the same project. Therefore, it is important for task owners to not only be able to plan 'when the new task should arrive?' but also, to justify 'what the strategic task arrival plan should be?' in order to receive a valid submission for the posted task. To address these questions this research reports an empirical analysis on the impact of similar task arrival in the platform, on both tasks' success level and workers' performance. Our study supports that 1- A higher number of arrival tasks with similarity level greater than 70% will negatively impact on task competition level, 2- A bigger pool of similar open and arrival tasks would lead to lower worker attraction and elasticity, and 3- Workers who register for tasks with lower similarity level are more reliable to make a valid submission and 4- arriving task to the pool of 60% similar task will provide the highest chance of receiving a valid submission.


title: PTPARL-D: Annotated Corpus of 44 years of Portuguese Parliament debates

abstract: In a representative democracy, some decide in the name of the rest, and these elected officials are commonly gathered in public assemblies, such as parliaments, where they discuss policies, legislate, and vote on fundamental initiatives. A core aspect of such democratic processes are the plenary debates, where important public discussions take place. Many parliaments around the world are increasingly keeping the transcripts of such debates, and other parliamentary data, in digital formats accessible to the public, increasing transparency and accountability. Furthermore, some parliaments are bringing old paper transcripts to semi-structured digital formats. However, these records are often only provided as raw text or even as images, with little to no annotation, and inconsistent formats, making them difficult to analyze and study, reducing both transparency and public reach. Here, we present PTPARL-D, an annotated corpus of debates in the Portuguese Parliament, from 1976 to 2019, covering the entire period of Portuguese democracy.