title: Composing Knowledge Graph Embeddings via Word Embeddings

abstract: Learning knowledge graph embedding from an existing knowledge graph is very important to knowledge graph completion. For a fact $(h,r,t)$ with the head entity $h$ having a relation $r$ with the tail entity $t$, the current approaches aim to learn low dimensional representations $(\mathbf{h},\mathbf{r},\mathbf{t})$, each of which corresponds to the elements in $(h, r, t)$, respectively. As $(\mathbf{h},\mathbf{r},\mathbf{t})$ is learned from the existing facts within a knowledge graph, these representations can not be used to detect unknown facts (if the entities or relations never occur in the knowledge graph). This paper proposes a new approach called TransW, aiming to go beyond the current work by composing knowledge graph embeddings using word embeddings. Given the fact that an entity or a relation contains one or more words (quite often), it is sensible to learn a mapping function from word embedding spaces to knowledge embedding spaces, which shows how entities are constructed using human words. More importantly, composing knowledge embeddings using word embeddings makes it possible to deal with the emerging new facts (either new entities or relations). Experimental results using three public datasets show the consistency and outperformance of the proposed TransW.


title: Language learning using Speech to Image retrieval

abstract: Humans learn language by interaction with their environment and listening to other humans. It should also be possible for computational models to learn language directly from speech but so far most approaches require text. We improve on existing neural network approaches to create visually grounded embeddings for spoken utterances. Using a combination of a multi-layer GRU, importance sampling, cyclic learning rates, ensembling and vectorial self-attention our results show a remarkable increase in image-caption retrieval performance over previous work. Furthermore, we investigate which layers in the model learn to recognise words in the input. We find that deeper network layers are better at encoding word presence, although the final layer has slightly lower performance. This shows that our visually grounded sentence encoder learns to recognise words from the input even though it is not explicitly trained for word recognition.


title: Robust testing in generalized linear models by sign-flipping score contributions

abstract: Generalized linear models are often misspecified due to overdispersion, heteroscedasticity and ignored nuisance variables. Existing quasi-likelihood methods for testing in misspecified models often do not provide satisfactory type-I error rate control. We provide a novel semi-parametric test, based on sign-flipping individual score contributions. The tested parameter is allowed to be multi-dimensional and even high-dimensional. Our test is often robust against the mentioned forms of misspecification and provides better type-I error control than its competitors. When nuisance parameters are estimated, our basic test becomes conservative. We show how to take nuisance estimation into account to obtain an asymptotically exact test. Our proposed test is asymptotically equivalent to its parametric counterpart.


title: Topologies on the future causal completion

abstract: On the Geroch-Kronheimer-Penrose future completion IP (X) of a spacetime X, there are two frequently used topologies. We systematically examine $\tau_+ $, the stronger (metrizable) of them, which is the coarsest causally continuous topology, obtaining a variety of novel results, among them a complete characterization of the difference in convergence between both topologies. In our framework, we can allow for X being a chr. space and consequently for the interpretation of IP as an idempotent functor on a category that includes spacetimes of very low regularity. Furthermore, we explicitly calculate $(IP (X), \tau_+ )$ for multiply warped chronological spaces.


title: Subjectivity Learning Theory towards Artificial General Intelligence

abstract: The construction of artificial general intelligence (AGI) was a long-term goal of AI research aiming to deal with the complex data in the real world and make reasonable judgments in various cases like a human. However, the current AI creations, referred to as "Narrow AI", are limited to a specific problem. The constraints come from two basic assumptions of data, which are independent and identical distributed samples and single-valued mapping between inputs and outputs. We completely break these constraints and develop the subjectivity learning theory for general intelligence. We assign the mathematical meaning for the philosophical concept of subjectivity and build the data representation of general intelligence. Under the subjectivity representation, then the global risk is constructed as the new learning goal. We prove that subjectivity learning holds a lower risk bound than traditional machine learning. Moreover, we propose the principle of empirical global risk minimization (EGRM) as the subjectivity learning process in practice, establish the condition of consistency, and present triple variables for controlling the total risk bound. The subjectivity learning is a novel learning theory for unconstrained real data and provides a path to develop AGI.


title: Kardar-Parisi-Zhang physics in integrable rotationally symmetric dynamics on discrete space-time lattice

abstract: We introduce a deterministic SO(3) invariant dynamics of classical spins on a discrete space-time lattice and prove its complete integrability by explicitly finding a related non-constant (baxterized) solution of the set-theoretic quantum Yang-Baxter equation over the 2-sphere. Equipping the algebraic structure with the corresponding Lax operator we derive an infinite sequence of conserved quantities with local densities. The dynamics depend on a single continuous spectral parameter and reduce to a (lattice) Landau-Lifshitz model in the limit of a small parameter which corresponds to the continuous time limit. Using quasi-exact numerical simulations of deterministic dynamics and Monte Carlo sampling of initial conditions corresponding to a maximum entropy equilibrium state we determine spin-spin spatio-temporal (dynamical) correlation functions with relative accuracy of three orders of magnitude. We demonstrate that in the equilibrium state with a vanishing total magnetization the correlation function precisely follow Kardar-Parisi-Zhang scaling hence the spin transport belongs to the universality class with dynamical exponent z=3/2, in accordance to recent related simulations in discrete and continuous time quantum Heisenberg spin 1/2 chains.

categories: cond-mat.stat-mech math-ph math.MP nlin.SI


title: Evaporative cooling from an optical dipole trap in microgravity

abstract: In recent years, cold atoms could prove their scientific impact not only on ground but in microgravity environments such as the drop tower in Bremen, sounding rockets and parabolic flights. We investigate the preparation of cold atoms in an optical dipole trap, with an emphasis on evaporative cooling under microgravity. Up to $ 1\times10^{6} $ rubidium-87 atoms were optically trapped from a temporarily dark magneto optical trap during free fall in the droptower in Bremen. The efficiency of evaporation is determined to be equal with and without the effect of gravity. This is confirmed using numerical simulations that prove the dimension of evaporation to be three-dimensional in both cases due to the anharmonicity of optical potentials. These findings pave the way towards various experiments on ultra-cold atoms under microgravity and support other existing experiments based on atom chips but with plans for additional optical dipole traps such as the upcoming follow-up missions to current and past spaceborne experiments.


title: Aim for clinical utility, not just predictive accuracy

abstract: The predictions from an accurate prognostic model can be of great interest to patients and clinicians. When predictions are reported to individuals, they may decide to take action to improve their health or they may simply be comforted by the knowledge. However, if there is a clearly defined space of actions in the clinical context, a formal decision rule based on the prediction has the potential to have a much broader impact. Even if it is not the intended use of a developed prediction model, informal decision rules can often be found in practice. The use of a prediction-based decision rule should be formalized and compared to the standard of care in a randomized trial to assess its clinical utility, however, evidence is needed to motivate such a trial. We outline how observational data can be used to propose a decision rule based on a prognostic prediction model. We then propose a framework for emulating a prediction driven trial to evaluate the utility of a prediction-based decision rule in observational data. A split-sample structure can and should be used to develop the prognostic model, define the decision rule, and evaluate its clinical utility.


title: Bayesian isotonic logistic regression via constrained splines: an application to estimating the serve advantage in professional tennis

abstract: In professional tennis, it is often acknowledged that the server has an initial advantage. Indeed, the majority of points are won by the server, making the serve one of the most important elements in this sport. In this paper, we focus on the role of the serve advantage in winning a point as a function of the rally length. We propose a Bayesian isotonic logistic regression model for the probability of winning a point on serve. In particular, we decompose the logit of the probability of winning via a linear combination of B-splines basis functions, with athlete-specific basis function coefficients. Further, we ensure the serve advantage decreases with rally length by imposing constraints on the spline coefficients. We also consider the rally ability of each player, and study how the different types of court may impact on the player's rally ability. We apply our methodology to a Grand Slam singles matches dataset.


title: A metric-like topology yon BL-algebras

abstract: This paper is devoted to introduce a topology on BL-algebras, makes them semitopological algebras. For any BL-algebra $\mathcal{L}=(L, \wedge, \vee, *, \to , 0, 1)$, the introduced topology is defined by a distance-like function between elements of $L$ which is defined by $a \leftrightarrow b=(a\to b)*(b\to a)$. We will show that when the continuous scale $[0,1]$ is endowed to be a BL-algebra, then this topology admits some of the most important properties of the metric topology. Finally, we will show that this topology can be examined by a similar topology on dual of BL-algebras as well.


title: VVV analysis of star clusters towards the W31 star-forming complex

abstract: The giant HII region W31 hosts the populous star cluster W31-CL and others projected on or in the surroundings. The most intriguing object is the stellar cluster SGR1806-20, which appears to be related to a Luminous Blue Variable (LBV) - a luminous supergiant star. We used the deep VVV J-,H-and K$_s$-bands photometry combined with 2MASS data in order to address the distance andother physical and structural properties of the clusters W31-CL, BDS 113 and SGR1806-20. Field-decontaminated photometry was used to analyse colour-magnitude diagrams and stellar radial density profiles, using procedures that our group has developed and employed in previous studies. We concludethat the clusters W31-CL and BDS113 are located at 4.5kpc and 4.8kpc and have ages of 0.5Myr and 1Myr, respectively. This result, together with the pre-main sequence (PMS) distribution in the colour-magnitude diagram, characterises them as members of the W31 complex. The present photometry detects the stellar content, addressed in previous spectroscopic classifications, in the direction of thecluster SGR1806-20, including the LBV, WRs, and foreground stars. We derive an age of 10$\pm$4Myr and a distance of d=8.0$\pm$1.95kpc. The cluster is extremely absorbed, with AV= 25mag. Thepresent results indicate that SGR1806-20 is more distant by a factor 1.8 with respect to the W31 complex, and thus not physically related to it.


title: Large Time Behaviour and the Second Eigenvalue Problem for Finite State Mean-Field Interacting Particle Systems

abstract: This article examines large time behaviour of finite state mean-field interacting particle systems. Our first main result is a sharp estimate (in the exponential scale) on the time required for convergence of the empirical measure process of the $N$-particle system to its invariant measure; we show that when time is of the order of $\exp\{N\Lambda\}$ for a suitable constant $\Lambda \geq 0$, the process has mixed well and it is close to its invariant measure. We then obtain large-$N$ asymptotics of the second largest eigenvalue of the generator associated with the empirical measure process when it is reversible with respect to its invariant measure. We show that its absolute value scales as $\exp\{-N\Lambda\}$. The main tools used in establishing our results are the large deviation properties of the empirical measure process from its large-$N$ limit. As an application of the study of large time behaviour, we also show convergence of the empirical measure of the system of particles to a global minimum of a certain `entropy' function when particles are added over time in a controlled fashion. The controlled addition of particles is analogous to the cooling schedule associated with the search for a global minimum of a function using the simulated annealing algorithm.


title: Photospheric magnetic structure of coronal holes

abstract: In this study, we investigate in detail the photospheric magnetic structure of 98 coronal holes using line-of-sight magnetograms of SDO/HMI, and for a subset of 42 coronal holes using HINODE/SOT G-band filtergrams. We divided the magnetic field maps into magnetic elements and quiet coronal hole regions by applying a threshold at $\pm 25$ G. We find that the number of magnetic bright points in magnetic elements is well correlated with the area of the magnetic elements (cc=$0.83\pm 0.01$). Further, the magnetic flux of the individual magnetic elements inside coronal holes is related to their area by a power law with an exponent of $1.261\pm 0.004$ (cc=$0.984\pm 0.001$). Relating the magnetic elements to the overall structure of coronal holes, we find that on average ($69\pm 8$) % of the overall unbalanced magnetic flux of the coronal holes arises from long-lived magnetic elements with lifetimes > 40 hours. About ($22\pm 4$) % of the unbalanced magnetic flux arises from a very weak background magnetic field in the quiet coronal hole regions with a mean magnetic field density of about 0.2 to 1.2 G. This background magnetic field is correlated to the flux of the magnetic elements with lifetimes of > 40 h (cc=$0.88\pm 0.02$). The remaining flux arises from magnetic elements with lifetimes < 40 hours. By relating the properties of the magnetic elements to the overall properties of the coronal holes, we find that the unbalanced magnetic flux of the coronal holes is completely determined by the total area that the long-lived magnetic elements cover (cc=$0.994\pm 0.001$).


title: Studies on Polyakov and Nambu-Goto Random Surface Path Integrals on QCD (SU(infinity)): Interquark Potential and Phenomenological Scattering Amplitudes

abstract: We present news path integral studies on the Polyakov Non-Critical and Nambu-Goto critical string theories and its applications to QCD SU((infinity)) interquark potential .


title: Systemic Risk Clustering of China Internet Financial Based on t-SNE Machine Learning Algorithm

abstract: With the rapid development of Internet finance, a large number of studies have shown that Internet financial platforms have different financial systemic risk characteristics when they are subject to macroeconomic shocks or fragile internal crisis. From the perspective of regional development of Internet finance, this paper uses t-SNE machine learning algorithm to obtain data mining of China's Internet finance development index involving 31 provinces and 335 cities and regions. The conclusion of the peak and thick tail characteristics, then proposed three classification risks of Internet financial systemic risk, providing more regionally targeted recommendations for the systematic risk of Internet finance.


title: A Gaia view of the two OB associations Cygnus OB2 and Carina OB1: The signature of their formation process

abstract: OB associations are the prime star forming sites in galaxies. However the detailed formation process of such stellar systems still remains a mystery. In this context, identifying the presence of substructures may help tracing the footprints of their formation process. Here, we present a kinematic study of the two massive OB associations Cygnus OB2 and Carina OB1 using the precise astrometry from the Gaia Data Release 2 and radial velocities. From the parallaxes of stars, these OB associations are confirmed to be genuine stellar systems. Both Cygnus OB2 and Carina OB1 are composed of a few dense clusters and a halo which have different kinematic properties: the clusters occupy regions of 5-8 parsecs in diameter and display small dispersions in proper motion, while the halos spread over tens of parsecs with a 2-3 times larger dispersions in proper motion. This is reminiscent of the so-called "line width-size" relation of molecular clouds related to turbulence. Considering that the kinematics and structural features were inherited from those of their natal clouds would then imply that the formation of OB associations may result from structure formation driven by supersonic turbulence, rather than from the dynamical evolution of individual embedded clusters.


title: Spectral data asymptotics for the matrix Sturm-Liouville operator

abstract: The self-adjoint matrix Sturm-Liouville operator on a finite interval with a boundary condition in the general form is studied. We obtain asymptotic formulas for the eigenvalues and the weight matrices of the considered operator. These spectral characteristics play an important role in the inverse spectral theory. Our technique is based on analysis of analytic functions and on the contour integration in the complex plane of the spectral parameter. In addition, we adapt the obtained asymptotic formulas to the Sturm-Liouville operators on a star-shaped graph with two different types of matching conditions.


title: Geometric conditions for strict submultiplicativity of rank and border rank

abstract: The $X$-rank of a point $p$ in projective space is the minimal number of points of an algebraic variety $X$ whose linear span contains $p$. This notion is naturally submultiplicative under tensor product. We study geometric conditions that guarantee strict submultiplicativity. We prove that in the case of points of rank two, strict submultiplicativity is entirely characterized in terms of the trisecant lines to the variety. Moreover, we focus on the case of curves: we prove that for curves embedded in an even-dimensional projective space, there are always points for which strict submultiplicativity occurs, with the only exception of rational normal curves.


title: HoughNet: neural network architecture for vanishing points detection

abstract: In this paper we introduce a novel neural network architecture based on Fast Hough Transform layer. The layer of this type allows our neural network to accumulate features from linear areas across the entire image instead of local areas. We demonstrate its potential by solving the problem of vanishing points detection in the images of documents. Such problem occurs when dealing with camera shots of the documents in uncontrolled conditions. In this case, the document image can suffer several specific distortions including projective transform. To train our model, we use MIDV-500 dataset and provide testing results. The strong generalization ability of the suggested method is proven with its applying to a completely different ICDAR 2011 dewarping contest. In previously published papers considering these dataset authors measured the quality of vanishing point detection by counting correctly recognized words with open OCR engine Tesseract. To compare with them, we reproduce this experiment and show that our method outperforms the state-of-the-art result.


title: INTEREST: INteractive Tool for Exploring REsults from Simulation sTudies

abstract: Simulation studies allow us to explore the properties of statistical methods. They provide a powerful tool with a multiplicity of aims; among others: evaluating and comparing new or existing statistical methods, assessing violations of modelling assumptions, helping with the understanding of statistical concepts, and supporting the design of clinical trials. The increased availability of powerful computational tools and usable software has contributed to the rise of simulation studies in the current literature. However, simulation studies involve increasingly complex designs, making it difficult to provide all relevant results clearly. Dissemination of results plays a focal role in simulation studies: it can drive applied analysts to use methods that have been shown to perform well in their settings, guide researchers to develop new methods in a promising direction, and provide insights into less established methods. It is crucial that we can digest relevant results of simulation studies. Therefore, we developed INTEREST: an INteractive Tool for Exploring REsults from Simulation sTudies. The tool has been developed using the Shiny framework in R and is available as a web app or as a standalone package. It requires uploading a tidy format dataset with the results of a simulation study in R, Stata, SAS, SPSS, or comma-separated format. A variety of performance measures are estimated automatically along with Monte Carlo standard errors; results and performance summaries are displayed both in tabular and graphical fashion, with a wide variety of available plots. Consequently, the reader can focus on simulation parameters and estimands of most interest. In conclusion, INTEREST can facilitate the investigation of results from simulation studies and supplement the reporting of results, allowing researchers to share detailed results from their simulations and readers to explore them freely.


title: Parameter Tuning for Self-optimizing Software at Scale

abstract: Efficiency of self-optimizing systems is heavily dependent on their optimization strategies, e.g., choosing exact or approximate solver. A choice of such a strategy, in turn, is influenced by numerous factors, such as re-optimization time, size of the problem, optimality constraints, etc. Exact solvers are domain-independent and can guarantee optimality but suffer from scaling, while approximate solvers offer a "good-enough" solution in exchange for a lack of generality and parameter-dependence. In this paper we discuss the trade-offs between exact and approximate optimizers for solving a quality-based software selection and hardware mapping problem from the scalability perspective. We show that even a simple heuristic can compete with thoroughly developed exact solvers under condition of an effective parameter tuning. Moreover, we discuss robustness of the obtained algorithm's configuration. Last but not least, we present a software product line for parameter tuning, which comprise the main features of this process and can serve as a platform for further research in the area of parameter tuning.


title: Waveform of gravitational waves in the ghost-free parity-violating gravities

abstract: Gravitational waves (GWs) provide an excellent opportunity to test the gravity in the strong gravitational fields. In this article, we calculate the waveform of GWs, produced by the coalescence of compact binaries, in an extension of the Chern-Simons gravity by including higher derivatives of the coupling scalar field. By comparing the two circular polarization modes, we find the effects of amplitude birefringence and velocity birefringence of GWs in their propagation caused by the parity violation in gravity, which are explicitly presented in the GW waveforms by the amplitude and phase modifications respectively. Combining the two modes, we obtain the GW waveforms in the Fourier domain, and find that the deviations from those in General Relativity are dominated by effects of velocity birefringence of GWs. In addition, we also map the effects of the parity violation on the waveform onto the parameterized post-Einsteinian (PPE) framework and identify explicitly the PPE parameters.


title: Multivariate spectral downscaling for PM2.5 species

abstract: Fine particulate matter (PM2.5) is a mixture of air pollutants that has adverse effects on human health. Understanding the health effects of PM2.5 mixture and its individual species has been a research priority over the past two decades. However, the limited availability of speciated PM2.5 measurements continues to be a major challenge in exposure assessment for conducting large-scale population-based epidemiology studies. The PM2.5 species have complex spatial-temporal and cross dependence structures that should be accounted for in estimating the spatiotemporal distribution of each component. Two major sources of air quality data are commonly used for deriving exposure estimates: point-level monitoring data and gridded numerical computer model simulation, such as the Community Multiscale Air Quality (CMAQ) model. We propose a statistical method to combine these two data sources for estimating speciated PM2.5 concentration. Our method models the complex relationships between monitoring measurements and the numerical model output at different spatial resolutions, and we model the spatial dependence and cross dependence among PM2.5 species. We apply the method to combine CMAQ model output with major PM2.5 species measurements in the contiguous United States in 2011.


title: Efficient Automatic Meta Optimization Search for Few-Shot Learning

abstract: Previous works on meta-learning either relied on elaborately hand-designed network structures or adopted specialized learning rules to a particular domain. We propose a universal framework to optimize the meta-learning process automatically by adopting neural architecture search technique (NAS). NAS automatically generates and evaluates meta-learner's architecture for few-shot learning problems, while the meta-learner uses meta-learning algorithm to optimize its parameters based on the distribution of learning tasks. Parameter sharing and experience replay are adopted to accelerate the architectures searching process, so it takes only 1-2 GPU days to find good architectures. Extensive experiments on Mini-ImageNet and Omniglot show that our algorithm excels in few-shot learning tasks. The best architecture found on Mini-ImageNet achieves competitive results when transferred to Omniglot, which shows the high transferability of architectures among different computer vision problems.


title: Large-Scale Local Causal Inference of Gene Regulatory Relationships

abstract: Gene regulatory networks play a crucial role in controlling an organism's biological processes, which is why there is significant interest in developing computational methods that are able to extract their structure from high-throughput genetic data. Many of these computational methods are designed to infer individual regulatory relationships among genes from data on gene expression. We propose a novel efficient Bayesian method for discovering local causal relationships among triplets of (normally distributed) variables. In our approach, we score covariance structures for each triplet in one go and incorporate available background knowledge in the form of priors to derive posterior probabilities over local causal structures. Our method is flexible in the sense that it allows for different types of causal structures and assumptions. We apply our approach to the task of learning causal regulatory relationships among genes. We show that the proposed algorithm produces stable and conservative posterior probability estimates over local causal structures that can be used to derive an honest ranking of the most meaningful regulatory relationships. We demonstrate the stability and efficacy of our method both on simulated data and on real-world data from an experiment on yeast.

categories: stat.ML cs.LG q-bio.GN q-bio.MN q-bio.QM


title: A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification

abstract: This paper addresses the issue of specifying, simulating, and verifying reactive systems in rewriting logic. It presents an executable semantics for probabilistic, timed, and spatial concurrent constraint programming -- here called stochastic and spatial concurrent constraint systems (SSCC) -- in the rewriting logic semantic framework. The approach is based on an enhanced and generalized model of concurrent constraint programming (CCP) where computational hierarchical spaces can be assigned to belong to agents. The executable semantics faithfully represents and operationally captures the highly concurrent nature, uncertain behavior, and spatial and epistemic characteristics of reactive systems with flow of information. In SSCC, timing attributes -- represented by stochastic duration -- can be associated to processes, and exclusive and independent probabilistic choice is also supported. SMT solving technology, available from the Maude system, is used to realize the underlying constraint system of SSCC with quantifier-free formulas over integers and reals. This results in a fully executable real-time symbolic specification that can be used for quantitative analysis in the form of statistical model checking. The main features and capabilities of SSCC are illustrated with examples throughout the paper. This contribution is part of a larger research effort aimed at making available formal analysis techniques and tools, mathematically founded on the CCP approach, to the research community.


title: Learning Concepts Definable in First-Order Logic with Counting

abstract: We study Boolean classification problems over relational background structures in the logical framework introduced by Grohe and Tur\'an (TOCS 2004). It is known (Grohe and Ritzert, LICS 2017) that classifiers definable in first-order logic over structures of polylogarithmic degree can be learned in sublinear time, where the degree of the structure and the running time are measured in terms of the size of the structure. We generalise the results to the first-order logic with counting FOCN, which was introduced by Kuske and Schweikardt (LICS 2017) as an expressive logic generalising various other counting logics. Specifically, we prove that classifiers definable in FOCN over classes of structures of polylogarithmic degree can be consistently learned in sublinear time. This can be seen as a first step towards extending the learning framework to include numerical aspects of machine learning. We extend the result to agnostic probably approximately correct (PAC) learning for classes of structures of degree at most $(\log \log n)^c$ for some constant $c$. Moreover, we show that bounding the degree is crucial to obtain sublinear-time learning algorithms. That is, we prove that, for structures of unbounded degree, learning is not possible in sublinear time, even for classifiers definable in plain first-order logic.


title: Combination of Unified Embedding Model and Observed Features for Knowledge Graph Completion

abstract: Knowledge graphs are useful for many artificial intelligence tasks but often have missing data. Hence, a method for completing knowledge graphs is required. Existing approaches include embedding models, the Path Ranking Algorithm, and rule evaluation models. However, these approaches have limitations. For example, all the information is mixed and difficult to interpret in embedding models, and traditional rule evaluation models are basically slow. In this paper, we provide an integrated view of various approaches and combine them to compensate for their limitations. We first unify state-of-the-art embedding models, such as ComplEx and TorusE, reinterpreting them as a variant of translation-based models. Then, we show that these models utilize paths for link prediction and propose a method for evaluating rules based on this idea. Finally, we combine an embedding model and observed feature models to predict missing triples. This is possible because all of these models utilize paths. We also conduct experiments, including link prediction tasks, with standard datasets to evaluate our method and framework. The experiments show that our method can evaluate rules faster than traditional methods and that our framework outperforms state-of-the-art models in terms of link prediction.


title: Novel Back-coated Glass Mirrors for the MAGIC Telescopes

abstract: The mirrors installed on Imaging Atmospheric Cherenkov Telescopes like the MAGIC telescopes in La Palma, Canary Islands, are constantly exposed to the harsh environment. They have to withstand wind-induced corrosion from dust and sand, changing temperatures, and rain. Because of the size of the telescope, protecting the structure with a dome is not practical. The current mirrors used in MAGIC are aluminum front-coated glass mirrors, covered by a thin quartz layer. But even with this protective layer, significant decrease in reflectivity can be seen on timescales of several years. The quartz layer is very delicate and can be easily scratched or damaged, which also makes cleaning the mirrors almost impossible. We have tested a novel design of glass mirrors that can be easily cleaned and should show almost no degradation in reflectivity due to environmental influences. The protective layer is a ultra-thin glass sheet which is back-coated with aluminum, making it possible to simply wipe the mirror with household cleaning tools. In this contribution we will present results from laboratory tests of reflectivity and focusing properties of prototype mirrors, as well as long-term tests on-site at the MAGIC telescopes. We will also outline plans for exchanging a large fraction of MAGIC mirrors with this novel design, guaranteeing a peak performance of MAGIC for the coming years.


title: A holographic optical tweezers module for the International Space Station

abstract: The International Space Station (ISS) is an unparalleled laboratory for studying colloidal suspensions in microgravity. The first colloidal experiments on the ISS involved passive observation of suspended particles, and current experiments are now capable of observation under controlled environmental conditions; for example, under heating or under externally applied magnetic or electric fields. Here, we describe the design of a holographic optical tweezers (HOT) module for the ISS, with the goal of giving ISS researchers the ability to actively control 3D arrangements of particles, allowing them to initialize and perform repeatable experiments. We discuss the design's modifications to the basic HOT module hardware to allow for operation in a high-vibration, microgravity environment. We also discuss the module's planned particle tracking and routing capabilities, which will enable the module to remotely perform pre-programmed colloidal and biological experiments. The HOT module's capabilities can be expanded or upgraded through software alone, providing a unique platform for optical trapping researchers to test new tweezing beam configurations and routines in microgravity.


title: Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations

abstract: Deep learning models are widely used for image analysis. While they offer high performance in terms of accuracy, people are concerned about if these models inappropriately make inferences using irrelevant features that are not encoded from the target object in a given image. To address the concern, we propose a metamorphic testing approach that assesses if a given inference is made based on irrelevant features. Specifically, we propose two novel metamorphic relations to detect such inappropriate inferences. We applied our approach to 10 image classification models and 10 object detection models, with three large datasets, i.e., ImageNet, COCO, and Pascal VOC. Over 5.3% of the top-5 correct predictions made by the image classification models are subject to inappropriate inferences using irrelevant features. The corresponding rate for the object detection models is over 8.5%. Based on the findings, we further designed a new image generation strategy that can effectively attack existing models. Comparing with a baseline approach, our strategy can double the success rate of attacks.


title: Manifestations of three dimensional magnetic reconnection in an eruption of a quiescent filament: \\ Filament strands turning to flare loops

abstract: We report on observations of conversion of bright filament strands into flare loops during 2012 August 31 filament eruption. Prior to the eruption, individual bright strands composing one of the legs of the filament were observed in the 171 A filter channel data of the Atmospheric Imaging Assembly. After the onset of the eruption, one of the hooked ribbons started to propagate and contract, sweeping footpoints of the bright filament strands as well as coronal loops located close by. Later on, hot flare loops appeared in regions swept by the hook, where the filament strands were rooted. Timing and localization of these phenomena suggest that they are caused by reconnection of field lines composing the filament at the hook, which, to our knowledge, has not been observed before. This process is not included in the standard flare model (CSHKP), as it does not address footpoints of erupting flux ropes and ribbon hooks. It has, however, been predicted using the recent three-dimensional extensions to the standard flare model. There, the erupting flux rope can reconnect with surrounding coronal arcades as the hooked extensions of current ribbons sweep its footpoints. This process results in formation of flare loops rooted in previous footpoints of the flux rope. Our observations of sweeping of filament footpoints are well described by this scenario. In all observed cases, all of the footpoints of the erupting filament became footpoints of flare loops. This process was observed to last for about 150 minutes, throughout the whole eruption.


title: SRIM and SCRIM Factors of $x^n+1$ over Finite Fields and Their Applications

abstract: Self-Reciprocal Irreducible Monic (SRIM) and Self-Conjugate-Reciprocal Irreducible Monic (SRCIM) factors of $x^n-1$ over finite fields have become of interest due to their rich algebraic structures and wide applications. In this paper, these notions are extended to factors of $x^n+ 1$ over finite fields. Characterization and enumeration of SRIM and SCRIM factors of $x^n+1$ over finite fields are established. Simplification and recessive formulas for the number of such factors are given. Finally, applications in the studied of complementary negacyclic codes are discussed.


title: Wave scattering properties of multiple weakly-coupled complex systems

abstract: The statistics of scattering of waves inside single ray-chaotic enclosures have been successfully described by the Random Coupling Model (RCM). We expand the RCM to systems consisting of multiple complex ray-chaotic enclosures with variable coupling scenarios. The statistical properties of the model-generated quantities are tested against measured data of electrically large multi-cavity systems of various designs. The statistics of model-generated trans-impedance and induced voltages on a load impedance agree well with the experimental results. The RCM coupled chaotic enclosure model is general and can be applied to other physical systems including coupled quantum dots, disordered nanowires, and short-wavelength electromagnetic propagation through rooms in buildings, aircraft and ships.


title: Quantum-like behavior of 1D nonequilibrium system in the maximum heat flux limit

abstract: Using information entropy formalism, we consider a one-dimensional system with heat flux and extend the meaning of equilibrium variables to non equilibrium scenarios when classical local equilibrium approach is not applicable; this is particularly important for the performance evaluation of modern thermal systems and microdevices, which usually operate in extreme situations. The extended non equilibrium entropy, temperature, thermal conductivity and heat capacity have been analyzed as functions of the local energy density (kinetic temperature) and heat flux.


title: Multi-Objective Mixed Integer Programming: An Objective Space Algorithm

abstract: This paper introduces the first objective space algorithm which can exactly find all supported and non-supported non-dominated solutions to a mixed-integer multi-objective linear program with an arbitrary number of objective functions. This algorithm is presented in three phases. First it builds up a super-set which contains the Pareto front. This super-set is then modified to not contain any intersecting polytopes. Once this is achieved, the algorithm efficiently calculates which portions of the super-set are not part of the Pareto front and removes them, leaving exactly the Pareto front.


title: Compact Autoregressive Network

abstract: Autoregressive networks can achieve promising performance in many sequence modeling tasks with short-range dependence. However, when handling high-dimensional inputs and outputs, the huge amount of parameters in the network lead to expensive computational cost and low learning efficiency. The problem can be alleviated slightly by introducing one more narrow hidden layer to the network, but the sample size required to achieve a certain training error is still large. To address this challenge, we rearrange the weight matrices of a linear autoregressive network into a tensor form, and then make use of Tucker decomposition to represent low-rank structures. This leads to a novel compact autoregressive network, called Tucker AutoRegressive (TAR) net. Interestingly, the TAR net can be applied to sequences with long-range dependence since the dimension along the sequential order is reduced. Theoretical studies show that the TAR net improves the learning efficiency, and requires much fewer samples for model training. Experiments on synthetic and real-world datasets demonstrate the promising performance of the proposed compact network.


title: Training Deep Neural Networks Using Posit Number System

abstract: With the increasing size of Deep Neural Network (DNN) models, the high memory space requirements and computational complexity have become an obstacle for efficient DNN implementations. To ease this problem, using reduced-precision representations for DNN training and inference has attracted many interests from researchers. This paper first proposes a methodology for training DNNs with the posit arithmetic, a type- 3 universal number (Unum) format that is similar to the floating point(FP) but has reduced precision. A warm-up training strategy and layer-wise scaling factors are adopted to stabilize training and fit the dynamic range of DNN parameters. With the proposed training methodology, we demonstrate the first successful training of DNN models on ImageNet image classification task in 16 bits posit with no accuracy loss. Then, an efficient hardware architecture for the posit multiply-and-accumulate operation is also proposed, which can achieve significant improvement in energy efficiency than traditional floating-point implementations. The proposed design is helpful for future low-power DNN training accelerators.


title: Effect of Electromagnetism upon the Collapse of Cylindrical Symmetric Stars in f(R; T) Gravity

abstract: By the end of the evaluation of this research artifact, readers would be able to describe the effect of conducted plasma on evolution of stellar objects. In this script, we have analyzed the stability of charged cylindrically symmetric stellar objects in the context of f(R; T) theory of gravity. We have fabricated field equations and their conforming dynamical equations and then we have used perturbation scheme for additional analysis. Adiabatic index {\Gamma} has been used to sort inequalities in the Newtonian and the post Newtonian regimes. At the end we caught some extra limitations due to which we have concluded that effect of charge on star upsurges its instability


title: Relativity and Aberration

abstract: The established way of looking at special relativity is based on Einstein postulates: the principle of relativity and the constancy of the velocity of light. In the most general geometric approach to the theory of special relativity, the principle of relativity, in contrast to Einstein formulation, is only a consequence of the (pseudo-Euclidean) geometry of space-time. The space-time geometric approach deals with all possible choices of coordinates (clock synchronization conventions) of the chosen reference frames. In previous papers, we pointed out the very important role that the space-time geometric approach plays in accelerator engineering. The purpose of this paper is to provide a novel insight into the problem of aberration of light based on the space-time geometric approach. We will investigate the case of a plane-polarized light wave reflected from mirrors moving tangentially to its surface. It is generally believed that there is no aberration (deviation of the energy transport) for light reflected from mirrors moving transversely (also for light transmitted through a hole in the moving opaque screen or, consequently, through a moving open end of the telescope barrel). We show that this typical textbook statement is incorrect. The aberration of starlight seems to be one of the simplest phenomena of astronomical observations. The lack of symmetry, between the cases when either the source or detector is moving is shown clearly on the basis of the separation of binary stars. Such aberration is not observed. We have shown that the fact that we do not see myriads of widely separated binaries in wild gyration does not require any fundamental change of outlook, but it does require that aberration of "distant" stars should be treated in the framework of space-time geometric approach.


title: Linear Context Transform Block

abstract: Squeeze-and-Excitation (SE) block presents a channel attention mechanism for modeling global context via explicitly capturing dependencies across channels. However, we are still far from understanding how the SE block works. In this work, we first revisit the SE block, and then present a detailed empirical study of the relationship between global context and attention distribution, based on which we propose a simple yet effective module, called Linear Context Transform (LCT) block. We divide all channels into different groups and normalize the globally aggregated context features within each channel group, reducing the disturbance from irrelevant channels. Through linear transform of the normalized context features, we model global context for each channel independently. The LCT block is extremely lightweight and easy to be plugged into different backbone models while with negligible parameters and computational burden increase. Extensive experiments show that the LCT block outperforms the SE block in image classification task on the ImageNet and object detection/segmentation on the COCO dataset with different backbone models. Moreover, LCT yields consistent performance gains over existing state-of-the-art detection architectures, e.g., 1.5$\sim$1.7% AP$^{bbox}$ and 1.0$\sim$1.2% AP$^{mask}$ improvements on the COCO benchmark, irrespective of different baseline models of varied capacities. We hope our simple yet effective approach will shed some light on future research of attention-based models.


title: Data Sanity Check for Deep Learning Systems via Learnt Assertions

abstract: Reliability is a critical consideration to DL-based systems. But the statistical nature of DL makes it quite vulnerable to invalid inputs, i.e., those cases that are not considered in the training phase of a DL model. This paper proposes to perform data sanity check to identify invalid inputs, so as to enhance the reliability of DL-based systems. We design and implement a tool to detect behavior deviation of a DL model when processing an input case. This tool extracts the data flow footprints and conducts an assertion-based validation mechanism. The assertions are built automatically, which are specifically-tailored for DL model data flow analysis. Our experiments conducted with real-world scenarios demonstrate that such an assertion-based data sanity check mechanism is effective in identifying invalid input cases.


title: MRSNet: Metabolite Quantification from Edited Magnetic Resonance Spectra With Convolutional Neural Networks

abstract: Quantification of metabolites from magnetic resonance spectra (MRS) has many applications in medicine and psychology, but remains a challenging task despite considerable research efforts. For example, the neurotransmitter $\gamma$-aminobutyric acid (GABA), present in very low concentration in vivo, regulates inhibitory neurotransmission in the brain and is involved in several processes outside the brain. Reliable quantification is required to determine its role in various physiological and pathological conditions. We present a novel approach to quantification of metabolites from MRS with convolutional neural networks --- MRSNet. MRSNet is trained to perform the multi-class regression problem of identifying relative metabolite concentrations from given input spectra, focusing specifically on the quantification of GABA, which is particularly difficult to resolve. Typically it can only be detected at all using special editing acquisition sequences such as MEGA-PRESS. A large range of network structures, data representations and automatic processing methods are investigated. Results are benchmarked using experimental datasets from test objects of known composition and compared to state-of-the-art quantification methods: LCModel, jMRUI (AQUES, QUEST), TARQUIN, VeSPA and Gannet. The results show that the overall accuracy and precision of metabolite quantification is improved using convolutional neural networks.


title: SEdroid: A Robust Android Malware Detector using Selective Ensemble Learning

abstract: For the dramatic increase of Android malware and low efficiency of manual check process, deep learning methods started to be an auxiliary means for Android malware detection these years. However, these models are highly dependent on the quality of datasets, and perform unsatisfactory results when the quality of training data is not good enough. In the real world, the quality of datasets without manually check cannot be guaranteed, even Google Play may contain malicious applications, which will cause the trained model failure. To address the challenge, we propose a robust Android malware detection approach based on selective ensemble learning, trying to provide an effective solution not that limited to the quality of datasets. The proposed model utilizes genetic algorithm to help find the best combination of the component learners and improve robustness of the model. Our results show that the proposed approach achieves a more robust performance than other approaches in the same area.


title: Efficient indoor p-i-n hybrid perovskite solar cells using low temperature solution processed NiO as hole extraction layers

abstract: Hybrid perovskites have received tremendous attention due to their exceptional photovoltaic and optoelectronic properties. Among the two widely used perovskite solar cell device architectures of n-ip and p-i-n, the latter is interesting in terms of its simplicity of fabrication and lower energy input. However this structure mostly uses PEDOT:PSS as a hole transporting layer which can accelerate the perovskite solar cell degradation. Hence the development of stable, inorganic hole extraction layers (HEL), without compromising the simplicity of device fabrication is crucial in this fast-growing photovoltaic field. Here we demonstrate a low temperature (~100 oC) solution - processed and ultrathin (~ 6 nm) NiO nanoparticle thin films as an efficient HEL for CH3NH3PbI3 based perovskite solar cells. We measure a power conversion efficiency (PCE) of 13.3 % on rigid glass substrates and 8.5 % on flexible substrates. A comparison with PEDOT:PSS based MAPbI3 solar cells (PCE ~ 7.9 %) shows that NiO based solar cells have higher short circuit current density and improved open circuit voltage (1.03V). Apart from the photovoltaic performance under 1 Sun, the efficient hole extraction property of NiO is demonstrated for indoor lighting as well with a PCE of 23.0 % for NiO based CH3NH3PbI2.9Cl0.1 p-i-n solar cells under compact fluorescent lighting. Compared to the perovskite solar cells fabricated on PEDOT:PSS HEL, better shelf-life stability is observed for perovskite solar cells fabricated on NiO HEL. Detailed microstructural and photophysical investigations imply uniform morphology, lower recombination losses, and improved charge transfer properties for CH3NH3PbI3 grown on NiO HEL.


title: Crowd Counting on Images with Scale Variation and Isolated Clusters

abstract: Crowd counting is to estimate the number of objects (e.g., people or vehicles) in an image of unconstrained congested scenes. Designing a general crowd counting algorithm applicable to a wide range of crowd images is challenging, mainly due to the possibly large variation in object scales and the presence of many isolated small clusters. Previous approaches based on convolution operations with multi-branch architecture are effective for only some narrow bands of scales and have not captured the long-range contextual relationship due to isolated clustering. To address that, we propose SACANet, a novel scale-adaptive long-range context-aware network for crowd counting. SACANet consists of three major modules: the pyramid contextual module which extracts long-range contextual information and enlarges the receptive field, a scale-adaptive self-attention multi-branch module to attain high scale sensitivity and detection accuracy of isolated clusters, and a hierarchical fusion module to fuse multi-level self-attention features. With group normalization, SACANet achieves better optimality in the training process. We have conducted extensive experiments using the VisDrone2019 People dataset, the VisDrone2019 Vehicle dataset, and some other challenging benchmarks. As compared with the state-of-the-art methods, SACANet is shown to be effective, especially for extremely crowded conditions with diverse scales and scattered clusters, and achieves much lower MAE as compared with baselines.


title: A New Method for Target Selection in Direct Imaging Programs with COPAINS

abstract: We present COPAINS (Code for Orbital Parametrisation of Astrometrically Inferred New Systems), an innovative tool developed to identify previously undiscovered companions detectable via direct imaging, based on changes in stellar proper motions across multiple astrometric catalogues. This powerful procedure allows for dynamical predictions of the possible masses and separations of unseen companions compatible with observed astrometric trends, marginalised over unknown orbital elements. Validating our approach using well-constrained systems, we found that our tool provides a good indication of the region of the parameter space where undetected secondaries may be located. Comparing the output of the code to the measured or expected sensitivity from various imaging instruments, this in turn enables us to robustly select the most promising targets for direct imaging campaigns searching for low-mass companions. Such an informed selection method promises to reduce the null detection rates from current programs and will significantly increase the current census of wide brown dwarfs and planetary companions to stars, which remain extremely rare in the surveys conducted so far.


title: Probing the large deviations of the Kardar-Parisi-Zhang equation at short time with an importance sampling of directed polymers in random media

abstract: The one-point distribution of the height for the continuum Kardar-Parisi-Zhang (KPZ) equation is determined numerically using the mapping to the directed polymer in a random potential at high temperature. Using an importance sampling approach, the distribution is obtained over a large range of values, down to a probability density as small as $10^{-1000}$ in the tails. The short time behavior is investigated and compared with recent analytical predictions for the large-deviation forms of the probability of rare fluctuations, showing a spectacular agreement with the analytical expressions. The flat and stationary initial conditions are studied in the full space, together with the droplet initial condition in the half-space.


title: Covariant constructive gravity: A step-by-step guide towards alternative theories of gravity

abstract: We propose a step-by-step manual for the construction of alternative theories of gravity, perturbatively as well as nonperturbatively. The construction is guided by no more than two fundamental principles that we impose on the gravitational dynamics: invariance under spacetime diffeomorphisms and causal compatibility with given matter dynamics, provided that spacetime is additionally endowed with matter fields. The developed framework then guides the computation of the most general, alternative theory of gravity that is consistent with the two fundamental requirements. Utilizing this framework we recover the cosmological sector of general relativity solely from assuming that spacetime is a spatially homogeneous and isotropic metric manifold. On top of that, we explicitly test the perturbative framework by deriving the most general third-order expansion of a metric theory of gravity that is causally compatible with a Klein-Gordon scalar field. Thereby we recover the perturbative expansion of general relativity. To demonstrate how new physics emerges from our approach, we finally construct the most comprehensive third-order expansion of a theory of gravity that supports general (not necessarily Maxwellian) linear electrodynamics.


title: Comparing Galaxy Clustering in Horizon-AGN Simulated Lightcone Mocks and VIDEO Observations

abstract: Hydrodynamical cosmological simulations have recently made great advances in reproducing galaxy mass assembly over cosmic time - as often quantified from the comparison of their predicted stellar mass functions to observed stellar mass functions from data. In this paper we compare the clustering of galaxies from the hydrodynamical cosmological simulated lightcone Horizon-AGN, to clustering measurements from the VIDEO survey observations. Using mocks built from a VIDEO-like photometry, we first explore the bias introduced into clustering measurements by using stellar masses and redshifts derived from SED-fitting, rather than the intrinsic values. The propagation of redshift and mass statistical and systematic uncertainties in the clustering measurements causes us to underestimate the clustering amplitude. We find then that clustering and halo occupation distribution (HOD) modelling results are qualitatively similar in Horizon-AGN and VIDEO. However at low stellar masses Horizon-AGN underestimates the observed clustering by up to a factor of ~3, reflecting the known excess stellar mass to halo mass ratio for Horizon-AGN low mass haloes, already discussed in previous works. This reinforces the need for stronger regulation of star formation in low mass haloes in the simulation. Finally, the comparison of the stellar mass to halo mass ratio in the simulated catalogue, inferred from angular clustering, to that directly measured from the simulation, validates HOD modelling of clustering as a probe of the galaxy-halo connection.


title: Impact of electron solvation on ice structures at the molecular scale

abstract: We determine the impact of electron solvation on D$_2$O structures adsorbed on Cu(111) with low temperature scanning tunneling microscopy, two-photon photoemission, and ab initio theory. UV photons generating solvated electrons lead not only to transient, but also to permanent structural changes through the rearrangement of individual molecules. The persistent changes occur near sites with a high density of dangling OH groups that facilitate electron solvation. We conclude that energy dissipation during solvation triggers permanent molecular rearrangement via vibrational excitation.


title: Modified General Relativity and quantum theory in curved spacetime

abstract: With appropriate modifications, the multi-spin Klein-Gordon (KG) equation of quantum field theory can be adapted to curved spacetime for spins 0,1,1/2. The associated particles in the microworld then move as a wave at all spacetime coordinates. From the existence in a Lorentzian spacetime of a line element field $(X^{\beta},-X^{\beta}) $, the spin-1 KG equation $\nabla_{\mu}\nabla^{\mu}X^{\beta}=k^{2}X^{\beta} $ is derived from an action functional involving $X^{\beta} $ and its covariant derivative. The spin-0 KG equation and the KG equation of the outer product of a spin-1/2 Dirac spinor and its Hermitian conjugate are then constructed. Thus, $ X^{\beta} $ acts as a fundamental quantum vector field. The symmetric part of the spin-1 KG equation, $ \tilde{\varPsi}_{\alpha\beta}$, is the Lie derivative of the metric. That links the multi-spin Klein-Gordon equation to Modified General Relativity (MGR) through its energy-momentum tensor of the gravitational field. From the invariance of the action functionals under the diffeomorphism group Diff(M), which is not restricted to the Lorentz group, $ \tilde{\varPsi}_{\alpha\beta}$ can instantaneously transmit information along $ X^{\beta} $. That establishes the concept of entanglement within a Lorentzian formalism. The respective local/nonlocal characteristics of MGR and quantum theory no longer present an insurmountable problem to unify the theories.


title: On dynamic random graphs with degree homogenization via anti-preferential attachment probabilities

abstract: We analyze a dynamic random undirected graph in which newly added vertices are connected to those already present in the graph either using, with probability $p$, an anti-preferential attachment mechanism or, with probability $1-p$, a preferential attachment mechanism. We derive the asymptotic degree distribution in the general case and study the asymptotic behaviour of the expected degree process in the general and that of the degree process in the pure anti-preferential attachment case. Degree homogenization mainly affects convergence rates for the former case and also the limiting degree distribution in the latter.


title: Aligning Daily Activities with Personality: Towards A Recommender System for Improving Wellbeing

abstract: Recommender Systems have not been explored to a great extent for improving health and subjective wellbeing. Recent advances in mobile technologies and user modelling present the opportunity for delivering such systems, however the key issue is understanding the drivers of subjective wellbeing at an individual level. In this paper we propose a novel approach for deriving personalized activity recommendations to improve subjective wellbeing by maximizing the congruence between activities and personality traits. To evaluate the model, we leveraged a rich dataset collected in a smartphone study, which contains three weeks of daily activity probes, the Big-Five personality questionnaire and subjective wellbeing surveys. We show that the model correctly infers a range of activities that are 'good' or 'bad' (i.e. that are positively or negatively related to subjective wellbeing) for a given user and that the derived recommendations greatly match outcomes in the real-world.


title: Distributed creation of Machine learning agents for Blockchain analysis

abstract: Creating efficient deep neural networks involves repetitive manual optimization of the topology and the hyperparameters. This human intervention significantly inhibits the process. Recent publications propose various Neural Architecture Search (NAS) algorithms that automate this work. We have applied a customized NAS algorithm with network morphism and Bayesian optimization to the problem of cryptocurrency predictions, where it achieved results on par with our best manually designed models. This is consistent with the findings of other teams, while several known experiments suggest that given enough computing power, NAS algorithms can surpass state-of-the-art neural network models designed by humans. In this paper, we propose a blockchain network protocol that incentivises independent computing nodes to run NAS algorithms and compete in finding better neural network models for a particular task. If implemented, such network can be an autonomous and self-improving source of machine learning models, significantly boosting and democratizing the access to AI capabilities for many industries.


title: Alternating multizeta values in positive characteristic

abstract: We introduce alternating multizeta values in positive characteristic which are generalizations of Thakur multizeta values. We establish their fundamental properties including non-vanishing, sum-shuffle relations, period interpretation and linear independence which is a direct sum result for these values.


title: Robust Multi-Modality Multi-Object Tracking

abstract: Multi-sensor perception is crucial to ensure the reliability and accuracy in autonomous driving system, while multi-object tracking (MOT) improves that by tracing sequential movement of dynamic objects. Most current approaches for multi-sensor multi-object tracking are either lack of reliability by tightly relying on a single input source (e.g., center camera), or not accurate enough by fusing the results from multiple sensors in post processing without fully exploiting the inherent information. In this study, we design a generic sensor-agnostic multi-modality MOT framework (mmMOT), where each modality (i.e., sensors) is capable of performing its role independently to preserve reliability, and further improving its accuracy through a novel multi-modality fusion module. Our mmMOT can be trained in an end-to-end manner, enables joint optimization for the base feature extractor of each modality and an adjacency estimator for cross modality. Our mmMOT also makes the first attempt to encode deep representation of point cloud in data association process in MOT. We conduct extensive experiments to evaluate the effectiveness of the proposed framework on the challenging KITTI benchmark and report state-of-the-art performance. Code and models are available at https://github.com/ZwwWayne/mmMOT.


title: Do you really follow them? Automatic detection of credulous Twitter users

abstract: Online Social Media represent a pervasive source of information able to reach a huge audience. Sadly, recent studies show how online social bots (automated, often malicious accounts, populating social networks and mimicking genuine users) are able to amplify the dissemination of (fake) information by orders of magnitude. Using Twitter as a benchmark, in this work we focus on what we define credulous users, i.e., human-operated accounts with a high percentage of bots among their followings. Being more exposed to the harmful activities of social bots, credulous users may run the risk of being more influenced than other users; even worse, although unknowingly, they could become spreaders of misleading information (e.g., by retweeting bots). We design and develop a supervised classifier to automatically recognize credulous users. The best tested configuration achieves an accuracy of 93.27% and AUC-ROC of 0.93, thus leading to positive and encouraging results.


title: Exploration of Balanced Metrics on Symmetric Positive Definite Matrices

abstract: Symmetric Positive Definite (SPD) matrices have been used in many fields of medical data analysis. Many Riemannian metrics have been defined on this manifold but the choice of the Riemannian structure lacks a set of principles that could lead one to choose properly the metric. This drives us to introduce the principle of balanced metrics that relate the affine-invariant metric with the Euclidean and inverse-Euclidean metric, or the Bogoliubov-Kubo-Mori metric with the Euclidean and log-Euclidean metrics. We introduce two new families of balanced metrics, the mixed-power-Euclidean and the mixed-power-affine metrics and we discuss the relation between this new principle of balanced metrics and the concept of dual connections in information geometry.


title: Migrating Scarps as a Significant Driver for Cometary Surface Evolution

abstract: Rosetta observations of 67P/Churyumov-Gerasimenko (67P) reveal that most changes occur in the fallback-generated smooth terrains, vast deposits of granular material blanketing the comet's northern hemisphere. These changes express themselves both morphologically and spectrally across the nucleus, yet we lack a model that describes their formation and evolution. Here we present a self-consistent model that thoroughly explains the activity and mass loss from Hapi's smooth terrains. Our model predicts the removal of dust via re-radiated solar insolation localized within depression scarps that are substantially more ice-rich than previously expected. We couple our model with numerous Rosetta observations to thoroughly capture the seasonal erosion of Hapi's smooth terrains, where local scarp retreat gradually removes the uppermost dusty mantle. As sublimation-regolith interactions occur on rocky planets, comets, icy moons and KBOs, our coupled model and observations provide a foundation for future understanding of the myriad of sublimation-carved worlds.


title: A Convolutional Neural Network Approach Towards Self-Driving Cars

abstract: A convolutional neural network (CNN) approach is used to implement a level 2 autonomous vehicle by mapping pixels from the camera input to the steering commands. The network automatically learns the maximum variable features from the camera input, hence requires minimal human intervention. Given realistic frames as input, the driving policy trained on the dataset by NVIDIA and Udacity can adapt to real-world driving in a controlled environment. The CNN is tested on the CARLA open-source driving simulator. Details of a beta-testing platform are also presented, which consists of an ultrasonic sensor for obstacle detection and an RGBD camera for real-time position monitoring at 10Hz. Arduino Mega and Raspberry Pi are used for motor control and processing respectively to output the steering angle, which is converted to angular velocity for steering.


title: Condensation vs Ordering: From the Spherical Models to BEC in the Canonical and Grand Canonical Ensemble

abstract: In this paper we take a fresh look at the long standing issue of the nature of macroscopic density fluctuations in the grand canonical treatment of the Bose-Einstein condensation (BEC). Exploiting the close analogy between the spherical and mean-spherical models of magnetism with the canonical and grand canonical treatment of the ideal Bose gas, we show that BEC stands for different phenomena in the two ensembles: an ordering transition of the type familiar from ferromagnetism in the canonical ensemble and condensation of fluctuations, i.e. growth of macroscopic fluctuations in a single degree of freedom, without ordering, in the grand canonical case. We further clarify that this is a manifestation of nonequivalence of the ensembles, due to the existence of long range correlations in the grand canonical one. Our results shed new light on the recent experimental realization of BEC in a photon gas, suggesting that the observed BEC when prepared under grand canonical conditions is an instance of condensation of fluctuations.


title: On the Evaluation and Real-World Usage Scenarios of Deep Vessel Segmentation for Retinography

abstract: We identify and address three research gaps in the field of vessel segmentation for funduscopy. The first focuses on the task of inference on high-resolution fundus images for which only a limited set of ground-truth data is publicly available. Notably, we highlight that simple rescaling and padding or cropping of lower resolution datasets is surprisingly effective. Additionally we explore the effectiveness of semi-supervised learning for better domain adaptation. Our results show competitive performance on a set of common public retinal vessel datasets using a small and light-weight neural network. For HRF, the only very high-resolution dataset currently available, we reach new state-of-the-art performance by solely relying on training images from lower-resolution datasets. The second topic concerns evaluation metrics. We investigate the variability of the F1-score on the existing datasets and report results for recent SOTA architectures. Our evaluation show that most SOTA results are actually comparable to each other in performance. Last, we address the issue of reproducibility by open-sourcing our complete pipeline.


title: Suppress motional dephasing of ground-Rydberg transition for high-fidelity quantum control with neutral atoms

abstract: The performance of many control tasks with Rydberg atoms can be improved via suppression of the motion-induced dephasing between ground and Rydberg states of neutral atoms. The dephasing often occurs during the {\it gap} time when the atom is shelved in a Rydberg state before its deexcitation. By using laser fields to induce specific extra phase change to the Rydberg state during the gap time, it is possible to faithfully transfer the Rydberg state back to the ground state after the gap. Although the Rydberg state transitions back and forth between different eigenstates during the gap time, it preserves the blockade interaction between the atom of interest and a nearby Rydberg excitation. This simple method of suppressing the motional dephasing of a flying Rydberg atom can be used in a broad range of quantum control over neutral atoms.


title: The sigma function over a family of cyclic trigonal curves with a singular fiber

abstract: In this paper we investigate the behavior of the sigma function over the family of cyclic trigonal curves $X_s$ defined by the equation $y^3 =x(x-s)(x-b_1)(x-b_2)$ in the affine $(x,y)$ plane, for $s\in D_\varepsilon:=\{s \in \mathbb{C} | |s|<\varepsilon\}$. We compare the sigma function over the punctured disc $D_\varepsilon^*:=D_\varepsilon\setminus\{0\}$ with the extension over $s=0$ that specializes to the sigma function of the normalization $X_{\hat{0}}$ of the singular curve $X_{s=0}$ by investigating explicitly the behavior of a basis of the first algebraic de Rham cohomology group and its period integrals. We demonstrate, using modular properties, that sigma, unlike the theta function, has a limit. In particular, we obtain the limit of the theta characteristics and an explicit description of the theta divisor translated by the Riemann constant.


title: A Complete Transient Analysis for the Incremental LMS Algorithm

abstract: The incremental least mean square (ILMS) algorithm was presented in \cite{Lopes2007}. The article included theoretical analysis of the algorithm along with simulation results under different scenarios. However, the transient analysis was left incomplete. This work presents the complete transient analysis, including the learning behavior. The analysis results are verified through several experimental results.


title: Neural network interpolation of exchange-correlation functional

abstract: Density functional theory (DFT) is one of the most widely used tools to solve the many-body Schrodinger equation. The core uncertainty inside DFT theory is the exchange-correlation (XC) functional, the exact form of which is still unknown. Therefore, the essential part of DFT success is based on the progress in the development of XC approximations. Traditionally, they are built upon analytic solutions in low- and high-density limits and result from quantum Monte Carlo numerical calculations. However, there is no consistent and general scheme of XC interpolation and functional representation. Many different developed parametrizations mainly utilize a number of phenomenological rules to construct a specific XC functional. In contrast, the neural network (NN) approach can provide a general way to parametrize an XC functional without any a priori knowledge of its functional form. In this work, we develop NN XC functionals and prove their applicability to 3-dimensional physical systems. We show that both the local density approximation (LDA) and generalized gradient approximation (GGA) are well reproduced by the NN approach. It is demonstrated that the local environment can be easily considered by changing only the number of neurons in the first layer of the NN. The developed NN XC functionals show good results when applied to systems that are not presented in the training/test data. The generalizability of the formulated NN XC framework leads us to believe that it could give superior results in comparison with traditional XC schemes provided training data from high-level theories such as the quantum Monte Carlo and post-Hartree-Fock methods.


title: Bayesian Design of Experiments: Implementation, Validation and Application to Chemical Kinetics

abstract: Bayesian experimental design (BED) is a tool for guiding experiments founded on the principle of expected information gain. I.e., which experiment design will inform the most about the model can be predicted before experiments in a laboratory are conducted. BED is also useful when specific physical questions arise from the model which are answered from certain experiments but not from other experiments. BED can take two forms, and these two forms are expressed in three example models in this work. The first example takes the form of a Bayesian linear regression, but also this example is a benchmark for checking numerical and analytical solutions. One of two parameters is an estimator of the synthetic experimental data, and the BED task is choosing among which of the two parameters to inform (limited experimental observability). The second example is a chemical reaction model with a parameter space of informed reaction free energy and temperature. The temperature is an independent experimental design variable explored for information gain. The second and third examples are of the form of adjusting an independent variable in the experimental setup. The third example is a catalytic membrane reactor similar to a plug-flow reactor. For this example, a grid search over the independent variables, temperature and volume, for the greatest information gain is conducted. Also, maximum information gain is conducted is optimized with two algorithms: the differential evolution algorithm and steepest ascent, both of which benefitted in terms of initial guess from the grid search.


title: Out-of-domain Detection for Natural Language Understanding in Dialog Systems

abstract: Natural Language Understanding (NLU) is a vital component of dialogue systems, and its ability to detect Out-of-Domain (OOD) inputs is critical in practical applications, since the acceptance of the OOD input that is unsupported by the current system may lead to catastrophic failure. However, most existing OOD detection methods rely heavily on manually labeled OOD samples and cannot take full advantage of unlabeled data. This limits the feasibility of these models in practical applications. In this paper, we propose a novel model to generate high-quality pseudo OOD samples that are akin to IN-Domain (IND) input utterances, and thereby improves the performance of OOD detection. To this end, an autoencoder is trained to map an input utterance into a latent code. and the codes of IND and OOD samples are trained to be indistinguishable by utilizing a generative adversarial network. To provide more supervision signals, an auxiliary classifier is introduced to regularize the generated OOD samples to have indistinguishable intent labels. Experiments show that these pseudo OOD samples generated by our model can be used to effectively improve OOD detection in NLU. Besides, we also demonstrate that the effectiveness of these pseudo OOD data can be further improved by efficiently utilizing unlabeled data.


title: On the Zeckendorf representation of smooth numbers

abstract: Among other results, we establish, in a quantitative form, that any sufficiently large integer cannot simultaneously be divisible only by very small primes and have very few digits in its Zeckendorf representation.


title: Solutions to the Minimization Problem Arising in a Dark Monopole Model in Gauge Field Theory

abstract: We prove the existence of dark monopole solutions in a recently formulated Yang--Mills--Higgs theory model with technical features similar to the classical monopole problems. The solutions are obtained as energy-minimizing static spherically symmetric field configurations of unit topological charge. We overcome the difficulty of recovering the full set of boundary conditions by a regularization method which may be applied to other more complicated problems concerning monopoles and dyons in non-Abelian gauge field theories. Furthermore we show in a critical coupling situation that an explicit BPS solution may be used to provide energy estimates for non-BPS monopole solutions. Besides, in the limit of infinite Higgs coupling parameter, although no explicit construction is available, we establish an existence and uniqueness result for a monopole solution and obtain its energy bounds.


title: Relating tangle invariants for Khovanov homology and knot Floer homology

abstract: Ozsvath and Szabo recently constructed an algebraically defined invariant of tangles which takes the form of a DA bimodule. This invariant is expected to compute knot Floer homology. The authors have a similar construction for open braids and their plat closures which can be viewed as a filtered DA bimodule over the same algebras. For a closed diagram, this invariant computes the Khovanov homology of the knot or link. We show that forgetting the filtration, our DA bimodules are homotopy equivalent to a suitable version of the Ozsvath- Szabo bimodules. In addition to giving a relationship between tangle invariants for Khovanov homology and knot Floer homology, this gives an oriented skein exact triangle for the Ozsvath-Szabo bimodules which can be iterated to give an oriented cube of resolutions for the global construction.


title: Limit Theorem for sub-ballistic random walks in Dirichlet environment in dimension $d\geq 3$

abstract: We look at random walks in Dirichlet environment. It was known that in dimension $d\geq 3$, if the walk is sub-ballistic, the displacement of the walk is polynomial of order $\kappa$ for some explicit $\kappa$. We show that the walk, after renormalization, actually converges to a $\kappa$-stable completely asymmetric Levy Process.


title: Rank one sheaves over quaternion algebras on Enriques surfaces

abstract: Let X be an Enriques surface over the field of complex numbers. We prove that there exists a nontrivial quaternion algebra A on X. Then we study the moduli scheme of torsion free A-modules of rank one. Finally we prove that this moduli scheme is an \'{e}tale double cover of a Lagrangian subscheme in the corresponding moduli scheme on the associated covering K3 surface.


title: Partner Approximating Learners (PAL): Simulation-Accelerated Learning with Explicit Partner Modeling in Multi-Agent Domains

abstract: Mixed cooperative-competitive control scenarios such as human-machine interaction with individual goals of the interacting partners are very challenging for reinforcement learning agents. In order to contribute towards intuitive human-machine collaboration, we focus on problems in the continuous state and control domain where no explicit communication is considered and the agents do not know the others' goals or control laws but only sense their control inputs retrospectively. Our proposed framework combines a learned partner model based on online data with a reinforcement learning agent that is trained in a simulated environment including the partner model. Thus, we overcome drawbacks of independent learners and, in addition, benefit from a reduced amount of real world data required for reinforcement learning which is vital in the human-machine context. We finally analyze an example that demonstrates the merits of our proposed framework which learns fast due to the simulated environment and adapts to the continuously changing partner due to the partner approximation.


title: Bass and Betti Numbers of $A/I^n.$

abstract: Let $(A, \m, k)$ be a Gorenstein local ring of dimension $ d\geq 1.$ Let $I$ be an ideal of $A$ with $\htt(I) \geq d-1.$ We prove that the numerical function \[ n \mapsto \ell(\ext_A^i(k, A/I^{n+1}))\] is given by a polynomial of degree $d-1 $ in the case when $ i \geq d+1 $ and $\curv(I^n) > 1$ for all $n \geq 1.$ We prove a similar result for the numerical function \[ n \mapsto \ell(\Tor_i^A(k, A/I^{n+1}))\] under the assumption that $A$ is a \CM ~ local ring. \noindent We note that there are many examples of ideals satisfying the condition $\curv(I^n) > 1,$ for all $ n \geq 1.$ We also consider more general functions $n \mapsto \ell(\Tor_i^A(M, A/I_n)$ for a filtration $\{I_n \}$ of ideals in $A.$ We prove similar results in the case when $M$ is a maximal \CM ~ $A$-module and $\{I_n=\overline{I^n} \}$ is the integral closure filtration, $I$ an $\m$-primary ideal in $A.$


title: Robust pricing and hedging of options on multiple assets and its numerics

abstract: We consider robust pricing and hedging for options written on multiple assets given market option prices for the individual assets. The resulting problem is called the multi-marginal martingale optimal transport problem. We propose two numerical methods to solve such problems: using discretisation and linear programming applied to the primal side and using penalisation and deep neural networks optimisation applied to the dual side. We prove convergence for our methods and compare their numerical performance. We show how adding further information about call option prices at additional maturities can be incorporated and narrows down the no-arbitrage pricing bounds. Finally, we obtain structural results for the case of the payoff given by a weighted sum of covariances between the assets.


title: Quantum Hypergraph States in Continuous Variables

abstract: The measurement based, or one-way, model of quantum computation for continuous variables uses a highly entangled state called a cluster state to accomplish the task of computing. Cluster states that are universal for computation are a subset of a class of states called graph states. These states are Gaussian states and therefore require that the homodyne detection (Gaussian measurement) scheme is supplemented with a non-Gaussian measurement for universal computation, a significant experimental challenge. Here we define a new non-Gaussian class of states based on hypergraphs which satisfy the requirements of the Lloyd-Braunstein criteria while restricted to a Gaussian measurement strategy. Our main result is to show that, taking advantage of the intrinsic multimode nonlinearity, a hypergraph consisting of 3-edges can be used to apply a three-mode operation to an input three-mode state. As a special case, this technique can be used to apply the cubic phase gate to a single mode.


title: Balanced Connected Subgraph Problem in Geometric Intersection Graphs

abstract: We study the Balanced Connected Subgraph(shortly, BCS) problem on geometric intersection graphs such as interval, circular-arc, permutation, unit-disk, outer-string graphs, etc. Given a vertex-colored graph $G=(V,E)$, where each vertex in $V$ is colored with either ``red'' or ``blue'', the BCS problem seeks a maximum cardinality induced connected subgraph $H$ of $G$ such that $H$ is color-balanced, i.e., $H$ contains an equal number of red and blue vertices. We study the computational complexity landscape of the BCS problem while considering geometric intersection graphs. On one hand, we prove that the BCS problem is NP-hard on the unit disk, outer-string, complete grid, and unit square graphs. On the other hand, we design polynomial-time algorithms for the BCS problem on interval, circular-arc and permutation graphs. In particular, we give algorithm for the Steiner Tree problem on both the interval graphs and circular arc graphs, that is used as a subroutine for solving BCS problem on same graph classes. Finally, we present a FPT algorithm for the BCS problem on general graphs.


title: Secure Radar-Communication Systems with Malicious Targets: Integrating Radar, Communications and Jamming Functionalities

abstract: This paper studies the physical layer security in a multiple-input-multiple-output (MIMO) dual-functional radar-communication (DFRC) system, which communicates with downlink cellular users and tracks radar targets simultaneously. Here, the radar targets are considered as potential eavesdroppers which might eavesdrop the information from the communication transmitter to legitimate users. To ensure the transmission secrecy, we employ artificial noise (AN) at the transmitter and formulate optimization problems by minimizing the signal-to-interference-plus-noise ratio (SINR) received at radar targets, while guaranteeing the SINR requirement at legitimate users. We first consider the ideal case where both the target angle and the channel state information (CSI) are precisely known. The scenario is further extended to more general cases with target location uncertainty and CSI errors, where we propose robust optimization approaches to guarantee the worst-case performances. Accordingly, the computational complexity is analyzed for each proposed method. Our numerical results show the feasibility of the algorithms with the existence of instantaneous and statistical CSI error. In addition, the secrecy rate of secure DFRC system grows with the increasing angular interval of location uncertainty.


title: Coefficients of Wronskian Hermite polynomials

abstract: We study Wronskians of Hermite polynomials labelled by partitions and use the combinatorial concepts of cores and quotients to derive explicit expressions for their coefficients. These coefficients can be expressed in terms of the characters of irreducible representations of the symmetric group, and also in terms of hook lengths. Further, we derive the asymptotic behaviour of the Wronskian Hermite polynomials when the length of the core tends to infinity, while fixing the quotient. Via this combinatorial setting, we obtain in a natural way the generalization of the correspondence between Hermite and Laguerre polynomials to Wronskian Hermite polynomials and Wronskians involving Laguerre polynomials. Lastly, we generalize most of our results to polynomials that have zeros on the $p$-star.


title: Reliability and Error Burst Length Analysis of Wireless Multi-Connectivity

abstract: Multi-connectivity offers diversity in terms of multiple interfaces through which the data can be sent, thereby improving simultaneously the overall reliability and latency. This makes interface diversity a natural candidate for supporting Ultra-Reliable Low Latency Communications (URLLC). This work investigates how the packet error statistics from different interfaces impacts the overall reliability-latency characteristics. We use the simple Gilbert-Elliott model for burst errors and estimate its parameters based on experimental measurement traces from LTE and {Wi-Fi} packet transmissions collected over several days. The results show that using interface diversity configurations that include at least one {Wi-Fi} interface leads to, somewhat surprisingly, since Wi-Fi is generally less reliable than LTE, superior results in terms of packet success and error burst duration. Another interesting finding is that {Wi-Fi}-based interface diversity configurations outperform even ultra-reliable single links.


title: Step edge-mediated assembly of periodic arrays of long graphene nanoribbons on Au(111)

abstract: The influence of substrate steps on the bottom-up synthesis of atomically precise graphene nanoribbons (GNRs) on an Au(111) surface is investigated. A straight surface step is found to promote the assembly of long and compact arrays of polymers with enhanced interchain pi-pi stacking interaction, which creates a steric hindrance effect on cyclodehydrogenation to suppress the H passivation of polymer ends. The modified two-stage growth process results in periodic arrays of GNRs with doubled average length near step edges.


title: Gaussian Temporal Awareness Networks for Action Localization

abstract: Temporally localizing actions in a video is a fundamental challenge in video understanding. Most existing approaches have often drawn inspiration from image object detection and extended the advances, e.g., SSD and Faster R-CNN, to produce temporal locations of an action in a 1D sequence. Nevertheless, the results can suffer from robustness problem due to the design of predetermined temporal scales, which overlooks the temporal structure of an action and limits the utility on detecting actions with complex variations. In this paper, we propose to address the problem by introducing Gaussian kernels to dynamically optimize temporal scale of each action proposal. Specifically, we present Gaussian Temporal Awareness Networks (GTAN) --- a new architecture that novelly integrates the exploitation of temporal structure into an one-stage action localization framework. Technically, GTAN models the temporal structure through learning a set of Gaussian kernels, each for a cell in the feature maps. Each Gaussian kernel corresponds to a particular interval of an action proposal and a mixture of Gaussian kernels could further characterize action proposals with various length. Moreover, the values in each Gaussian curve reflect the contextual contributions to the localization of an action proposal. Extensive experiments are conducted on both THUMOS14 and ActivityNet v1.3 datasets, and superior results are reported when comparing to state-of-the-art approaches. More remarkably, GTAN achieves 1.9% and 1.1% improvements in mAP on testing set of the two datasets.


title: A Generalised Construction of Multiple Complete Complementary Codes and Asymptotically Optimal Aperiodic Quasi-Complementary Sequence Sets

abstract: In recent years, complementary sequence sets have found many important applications in multi-carrier code-division multiple-access (MC-CDMA) systems for their good correlation properties. In this paper, we propose a construction, which can generate multiple sets of complete complementary codes (CCCs) over $\mathbb{Z}_N$, where $N~(N\geq 3)$ is a positive integer of the form $N=p_0^{e^0}p_1^{e^1}\dots p_{n-1}^{e^{n-1}}$, $p_0<p_1<\cdots<p_{n-1}$ are prime factors of $N$ and $e_0,e_1,\cdots,e_{n-1}$ are non-negative integers. Interestingly, the maximum inter-set aperiodic cross-correlation magnitude of the proposed CCCs is upper bounded by $N$. When $N$ is odd, the combination of the proposed CCCs results to a new set of sequences to obtain asymptotically optimal and near-optimal aperiodic quasi-complementary sequence sets (QCSSs) with more flexible parameters.


title: TDAPNet: Prototype Network with Recurrent Top-Down Attention for Robust Object Classification under Partial Occlusion

abstract: Despite deep convolutional neural networks' great success in object classification, it suffers from severe generalization performance drop under occlusion due to the inconsistency between training and testing data. Because of the large variance of occluders, our goal is a model trained on occlusion-free data while generalizable to occlusion conditions. In this work, we integrate prototypes, partial matching and top-down attention regulation into deep neural networks to realize robust object classification under occlusion. We first introduce prototype learning as its regularization encourages compact data clusters, which enables better generalization ability under inconsistent conditions. Then, attention map at intermediate layer based on feature dictionary and activation scale is estimated for partial matching, which sifts irrelevant information out when comparing features with prototypes. Further, inspired by neuroscience research that reveals the important role of feedback connection for object recognition under occlusion, a top-down feedback attention regulation is introduced into convolution layers, purposefully reducing the contamination by occlusion during feature extraction stage. Our experiment results on partially occluded MNIST and vehicles from the PASCAL3D+ dataset demonstrate that the proposed network significantly improves the robustness of current deep neural networks under occlusion. Our code will be released.


title: Connected Assembly and Reconfiguration by Finite Automata

abstract: We consider methods for connected reconfigurations by finite automate in the so-called \emph{hybrid} or \emph{Robot-on-Tiles} model of programmable matter, in which a number of simple robots move on and rearrange an arrangement of passive tiles in the plane that form \emph{polyomino} shapes, making use of a supply of additional tiles that can be placed. We investigate the problem of reconfiguration under the constraint of maintaining connectivity of the tile arrangement; this reflects scenarios in which disconnected subarrangements may drift apart, e.g., in the absence of gravity in space. We show that two finite automata suffice to mark a bounding box, which can then be used as a stepping stone for more complex operations, such as scaling a tile arrangement by a given factor, rotating arrangements, or copying arrangements to a different location. We also describe an algorithm for scaling monotone polyominoes without the help of a bounding box.