title: Quantifying the mini-batching error in Bayesian inference for Adaptive Langevin dynamics

abstract: Bayesian inference allows to obtain useful information on the parameters of models, either in computational statistics or more recently in the context of Bayesian Neural Networks. The computational cost of usual Monte Carlo methods for sampling posterior laws in Bayesian inference scales linearly with the number of data points. One option to reduce it to a fraction of this cost is to resort to mini-batching in conjunction with unadjusted discretizations of Langevin dynamics, in which case only a random fraction of the data is used to estimate the gradient. However, this leads to an additional noise in the dynamics and hence a bias on the invariant measure which is sampled by the Markov chain. We advocate using the so-called Adaptive Langevin dynamics, which is a modification of standard inertial Langevin dynamics with a dynamical friction which automatically corrects for the increased noise arising from mini-batching. We investigate the practical relevance of the assumptions underpinning Adaptive Langevin (constant covariance for the estimation of the gradient, Gaussian minibatching noise), which are not satisfied in typical models of Bayesian inference, and quantify the bias induced by minibatching in this case. We also suggest a possible extension of AdL to further reduce the bias on the posterior distribution, by considering a dynamical friction depending on the current value of the parameter to sample.


title: Analytic Classification of Generic Unfoldings of Antiholomorphic Parabolic Fixed Points of Codimension 1

abstract: We classify generic unfoldings of germs of antiholomorphic diffeomorphisms with a parabolic point of codimension 1 (i.e. a double fixed point) under conjugacy. These generic unfolding depend on one real parameter. The classification is done by assigning to each such germ a weak and a strong modulus, which are unfoldings of the modulus assigned to the antiholomorphic parabolic point. The weak and the strong moduli are unfoldings of the \'Ecalle-Voronin modulus of the second iterate of the germ which is a real unfolding of a holomorphic parabolic point. A preparation of the unfolding allows to identify one real analytic canonical parameter and any conjugacy between two prepared generic unfoldings preserves the canonical parameter. We also solve the realisation problem by giving necessary and sufficient conditions for a strong modulus to be realized. This is done simultaneously with solving the probem of the existence of an antiholomorphic square root to a germ of generic analytic unfolding of a holomorphic parabolic germ. As a second application we establish the condition for the existence of a real analytic invariant curve.


title: Interactive Query Formulation using Spider Queries

abstract: Effective information disclosure in the context of databases with a large conceptual schema is known to be a non-trivial problem. In particular the formulation of ad-hoc queries is a major problem in such contexts. Existing approaches for tackling this problem include graphical query interfaces, query by navigation, query by construction, and point to point queries. In this article we propose the spider query mechanism as a final corner stone for an easy to use computer supported query formulation mechanism for InfoAssisant. The basic idea behind a spider query is to build a (partial) query of all information considered to be relevant with respect to a given object type. The result of this process is always a tree that fans out over existing conceptual schema (a spider). We also provide a brief discussion on the integration of the spider quer mechanism with the existing query by navigation, query by construction, and point to point query


title: Definite Non-Ancestral Relations and Structure Learning

abstract: In causal graphical models based on directed acyclic graphs (DAGs), directed paths represent causal pathways between the corresponding variables. The variable at the beginning of such a path is referred to as an ancestor of the variable at the end of the path. Ancestral relations between variables play an important role in causal modeling. In existing literature on structure learning, these relations are usually deduced from learned structures and used for orienting edges or formulating constraints of the space of possible DAGs. However, they are usually not posed as immediate target of inference. In this work we investigate the graphical characterization of ancestral relations via CPDAGs and d-separation relations. We propose a framework that can learn definite non-ancestral relations without first learning the skeleton. This frame-work yields structural information that can be used in both score- and constraint-based algorithms to learn causal DAGs more efficiently.


title: Pixel super-resolution using spatially-entangled photon pairs

abstract: Pixelation occurs in many imaging systems and limits the spatial resolution of the acquired images. This effect is notably present in quantum imaging experiments with correlated photons in which the number of pixels used to detect coincidences is often limited by the sensor technology or the acquisition speed. Here, we introduce a pixel super-resolution technique based on measuring the full spatially-resolved joint probability distribution (JPD) of spatially-entangled photons. Without shifting optical elements or using prior information, our technique increases the pixel resolution of the imaging system by a factor two and enables retrieval of spatial information lost due to undersampling. We demonstrate its use in various quantum imaging protocols using photon pairs, including quantum illumination, entanglement-enabled quantum holography, and in a full-field version of N00N-state quantum holography. The JPD pixel super-resolution technique can benefit any full-field imaging system limited by the sensor spatial resolution, including all already established and future photon-correlation-based quantum imaging schemes, bringing these techniques closer to real-world applications.


title: Precision measurement of the $^{43}$Ca$^{+}$ nuclear magnetic moment

abstract: We report precision measurements of the nuclear magnetic moment of \textsuperscript{43}Ca\textsuperscript{+}, made by microwave spectroscopy of the 4s $^2$S$_{1/2}$ $\left|F=4, M=0\right\rangle \rightarrow \left|F=3, M=1\right\rangle$ ground level hyperfine clock transition at a magnetic field of $\approx$ 146 G, using a single laser-cooled ion in a Paul trap. We measure a clock transition frequency of $f = 3199941076.920 \pm 0.046$ Hz, from which we determine $\mu_I / \mu_{\rm{N}} = -1.315350(9)(1)$, where the uncertainty (9) arises from uncertainty in the hyperfine $A$ constant, and the (1) arises from the uncertainty in our measurement. This measurement is not corrected for diamagnetic shielding due to the bound electrons. We make a second measurement which is less precise but agrees with the first. We use our $\mu_I$ value, in combination with previous NMR results, to extract the change in shielding constant of calcium ions due to solvation in D$_2$O: $\Delta \sigma = -0.00022(1)$.


title: External Calibrator in Global Signal Experiment for Detection of the Epoch of Reionization

abstract: We present a conceptual design study of external calibrators in the 21 cm experiment towards detecting the globally averaged radiation of the epoch of reionization (EoR). Employment of external calibrator instead of internal calibrator commonly used in current EoR experiments allows to remove instrumental effects such as beam pattern, receiver gain and instability of the system if the conventional three-position switch measurements are implemented in a short time interval. Furthermore, in the new design the antenna system is placed in an underground anechoic chamber with an open/closing ceiling to maximally reduce the environmental effect such as RFI and ground radiation/reflection. It appears that three of the four external calibrators proposed in this paper, including two indoor artificial transmitters and one outdoor celestial radiation (the Galactic polarization), fail to meet our purpose. Diurnal motion of the Galactic diffuse emission turns to be the most possible source as an external calibrator, for which we have discussed the observational strategy and the algorithm of extracting the EoR signal.


title: An exploration of very triangular numbers

abstract: We present a collection of results concerning the location and distribution of very triangular numbers among triangular numbers, including the twin very triangular number theorem, the existence of arbitrarily long gaps between -- and an analog of Bertrand's postulate for -- very triangular numbers.


title: Chameleons on Cloudlets: Elastic Edge Computing Through Microservice Variants

abstract: Common deployment models for Edge Computing are based on (composable) microservices that are offloaded to cloudlets. Runtime adaptations-in response to varying load, QoS fulfillment, mobility, etc.-are typically based on coarse-grained and costly management operations such as resource re-allocation or migration. The services themselves, however, remain non-adaptive, worsening the already limited elasticity of Edge Computing compared to Cloud Computing. Edge computing applications often have stringent requirements on the execution time but are flexible regarding the quality of a computation. The potential benefits of exploiting this trade-off remain untapped. This paper introduces the concept of adaptable microservices that provide alternative variants of specific functionalities. We define so-called service variants that differ w.r.t. the internal functioning of the service, manifested in different algorithms, parameters, and auxiliary data they use. Such variants allow fine-grained trade-offs between the QoS (e.g., a maximum tolerable execution time) and the quality of the computation. We integrate adaptable microservices into an Edge Computing framework, show the practical impact of service variants, and present a strategy for switching variants at runtime.


title: AI Certification: Advancing Ethical Practice by Reducing Information Asymmetries

abstract: As artificial intelligence (AI) systems are increasingly deployed, principles for ethical AI are also proliferating. Certification offers a method to both incentivize adoption of these principles and substantiate that they have been implemented in practice. This paper draws from management literature on certification and reviews current AI certification programs and proposals. Successful programs rely on both emerging technical methods and specific design considerations. In order to avoid two common failures of certification, program designs should ensure that the symbol of the certification is substantially implemented in practice and that the program achieves its stated goals. The review indicates that the field currently focuses on self-certification and third-party certification of systems, individuals, and organizations - to the exclusion of process management certifications. Additionally, the paper considers prospects for future AI certification programs. Ongoing changes in AI technology suggest that AI certification regimes should be designed to emphasize governance criteria of enduring value, such as ethics training for AI developers, and to adjust technical criteria as the technology changes. Overall, certification can play a valuable mix in the portfolio of AI governance tools.


title: On the risk of infection by infectious aerosols in large indoor spaces

abstract: Airborne diseases can be transmitted by infectious aerosols in the near field, i.e., in close proximity, or in the far field, i.e., by infectious aerosols that are well mixed within the indoor air. Is it possible to say which mode of disease transmission is predominant in large indoor spaces? We addressed this question by measuring the transport of aerosols equivalent to the size of human respiratory particles in two large hardware stores (V>10000 m$^3$). We found that aerosol concentrations in both stores decreased rapidly and almost independently of aerosol size, despite the different ventilation systems. A persistent and directional airflow on the order of a few cm/s was observed in both stores. Consequently, aerosol dynamics in such open settings can be expected to be dominated by turbulent dispersion and sweeping, and the accumulation of infectious aerosols in the indoor air is unlikely to contribute significantly to the risk of infection as long as the occupancy of the store is not too high. Under these conditions, well-fitting face masks are an excellent means of preventing disease transmission by human aerosols.


title: Automated Detection of Abnormalities from an EEG Recording of Epilepsy Patients With a Compact Convolutional Neural Network

abstract: Electroencephalography (EEG) is essential for the diagnosis of epilepsy, but it requires expertise and experience to identify abnormalities. It is thus crucial to develop automated models for the detection of abnormalities in EEGs related to epilepsy. This paper describes the development of a novel class of compact convolutional neural networks (CNNs) for detecting abnormal patterns and electrodes in EEGs for epilepsy. The designed model is inspired by a CNN developed for brain-computer interfacing called multichannel EEGNet (mEEGNet). Unlike the EEGNet, the proposed model, mEEGNet, has the same number of electrode inputs and outputs to detect abnormal patterns. The mEEGNet was evaluated with a clinical dataset consisting of 29 cases of juvenile and childhood absence epilepsy labeled by a clinical expert. The labels were given to paroxysmal discharges visually observed in both ictal (seizure) and interictal (nonseizure) durations. Results showed that the mEEGNet detected abnormalities with the area under the curve, F1-values, and sensitivity equivalent to or higher than those of existing CNNs. Moreover, the number of parameters is much smaller than other CNN models. To our knowledge, the dataset of absence epilepsy validated with machine learning through this research is the largest in the literature.


title: Comment on: "Bound states and the potential parameter spectrum". J. Math. Phys. \textbf{67}, 062103 (2020)

abstract: We analyze the application of the "tridiagonal representation approach" (TRA) to the Schr\"{o}dinger equation for some simple, exactly-solvable, quantum-mechanical models. In the case of the Kratzer-Fues potential the mathematical reasoning appears to exhibit a serious flaw that invalidates the result and the expression for the energy does not appear to be correct. We also show that the well known Frobenius method, which resembles the TRA, is far simpler, clearer and more elegant; in addition to give the correct result.


title: Multi-source Learning via Completion of Block-wise Overlapping Noisy Matrices

abstract: Matrix completion has attracted attention in many fields, including statistics, applied mathematics, and electrical engineering. Most of the works focus on the independent sampling models under which the observed entries are sampled independently. Motivated by applications in the integration of knowledge graphs derived from multi-source biomedical data such as those from Electronic Health Records (EHR) and biomedical text, we propose the {\bf B}lock-wise {\bf O}verlapping {\bf N}oisy {\bf M}atrix {\bf I}ntegration (BONMI) to treat blockwise missingness of symmetric matrices representing relatedness between entity pairs. Our idea is to exploit the orthogonal Procrustes problem to align the eigenspace of the two sub-matrices, then complete the missing blocks by the inner product of the two low-rank components. Besides, we prove the statistical rate for the eigenspace of the underlying matrix, which is comparable to the rate under the independently missing assumption. Simulation studies show that the method performs well under a variety of configurations. In the real data analysis, the method is applied to two tasks: (i) the integrating of several point-wise mutual information matrices built by English EHR and Chinese medical text data, and (ii) the machine translation between English and Chinese medical concepts. Our method shows an advantage over existing methods.

categories: stat.ML cs.LG math.ST stat.AP stat.ME stat.TH


title: Linearizability of eigenvector nonlinearities

abstract: We present a method to linearize, without approximation, a specific class of eigenvalue problems with eigenvector nonlinearities (NEPv), where the nonlinearities are expressed by scalar functions that are defined by a quotient of linear functions of the eigenvector. The exact linearization relies on an equivalent multiparameter problem (MEP) that contains the exact solutions of the NEPv. Due to the characterization of MEPs in terms of a generalized eigenvalue problem this provides a direct way to compute all NEPv solutions for small problems, and it opens up the possibility to develop locally convergent iterative methods for larger problems. Moreover, the linear formulation allows us to easily determine the number of solutions of the NEPv. We propose two numerical schemes that exploit the structure of the linearization: inverse iteration and residual inverse iteration. We show how symmetry in the MEP can be used to improve reliability and reduce computational cost of both methods. Two numerical examples verify the theoretical results and a third example shows the potential of a hybrid scheme that is based on a combination of the two proposed methods.


title: Functionals in the Clouds: An abstract architecture of serverless Cloud-Native Apps

abstract: Cloud Native Application CNApp (as a distributed system) is a collection of independent components (micro-services) interacting via communication protocols. This gives rise to present an abstract architecture of CNApp as dynamically re-configurable acyclic directed multi graph where vertices are microservices, and edges are the protocols. Generic mechanisms for such reconfigurations evidently correspond to higher-level functions (functionals). This implies also internal abstract architecture of microservice as a collection of event-triggered serverless functions (including functions implementing the protocols) that are dynamically composed into event-dependent data-flow graphs. Again, generic mechanisms for such compositions correspond to calculus of functionals and relations.


title: Classification of Positive Radial Solutions to A Weighted Biharmonic Equation

abstract: In this paper, we consider the weighted fourth order equation $$\Delta(|x|^{-\alpha}\Delta u)+\lambda \text{div}(|x|^{-\alpha-2}\nabla u)+\mu|x|^{-\alpha-4}u=|x|^\beta u^p\quad \text{in} \quad \mathbb{R}^n \backslash \{0\},$$ where $n\geq 5$, $-n<\alpha<n-4$, $p>1$ and $(p,\alpha,\beta,n)$ belongs to the critical hyperbola $$\frac{n+\alpha}{2}+\frac{n+\beta}{p+1}=n-2.$$ We prove the existence of radial solutions to the equation for some $\lambda$ and $\mu$. On the other hand, let $v(t):=|x|^{\frac{n-4-\alpha}{2}}u(|x|)$, $t=-\ln |x|$, then for the radial solution $u$ with non-removable singularity at origin, $v(t)$ is a periodic function if $\alpha \in (-2,n-4)$ and $\lambda$, $\mu$ satisfy some conditions; while for $\alpha \in (-n,-2]$, there exists a radial solution with non-removable singularity and the corresponding function $v(t)$ is not periodic. We also get some results about the best constant and symmetry breaking, which is closely related to the Caffarelli-Kohn-Nirenberg type inequality.


title: The Shuffle Variant of a Diophantine equation of Miyazaki and Togb\'{e}

abstract: In 2012, T. Miyazaki and A. Togb\'{e} gave all of the solutions of the Diophantine equations $(2am-1)^x+(2m)^y=(2am+1)^z$ and $b^x+2^y=(b+2)^z$ in positive integers $x,y,z,$ $a>1$ and $b\ge 5$ odd. In this paper, we propose a similar problem (which we call the shuffle variant of a Diophantine equation of Miyazaki and Togb\'{e}). Here we first prove that the Diophantine equation $(2am+1)^x+(2m)^y=(2am-1)^z$ has only the solutions $(a, m, x, y, z)=(2, 1, 2, 1, 3)$ and $(2,1,1,2,2)$ in positive integers $a>1,m,x,y,z$. Then using this result, we show that the Diophantine equation $b^x+2^y=(b-2)^z$ has only the solutions $(b,x, y, z)=(5, 2, 1, 3)$ and $(5,1,2,2)$ in positive integers $x,y,z$ and $b$ odd.


title: Dynamical models for metabolomics data integration

abstract: As metabolomics datasets are becoming larger and more complex, there is an increasing need for model-based data integration and analysis to optimally leverage these data. Dynamical models of metabolism allow for the integration of heterogeneous data and the analysis of dynamical phenotypes. Here, we review recent efforts in using dynamical metabolic models for data integration, focusing on approaches that are not restricted to steady-state measurements or that require flux distributions as inputs. Furthermore, we discuss recent advances and current challenges. We conclude that much progress has been made in various areas, such as the development of scalable simulation tools, and that, although challenges remain, dynamical modeling is a powerful tool for metabolomics data analysis that is not yet living up to its full potential.


title: Going Beyond Second Screens: Applications for the Multi-display Intelligent Living Room

abstract: This work aims to investigate how the amenities offered by Intelligent Environments can be used to shape new types of useful, exciting and fulfilling experiences while watching sports or movies. Towards this direction, two ambient media players were developed aspiring to offer live access to secondary information via the available displays of an Intelligent Living Room, and to appropriately exploit the technological equipment so as to support natural interaction. Expert-based evaluation experiments revealed some factors that can influence the overall experience significantly, without hindering the viewers' immersion to the main media.


title: ATLAS ITk Pixel Detector Overview

abstract: For the High Luminosity upgrade of the Large Hadron Collider the current ATLAS Inner Detector will be replaced by an all-silicon Inner Tracker. The pixel detector will consist of five barrel layers and a number of rings, resulting in about 13 m^2 of instrumented area. Due to the huge non-ionising fluence (1e16 neq/cm^2) and ionising dose (5 MGy), the two innermost layers, instrumented with 3D pixel sensors and 100 um thin planar sensors, will be replaced after about five years of operation. Each pixel layer comprises hybrid detector modules that will be read out by novel ASICs, implemented in 65 nm CMOS technology, with a bandwidth of up to 5 Gbit/s. Data will be transmitted optically to the off-detector readout system. To save material in the servicing cables, serial powering is employed for the supply voltage of the readout ASICs. Large scale prototyping programmes are being carried out by all subsystems. This paper will give an overview of the layout and current status of the development of the ITk Pixel Detector.


title: Development and evaluation of an Explainable Prediction Model for Chronic Kidney Disease Patients based on Ensemble Trees

abstract: Chronic Kidney Disease (CKD), where delayed recognition implies premature mortality, is currently experiencing a globally increasing incidence and high cost to health systems. Data mining allows discovering subtle patterns in CKD indicators to contribute to an early diagnosis. This work presents the development and evaluation of an explainable prediction model that would support clinicians in the early diagnosis of CKD patients. The model development is based on a data management pipeline that detects the best combination of ensemble trees algorithms and features selected concerning classification performance. Furthermore, the main contribution of the paper involves an explainability-driven approach that allows selecting the best predictive model maintaining a balance between accuracy and explainability. Therefore, the most balanced explainable predictive model implements an extreme gradient boosting classifier over 3 features (packed cell value, specific gravity, and hypertension), achieving an accuracy of 99.2% and 97.5% with cross-validation technique and with new unseen data respectively. In addition, an analysis of the model's explainability shows that the packed cell value is the most relevant feature that influences the prediction results of the model, followed by specific gravity and hypertension. This small number of feature selected results in a reduced cost of the early diagnosis of CKD implying a promising solution for developing countries.


title: Hierarchical Consistency Regularized Mean Teacher for Semi-supervised 3D Left Atrium Segmentation

abstract: Deep learning has achieved promising segmentation performance on 3D left atrium MR images. However, annotations for segmentation tasks are expensive, costly and difficult to obtain. In this paper, we introduce a novel hierarchical consistency regularized mean teacher framework for 3D left atrium segmentation. In each iteration, the student model is optimized by multi-scale deep supervision and hierarchical consistency regularization, concurrently. Extensive experiments have shown that our method achieves competitive performance as compared with full annotation, outperforming other state-of-the-art semi-supervised segmentation methods.


title: Bregman Proximal Point Algorithm Revisited: A New Inexact Version and its Inertial Variant

abstract: We study a general convex optimization problem, which covers various classic problems in different areas and particularly includes many optimal transport related problems arising in recent years. To solve this problem, we revisit the classic Bregman proximal point algorithm (BPPA) and introduce a new inexact stopping condition for solving the subproblems, which can circumvent the underlying feasibility difficulty often appearing in existing inexact conditions when the problem has a complex feasible set. Our inexact condition also covers several existing inexact conditions as special cases and hence makes our inexact BPPA (iBPPA) more flexible to fit different scenarios in practice. Moreover, inspired by Nesterov's acceleration technique, we develop an inertial variant of our iBPPA, denoted by V-iBPPA, and establish the iteration complexity of $O(1/k^{\lambda})$, where $\lambda\geq1$ is a quadrangle scaling exponent of the kernel function. In particular, when the proximal parameter is a constant and the kernel function is strongly convex with Lipschitz continuous gradient (hence $\lambda=2$), our V-iBPPA achieves a faster rate of $O(1/k^2)$ just as existing accelerated inexact proximal point algorithms. Some preliminary numerical experiments for solving the standard OT problem are conducted to show the convergence behaviors of our iBPPA and V-iBPPA under different inexactness settings. The experiments also empirically verify the potential of our V-iBPPA on improving the convergence speed.


title: LoopNet: Musical Loop Synthesis Conditioned On Intuitive Musical Parameters

abstract: Loops, seamlessly repeatable musical segments, are a cornerstone of modern music production. Contemporary artists often mix and match various sampled or pre-recorded loops based on musical criteria such as rhythm, harmony and timbral texture to create compositions. Taking such criteria into account, we present LoopNet, a feed-forward generative model for creating loops conditioned on intuitive parameters. We leverage Music Information Retrieval (MIR) models as well as a large collection of public loop samples in our study and use the Wave-U-Net architecture to map control parameters to audio. We also evaluate the quality of the generated audio and propose intuitive controls for composers to map the ideas in their minds to an audio loop.


title: The Truth about Power Laws: Theory and Reality

abstract: Consensus about the universality of the power law feature in complex networks is experiencing profound challenges. To shine fresh light on this controversy, we propose a generic theoretical framework in order to examine the power law property. First, we study a class of birth-and-death networks that is ubiquitous in the real world, and calculate its degree distributions. Our results show that the tails of its degree distributions exhibits a distinct power law feature, providing robust theoretical support for the ubiquity of the power law feature. Second, we suggest that in the real world two important factors, network size and node disappearance probability, point to the existence of the power law feature in the observed networks. As network size reduces, or as the probability of node disappearance increases, then the power law feature becomes increasingly difficult to observe. Finally, we suggest that an effective way of detecting the power law property is to observe the asymptotic (limiting) behaviour of the degree distribution within its effective intervals.


title: A Precise Performance Analysis of Support Vector Regression

abstract: In this paper, we study the hard and soft support vector regression techniques applied to a set of $n$ linear measurements of the form $y_i=\boldsymbol{\beta}_\star^{T}{\bf x}_i +n_i$ where $\boldsymbol{\beta}_\star$ is an unknown vector, $\left\{{\bf x}_i\right\}_{i=1}^n$ are the feature vectors and $\left\{{n}_i\right\}_{i=1}^n$ model the noise. Particularly, under some plausible assumptions on the statistical distribution of the data, we characterize the feasibility condition for the hard support vector regression in the regime of high dimensions and, when feasible, derive an asymptotic approximation for its risk. Similarly, we study the test risk for the soft support vector regression as a function of its parameters. Our results are then used to optimally tune the parameters intervening in the design of hard and soft support vector regression algorithms. Based on our analysis, we illustrate that adding more samples may be harmful to the test performance of support vector regression, while it is always beneficial when the parameters are optimally selected. Such a result reminds a similar phenomenon observed in modern learning architectures according to which optimally tuned architectures present a decreasing test performance curve with respect to the number of samples.


title: Quark Nova with the Producing of Color-Flavor Locked Quark Matter

abstract: In this paper, we suggest that the process in quark nova explosion may exist widely in various kinds of supernova, although it only happens in a small part in the core in most cases. And the contribution to the energy releasing of whole supernova explosion can also be provided by QCD interacting term. In this way we derive a general equation of energy quantity to be released in quark nova process related to several parameters. After quark nova explosion process, the remnant can be a quark star, or a neutron star with quark matter core if this process only happens in a small part inside the compact star instead of a "full" quark nova. We will also use a more generalized approach to analyse the strangelets released from quark nova and will draw a possible interpretation of why effects caused by strangelets have not been observed yet. Our result suggests that the ordinary matter can only spontaneously transform into strange quark matter by crushing them into high pressure under the extreme condition in compact star, although generally the reaction would really be exergonic.


title: An Efficient Training Approach for Very Large Scale Face Recognition

abstract: Face recognition has achieved significant progress in deep learning era due to the ultra-large-scale and welllabeled datasets. However, training on the outsize datasets is time-consuming and takes up a lot of hardware resource. Therefore, designing an efficient training approach is indispensable. The heavy computational and memory costs mainly result from the million-level dimensionality of thefully connected (FC) layer. To this end, we propose a novel training approach, termed Faster Face Classification (F2C), to alleviate time and cost without sacrificing the performance. This method adopts Dynamic Class Pool (DCP) for storing and updating the identities features dynamically, which could be regarded as a substitute for the FC layer. DCP is efficiently time-saving and cost-saving, as its smaller size with the independence from the whole face identities together. We further validate the proposed F2C method across several face benchmarks and private datasets, and display comparable results, meanwhile the speed is faster than state-of-the-art FC-based methods in terms of recognition accuracy and hardware costs. Moreover, our method is further improved by a well-designed dual data loader including indentity-based and instancebased loaders, which makes it more efficient for the updating DCP parameters.


title: An asymptotic preserving scheme for a tumor growth model of porous medium type

abstract: Mechanical models of tumor growth based on a porous medium approach have been attracting a lot of interest both analytically and numerically. In this paper, we study the stability properties of a finite difference scheme for a model where the density evolves down pressure gradients and the growth rate depends on the pressure and possibly nutrients. Based on the stability results, we prove the scheme to be asymptotic preserving (AP) in the incompressible limit. Numerical simulations are performed in order to investigate the regularity of the pressure. We study the sharpness of the $L^4$-uniform bound of the gradient, the limiting case being a solution whose support contains a bubble which closes-up in finite time generating a singularity, the so-called focusing solution.


title: Adaptive Filters in Graph Convolutional Neural Networks

abstract: Over the last few years, we have witnessed the availability of an increasing data generated from non-Euclidean domains, which are usually represented as graphs with complex relationships, and Graph Neural Networks (GNN) have gained a high interest because of their potential in processing graph-structured data. In particular, there is a strong interest in exploring the possibilities in performing convolution on graphs using an extension of the GNN architecture, generally referred to as Graph Convolutional Neural Networks (ConvGNN). Convolution on graphs has been achieved mainly in two forms: spectral and spatial convolutions. Due to the higher flexibility in exploring and exploiting the graph structure of data, there is recently an increasing interest in investigating the possibilities that the spatial approach can offer. The idea of finding a way to adapt the network behaviour to the inputs they process to maximize the total performances has aroused much interest in the neural networks literature over the years. This paper presents a novel method to adapt the behaviour of a ConvGNN to the input proposing a method to perform spatial convolution on graphs using input-specific filters, which are dynamically generated from nodes feature vectors. The experimental assessment confirms the capabilities of the proposed approach, which achieves satisfying results using a low number of filters.


title: An Algorithm for Grant-Free Random Access in Cell-Free Massive MIMO

abstract: Massive access is one of the main use cases of beyond 5G (B5G) wireless networks and massive MIMO is a key technology for supporting it. Prior works studied massive access in the co-located massive MIMO framework. In this paper, we investigate the activity detection in grant-free random access for massive machine type communications (mMTC) in cell-free massive MIMO network. Each active device transmits a pre-assigned non-orthogonal pilot sequence to the APs and the APs send the received signals to a central processing unit (CPU) for joint activity detection. We formulate the maximum likelihood device activity detection problem and provide an algorithm based on coordinate descent method having affordable complexity. We show that the cell-free massive MIMO network can support low-powered mMTC devices and provide a broad coverage.


title: 3D Human Pose Regression using Graph Convolutional Network

abstract: 3D human pose estimation is a difficult task, due to challenges such as occluded body parts and ambiguous poses. Graph convolutional networks encode the structural information of the human skeleton in the form of an adjacency matrix, which is beneficial for better pose prediction. We propose one such graph convolutional network named PoseGraphNet for 3D human pose regression from 2D poses. Our network uses an adaptive adjacency matrix and kernels specific to neighbor groups. We evaluate our model on the Human3.6M dataset which is a standard dataset for 3D pose estimation. Our model's performance is close to the state-of-the-art, but with much fewer parameters. The model learns interesting adjacency relations between joints that have no physical connections, but are behaviorally similar.


title: Evanescent affine isometric actions and weak identity excluding groups

abstract: We investiguate a property of affine isometric actions on Hilbert spaces called evanescence. Evanescent actions are the extreme opposite of irreducible actions. Every affine isometric action decomposes naturally into an evanescent part and an irreducible part. We study when this decomposition is unique. We also study when an action that has almost fixed points is automatically evanescent. We relate these questions to the identity excluding property for groups. We also relate them to the finiteness of the von Neumann algebras generated by the linear part of the action.


title: Entropy-based Discovery of Summary Causal Graphs in Time Series

abstract: This study addresses the problem of learning a summary causal graph on time series with potentially different sampling rates. To do so, we first propose a new causal temporal mutual information measure for time series. We then show how this measure relates to an entropy reduction principle that can be seen as a special case of the probability raising principle. We finally combine these two ingredients in PC-like and FCI-like algorithms to construct the summary causal graph. There algorithm are evaluated on several datasets, which shows both their efficacy and efficiency.


title: Learning general and distinctive 3D local deep descriptors for point cloud registration

abstract: An effective 3D descriptor should be invariant to different geometric transformations, such as scale and rotation, robust to occlusions and clutter, and capable of generalising to different application domains. We present a simple yet effective method to learn general and distinctive 3D local descriptors that can be used to register point clouds that are captured in different domains. Point cloud patches are extracted, canonicalised with respect to their local reference frame, and encoded into scale and rotation-invariant compact descriptors by a deep neural network that is invariant to permutations of the input points. This design is what enables our descriptors to generalise across domains. We evaluate and compare our descriptors with alternative handcrafted and deep learning-based descriptors on several indoor and outdoor datasets that are reconstructed by using both RGBD sensors and laser scanners. Our descriptors outperform most recent descriptors by a large margin in terms of generalisation, and also become the state of the art in benchmarks where training and testing are performed in the same domain.


title: From Measuring Land Use Mix to Measuring Land Use Pattern -- New Methods for Assessing Land Use

abstract: Land use mix is one of the central concepts in the urban planning field, though its measure has been found to have many fallacies. In this study, we propose multiple alternative methods to the Conventional Shannon Entropy land use mix index, which is generally employed to measure land use diversity. The study attempted to measure land use mix from two new perspectives and test the performance of the new measures with economic, transportation, and social outcomes. We first offered an improved single measure, entropy-based land use mix index weighted by adding surrounding land use attributes and the regional land use context to mitigate the modifiable area unit problem (MAUP) and equal composition issue. Second, we designed a multi-measure method to describe land use patterns via clustering. We found that the new single measure method is more effective than the existing Conventional Shannon Entropy index in accurately delivering the vision of land use mix that Jane Jacobs originally proposed. We also found the multi-measure clustering method performed much better in the regression model on various effect variables, compared with both conventional and other new index. Upon further review, we found that land use pattern complexity's relationship with various outcomes makes a single definition measure very difficult to represent true land use fully. Therefore, we recommend that future research measure whether or not land use is mixed to then assess land use pattern.


title: FRaGenLP: A Generator of Random Linear Programming Problems for Cluster Computing Systems

abstract: The article presents and evaluates a scalable FRaGenLP algorithm for generating random linear programming problems of large dimension $n$ on cluster computing systems. To ensure the consistency of the problem and the boundedness of the feasible region, the constraint system includes $2n+1$ standard inequalities, called support inequalities. New random inequalities are generated and added to the system in a manner that ensures the consistency of the constraints. Furthermore, the algorithm uses two likeness metrics to prevent the addition of a new random inequality that is similar to one already present in the constraint system. The algorithm also rejects random inequalities that cannot affect the solution of the linear programming problem bounded by the support inequalities. The parallel implementation of the FRaGenLP algorithm is performed in C++ through the parallel BSF-skeleton, which encapsulates all aspects related to the MPI-based parallelization of the program. We provide the results of large-scale computational experiments on a cluster computing system to study the scalability of the FRaGenLP algorithm.


title: A Comment on the Conformable Euler Finite Difference Method

abstract: A method, recently advanced as the conformable Euler method, a general method for the finite difference discretization of fractional initial value problems for fractions in (0, 1], is shown to be valid only for the integer derivative. The property of the conformable fractional derivative used to show this limitation of the method is used, together with the integer definition of the derivative, to derive a modified conformable Euler method for the initial value problem considered.


title: Analysis of Boolean Functions

abstract: The subject of this textbook is the analysis of Boolean functions. Roughly speaking, this refers to studying Boolean functions $f : \{0,1\}^n \to \{0,1\}$ via their Fourier expansion and other analytic means. Boolean functions are perhaps the most basic object of study in theoretical computer science, and Fourier analysis has become an indispensable tool in the field. The topic has also played a key role in several other areas of mathematics, from combinatorics, random graph theory, and statistical physics, to Gaussian geometry, metric/Banach spaces, and social choice theory. The intent of this book is both to develop the foundations of the field and to give a wide (though far from exhaustive) overview of its applications. Each chapter ends with a "highlight" showing the power of analysis of Boolean functions in different subject areas: property testing, social choice, cryptography, circuit complexity, learning theory, pseudorandomness, hardness of approximation, concrete complexity, and random graph theory. The book can be used as a reference for working researchers or as the basis of a one-semester graduate-level course. The author has twice taught such a course at Carnegie Mellon University, attended mainly by graduate students in computer science and mathematics but also by advanced undergraduates, postdocs, and researchers in adjacent fields. In both years most of Chapters 1-5 and 7 were covered, along with parts of Chapters 6, 8, 9, and 11, and some additional material on additive combinatorics. Nearly 500 exercises are provided at the ends of the book's chapters.


title: Object-Process Methodology for Intelligent System Development

abstract: Development of the new artificial systems with unique characteristics is very challenging task. In this paper the application of the hybrid super intelligence concept with object-process methodology to develop unique high-performance computational systems is considered. The methodological approach how to design new intelligent components for existing high-performance computing development systems is proposed on the example of system requirements creation for "MicroAI" and "Artificial Electronic" systems.


title: Pinnacle Set Properties

abstract: Let pi = pi_1 pi_2 ... pi_n be a permutation in the symmetric group S_n written in one-line notation. The pinnacle set of pi, denoted Pin pi, is the set of all pi_i such that pi_{i-1} < pi_i > pi_{i+1}. This is an analogue of the well-studied peak set of pi where one considers values rather than positions. The pinnacle set was introduced by Davis, Nelson, Petersen, and Tenner who showed that it has many interesting properties. In particular, they proved that the number of subsets of [n] = {1, 2, ..., n} which can be the pinnacle set of some permutation is a binomial coefficient. Their proof involved a bijection with lattice paths and was somewhat involved. We give a simpler demonstration of this result which does not need lattice paths. Moreover, we show that our map and theirs are different descriptions of the same function. Davis et al. also studied the number of pinnacle sets with maximum m and cardinality d which they denoted by p(m,d). We show that these integers are ballot numbers and give two proofs of this fact: one using finite differences and one bijective. Diaz-Lopez, Harris, Huang, Insko, and Nilsen found a summation formula for calculating the number of permutations in S_n having a given pinnacle set. We derive a new expression for this number which is faster to calculate in many cases. We also show how this method can be adapted to find the number of orderings of a pinnacle set which can be realized by some pi in S_n.


title: Learning Visible Connectivity Dynamics for Cloth Smoothing

abstract: Robotic manipulation of cloth remains challenging for robotics due to the complex dynamics of the cloth, lack of a low-dimensional state representation, and self-occlusions. In contrast to previous model-based approaches that learn a pixel-based dynamics model or a compressed latent vector dynamics, we propose to learn a particle-based dynamics model from a partial point cloud observation. To overcome the challenges of partial observability, we infer which visible points are connected on the underlying cloth mesh. We then learn a dynamics model over this visible connectivity graph. Compared to previous learning-based approaches, our model poses strong inductive bias with its particle based representation for learning the underlying cloth physics; it is invariant to visual features; and the predictions can be more easily visualized. We show that our method greatly outperforms previous state-of-the-art model-based and model-free reinforcement learning methods in simulation. Furthermore, we demonstrate zero-shot sim-to-real transfer where we deploy the model trained in simulation on a Franka arm and show that the model can successfully smooth different types of cloth from crumpled configurations. Videos can be found on our project website.


title: Giant nonlocal edge conduction in the axion insulator state of MnBi2Te4

abstract: The recently discovered antiferromagnetic (AFM) topological insulator (TI) MnBi2Te4 represents a versatile material platform for exploring exotic topological quantum phenomena in nanoscale devices. It has been proposed that even-septuple-layer (even-SL) MnBi2Te4 can host helical hinge currents with unique nonlocal behavior, but experimental confirmation is still lacking. In this work, we report transport studies of exfoliated MnBi2Te4 flakes with varied thicknesses down to the few-nanometer regime. We observe giant nonlocal transport signals in even-SL devices when the system is in the axion insulator state but vanishingly small nonlocal signal in the odd-SL devices at the same magnetic field range. In conjunction with theoretical calculations, we demonstrate that the nonlocal transport is via the helical edge currents mainly distributed at the hinges between the side and top/bottom surfaces. The helical edge currents in the axion insulator state may find unique applications in topological quantum devices.


title: A bouquet of pseudo-arcs

abstract: We prove the existence of a transcendental entire function whose Julia set is a "bouquet of pseudo-arcs". More precisely, the union of the Julia set with infinity is an uncountable union of pseudo-arcs, which are pairwise disjoint except at infinity. The existence of such a function follows from a more general result of the second author, but our construction is considerably simpler and more explicit. In particular, the function we construct can be chosen to have lower order $1/2$, while the lower order in the previously known example is infinite.


title: Computational Efficient Approximations of the Concordance Probability in a Big Data Setting

abstract: Performance measurement is an essential task once a statistical model is created. The Area Under the receiving operating characteristics Curve (AUC) is the most popular measure for evaluating the quality of a binary classifier. In this case, AUC is equal to the concordance probability, a frequently used measure to evaluate the discriminatory power of the model. Contrary to AUC, the concordance probability can also be extended to the situation with a continuous response variable. Due to the staggering size of data sets nowadays, determining this discriminatory measure requires a tremendous amount of costly computations and is hence immensely time consuming, certainly in case of a continuous response variable. Therefore, we propose two estimation methods that calculate the concordance probability in a fast and accurate way and that can be applied to both the discrete and continuous setting. Extensive simulation studies show the excellent performance and fast computing times of both estimators. Finally, experiments on two real-life data sets confirm the conclusions of the artificial simulations.


title: ReLUSyn: Synthesizing Stealthy Attacks for Deep Neural Network Based Cyber-Physical Systems

abstract: Cyber Physical Systems (cps) are deployed in many mission-critical settings, such as medical devices, autonomous vehicular systems and aircraft control management systems. As more and more CPS adopt Deep Neural Networks (Deep Neural Network (dnns), these systems can be vulnerable to attacks. . Prior work has demonstrated the susceptibility of CPS to False Data Injection Attacks (False Data Injection Attacks (fdias), which can cause significant damage. We identify a new category of attacks on these systems. In this paper, we demonstrate that DNN based CPS are also subject to these attacks. These attacks, which we call Ripple False Data Injection Attacks (rfdia), use minimal input perturbations to stealthily change the dnn output. The input perturbations propagate as ripples through multiple dnn layers to affect the output in a targeted manner. We develop an automated technique to synthesize rfdias against DNN-based CPS. Our technique models the attack as an optimization problem using Mixed Integer Linear Programming (Mixed Integer Linear Program (milp)). We define an abstraction for dnnbased cps that allows us to automatically: 1) identify the critical inputs, and 2) find the smallest perturbations that produce output changes. We demonstrate our technique on three practical cps with two mission-critical applications: an (Artifical Pancreas System (aps)) and two aircraft control management systems (Horizontal Collision Avoidance System (hcas) and Collision Avoidance System-Xu (acas-xu)).


title: High Accuracy and Low Complexity Frequency Offset Estimation Based on All-Phase FFT for M-QAM Coherent Optical Systems

abstract: A low complexity frequency offset estimation algorithm based on all-phase FFT for M-QAM is proposed. Compared with two-stage algorithms such as FFT+CZT and FFT+ZoomFFT, our algorithm can lower computational complexity by 73% and 30% respectively, without loss of the estimation accuracy.


title: Combined Transmission and Distribution State-Estimation for Future Electric Grids

abstract: Proliferation of grid resources on the distribution network along with the inability to forecast them accurately will render the existing methodology of grid operation and control untenable in the future. Instead, a more distributed yet coordinated approach for grid operation and control will emerge that models and analyzes the grid with a larger footprint and deeper hierarchy to unify control of disparate T&D grid resources under a common framework. Such approach will require AC state-estimation (ACSE) of joint T&D networks. Today, no practical method for realizing combined T&D ACSE exists. This paper addresses that gap from circuit-theoretic perspective through realizing a combined T&D ACSE solution methodology that is fast, convex and robust against bad-data. To address daunting challenges of problem size (million+ variables) and data-privacy, the approach is distributed both in memory and computing resources. To ensure timely convergence, the approach constructs a distributed circuit model for combined T&D networks and utilizes node-tearing techniques for efficient parallelism. To demonstrate the efficacy of the approach, combined T&D ACSE algorithm is run on large test networks that comprise of multiple T&D feeders. The results reflect the accuracy of the estimates in terms of root mean-square error and algorithm scalability in terms of wall-clock time.


title: Language Understanding for Field and Service Robots in a Priori Unknown Environments

abstract: Contemporary approaches to perception, planning, estimation, and control have allowed robots to operate robustly as our remote surrogates in uncertain, unstructured environments. This progress now creates an opportunity for robots to operate not only in isolation, but also with and alongside humans in our complex environments. Realizing this opportunity requires an efficient and flexible medium through which humans can communicate with collaborative robots. Natural language provides one such medium, and through significant progress in statistical methods for natural-language understanding, robots are now able to interpret a diverse array of free-form commands. However, most contemporary approaches require a detailed, prior spatial-semantic map of the robot's environment that models the space of possible referents of an utterance. Consequently, these methods fail when robots are deployed in new, previously unknown, or partially-observed environments, particularly when mental models of the environment differ between the human operator and the robot. This paper provides a comprehensive description of a novel learning framework that allows field and service robots to interpret and correctly execute natural-language instructions in a priori unknown, unstructured environments. Integral to our approach is its use of language as a "sensor" -- inferring spatial, topological, and semantic information implicit in the utterance and then exploiting this information to learn a distribution over a latent environment model. We incorporate this distribution in a probabilistic, language grounding model and infer a distribution over a symbolic representation of the robot's action space. We use imitation learning to identify a belief-space policy that reasons over the environment and behavior distributions. We evaluate our framework through a variety navigation and mobile-manipulation experiments.


title: NVCache: A Plug-and-Play NVMM-based I/O Booster for Legacy Systems

abstract: This paper introduces NVCache, an approach that uses a non-volatile main memory (NVMM) as a write cache to improve the write performance of legacy applications. We compare NVCache against file systems tailored for NVMM (Ext4-DAX and NOVA) and with I/O-heavy applications (SQLite, RocksDB). Our evaluation shows that NVCache reaches the performance level of the existing state-of-the-art systems for NVMM, but without their limitations: NVCache does not limit the size of the stored data to the size of the NVMM, and works transparently with unmodified legacy applications, providing additional persistence guarantees even when their source code is not available.


title: Semi-supervised Learning for Identifying the Likelihood of Agitation in People with Dementia

abstract: Interpreting the environmental, behavioural and psychological data from in-home sensory observations and measurements can provide valuable insights into the health and well-being of individuals. Presents of neuropsychiatric and psychological symptoms in people with dementia have a significant impact on their well-being and disease prognosis. Agitation in people with dementia can be due to many reasons such as pain or discomfort, medical reasons such as side effects of a medicine, communication problems and environment. This paper discusses a model for analysing the risk of agitation in people with dementia and how in-home monitoring data can support them. We proposed a semi-supervised model which combines a self-supervised learning model and a Bayesian ensemble classification. We train and test the proposed model on a dataset from a clinical study. The dataset was collected from sensors deployed in 96 homes of patients with dementia. The proposed model outperforms the state-of-the-art models in recall and f1-score values by 20%. The model also indicates better generalisability compared to the baseline models.


title: Towards External Calls for Blockchain and Distributed Ledger Technology

abstract: It is widely accepted that blockchain systems cannot execute calls to external systems or services due to each node having to reach a deterministic state. However, in this paper we show that this belief is preconceived by demonstrating a method that enables blockchain and distributed ledger technologies to perform calls to external systems initiated from the blockchain/DLT itself.


title: Word-level Text Highlighting of Medical Texts for Telehealth Services

abstract: The medical domain is often subject to information overload. The digitization of healthcare, constant updates to online medical repositories, and increasing availability of biomedical datasets make it challenging to effectively analyze the data. This creates additional work for medical professionals who are heavily dependent on medical data to complete their research and consult their patients. This paper aims to show how different text highlighting techniques can capture relevant medical context. This would reduce the doctors' cognitive load and response time to patients by facilitating them in making faster decisions, thus improving the overall quality of online medical services. Three different word-level text highlighting methodologies are implemented and evaluated. The first method uses TF-IDF scores directly to highlight important parts of the text. The second method is a combination of TF-IDF scores and the application of Local Interpretable Model-Agnostic Explanations to classification models. The third method uses neural networks directly to make predictions on whether or not a word should be highlighted. The results of our experiments show that the neural network approach is successful in highlighting medically-relevant terms and its performance is improved as the size of the input segment increases.


title: Measurement of the probe Stark shift of the 87Sr optical lattice clock using the frequency modulation spectroscopy

abstract: With the uncertainty of the optical clocks improving to the order of 10-18, the probe light used to detect the clock transition has demonstrated nonnegligible Stark shift, provoking to precisely evaluate this shift. Here, we demonstrate a frequency modulation technique to realize a large measurement lever arm of the probe Stark shift with no cost of the measurement accuracy of the interleaved stabilization method. This frequency-modulated spectrum is theoretical described and experimental verified. The probe Stark shift coefficient of the 87Sr optical lattice clock is experimentally determined as -(45.97+/-3.51) Hz/(W/cm2) using this frequency modulation spectroscopy.


title: Controllable Transmission Networks under Demand Uncertainty with Modular FACTS

abstract: The transmission system operators (TSOs) are responsible to provide secure and efficient access to the transmission system for all stakeholders. This task is gradually getting challenging due to the demand growth, demand uncertainty, rapid changes in generation mix, and market policies. Traditionally, the TSOs try to maximize the technical performance of the transmission network via building new overhead lines or physical hardening. However, obtaining public acceptance for building new lines is not an easy step in this procedure. For this reason, the TSOs try to capture the capabilities of existing assets. This paper investigates the use of modular FACTS devices (to alter the line characteristics) for improving the capability of transmission network in serving the uncertain demand without the need for building new overhead lines. The proposed method considers the uncertainty of demands and controls the utilization of existing transmission assets. The mathematical results obtained are validated with a complete non-linear simulation model of three transmission networks.


title: High Fidelity Fingerprint Generation: Quality, Uniqueness, and Privacy

abstract: In this work, we utilize progressive growth-based Generative Adversarial Networks (GANs) to develop the Clarkson Fingerprint Generator (CFG). We demonstrate that the CFG is capable of generating realistic, high fidelity, $512\times512$ pixels, full, plain impression fingerprints. Our results suggest that the fingerprints generated by the CFG are unique, diverse, and resemble the training dataset in terms of minutiae configuration and quality, while not revealing the underlying identities of the training data. We make the pre-trained CFG model and the synthetically generated dataset publicly available at https://github.com/keivanB/Clarkson_Finger_Gen


title: Real-time estimation of phase and amplitude with application to neural data

abstract: Computation of the instantaneous phase and amplitude via the Hilbert Transform is a powerful tool of data analysis. This approach finds many applications in various science and engineering branches but is not proper for causal estimation because it requires knowledge of the signal's past and future. However, several problems require real-time estimation of phase and amplitude; an illustrative example is phase-locked or amplitude-dependent stimulation in neuroscience. In this paper, we discuss and compare three causal algorithms that do not rely on the Hilbert Transform but exploit well-known physical phenomena, the synchronization and the resonance. After testing the algorithms on a synthetic data set, we illustrate their performance computing phase and amplitude for the accelerometer tremor measurements and a Parkinsonian patient's beta-band brain activity.


title: A study of the photometric and spectroscopic variations of the prototypical FU Orionis-type star V1057 Cyg

abstract: Among the low-mass pre-main sequence stars, a small group called FU Orionis-type objects (FUors) are notable for undergoing powerful accretion outbursts. V1057 Cyg, a classical example of an FUor, went into outburst around 1969-1970, after which it faded rapidly, making it the fastest fading FUor known. Around 1995, a more rapid increase in fading occurred. Since that time, strong photometric modulations have been present. We present nearly 10 years of source monitoring at Piszk\'estet\H{o} Observatory, complemented with optical/near-infrared photometry and spectroscopy from the Nordic Optical Telescope, Bohyunsan Optical Astronomy Observatory, Transiting Exoplanet Survey Satellite, and the Stratospheric Observatory for Infrared Astronomy. Our light curves show continuation of significant quasi-periodic variability in brightness over the past decade. Our spectroscopic observations show strong wind features, shell features, and forbidden emission lines. All of these spectral lines vary with time. We also report the first detection of [S II], [N II], and [O III] lines in the star.


title: Dyadic aggregated autoregressive (DASAR) model for time-frequency representation of biomedical signals

abstract: This paper introduces a new time-frequency representation method for biomedical signals: the dyadic aggregated autoregressive (DASAR) model. Signals, such as electroencephalograms (EEGs) and functional near-infrared spectroscopy (fNIRS), exhibit physiological information through time-evolving spectrum components at specific frequency intervals: 0-50 Hz (EEG) or 0-150 mHz (fNIRS). Spectrotemporal features in signals are conventionally estimated using short-time Fourier transform (STFT) and wavelet transform (WT). However, both methods may not offer the most robust or compact representation despite their widespread use in biomedical contexts. The presented method, DASAR, improves precise frequency identification and tracking of interpretable frequency components with a parsimonious set of parameters. DASAR achieves these characteristics by assuming that the biomedical time-varying spectrum comprises several independent stochastic oscillators with (piecewise) time-varying frequencies. Local stationarity can be assumed within dyadic subdivisions of the recordings, while the stochastic oscillators can be modeled with an aggregation of second-order autoregressive models (ASAR). DASAR can provide a more accurate representation of the (highly contrasted) EEG and fNIRS frequency ranges by increasing the estimation accuracy in user-defined spectrum region of interest (SROI). A mental arithmetic experiment on a hybrid EEG-fNIRS was conducted to assess the efficiency of the method. Our proposed technique, STFT, and WT were applied on both biomedical signals to discover potential oscillators that improve the discrimination between the task condition and its baseline. The results show that DASAR provided the highest spectrum differentiation and it was the only method that could identify Mayer waves as narrow-band artifacts at 97.4-97.5 mHz.


title: Photonic single perceptron at Giga-OP/s speeds with Kerr microcombs for scalable optical neural networks

abstract: Optical artificial neural networks (ONNs) have significant potential for ultra-high computing speed and energy efficiency. We report a novel approach to ONNs that uses integrated Kerr optical microcombs. This approach is programmable and scalable and is capable of reaching ultrahigh speeds. We demonstrate the basic building block ONNs, a single neuron perceptron, by mapping synapses onto 49 wavelengths to achieve an operating speed of 11.9 x 109 operations per second, or GigaOPS, at 8 bits per operation, which equates to 95.2 gigabits/s (Gbps). We test the perceptron on handwritten digit recognition and cancer cell detection, achieving over 90% and 85% accuracy, respectively. By scaling the perceptron to a deep learning network using off the shelf telecom technology we can achieve high throughput operation for matrix multiplication for real-time massive data processing.

categories: eess.SP cs.ET physics.app-ph physics.optics


title: Single-particle versus many-body phase coherence in an interacting Fermi gas

abstract: In quantum mechanics, each particle is described by a complex valued wave-function characterized by amplitude and phase. When many particles interact each other, cooperative phenomena give rise to a quantum many-body state with a specific quantum coherence. What is the interplay between single-particle's phase coherence and many-body quantum coherence? Over the years, such question has been object of profound analysis in quantum physics. Here, we demonstrate how the time-dependent interference formed by releasing an interacting degenerate Fermi gas from a specific matter-wave circuit in an effective magnetic field can tell apart the two notions. Single-particle phase coherence, indicated by the first-order correlator, and many-body quantum coherence, indicated by the density-density correlator, are displayed as distinct features of the interferogram. Single particle phase coherence produces spiral interference of the Fermi orbitals at intermediate times. Many-body quantum coherence emerges as long times interference. The interplay between single-particle coherence and many-body coherence is reflected in a stepwise dependence of the interference pattern on the effective magnetic field.


title: A divergence-free finite element method for the Stokes problem with boundary correction

abstract: This paper constructs and analyzes a boundary correction finite element method for the Stokes problem based on the Scott-Vogelius pair on Clough-Tocher splits. The velocity space consists of continuous piecewise quadratic polynomials, and the pressure space consists of piecewise linear polynomials without continuity constraints. A Lagrange multiplier space that consists of continuous piecewise quadratic polynomials with respect to boundary partition is introduced to enforce boundary conditions as well as to mitigate the lack of pressure-robustness. We prove several inf-sup conditions, leading to the well-posedness of the method. In addition, we show that the method converges with optimal order and the velocity approximation is divergence free.


title: Multi-objective Optimisation of Digital Circuits based on Cell Mapping in an Industrial EDA Flow

abstract: Modern electronic design automation (EDA) tools can handle the complexity of state-of-the-art electronic systems by decomposing them into smaller blocks or cells, introducing different levels of abstraction and staged design flows. However, throughout each independent-optimised design step, overhead and inefficiency can accumulate in the resulting overall design. Performing design-specific optimisation from a more global viewpoint requires more time due to the larger search space, but has the potential to provide solutions with improved performance. In this work, a fully-automated, multi-objective (MO) EDA flow is introduced to address this issue. It specifically tunes drive strength mapping, preceding physical implementation, through multi-objective population-based search algorithms. Designs are evaluated with respect to their power, performance and area (PPA). The proposed approach is aimed at digital circuit optimisation at the block-level, where it is capable of expanding the design space and offers a set of trade-off solutions for different case-specific utilisation. We have applied the proposed MOEDA framework to ISCAS-85 and EPFL benchmark circuits using a commercial 65nm standard cell library. The experimental results demonstrate how the MOEDA flow enhances the solutions initially generated by the standard digital flow, and how simultaneously a significant improvement in PPA metrics is achieved.


title: Concurrent n-scale modeling for non-orthogonal woven composite

abstract: Concurrent analysis of composite materials can provide the interaction among scales for better composite design, analysis, and performance prediction. A data-driven concurrent n-scale modeling theory ($\textrm{FExSCA}^\textrm{n-1}$) is proposed in this paper utilizing a mechanistic reduced order model (ROM) called self-consistent clustering analysis (SCA). We demonstrated this theory with a $\textrm{FExSCA}^2$ approach to study the 3-scale woven carbon fiber reinforced polymer (CFRP) laminate structure. $\textrm{FExSCA}^2$ significantly reduced expensive 3D nested composite representative volume elements (RVEs) computation for woven and unidirectional (UD) composite structures by developing a material database. The modeling procedure is established by integrating the material database into a woven CFRP structural numerical model, formulating a concurrent 3-scale modeling framework. This framework provides an accurate prediction for the structural performance (e.g., nonlinear structural behavior under tensile load), as well as the woven and UD physics field evolution. The concurrent modeling results are validated against physical tests that link structural performance to the basic material microstructures. The proposed methodology provides a comprehensive predictive modeling procedure applicable to general composite materials aiming to reduce laborious experiments needed.


title: X-ray study of krypton and xenon under pressure reveals the mechanism of martensitic transformations

abstract: The martensitic transformation is a fundamental physical phenomenon at the origin of important industrial applications. However, the underlying microscopic mechanism, which is of critical importance to explain the outstanding mechanical properties of martensitic materials, is still not fully understood. This is because for most martensitic materials the transformation is a fast process that makes in situ studies extremely challenging. Noble solids krypton and xenon undergo a progressive pressure induced fcc to hcp martensitic transition with a very wide coexistence domain. Here, we took advantage of this unique feature to study the detailed mechanism of the transformation by employing in situ X-ray diffraction and absorption. We evidenced a four stages mechanism where the lattice mismatch between the fcc and hcp forms plays a key role in the generation of strain. We also determined precisely the effect of the transformation on the compression behavior of these materials.


title: Survey on Energy-Efficient Techniques for Wireless Sensor Networks

abstract: The concept of energy-efficient computing is not new but recently the focus of the industries related to technology has been shifted towards energy utilization techniques with minimum energy loss. Computer Networks also needed to be energy efficient. Energy Consumption is also an important challenge in the Wireless Sensor network. Energy efficiency can be achieved with the help of clustering algorithms, energy-efficient routing methods, improved data aggregation schemes, and energy-efficient MAC protocols for WSN.


title: Sheaves as a Framework for Understanding and Interpreting Model Fit

abstract: As data grows in size and complexity, finding frameworks which aid in interpretation and analysis has become critical. This is particularly true when data comes from complex systems where extensive structure is available, but must be drawn from peripheral sources. In this paper we argue that in such situations, sheaves can provide a natural framework to analyze how well a statistical model fits at the local level (that is, on subsets of related datapoints) vs the global level (on all the data). The sheaf-based approach that we propose is suitably general enough to be useful in a range of applications, from analyzing sensor networks to understanding the feature space of a deep learning model.


title: Discrete hybrid Izhikevich neuron model: nodal and network behaviours considering electromagnetic flux coupling

abstract: We analyse the dynamics of the improved discretised version of the well known Izhikevich neuronmodel under the action of external electromagnetic field. It is found that the three-dimensional IZHmap shows rich dynamics. With the variation of the electromagnetic field, period-doubling routeto chaos in a repeating fashion is observed from the bifurcation diagram. Even the forward andbackward continuation bifurcation diagram which do not completely overlap suggests that there is multistability in the system. The phenomenon of bistability (coexistence of periodic and chaotic attractors) is observed. The presence of periodic and chaotic attractor is aided by the maximal Lyapunov exponent diagram. The Lyapunov phase diagram of electromagnetic field and synapses current shows a large parameter region of chaotic and periodic behaviors with the presence of unbounded regions as well. The IZH map shows a plethora of spiking and bursting patterns such as mixed-mode patterns, tonic spiking, phasic spiking, steady spikes, regular spikes, spike bursting, periodic bursting, phasic bursting, chaotic firing, etc with the variation of electromagnetic coupling strength and the synapses current. We also investigate the presence of chimera states in a ring-star, ring, star network of IZH map neurons. Chimera states are found in the case of ring-star and ring network while synchronised clusters were found in the case of star network and are aided by the spatiotemporal plots, space-time plot, recurrence plots. The rich dynamics shown by the discretised IZH map makes it a promising research model to study about neurodynamics.


title: Extraction of physically meaningful endmembers from STEM spectrum-images combining geometrical and statistical approaches

abstract: This article addresses extraction of physically meaningful information from STEM EELS and EDX spectrum-images using methods of Multivariate Statistical Analysis. The problem is interpreted in terms of data distribution in a multi-dimensional factor space, which allows for a straightforward and intuitively clear comparison of various approaches. A new computationally efficient and robust method for finding physically meaningful endmembers in spectrum-image datasets is presented. The method combines the geometrical approach of Vertex Component Analysis with the statistical approach of Bayesian inference. The algorithm is described in detail at an example of EELS spectrum-imaging of a multi-compound CMOS transistor.


title: Adversarially robust change point detection

abstract: Change point detection is becoming increasingly popular in many application areas. On one hand, most of the theoretically-justified methods are investigated in an ideal setting without model violations, or merely robust against identical heavy-tailed noise distribution across time and/or against isolate outliers; on the other hand, we are aware that there have been exponentially growing attacks from adversaries, who may pose systematic contamination on data to purposely create spurious change points or disguise true change points. In light of the timely need for a change point detection method that is robust against adversaries, we start with, arguably, the simplest univariate mean change point detection problem. The adversarial attacks are formulated through the Huber $\varepsilon$-contamination framework, which in particular allows the contamination distributions to be different at each time point. In this paper, we demonstrate a phase transition phenomenon in change point detection. This detection boundary is a function of the contamination proportion $\varepsilon$ and is the first time shown in the literature. In addition, we derive the minimax-rate optimal localisation error rate, quantifying the cost of accuracy in terms of the contamination proportion. We propose a computationally feasible method, matching the minimax lower bound under certain conditions, saving for logarithmic factors. Extensive numerical experiments are conducted with comparisons to robust change point detection methods in the existing literature.


title: Decompositions of finitely additive Markov chains and invariant measures in discrete space

abstract: In this paper, we consider general Markov chains (MC), specified by the transition probability (kernel) $ P (x, E) $, finitely additive in the second argument. Such MC are studied within the framework of the functional operator treatment. The state space (phase space) of the MC $ X $ has any cardinality, and the sigma-algebra $ \Sigma $ is discrete, i.e. is the set of all subsets in $ X $. This construction of the phase space $ (X, \Sigma) $ allows us to decompose the Markov kernel $ P (x, E) $ into the sum of two components - countably additive and purely finitely additive in the second argument and measurable in the first argument. It is shown that the countably additive kernel is atomic. Some properties of Markov operators with a purely finitely additive kernel and their invariant measures are studied. A class of combined finitely additive MC and two of its subclasses are introduced, and some properties of their invariant measures are proved. Some asymptotic regularities of such MC are revealed.


title: Unsupervised Multilingual Sentence Embeddings for Parallel Corpus Mining

abstract: Existing models of multilingual sentence embeddings require large parallel data resources which are not available for low-resource languages. We propose a novel unsupervised method to derive multilingual sentence embeddings relying only on monolingual data. We first produce a synthetic parallel corpus using unsupervised machine translation, and use it to fine-tune a pretrained cross-lingual masked language model (XLM) to derive the multilingual sentence representations. The quality of the representations is evaluated on two parallel corpus mining tasks with improvements of up to 22 F1 points over vanilla XLM. In addition, we observe that a single synthetic bilingual corpus is able to improve results for other language pairs.


title: Self-learning for weakly supervised Gleason grading of local patterns

abstract: Prostate cancer is one of the main diseases affecting men worldwide. The gold standard for diagnosis and prognosis is the Gleason grading system. In this process, pathologists manually analyze prostate histology slides under microscope, in a high time-consuming and subjective task. In the last years, computer-aided-diagnosis (CAD) systems have emerged as a promising tool that could support pathologists in the daily clinical practice. Nevertheless, these systems are usually trained using tedious and prone-to-error pixel-level annotations of Gleason grades in the tissue. To alleviate the need of manual pixel-wise labeling, just a handful of works have been presented in the literature. Motivated by this, we propose a novel weakly-supervised deep-learning model, based on self-learning CNNs, that leverages only the global Gleason score of gigapixel whole slide images during training to accurately perform both, grading of patch-level patterns and biopsy-level scoring. To evaluate the performance of the proposed method, we perform extensive experiments on three different external datasets for the patch-level Gleason grading, and on two different test sets for global Grade Group prediction. We empirically demonstrate that our approach outperforms its supervised counterpart on patch-level Gleason grading by a large margin, as well as state-of-the-art methods on global biopsy-level scoring. Particularly, the proposed model brings an average improvement on the Cohen's quadratic kappa (k) score of nearly 18% compared to full-supervision for the patch-level Gleason grading task.


title: Implications for the Hubble tension from the ages of the oldest astrophysical objects

abstract: We use the ages of old astrophysical objects (OAO) in the redshift range $0 \lesssim z \lesssim 8$ as stringent tests of the late-time cosmic expansion history. Since the age of the Universe at any redshift is inversely proportional to $H_0$, requiring that the Universe be older than the oldest objects it contains at any redshift, provides an upper limit on $H_0$. Using a combination of galaxies imaged from the CANDELS program and various high-$z$ quasars, we construct an age-redshift diagram of $\gtrsim 100$ OAO up to $z \sim 8$. Assuming the $\Lambda$CDM model at late times, we find the 95\% confidence level upper limit $H_0<73.2\,{\rm km}/{\rm s}/{\rm Mpc}$, in slight disagreement with a host of local $H_0$ measurements. Taken at face value, and assuming that the OAO ages are reliable, this suggests that ultimately a combination of pre- and post-recombination ($z \lesssim 10$) new physics might be required to reconcile cosmic ages with early-time and local $H_0$ measurements. In the context of the Hubble tension, our results motivate the study of either combined global pre- and post-recombination modifications to $\Lambda$CDM, or local new physics which only affects the local $H_0$ measurements.


title: LAPAR: Linearly-Assembled Pixel-Adaptive Regression Network for Single Image Super-Resolution and Beyond

abstract: Single image super-resolution (SISR) deals with a fundamental problem of upsampling a low-resolution (LR) image to its high-resolution (HR) version. Last few years have witnessed impressive progress propelled by deep learning methods. However, one critical challenge faced by existing methods is to strike a sweet spot of deep model complexity and resulting SISR quality. This paper addresses this pain point by proposing a linearly-assembled pixel-adaptive regression network (LAPAR), which casts the direct LR to HR mapping learning into a linear coefficient regression task over a dictionary of multiple predefined filter bases. Such a parametric representation renders our model highly lightweight and easy to optimize while achieving state-of-the-art results on SISR benchmarks. Moreover, based on the same idea, LAPAR is extended to tackle other restoration tasks, e.g., image denoising and JPEG image deblocking, and again, yields strong performance. The code is available at https://github.com/dvlab-research/Simple-SR.


title: Evaluating Strategy Exploration in Empirical Game-Theoretic Analysis

abstract: In empirical game-theoretic analysis (EGTA), game models are extended iteratively through a process of generating new strategies based on learning from experience with prior strategies. The strategy exploration problem in EGTA is how to direct this process so to construct effective models with minimal iteration. A variety of approaches have been proposed in the literature, including methods based on classic techniques and novel concepts. Comparing the performance of these alternatives can be surprisingly subtle, depending sensitively on criteria adopted and measures employed. We investigate some of the methodological considerations in evaluating strategy exploration, defining key distinctions and identifying a few general principles based on examples and experimental observations. In particular, we emphasize the fact that empirical games create a space of strategies that should be evaluated as a whole. Based on this fact, we suggest that the minimum regret constrained profile (MRCP) provides a particularly robust basis for evaluating a space of strategies, and propose a local search method for MRCP that outperforms previous approaches. However, the computation of MRCP is not always feasible especially in large games. In this scenario, we highlight consistency considerations for comparing across different approaches. Surprisingly, we find that recent works violate these considerations that are necessary for evaluation, which may result in misleading conclusions on the performance of different approaches. For proper evaluation, we propose a new evaluation scheme and demonstrate that our scheme can reveal the true learning performance of different approaches compared to previous evaluation methods.


title: Low-Memory Implementations of Ridge Solutions for Broad Learning System with Incremental Learning

abstract: The existing low-memory BLS implementation proposed recently avoids the need for storing and inverting large matrices, to achieve efficient usage of memories. However, the existing low-memory BLS implementation sacrifices the testing accuracy as a price for efficient usage of memories, since it can no longer obtain the generalized inverse or ridge solution for the output weights during incremental learning, and it cannot work under the very small ridge parameter that is utilized in the original BLS. Accordingly, it is required to develop the low-memory BLS implementations, which can work under very small ridge parameters and compute the generalized inverse or ridge solution for the output weights in the process of incremental learning. In this paper, firstly we propose the low-memory implementations for the recently proposed recursive and square-root BLS algorithms on added inputs and the recently proposed squareroot BLS algorithm on added nodes, by simply processing a batch of inputs or nodes in each recursion. Since the recursive BLS implementation includes the recursive updates of the inverse matrix that may introduce numerical instabilities after a large number of iterations, and needs the extra computational load to decompose the inverse matrix into the Cholesky factor when cooperating with the proposed low-memory implementation of the square-root BLS algorithm on added nodes, we only improve the low-memory implementations of the square-root BLS algorithms on added inputs and nodes, to propose the full lowmemory implementation of the square-root BLS algorithm. All the proposed low-memory BLS implementations compute the ridge solution for the output weights in the process of incremental learning, and most of them can work under very small ridge parameters.


title: Consistency tests of $\Lambda$CDM from the early integrated Sachs-Wolfe effect: Implications for early-time new physics and the Hubble tension

abstract: New physics increasing the expansion rate just prior to recombination is among the least unlikely solutions to the Hubble tension, and would be expected to leave an important signature in the early Integrated Sachs-Wolfe (eISW) effect, a source of Cosmic Microwave Background (CMB) anisotropies arising from the time-variation of gravitational potentials when the Universe was not completely matter dominated. Why, then, is there no clear evidence for new physics from the CMB alone, and why does the $\Lambda$CDM model fit CMB data so well? These questions and the vastness of the Hubble tension theory model space motivate general consistency tests of $\Lambda$CDM. I perform an eISW-based consistency test of $\Lambda$CDM introducing the parameter $A_{\rm eISW}$, which rescales the eISW contribution to the CMB power spectra. A fit to Planck CMB data yields $A_{\rm eISW}=0.988 \pm 0.027$, in perfect agreement with the $\Lambda$CDM expectation $A_{\rm eISW}=1$, and posing an important challenge for early-time new physics, which I illustrate in a case study focused on early dark energy (EDE). I explicitly show that the increase in $\omega_c$ needed for EDE to preserve the fit to the CMB, which has been argued to worsen the fit to weak lensing and galaxy clustering measurements, is specifically required to lower the amplitude of the eISW effect, which would otherwise exceed $\Lambda$CDM's prediction by $\approx 20\%$: this is a generic problem beyond EDE and likely applying to most models enhancing the expansion rate around recombination. Early-time new physics models invoked to address the Hubble tension are therefore faced with the significant challenge of making a similar prediction to $\Lambda$CDM for the eISW effect, while not degrading the fit to other measurements in doing so.


title: SCSGuard: Deep Scam Detection for Ethereum Smart Contracts

abstract: Smart contract is the building block of blockchain systems that enables automated peer-to-peer transactions and decentralized services. With the increasing popularity of smart contracts, blockchain systems, in particular Ethereum, have been the "paradise" of versatile fraud activities in which Ponzi, Honeypot and Phishing are the prominent ones. Formal verification and symbolic analysis have been employed to combat these destructive scams by analyzing the codes and function calls, yet the vulnerability of each \emph{individual} scam should be predefined discreetly. In this work, we present SCSGuard, a novel deep learning scam detection framework that harnesses the automatically extractable bytecodes of smart contracts as their new features. We design a GRU network with attention mechanism to learn from the \emph{N-gram bytecode} patterns, and determines whether a smart contract is fraudulent or not. Our framework is advantageous over the baseline algorithms in three aspects. Firstly, SCSGuard provides a unified solution to different scam genres, thus relieving the need of code analysis skills. Secondly, the inference of SCSGuard is faster than the code analysis by several order of magnitudes. Thirdly, experimental results manifest that SCSGuard achieves high accuracy (0.92$\sim$0.94), precision (0.94$\sim$0.96\%) and recall (0.97$\sim$0.98) for both Ponzi and Honeypot scams under similar settings, and is potentially useful to detect new Phishing smart contracts.


title: Prefetcher-based DRAM Architecture

abstract: Advancement in Processor technology has made it easy to handle data-intensive workloads, but limiting main memory advances has created performance bottlenecks. In DRAM, there have been improvements in DRAM access latency as well as reduction in cost-per-bit with the increase in cell density. But still DRAM data transfer rate lags behind the processing speed of the current generation processors. As Memory advancements based on hardware have been progressing at a slower pace, to cope up with High-end Processors, Architectural level advancements such as Prediction techniques, Replacement policies, etc are the major subject. In the recent field of research, Data prediction is a sought out topic as correct prediction can boost performance by decreasing the amount of excess memory access by predicting data beforehand using data access trends and behaviors. Though prediction techniques have been implemented at most of the Computer Architecture, We propose implementing data prediction in DRAM level architectures like TL-DRAM and CROW. Both of these method distributes the DRAM into different parts which contain a smaller section which is faster and larger section which contains the bulk of data but is comparatively slower. We wish to use data prediction in between these sections of memory to have predicted data transferred to the faster sections to improve the overall performance by reducing the memory access time.


title: MeerKAT-64 discovers wide-spread tidal debris in the nearby NGC 7232 galaxy group

abstract: We report the discovery of large amounts of previously undetected cold neutral atomic hydrogen (\HI) around the core triplet galaxies in the nearby NGC~7232 galaxy group with MeerKAT. With a physical resolution of $\sim$1 kpc, we detect a complex web of low surface brightness \HI\ emission down to a 4$\sigma$ column density level of $\sim$1 $\times$ 10$^{19}$ cm$^{-2}$ (over 44 \kms ). The newly discovered H\,{\sc i} streams extend over $\sim$20 arcmin corresponding to 140~kpc in projection. This is $\sim$3 times the \HI\ extent of the galaxy triplet (52 kpc). The \HI\ debris has an \HI\ mass of $\sim$6.6 $\times 10^9$~M$_{\odot}$, more than 50\% of the total \HI\ mass of the triplet. Within the galaxy triplet, NGC~7233 and NGC~7232 have lost a significant amount of \HI\ while NGC~7232B appears to have an excess of \HI. The \HI\ deficiency in NGC~7232 and NGC~7233 indicates that galaxy-galaxy interaction in the group concentrates on this galaxy pair while the other disc galaxies have visited them over time. In comparison to the AMIGA sample of isolated galaxies we find that with regards to its total \HI\ mass the NGC~7232/3 galaxy triplet is not \HI\ deficient. Despite the many interactions associated to the triplet galaxies, no \HI\ seems to have been lost from the group (yet).


title: Antibiotic resistance: Insights from evolution experiments and mathematical modeling

abstract: Antibiotic resistance is a growing public health problem. To gain a fundamental understanding of resistance evolution, a combination of systematic experimental and theoretical approaches is required. Evolution experiments combined with next-generation sequencing techniques, laboratory automation, and mathematical modeling are enabling the investigation of resistance development at an unprecedented level of detail. Recent work has directly tracked the intricate stochastic dynamics of bacterial populations in which resistant mutants emerge and compete. In addition, new approaches have enabled measuring how prone a large number of genetically perturbed strains are to evolve resistance. Based on advances in quantitative cell physiology, predictive theoretical models of resistance are increasingly being developed. Taken together, a new strategy for observing, predicting, and ultimately controlling resistance evolution is emerging.


title: Multi-Horizon Forecasting for Limit Order Books: Novel Deep Learning Approaches and Hardware Acceleration using Intelligent Processing Units

abstract: We design multi-horizon forecasting models for limit order book (LOB) data by using deep learning techniques. Unlike standard structures where a single prediction is made, we adopt encoder-decoder models with sequence-to-sequence and Attention mechanisms to generate a forecasting path. Our methods achieve comparable performance to state-of-art algorithms at short prediction horizons. Importantly, they outperform when generating predictions over long horizons by leveraging the multi-horizon setup. Given that encoder-decoder models rely on recurrent neural layers, they generally suffer from slow training processes. To remedy this, we experiment with utilising novel hardware, so-called Intelligent Processing Units (IPUs) produced by Graphcore. IPUs are specifically designed for machine intelligence workload with the aim to speed up the computation process. We show that in our setup this leads to significantly faster training times when compared to training models with GPUs.