title: Quasi-trapped modes in metasurfaces of anisotropic MoS$_2$ nanoparticles for absorption and polarization control in the telecom optical range

abstract: We investigate the resonant optical response of single material-anisotropic nanoparticles (NPs) of molybdenum disulfide (MoS$_2$) and their two-dimensional arrays (metasurfaces) irradiated by plane waves of the telecomunication optical range. Nanoparticles in the form of a disk with centered and shifted hole are considered. Using the recently experimental measured the MoS$_2$ dielectric permittivity and numerical calculations with analytical multipole analysis, we show that the material-anisotropy of NPs can lead to specific nonlocal contributions in their magnetic and electric dipole response and affect the effective dipole polarizabilities. Applying a special procedure we determine the period of the MoS$_2$ metasurfaces supporting the quasi-trapped mode (QTM) resonance around the tellecom wavelength of 1550 nm. It is shown that regardless extremely weak absorption of the single nanoparticles, the excitation of the QTM leads to effective narrowband absorption in the metasurfaces. Influences of the linear polarization direction of normally incident waves on the QTM implementation and the reflection and transmission spectra are studied. It is found and demonstrated, for the first time, that a metasurface, composed of the MoS$_2$ disks with their anisotropy perpendicularto the metasurface plane, has the properties of a continuous birefringent medium. Due to these properties, normally incident and linear-polarized waves can be transformed in the transmitted and reflected waves with changed polarizations.


title: Machine-Learning Side-Channel Attacks on the GALACTICS Constant-Time Implementation of BLISS

abstract: Due to the advancing development of quantum computers, practical attacks on conventional public-key cryptography may become feasible in the next few decades. To address this risk, post-quantum schemes that are secure against quantum attacks are being developed. Lattice-based algorithms are promising replacements for conventional schemes, with BLISS being one of the earliest post-quantum signature schemes in this family. However, required subroutines such as Gaussian sampling have been demonstrated to be a risk for the security of BLISS, since implementing Gaussian sampling both efficient and secure with respect to physical attacks is highly challenging. This paper presents three related power side-channel attacks on GALACTICS, the latest constant-time implementation of BLISS. All attacks are based on leakages we identified in the Gaussian sampling and signing algorithm of GALACTICS. To run the attack, a profiling phase on a device identical to the device under attack is required to train machine learning classifiers. In the attack phase, the leakages of GALACTICS enable the trained classifiers to predict sensitive internal information with high accuracy, paving the road for three different key recovery attacks. We demonstrate the leakages by running GALACTICS on a Cortex-M4 and provide proof-of-concept data and implementation for all our attacks.


title: Odd reflections in the Yangian associated with ${\frak gl}(m|n)$

abstract: The odd reflections are an effective tool in the Lie superalgebra representation theory, as they relate non-conjugate Borel subalgebras. We introduce analogues of the odd reflections for the Yangian ${\rm Y}({\frak gl}_{m|n})$ and use them to produce a transition rule for the parameters of the highest weight modules corresponding to a change of the parity sequence. This leads to a description of the finite-dimensional irreducible representations of the Yangian associated with an arbitrary parity sequence.


title: Predicting Visual Improvement after Macular Hole Surgery: a Cautionary Tale on Deep Learning with Very Limited Data

abstract: We investigate the potential of machine learning models for the prediction of visual improvement after macular hole surgery from preoperative data (retinal images and clinical features). Collecting our own data for the task, we end up with only 121 total samples, putting our work in the very limited data regime. We explore a variety of deep learning methods for limited data to train deep computer vision models, finding that all tested deep vision models are outperformed by a simple regression model on the clinical features. We believe this is compelling evidence of the extreme difficulty of using deep learning on very limited data.


title: Nonlinear magnon spin Nernst effect in antiferromagnets and strain-tunable pure spin current

abstract: In this Letter, we study the spin Nernst effect (SNE) of magnons in the nonlinear response regime. We derive the formula for the nonlinear magnon spin Nernst current by solving the Boltzmann equation and find out that it is described by an extended Berry curvature dipole of magnons. The nonlinear magnon SNE is expected to occur in various N\'eel antiferromagnets without Dzyaloshinskii-Moriya interaction. In particular, the nonlinear spin Nernst current in the honeycomb and diamond lattice antiferromagnets can be controlled by strain/pressure.


title: Analog FM free-space optical communication based on a mid-infrared quantum cascade laser frequency comb

abstract: Quantum cascade laser frequency combs are nowadays well-appreciated sources for infrared spectroscopy. Here their applicability for free-space optical communication is demonstrated. The spontaneously-generated intermodal beat note of the frequency comb is used as carrier for transferring the analog signal via frequency modulation. Exploiting the atmospheric transparency window at 4 $\mu$m, an optical communication with a signal-to-noise ratio up to 65 dB is realized, with a modulation bandwidth of 300 kHz. The system tolerates a maximum optical attenuation exceeding 35 dB. The possibility of parallel transmission of an independent digital signal via amplitude modulation at 5 MS/s is also demonstrated.


title: On Dark Matter As A Geometric Effect in the Galactic Halo

abstract: We obtain more straightforwardly some features of dark matter distribution in the halos of galaxies by considering the spherically symmetric space-time, which satisfies the flat rotational curve condition, and the geometric equation of state resulting from the modified gravity theory. In order to measure the equation of state for dark matter in the galactic halo, we provide a general formalism taking into account the modified $f(X)$ gravity theories. Here, $f(X)$ is a general function of $X \in \{ R, \mathcal{G}, T \}$, where $R, \mathcal{G}$ and $T$ are the Ricci scalar, the Gauss-Bonnet scalar and the torsion scalar, respectively. These theories yield that the flat rotation curves appear as a consequence of the additional geometric structure accommodated by those of modified gravity theories. Constructing a geometric equation of state $w_{_X} \equiv p_{_X} / \rho_{_X}$ and inspiring by some values of the equation of state for the ordinary matter, we infer some properties of dark matter in galactic halos of galaxies.


title: Cooperative Anti-Jamming for UAV Networks: A Local Altruistic Game Approach

abstract: To improve the anti-jamming ability of the UAV-aided communication systems, this paper investigates the channel selection optimization problem in face of both internal mutual interference and external malicious jamming. A cooperative anti-jamming method based on local altruistic is proposed to optimize UAVs' channel selection. Specifically, a Stackelberg game is modeled to formulate the confrontation relationship between UAVs and the jammer. A local altruistic game is modeled with each UAV considering the utilities of both itself and other UAVs. A distributed cooperative anti-jamming algorithm is proposed to obtain the Stackelberg equilibrium. Finally, the convergence of the proposed algorithm and the impact of the transmission power on the system loss value are analyzed, and the anti-jamming performance of the proposed algorithm can be improved by around 64% compared with the existing algorithms.


title: Completeness of Unbounded Best-First Game Algorithms

abstract: In this article, we prove the completeness of the following game search algorithms: unbounded best-first minimax with completion and descent with completion, i.e. we show that, with enough time, they find the best game strategy. We then generalize these two algorithms in the context of perfect information multiplayer games. We show that these generalizations are also complete: they find one of the equilibrium points.


title: Polynomial stability of piezoelectric beams with magnetic effect and tip body

abstract: In this paper, we consider a dissipative system of one-dimensional piezoelectric beam with magnetic effect and a tip load at the free end of the beam, which is modeled as a special form of double boundary dissipation. Our main aim is to study the well-posedness and asymptotic behavior of this system. By introducing two functions defined on the right boundary, we first transform the original problem into a new abstract form, so as to show the well-posedness of the system by using Lumer-Philips theorem. We then divide the original system into a conservative system and an auxiliary system, and show that the auxiliary problem generates a compact operator. With the help of Wely's theorem, we obtain that the system is not exponentially stable. Moreover, we prove the polynomial stability of the system by using a result of Borichev and Tomilov (Math. Ann. {\bf 347} (2010), 455--478).


title: ACReL: Adversarial Conditional value-at-risk Reinforcement Learning

abstract: In the classical Reinforcement Learning (RL) setting, one aims to find a policy that maximizes its expected return. This objective may be inappropriate in safety-critical domains such as healthcare or autonomous driving, where intrinsic uncertainties due to stochastic policies and environment variability may lead to catastrophic failures. This can be addressed by using the Conditional-Value-at-Risk (CVaR) objective to instill risk-aversion in learned policies. In this paper, we propose Adversarial Cvar Reinforcement Learning (ACReL), a novel adversarial meta-algorithm to optimize the CVaR objective in RL. ACReL is based on a max-min between a policy player and a learned adversary that perturbs the policy player's state transitions given a finite budget. We prove that, the closer the players are to the game's equilibrium point, the closer the learned policy is to the CVaR-optimal one with a risk tolerance explicitly related to the adversary's budget. We provide a gradient-based training procedure to solve the proposed game by formulating it as a Stackelberg game, enabling the use of deep RL architectures and training algorithms. Empirical experiments show that ACReL matches a CVaR RL state-of-the-art baseline for retrieving CVaR optimal policies, while also benefiting from theoretical guarantees.


title: How inertial lift affects the dynamics of a microswimmer in Poiseuille flow

abstract: We analyze the dynamics of a microswimmer in pressure-driven Poiseuille flow, where fluid inertia is small but non-negligible. Using perturbation theory and the reciprocal theorem, we show that in addition to the classical inertial lift of passive particles, the active nature generates a `swimming lift', which we evaluate for neutral and pusher/puller-type swimmers. Accounting for fluid inertia engenders a rich spectrum of novel complex dynamics including bistable states, where tumbling coexists with stable centerline swimming or swinging. The dynamics is sensitive to the swimmer's hydrodynamic signature and goes well beyond the findings at vanishing fluid inertia. Our work will have non-trivial implications on the transport and dispersion of active suspensions in microchannels.


title: An Analytical 2-D Model of Triple Metal Double Gate Graded Channel Junctionless MOSFET with Hetero-dielectric Gate Oxide Stack

abstract: In this paper, a two-dimensional analytical model of a laterally graded-channel triple-metal double-gate Junctionless Field Effect Transistor with hetero dielectric gate oxide stack consisting of SiO$_2$ and HfO$_2$ is derived. The model illustrates higher drive current and better performance against hazardous SCEs and HCEs in below 30 nm regime. Parabolic approximation method is used here to construct channel potentials and electric fields by solving 2-D Poisson's equation with applicable boundary conditions. The basic central and surface potentials as well as central and surface electric fields are being illustrated, Threshold voltage, DIBL, sub-threshold swing (SS) and a compact current model have also been deduced. These parameters clearly show the benefits of proposed graded-channel triple-metal double-gate structure with hetero-dielectric gate oxide stack. The device has reliability in low power applications because of its better Ion and Ioff control. Finally, the analytical model is validated with self-consistent numerical calculations to illustrate better performance of among available junctionless devices.


title: Tailoring Broadband Kerr Soliton Microcombs via Post-Fabrication Tuning of the Geometric Dispersion

abstract: Geometric dispersion in integrated microresonators plays a major role in nonlinear optics applications, especially at short wavelengths, to compensate the natural material normal dispersion. Tailoring of geometric confinement allows for anomalous dispersion, which in particular enables the formation of microcombs which can be tuned into the dissipative Kerr soliton (DKS) regime. Due to processes like soliton-induced dispersive wave generation, broadband DKS combs are particularly sensitive to higher-order dispersion, which in turn is sensitive to the ring dimensions at the nanometer-level. For microrings exhibiting a rectangular cross section, the ring width and thickness are the two main control parameters to achieve the targeted dispersion. The former can be easily varied through parameter variation within the lithography mask, yet the latter is defined by the film thickness during growth of the starting material stack, and can show a significant variation (few percent of the total thickness) over a single wafer. In this letter, we demonstrate that controlled dry-etching allows for fine tuning of the device layer (silicon nitride) thickness at the wafer level, allowing multi-project wafers targeting different wavelength bands, and post-fabrication trimming in air-clad ring devices. We demonstrate that such dry etching does not significantly affect either the silicon nitride surface roughness or the optical quality of the devices, thereby enabling fine tuning of the dispersion and the spectral shape of the resulting DKS states.


title: Energy Efficient Sampling Policies for Edge Computing Feedback Systems

abstract: We study the problem of finding efficient sampling policies in an edge-based feedback system, where sensor samples are offloaded to a back-end server that processes them and generates feedback to a user. Sampling the system at maximum frequency results in the detection of events of interest with minimum delay but incurs higher energy costs due to the communication and processing of redundant samples. On the other hand, lower sampling frequency results in higher delay in detecting the event, thus increasing the idle energy usage and degrading the quality of experience. We quantify this trade-off as a weighted function between the number of samples and the sampling interval. We solve the minimisation problem for exponential and Rayleigh distributions, for the random time to the event of interest. We prove the convexity of the objective functions by using novel techniques, which can be of independent interest elsewhere. We argue that adding an initial offset to the periodic sampling can further reduce the energy consumption and jointly compute the optimum offset and sampling interval. We apply our framework to two practically relevant applications and show energy savings of up to 36% when compared to an existing periodic scheme.


title: Knowledge Graph Question Answering via SPARQL Silhouette Generation

abstract: Knowledge Graph Question Answering (KGQA) has become a prominent area in natural language processing due to the emergence of large-scale Knowledge Graphs (KGs). Recently Neural Machine Translation based approaches are gaining momentum that translates natural language queries to structured query languages thereby solving the KGQA task. However, most of these methods struggle with out-of-vocabulary words where test entities and relations are not seen during training time. In this work, we propose a modular two-stage neural architecture to solve the KGQA task. The first stage generates a sketch of the target SPARQL called SPARQL silhouette for the input question. This comprises of (1) Noise simulator to facilitate out-of-vocabulary words and to reduce vocabulary size (2) seq2seq model for text to SPARQL silhouette generation. The second stage is a Neural Graph Search Module. SPARQL silhouette generated in the first stage is distilled in the second stage by substituting precise relation in the predicted structure. We simulate ideal and realistic scenarios by designing a noise simulator. Experimental results show that the quality of generated SPARQL silhouette in the first stage is outstanding for the ideal scenarios but for realistic scenarios (i.e. noisy linker), the quality of the resulting SPARQL silhouette drops drastically. However, our neural graph search module recovers it considerably. We show that our method can achieve reasonable performance improving the state-of-art by a margin of 3.72% F1 for the LC-QuAD-1 dataset. We believe, our proposed approach is novel and will lead to dynamic KGQA solutions that are suited for practical applications.


title: Regulating Ruminative Web-browsing Based on the Counterbalance Modeling Approach

abstract: Even though the web environment facilitates daily life, emotional problems caused by its incompatibility with human cognition are becoming increasingly serious. To alleviate negative emotions during web use, we developed a browser extension that presents memorized product images to users, in the form of web advertisements. This system utilizes the cognitive architecture Adaptive Control of Thought-Rational (ACT-R) as a model of memory and emotion. A heart rate sensor modulates the ACT-R model parameters: The emotional states of the model are synchronized or counterbalanced with the physiological state of the user. An experiment demonstrates that the counterbalance model suppresses negative ruminative web browsing. The authors claim that this approach is advantageous in terms of explainability.


title: Beyond Semantic to Instance Segmentation: Weakly-Supervised Instance Segmentation via Semantic Knowledge Transfer and Self-Refinement

abstract: Weakly-supervised instance segmentation (WSIS) has been considered as a more challenging task than weakly-supervised semantic segmentation (WSSS). Compared to WSSS, WSIS requires instance-wise localization, which is difficult to extract from image-level labels. To tackle the problem, most WSIS approaches use off-the-shelf proposal techniques that require pre-training with instance or object level labels, deviating the fundamental definition of the fully-image-level supervised setting. In this paper, we propose a novel approach including two innovative components. First, we propose a semantic knowledge transfer to obtain pseudo instance labels by transferring the knowledge of WSSS to WSIS while eliminating the need for the off-the-shelf proposals. Second, we propose a self-refinement method to refine the pseudo instance labels in a self-supervised scheme and to use the refined labels for training in an online manner. Here, we discover an erroneous phenomenon, semantic drift, that occurred by the missing instances in pseudo instance labels categorized as background class. This semantic drift occurs confusion between background and instance in training and consequently degrades the segmentation performance. We term this problem as semantic drift problem and show that our proposed self-refinement method eliminates the semantic drift problem. The extensive experiments on PASCAL VOC 2012 and MS COCO demonstrate the effectiveness of our approach, and we achieve a considerable performance without off-the-shelf proposal techniques. The code is available at https://github.com/clovaai/BESTIE.


title: A Survey of Text Games for Reinforcement Learning informed by Natural Language

abstract: Reinforcement Learning has shown success in a number of complex virtual environments. However, many challenges still exist towards solving problems with natural language as a core component. Interactive Fiction Games (or Text Games) are one such problem type that offer a set of partially observable environments where natural language is required as part of the reinforcement learning solutions. Therefore, this survey's aim is to assist in the development of new Text Game problem settings and solutions for Reinforcement Learning informed by natural language. Specifically, this survey summarises: 1) the challenges introduced in Text Game Reinforcement Learning problems, 2) the generation tools for evaluating Text Games and the subsequent environments generated and, 3) the agent architectures currently applied are compared to provide a systematic review of benchmark methodologies and opportunities for future researchers.


title: Systematic Nuclear Uncertainties in the Hypertriton System

abstract: The hypertriton bound state is relevant for inference of knowledge about the hyperon-nucleon (YN) interaction. In this work we compute the binding energy of the hypertriton using the ab initio hypernuclear no-core shell model (NCSM) with realistic interactions derived from chiral effective field theory. In particular, we employ a large family of nucleon-nucleon interactions with the aim to quantify the theoretical precision of predicted hypernuclear observables arising from nuclear-physics uncertainties. The three-body calculations are performed in a relative Jacobi-coordinate harmonic oscillator basis and we implement infrared correction formulas to extrapolate the NCSM results to infinite model space. We find that the spread of the predicted hypertriton binding energy, attributed to the nuclear-interaction model uncertainty, is about 100 keV. In conclusion, the sensitivity of the hypertriton binding energy to nuclear-physics uncertainties is of the same order of magnitude as experimental uncertainties such that this bound-state observable can be used in the calibration procedure to constrain the YN interactions.


title: Mechanism of keyhole pore formation in metal additive manufacturing

abstract: Metal additive manufacturing has gained extensive attention from research institutes and companies to fabricate intricate parts and functionally graded materials. However, the porosity of the as-built part deteriorates the mechanical property and even hinders the further application of metal additive manufacturing. Particularly, the mechanisms of keyhole pores associated with the keyhole fluctuation are not fully understood. To reveal the mechanisms of the keyhole pores formation, we adopt a multiphysics thermal-fluid flow model incorporating heat transfer, liquid flow, metal evaporation, Marangoni effect, and Darcy's law to simulate the keyhole pore formation process, and the results are validated with the in-situ X-ray images. The simulation results present the instant bubble formation due to the keyhole instability and motion of the instant bubble when it pins on the solidification front. Moreover, the unevenly distributed recoil pressure on the keyhole surface is an important factor for keyhole collapse and penetration. Furthermore, comparing the keyhole pore formation under different laser scanning speeds shows that the keyhole pore is sensitive to the manufacturing parameters. The keyhole fluctuation features and energy absorptivity variation on the rear keyhole wall could be metrics to evaluate the likelihood of the keyhole pore formation. Additionally, the simulation under a low ambient pressure shows the feasibility of improving the keyhole stability to reduce and even avoid the formation of keyhole pores.


title: Degrees of Kalman varieties of tensors

abstract: Kalman varieties of tensors are algebraic varieties consisting of tensors whose singular vector $k$-tuples lay on prescribed subvarieties. They were first studied by Ottaviani and Sturmfels in the context of matrices. We extend recent results of Ottaviani and the first author to the partially symmetric setting. We describe a generating function whose coefficients are the degrees of these varieties and we analyze its asymptotics, providing analytic results \`a la Zeilberger and Pantone. We emphasize the special role of isotropic vectors in the spectral theory of tensors and describe the totally isotropic Kalman variety as a dual variety.


title: Ground states for the planar NLSE with a point defect as minimizers of the constrained energy

abstract: We investigate the ground states for the focusing, subcritical nonlinear Schr\"odinger equation with a point defect in dimension two, defined as the minimizers of the energy functional at fixed mass. We prove that ground states exist for every positive mass and show a logarithmic singularity at the defect. Moreover, up to a multiplication by a constant phase, they are positive, radially symmetric, and decreasing along the radial direction. In order to overcome the obstacles arising from the uncommon structure of the energy space, that complicates the application of standard rearrangement theory, we move to the study of the minimizers of the action functional on the Nehari manifold and then establish a connection with the original problem. An ad hoc result on rearrangements is given to prove qualitative features of the ground states.


title: ConvAbuse: Data, Analysis, and Benchmarks for Nuanced Abuse Detection in Conversational AI

abstract: We present the first English corpus study on abusive language towards three conversational AI systems gathered "in the wild": an open-domain social bot, a rule-based chatbot, and a task-based system. To account for the complexity of the task, we take a more `nuanced' approach where our ConvAI dataset reflects fine-grained notions of abuse, as well as views from multiple expert annotators. We find that the distribution of abuse is vastly different compared to other commonly used datasets, with more sexually tinted aggression towards the virtual persona of these systems. Finally, we report results from bench-marking existing models against this data. Unsurprisingly, we find that there is substantial room for improvement with F1 scores below 90%.


title: On Circuit-based Hybrid Quantum Neural Networks for Remote Sensing Imagery Classification

abstract: This article aims to investigate how circuit-based hybrid Quantum Convolutional Neural Networks (QCNNs) can be successfully employed as image classifiers in the context of remote sensing. The hybrid QCNNs enrich the classical architecture of CNNs by introducing a quantum layer within a standard neural network. The novel QCNN proposed in this work is applied to the Land Use and Land Cover (LULC) classification, chosen as an Earth Observation (EO) use case, and tested on the EuroSAT dataset used as reference benchmark. The results of the multiclass classification prove the effectiveness of the presented approach, by demonstrating that the QCNN performances are higher than the classical counterparts. Moreover, investigation of various quantum circuits shows that the ones exploiting quantum entanglement achieve the best classification scores. This study underlines the potentialities of applying quantum computing to an EO case study and provides the theoretical and experimental background for futures investigations.


title: Global higher integrability for minimisers of convex obstacle problems with (p,q)-growth

abstract: We prove global $W^{1,q}(\Omega,\mathbb{R}^N)$-regularity for minimisers of $\mathscr{F}(u)=\int_\Omega F(x,\mathrm{D}u)\mathrm{d} x$ satisfying $u\geq \psi$ for a given Sobolev obstacle $\psi$. $W^{1,q}(\Omega,\mathbb{R}^m)$ regularity is also proven for minimisers of the associated relaxed functional. Our main assumptions on $F(x,z)$ are a uniform $\alpha$-H\"older continuity assumption in $x$ and natural $(p,q)$-growth conditions in $z$ with $q<\frac{(n+\alpha)p}{n}$. In the autonomous case $F\equiv F(z)$ we can improve the gap to $q<\frac{np}{n-1}$, a result new even in the unconstrained case.


title: Effects of sweeps and ejections on amplitude modulation in a turbulent channel flow

abstract: Conditional averages are used to evaluate the effect of sweeps and ejections on amplitude modulation. This is done numerically with a direct numerical simulation (DNS) of a channel flow at friction Reynolds number $Re_{\tau} = 1000$ in a minimal stream-wise unit (MSU). The amplitude-modulation map of such DNS is also compared to the one of a regular channel flow in a longer streamwise domain (LSD), in order to assess its validity for this study. The cheaper MSU is found to provide a good representation of the modulation phenomena in the LSD. As for conditional averages, the amplitude-modulation coefficient is conditioned on the sign of the large-scale fluctuations. Care must be exerted in defining such a coefficient, as the conditioned large-scale fluctuation has non-zero average, indeed as a consequence of conditioning. Both sweeps and ejections (positive and negative large-scale fluctuation events) are found to have a positive contribution to amplitude modulation in the buffer layer, and a negative one in the outer layer. The negative-modulation region is found to shrink in case of ejections, so that the positive-modulation region extends farther away from the wall. Two more conditional statistics are used to provide an alternative representation of amplitude modulation and insights into the characteristics of the large-scale structures.


title: Dyadformer: A Multi-modal Transformer for Long-Range Modeling of Dyadic Interactions

abstract: Personality computing has become an emerging topic in computer vision, due to the wide range of applications it can be used for. However, most works on the topic have focused on analyzing the individual, even when applied to interaction scenarios, and for short periods of time. To address these limitations, we present the Dyadformer, a novel multi-modal multi-subject Transformer architecture to model individual and interpersonal features in dyadic interactions using variable time windows, thus allowing the capture of long-term interdependencies. Our proposed cross-subject layer allows the network to explicitly model interactions among subjects through attentional operations. This proof-of-concept approach shows how multi-modality and joint modeling of both interactants for longer periods of time helps to predict individual attributes. With Dyadformer, we improve state-of-the-art self-reported personality inference results on individual subjects on the UDIVA v0.5 dataset.


title: On the Convergence of Tsetlin Machines for the AND and the OR Operators

abstract: The Tsetlin Machine (TM) is a novel machine-learning algorithm based on propositional logic, which has obtained state-of-the-art performance on several pattern recognition problems. In previous studies, the convergence properties of TM for 1-bit operation and XOR operation have been analyzed. To make the analyses for the basic digital operations complete, in this article, we analyze the convergence when input training samples follow AND and OR operators respectively. Our analyses reveal that the TM can converge almost surely to reproduce AND and OR operators, which are learnt from training data over an infinite time horizon. The analyses on AND and OR operators, together with the previously analysed 1-bit and XOR operations, complete the convergence analyses on basic operators in Boolean algebra.


title: Struct-MRT: Immersive Learning and Teaching of Design and Verification in Structural Civil Engineering using Mixed Reality

abstract: Our goal is to transform traditional paper-based instruction into an immersive lesson. This paper presents the conception, workflow and deployment of two MR applications for verification of typical yet geometrically complex structural members: a reinforced concrete corbel and a steel frame. The aim of this research is threefold: (i) to develop and implement the technological feasibility of such applications, (ii) to demonstrate possible use cases in the context of structural engineering lectures and (iii) to evaluate the presented MR examples and the future potential of such MR applications in structural engineering lectures through a survey. The workflow and MR teaching applications were developed with Apple's ARKit. The verification process was reproduced in the MR applications based on conventional exercises taught on paper. Users can navigate independently through the applications and review every single step, including a true-to-scale, spatial representation of the specific component as well as associated verification formulas in the respective step. The applications were used to assess the demand and expectations for immersive teaching techniques among students and instructors through a survey. The participants were asked to test the MR applications on their devices or watch pre-recorded video demonstrations, afterwards perception was elicited through a questionnaire. The results of subsequent data analysis show generally positive judgement of the MR application over the six questioned categories (style, usefulness, ease of use, enjoyment, attitude as well as intention towards using). The statistical analysis revealed (positivity) biases for users with prior XR experience w.r.t. to usage and navigation, while inexperienced users underlined increased enjoyment or excitement with this learning format. The outlook covers identified shortcomings and future developments in this field.


title: High-resolution modeling of nonlinear Compton scattering in focused laser pulses

abstract: A semi-classical approach is used to calculate radiation emission in the collision of an electron with an intense focused laser pulse. The results are compared to predictions from the locally constant field and locally monochromatic approximations. It is found that simulations employing the semi-classical approach capture features in the energy spectra, such as subharmonics and bandwidth structure, which are beyond local approaches. The formation length is introduced as a diagnostic to select between approaches as the electron is propagated through the pulse.


title: DeepPhysics: a physics aware deep learning framework for real-time simulation

abstract: Real-time simulation of elastic structures is essential in many applications, from computer-guided surgical interventions to interactive design in mechanical engineering. The Finite Element Method is often used as the numerical method of reference for solving the partial differential equations associated with these problems. Yet, deep learning methods have recently shown that they could represent an alternative strategy to solve physics-based problems 1,2,3. In this paper, we propose a solution to simulate hyper-elastic materials using a data-driven approach, where a neural network is trained to learn the non-linear relationship between boundary conditions and the resulting displacement field. We also introduce a method to guarantee the validity of the solution. In total, we present three contributions: an optimized data set generation algorithm based on modal analysis, a physics-informed loss function, and a Hybrid Newton-Raphson algorithm. The method is applied to two benchmarks: a cantilever beam and a propeller. The results show that our network architecture trained with a limited amount of data can predict the displacement field in less than a millisecond. The predictions on various geometries, topologies, mesh resolutions, and boundary conditions are accurate to a few micrometers for non-linear deformations of several centimeters of amplitude.


title: A Novel Cluster Detection of COVID-19 Patients and Medical Disease Conditions Using Improved Evolutionary Clustering Algorithm Star

abstract: With the increasing number of samples, the manual clustering of COVID-19 and medical disease data samples becomes time-consuming and requires highly skilled labour. Recently, several algorithms have been used for clustering medical datasets deterministically; however, these definitions have not been effective in grouping and analysing medical diseases. The use of evolutionary clustering algorithms may help to effectively cluster these diseases. On this presumption, we improved the current evolutionary clustering algorithm star (ECA*), called iECA*, in three manners: (i) utilising the elbow method to find the correct number of clusters; (ii) cleaning and processing data as part of iECA* to apply it to multivariate and domain-theory datasets; (iii) using iECA* for real-world applications in clustering COVID-19 and medical disease datasets. Experiments were conducted to examine the performance of iECA* against state-of-the-art algorithms using performance and validation measures (validation measures, statistical benchmarking, and performance ranking framework). The results demonstrate three primary findings. First, iECA* was more effective than other algorithms in grouping the chosen medical disease datasets according to the cluster validation criteria. Second, iECA* exhibited the lower execution time and memory consumption for clustering all the datasets, compared to the current clustering methods analysed. Third, an operational framework was proposed to rate the effectiveness of iECA* against other algorithms in the datasets analysed, and the results indicated that iECA* exhibited the best performance in clustering all medical datasets. Further research is required on real-world multi-dimensional data containing complex knowledge fields for experimental verification of iECA* compared to evolutionary algorithms.


title: Multi-Layer SIS Model with an Infrastructure Network

abstract: This paper deals with the spread of diseases over both a population network and an infrastructure network. We develop a layered networked spread model for a susceptible-infected-susceptible (SIS) pathogen-borne disease spreading over a human contact network and an infrastructure network, and refer to it as a layered networked susceptible-infected-water-susceptible (SIWS) model. The SIWS network is in the healthy state (also referred to as the disease-free equilibrium) if none of the individuals in the population are infected nor is the infrastructure network contaminated; otherwise, we say that the network is in the endemic state (also referred to as the endemic equilibrium). First, we establish sufficient conditions for local exponential stability and global asymptotic stability (GAS) of the healthy state. Second, we provide sufficient conditions for existence, uniqueness, and GAS of the endemic state. Building off of these results, we provide a necessary, and sufficient, condition for the healthy state to be the unique equilibrium of our model. Third, we show that the endemic equilibrium of the SIWS model is worse than that of the networked SIS model without any infrastructure network, in the sense that at least one subpopulation has strictly larger infection proportion at the endemic equilibrium in the former model than that in the latter. Fourth, we study an observability problem, and, assuming that the measurements of the sickness-levels of the human contact network are available, provide a necessary and sufficient condition for estimation of the pathogen levels in the infrastructure network. Furthermore, we provide another sufficient, but not necessary, condition for estimation of pathogen levels in the infrastructure network.


title: Coefficients of factor score determinacy for mean plausible values of Bayesian factor analysis

abstract: In the context of Bayesian factor analysis, it is possible to compute mean plausible values, which might be used as covariates or predictors or in order to provide individual scores for the Bayesian latent variables. Previous simulation studies ascertained the validity of the plausible values by the mean squared difference of the plausible values and the generating factor scores. However, the generating factor scores are unknown in empirical studies so that an indicator that is solely based on model parameters is needed in order to evaluate the validity of factor score estimates in empirical studies. The coefficient of determinacy is based on model parameters and can be computed whenever Bayesian factor analysis is performed in empirical settings. Therefore, the central aim of the present simulation study was to compare the coefficient of determinacy based on model parameters with the correlation of mean plausible values with the generating factors. It was found that the coefficient of determinacy yields an acceptable estimate for the validity of mean plausible values. As for small sample sizes and a small salient loading size the coefficient of determinacy overestimates the validity, it is recommended to report the coefficient of determinacy together with a bias-correction in order to estimate the validity of mean plausible values in empirical settings.


title: GhostShiftAddNet: More Features from Energy-Efficient Operations

abstract: Deep convolutional neural networks (CNNs) are computationally and memory intensive. In CNNs, intensive multiplication can have resource implications that may challenge the ability for effective deployment of inference on resource-constrained edge devices. This paper proposes GhostShiftAddNet, where the motivation is to implement a hardware-efficient deep network: a multiplication-free CNN with fewer redundant features. We introduce a new bottleneck block, GhostSA, that converts all multiplications in the block to cheap operations. The bottleneck uses an appropriate number of bit-shift filters to process intrinsic feature maps, then applies a series of transformations that consist of bit-wise shifts with addition operations to generate more feature maps that fully learn to capture information underlying intrinsic features. We schedule the number of bit-shift and addition operations for different hardware platforms. We conduct extensive experiments and ablation studies with desktop and embedded (Jetson Nano) devices for implementation and measurements. We demonstrate the proposed GhostSA block can replace bottleneck blocks in the backbone of state-of-the-art networks architectures and gives improved performance on image classification benchmarks. Further, our GhostShiftAddNet can achieve higher classification accuracy with fewer FLOPs and parameters (reduced by up to 3x) than GhostNet. When compared to GhostNet, inference latency on the Jetson Nano is improved by 1.3x and 2x on the GPU and CPU respectively. Code is available open-source on \url{https://github.com/JIABI/GhostShiftAddNet}.


title: Background Independent Field Quantization with Sequences of Gravity-Coupled Approximants II: Metric Fluctuations

abstract: We apply the new quantization scheme outlined in Phys. Rev. D102 (2020) 125001 to explore the influence which quantum vacuum fluctuations of the spacetime metric exert on the universes of Quantum Einstein Gravity, which is regarded an effective theory here. The scheme promotes the principle of Background Independence to the level of the regularized precursors of a quantum field theory ("approximants") and severely constrains admissible regularization schemes. Without any tuning of parameters, we find that the zero point oscillations of linear gravitons on maximally symmetric spacetimes do not create the commonly expected cosmological constant problem of a cutoff-size curvature. On the contrary, metric fluctuations are found to reduce positive curvatures to arbitrarily tiny and ultimately vanishing values when the cutoff is lifted. This suggests that flat space could be the distinguished groundstate of pure quantum gravity. Our results contradict traditional beliefs founded upon background-dependent calculations whose validity must be called into question therefore.


title: Double-extended Kerr-Schild form for $5D$ electrovacuum solutions

abstract: Five-dimensional Einstein-Maxwell-Chern-Simons equations are investigated in the framework of an extended Kerr-Schild strategy to search for black holes solutions. The fulfillment of Einstein equations constrains the Chern-Simons coupling constant to a value determined by the trace of the energy-momentum tensor of the electromagnetic configuration.


title: Observation of bound states in the continuum in a micromechanical resonator

abstract: Bound states in the continuum (BICs) refer to physical states that possess intrinsic zero dissipation loss even though they are located in the continuous energy spectrum. BICs have been widely explored in optical and acoustic structures, leading to applications in sensing and lasing. Realizing BICs in micromechanical structures is of significant importance for both fundamental research and engineering applications. Here, we fabricated, with CMOS-compatible processes on a silicon chip, a wheel-shaped micromechanical resonator, in which we experimentally observed the BIC in the micromechanical domain. Such BICs result from destructive interference between two dissipative modes of the mechanical structure under broken azimuthal symmetry. These BICs are found to be robust against size variations of the dissipation channels. The demonstrated mechanical BIC can be obtained with a large and robust supporting structure, which substantially reduces device fabrication difficulty and allows for its operation in versatile environments for broader application areas. Our results open a new way of phonon trapping in micromechanical structures with dissipation channels, and produce long phonon lifetimes that are desired in many mechanical applications such as mechanical oscillators, sensors, and quantum information processors.


title: Machine learning methods for modelling and analysis of time series signals in geoinformatics

abstract: In this dissertation is provided a comparative analysis that evaluates the performance of several deep learning (DL) architectures on a large number of time series datasets of different nature and for different applications. Two main fruitful research fields are discussed here which were strategically chosen in order to address current cross disciplinary research priorities attracting the interest of geodetic community. The first problem is related to ionospheric Total Electron Content (TEC) modeling which is an important issue in many real time Global Navigation System Satellites (GNSS) applications. Reliable and fast knowledge about ionospheric variations becomes increasingly important. GNSS users of single frequency receivers and satellite navigation systems need accurate corrections to remove signal degradation effects caused by the ionosphere. Ionospheric modeling using signal processing techniques is the subject of discussion in the present contribution. The next problem under discussion is energy disaggregation which is an important issue for energy efficiency and energy consumption awareness. Reliable and fast knowledge about residential energy consumption at appliance level becomes increasingly important nowadays and it is an important mitigation measure to prevent energy wastage. Energy disaggregation or Nonintrusive load monitoring (NILM) is a single channel blind source separation problem where the task is to estimate the consumption of each electrical appliance given the total energy consumption. For both problems various deep learning models (DL) are proposed that cover various aspects of the problem under study, whereas experimental results indicate the proposed methods superiority compared to the current state of the art.


title: Deep Learning-Based Estimation and Goodness-of-Fit for Large-Scale Confirmatory Item Factor Analysis

abstract: We investigate novel parameter estimation and goodness-of-fit (GOF) assessment methods for large-scale confirmatory item factor analysis (IFA) with many respondents, items, and latent factors. For parameter estimation, we extend Urban and Bauer's (2021) deep learning algorithm for exploratory IFA to the confirmatory setting by showing how to handle constraints on loadings and factor correlations. For GOF assessment, we explore simulation-based tests and indices that extend the classifier two-sample test (C2ST), a method that tests whether a deep neural network can distinguish between observed data and synthetic data sampled from a fitted IFA model. Proposed extensions include a test of approximate fit wherein the user specifies what percentage of observed and synthetic data should be distinguishable as well as a relative fit index (RFI) that is similar in spirit to the RFIs used in structural equation modeling. Via simulation studies, we show that: (1) the confirmatory extension of Urban and Bauer's (2021) algorithm obtains comparable estimates to a state-of-the-art estimation procedure in less time; (2) C2ST-based GOF tests control the empirical type I error rate and detect when the latent dimensionality is misspecified; and (3) the sampling distribution of the C2ST-based RFI depends on the sample size.


title: Additive Sequences, Sums, Golden Ratios and Determinantal Identities

abstract: The Fibonacci sequence is a series of positive integers in which, starting from $0$ and $1$, every number is the sum of two previous numbers, and the limiting ratio of any two consecutive numbers of this sequence is called the golden ratio. The Fibonacci numbers and the golden ratio are two significant concepts that keep appearing everywhere. In this article, we investigate the following issues: (i) We recall the Fibonacci sequence, the golden ratio, their properties and applications, and some early generalizations of the golden ratio. The Fibonacci sequence is a $2$-sequence because it is generated by the sum of two previous terms, $f_{n+2} = f_{n+1} + f_{n}$. As a natural extension of this, we introduce several typical $p$-sequences where every term is the sum of $p$ previous terms given $p$ initial values called "seeds". In particular, we introduce the notion of $1$-sequence. We then discuss generating functions and limiting ratio values of $p$-sequences. Furthermore, inspired by Fibonacci's rabbit pair problem, we consider a general problem whose particular cases lead to nontrivial additive sequences. (ii) We obtain closed expressions for odd and even sums, sum of the first $n$ numbers, and the sum of squares of the first $n$ numbers of the "exponent" $p$-sequence whose seeds are $(0,1,\cdots,p-1)$. (iii) We investigate the $p$-golden ratio of $p$-sequences, express a positive integer power of the $p$-golden ratio as a polynomial of degree $p-1$, and obtain values of golden angles for different $p$-golden ratios. We also consider further generalizations of the golden ratio. (iv) We establish a family of determinantal identities of which the Cassini's identity is a particular case.


title: Differentially Evolving Memory Ensembles: Pareto Optimization based on Computational Intelligence for Embedded Memories on a System Level

abstract: As the relative power, performance, and area (PPA) impact of embedded memories continues to grow, proper parameterization of each of the thousands of memories on a chip is essential. When the parameters of all memories of a product are optimized together as part of a single system, better trade-offs may be achieved than if the same memories were optimized in isolation. However, challenges such as a sparse solution space, conflicting objectives, and computationally expensive PPA estimation impede the application of common optimization heuristics. We show how the memory system optimization problem can be solved through computational intelligence. We apply a Pareto-based Differential Evolution to ensure unbiased optimization of multiple PPA objectives. To ensure efficient exploration of a sparse solution space, we repair individuals to yield feasible parameterizations. PPA is estimated efficiently in large batches by pre-trained regression neural networks. Our framework enables the system optimization of thousands of memories while keeping a small resource footprint. Evaluating our method on a tractable system, we find that our method finds diverse solutions which exhibit less than 0.5% distance from known global optima.


title: Deep Reinforcement Learning Based Multidimensional Resource Management for Energy Harvesting Cognitive NOMA Communications

abstract: The combination of energy harvesting (EH), cognitive radio (CR), and non-orthogonal multiple access (NOMA) is a promising solution to improve energy efficiency and spectral efficiency of the upcoming beyond fifth generation network (B5G), especially for support the wireless sensor communications in Internet of things (IoT) system. However, how to realize intelligent frequency, time, and energy resource allocation to support better performances is an important problem to be solved. In this paper, we study joint spectrum, energy, and time resource management for the EH-CR-NOMA IoT systems. Our goal is to minimize the number of data packets losses for all secondary sensing users (SSU), while satisfying the constraints on the maximum charging battery capacity, maximum transmitting power, maximum buffer capacity, and minimum data rate of primary users (PU) and SSUs. Due to the non-convexity of this optimization problem and the stochastic nature of the wireless environment, we propose a distributed multidimensional resource management algorithm based on deep reinforcement learning (DRL). Considering the continuity of the resources to be managed, the deep deterministic policy gradient (DDPG) algorithm is adopted, based on which each agent (SSU) can manage its own multidimensional resources without collaboration. In addition, a simplified but practical action adjuster (AA) is introduced for improving the training efficiency and battery performance protection. The provided results show that the convergence speed of the proposed algorithm is about 4 times faster than that of DDPG, and the average number of packet losses (ANPL) is about 8 times lower than that of the greedy algorithm.


title: The Devil Is in the Details: An Efficient Convolutional Neural Network for Transport Mode Detection

abstract: Transport mode detection is a classification problem aiming to design an algorithm that can infer the transport mode of a user given multimodal signals (GPS and/or inertial sensors). It has many applications, such as carbon footprint tracking, mobility behaviour analysis, or real-time door-to-door smart planning. Most current approaches rely on a classification step using Machine Learning techniques, and, like in many other classification problems, deep learning approaches usually achieve better results than traditional machine learning ones using handcrafted features. Deep models, however, have a notable downside: they are usually heavy, both in terms of memory space and processing cost. We show that a small, optimized model can perform as well as a current deep model. During our experiments on the GeoLife and SHL 2018 datasets, we obtain models with tens of thousands of parameters, that is, 10 to 1,000 times less parameters and operations than networks from the state of the art, which still reach a comparable performance. We also show, using the aforementioned datasets, that the current preprocessing used to deal with signals of different lengths is suboptimal, and we provide better replacements. Finally, we introduce a way to use signals with different lengths with the lighter Convolutional neural networks, without using the heavier Recurrent Neural Networks.


title: Unsupervised domain adaptation with non-stochastic missing data

abstract: We consider unsupervised domain adaptation (UDA) for classification problems in the presence of missing data in the unlabelled target domain. More precisely, motivated by practical applications, we analyze situations where distribution shift exists between domains and where some components are systematically absent on the target domain without available supervision for imputing the missing target components. We propose a generative approach for imputation. Imputation is performed in a domain-invariant latent space and leverages indirect supervision from a complete source domain. We introduce a single model performing joint adaptation, imputation and classification which, under our assumptions, minimizes an upper bound of its target generalization error and performs well under various representative divergence families (H-divergence, Optimal Transport). Moreover, we compare the target error of our Adaptation-imputation framework and the "ideal" target error of a UDA classifier without missing target components. Our model is further improved with self-training, to bring the learned source and target class posterior distributions closer. We perform experiments on three families of datasets of different modalities: a classical digit classification benchmark, the Amazon product reviews dataset both commonly used in UDA and real-world digital advertising datasets. We show the benefits of jointly performing adaptation, classification and imputation on these datasets.


title: Decoupling Long- and Short-Term Patterns in Spatiotemporal Inference

abstract: Sensors are the key to environmental monitoring, which impart benefits to smart cities in many aspects, such as providing real-time air quality information to assist human decision-making. However, it is impractical to deploy massive sensors due to the expensive costs, resulting in sparse data collection. Therefore, how to get fine-grained data measurement has long been a pressing issue. In this paper, we aim to infer values at non-sensor locations based on observations from available sensors (termed spatiotemporal inference), where capturing spatiotemporal relationships among the data plays a critical role. Our investigations reveal two significant insights that have not been explored by previous works. Firstly, data exhibits distinct patterns at both long- and short-term temporal scales, which should be analyzed separately. Secondly, short-term patterns contain more delicate relations including those across spatial and temporal dimensions simultaneously, while long-term patterns involve high-level temporal trends. Based on these observations, we propose to decouple the modeling of short-term and long-term patterns. Specifically, we introduce a joint spatiotemporal graph attention network to learn the relations across space and time for short-term patterns. Furthermore, we propose a graph recurrent network with a time skip strategy to alleviate the gradient vanishing problem and model the long-term dependencies. Experimental results on four public real-world datasets demonstrate that our method effectively captures both long- and short-term relations, achieving state-of-the-art performance against existing methods.


title: Automatic Generation of Board Game Manuals

abstract: In this paper we present a process for automatically generating manuals for board games within the Ludii general game system. This process requires many different sub-tasks to be addressed, such as English translation of Ludii game descriptions, move visualisation, highlighting winning moves, strategy explanation, among others. These aspects are then combined to create a full manual for any given game. This manual is intended to provide a more intuitive explanation of a game's rules and mechanics, particularly for players who are less familiar with the Ludii game description language and grammar.


title: Characterization of Muon and Electron Beams in the Paul Scherrer Institute PiM1 Channel for the MUSE Experiment

abstract: The MUon Scattering Experiment, MUSE, at the Paul Scherrer Institute, Switzerland, investigates the proton charge radius puzzle, lepton universality, and two-photon exchange, via simultaneous measurements of elastic muon-proton and electron-proton scattering. The experiment uses the PiM1 secondary beam channel, which was designed for high precision pion scattering measurements. We review the properties of the beam line established for pions. We discuss the production processes that generate the electron and muon beams, and the simulations of these processes. Simulations of the $\pi$/$\mu$/$e$ beams through the channel using TURTLE and G4beamline are compared. The G4beamline simulation is then compared to several experimental measurements of the channel, including the momentum dispersion at the IFP and target, the shape of the beam spot at the target, and timing measurements that allow the beam momenta to be determined. We conclude that the PiM1 channel can be used for high precision $\pi$, $\mu$, and $e$ scattering.


title: Measuring Recoiling Nucleons from the Nucleus with the Electron Ion Collider

abstract: Short range correlated nucleon-nucleon ($NN$) pairs are an important part of the nuclear ground state. They are typically studied by scattering an electron from one nucleon in the pair and detecting its spectator correlated partner ("spectator-nucleon tagging"). The Electron Ion Collider (EIC) should be able to detect these nucleons, since they are boosted to high momentum in the lab frame by the momentum of the ion beam. To determine the feasibility of these studies with the planned EIC detector configuration, we have simulated quasi-elastic scattering for two electron and ion beam energy configurations: 5 GeV $e^{-}$ and 41 GeV/A ions, and 10 GeV $e^{-}$ and 110 GeV/A ions. We show that the knocked-out and recoiling nucleons can be detected over a wide range of initial nucleon momenta. We also show that these measurements can achieve much larger momentum transfers than current fixed target experiments. By detecting both low and high initial-momentum nucleons, the EIC will provide the data that should allow scientists to definitively show if the EMC effect and short-range correlation are connected, and to improve our understanding of color transparency.


title: Conditionally Parameterized, Discretization-Aware Neural Networks for Mesh-Based Modeling of Physical Systems

abstract: Simulations of complex physical systems are typically realized by discretizing partial differential equations (PDEs) on unstructured meshes. While neural networks have recently been explored for surrogate and reduced order modeling of PDE solutions, they often ignore interactions or hierarchical relations between input features, and process them as concatenated mixtures. We generalize the idea of conditional parameterization -- using trainable functions of input parameters to generate the weights of a neural network, and extend them in a flexible way to encode critical information. Inspired by discretized numerical methods, choices of the parameters include physical quantities and mesh topology features. The functional relation between the modeled features and the parameters is built into the network architecture. The method is implemented on different networks and applied to frontier scientific machine learning tasks including the discovery of unmodeled physics, super-resolution of coarse fields, and the simulation of unsteady flows with chemical reactions. The results show that the conditionally-parameterized networks provide superior performance compared to their traditional counterparts. The CP-GNet - an architecture that can be trained on very few data snapshots - is proposed as the first deep learning model capable of standalone prediction of reacting flows on irregular meshes.


title: A Graceful Algebraic Function Labelling of Rooted Symmetric Trees

abstract: Let T=(V,E) be a tree with vertex set V and edge set E. A graceful labelling f of T is an injective function f from V into {0, 1, ..., |E|} such that if edge uv is assigned the label g(uv)=|f(u)-f(v)| then the function g from E into {1, ..., |E|} is also injective (that is all edge labels are distinct). A rooted symmetric tree is a tree in which all vertices at the same level from root vertex have the same degree. It has been known since 1979 that rooted symmetric trees are graceful. However, the proofs that have been presented for this fact are either indirect inductive proofs or algorithmic descriptive proofs showing the many separate steps involved in labelling the vertices. Given a rooted symmetric tree, we find a graceful labelling f of T in the form of a direct algebraic function that algebraically maps each vertex of T to a unique label. Interestingly, f turns out to be a generalisation of the way a path is canonically gracefully labelled as algorithmically described by A. Rosa who is a pioneer in this field of research. The algebraic function that defines the graceful labelling is used to show that a class of rooted symmetric trees that contains the class of binomial trees has weakly {\alpha}-labelling and it can provide a concise practical, computational way of producing graceful labelling of large rooted symmetric trees in, relatively, minimal time.


title: Landmark Policy Optimization for Object Navigation Task

abstract: This work studies object goal navigation task, which involves navigating to the closest object related to the given semantic category in unseen environments. Recent works have shown significant achievements both in the end-to-end Reinforcement Learning approach and modular systems, but need a big step forward to be robust and optimal. We propose a hierarchical method that incorporates standard task formulation and additional area knowledge as landmarks, with a way to extract these landmarks. In a hierarchy, a low level consists of separately trained algorithms to the most intuitive skills, and a high level decides which skill is needed at this moment. With all proposed solutions, we achieve a 0.75 success rate in a realistic Habitat simulator. After a small stage of additional model training in a reconstructed virtual area at a simulator, we successfully confirmed our results in a real-world case.


title: Which measure-valued solutions of the monoatomic gas equations are generated by weak solutions?

abstract: Contrary to the incompressible case not every measure-valued solution of the compressible Euler equations can be generated by weak solutions or a vanishing viscosity sequence. In the present paper we give sufficient conditions on an admissible measure-valued solution of the isentropic Euler system to be generated by weak solutions. As one of the crucial steps we prove an $L^{\infty}$-variant of Fonseca and M\"uller's characterization result for generating $\mathcal{A}$-free Young measures in terms of potential operators. More concrete versions of our results are presented in the case of a solution consisting of two Dirac measures. We conclude by discussing also necessary conditions for generating a measure-valued solution by weak solutions or a vanishing viscosity sequence and will point out that the resulting gap mainly results from obtaining only uniform $L^p$-bounds for $1<p<\infty$ instead of $p=\infty$.


title: Deformed Schwarzschild horizons in second-order perturbation theory: mass, geometry, and teleology

abstract: In recent years, gravitational-wave astronomy has motivated increasingly accurate perturbative studies of gravitational dynamics in compact binaries. This in turn has enabled more detailed analyses of the dynamical black holes in these systems. For example, Pound et al. [Phys. Rev. Lett. 124, 021101 (2020)] recently computed the surface area of a Schwarzschild black hole's apparent horizon, perturbed by an orbiting body, to second order in the binary's mass ratio. In this paper, we take that as the starting point for a comprehensive study of a perturbed Schwarzschild black hole's apparent and event horizon at second perturbative order, deriving generic formulas for the first- and second-order corrections to the horizons' radial profiles, surface areas, Hawking masses, and intrinsic curvatures. We find that the two horizons are remarkably similar, and that any teleological behavior of the event horizon is suppressed in several ways. Critically, we establish that at all orders, the perturbed event horizon in a small-mass-ratio binary is effectively localized in time. Even more pointedly, the event horizon is identical to the apparent horizon at linear order regardless of the source of perturbation, implying that the seemingly teleological "tidal lead", previously observed in linearly perturbed event horizons, is not genuinely teleological in origin. The two horizons do generically differ at second order, but their Hawking masses remain identical, implying that the event horizon obeys the same energy-flux balance law as the apparent horizon. At least in the case of a binary system, the difference between their surface areas remains extremely small even in the late stages of inspiral. In the course of our analysis, we also numerically illustrate puzzling behaviour in the black hole's motion around the binary's center of mass.


title: She Innovates- Female owner and firm innovation in India

abstract: Using data from World Bank Enterprises Survey 2014, we find that having a female owner in India increases firm innovation probability using both input and output indicators of innovation. We account for possible endogeneity of female owner variable using a two stage instrumental variable probit model. We find that the positive effect of female owner variable is observed in the sub-samples of firms with more access to internal funding, young firms and firms located in regions with no or less crime This study highlights the need to promote female entrepreneurship as a potential channel for promoting firm innovation in India.


title: Spin Wave Based 4-2 Compressor

abstract: By their very nature, Spin Waves (SWs) consume ultra-low amounts of energy, which makes them suitable for ultra-low energy consumption applications. In addition, a compressor can be utilized to further reduce the energy consumption and enhance the speed of a multiplier. Therefore, we propose a novel energy efficient SW based 4-2 compressor consisting of 4 XOR gates and 2 Majority gates. The proposed compressor is validated by means of micromagnetic simulations and compared with the state-of-the-art SW, 22nm CMOS, Magnetic Tunnel Junction (MTJ), Domain Wall Motion (DWM), and Spin-CMOS technologies. The performance evaluation shows that the proposed compressor consumes 2.5x less and 1.25x less energy than the 22nm CMOS and the conventional SW compressor, respectively, whereas it consumes at least 3 orders of magnitude less energy than the MTJ, DWM, and Spin-CMOS designs. Furthermore, the compressor achieves the smallest chip real-estate. In summary, the performance evaluation of our proposed compressor shows that the SW technology has the potential to progress the state-of-the-art circuit design in terms of energy consumption and scalability.


title: A mixed-methods ethnographic approach to participatory budgeting in Scotland

abstract: Participatory budgeting (PB) is already well established in Scotland in the form of community led grant-making yet has recently transformed from a grass-roots activity to a mainstream process or embedded 'policy instrument'. An integral part of this turn is the use of the Consul digital platform as the primary means of citizen participation. Using a mixed method approach, this ongoing research paper explores how each of the 32 local authorities that make up Scotland utilise the Consul platform to engage their citizens in the PB process and how they then make sense of citizens' contributions. In particular, we focus on whether natural language processing (NLP) tools can facilitate both citizen engagement, and the processes by which citizens' contributions are analysed and translated into policies.


title: Primary Tumor and Inter-Organ Augmentations for Supervised Lymph Node Colon Adenocarcinoma Metastasis Detection

abstract: The scarcity of labeled data is a major bottleneck for developing accurate and robust deep learning-based models for histopathology applications. The problem is notably prominent for the task of metastasis detection in lymph nodes, due to the tissue's low tumor-to-non-tumor ratio, resulting in labor- and time-intensive annotation processes for the pathologists. This work explores alternatives on how to augment the training data for colon carcinoma metastasis detection when there is limited or no representation of the target domain. Through an exhaustive study of cross-validated experiments with limited training data availability, we evaluate both an inter-organ approach utilizing already available data for other tissues, and an intra-organ approach, utilizing the primary tumor. Both these approaches result in little to no extra annotation effort. Our results show that these data augmentation strategies can be an efficient way of increasing accuracy on metastasis detection, but fore-most increase robustness.


title: PLATO-XL: Exploring the Large-scale Pre-training of Dialogue Generation

abstract: To explore the limit of dialogue generation pre-training, we present the models of PLATO-XL with up to 11 billion parameters, trained on both Chinese and English social media conversations. To train such large models, we adopt the architecture of unified transformer with high computation and parameter efficiency. In addition, we carry out multi-party aware pre-training to better distinguish the characteristic information in social media conversations. With such designs, PLATO-XL successfully achieves superior performances as compared to other approaches in both Chinese and English chitchat. We further explore the capacity of PLATO-XL on other conversational tasks, such as knowledge grounded dialogue and task-oriented conversation. The experimental results indicate that PLATO-XL obtains state-of-the-art results across multiple conversational tasks, verifying its potential as a foundation model of conversational AI.


title: Efficient posterior sampling for Bayesian Poisson regression

abstract: Poisson log-linear models are ubiquitous in many applications, and one of the most popular approaches for parametric count regression. In the Bayesian context, however, there are no sufficient specific computational tools for efficient sampling from the posterior distribution of parameters, and standard algorithms, such as random walk Metropolis-Hastings or Hamiltonian Monte Carlo algorithms, are typically used. Herein, we developed an efficient Metropolis-Hastings algorithm and importance sampler to simulate from the posterior distribution of the parameters of Poisson log-linear models under conditional Gaussian priors with superior performance with respect to the state-of-the-art alternatives. The key for both algorithms is the introduction of a proposal density based on a Gaussian approximation of the posterior distribution of parameters. Specifically, our result leverages the negative binomial approximation of the Poisson likelihood and the successful P\'olya-gamma data augmentation scheme. Via simulation, we obtained that the time per independent sample of the proposed samplers is competitive with that obtained using the successful Hamiltonian Monte Carlo sampling, with the Metropolis-Hastings showing superior performance in all scenarios considered.


title: RibSeg Dataset and Strong Point Cloud Baselines for Rib Segmentation from CT Scans

abstract: Manual rib inspections in computed tomography (CT) scans are clinically critical but labor-intensive, as 24 ribs are typically elongated and oblique in 3D volumes. Automatic rib segmentation methods can speed up the process through rib measurement and visualization. However, prior arts mostly use in-house labeled datasets that are publicly unavailable and work on dense 3D volumes that are computationally inefficient. To address these issues, we develop a labeled rib segmentation benchmark, named \emph{RibSeg}, including 490 CT scans (11,719 individual ribs) from a public dataset. For ground truth generation, we used existing morphology-based algorithms and manually refined its results. Then, considering the sparsity of ribs in 3D volumes, we thresholded and sampled sparse voxels from the input and designed a point cloud-based baseline method for rib segmentation. The proposed method achieves state-of-the-art segmentation performance (Dice~$\approx95\%$) with significant efficiency ($10\sim40\times$ faster than prior arts). The RibSeg dataset, code, and model in PyTorch are available at https://github.com/M3DV/RibSeg.


title: Fundamental Machine Learning Routines as Quantum Algorithms on a Superconducting Quantum Computer

abstract: The Harrow-Hassidim-Lloyd algorithm is intended for solving the system of linear equations on quantum devices. The exponential advantage of the algorithm comes with four caveats. We present a numerical study of the performance of the algorithm when these caveats are not perfectly matched. We observe that, between diagonal and non-diagonal matrices, the algorithm performs with higher success probability for the diagonal matrices. At the same time, it fails to perform well on lower or higher density sparse Hermitian matrices. Again, Quantum Support Vector Machine algorithm is a promising algorithm for classification problem. We have found out that it works better with binary classification problem than multi-label classification problem. And there are many opportunities left for improving the performance.


title: Solving systems of inequalities in two variables with floating point arithmetic

abstract: From a theoretical point of view, finding the solution set of a system of inequalities in only two variables is easy. However, if we want to get rigorous bounds on this set with floating point arithmetic, in all possible cases, then things are not so simple due to rounding errors. In this article we describe in detail an efficient data structure to represent this solution set and an efficient and robust algorithm to build it using floating point arithmetic. The data structure and the algorithm were developed as a building block for the rigorous solution of relevant practical problems. They were implemented in \texttt{C++} and the code was carefully tested. This code is available as supplementary material to the arxiv version of this article, and it is distributed under the Mozilla Public License 2.0.


title: Time-reversal asymmetries and angular distributions in $\Lambda_b \to \Lambda V$

abstract: We study the spin correlations to probe time-reversal~(T) asymmetries in the decays of $\Lambda_b \to \Lambda V ~(V=\phi, \rho^0, \omega, K^{*0})$. The eigenstates of the T-odd operators are obtained along with definite angular momenta. We obtain the T-odd spin correlations from the complex phases among the helicity amplitudes. We give the angular distributions of $\Lambda_b \to \Lambda(\to p \pi^-)V(\to PP')$ and show the corresponding spin correlations, where $P^{(\prime)}$ are the pseudoscalar mesons. Due to the helicity conservation of the $s$ quark in $\Lambda$, we deduce that the polarization asymmetries of $\Lambda$ are close to $-1$. Since the decay of $\Lambda_b \to \Lambda \phi$ in the standard model~(SM) is dictated by the single weak phase from the product of CKM elements, $V_{tb}V_{ts}^*$, the true T and CP asymmetries are suppressed, providing a clean background to test the SM and search for new physics. In the factorization approach, as the helicity amplitudes in the SM share the same complex phase, T-violating effects are absent. Nonetheless, the experimental branching ratio of $Br(\Lambda_b \to \Lambda \phi) = (5.18\pm 1.29 )\times 10^{-6}$ suggests that the nonfactorizable effects or some new physics play an important role. By parametrizing the nonfactorizable contributions with the effective color number, we calculate the branching ratios and direct CP asymmetries. We also explore the possible T-violating effects from new physics.


title: To Automatically Map Source Code Entities to Architectural Modules with Naive Bayes

abstract: Background: The process of mapping a source code entity onto an architectural module is to a large degree a manual task. Automating this process could increase the use of static architecture conformance checking methods, such as reflexion modeling, in industry. Current techniques rely on user parameterization and a highly cohesive design. A machine learning approach would potentially require fewer parameters and better use of the available information to aid in automatic mapping. Aim: We investigate how a classifier can be trained to map from source code to architecture modules automatically. This classifier is trained with semantic and syntactic dependency information extracted from the source code and from architecture descriptions. The classifier is implemented using multinomial naive Bayes and evaluated. Method: We perform experiments and compare the classifier with three state-of-the-art mapping functions in eight open-source Java systems with known ground-truth-mappings. Results: We find that the classifier outperforms the state-of-the-art in all cases and that it provides a useful baseline for further research in the area of semi-automatic incremental clustering. Conclusions: We conclude that machine learning is a useful approach that performs better and with less need for parameterization compared to other approaches. Future work includes investigating problematic mappings and a more diverse set of subject systems.


title: IoT Vulnerability Data Crawling and Analysis

abstract: Internet of Things (IoT) is a whole new ecosystem comprised of heterogeneous connected devices -i.e. computers, laptops, smart-phones and tablets as well as embedded devices and sensors-that communicate to deliver capabilities making our living, cities, transport, energy, and many other areas more intelligent. The main concerns raised from the IoT ecosystem are the devices poor support for patching/updating and the poor on-board computational power. A number of issues stem from this: inherent vulnerabilities and the inability to detect and defend against external attacks. Also, due to the nature of their operation, the devices tend to be rather open to communication, which makes attacks easy to spread once reaching a network. The aim of this research is to investigate if it is possible to extract useful results regarding attacks' trends and be able to predict them, before it is too late, by crawling Deep/Dark and Surface web. The results of this work show that is possible to find the trend and be able to act proactively in order to protect the IoT ecosystem.


title: An Improved and Optimized Practical Non-Blocking PageRank Algorithm for Massive Graphs

abstract: PageRank is a well-known algorithm whose robustness helps set a standard benchmark when processing graphs and analytical problems. The PageRank algorithm serves as a standard for many graph analytics and a foundation for extracting graph features and predicting user ratings in recommendation systems. The PageRank algorithm iterates continuously, updating the ranks of the pages till convergence is achieved. Nevertheless, the implementation of the PageRank algorithm on large-scale graphs that on shared memory architecture utilizing fine-grained parallelism is a difficult task at hand. The experimental study and analysis of the Parallel PageRank kernel on large graphs and shared memory architectures using different programming models have been studied extensively. This paper presents the asynchronous execution of the PageRank algorithm to leverage the computations on massive graphs, especially on shared memory architectures. We evaluate the performance of our proposed non-blocking algorithms for PageRank computation on real-world and synthetic datasets using Posix Multithreaded Library on a 56 core Intel(R) Xeon processor. We observed that our asynchronous implementations achieve 10x to 30x speedup with respect to sequential runs and 5x to 10x improvements over synchronous variants.


title: An effective version of Schm\"udgen's Positivstellensatz for the hypercube

abstract: Let $S \subseteq \mathbb{R}^n$ be a compact semialgebraic set and let $f$ be a polynomial nonnegative on $S$. Schm\"udgen's Positivstellensatz then states that for any $\eta > 0$, the nonnegativity of $f + \eta$ on $S$ can be certified by expressing $f + \eta$ as a conic combination of products of the polynomials that occur in the inequalities defining $S$, where the coefficients are (globally nonnegative) sum-of-squares polynomials. It does not, however, provide explicit bounds on the degree of the polynomials required for such an expression. We show that in the special case where $S = [-1, 1]^n$ is the hypercube, a Schm\"udgen-type certificate of nonnegativity exists involving only polynomials of degree $O(1 / \sqrt{\eta})$. This improves quadratically upon the previously best known estimate in $O(1/\eta)$. Our proof relies on an application of the polynomial kernel method, making use in particular of the Jackson kernel on the interval $[-1, 1]$.


title: Topological piezoelectric response in moir\'e graphene systems

abstract: We theoretically study the piezoelectric effects in moir\`e graphene systems. Since the strain couples to the electrons in the system as a pseudo vector potential, which has opposite signs for the $K$ and $K'$ valleys of graphene, its effects on the two valleys with opposite Chern numbers do not cancel out, but adds up. As a result, some components of the piezoelectric tensor in these systems, which typically have non-trivial topology in their flat bands, are nearly quantized in terms of the valley Chern numbers. Such a conclusion is verified by numerical calculations of the in-plane piezoelectric response of hBN-aligned twisted bilayer graphene, twisted bilayer-monolayer graphene, and twisted double bilayer graphene systems using both continuum model and atomistic tight-binding model. We find that by tuning the vertical displacement field and/or twist angle, which may induce gap closures between the flat bands and remote bands in these systems, plateau shapes of the piezoelectric response are obtained, with abrupt jumps across the topological phase transitions. We propose that such nearly quantized piezoelectric response may serve as a direct experimental probe for the valley Chern numbers of the flat bands in moir\'e graphene systems.


title: A Novel Online Incremental Learning Intrusion Prevention System

abstract: Attack vectors are continuously evolving in order to evade Intrusion Detection systems. Internet of Things (IoT) environments, while beneficial for the IT ecosystem, suffer from inherent hardware limitations, which restrict their ability to implement comprehensive security measures and increase their exposure to vulnerability attacks. This paper proposes a novel Network Intrusion Prevention System that utilises a SelfOrganizing Incremental Neural Network along with a Support Vector Machine. Due to its structure, the proposed system provides a security solution that does not rely on signatures or rules and is capable to mitigate known and unknown attacks in real-time with high accuracy. Based on our experimental results with the NSL KDD dataset, the proposed framework can achieve on-line updated incremental learning, making it suitable for efficient and scalable industrial applications.


title: Multi-Agent Embodied Visual Semantic Navigation with Scene Prior Knowledge

abstract: In visual semantic navigation, the robot navigates to a target object with egocentric visual observations and the class label of the target is given. It is a meaningful task inspiring a surge of relevant research. However, most of the existing models are only effective for single-agent navigation, and a single agent has low efficiency and poor fault tolerance when completing more complicated tasks. Multi-agent collaboration can improve the efficiency and has strong application potentials. In this paper, we propose the multi-agent visual semantic navigation, in which multiple agents collaborate with others to find multiple target objects. It is a challenging task that requires agents to learn reasonable collaboration strategies to perform efficient exploration under the restrictions of communication bandwidth. We develop a hierarchical decision framework based on semantic mapping, scene prior knowledge, and communication mechanism to solve this task. The results of testing experiments in unseen scenes with both known objects and unknown objects illustrate the higher accuracy and efficiency of the proposed model compared with the single-agent model.


title: Characterizing User Susceptibility to COVID-19 Misinformation on Twitter

abstract: Though significant efforts such as removing false claims and promoting reliable sources have been increased to combat COVID-19 "misinfodemic", it remains an unsolved societal challenge if lacking a proper understanding of susceptible online users, i.e., those who are likely to be attracted by, believe and spread misinformation. This study attempts to answer {\it who} constitutes the population vulnerable to the online misinformation in the pandemic, and what are the robust features and short-term behavior signals that distinguish susceptible users from others. Using a 6-month longitudinal user panel on Twitter collected from a geopolitically diverse network-stratified samples in the US, we distinguish different types of users, ranging from social bots to humans with various level of engagement with COVID-related misinformation. We then identify users' online features and situational predictors that correlate with their susceptibility to COVID-19 misinformation. This work brings unique contributions: First, contrary to the prior studies on bot influence, our analysis shows that social bots' contribution to misinformation sharing was surprisingly low, and human-like users' misinformation behaviors exhibit heterogeneity and temporal variability. While the sharing of misinformation was highly concentrated, the risk of occasionally sharing misinformation for average users remained alarmingly high. Second, our findings highlight the political sensitivity activeness and responsiveness to emotionally-charged content among susceptible users. Third, we demonstrate a feasible solution to efficiently predict users' transient susceptibility solely based on their short-term news consumption and exposure from their networks. Our work has an implication in designing effective intervention mechanism to mitigate the misinformation dissipation.


title: Modeling Annotation Uncertainty with Gaussian Heatmaps in Landmark Localization

abstract: In landmark localization, due to ambiguities in defining their exact position, landmark annotations may suffer from large observer variabilities, which result in uncertain annotations. To model the annotation ambiguities of the training dataset, we propose to learn anisotropic Gaussian parameters modeling the shape of the target heatmap during optimization. Furthermore, our method models the prediction uncertainty of individual samples by fitting anisotropic Gaussian functions to the predicted heatmaps during inference. Besides state-of-the-art results, our experiments on datasets of hand radiographs and lateral cephalograms also show that Gaussian functions are correlated with both localization accuracy and observer variability. As a final experiment, we show the importance of integrating the uncertainty into decision making by measuring the influence of the predicted location uncertainty on the classification of anatomical abnormalities in lateral cephalograms.


title: Accelerated Stochastic Gradient for Nonnegative Tensor Completion and Parallel Implementation

abstract: We consider the problem of nonnegative tensor completion. We adopt the alternating optimization framework and solve each nonnegative matrix completion problem via a stochastic variation of the accelerated gradient algorithm. We experimentally test the effectiveness and the efficiency of our algorithm using both real-world and synthetic data. We develop a shared-memory implementation of our algorithm using the multi-threaded API OpenMP, which attains significant speedup. We believe that our approach is a very competitive candidate for the solution of very large nonnegative tensor completion problems.


title: Spin-1 fields and RG flows in 4 dimensions

abstract: The most general local, classically scale invariant, perturbatively renormalizable, globally $SU(N)$ invariant Lagrangian is constructed for spin-1 fields in 4 dimensions. The total number of independent couplings is 7 and the 1-loop $\beta$-functions are computed in the MSbar scheme. A number of asymptotically free RG flows are identified corresponding to non-trivial QFTs. None of these are gauge theories. The details of the large-$N$ limit are also worked out and it is shown that the RG phase space is qualitatively similar for all $N>5$ including the $N\to\infty$ limit.


title: Audio-Visual Speech Recognition is Worth 32$\times$32$\times$8 Voxels

abstract: Audio-visual automatic speech recognition (AV-ASR) introduces the video modality into the speech recognition process, often by relying on information conveyed by the motion of the speaker's mouth. The use of the video signal requires extracting visual features, which are then combined with the acoustic features to build an AV-ASR system [1]. This is traditionally done with some form of 3D convolutional network (e.g. VGG) as widely used in the computer vision community. Recently, image transformers [2] have been introduced to extract visual features useful for image classification tasks. In this work, we propose to replace the 3D convolutional visual front-end with a video transformer front-end. We train our systems on a large-scale dataset composed of YouTube videos and evaluate performance on the publicly available LRS3-TED set, as well as on a large set of YouTube videos. On a lip-reading task, the transformer-based front-end shows superior performance compared to a strong convolutional baseline. On an AV-ASR task, the transformer front-end performs as well as (or better than) the convolutional baseline. Fine-tuning our model on the LRS3-TED training set matches previous state of the art. Thus, we experimentally show the viability of the convolution-free model for AV-ASR.


title: A2Log: Attentive Augmented Log Anomaly Detection

abstract: Anomaly detection becomes increasingly important for the dependability and serviceability of IT services. As log lines record events during the execution of IT services, they are a primary source for diagnostics. Thereby, unsupervised methods provide a significant benefit since not all anomalies can be known at training time. Existing unsupervised methods need anomaly examples to obtain a suitable decision boundary required for the anomaly detection task. This requirement poses practical limitations. Therefore, we develop A2Log, which is an unsupervised anomaly detection method consisting of two steps: Anomaly scoring and anomaly decision. First, we utilize a self-attention neural network to perform the scoring for each log message. Second, we set the decision boundary based on data augmentation of the available normal training data. The method is evaluated on three publicly available datasets and one industry dataset. We show that our approach outperforms existing methods. Furthermore, we utilize available anomaly examples to set optimal decision boundaries to acquire strong baselines. We show that our approach, which determines decision boundaries without utilizing anomaly examples, can reach scores of the strong baselines.


title: On cosilting hearts over the Kronecker algebra

abstract: This paper is about the hearts arising from torsion pairs of finite type in the category of modules over the Kronecker algebra. After a characterization of the simple objects in these hearts, we describe their atom spectrum and compute their Gabriel dimension.


title: On the internal characterization of injective algebras

abstract: It is shown that universal algebras that are injective in their equational classes are characterized by internal property that can be called completeness. We define universal algebra $A$ as complete (closed to simple extensions) if for each its subalgebra $A'$ and each set of extension conditions for this subalgebra there is $a \in A$ that satisfies these conditions. We define a set of extension conditions for $A'$ to some extension $A''$ as the difference between factorization kernels of free algebras for $A''$ and $A'$. It's proved that each injective universal algebra is complete and each complete universal algebra belonging to the class of algebras with CEP is injective. It's checked directly that complete (in the sense of ordering) boolean algebras and divisible Abelian groups are complete in the sense defined here.


title: Optical coherence between atomic species at the second scale: improved clock comparisons via differential spectroscopy

abstract: Comparisons of high-accuracy optical atomic clocks \cite{Ludlow2015} are essential for precision tests of fundamental physics \cite{Safronova2018}, relativistic geodesy \cite{McGrew2018, Grotti2018, Delva2019}, and the anticipated redefinition of the SI second \cite{Riehle2018}. The scientific reach of these applications is restricted by the statistical precision of interspecies comparison measurements. The instability of individual clocks is limited by the finite coherence time of the optical local oscillator (OLO), which bounds the maximum atomic interrogation time. In this letter, we experimentally demonstrate differential spectroscopy \cite{Hume2016}, a comparison protocol that enables interrogating beyond the OLO coherence time. By phase-coherently linking a zero-dead-time (ZDT) \cite{Schioppo2017} Yb optical lattice clock with an Al$^+$ single-ion clock via an optical frequency comb and performing synchronised Ramsey spectroscopy, we show an improvement in comparison instability relative to our previous result \cite{network2020frequency} of nearly an order of magnitude. To our knowledge, this result represents the most stable interspecies clock comparison to date.


title: Scaling TensorFlow to 300 million predictions per second

abstract: We present the process of transitioning machine learning models to the TensorFlow framework at a large scale in an online advertising ecosystem. In this talk we address the key challenges we faced and describe how we successfully tackled them; notably, implementing the models in TF and serving them efficiently with low latency using various optimization techniques.