title: Pair approximation for the $q$-voter model with independence on multiplex networks

abstract: The $q$-voter model with independence is investigated on multiplex networks with fully overlapping layers in the form of various complex networks corresponding to different levels of social influence. Detailed studies are performed for the model on multiplex networks with two layers with identical degree distributions, obeying the LOCAL&AND and GLOBAL&AND spin update rules differing by the way in which the $q$-lobbies of neighbors within different layers exert their joint influence on the opinion of a given agent. Homogeneous pair approximation is derived for a general case of a two-state spin model on a multiplex network and its predictions are compared with results of Monte Carlo simulations of the above-mentioned $q$-voter model with independence for a broad range of parameters. As the parameter controlling the level of agents' independence is changed ferromagnetic phase transition occurs which can be first- or second-order, depending on the size of the lobby $q$. Details of this transition, e.g., position of the critical points, depend on the topology and other features, e.g., the mean degree of nodes of the layers. If the mean degree of nodes in the layers is substantially larger than the size of the $q$-lobby good agreement is obtained between numerical results and theoretical predictions based on the homogeneous pair approximation concerning the order and details of the ferromagnetic transition. In the case of the model on multiplex networks with layers in the form of homogeneous Erdo\"s-R\'enyi and random regular graphs as well as weakly heterogeneous scale-free networks this agreement is quantitative, while in the case of layers in the form of strongly heterogeneous scale-free networks it is only qualitative. If the mean degree of nodes is small and comparable with $q$ predictions of the homogeneous PA are in general even qualitatively wrong.


title: Common Fate for Animated Transitions in Visualization

abstract: The Law of Common Fate from Gestalt psychology states that visual objects moving with the same velocity along parallel trajectories will be perceived by a human observer as grouped. However, the concept of common fate is much broader than mere velocity; in this paper we explore how common fate results from coordinated changes in luminance and size. We present results from a crowdsourced graphical perception study where we asked workers to make perceptual judgments on a series of trials involving four graphical objects under the influence of conflicting static and dynamic visual factors (position, size and luminance) used in conjunction. Our results yield the following rankings for visual grouping: motion > (dynamic luminance, size, luminance); dynamic size > (dynamic luminance, position); and dynamic luminance > size. We also conducted a follow-up experiment to evaluate the three dynamic visual factors in a more ecologically valid setting, using both a Gapminder-like animated scatterplot and a thematic map of election data. The results indicate that in practice the relative grouping strengths of these factors may depend on various parameters including the visualization characteristics and the underlying data. We discuss design implications for animated transitions in data visualization.


title: Visualising Geographically-Embedded Origin-Destination Flows: in 2D and immersive environments

abstract: This thesis develops and evaluates effective techniques for visualisation of flows (e.g. of people, trade, knowledge) between places on geographic maps. This geographically-embedded flow data contains information about geographic locations, and flows from origin locations to destination locations. We explored the design space of OD flow visualisation in both 2D and immersive environments. We do so by creating novel OD flow visualisations in both environments, and then conducting controlled user studies to evaluate different designs.


title: Heterogeneous Endogenous Effects in Networks

abstract: This paper proposes a new method to identify leaders and followers in a network. Prior works use spatial autoregression models (SARs) which implicitly assume that each individual in the network has the same peer effects on others. Mechanically, they conclude the key player in the network to be the one with the highest centrality. However, when some individuals are more influential than others, centrality may fail to be a good measure. I develop a model that allows for individual-specific endogenous effects and propose a two-stage LASSO procedure to identify influential individuals in a network. Under an assumption of sparsity: only a subset of individuals (which can increase with sample size n) is influential, I show that my 2SLSS estimator for individual-specific endogenous effects is consistent and achieves asymptotic normality. I also develop robust inference including uniformly valid confidence intervals. These results also carry through to scenarios where the influential individuals are not sparse. I extend the analysis to allow for multiple types of connections (multiple networks), and I show how to use the sparse group LASSO to detect which of the multiple connection types is more influential. Simulation evidence shows that my estimator has good finite sample performance. I further apply my method to the data in Banerjee et al. (2013) and my proposed procedure is able to identify leaders and effective networks.


title: The Data Lab: A Science Platform for the analysis of ground-based astronomical survey data

abstract: The next decade will feature a growing number of massive ground-based photometric, spectroscopic, and time-domain surveys, including those produced by DECam, DESI, and LSST. The NOAO Data Lab was launched in 2017 to enable efficient exploration and analysis of large surveys, with particular focus on the petabyte-scale holdings of the NOAO Archive and their associated catalogs. The Data Lab mission and future development align well with two of the NSF's Big Ideas, namely Harnessing Data for 21st Century Science and Engineering and as part of a network to contribute to Windows on the Universe: The Era of Multi-messenger Astrophysics. Along with other Science Platforms, the Data Lab will play a key role in scientific discoveries from surveys in the next decade, and will be crucial to maintaining a level playing field as datasets grow in size and complexity.


title: Erdos-Gallai Stability Theorem for Linear Forests

abstract: The Erd\H{o}s-Gallai Theorem states that every graph of average degree more than $l-2$ contains a path of order $l$ for $l\ge 2$. In this paper, we obtain a stability version of the Erd\H{o}s-Gallai Theorem in terms of minimum degree. Let $G$ be a connected graph of order $n$ and $F=(\bigcup_{i=1}^kP_{2a_i})\bigcup(\bigcup_{i=1}^lP_{2b_i+1})$ be $k+l$ disjoint paths of order $2a_1, \ldots, 2a_{k}, 2b_1+1, \ldots, 2b_l+1,$ respectively, where $k\ge 0$, $0\le l\le 2$, and $k+l\geq 2$. If the minimum degree $\delta(G)\ge \sum_{i=1}^ka_i+\sum_{i=1}^lb_i-1$, then $F\subseteq G$ except several classes of graphs for sufficiently large $n$, which extends and strengths the results of Ali and Staton for an even path and Yuan and Nikiforov for an odd path.


title: Exploring Challenges and Opportunities in Cybersecurity Risk and Threat Communications Related To The Medical Internet Of Things (MIoT)

abstract: As device interconnectivity and ubiquitous computing continues to proliferate healthcare, the Medical Internet of Things (MIoT), also well known as the, Internet of Medical Things (IoMT) or the Internet of Healthcare Things (IoHT), is certain to play a major role in the health, and well-being of billions of people across the globe. When it comes to issues of cybersecurity risks and threats connected to the IoT in all of its various flavors the emphasis has been on technical challenges and technical solution. However, especially in the area of healthcare there is another substantial and potentially grave challenge. It is the challenge of thoroughly and accurately communicating the nature and extent of cybersecurity risks and threats to patients who are reliant upon these interconnected healthcare technologies to improve and even preserve their lives. This case study was conducted to assess the scope and depth of cybersecurity risk and threat communications delivered to an extremely vulnerable patient population, semi-structured interviews were held with cardiac medical device specialists across the United States. This research contributes scientific data in the field of healthcare cybersecurity and assists scholars and practitioners in advancing education and research in the field of MIoT patient communications.


title: Toward a reliable description of ${(p,pN)}$ reactions in the distorted-wave impulse approximation

abstract: Background: Proton-induced nucleon knockout $(p,pN)$ reactions have been successfully used to study the single-particle nature of stable nuclei in normal kinematics with the distorted-wave impulse approximation (DWIA) framework. Recently, these reactions have been applied to rare-isotope beams at intermediate energies in inverse kinematics to study the quenching of spectroscopic factors. Purpose: Our goal is to investigate the effects of various corrections and uncertainties within the standard DWIA formalism on the $(p,pN)$ cross sections. The consistency of the extracted reduction factors between DWIA and other methods is also evaluated. Method: We analyze the $(p,2p)$ and $(p,pn)$ reactions data measured at the R$^3$B/LAND setup at GSI for carbon, nitrogen, and oxygen isotopes in the incident energy range of 300--450 MeV/u. Cross sections and reduction factors are calculated by using the DWIA method. The transverse momentum distribution of the $^{12}$C($p$,$2p$)$^{11}$B reaction is also investigated. Results: We have found that including the nonlocality corrections and the M\o ller factor affects the cross sections considerably. The proton-neutron asymmetry dependence of reduction factors extracted by the DWIA calculation is very weak and consistent with those given by other reaction methods and \textit{ab initio} structure calculations. Conclusions: The results found in this work provide a detailed investigation of the DWIA method for $(p,pN)$ reactions at intermediate energies. They also suggest that some higher-order effects, which is essential for an accurate cross-section description at large recoil momentum, is missing in the current DWIA and other reaction models.


title: Multilinear Fractional Integral Operators: A counter-example

abstract: By means of a counter-example we show that the multilinear fractional operator is not bounded from a product of Hardy spaces into a Hardy space.


title: Recognizing Image Objects by Relational Analysis Using Heterogeneous Superpixels and Deep Convolutional Features

abstract: Superpixel-based methodologies have become increasingly popular in computer vision, especially when the computation is too expensive in time or memory to perform with a large number of pixels or features. However, rarely is superpixel segmentation examined within the context of deep convolutional neural network architectures. This paper presents a novel neural architecture that exploits the superpixel feature space. The visual feature space is organized using superpixels to provide the neural network with a substructure of the images. As the superpixels associate the visual feature space with parts of the objects in an image, the visual feature space is transformed into a structured vector representation per superpixel. It is shown that it is feasible to learn superpixel features using capsules and it is potentially beneficial to perform image analysis in such a structured manner. This novel deep learning architecture is examined in the context of an image classification task, highlighting explicit interpretability (explainability) of the network's decision making. The results are compared against a baseline deep neural model, as well as among superpixel capsule networks with a variety of hyperparameter settings.


title: A hyper-runaway white dwarf in Gaia DR2 as a Type Iax supernova primary remnant candidate

abstract: Observations of stellar remnants linked to Type Ia and Type Iax supernovae are necessary to fully understand their progenitors. Multiple progenitor scenarios predict a population of kicked donor remnants and partially-burnt primary remnants, both moving with relatively high velocity. But only a handful of examples consistent with these two predicted populations have been observed. Here we report the likely first known example of an unbound white dwarf that is consistent with being the fully-cooled primary remnant to a Type Iax supernova. The candidate, LP 93-21, is travelling with a galactocentric velocity of v$_{gal}$ $\simeq$ 605 km s$^{-1}$, and is gravitationally unbound to the Milky Way. We rule out an extragalactic origin. The Type Iax supernova ejection scenario is consistent with its peculiar unbound trajectory, given anomalous elemental abundances are detected in its photosphere via spectroscopic follow-up. This discovery reflects recent models that suggest stellar ejections likely occur often. Unfortunately the intrinsic faintness of white dwarfs, and the uncertainty associated with their direct progenitor systems, makes it difficult to detect and confirm such donors.


title: FeatureExplorer: Interactive Feature Selection and Exploration of Regression Models for Hyperspectral Images

abstract: Feature selection is used in machine learning to improve predictions, decrease computation time, reduce noise, and tune models based on limited sample data. In this article, we present FeatureExplorer, a visual analytics system that supports the dynamic evaluation of regression models and importance of feature subsets through the interactive selection of features in high-dimensional feature spaces typical of hyperspectral images. The interactive system allows users to iteratively refine and diagnose the model by selecting features based on their domain knowledge, interchangeable (correlated) features, feature importance, and the resulting model performance.


title: Indices Matter: Learning to Index for Deep Image Matting

abstract: We show that existing upsampling operators can be unified with the notion of the index function. This notion is inspired by an observation in the decoding process of deep image matting where indices-guided unpooling can recover boundary details much better than other upsampling operators such as bilinear interpolation. By looking at the indices as a function of the feature map, we introduce the concept of learning to index, and present a novel index-guided encoder-decoder framework where indices are self-learned adaptively from data and are used to guide the pooling and upsampling operators, without the need of supervision. At the core of this framework is a flexible network module, termed IndexNet, which dynamically predicts indices given an input. Due to its flexibility, IndexNet can be used as a plug-in applying to any off-the-shelf convolutional networks that have coupled downsampling and upsampling stages. We demonstrate the effectiveness of IndexNet on the task of natural image matting where the quality of learned indices can be visually observed from predicted alpha mattes. Results on the Composition-1k matting dataset show that our model built on MobileNetv2 exhibits at least $16.1\%$ improvement over the seminal VGG-16 based deep matting baseline, with less training data and lower model capacity. Code and models has been made available at: https://tinyurl.com/IndexNetV1


title: Hybrid Low-order and Higher-order Graph Convolutional Networks

abstract: With higher-order neighborhood information of graph network, the accuracy of graph representation learning classification can be significantly improved. However, the current higher order graph convolutional network has a large number of parameters and high computational complexity. Therefore, we propose a Hybrid Lower order and Higher order Graph convolutional networks (HLHG) learning model, which uses weight sharing mechanism to reduce the number of network parameters. To reduce computational complexity, we propose a novel fusion pooling layer to combine the neighborhood information of high order and low order. Theoretically, we compare the model complexity of the proposed model with the other state-of-the-art model. Experimentally, we verify the proposed model on the large-scale text network datasets by supervised learning, and on the citation network datasets by semi-supervised learning. The experimental results show that the proposed model achieves highest classification accuracy with a small set of trainable weight parameters.


title: b-continuity and Partial Grundy Coloring of graphs with large girth

abstract: A b-coloring of a graph is a proper coloring such that each color class has at least one vertex which is adjacent to each other color class. The b-spectrum of $G$ is the set $S_{b}(G)$ of integers $k$ such that $G$ has a b-coloring with $k$ colors and $b(G)=\max S_{b}(G)$ is the b-chromatic number of $G$. A graph is b-continous if $S_{b}(G)=[\chi(G),b(G)]\cap \mathbb{Z}$. An infinite number of graphs that are not b-continuous is known. It is also known that graphs with girth at least 10 are b-continuous. A partial Grundy coloring is a proper coloring $f:V(G)\rightarrow \{1,\ldots,k\}$ such that each color class $i$ contains some vertex $u$ that is adjacent to every color class $j$ such that $j<i$. The partial Grundy number of $G$ is the maximum value $\partial\Gamma(G)$ for which $G$ has a partial Grundy coloring. In this work, we prove that graphs with girth at least 8 are b-continuous, and that the b-spectrum of a graph $G$ with girth at least 7 contains the integers between $2\chi(G)$ and $b(G)$. We also prove that $\partial\Gamma(G)$ equals a known upper bound when $G$ is a graph with girth at least 7. These results generalize previous ones by Linhares-Sales and Silva (2017), and by Shi et al.(2005).


title: The superconductivity mechanism in Nd-1111 iron-based superconductor doped by calcium

abstract: We described the effect of nonmagnetic impurity on the superconductivity behavior of the NdFeAsO0.8F0.2 iron-based superconductor. The resistivity measurement showed that the superconductivity suppressed upon increasing the low amounts of calcium impurity (x<0.05). Also, the Tc decreased with the increase in the residual resistivity. Such behavior was qualitatively described by the Abrikosov-Gorkov theory and confirmed that these impurities act as scattering centers. For our samples, the exchange constant between the calcium and the conduction electron spins was estimated Jexc=|8| meV. Moreover, we presented the phase diagram of our synthesized samples for the various calcium dopings and found that according to increase of the calcium impurities and temperature decreasing of the spin-density wave (TSDW), Fe ions arranged stripe antiferromagnetically at lower temperatures and also the superconducting transition temperature (TC) declined. Based on our results and in agreement with the available theories as explained in the text, since the S++ state has not an effect on the impurity doped samples, and the S+- state that is attributed to the spin fluctuations mechanism causes the superconducting suppression for low amounts of calcium. So, it confirms the role of the spinfluctuations as a dominant pairing mechanism in our synthesized samples.


title: Homogeneous Liaison and the Sequentially Bounded Licci Property

abstract: In CI-Liaison, significant effort has been made to study ideals that are in the linkage class of a complete intersection, which are called licci ideals. In a polynomial ring, recently E. Chong defined a "sequentially bounded" condition on the degrees of the forms generating the regular sequences, and used this condition to find a large class of licci ideals satisfying the Eisenbud-Green-Harris Conjecture (among them, grade $3$ homogeneous Gorenstein ideals). He raised the question of whether all homogeneous licci ideals are sequentially bounded licci. In this paper we construct a class of examples that are homogeneously licci, but not sequentially bounded licci, thus answering his question in the negative. The structure of certain Betti tables plays a central role in our proof.


title: The Riemannian Quantitative Isoperimetric Inequality

abstract: We study the Riemannian quantiative isoperimetric inequality. We show that direct analogue of the Euclidean quantitative isoperimetric inequality is--in general--false on a closed Riemannian manifold. In spite of this, we show that the inequality is true generically. Moreover, we show that a modified (but sharp) version of the quantitative isoperimetric inequality holds for a real analytic metric, using the Lojasiewicz-Simon inequality. A main novelty of our work is that in all our results we do not require any a priori knowledge on the structure/shape of the minimizers.


title: Prospects for Gravitational Wave Measurement of ZTFJ1539+5027

abstract: The short-period eclipsing binary ZTFJ1539+5027 discovered by Burdge et al. (2019) will be a strong gravitational-wave source for the Laser Interferometer Space Antenna (LISA). We study how well LISA will constrain the parameters of this system by analyzing simulated gravitational wave data, and find that LISA observations will significantly improve measurements of the distance and inclination of the source, and allow for novel constraints to be placed on the speed of gravity.


title: Investigating Direct Manipulation of Graphical Encodings as a Method for User Interaction

abstract: We investigate direct manipulation of graphical encodings as a method for interacting with visualizations. There is an increasing interest in developing visualization tools that enable users to perform operations by directly manipulating graphical encodings rather than external widgets such as checkboxes and sliders. Designers of such tools must decide which direct manipulation operations should be supported, and identify how each operation can be invoked. However, we lack empirical guidelines for how people convey their intended operations using direct manipulation of graphical encodings. We address this issue by conducting a qualitative study that examines how participants perform 15 operations using direct manipulation of standard graphical encodings. From this study, we 1) identify a list of strategies people employ to perform each operation, 2) observe commonalities in strategies across operations, and 3) derive implications to help designers leverage direct manipulation of graphical encoding as a method for user interaction.


title: Designing for Mobile and Immersive Visual Analytics in the Field

abstract: Data collection and analysis in the field is critical for operations in domains such as environmental science and public safety. However, field workers currently face data- and platform-oriented issues in efficient data collection and analysis in the field, such as limited connectivity, screen space, and attentional resources. In this paper, we explore how visual analytics tools might transform field practices by more deeply integrating data into these operations. We use a design probe coupling mobile, cloud and immersive analytics components to guide interviews with ten experts from five domains to explore how visual analytics could support data collection and analysis needs in the field. The results identify shortcomings of current approaches and target scenarios and design considerations for future field analysis systems. We embody these findings in FieldView, an extensible, open-source prototype designed to support critical use cases for situated field analysis. Our findings suggest the potential for integrating mobile and immersive technologies to enhance data's utility for various field operations and new directions for visual analytics tools to transform fieldwork.


title: FlowSense: A Natural Language Interface for Visual Data Exploration within a Dataflow System

abstract: Dataflow visualization systems enable flexible visual data exploration by allowing the user to construct a dataflow diagram that composes query and visualization modules to specify system functionality. However learning dataflow diagram usage presents overhead that often discourages the user. In this work we design FlowSense, a natural language interface for dataflow visualization systems that utilizes state-of-the-art natural language processing techniques to assist dataflow diagram construction. FlowSense employs a semantic parser with special utterance tagging and special utterance placeholders to generalize to different datasets and dataflow diagrams. It explicitly presents recognized dataset and diagram special utterances to the user for dataflow context awareness. With FlowSense the user can expand and adjust dataflow diagrams more conveniently via plain English. We apply FlowSense to the VisFlow subset-flow visualization system to enhance its usability. We evaluate FlowSense by one case study with domain experts on a real-world data analysis problem and a formal user study.


title: Attention Guided Low-light Image Enhancement with a Large Scale Low-light Simulation Dataset

abstract: Low-light image enhancement is challenging in that it needs to consider not only brightness recovery but also complex issues like color distortion and noise, which usually hide in the dark. Simply adjusting the brightness of a low-light image will inevitably amplify those artifacts. To address this difficult problem, this paper proposes a novel end-to-end attention-guided method based on multi-branch convolutional neural network. To this end, we first construct a synthetic dataset with carefully designed low-light simulation strategies. The dataset is much larger and more diverse than existing ones. With the new dataset for training, our method learns two attention maps to guide the brightness enhancement and denoising tasks respectively. The first attention map distinguishes underexposed regions from well lit regions, and the second attention map distinguishes noises from real textures. With their guidance, the proposed multi-branch decomposition-and-fusion enhancement network works in an input adaptive way. Moreover, a reinforcement-net further enhances color and contrast of the output image. Extensive experiments on multiple datasets demonstrate that our method can produce high fidelity enhancement results for low-light images and outperforms the current state-of-the-art methods by a large margin both quantitatively and visually.


title: Large-Scale Sparse Subspace Clustering Using Landmarks

abstract: Subspace clustering methods based on expressing each data point as a linear combination of all other points in a dataset are popular unsupervised learning techniques. However, existing methods incur high computational complexity on large-scale datasets as they require solving an expensive optimization problem and performing spectral clustering on large affinity matrices. This paper presents an efficient approach to subspace clustering by selecting a small subset of the input data called landmarks. The resulting subspace clustering method in the reduced domain runs in linear time with respect to the size of the original data. Numerical experiments on synthetic and real data demonstrate the effectiveness of our method.


title: Four-dimensional conical symplectic hypersurfaces

abstract: We show that every indecomposable conical symplectic hypersurface of dimension four is isomorphic to the known one, namely, the Slodowy slice $X_n$ which is transversal to the nilpotent orbit of Jordan type $[2n-2, 1, 1]$ in the nilpotent cone of $\mathfrak{sp}_{2n}$ for some $n\ge 2$. In the appendix written by Yoshinori Namikawa, conical symplectic varieties of dimension two are classified by using contact Fano orbifolds.


title: Mitigation of Coincident Peak Charges via Approximate Dynamic Programming

abstract: A significant portion of a consumer's annual electrical costs can be made up of coincident peak charges: a transmission surcharge for power consumed when the entire system is at peak demand. This charge occurs only a few times annually, but with per-MW prices orders of magnitudes higher than non-peak times. While predicting the moment of peak demand charges over the course of the entire billing period is possible, optimal cost mitigation strategies based on these predictions have not been explored. In this paper we cast coincident peak cost mitigation as an optimization problem and analyze conditions for optimal and near-optimal policies for mitigation. For small consumers we use approximate dynamic programming to first show the existence of a near-optimal policy and second train a neural policy for curtailing coincident peak charges when subject to ramping constraints.


title: Demon in the Variant: Statistical Analysis of DNNs for Robust Backdoor Contamination Detection

abstract: A security threat to deep neural networks (DNN) is backdoor contamination, in which an adversary poisons the training data of a target model to inject a Trojan so that images carrying a specific trigger will always be classified into a specific label. Prior research on this problem assumes the dominance of the trigger in an image's representation, which causes any image with the trigger to be recognized as a member in the target class. Such a trigger also exhibits unique features in the representation space and can therefore be easily separated from legitimate images. Our research, however, shows that simple target contamination can cause the representation of an attack image to be less distinguishable from that of legitimate ones, thereby evading existing defenses against the backdoor infection. In our research, we show that such a contamination attack actually subtly changes the representation distribution for the target class, which can be captured by a statistic analysis. More specifically, we leverage an EM algorithm to decompose an image into its identity part (e.g., person, traffic sign) and variation part within a class (e.g., lighting, poses). Then we analyze the distribution in each class, identifying those more likely to be characterized by a mixture model resulted from adding attack samples to the legitimate image pool. Our research shows that this new technique effectively detects data contamination attacks, including the new one we propose, and is also robust against the evasion attempts made by a knowledgeable adversary.


title: Monotonic and nonmonotonic immune responses in viral infection systems

abstract: In this paper, we study two-dimensional, three-dimensional monotonic and nonmonotonic immune responses in viral infection systems. Our results show that the viral infection systems with monotonic immune response has no bistability appear. However, the systems with nonmonotonic immune response has bistability appear under some conditions. For immune intensity, we got two important thresholds, post-treatment control threshold and elite control threshold. When immune intensity is less than post-treatment control threshold, the virus will be rebound. The virus will be under control when immune intensity is larger than elite control threshold. While between the two thresholds is a bistable interval. When immune intensity is in the bistable interval, the system can have bistability appear. Select the rate of immune cells stimulated by the viruses as a bifurcation parameter for nonmonotonic immune responses, we prove the system exhibits saddle-node bifurcation and transcritical bifurcation.


title: OntoPlot: A Novel Visualisation for Non-hierarchical Associations in Large Ontologies

abstract: Ontologies are formal representations of concepts and complex relationships among them. They have been widely used to capture comprehensive domain knowledge in areas such as biology and medicine, where large and complex ontologies can contain hundreds of thousands of concepts. Especially due to the large size of ontologies, visualisation is useful for authoring, exploring and understanding their underlying data. Existing ontology visualisation tools generally focus on the hierarchical structure, giving much less emphasis to non-hierarchical associations. In this paper we present OntoPlot, a novel visualisation specifically designed to facilitate the exploration of all concept associations whilst still showing an ontology's large hierarchical structure. This hybrid visualisation combines icicle plots, visual compression techniques and interactivity, improving space-efficiency and reducing visual structural complexity. We conducted a user study with domain experts to evaluate the usability of OntoPlot, comparing it with the de facto ontology editor Prot{\'e}g{\'e}. The results confirm that OntoPlot attains our design goals for association-related tasks and is strongly favoured by domain experts.


title: An Episodic Wide-angle Outflow in HH 46/47

abstract: During star formation, the accretion disk drives fast MHD winds which usually contain two components, a collimated jet and a radially distributed wide-angle wind. These winds entrain the surrounding ambient gas producing molecular outflows. We report recent observation of 12CO (2-1) emission of the HH 46/47 molecular outflow by the Atacama Large Millimeter/sub-millimeter Array, in which we identify multiple wide-angle outflowing shell structures in both the blue and red-shifted outflow lobes. These shells are highly coherent in position-position-velocity space, extending to >40-50 km/s in velocity and 10^4 au in space with well defined morphology and kinematics. We suggest these outflowing shells are the result of the entrainment of ambient gas by a series of outbursts from an intermittent wide-angle wind. Episodic outbursts in collimated jets are commonly observed, yet detection of a similar behavior in wide-angle winds has been elusive. Here we show clear evidence that the wide-angle component of the HH 46/47 protostellar outflows experiences similar variability seen in the collimated component.


title: Feature Robustness in Non-stationary Health Records: Caveats to Deployable Model Performance in Common Clinical Machine Learning Tasks

abstract: When training clinical prediction models from electronic health records (EHRs), a key concern should be a model's ability to sustain performance over time when deployed, even as care practices, database systems, and population demographics evolve. Due to de-identification requirements, however, current experimental practices for public EHR benchmarks (such as the MIMIC-III critical care dataset) are time agnostic, assigning care records to train or test sets without regard for the actual dates of care. As a result, current benchmarks cannot assess how well models trained on one year generalise to another. In this work, we obtain a Limited Data Use Agreement to access year of care for each record in MIMIC and show that all tested state-of-the-art models decay in prediction quality when trained on historical data and tested on future data, particularly in response to a system-wide record-keeping change in 2008 (0.29 drop in AUROC for mortality prediction, 0.10 drop in AUROC for length-of-stay prediction with a random forest classifier). We further develop a simple yet effective mitigation strategy: by aggregating raw features into expert-defined clinical concepts, we see only a 0.06 drop in AUROC for mortality prediction and a 0.03 drop in AUROC for length-of-stay prediction. We demonstrate that this aggregation strategy outperforms other automatic feature preprocessing techniques aimed at increasing robustness to data drift. We release our aggregated representations and code to encourage more deployable clinical prediction models.


title: Rigid properties of generalized $\tau$-quasi Ricci-harmonic metrics

abstract: In this paper, we study compact generalized $\tau$-quasi Ricci-harmonic metrics. In the first part, we explore conditions under which generalized $\tau$-quasi Ricci-harmonic metrics are harmonic-Einstein and give some characterization results for it. In the second part, we obtain some rigidity results for compact $(\tau, \rho)$-quasi Ricci-harmonic metrics which are special case of generalized $\tau$-quasi Ricci-harmonic metrics. In the third part, we shall give two gap theorems for compact $\tau$-quasi Ricci-harmonic metrics by showing some necessary and sufficient conditions for the metrics to be harmonic-Einstein.


title: Real Time Visual Tracking using Spatial-Aware Temporal Aggregation Network

abstract: More powerful feature representations derived from deep neural networks benefit visual tracking algorithms widely. However, the lack of exploitation on temporal information prevents tracking algorithms from adapting to appearances changing or resisting to drift. This paper proposes a correlation filter based tracking method which aggregates historical features in a spatial-aligned and scale-aware paradigm. The features of historical frames are sampled and aggregated to search frame according to a pixel-level alignment module based on deformable convolutions. In addition, we also use a feature pyramid structure to handle motion estimation at different scales, and address the different demands on feature granularity between tracking losses and deformation offset learning. By this design, the tracker, named as Spatial-Aware Temporal Aggregation network (SATA), is able to assemble appearances and motion contexts of various scales in a time period, resulting in better performance compared to a single static image. Our tracker achieves leading performance in OTB2013, OTB2015, VOT2015, VOT2016 and LaSOT, and operates at a real-time speed of 26 FPS, which indicates our method is effective and practical. Our code will be made publicly available at \href{https://github.com/ecart18/SATA}{https://github.com/ecart18/SATA}.


title: Comparison of the EFT Hybrid and Three-Loop Fixed-Order Calculations of the Lightest MSSM Higgs Boson Mass

abstract: The lightest Higgs boson mass of the Minimal Supersymmetric Standard Model has been recently computed diagrammatically at the three-loop order in the whole supersymmetric parameters space of the SUSY-QCD sector. The code FeynHiggs combines one- and two-loop fixed-order with the effective-field-theory calculations for the same Higgs mass. The two numerical predictions agree considering the scenario of only one SUSY-scale and vanishing stop mixing parameter below 10 TeV. The agreement is improved by introducing an additional supersymmetric scale and a non-zero stop mixing. Additionally, the combined CMS/ATLAS Higgs mass value was used to derive an upper bound on the needed SUSY scale. In the considered scenario, values above the scale $12.5\pm1.2~\rm{TeV}$ are excluded.


title: Heuristic Description of Perpendicular Diffusion of Energetic Particles in Astrophysical Plasmas

abstract: A heuristic approach for collisionless perpendicular diffusion of energetic particles is presented. Analytic forms for the corresponding diffusion coefficient are derived. The heuristic approach presented here explains the parameter $a^2$ used in previous theories in order to achieve agreement with simulations and its relation to collisionless Rechester & Rosenbluth diffusion. The obtained results are highly relevant for applications because previously used formulas are altered significantly in certain situations.


title: Deep ReLU network approximation of functions on a manifold

abstract: Whereas recovery of the manifold from data is a well-studied topic, approximation rates for functions defined on manifolds are less known. In this work, we study a regression problem with inputs on a $d^*$-dimensional manifold that is embedded into a space with potentially much larger ambient dimension. It is shown that sparsely connected deep ReLU networks can approximate a H\"older function with smoothness index $\beta$ up to error $\epsilon$ using of the order of $\epsilon^{-d^*/\beta}\log(1/\epsilon)$ many non-zero network parameters. As an application, we derive statistical convergence rates for the estimator minimizing the empirical risk over all possible choices of bounded network parameters.


title: On the Incorporation of Box-Constraints for Ensemble Kalman Inversion

abstract: The Bayesian approach to inverse problems is widely used in practice to infer unknown parameters from noisy observations. In this framework, the ensemble Kalman inversion has been successfully applied for the quantification of uncertainties in various areas of applications. In recent years, a complete analysis of the method has been developed for linear inverse problems adopting an optimization viewpoint. However, many applications require the incorporation of additional constraints on the parameters, e.g. arising due to physical constraints. We propose a new variant of the ensemble Kalman inversion to include box constraints on the unknown parameters motivated by the theory of projected preconditioned gradient flows. Based on the continuous time limit of the constrained ensemble Kalman inversion, we discuss a complete convergence analysis for linear forward problems. We adopt techniques from filtering which are crucial in order to improve the performance and establish a correct descent, such as variance inflation. These benefits are highlighted through a number of numerical examples on various inverse problems based on partial differential equations.


title: Model-Free Stochastic Reachability Using Kernel Distribution Embeddings

abstract: We present a solution to the terminal-hitting stochastic reach-avoid problem for a Markov control process. This solution takes advantage of a nonparametric representation of the stochastic kernel as a conditional distribution embedding within a reproducing kernel Hilbert space (RKHS). Because the disturbance is modeled as a data-driven stochastic process, this representation avoids intractable integrals in the dynamic recursion of the reach-avoid problem since the expectations can be calculated as an inner product within the RKHS. We demonstrate this approach on a high-dimensional chain of integrators and on Clohessy-Wiltshire-Hill dynamics.


title: Soccer Team Vectors

abstract: In this work we present STEVE - Soccer TEam VEctors, a principled approach for learning real valued vectors for soccer teams where similar teams are close to each other in the resulting vector space. STEVE only relies on freely available information about the matches teams played in the past. These vectors can serve as input to various machine learning tasks. Evaluating on the task of team market value estimation, STEVE outperforms all its competitors. Moreover, we use STEVE for similarity search and to rank soccer teams.


title: Efficiency Fairness Tradeoff in Battery Sharing

abstract: The increasing presence of decentralized renewable generation in the power grid has motivated consumers to install batteries to save excess energy for future use. The high price of energy storage calls for a shared storage system, but careful battery management is required so that the battery is operated in a manner that is fair to all and as efficiently as possible. In this paper, we study the tradeoffs between efficiency and fairness in operating a shared battery. We develop a framework based on constrained Markov decision processes to study both regimes, namely, optimizing efficiency under a hard fairness constraint and optimizing fairness under hard efficiency constraint. Our results show that there are fundamental limits to efficiency under fairness and vice-versa, and, in general, the two cannot be achieved simultaneously. We characterize these fundamental limits via absolute bounds on these quantities, and via the notion of price of fairness that we introduce in this paper.


title: Calibrating the Adaptive Learning Rate to Improve Convergence of ADAM

abstract: Adaptive gradient methods (AGMs) have become popular in optimizing the nonconvex problems in deep learning area. We revisit AGMs and identify that the adaptive learning rate (A-LR) used by AGMs varies significantly across the dimensions of the problem over epochs (i.e., anisotropic scale), which may lead to issues in convergence and generalization. All existing modified AGMs actually represent efforts in revising the A-LR. Theoretically, we provide a new way to analyze the convergence of AGMs and prove that the convergence rate of \textsc{Adam} also depends on its hyper-parameter $\epsilon$, which has been overlooked previously. Based on these two facts, we propose a new AGM by calibrating the A-LR with an activation ({\em softplus}) function, resulting in the \textsc{Sadam} and \textsc{SAMSGrad} methods \footnote{Code is available at https://github.com/neilliang90/Sadam.git.}. We further prove that these algorithms enjoy better convergence speed under nonconvex, non-strongly convex, and Polyak-{\L}ojasiewicz conditions compared with \textsc{Adam}. Empirical studies support our observation of the anisotropic A-LR and show that the proposed methods outperform existing AGMs and generalize even better than S-Momentum in multiple deep learning tasks.


title: A new refinement of Euler numbers on counting alternating permutations

abstract: At a crossroads of calculus and combinatorics, the generating function of secant and tangent numbers (Euler numbers) provides enumeration of alternating permutations. In this article, we present a new refinement of Euler numbers to answer the combinatorial question on some particular relation of Euler numbers proved by Heneghan-Petersen, Power series for up-down min-max permutations, College Math. Journal, Vol. 45, No. 2 (2014), 83-91.


title: The Efficiency of Generalized Nash and Variational Equilibria

abstract: Shared-constraint games are noncooperative $N$-player games where players are coupled through a common coupling constraint. It is known that such games admit two kinds of equilibria -- generalized Nash equilibria (GNE) and variational equilibria (VE) -- with two different economic interpretations. We consider such games in the context of resource allocation, where players move simultaneously to decide portions of the resource they can consume under a coupling constraint that the sum of the portions they demand be no more than the capacity of the resource. We clarify the worst case and best case efficiency of these kinds of equilibria over all games in a class. We find that the worst case efficiency of both solution concepts in zero and the best case efficiency is unity. Moreover, we characterize the subclass of games where all VE are efficient and show that even in this subclass but the worst case efficiency of GNE is zero. We finally discuss means by which zero worst case efficiency can be remedied.


title: GDoF of Interference Channel with Limited Cooperation under Finite Precision CSIT

abstract: The Generalized Degrees of Freedom (GDoF) of the two user interference channel are characterized for all parameter regimes under the assumption of finite precision channel state information at the transmitters (CSIT), when a limited amount of (half-duplex or full-duplex) cooperation is allowed between the transmitters in the form of $\pi$ DoF of shared messages. In all cases, the number of over-the-air bits that each cooperation bit buys is shown to be equal to either $0, 1, 1/2$ or $1/3$. The most interesting aspect of the result is the $1/3$ slope, which appears only under finite precision CSIT and strong interference, and as such has not been encountered in previous studies that invariably assumed perfect CSIT. Indeed, the achievability and converse for the parameter regimes with $1/3$ slope are the most challenging aspects of this work. In particular, the converse relies on non-trivial applications of Aligned Images bounds.


title: Greedy AutoAugment

abstract: A major problem in data augmentation is to ensure that the generated new samples cover the search space. This is a challenging problem and requires exploration for data augmentation policies to ensure their effectiveness in covering the search space. In this paper, we propose Greedy AutoAugment as a highly efficient search algorithm to find the best augmentation policies. We use a greedy approach to reduce the exponential growth of the number of possible trials to linear growth. The Greedy Search also helps us to lead the search towards the sub-policies with better results, which eventually helps to increase the accuracy. The proposed method can be used as a reliable addition to the current artifitial neural networks. Our experiments on four datasets (Tiny ImageNet, CIFAR-10, CIFAR-100, and SVHN) show that Greedy AutoAugment provides better accuracy, while using 360 times fewer computational resources.


title: Asymmetric quantum multicast network coding: asymmetric optimal cloning over quantum networks

abstract: In this study, we consider a quantum version of multicast network coding as a multicast protocol for sending universal quantum clones (UQCs) from a source node to the target nodes on a quantum network. By extending Owari et al.'s previous results for symmetric UQCs, we derive a protocol for multicasting $1\rightarrow 2$ ($1\rightarrow 3$) {\it asymmetric} UQCs of a $q^r$-dimensional state to two (three) target nodes.Our protocol works under the condition that each edge on a quantum network represented by an undirected graph $G$ transmits a $q$-dimensional state. There exists a classical solvable linear multicast network code with a source rate of $r$ on a classical network $G'$, where $G$ is an undirected underlying graph of an acyclic directed graph $G'$. We also assume free classical communication over a quantum network.


title: AdvGAN++ : Harnessing latent layers for adversary generation

abstract: Adversarial examples are fabricated examples, indistinguishable from the original image that mislead neural networks and drastically lower their performance. Recently proposed AdvGAN, a GAN based approach, takes input image as a prior for generating adversaries to target a model. In this work, we show how latent features can serve as better priors than input images for adversary generation by proposing AdvGAN++, a version of AdvGAN that achieves higher attack rates than AdvGAN and at the same time generates perceptually realistic images on MNIST and CIFAR-10 datasets.


title: Scale Matters: Temporal Scale Aggregation Network for Precise Action Localization in Untrimmed Videos

abstract: Temporal action localization is a recently-emerging task, aiming to localize video segments from untrimmed videos that contain specific actions. Despite the remarkable recent progress, most two-stage action localization methods still suffer from imprecise temporal boundaries of action proposals. This work proposes a novel integrated temporal scale aggregation network (TSA-Net). Our main insight is that ensembling convolution filters with different dilation rates can effectively enlarge the receptive field with low computational cost, which inspires us to devise multi-dilation temporal convolution (MDC) block. Furthermore, to tackle video action instances with different durations, TSA-Net consists of multiple branches of sub-networks. Each of them adopts stacked MDC blocks with different dilation parameters, accomplishing a temporal receptive field specially optimized for specific-duration actions. We follow the formulation of boundary point detection, novelly detecting three kinds of critical points (ie, starting / mid-point / ending) and pairing them for proposal generation. Comprehensive evaluations are conducted on two challenging video benchmarks, THUMOS14 and ActivityNet-1.3. Our proposed TSA-Net demonstrates clear and consistent better performances and re-calibrates new state-of-the-art on both benchmarks. For example, our new record on THUMOS14 is 46.9% while the previous best is 42.8% under mAP@0.5.


title: Interleaved Polar (I-Polar) Codes

abstract: By inserting interleavers between intermediate stages of the polar encoder, a new class of polar codes, termed interleaved polar (i-polar) codes, is proposed. By the uniform interleaver assumption, we derive the weight enumerating function (WEF) and input-output weight enumerating function (IOWEF) averaged over the ensemble of i-polar codes. The average WEF can be used to calculate the upper bound on the average block error rate (BLER) of a code selected at random from the ensemble of i-polar codes. Also, we propose a concatenated coding scheme that employs P high rate codes as the outer code and Q i-polar codes as the inner code with an interleaver in between. The average WEF of the concatenated code is derived based on the uniform interleaver assumption. Simulation results show that BLER upper bounds can well predict BLER performance levels of the concatenated codes. The results show that the performance of the proposed concatenated code with P=Q=2 is better than that of the CRC-aided i-polar code with P=Q=1 of the same length and code rate at high signal-to-noise ratios (SNRs). Moreover, the proposed concatenated code allows multiple decoders to operate in parallel, which can reduce the decoding latency and hence is suitable for ultra-reliable low-latency communications (URLLC).


title: AutoML: A Survey of the State-of-the-Art

abstract: Deep learning (DL) techniques have penetrated all aspects of our lives and brought us great convenience. However, building a high-quality DL system for a specific task highly relies on human expertise, hindering the applications of DL to more areas. Automated machine learning (AutoML) becomes a promising solution to build a DL system without human assistance, and a growing number of researchers focus on AutoML. In this paper, we provide a comprehensive and up-to-date review of the state-of-the-art (SOTA) in AutoML. First, we introduce AutoML methods according to the pipeline, covering data preparation, feature engineering, hyperparameter optimization, and neural architecture search (NAS). We focus more on NAS, as it is currently very hot sub-topic of AutoML. We summarize the performance of the representative NAS algorithms on the CIFAR-10 and ImageNet datasets and further discuss several worthy studying directions of NAS methods: one/two-stage NAS, one-shot NAS, and joint hyperparameter and architecture optimization. Finally, we discuss some open problems of the existing AutoML methods for future research.


title: A New Efficient Methodology for AC Transmission Network Expansion Planning in The Presence of Uncertainties

abstract: Consideration of generation, load and network uncertainties in modern transmission network expansion planning (TNEP) is gaining interest due to large-scale integration of renewable energy sources with the existing grid. However, it is a formidable task when iterative AC formulation is used. Computational burden for solving the usual ACTNEP with these uncertainties is such that, it is almost impossible to obtain a solution even for a medium-sized system within a viable time frame. In this work, a two-stage solution methodology is proposed to obtain quick, good-quality, sub-optimal solutions with reasonable computational burden. Probabilistic formulation is used to account for the different uncertainties. Probabilistic TNEP is solved by 2m+1-point estimate method along with a modified artificial bee colony (MABC) algorithm, for Garver 6 bus and IEEE 24 bus systems. In both the systems, rated wind generation is considered to be more than one-tenth of the total generation capacity. When compared with the conventional single stage and existing solution methods, the proposed methodology is able to obtain almost identical solutions with extremely low computational burdens. Therefore, the proposed method provides a tool for efficient solution of future probabilistic ACTNEP problems with greater level of complexity.


title: Influence of EOS on compact star made of hidden sector nucleons

abstract: We study compact star made of degenerate hidden sector nucleons which will be a candidate for cold dark matter. A hidden sector like QCD is considered, and as the low energy effective theory we take (hidden sector) $ SU(2) $ chiral sigma model including hidden sector vector meson. With the mean field approximation, we find that one can treat the equation of state (EOS) of our model analytically by introducing a variable which depends on the Fermi momentum. The EOS is specified by the two parameters $ C'_{/sigma} $,$ C'_{/omega} $, and we discuss how these parameters affect on the mass-radius relation for compact star as well as on the EOS. The dependence of the maximum stable mass of compact stars on the parameter $ C'_{/sigma} $ will also be discussed.


title: Interplay between surface and bending energy helps membrane protrusion formation

abstract: We consider a one-dimensional elastic membrane, which is pushed by growing filaments. The filaments tend to grow by creating local protrusions in the membrane and this process has surface energy and bending energy costs. Although it is expected that with increasing surface tension and bending rigidity, it should become more difficult to create a protrusion, we find that for a fixed bending rigidity, as the surface tension increases, protrusions are more easily formed. This effect also gives rise to nontrivial dependence of membrane velocity on the surface tension, characterized by a dip and a peak. We explain this unusual phenomenon by studying in detail the interplay of the surface and the bending energy and show that this interplay is responsible for a qualitative shape change of the membrane, which gives rise to the above effect.


title: About Some Relatives of Palindromes

abstract: We introduce two new classes of integers. The first class consists of numbers $N$ for which there exists at least one nonnegative integer $A$, such that the sum of $A$ and the sum of digits of $N$, added to the reversal of the sum, gives $N$. The second class consists of numbers $N$ for which there exists at least one nonnegative integer $A$, such that the sum of $A$ and the sum of the digits of $N$, multiplied by the reversal of the sum, gives $N$. All palindromes that either have an even number of digits or an odd number of digits and the middle digit even belong to the first class, and all squares of palindromes with at least two digits belong to the second class. These classes contain and are strictly larger than the classes of $b$-ARH numbers, respectively $b$-MRH numbers introduced in Ni\c tic\u a \cite{N1}.


title: Real-Space Investigation of the Charge Density Wave in VTe2 Monolayer with Rotational and Mirror Symmetries Broken

abstract: Recently the charge density wave (CDW) in vanadium dichalcogenides have attracted increasing research interests, but a real-space investigation on the symmetry breaking of the CDW state in VTe2 monolayer is still lacking. We have investigated the CDW of VTe2 monolayer by low energy electron diffraction (LEED) and scanning tunneling microscope (STM). While the LEED experiments revealed a (4X4) CDW transition at 192+-2 K, our low-temperature STM experiments resolved the (4X4) lattice distortions and charge-density modulation in real space, and further unveiled a 1D modulation that breaks the three-fold rotational and mirror symmetries in the CDW state. In accordance with the CDW state at low temperature, a CDW gap of 12 meV was detected by scanning tunneling spectroscopy (STS) at 4.9 K. Our work provides real-space evidence on the symmetry breaking of the (4X4) CDW state in VTe2 monolayer, and implies there is a certain mechanism, beyond the conventional Fermi surface nesting or the q-dependent electron-phonon coupling, is responsible for the formation of CDW state in VTe2 monolayer.


title: Photometric investigation on the W-subtype contact binary V1197 Her

abstract: Multi-color light curves of V1197 Her were obtained with the 2.4 meter optical telescope at Thai National Observatory and the Wilson-Devinney (W-D) program is used to model the observational light curves. The photometric solutions reveal that V1197 Her is a W-subtype shallow contact binary system with a mass ratio of $q = 2.61 $ and fill-out factor to be $f = 15.7\,\%$. The temperature difference between the primary star and secondary star is only $140K$ in spite of the low degree of contact, which means that V1197 Her is not only in geometrical contact configuration but also already under thermal contact status. The orbital inclination of V1197 Her is as high as $i = 82.7^{\circ}$, and the primary star is completely eclipsed at the primary minimum. The totally eclipsing characteristic implies that the determined physical parameters are highly reliable. The masses, radii and luminosities of the primary star (star 1) and secondary star (star 2) are estimated to be $M_{1} = 0.30(1)M_\odot$, $M_{2} = 0.77(2)M_\odot$, $R_{1} = 0.54(1)R_\odot$, $R_{2} = 0.83(1)R_\odot$, $L_{1} = 0.18(1)L_\odot$ and $L_{2} = 0.38(1)L_\odot$. The evolutionary status of the two component stars are drawn in the H - R diagram, which shows that the less massive but hotter primary star is more evolved than the secondary star. The period of V1197 Her is decreasing continuously at a rate of $dP/dt=-2.58\times{10^{-7}}day\cdot year^{-1}$, which can be explained by mass transfer from the more massive star to the less massive one with a rate of $\frac{dM_{2}}{dt}=- 1.61\times{10^{-7}}M_\odot/year$. The light curves of V1197 Her is reported to have the O'Connell effect. Thus, a cool spot is added to the massive star to model the asymmetry on light curves.


title: Monitoring of people entering and exiting private areas using Computer Vision

abstract: Entry-Exit surveillance is a novel research problem that addresses security concerns when people attain absolute privacy in camera forbidden areas such as toilets and changing rooms that are basic amenities to the humans in public places such as Shopping malls, Airports, Bus and Rail stations. The objective is, if not inside these camera forbidden areas, from outside, the individuals are to be monitored to analyze the time spent by them inside and also the suspecting transformations in their appearances if any. In this paper, firstly, a pseudo-annotated dataset of a laboratory observation of people entering and exiting the camera forbidden area captured using two cameras in contrast to the state-of-the-art single-camera based EnEx dataset is presented. Conventionally the proposed dataset is named \textbf{\textit{EnEx2}}. Next, a spatial transition based event detection to determine the entry or exit of individuals is presented with standard results by evaluating the proposed model using the proposed dataset and the publicly available standard video surveillance datasets that are hypothesized to Entry-Exit surveillance scenarios. The proposed dataset is expected to enkindle active research in Entry-Exit Surveillance domain.


title: Lagrange2D: A Mathematica package for Lagrangian analysis of two-dimensional fluid flows

abstract: We introduce Lagrange2D, a Mathematica package for analysis and characterization of complex fluid flows using Lagrangian transport metrics. Lagrange2D includes built-in functions for integrating ensembles of trajectories subject to time-varying two-dimensional flows, as well as utilities for calculating various quantities of interest, such as finite-time Lyapunov exponents, stretching vector fields, the fractal dimension, and flushing times. The package also includes tools for visualizing transport and pathlines, as well as for generating videos. This package aims to ease rapid characterization of arbitrary flows, by allowing identification of Lagrangian coherent structures and other quantities of interest. The open-source code for the package is available on GitHub at: \url{https://github.com/williamgilpin/lagrange2d}


title: Antiadiabatic Phonons and Superconductivity in Eliashberg-McMillan Theory

abstract: The standard Eliashberg - McMillan theory of superconductivity is essentially based on the adiabatic approximation. Here we present some simple estimates of electron - phonon interaction within Eliashberg - McMillan approach in non - adiabatic and even antiadiabatic situation, when characteristic phonon frequency $\Omega_0$ becomes large enough, i.e. comparable or exceeding the Fermi energy $E_F$. We discuss the general definition of Eliashberg - McMillan (pairing) electron - phonon coupling constant $\lambda$, taking into account the finite value of phonon frequencies. We show that the mass renormalization of electrons is in general determined by different coupling constant $\tilde\lambda$, which takes into account the finite width of conduction band, and describes the smooth transition from the adiabatic regime to the region of strong nonadiabaticity. In antiadiabatic limit, when $\Omega_0\gg E_F$, the new small parameter of perturbation theory is $\lambda\frac{E_F}{\Omega_0}\sim\lambda\frac{D}{\Omega_0}\ll 1$ ($D$ is conduction band half -- width), and corrections to electronic spectrum (mass renormalization) become irrelevant. However, the temperature of superconducting transition $T_c$ in antiadiabatic limit is still determined by Eliashberg - McMillan coupling constant $\lambda$. We consider in detail the model with discrete set of (optical) phonon frequencies. A general expression for superconducting transition temperature $T_c$ is derived, which is valid in situation, when one (or several) of such phonons becomes antiadiabatic. We also analyze the contribution of such phonons into the Coulomb pseudopotential $\mu^{\star}$ and show, that antiadiabatic phonons do not contribute to Tolmachev's logarithm and its value is determined by partial contributions from adiabatic phonons only.


title: Quantum Higher Order Singular Value Decomposition

abstract: Higher order singular value decomposition (HOSVD) is an important tool for analyzing big data in multilinear algebra and machine learning. In this paper, we present two quantum algorithms for HOSVD. Our methods allow one to decompose a tensor into a core tensor containing tensor singular values and some unitary matrices by quantum computers. Compared to the classical HOSVD algorithm, our quantum algorithms provide an exponential speedup. Furthermore, we introduce a hybrid quantum-classical algorithm of HOSVD model applied in recommendation systems.


title: L2G Auto-encoder: Understanding Point Clouds by Local-to-Global Reconstruction with Hierarchical Self-Attention

abstract: Auto-encoder is an important architecture to understand point clouds in an encoding and decoding procedure of self reconstruction. Current auto-encoder mainly focuses on the learning of global structure by global shape reconstruction, while ignoring the learning of local structures. To resolve this issue, we propose Local-to-Global auto-encoder (L2G-AE) to simultaneously learn the local and global structure of point clouds by local to global reconstruction. Specifically, L2G-AE employs an encoder to encode the geometry information of multiple scales in a local region at the same time. In addition, we introduce a novel hierarchical self-attention mechanism to highlight the important points, scales and regions at different levels in the information aggregation of the encoder. Simultaneously, L2G-AE employs a recurrent neural network (RNN) as decoder to reconstruct a sequence of scales in a local region, based on which the global point cloud is incrementally reconstructed. Our outperforming results in shape classification, retrieval and upsampling show that L2G-AE can understand point clouds better than state-of-the-art methods.


title: How do Conservative Backbone Curves Perturb into Forced Responses? A Melnikov Function Analysis

abstract: Weakly damped mechanical systems under small periodic forcing tend to exhibit periodic response in a close vicinity of certain periodic orbits of their conservative limit. Specifically, amplitude frequency plots for the conservative limit have often been noted, both numerically and experimentally, to serve as backbone curves for the near resonance peaks of the forced response. In other cases, such a relationship between the unforced and forced response was not observed. Here we provide a systematic mathematical analysis that predicts which members of conservative periodic orbit families will serve as backbone curves for the forced-damped response. We also obtain mathematical conditions under which approximate numerical and experimental approaches, such as energy balance and force appropriation, are justifiable. Finally, we derive analytic criteria for the birth of isolated response branches (isolas) whose identification is otherwise challenging from numerical continuation.


title: Learning to combine primitive skills: A step towards versatile robotic manipulation

abstract: Manipulation tasks such as preparing a meal or assembling furniture remain highly challenging for robotics and vision. Traditional task and motion planning (TAMP) methods can solve complex tasks but require full state observability and are not adapted to dynamic scene changes. Recent learning methods can operate directly on visual inputs but typically require many demonstrations and/or task-specific reward engineering. In this work we aim to overcome previous limitations and propose a reinforcement learning (RL) approach to task planning that learns to combine primitive skills. First, compared to previous learning methods, our approach requires neither intermediate rewards nor complete task demonstrations during training. Second, we demonstrate the versatility of our vision-based task planning in challenging settings with temporary occlusions and dynamic scene changes. Third, we propose an efficient training of basic skills from few synthetic demonstrations by exploring recent CNN architectures and data augmentation. Notably, while all of our policies are learned on visual inputs in simulated environments, we demonstrate the successful transfer and high success rates when applying such policies to manipulation tasks on a real UR5 robotic arm.


abstract: The recurrent geometric network (RGN), the first end-to-end differentiable neural architecture for protein structure prediction, is a competitive alternative to existing models. However, the RGN's use of recurrent neural networks (RNNs) as internal representations results in long training time and unstable gradients. And because of its sequential nature, it is less effective at learning global dependencies among amino acids than existing transformer architectures. We propose the Universal Transforming Geometric Network (UTGN), an end-to-end differentiable model that uses the encoder portion of the Universal Transformer architecture as an alternative for internal representations. Our experiments show that compared to RGN, UTGN achieve a $1.7$ \si{\angstrom} improvement on the free modeling portion and a $0.7$ \si{\angstrom} improvement on the template based modeling of the CASP12 competition.


title: Origin of magnetic anisotropy in the spin ladder compound (C$_5$H$_{12}$N)$_2$CuBr$_4$

abstract: The $S=1/2$ spin ladder compound (C$_5$H$_{12}$N)$_2$CuBr$_4$ (BPCB) is studied by means of high-resolution inelastic neutron scattering. In agreement with previous studies we find a band of triplet excitations with a spin gap of $\sim0.8$~meV and a bandwidth of $\sim0.6$~meV. In addition, we observe a distinct splitting of the triplet band of $50(1)$~$\mu$eV or $40(2)$~$\mu$eV at the band minimum or maximum, respectively. By comparison to a strong coupling expansion calculation of the triplet dispersion for a spin ladder with anisotropic exchange, weakly anisotropic leg interactions are identified as the dominant source of magnetic anisotropy in BPCB. Based on these results, we discuss the nature of magnetic exchange anisotropy in BPCB and in related transition-metal insulators.


title: Light scattering through the graphene oxide liquid crystal in a micro-channel

abstract: In this paper, we examine the light scattering by the flow of levitated flakes in a micro-channel to characterize the tunable functionality of the graphene oxide liquid crystal in the nematic phase. Light interaction with the mentioned material is decomposed to the scattered and transmitted parts and they can determine the orientation of the flakes. Our results demonstrate that, pumping the graphene oxide sample through the micro-channel leads to increase the amplitude of scattered light. The time averaged of scattered light intensity grows by increasing volume fraction. We also find that, the higher volume fraction, the sooner reaching to saturated normalized scattered intensity is. To get deep insight about our experimental results, we rely on the general theoretical properties of the light scattering cross-section incorporating the fluctuation of director vector and dielectric tensor. Our proposal is a promising approach to carry out the mechanical-hydrodynamical approach for controlling the orientation of a typical liquid crystal.


title: The linear Boltzmann equation in column experiments of porous media

abstract: The use of the linear Boltzmann equation is proposed for transport in porous media in a column. By column experiments, we show that the breakthrough curve is reproduced by the linear Boltzmann equation. The advection-diffusion equation is derived from the linear Boltzmann equation in the asymptotic limit of large propagation distance and long time.


title: Retrosynthesis with Attention-Based NMT Model and Chemical Analysis of the "Wrong" Predictions

abstract: We cast retrosynthesis as a machine translation problem by introducing a special Tensor2Tensor, an entire attention-based and fully data-driven model. Given a data set comprising about 50,000 diverse reactions extracted from USPTO patents, the model significantly outperforms seq2seq model (34.7%) on a top-1 accuracy by achieving 54.1%. For yielding better results, parameters such as batch size and training time are thoroughly investigated to train the model. Additionally, we offer a novel insight into the causes of grammatically invalid SMILES, and conduct a test in which experienced chemists pick out and analyze the "wrong" predictions that may be chemically plausible but differ from the ground truth. Actually, the effectiveness of our model is un-derestimated and the "true" top-1 accuracy can reach to 64.6%.


title: Continuous time integration for changing type systems

abstract: We consider variational time integration using continuous Galerkin Petrov methods applied to evolutionary systems of changing type. We prove optimal-order convergence of the error in a cGP-like norm and conclude the paper with some numerical examples and conclusions.


title: Specific Heat Signature of the Berezinskii-Kosterlitz-Thouless Transition in Ultrathin Superconducting Films

abstract: The Berezinskii-Kosterlitz-Thouless (BKT) transition is expected to have a clear signature on the specific heat. The singularity at the transition temperature $T_{BKT}$ is predicted to be immeasurable, and a broad non-universal peak is expected at $T>T_{BKT}$. Up to date this has not been observed in two-dimensional superconductors. We use a unique highly sensitive technique to measure the specific heat of ultrathin Pb films. We find that thick films exhibit a specific heat jump at $T_C$ that is consistent with BCS theory. As the film thickness is reduced below the superconducting coherence length and the systems enters the 2D limit the specific heat reveals BKT-like behavior. We discuss these observations in the framework of the continuous BCS-BKT crossover as a function of film thickness.


title: Zeros of repeated derivatives of random polynomials

abstract: It has been shown that zeros of Kac polynomials $K_n(z)$ of degree $n$ cluster asymptotically near the unit circle as $n\to\infty$ under some assumptions. This property remains unchanged for the $l$-th derivative of the Kac polynomials $K^{(l)}_n(z)$ for any fixed order $l$. So it's natural to study the situation when the number of the derivatives we take depends on $n$, i.e., $l=N_n$. We will show that the limiting global behavior of zeros of $K_n^{(N_n)}(z)$ depends on the limit of the ratio $N_n/n$. In particular, we prove that when the limit of the ratio is strictly positive, the property of the uniform clustering around the unit circle fails; when the ratio is close to 1, the zeros have some rescaling phenomenon. Then we study such problem for random polynomials with more general coefficients. But things, especially the rescaling phenomenon, become very complicated for the general case when $N_n/n\to 1$, where we compute the case of the random elliptic polynomials to illustrate this.


title: The Contribution of Galaxies to the $3.4\,\mathrm{\mu m}$ Cosmic Infrared Background as Measured Using WISE

abstract: The study of the extragalactic background light (EBL) in the optical and near infrared has received a lot of attention in the last decade, especially near a wavelength of $\lambda\approx 3.4\operatorname{\mu m}$, with remaining tension among different techniques for estimating the background. In this paper we present a measurement of the contribution of galaxies to the EBL at $3.4\operatorname{\mu m}$ that is based on the measurement of the luminosity function (LF) in Lake et al. (2018) and the mean spectral energy distribution of galaxies in Lake & Wright (2016). The mean and standard deviation of our most reliable Bayesian posterior chain gives a $3.4\operatorname{\mu m}$ background of $I_\nu = 9.0\pm0.5 \operatorname{kJy} \operatorname{sr}^{-1}$ ($\nu I_\nu = 8.0\pm0.4 \operatorname{nW} \operatorname{m}^{-2} \operatorname{sr}^{-1} e\operatorname{-fold}^{-1}$), with systematic uncertainties unlikely to be greater than $2\operatorname{kJy} \operatorname{sr}^{-1}$. This result is higher than most previous efforts to measure the contribution of galaxies to the $3.4\operatorname{\mu m}$ EBL, but is consistent with the upper limits placed by blazars and the most recent direct measurements of the total $3.4\operatorname{\mu m}$ EBL.


title: Road Context-aware Intrusion Detection System for Autonomous Cars

abstract: Security is of primary importance to vehicles. The viability of performing remote intrusions onto the in-vehicle network has been manifested. In regard to unmanned autonomous cars, limited work has been done to detect intrusions for them while existing intrusion detection systems (IDSs) embrace limitations against strong adversaries. In this paper, we consider the very nature of autonomous car and leverage the road context to build a novel IDS, named Road context-aware IDS (RAIDS). When a computer-controlled car is driving through continuous roads, road contexts and genuine frames transmitted on the car's in-vehicle network should resemble a regular and intelligible pattern. RAIDS hence employs a lightweight machine learning model to extract road contexts from sensory information (e.g., camera images and distance sensor values) that are used to generate control signals for maneuvering the car. With such ongoing road context, RAIDS validates corresponding frames observed on the in-vehicle network. Anomalous frames that substantially deviate from road context will be discerned as intrusions. We have implemented a prototype of RAIDS with neural networks, and conducted experiments on a Raspberry Pi with extensive datasets and meaningful intrusion cases. Evaluations show that RAIDS significantly outperforms state-of-the-art IDS without using road context by up to 99.9% accuracy and short response time.


title: Learning Variations in Human Motion via Mix-and-Match Perturbation

abstract: Human motion prediction is a stochastic process: Given an observed sequence of poses, multiple future motions are plausible. Existing approaches to modeling this stochasticity typically combine a random noise vector with information about the previous poses. This combination, however, is done in a deterministic manner, which gives the network the flexibility to learn to ignore the random noise. In this paper, we introduce an approach to stochastically combine the root of variations with previous pose information, which forces the model to take the noise into account. We exploit this idea for motion prediction by incorporating it into a recurrent encoder-decoder network with a conditional variational autoencoder block that learns to exploit the perturbations. Our experiments demonstrate that our model yields high-quality pose sequences that are much more diverse than those from state-of-the-art stochastic motion prediction techniques.


title: Detection of Accounting Anomalies in the Latent Space using Adversarial Autoencoder Neural Networks

abstract: The detection of fraud in accounting data is a long-standing challenge in financial statement audits. Nowadays, the majority of applied techniques refer to handcrafted rules derived from known fraud scenarios. While fairly successful, these rules exhibit the drawback that they often fail to generalize beyond known fraud scenarios and fraudsters gradually find ways to circumvent them. In contrast, more advanced approaches inspired by the recent success of deep learning often lack seamless interpretability of the detected results. To overcome this challenge, we propose the application of adversarial autoencoder networks. We demonstrate that such artificial neural networks are capable of learning a semantic meaningful representation of real-world journal entries. The learned representation provides a holistic view on a given set of journal entries and significantly improves the interpretability of detected accounting anomalies. We show that such a representation combined with the networks reconstruction error can be utilized as an unsupervised and highly adaptive anomaly assessment. Experiments on two datasets and initial feedback received by forensic accountants underpinned the effectiveness of the approach.


title: Efficient computation of counterfactual explanations of LVQ models

abstract: The increasing use of machine learning in practice and legal regulations like EU's GDPR cause the necessity to be able to explain the prediction and behavior of machine learning models. A prominent example of particularly intuitive explanations of AI models in the context of decision making are counterfactual explanations. Yet, it is still an open research problem how to efficiently compute counterfactual explanations for many models. We investigate how to efficiently compute counterfactual explanations for an important class of models, prototype-based classifiers such as learning vector quantization models. In particular, we derive specific convex and non-convex programs depending on the used metric.


title: The distribution function for the maximal height of $N$ non-intersecting Bessel paths

abstract: In this paper, we consider $N$ non-intersecting Bessel paths starting at $x=a\geq 0$, and conditioned to end at the origin $x=0$. We derive the explicit formula of the distribution function for the maximum height. Depending on the starting point $a>0$ or $a=0$, the distribution functions are also given in terms of the Hankel determinants associated with the multiple discrete orthogonal polynomials or discrete orthogonal polynomials, respectively.


title: Towards Surgically-Precise Technical Debt Estimation: Early Results and Research Roadmap

abstract: The concept of technical debt has been explored from many perspectives but its precise estimation is still under heavy empirical and experimental inquiry. We aim to understand whether, by harnessing approximate, data-driven, machine-learning approaches it is possible to improve the current techniques for technical debt estimation, as represented by a top industry quality analysis tool such as SonarQube. For the sake of simplicity, we focus on relatively simple regression modelling techniques and apply them to modelling the additional project cost connected to the sub-optimal conditions existing in the projects under study. Our results shows that current techniques can be improved towards a more precise estimation of technical debt and the case study shows promising results towards the identification of more accurate estimation of technical debt.


title: Hyperaccurate currents in stochastic thermodynamics

abstract: Thermodynamic observables of mesoscopic systems can be expressed as integrated empirical currents. Their fluctuations are bound by thermodynamic uncertainty relations. We introduce the hyperaccurate current as the integrated empirical current with the least fluctuations in a given non-equilibrium system. For steady-state systems described by overdamped Langevin equations, we derive an equation for the hyperaccurate current by means of a variational principle. We show that the hyperaccurate current coincides with the entropy production if and only if the latter saturates the thermodynamic uncertainty relation, and it can be substantially more precise otherwise. The hyperaccurate current can be used to improve estimates of entropy production from experimental data.


title: Machine-learning-assisted thin-film growth: Bayesian optimization in molecular beam epitaxy of SrRuO3 thin films

abstract: Materials informatics exploiting machine learning techniques, e.g., Bayesian optimization (BO), has the potential to offer high-throughput optimization of thin-film growth conditions through incremental updates of machine learning models in accordance with newly measured data. Here, we demonstrated BO-based molecular beam epitaxy (MBE) of SrRuO3, one of the most-intensively studied materials in the research field of oxide electronics, mainly owing to its unique nature as a ferromagnetic metal. To simplify the intricate search space of entangled growth conditions, we ran the BO for a single condition while keeping the other conditions fixed. As a result, high-crystalline-quality SrRuO3 film exhibiting a high residual resistivity ratio (RRR) of over 50 as well as strong perpendicular magnetic anisotropy was developed in only 24 MBE growth runs in which the Ru flux rate, growth temperature, and O3-nozzle-to-substrate distance were optimized. Our BO-based search method provides an efficient experimental design that is not as dependent on the experience and skills of individual researchers, and it reduces experimental time and cost, which will accelerate materials research.


title: Secure Calibration for Safety-Critical IoT: Traceability for Safety Resilience

abstract: Secure sensor calibration constitutes a foundational step that underpins operational safety in the Industrial Internet of Things. While much attention has been given to IoT security such as the use of TLS to secure sensed data, little thought has been given to securing the calibration infrastructure itself. Currently traceability is achieved via manual verification using paper-based datasheets which is both time consuming and insecure. For instance, when the calibration status of parent devices is revoked as mistakes or mischance is detected, calibrated devices are not updated until the next calibration cycle, leaving much of the calibration parameters invalid. Aside from error, any party within the calibration infrastructure can maliciously introduce errors since the current paper based system lacks authentication as well as non-repudiation. In this paper, we propose a novel resilient architecture for calibration infrastructure, where the calibration status of sensor elements can be verified on-the-fly to the root of trust preserving the properties of authentication and non-repudiation. We propose an implementation based on smart contracts on the Ethereum network. Our evaluation shows that Ethereum is likely to address the protection requirements of traceable measurements.


title: Hierarchical Block Multi-Color Ordering: A New Parallel Ordering Method for Vectorization and Parallelization of the Sparse Triangular Solver in the ICCG Method

abstract: In this paper, we propose a new parallel ordering method to vectorize and parallelize the sparse triangular solver, which is called hierarchical block multi-color ordering. In this method, the parallel forward and backward substitutions can be vectorized while preserving the advantages of block multi-color ordering, that is, fast convergence and fewer thread synchronizations. To evaluate the proposed method in a parallel ICCG (Incomplete Cholesky Conjugate Gradient) solver, numerical tests were conducted using five test matrices on three types of computational nodes. The numerical results indicate that the proposed method outperforms the conventional block and nodal multi-color ordering methods in 13 out of 15 test cases, which confirms the effectiveness of the method.


title: Modelling broad emission lines in active galactic nuclei

abstract: Broad Emission Lines are the most characteristic features of Active Galaxies, but the mechanism of creating a medium able to emit these intense lines is not quite clear. Observations clearly indicate that the motion of the material is predominantly Keplerian, with traces of inflow and clear signatures of outflow, but this still does not point out whether the lines partially come from the disk surface, or exclusively from the circumnuclear material, and whether this material originates from the disk as a wind, or comes, at least partially, from outside. I review the basic scenarios for the formation of the Broad Line Region (BLR), and the recent progress in modelling the physical conditions in the emitting medium. The current state is the the outer radius of the BLR is fixed by the dust sublimation temperature in the medium exposed to the irradiation from the central source, the inner radius is likely fixed by the dust sublimation temperature in the atmosphere of the non-illuminated accretion disk, and the local cloud density is a universal number fixed by the radiation pressure confinement. The time-dependent aspects of the BLR formation, however, still wait for serious modelling effort matching the quality of the observational data.


title: A remark on the scattering theory for the 2d radial focusing INLS

abstract: We consider the scattering results of the radial solutions below the ground state to the focusing inhomogeneous nonlinear Schr\"odinger equation $$i\partial_tu+\Delta u +|x|^{-b}|u|^{p}u=0$$ in two dimension, where $0<b<1$ and $2-b<p<\infty$. We use a modified version of Arora-Dodson-Murphy's approach [1] to give a new proof that extends the scattering results of [10] and avoids concentration compactness.


title: Towards Learning How to Properly Play UNO with the iCub Robot

abstract: While interacting with another person, our reactions and behavior are much affected by the emotional changes within the temporal context of the interaction. Our intrinsic affective appraisal comprising perception, self-assessment, and the affective memories with similar social experiences will drive specific, and in most cases addressed as proper, reactions within the interaction. This paper proposes the roadmap for the development of multimodal research which aims to empower a robot with the capability to provide proper social responses in a Human-Robot Interaction (HRI) scenario.


title: On The Geometric Analysis of A Quartic-quadratic Optimization Problem under A Spherical Constraint

abstract: This paper considers the problem of solving a special quartic-quadratic optimization problem with a single sphere constraint, namely, finding a global and local minimizer of $\frac{1}{2}\mathbf{z}^{*}A\mathbf{z}+\frac{\beta}{2}\sum_{k=1}^{n}\lvert z_{k}\rvert^{4}$ such that $\lVert\mathbf{z}\rVert_{2}=1$. This problem spans multiple domains including quantum mechanics and chemistry sciences and we investigate the geometric properties of this optimization problem. Fourth-order optimality conditions are derived for characterizing local and global minima. When the matrix in the quadratic term is diagonal, the problem has no spurious local minima and global solutions can be represented explicitly and calculated in $O(n\log{n})$ operations. When $A$ is a rank one matrix, the global minima of the problem are unique under certain phase shift schemes. The strict-saddle property, which can imply polynomial time convergence of second-order-type algorithms, is established when the coefficient $\beta$ of the quartic term is either at least $O(n^{3/2})$ or not larger than $O(1)$. Finally, the Kurdyka-Lojasiewicz exponent of quartic-quadratic problem is estimated and it is shown that the exponent is ${1}/{4}$ for a broad class of stationary points.


title: Materials informatics based on evolutionary algorithms: Application to search for superconducting hydrogen compounds

abstract: We present materials informatics approach to search for superconducting hydrogen compounds, which is based on a genetic algorithm and a genetic programming. This method consists of four stages: (i) search for stable crystal structures of materials by a genetic algorithm, (ii) collection of physical and chemical property data by first-principles calculations, (iii) development of superconductivity predictor based on the database by a genetic programming, and (iv) discovery of potential candidates by regression analysis. By repeatedly performing the process as (i) $\rightarrow$ (ii) $\rightarrow$ (iii) $\rightarrow$ (iv) $\rightarrow$ (i) $\rightarrow$ $\dots$, the superconductivity of the discovered candidates is validated by first-principles calculations, and the database and predictor are further improved, which leads to an efficient search for superconducting materials. We applied this method to hypothetical ternary hydrogen compounds and predicted KScH$_{12}$ with a modulated hydrogen cage showing the superconducting critical temperature of 122 K at 300 GPa and GaAsH$_{6}$ showing 98 K at 180 GPa.


title: Impact of substructure on local dark matter searches

abstract: Dark matter substructure can contribute significantly to local dark matter searches and may provide a large uncertainty in the interpretation of those experiments. For direct detection experiments, sub-halos give rise to an additional dark matter component on top of the smooth dark matter distribution of the host halo. In the case of dark matter capture in the Sun, sub-halo encounters temporarily increase the number of captured particles. Even if the encounter happened in the past, the number of dark matter particles captured by the Sun can still be enhanced today compared to expectations from the host halo as those enhancements decay over time. Using results from an analytical model of the sub-halo population of a Milky Way-like galaxy, valid for sub-halo masses between $10^{-5}\,M_\odot$ and $10^{11}\,M_\odot$, we assess the impact of sub-halos on direct dark matter searches in a probabilistic way. We find that the impact on direct detection can be sizable, with a probability of $\sim 10^{-3}$ to find an $\mathcal{O}(1)$ enhancement of the recoil rate. In the case of the capture rate in the Sun, we find that $\mathcal{O}(1)$ enhancements are very unlikely, with probability $\lesssim 10^{-5}$, and are even impossible for some dark matter masses.


title: Integrating Spatial Configuration into Heatmap Regression Based CNNs for Landmark Localization

abstract: In many medical image analysis applications, often only a limited amount of training data is available, which makes training of convolutional neural networks (CNNs) challenging. In this work on anatomical landmark localization, we propose a CNN architecture that learns to split the localization task into two simpler sub-problems, reducing the need for large training datasets. Our fully convolutional SpatialConfiguration-Net (SCN) dedicates one component to locally accurate but ambiguous candidate predictions, while the other component improves robustness to ambiguities by incorporating the spatial configuration of landmarks. In our experimental evaluation, we show that the proposed SCN outperforms related methods in terms of landmark localization error on size-limited datasets.


title: The best extending cover-preserving geometric lattices of semimodular lattices

abstract: In 2010, G\'{a}bor Cz\'{e}dli and E. Tam\'{a}s Schmidt mentioned that the best cover-preserving embedding of a given semimodular lattice is not known yet [A cover-preserving embedding of semimodular lattices into geometric lattices, Advances in Mathematics 225 (2010) 2455-2463]. That is to say: What are the geometric lattices $G$ such that a given finite semimodular lattice $L$ has a cover-preserving embedding into $G$ with the smallest $|G|$? In this paper, we propose an algorithm to calculate all the best extending cover-preserving geometric lattices $G$ of a given semimodular lattice $L$ and prove that the length and the number of atoms of every best extending cover-preserving geometric lattice $G$ equal the length of $L$ and the number of non-zero join-irreducible elements of $L$, respectively. Therefore, we comprehend the best cover-preserving embedding of a given semimodular lattice.


title: Fiberwise bimeromorphic maps of conic bundles

abstract: Given a holomorphic conic bundle without sections, we show that finite groups acting by its fiberwise bimeromorphic transformations are bounded. This provides an analog of a similar result obtained by T.Bandman and Yu.Zarhin for quasi-projective conic bundles.


title: Merging variables: one technique of search in pseudo-Boolean optimization

abstract: In the present paper we describe new heuristic technique, which can be applied to the optimization of pseudo-Boolean functions including Black-Box functions. This technique is based on a simple procedure which consists in transition from the optimization problem over Boolean hypercube to the optimization problem of auxiliary function in a specially constructed metric space. It is shown that there is a natural connection between the points of the original Boolean hypercube and points from the new metric space. For the Boolean hypercube with fixed dimension it is possible to construct a number of such metric spaces. The proposed technique can be considered as a special case of Variable Neighborhood Search, which is focused on pseudo-Boolean optimization. Preliminary computational results show high efficiency of the proposed technique on some reasonably hard problems. Also it is shown that the described technique in combination with the well-known (1+1)-Evolutionary Algorithm allows to decrease the upper bound on the runtime of this algorithm for arbitrary pseudo-Boolean functions.