title: ACDC: Online Unsupervised Cross-Domain Adaptation

abstract: We consider the problem of online unsupervised cross-domain adaptation, where two independent but related data streams with different feature spaces -- a fully labeled source stream and an unlabeled target stream -- are learned together. Unique characteristics and challenges such as covariate shift, asynchronous concept drifts, and contrasting data throughput arises. We propose ACDC, an adversarial unsupervised domain adaptation framework that handles multiple data streams with a complete self-evolving neural network structure that reacts to these defiances. ACDC encapsulates three modules into a single model: A denoising autoencoder that extracts features, an adversarial module that performs domain conversion, and an estimator that learns the source stream and predicts the target stream. ACDC is a flexible and expandable framework with little hyper-parameter tunability. Our experimental results under the prequential test-then-train protocol indicate an improvement in target accuracy over the baseline methods, achieving more than a 10\% increase in some cases.


title: Zero-free angular sectors and lens-shaped regions for polynomials, with applications to irreducibility

abstract: For a real polynomial $f$ we present explicit zero-free angular sectors in the complex plane, symmetric with respect to the real axis, with angles depending only on the degree of $f$, and vertices expressed in terms of the coefficients of $f$. We also describe zero-free lens-shaped regions for $f$ that are associated to the zero-free sectors of the reciprocal of $f$. As an application, we use these zero-free regions to obtain irreducibility criteria for polynomials with integer coefficients that take a prime or a prime power value.


title: Label it be! A large-scale study of issue labeling in modern open-source repositories

abstract: In a wave of growth, open-source projects need to modernize and change how they deal with processes, methods, and communication with their contributors. We could observe that open-source projects are constantly evolving to improve their management of the entire community. Starting with community communication, software development, managing open-source projects faces crucial challenges. One of the enabling environments that open-source communities found to achieve community communications objectives was code repositories with integration with issue trackers. Using issue trackers in their projects should encompass an infrastructure capable of hosting the project source code and community participation. Some issue trackers use a structure in which the issue's title and description are the key information. However, we have observed a slight change in this strategy over the years, as more and more data are fundamental to solving the issue. For example, labeling the issues could enable users to provide the issue with more contextual information. By understanding how modern issue trackers handle issue labeling, this study analyzes the impact, engagement, and influence that labels have on the Github repositories, based on a database of 10,673,459 issues mined from 13,280 repositories in 180 Github featured topics. We found that 78.75\% of the repositories label their issues, with more adherence from those repositories that contain big numbers of issues. The labeling practice is essential and prioritized as a first step in the issue resolution process in 65.91\% of the first events. Issues with labels draw more attention and impact by collecting more subscribers, assigns, and comments, helping to engage contributors to the resolution.


title: Automated Aerial Animal Detection When Spatial Resolution Conditions Are Varied

abstract: Knowing where livestock are located enables optimized management and mustering. However, Australian farms are large meaning that many of Australia's livestock are unmonitored which impacts farm profit, animal welfare and the environment. Effective animal localisation and counting by analysing satellite imagery overcomes this management hurdle however, high resolution satellite imagery is expensive. Thus, to minimise cost the lowest spatial resolution data that enables accurate livestock detection should be selected. In our work, we determine the association between object detector performance and spatial degradation for cattle, sheep and dogs. Accurate ground truth was established using high resolution drone images which were then downsampled to various ground sample distances (GSDs). Both circular and cassegrain aperture optics were simulated to generate point spread functions (PSFs) corresponding to various optical qualities. By simulating the PSF, rather than approximating it as a Gaussian, the images were accurately degraded to match the spatial resolution and blurring structure of satellite imagery. Two existing datasets were combined and used to train and test a YoloV5 object detection network. Detector performance was found to drop steeply around a GSD of 0.5m/px and was associated with PSF matrix structure within this GSD region. Detector mAP performance fell by 52 percent when a cassegrain, rather than circular, aperture was used at a 0.5m/px GSD. Overall blurring magnitude also had a small impact when matched to GSD, as did the internal network resolution. Our results here inform the selection of remote sensing data requirements for animal detection tasks, allowing farmers and ecologists to use more accessible medium resolution imagery with confidence.


title: InfiniteForm: A synthetic, minimal bias dataset for fitness applications

abstract: The growing popularity of remote fitness has increased the demand for highly accurate computer vision models that track human poses. However, the best methods still fail in many real-world fitness scenarios, suggesting that there is a domain gap between current datasets and real-world fitness data. To enable the field to address fitness-specific vision problems, we created InfiniteForm, an open-source synthetic dataset of 60k images with diverse fitness poses (15 categories), both single- and multi-person scenes, and realistic variation in lighting, camera angles, and occlusions. As a synthetic dataset, InfiniteForm offers minimal bias in body shape and skin tone, and provides pixel-perfect labels for standard annotations like 2D keypoints, as well as those that are difficult or impossible for humans to produce like depth and occlusion. In addition, we introduce a novel generative procedure for creating diverse synthetic poses from predefined exercise categories. This generative process can be extended to any application where pose diversity is needed to train robust computer vision models.


title: Analysis of the relation between smartphone usage changes during the COVID-19 pandemic and usage preferences on apps

abstract: Since the World Health Organization announced the COVID-19 pandemic in March 2020, curbing the spread of the virus has become an international priority. It has greatly affected people's lifestyles. In this article, we observe and analyze the impact of the pandemic on people's lives using changes in smartphone application usage. First, through observing the daily usage change trends of all users during the pandemic, we can understand and analyze the effects of restrictive measures and policies during the pandemic on people's lives. In addition, it is also helpful for the government and health departments to take more appropriate restrictive measures in the case of future pandemics. Second, we defined the usage change features and found 9 different usage change patterns during the pandemic according to clusters of users and show the diversity of daily usage changes. It helps to understand and analyze the different impacts of the pandemic and restrictive measures on different types of people in more detail. Finally, according to prediction models, we discover the main related factors of each usage change type from user preferences and demographic information. It helps to predict changes in smartphone activity during future pandemics or when other restrictive measures are implemented, which may become a new indicator to judge and manage the risks of measures or events.


title: Moore-Penrose inverse and applications to linear equations

abstract: In the present paper we investigate Moore-Penrose inverse and characteristic matrix of unbounded WCT operators on the Hilbert space $L^2(\mu)$. Also, we obtain some applications of the Moore-Penrose inverse of unbounded operators on the Hilbert space $\mathcal{H}$ to variational regularization problem. Moreover,some examples are provided to illustrate the applications of our results in linear equations and specially Fredholm integral equations.


title: Blindness (Diabetic Retinopathy) Severity Scale Detection

abstract: Diabetic retinopathy (DR) is a severe complication of diabetes that can cause permanent blindness. Timely diagnosis and treatment of DR are critical to avoid total loss of vision. Manual diagnosis is time consuming and error-prone. In this paper, we propose a novel deep learning based method for automatic screening of retinal fundus images to detect and classify DR based on the severity. The method uses a dual-path configuration of deep neural networks to achieve the objective. In the first step, a modified UNet++ based retinal vessel segmentation is used to create a fundus image that emphasises elements like haemorrhages, cotton wool spots, and exudates that are vital to identify the DR stages. Subsequently, two convolutional neural networks (CNN) classifiers take the original image and the newly created fundus image respectively as inputs and identify the severity of DR on a scale of 0 to 4. These two scores are then passed through a shallow neural network classifier (ANN) to predict the final DR stage. The public datasets STARE, DRIVE, CHASE DB1, and APTOS are used for training and evaluation. Our method achieves an accuracy of 94.80% and Quadratic Weighted Kappa (QWK) score of 0.9254, and outperform many state-of-the-art methods.


title: Enhanced TEMPO algorithm for quantum path integrals with off-diagonal system-bath coupling: applications to photonic quantum networks

abstract: Multitime system correlations functions are relevant in various areas of physics and science, dealing with system-bath interaction including spectroscopy and quantum optics, where many of these schemes include an off-diagonal system bath interaction. Here we extend the enhanced TEMPO algorithm for quantum path integrals using tensor networks [Phys. Rev. Lett. 123, 240602 (2019)] to open quantum systems with off-diagonal coupling beyond a single two level system. We exemplify the approach on a coupled cavity waveguide system with spatially separated quantum two-state emitters, though many other applications in material science are possible, including entangled photon propagation, photosynthesis spectroscopy and on-chip quantum optics with realistic dissipation.


title: Monopole operators and symmetry enhancement in ABJM theory revisited

abstract: We construct monopole operators for 3d Yang-Mills-matter theories and Chern-Simons-matter theories in canonical formalism. In this framework, monopole operators, although as the disorder operators, could be written in terms of the fundamental fields of the theory, and thus could be treated in the same way as the ordinary operators. We study the properties of the constructed monopole operators. In Chern-Simons-matter theories, monopole operators transform as the local operators with the classical conformal dimension $ 0 $ under the action of the dilation and are also covariantly constant. In supersymmetric Chern-Simons-matter theories like the ABJM model, monopole operators commute with all of the supercharges, and thus are SUSY invariant. ABJM model with level $ k=1,2 $ is expected to have enhanced $SO(8) $ R-symmetry due to the existence of the conserved extra R-symmetry currents $ j^{AB}_{\mu} $ involving monopoles. With the explicit form of the monopole operators given, we prove the current conservation equation $\partial^{\mu} j^{AB}_{\mu} =0$ using the equations of motion. We also compute the extra $ \mathcal{N}=2 $ supercharges, derive the extra $ \mathcal{N}=2 $ SUSY transformation rules, and verify the closure of the $ \mathcal{N}=8 $ supersymmetry.


title: Identifying non-natural language artifacts in bug reports

abstract: Bug reports are a popular target for natural language processing (NLP). However, bug reports often contain artifacts such as code snippets, log outputs and stack traces. These artifacts not only inflate the bug reports with noise, but often constitute a real problem for the NLP approach at hand and have to be removed. In this paper, we present a machine learning based approach to classify content into natural language and artifacts at line level implemented in Python. We show how data from GitHub issue trackers can be used for automated training set generation, and present a custom preprocessing approach for bug reports. Our model scores at 0.95 ROC-AUC and 0.93 F1 against our manually annotated validation set, and classifies 10k lines in 0.72 seconds. We cross evaluated our model against a foreign dataset and a foreign R model for the same task. The Python implementation of our model and our datasets are made publicly available under an open source license.


title: Thermodynamic origin of quantum time-energy uncertainty relation

abstract: The problem of time is a notable obstacle towards the recognition of quantum theory as the ultimate fundamental description of nature. Quantum theory may not be complete if founded upon classical notions. Louis de Broglie, seeming to be more or less convinced about the ontology of his proposed matter waves, tried to develop a theory of sub-quantum degrees of freedom relying on statistical thermodynamics. He realized a quantum particle as a fluctuating dense corpuscle formed via non-linear effects from a sub-quantum medium. A wave on the medium guides the vibrating corpuscle. He argued that an intrinsic clock of a quantum particle is related to its Brownian motion at the sub-quantum level. This led him to conjecture a relation between the de Broglie clock frequency $m c^2/h$ and its implicit temperature, which equals that of the surrounding sub-quantum medium. About the same time, Mandelbrot was the first to derive in a classical setting a thermodynamic uncertainty relation between energy and temperature, that was, coincidentally or not, anticipated by Bohr and Heisenberg in the first years of development of quantum theory. We show here that, when the de Broglie temperature-time conjecture is assumed, the thermodynamic temperature-energy uncertainty relation leads to the quantum time-energy uncertainty relation.


title: Alleviating $H_0$ tension in Horndeski gravity

abstract: We show that the $H_0$ tension can be alleviated in the framework of Horndeski/generalized galileon gravity. In particular, since the terms depending on $G_5$ control the friction in the Friedmann equation, we construct specific sub-classes in which it depends only on the field's kinetic energy. Since the latter is small at high redshifts, namely at redshifts which affected the CMB structure, the deviations from $\Lambda$CDM cosmology are negligible, however as time passes it increases and thus at low redshifts the Hubble function acquires increased values in a controlled way. We consider two Models, one with quadratic and one with quartic dependence on the field's kinetic energy. In both cases we show the alleviation of the tension, resulting to $H_0 \approx 74$ km/s/Mpc for particular parameter choices. Finally, we examine the behavior of scalar metric perturbations, showing that the conditions for absence of ghost and Laplacian instabilities are fulfilled throughout the evolution, and we confront the models with SNIa data.


title: Pharmacoprint -- a combination of pharmacophore fingerprint and artificial intelligence as a tool for computer-aided drug design

abstract: Structural fingerprints and pharmacophore modeling are methodologies that have been used for at least two decades in various fields of cheminformatics: from similarity searching to machine learning (ML). Advances in silico techniques consequently led to combining both these methodologies into a new approach known as pharmacophore fingerprint. Herein, we propose a high-resolution, pharmacophore fingerprint called Pharmacoprint that encodes the presence, types, and relationships between pharmacophore features of a molecule. Pharmacoprint was evaluated in classification experiments by using ML algorithms (logistic regression, support vector machines, linear support vector machines, and neural networks) and outperformed other popular molecular fingerprints (i.e., Estate, MACCS, PubChem, Substructure, Klekotha-Roth, CDK, Extended, and GraphOnly) and ChemAxon Pharmacophoric Features fingerprint. Pharmacoprint consisted of 39973 bits; several methods were applied for dimensionality reduction, and the best algorithm not only reduced the length of bit string but also improved the efficiency of ML tests. Further optimization allowed us to define the best parameter settings for using Pharmacoprint in discrimination tests and for maximizing statistical parameters. Finally, Pharmacoprint generated for 3D structures with defined hydrogens as input data was applied to neural networks with a supervised autoencoder for selecting the most important bits and allowed to maximize Matthews Correlation Coefficient up to 0.962. The results show the potential of Pharmacoprint as a new, perspective tool for computer-aided drug design.


title: Approximation of multiphase mean curvature flows with arbitrary nonnegative mobilities

abstract: This paper is devoted to the robust approximation with a variational phase field approach of multiphase mean curvature flows with possibly highly contrasted mobilities. The case of harmonically additive mobilities has been addressed recently using a suitable metric to define the gradient flow of the phase field approximate energy. We generalize this approach to arbitrary nonnegative mobilities using a decomposition as sums of harmonically additive mobilities. We establish the consistency of the resulting method by analyzing the sharp interface limit of the flow: a formal expansion of the phase field shows that the method is of second order. We propose a simple numerical scheme to approximate the solutions to our new model. Finally, we present some numerical experiments in dimensions 2 and 3 that illustrate the interest and effectiveness of our approach, in particular for approximating flows in which the mobility of some phases is zero.


title: Context-Aware Unsupervised Clustering for Person Search

abstract: The existing person search methods use the annotated labels of person identities to train deep networks in a supervised manner that requires a huge amount of time and effort for human labeling. In this paper, we first introduce a novel framework of person search that is able to train the network in the absence of the person identity labels, and propose efficient unsupervised clustering methods to substitute the supervision process using annotated person identity labels. Specifically, we propose a hard negative mining scheme based on the uniqueness property that only a single person has the same identity to a given query person in each image. We also propose a hard positive mining scheme by using the contextual information of co-appearance that neighboring persons in one image tend to appear simultaneously in other images. The experimental results show that the proposed method achieves comparable performance to that of the state-of-the-art supervised person search methods, and furthermore outperforms the extended unsupervised person re-identification methods on the benchmark person search datasets.


title: Stable pairs of 2-dimensional sheaves on 4-folds

abstract: We identify Le Potier's moduli spaces of limit stable pairs $(F,s)$, where $F$ is a 2-dimensional sheaf on a nonsingular projective 4-fold $X$ and $s \in H^0(F)$, with the moduli spaces of polynomial stable 2-term complexes in derived category. These stable pairs are 2-dimensional analogs of Pandharipande-Thomas' stable pairs defined for 3-folds. We establish categorical correspondences involving these stable pairs, ideal sheaves of 2-dimensional subschemes of $X$, and 1-dimensional sheaves on $X$. Under some conditions on the Chern character, these lead to Hall algebra correspondences. The generalization of most of these results to higher ranks is also given. In case $X$ is Calabi-Yau, Oh-Thomas' construction gives a new set of invariants of $X$ counting these stable pairs. For certain Chern characters, these are related to the invariants of 2-dimensional stable sheaves. We calculate and study them in some cases and examples such as fibrations by abelian surfaces, local surfaces, and local Fano 3-folds. The last case in particular leads to new invariants of Fano 3-folds counting 2-dimensional stable pairs with reduced supports.


title: Taming singular stochastic differential equations: A numerical method

abstract: We consider a generic and explicit tamed Euler--Maruyama scheme for multidimensional time-inhomogeneous stochastic differential equations with multiplicative Brownian noise. The diffusion coefficient is uniformly elliptic, H\"older continuous and weakly differentiable in the spatial variables while the drift satisfies the Ladyzhenskaya--Prodi--Serrin condition, as considered by Krylov and R\"ockner (2005). In the discrete scheme, the drift is tamed by replacing it by an approximation. A strong rate of convergence of the scheme is provided in terms of the approximation error of the drift in a suitable and possibly very weak topology. A few examples of approximating drifts are discussed in detail. The parameters of the approximating drifts can vary and be fine-tuned to achieve the standard 1/2-strong convergence rate with a logarithmic factor. The result is then applied to provide numerical solutions for stochastic transport equations with singular vector fields satisfying the aforementioned condition.


title: Berezinskii--Kosterlitz--Thouless transition -- a universal neural network study with benchmarking

abstract: Using a supervised neural network (NN) trained once on a one-dimensional lattice of 200 sites, we calculate the Berezinskii--Kosterlitz--Thouless phase transitions of the two-dimensional (2D) classical $XY$ and the 2D generalized classical $XY$ models. In particular, both the bulk quantities Binder ratios and the spin states of the studied systems are employed to construct the needed configurations for the NN prediction. By applying semiempirical finite-size scaling to the relevant data, the critical points obtained by the NN approach agree well with the known results established in the literature. This implies that for each of the considered models, the determination of its various phases requires only a little information. The outcomes presented here demonstrate convincingly that the employed universal NN is not only valid for the symmetry breaking related phase transitions, but also works for calculating the critical points of the phase transitions associated with topology. The efficiency of the used NN in the computation is examined by carrying out several detailed benchmark calculations.


title: A new iterative algorithm for generating gradient directions to detect white matter fibers in brain from MRI data

abstract: This paper proposes an iterative algorithm for choosing gradient directions use to reconstruct white matter fibers in the brain. The present study is not focusing on data acquisition where scanning is performed. The Adaptive Gradient Directions (AGD) approach is extended to refine the position and area of the grid, resulting in an admissible reduction in angular error. We begin with the gradient directions distributed uniformly inside a grid of bigger size and with larger spacing between the points. Both (size of the grid and spacing between the points) reduce iteratively. The proposed algorithm ensures that the actual position of fiber comes inside the grid at each iteration, unlike as in the AGD approach. As a result, the solution tends to actual orientation in each iteration followed by better estimation of fibers. The proposed algorithm is validated by associating it with mixture of Gaussian diffusion and mixture of non-central Wishart distribution models. The proposed approach significantly reduce the angular error for multiple computer-generated experiments on synthetic simulations and real data. Moreover, we have also performed simulations with fibers not residing in the XY-plane. For this set-up also, the proposed work outperforms, giving lesser angular error with both the models. Synthetic simulations have been performed with Rician distributed (R-D) noise of standard deviation ranging from 0.02-0.1. This work helps in better understanding of the anatomy of the brain using the MRI signal data.


title: Clustering with Respect to the Information Distance

abstract: We discuss the notion of a dense cluster with respect to the information distance and prove that all such clusters have an extractable core that represents the mutual information shared by the objects in the cluster.


title: Reheating after inflation by supersymmetry breaking

abstract: We study reheating after the end of inflation in models where the inflaton is the superpartner of goldstino and is charged under a gauged $U(1)$ R-symmetry. We consider two classes of models -- one is small field characterized by an almost flat K\"ahler space, and the other large field characterized by a hyperbolic K\"ahler space $SU(1,1)/U(1)$, while in both cases the inflaton superpotential is linear due to the R-symmetry. The inflationary observables of our models fit within 2$\sigma$ CMB values. Upon coupling the inflaton sector to the (supersymmetric) Standard Model, we compute the MSSM parameters, mass spectrum, and decay modes of the inflaton, with the resulting reheating temperature around $10^8$ GeV. We also find that both models can accommodate superheavy LSP dark matter, depending on the parameter choice.


title: The Heterogeneous Multiscale Method for dispersive Maxwell systems

abstract: In this work, we apply the finite element heterogeneous multiscale method to a class of dispersive first-order time-dependent Maxwell systems. For this purpose, we use an analytic homogenization result, which shows that the effective system contains additional dispersive effects. We provide a careful study of the (time-dependent) micro problems, including $\mathrm{H}^2$ and micro errors estimates. Eventually, we prove a semi-discrete error estimate for the method.


title: Protagonists' Tagger in Literary Domain -- New Datasets and a Method for Person Entity Linkage

abstract: Semantic annotation of long texts, such as novels, remains an open challenge in Natural Language Processing (NLP). This research investigates the problem of detecting person entities and assigning them unique identities, i.e., recognizing people (especially main characters) in novels. We prepared a method for person entity linkage (named entity recognition and disambiguation) and new testing datasets. The datasets comprise 1,300 sentences from 13 classic novels of different genres that a novel reader had manually annotated. Our process of identifying literary characters in a text, implemented in protagonistTagger, comprises two stages: (1) named entity recognition (NER) of persons, (2) named entity disambiguation (NED) - matching each recognized person with the literary character's full name, based on approximate text matching. The protagonistTagger achieves both precision and recall of above 83% on the prepared testing sets. Finally, we gathered a corpus of 13 full-text novels tagged with protagonistTagger that comprises more than 35,000 mentions of literary characters.


title: The Tate Conjecture for Motivic Endomorphisms of K3 Surfaces over Finite Fields

abstract: The Tate conjecture for squares of K3 surfaces over finite fields was recently proved by Ito-Ito-Koshikawa. We give a more geometric proof when the characteristic is at least 5. The main idea is to use twisted derived equivalences between K3 surfaces to link the Tate conjecture to finiteness results over finite fields, in the spirit of Tate.


title: Towards Time-Optimal Tunnel-Following for Quadrotors

abstract: Minimum-time navigation within constrained and dynamic environments is of special relevance in robotics. Seeking time-optimality, while guaranteeing the integrity of time-varying spatial bounds, is an appealing trade-off for agile vehicles, such as quadrotors. State of the art approaches, either assume bounds to be static and generate time-optimal trajectories offline, or compromise time-optimality for constraint satisfaction. Leveraging nonlinear model predictive control and a path parametric reformulation of the quadrotor model, we present a real-time control that approximates time-optimal behavior and remains within dynamic corridors. The efficacy of the approach is evaluated according to simulated results, showing itself capable of performing extremely aggressive maneuvers as well as stop-and-go and backward motions.


title: Similarities of magnetoconvection in the umbra and in the penumbra of sunspots

abstract: Context. It is unclear why there is a rather sharp boundary in sunspots between the umbra and the penumbra. Both regions exhibit magnetoconvection, manifesting in penumbral filaments in the penumbra and in umbral dots in the umbra. Aims. Here we compare the physical properties of umbral dots and penumbral filaments. Our goal is to understand how the properties of these convective features change across the boundary between the umbra and the penumbra and how this is related to the rapid increase in brightness at the umbra-penumbra boundary. Methods. We derived ensemble averages of the physical properties of different types of convective features based on observations of two sunspots with Hinode. Results. There are strong similarities between the convective features in the outer parts of the umbra and the ones in the penumbra, with most physical parameters being smooth and continuous functions of the length of the features. Conclusions. Our results indicate that the transition in brightness from the umbra to the penumbra is solely caused by an increased effectiveness of magnetoconvection within individual convective cells. There is no significant difference in the number density of convective elements between the outer umbra and the inner penumbra. Penumbral filaments exhibit a larger area and a higher brightness compared to umbral dots. It is still unclear, how exactly the underlying magnetic field causes the increase in size and brightness of convective features in the penumbra.


title: Dirac Operators for the Dunkl Angular Momentum Algebra

abstract: We define a family of Dirac operators for the Dunkl angular momentum algebra depending on certain central elements of the group algebra of the Pin cover of the Weyl group inherent to the rational Cherednik algebra. We prove an analogue of Vogan's conjecture for this family of operators and use this to show that the Dirac cohomology, when non-zero, determines the central character of representations of the angular momentum algebra. Furthermore, interpreting this algebra in the framework of (deformed) Howe dualities, we show that the natural Dirac element we define yields, up to scalars, a square root of the angular part of the Calogero-Moser Hamiltonian.


title: Willis coupling-induced acoustic radiation force and torque reversal

abstract: Acoustic meta-atoms serve as the building blocks of metamaterials, with linear properties designed to achieve functions such as beam steering, cloaking and focusing. They have also been used to shape the characteristics of incident acoustic fields, which led to the manipulation of acoustic radiation force and torque for development of acoustic tweezers with improved spatial resolution. However, acoustic radiation force and torque also depend on the shape of the object, which strongly affects its scattering properties. We show that by designing linear properties of an object using metamaterial concepts, the nonlinear acoustic effects of radiation force and torque can be controlled. Trapped objects are typically small compared to the wavelength, and are described as particles, inducing monopole and dipole scattering. We extend such models to a polarizability tensor including Willis coupling terms, as a measure of asymmetry, capturing the significance of geometrical features. We apply our model to a three-dimensional, sub-wavelength meta-atom with maximal Willis coupling, demonstrating that the force and the torque can be reversed relative to an equivalent symmetrical particle. By considering shape asymmetry in the acoustic radiation force and torque, Gorkov's fundamental theory of acoustophoresis is thereby extended. Asymmetrical shapes influence the acoustic fields by shifting the stable trapping location, highlighting a potential for tunable, shape-dependent particle sorting.


title: The last chapter of the Disquisitiones of Gauss

abstract: This exposition reviews what exactly Gauss asserted and what did he prove in the last chapter of {\sl Disquisitiones Arithmeticae} about dividing the circle into a given number of equal parts. In other words, what did Gauss claim and actually prove concerning the roots of unity and the construction of a regular polygon with a given number of sides. Some history of Gauss's solution is briefly recalled, and in particular many relevant classical references are provided which we believe deserve to be better known.


title: Heavy singly charged Higgs bosons and inverse seesaw neutrinos as origins of large $(g-2)_{e,\mu}$ in two higgs doublet models

abstract: We show that simple extensions of two Higgs doublet models consisting of new heavy neutrinos and a singly charged Higgs boson singlet can successfully explain the experimental data on muon and electron anomalous magnetic moments thanks to large chirally-enhanced one-loop level contributions. These contributions arise from the large couplings of inverse seesaw neutrinos with singly charged Higgs bosons and right-handed charged leptons. The regions of parameter space satisfying the experimental data on $(g-2)_{e,\mu}$ anomalies allow heavy singly charged Higgs boson masses above the TeV scale, provided that heavy neutrino masses are above few hundred GeV, the non-unitary part of the active neutrino mixing matrix must be large enough, two singly charged Higgs bosons are non degenerate, and the mixing between singly charged Higgs bosons must be non-zero.


title: Multi-dimensional Lorenz-Based Chaotic Waveforms for Wireless Power Transfer

abstract: In this paper, we investigate multi-dimensional chaotic signals with respect to wireless power transfer (WPT). Specifically, we analyze a multi-dimensional Lorenz-based chaotic signal under a WPT framework. By taking into account the nonlinearities of the energy harvesting process, closed-form analytical expressions for the average harvested energy are derived. Moreover, the practical limitations of the high power amplifier (HPA) at the transmitter are also taken into consideration. We interestingly observe that for these types of signals, high peak-to-average-power-ratio (PAPR) is not the only criterion for obtaining enhanced WPT. We demonstrate that while the HPA imperfections do not significantly affect the signal PAPR, it notably degrades the energy transfer performance. As the proposed framework is general, we also demonstrate its application with respect to a Henon signal based WPT. Finally we compare Lorenz and Henon signals with the conventional multisine waveforms in terms of WPT performance.


title: Model Based Control of Soft Robots: A Survey of the State of the Art and Open Challenges

abstract: Continuum soft robots are mechanical systems entirely made of continuously deformable elements. This design solution aims to bring robots closer to invertebrate animals and soft appendices of vertebrate animals (e.g., an elephant's trunk, a monkey's tail). This work aims to introduce the control theorist perspective to this novel development in robotics. We aim to remove the barriers to entry into this field by presenting existing results and future challenges using a unified language and within a coherent framework. Indeed, the main difficulty in entering this field is the wide variability of terminology and scientific backgrounds, making it quite hard to acquire a comprehensive view on the topic. Another limiting factor is that it is not obvious where to draw a clear line between the limitations imposed by the technology not being mature yet and the challenges intrinsic to this class of robots. In this work, we argue that the intrinsic effects are the continuum or multi-body dynamics, the presence of a non-negligible elastic potential field, and the variability in sensing and actuation strategies.


title: CENN: Conservative energy method based on neural networks with subdomains for solving variational problems involving heterogeneous and complex geometries

abstract: We propose a conservative energy method based on neural networks with subdomains for solving variational problems (CENN), where the admissible function satisfying the essential boundary condition without boundary penalty is constructed by the radial basis function (RBF), particular solution neural network, and general neural network. The loss term is the potential energy, optimized based on the principle of minimum potential energy. The loss term at the interfaces has the lower order derivative compared to the strong form PINN with subdomains. The advantage of the proposed method is higher efficiency, more accurate, and less hyperparameters than the strong form PINN with subdomains. Another advantage of the proposed method is that it can apply to complex geometries based on the special construction of the admissible function. To analyze its performance, the proposed method CENN is used to model representative PDEs, the examples include strong discontinuity, singularity, complex boundary, non-linear, and heterogeneous problems. Furthermore, it outperforms other methods when dealing with heterogeneous problems.


title: Bayesian Machine Learning meets Formal Methods: An application to spatio-temporal data

abstract: We propose an interdisciplinary framework that combines Bayesian predictive inference, a well-established tool in Machine Learning, with Formal Methods rooted in the computer science community. Bayesian predictive inference allows for coherently incorporating uncertainty about unknown quantities by making use of methods or models that produce predictive distributions, which in turn inform decision problems. By formalizing these decision problems into properties with the help of spatio-temporal logic, we can formulate and predict how likely such properties are to be satisfied in the future at a certain location. Moreover, we can leverage our methodology to evaluate and compare models directly on their ability to predict the satisfaction of application-driven properties. The approach is illustrated in an urban mobility application, where the crowdedness in the center of Milan is proxied by aggregated mobile phone traffic data. We specify several desirable spatio-temporal properties related to city crowdedness such as a fault-tolerant network or the reachability of hospitals. After verifying these properties on draws from the posterior predictive distributions, we compare several spatio-temporal Bayesian models based on their overall and property-based predictive performance.


title: LQP: The Dynamic Logic of Quantum Information

abstract: The main contribution of this paper is the introduction of a dynamic logic formalism for reasoning about information flow in composite quantum systems. This builds on our previous work on a complete quantum dynamic logic for single systems. Here we extend that work to a sound (but not necessarily complete) logic for composite systems, which brings together ideas from the quantum logic tradition with concepts from (dynamic) modal logic and from quantum computation. This Logic of Quantum Programs (LQP) is capable of expressing important features of quantum measurements and unitary evolutions of multi-partite states, as well as giving logical characterisations to various forms of entanglement (for example, the Bell states, the GHZ states etc.). We present a finitary syntax, a relational semantics and a sound proof system for this logic. As applications, we use our system to give formal correctness proofs for the Teleportation protocol and for a standard Quantum Secret Sharing protocol; a whole range of other quantum circuits and programs, including other well-known protocols (for example, superdense coding, entanglement swapping, logic-gate teleportation etc.), can be similarly verified using our logic.


title: Automating Privilege Escalation with Deep Reinforcement Learning

abstract: AI-based defensive solutions are necessary to defend networks and information assets against intelligent automated attacks. Gathering enough realistic data for training machine learning-based defenses is a significant practical challenge. An intelligent red teaming agent capable of performing realistic attacks can alleviate this problem. However, there is little scientific evidence demonstrating the feasibility of fully automated attacks using machine learning. In this work, we exemplify the potential threat of malicious actors using deep reinforcement learning to train automated agents. We present an agent that uses a state-of-the-art reinforcement learning algorithm to perform local privilege escalation. Our results show that the autonomous agent can escalate privileges in a Windows 7 environment using a wide variety of different techniques depending on the environment configuration it encounters. Hence, our agent is usable for generating realistic attack sensor data for training and evaluating intrusion detection systems.


title: Thermodynamics of the Schwarzschild and Reissner-Nordstr\"om black holes under higher-order generalized uncertainty principle

abstract: In this manuscript, the modification of thermodynamic properties of Schwarzschild and Reissner-Nordstr\"{o}m black holes in the presence of higher-order generalized uncertainty principle (GUP) have been investigated. We considered heuristic analysis versus the behavior of a particle that is absorbed by the black hole, and then, we studied the thermodynamic properties of the black holes such as temperature-mass, temperature-charge-mass, entropy, and heat capacity functions up to the first and second-order of the GUP parameter. We compared the behaviors of the GUP-corrected thermodynamic properties for both black holes with graphical methods.


title: Robot-Assisted Surgical Training Over Several Days in a Virtual Surgical Environment with Divergent and Convergent Force Fields

abstract: Surgical procedures require a high level of technical skill to ensure efficiency and patient safety. Due to the direct effect of surgeon skill on patient outcomes, the development of cost-effective and realistic training methods is imperative to accelerate skill acquisition. Teleoperated robotic devices allow for intuitive ergonomic control, but the learning curve for these systems remains steep. Recent studies in motor learning have shown that visual or physical exaggeration of errors helps trainees to learn to perform tasks faster and more accurately. In this study, we extended the work from two previous studies to investigate the performance of subjects in different force field training conditions, including convergent (assistive), divergent (resistive), and no force field (null).


title: RED-based Scheduler on Chip for Mixed-Criticality Real-Time Systems

abstract: Real-time embedded systems that combine processes of various criticalities (i.e. mixed-criticality real-time systems) represent an emerging research that faces many issues. This paper describes a new ASIC design of a coprocessor that realizes process scheduling for mixed-criticality real-time systems. The solution proposed in this paper uses Robust Earliest Deadline (RED) algorithm. Due to the on-chip implementation of the scheduler, all scheduler operations always take two clock cycles to execute. The proposed solution was verified by simulations that applied millions of random inputs. Chip area costs are evaluated by synthesis into ASIC using 28 nm TSMC technology. The proposed RED-based scheduler is compared with an existing EDF-based scheduler that supports hard real-time processes only. Even though the RED-based scheduler costs more chip area, it can handle any combinations of process criticalities, variations of process execution times and deadlines, achieves higher CPU utilization and can be used for scheduling of non-real-time, soft real-time and hard real-time processes combined within one system.


title: Data-driven quest for two-dimensional non-van der Waals materials

abstract: Two-dimensional (2D) materials are frequently associated with the sheets which form bulk layered compounds bonded by van der Waals (vdW) forces. The anisotropy and weak interaction between the sheets have also been the main criteria in the computational search for new 2D systems, which predicted about 2000 exfoliable compounds. However, several representatives of a new type of non-vdW 2D systems, such as hematene or ilmenene, which have no layered 3D analogues, and which, unlike, e.g. silicene, do not need to strongly interact with the substrate to be stable, were recently manufactured. The family of non-vdW 2D materials is an attractive playground for data-driven high-throughput approaches as computational design principles are still missing. Here, we outline a new set of 8 binary and 20 ternary candidates by filtering the AFLOW-ICSD database according to the structural prototype of the first two template systems realized in experiment. All materials show a strong structural relaxation upon confinement to 2D which is essential to correctly estimate the bonding strength between facets. The oxidation state of the cations at the surface of the sheets is demonstrated to regulate the inter-facet binding energy with low oxidation states leading to weak bonding. We anticipate this descriptor to be highly useful to obtain novel 2D materials, providing clear guidelines for experiments. Our calculations further indicate that the materials exhibit a vast range of appealing electronic, optical and magnetic properties, which is expected to also make them attractive for potential applications particularly in spintronics.


title: Audio-Visual Evaluation of Oratory Skills

abstract: What makes a talk successful? Is it the content or the presentation? We try to estimate the contribution of the speaker's oratory skills to the talk's success, while ignoring the content of the talk. By oratory skills we refer to facial expressions, motions and gestures, as well as the vocal features. We use TED Talks as our dataset, and measure the success of each talk by its view count. Using this dataset we train a neural network to assess the oratory skills in a talk through three factors: body pose, facial expressions, and acoustic features. Most previous work on automatic evaluation of oratory skills uses hand-crafted expert annotations for both the quality of the talk and for the identification of predefined actions. Unlike prior art, we measure the quality to be equivalent to the view count of the talk as counted by TED, and allow the network to automatically learn the actions, expressions, and sounds that are relevant to the success of a talk. We find that oratory skills alone contribute substantially to the chances of a talk being successful.


title: Concentrated Liquidity in Automated Market Makers

abstract: We examine how the introduction of concentrated liquidity has changed the liquidity provision market in automated market makers such as Uniswap. To this end, we compare average liquidity provider returns from trading fees before and after its introduction. Furthermore, we quantify the performance of a number of fundamental concentrated liquidity strategies using historical trade data. We estimate their possible returns and evaluate which perform best for certain trading pairs and market conditions.


title: Reverse quantum speed limit and minimum Hilbert space norm

abstract: The reverse quantum speed limit (RQSL) gives an upper limit to the time for evolution between initial and final quantum states. We show that, in conjunction with the existence of a minimum time scale, the RQSL implies a lower limit to the norm of the change in a quantum state, and confirm that this limit is satisfied in two-state and ideal-measurement models. Such a lower limit is of relevance for interpretational issues in probability and for understanding the meaning of probability in Everett quantum theory.


title: The influence of deflections on the static and dynamic behaviour of masonry columns

abstract: This paper studies the influence of bending deflections on the structural behaviour of masonry columns. Some explicit solutions are presented, and the combined effects of the constitutive and geometric nonlinearities are investigated through an iterative numerical procedure. The results show that considering second-order effects affects both the collapse load and the dynamical properties of masonry beams significantly.


title: Tunable structure-activity correlations of molybdenum dichalcogenides (MoX$_2$; X= S, Se, Te) electrocatalysts via hydrothermal methods: insight into optimizing the electrocatalytic performance for hydrogen generation

abstract: The low concentration of proton donors in alkaline HER, subsequently leading to the extra water adsorption and dissociation steps, identifies the value of active sites (edge and basal sites) and crystal phases in lowering the extra activation barrier and/or optimizing the H* adsorption kinetics; in addition, the outstanding morphology-based features (surface area, thickness, defects, disorders and crystallinity) of layered molybdenum dichalcogenide families pinpoint the roles of active sites and phases for more interpretable and feasible structure-activity analysis. In this context, hydrothermal synthetic method is used to exhibit a clear mapping between the nanostructure/nanosurface design and the practical HER performance by adjusting key experimental parameters. In this article, MoX$_2$ nanostructures in different species (X = S, Se, Te), the molar ratio of added reactants (the Se metal precursor and the NaBH4 reducing agency) and hydrothermal temperature are considered for the modulated structure and the optimized HER performance.


title: Legendre Expansions of Products of Functions with Applications to Nonlinear Partial Differential Equations

abstract: Given the Fourier-Legendre expansions of $f$ and $g$, and mild conditions on $f$ and $g$, we derive the Fourier-Legendre expansion of their product in terms of their corresponding Fourier-Legendre coefficients. In this way, expansions of whole number powers of $f$ may be obtained. We establish upper bounds on rates of convergence. We then employ these expansions to solve semi-analytically a class of nonlinear PDEs with a polynomial nonlinearity of degree 2. The obtained numerical results illustrate the efficiency and performance accuracy of this Fourier-Legendre based solution methodology for solving an important class of nonlinear PDEs.


title: Locally Order-Preserving Mapping for WENO Methods

abstract: In our previous studies [17, 18], the commonly reported issue that most of the existing mapped WENO schemes suffer from either losing high resolutions or generating spurious oscillations in long-run simulations of hyperbolic problems has been successfully addressed, by devising the improved mapped WENO schemes, namely MOP-WENO-X, where "X" stands for the version of the existing mapped WENO scheme. However, all the MOP-WENO-X schemes bring about the serious deficiency that their resolutions in the region with high-frequency but smooth waves are dramatically decreased compared to their associated WENO-X schemes. The purpose of this paper is to overcome this drawback. We firstly present the definition of the locally order-preserving (LOP) mapping. Then, by using a new proposed posteriori adaptive technique, we apply this LOP property to obtain the new mappings from those of the WENO-X schemes. The essential idea of the posteriori adaptive technique is to identify the global stencil in which the existing mappings fail to preserve the LOP property, and then replace the mapped weights with the weights of the classic WENO-JS scheme to recover the LOP property. We build the resultant mapped WENO schemes and denote them as LOP-WENO-X. The numerical experiments demonstrate that the resolutions in the region with high-frequency but smooth waves of the LOP-WENO-X schemes are similar or even better than those of their associated WENO-X schemes and naturally much higher than the MOP-WENO-X schemes. Furthermore, the LOP-WENO-X schemes gain all the great advantages of the MOP-WENO-X schemes, such as attaining high resolutions and in the meantime preventing spurious oscillations near discontinuities when solving the one-dimensional linear advection problems with long output times, and significantly reducing the post-shock oscillations in the simulations of the two-dimensional problems with shock waves.


title: Hybrid quadrature moment method for accurate and stable representation of non-Gaussian processes and their dynamics

abstract: Solving the population balance equation (PBE) for the dynamics of a dispersed phase coupled to a continuous fluid is expensive. Still, one can reduce the cost by representing the evolving particle density function in terms of its moments. In particular, quadrature-based moment methods (QBMMs) invert these moments with a quadrature rule, approximating the required statistics. QBMMs have been shown to accurately model sprays and soot with a relatively compact set of moments. However, significantly non-Gaussian processes such as bubble dynamics lead to numerical instabilities when extending their moment sets accordingly. We solve this problem by training a recurrent neural network (RNN) that adjusts the QBMM quadrature to evaluate unclosed moments with higher accuracy. The proposed method is tested on a simple model of bubbles oscillating in response to a temporally fluctuating pressure field. The approach decreases model-form error by a factor of 10 when compared to traditional QBMMs. It is both numerically stable and computationally efficient since it does not expand the baseline moment set. Additional quadrature points are also assessed, optimally placed and weighted according to an additional RNN. These points further decrease the error at low cost since the moment set is again unchanged.

categories: math.NA cs.CE cs.NA physics.comp-ph physics.data-an


title: On asymorphisms of finitary coarse spaces

abstract: We characterize finitary coarse spaces $X$ such that every permutation of $X$ is an asymorphism.


title: A short and elementary proof of Brauer's theorem

abstract: A short and elementary proof is given of a celebrated eigenvalue-perturbation result due to Alfred Brauer.


title: Linearly ordered coarse spaces

abstract: A coarse space $X$, endowed with a linear order compatible with the coarse structure of $X$, is called linearly ordered. We prove that every linearly ordered coarse space $X$ is locally convex and the asymptotic dimension of $X$ is either $0$ or $1$. If $X$ is metrizable then the family of all right bounded subsets of $X$ has a selector.


title: Geometrical discretisations for unfitted finite elements on explicit boundary representations

abstract: Unfitted (also known as embedded or immersed) finite element approximations of partial differential equations are very attractive because they have much lower geometrical requirements than standard body-fitted formulations. These schemes do not require body-fitted unstructured mesh generation. In turn, the numerical integration becomes more involved, because one has to compute integrals on portions of cells (only the interior part). In practice, these methods are restricted to level-set (implicit) geometrical representations, which drastically limit their application. Complex geometries in industrial and scientific problems are usually determined by (explicit) boundary representations. In this work, we propose an automatic computational framework for the discretisation of partial differential equations on domains defined by oriented boundary meshes. The geometrical kernel that connects functional and geometry representations generates a two-level integration mesh and a refinement of the boundary mesh that enables the straightforward numerical integration of all the terms in unfitted finite elements. The proposed framework has been applied with success on all analysis-suitable oriented boundary meshes (almost 5,000) in the Thingi10K database and combined with an unfitted finite element formulation to discretise partial differential equations on the corresponding domains.


title: Learn to Grasp with Less Supervision: A Data-Efficient Maximum Likelihood Grasp Sampling Loss

abstract: Robotic grasping for a diverse set of objects is essential in many robot manipulation tasks. One promising approach is to learn deep grasping models from large training datasets of object images and grasp labels. However, empirical grasping datasets are typically sparsely labeled (i.e., a small number of successful grasp labels in each image). The data sparsity issue can lead to insufficient supervision and false-negative labels and thus results in poor learning results. This paper proposes a Maximum Likelihood Grasp Sampling Loss (MLGSL) to tackle the data sparsity issue. The proposed method supposes that successful grasps are stochastically sampled from the predicted grasp distribution and maximizes the observing likelihood. MLGSL is utilized for training a fully convolutional network that generates thousands of grasps simultaneously. Training results suggest that models based on MLGSL can learn to grasp with datasets composing of 2 labels per image. Compared to previous works, which require training datasets of 16 labels per image, MLGSL is 8x more data-efficient. Meanwhile, physical robot experiments demonstrate an equivalent performance at a 90.7% grasp success rate on household objects.


title: Chiral corrections to the masses of the doubly heavy baryons

abstract: We study the masses of the doubly bottom baryons and the charmed bottom baryons up to $\mathcal{O}\left(p^{3}\right)$ in heavy baryon chiral perturbation theory. For the low-energy constants, $g_{A}$ was determined in the quark model, and we fit to the lattice QCD data to determine $m_{0}$, $c_{1}$, and $c_{7}$. We show the numerical results up to $\mathcal{O}\left(p^{3}\right)$, and our results are compared with other theoretical results.


title: In-Network Processing Acoustic Data for Anomaly Detection in Smart Factory

abstract: Modern manufacturing is now deeply integrating new technologies such as 5G, Internet-of-things (IoT), and cloud/edge computing to shape manufacturing to a new level -- Smart Factory. Autonomic anomaly detection (e.g., malfunctioning machines and hazard situations) in a factory hall is on the list and expects to be realized with massive IoT sensor deployments. In this paper, we consider acoustic data-based anomaly detection, which is widely used in factories because sound information reflects richer internal states while videos cannot; besides, the capital investment of an audio system is more economically friendly. However, a unique challenge of using audio data is that sounds are mixed when collecting thus source data separation is inevitable. A traditional way transfers audio data all to a centralized point for separation. Nevertheless, such a centralized manner (i.e., data transferring and then analyzing) may delay prompt reactions to critical anomalies. We demonstrate that this job can be transformed into an in-network processing scheme and thus further accelerated. Specifically, we propose a progressive processing scheme where data separation jobs are distributed as microservices on intermediate nodes in parallel with data forwarding. Therefore, collected audio data can be separated 43.75% faster with even less total computing resources. This solution is comprehensively evaluated with numerical simulations, compared with benchmark solutions, and results justify its advantages.


title: 3d sequential image mosaicing for underwater navigation and mapping

abstract: Although fully autonomous mapping methods are becoming more and more common and reliable, still the human operator is regularly employed in many 3D surveying missions. In a number of underwater applications, divers or pilots of remotely operated vehicles (ROVs) are still considered irreplaceable, and tools for real-time visualization of the mapped scene are essential to support and maximize the navigation and surveying efforts. For underwater exploration, image mosaicing has proved to be a valid and effective approach to visualize large mapped areas, often employed in conjunction with autonomous underwater vehicles (AUVs) and ROVs. In this work, we propose the use of a modified image mosaicing algorithm that coupled with image-based real-time navigation and mapping algorithms provides two visual navigation aids. The first is a classic image mosaic, where the recorded and processed images are incrementally added, named 2D sequential image mosaicing (2DSIM). The second one geometrically transform the images so that they are projected as planar point clouds in the 3D space providing an incremental point cloud mosaicing, named 3D sequential image plane projection (3DSIP). In the paper, the implemented procedure is detailed, and experiments in different underwater scenarios presented and discussed. Technical considerations about computational efforts, frame rate capabilities and scalability to different and more compact architectures (i.e. embedded systems) is also provided.


title: Thermodynamics of Schwarzschild black hole surrounded by quintessence with generalized uncertainty principle

abstract: In this manuscript, we consider a deformation on the Heisenberg algebra and investigate the effects on the thermodynamics of the Schwarzschild black hole that is surrounded by quintessence matter. To this end, we obtain the temperature, entropy, and heat capacity functions of the black hole by using the standard laws of thermodynamic according to the considered deformation. We show that upper and lower bound values appear on these functions based on the quintessence and deformed algebra. Then, we derive the corrected density of quintessence matter and the black hole's equation of state functions. We compare these results with the standard Schwarzschild black hole with and without quintessence with the graphical methods and interpret the quantum deformation effects.


title: Simulated annealing for optimization of graphs and sequences

abstract: Optimization of discrete structures aims at generating a new structure with the better property given an existing one, which is a fundamental problem in machine learning. Different from the continuous optimization, the realistic applications of discrete optimization (e.g., text generation) are very challenging due to the complex and long-range constraints, including both syntax and semantics, in discrete structures. In this work, we present SAGS, a novel Simulated Annealing framework for Graph and Sequence optimization. The key idea is to integrate powerful neural networks into metaheuristics (e.g., simulated annealing, SA) to restrict the search space in discrete optimization. We start by defining a sophisticated objective function, involving the property of interest and pre-defined constraints (e.g., grammar validity). SAGS searches from the discrete space towards this objective by performing a sequence of local edits, where deep generative neural networks propose the editing content and thus can control the quality of editing. We evaluate SAGS on paraphrase generation and molecule generation for sequence optimization and graph optimization, respectively. Extensive results show that our approach achieves state-of-the-art performance compared with existing paraphrase generation methods in terms of both automatic and human evaluations. Further, SAGS also significantly outperforms all the previous methods in molecule generation.


title: Quantum-geometric perspective on spin-orbit-coupled Bose superfluids

abstract: We employ the Bogoliubov approximation to study how the quantum geometry of the helicity states affects the superfluid properties of a spin-orbit-coupled Bose gas in continuum. In particular we derive the low-energy Bogoliubov spectrum for a plane-wave condensate in the lower helicity band and show that the geometric contributions to the sound velocity are distinguished by their linear dependences on the interaction strength, i.e., they are in sharp contrast to the conventional contribution which has a square-root dependence. We also discuss the roton instability of the plane-wave condensate against the stripe phase and determine their phase transition boundary. In addition we derive the superfluid density tensor by imposing a phase-twist on the condensate order parameter and study the relative importance of its contribution from the interband processes that is related to the quantum geometry.


title: Topological group actions by group automorphisms and Banach representations

abstract: We study Banach representability for actions of topological groups on groups by automorphisms (in particular, actions of groups on itself by conjugations). Every such action is Banach representable on some Banach space. The natural question is to examine when we can find representations on low complexity Banach spaces. In contrast to the standard left action of a locally compact second countable group $G$ on itself, the conjugation action need not be reflexively representable even for $\mathrm{SL}_2(\mathbb{R})$. The conjugation action of $\mathrm{SL}_n(\mathbb{R})$ is not Asplund representable for every $n \geq 4$. The linear action of $\mathrm{GL}(n,\mathbb{R})$ on $\mathbb{R}^n$, for every $n \geq 2$, is not representable on Asplund Banach spaces. On the other hand, this action is representable on a Rosenthal Banach space (not containing an isomorphic copy of $l_1$). The conjugation action of a locally compact group need not be Rosenthal representable (even for Lie groups). This is unclear for $\mathrm{SL}_2(\mathbb{R})$. As a byproduct we obtain some counterexamples about Banach representations of homogeneous $G$-actions $G/H$.


title: Machine Learning with Knowledge Constraints for Process Optimization of Open-Air Perovskite Solar Cell Manufacturing

abstract: Perovskite photovoltaics (PV) have achieved rapid development in the past decade in terms of power conversion efficiency of small-area lab-scale devices; however, successful commercialization still requires further development of low-cost, scalable, and high-throughput manufacturing techniques. One of the critical challenges of developing a new fabrication technique is the high-dimensional parameter space for optimization, but machine learning (ML) can readily be used to accelerate perovskite PV scaling. Herein, we present an ML-guided framework of sequential learning for manufacturing process optimization. We apply our methodology to the Rapid Spray Plasma Processing (RSPP) technique for perovskite thin films in ambient conditions. With a limited experimental budget of screening 100 process conditions, we demonstrated an efficiency improvement to 18.5% as the best-in-our-lab device fabricated by RSPP, and we also experimentally found 10 unique process conditions to produce the top-performing devices of more than 17% efficiency, which is 5 times higher rate of success than the control experiments with pseudo-random Latin hypercube sampling. Our model is enabled by three innovations: (a) flexible knowledge transfer between experimental processes by incorporating data from prior experimental data as a probabilistic constraint; (b) incorporation of both subjective human observations and ML insights when selecting next experiments; (c) adaptive strategy of locating the region of interest using Bayesian optimization first, and then conducting local exploration for high-efficiency devices. Furthermore, in virtual benchmarking, our framework achieves faster improvements with limited experimental budgets than traditional design-of-experiments methods (e.g., one-variable-at-a-time sampling).


title: Neural Network Verification in Control

abstract: Learning-based methods could provide solutions to many of the long-standing challenges in control. However, the neural networks (NNs) commonly used in modern learning approaches present substantial challenges for analyzing the resulting control systems' safety properties. Fortunately, a new body of literature could provide tractable methods for analysis and verification of these high dimensional, highly nonlinear representations. This tutorial first introduces and unifies recent techniques (many of which originated in the computer vision and machine learning communities) for verifying robustness properties of NNs. The techniques are then extended to provide formal guarantees of neural feedback loops (e.g., closed-loop system with NN control policy). The provided tools are shown to enable closed-loop reachability analysis and robust deep reinforcement learning.


title: A Survey of Selected Algorithms Used in Military Applications from the Viewpoints of Dataflow and GaAs

abstract: This is a short survey of ten algorithms that are often used for military purposes, followed by analysis of their potential suitability for dataflow and GaAs, which are a specific architecture and technology for supercomputers on a chip, respectively. Whenever an algorithm or a device is used in military settings, it is natural to assume strict requirements related to speed, reliability, scale, energy, size, and accuracy. The two aforementioned paradigms seem to be promising in fulfilling most of these requirements.


title: A Lightweight, Anonymous and Confidential Genomic Computing for Industrial Scale Deployment

abstract: This paper studies anonymous and confidential genomic case and control computing within the federated framework leveraging SPDZ. Our contribution mainly comprises the following three-fold: \begin{itemize} \item In the first fold, an efficient construction of Beaver triple generators (BTGs) formalized in the 3-party computation leveraging multiplicatively homomorphic key management protocols (mHKMs) is presented and analysed. Interestingly, we are able to show the equivalence between BTGs and mHKMs. We then propose a lightweight construction of BTGs, and show that our construction is secure against semi-honest adversary if the underlying multiplicatively homomorphic encryption is semantically secure. \item In the second fold, a decoupling model for SPDZ with explicit separation of BTGs from MPC servers (MPCs) is introduced and formalized, where BTGs aim to generate the Beaver triples while MPCs to process the input data. A new notion, which we call blind triple dispensation protocol, is then introduced for securely dispensing the generated Beaver triples, and constructed from mHKMs. We demonstrate the power of mHKMs by showing that it is a useful notion not only for generating Beaver triples but also for securely dispensing triples as well. \item In the third-fold, a lightweight genomic case and control computing model is proposed, which reaches the anonymity and confidentiality simultaneously. An efficient truncation algorithm leveraging the depicted BTGs above is then proposed by eliminating computational cost heavy PRandBitL() and PRandInt() protocols involved in the state-of-the-art solutions and thus largely benefits us computing residual vectors for industrial scale deployment.


title: An Efficient Procedure for Mining Egocentric Temporal Motifs

abstract: Temporal graphs are structures which model relational data between entities that change over time. Due to the complex structure of data, mining statistically significant temporal subgraphs, also known as temporal motifs, is a challenging task. In this work, we present an efficient technique for extracting temporal motifs in temporal networks. Our method is based on the novel notion of egocentric temporal neighborhoods, namely multi-layer structures centered on an ego node. Each temporal layer of the structure consists of the first-order neighborhood of the ego node, and corresponding nodes in sequential layers are connected by an edge. The strength of this approach lies in the possibility of encoding these structures into a unique bit vector, thus bypassing the problem of graph isomorphism in searching for temporal motifs. This allows our algorithm to mine substantially larger motifs with respect to alternative approaches. Furthermore, by bringing the focus on the temporal dynamics of the interactions of a specific node, our model allows to mine temporal motifs which are visibly interpretable. Experiments on a number of complex networks of social interactions confirm the advantage of the proposed approach over alternative non-egocentric solutions. The egocentric procedure is indeed more efficient in revealing similarities and discrepancies among different social environments, independently of the different technologies used to collect data, which instead affect standard non-egocentric measures.


title: Consistency between transitive relations and between cones

abstract: A relation extends another relation consistently if its symmetric, respectively its asymmetric, part contains the corresponding part of the smaller relation. It is shown that there exists no finite circular chain made from two transitive relations $\mathbf{A}$ and $\mathbf{B}$ with at least one link from their asymmetric parts if and only if there exists a total preorder which consistently extends both. Additionally, this extension is uniquely determined if and only if the reflexive transitive closure of the union of $\mathbf{A}$ and $\mathbf{B}$ is total. Applications: (1) If the steps of a walk come from two positive cones, with at least one step from one of the cones' non-linear parts, then returning to the origin is impossible if and only if there exists a third cone of which the linear part contains each of the linear parts of the two original cones, and of which the non-linear part contains each of the two non-linear parts. (2) Reminiscent of the Fundamental Theorem of Asset Pricing, absence of arbitrage is equivalent to the existence of a complete preference order which consistently extends a market's fair exchange relation and its objective strict preference order. (3) Another impossibility in microeconomics: For two agents, or an agent and a market, with additive positively homogeneous preferences, an allocation can never be Pareto optimal if they are not `cut from the same cloth'.


title: Explodability fluctuations of massive stellar cores enable asymmetric compact object mergers such as GW190814

abstract: The first three observing runs with Advanced LIGO and Virgo have resulted in the detection of binary black hole mergers (BBH) with highly unequal mass components, which are difficult to reconcile with standard formation paradigms. The most representative of these is GW190814, a highly asymmetric merger between a 23 M$_{\odot}$ black hole and a 2.6 M$_{\odot}$ compact object. Here, we explore recent results suggesting that a sizeable fraction of stars with pre-collapse carbon-oxygen core masses above 10 M$_{\odot}$, and extending up to at least 30 M$_{\odot}$, may produce objects inside the so-called lower mass gap that bridges the division between massive pulsars and BHs in Galactic X-ray binaries. We demonstrate that such an explosion landscape would naturally cause a fraction of massive binaries to produce GW190814-like systems instead of symmetric-mass BBHs. We present examples of specific evolutionary channels leading to the formation of GW190814 and GW200210, a 24+2.8 M$_{\odot}$ merger discovered during the O3b observing run. We estimate the merger-rate density of these events in our scenario to be $\mathcal{O}$(5%) of the total BBH merger rate. Finally, we discuss the broader implications of this formation channel for compact object populations, and its possible relevance to less asymmetric merger events such as GW200105 and GW200115


title: Mulberry Leaf Yield Prediction Using Machine Learning Techniques

abstract: Soil nutrients are essential for the growth of healthy crops. India produces a humungous quantity of Mulberry leaves which in turn produces the raw silk. Since the climatic conditions in India is favourable, Mulberry is grown throughout the year. Majority of the farmers hardly pay attention to the nature of soil and abiotic factors due to which leaves become malnutritious and thus when they are consumed by the silkworm, desired quality end-product, raw silk, will not be produced. It is beneficial for the farmers to know the amount of yield that their land can produce so that they can plan in advance. In this paper, different Machine Learning techniques are used in predicting the yield of the Mulberry crops based on the soil parameters. Three advanced machine-learning models are selected and compared, namely, Multiple linear regression, Ridge regression and Random Forest Regression (RF). The experimental results show that Random Forest Regression outperforms other algorithms.


title: Prediction of IPL Match Outcome Using Machine Learning Techniques

abstract: India's most popular sport is cricket and is played across all over the nation in different formats like T20, ODI, and Test. The Indian Premier League (IPL) is a national cricket match where players are drawn from regional teams of India, National Team and also from international team. Many factors like live streaming, radio, TV broadcast made this league as popular among cricket fans. The prediction of the outcome of the IPL matches is very important for online traders and sponsors. We can predict the match between two teams based on various factors like team composition, batting and bowling averages of each player in the team, and the team's success in their previous matches, in addition to traditional factors such as toss, venue, and day-night, the probability of winning by batting first at a specified match venue against a specific team. In this paper, we have proposed a model for predicting outcome of the IPL matches using Machine learning Algorithms namely SVM, Random Forest Classifier (RFC), Logistic Regression and K-Nearest Neighbor. Experimental results showed that the Random Forest algorithm outperforms other algorithms with an accuracy of 88.10%.


title: Non-linear Gaussian smoothing with Taylor moment expansion

abstract: This letter is concerned with solving continuous-discrete Gaussian smoothing problems by using the Taylor moment expansion (TME) scheme. In the proposed smoothing method, we apply the TME method to approximate the transition density of the stochastic differential equation in the dynamic model. Furthermore, we derive a theoretical error bound (in the mean square sense) of the TME smoothing estimates showing that the smoother is stable under weak assumptions. Numerical experiments are presented in order to illustrate practical use of the method.


title: RED++ : Data-Free Pruning of Deep Neural Networks via Input Splitting and Output Merging

abstract: Pruning Deep Neural Networks (DNNs) is a prominent field of study in the goal of inference runtime acceleration. In this paper, we introduce a novel data-free pruning protocol RED++. Only requiring a trained neural network, and not specific to DNN architecture, we exploit an adaptive data-free scalar hashing which exhibits redundancies among neuron weight values. We study the theoretical and empirical guarantees on the preservation of the accuracy from the hashing as well as the expected pruning ratio resulting from the exploitation of said redundancies. We propose a novel data-free pruning technique of DNN layers which removes the input-wise redundant operations. This algorithm is straightforward, parallelizable and offers novel perspective on DNN pruning by shifting the burden of large computation to efficient memory access and allocation. We provide theoretical guarantees on RED++ performance and empirically demonstrate its superiority over other data-free pruning methods and its competitiveness with data-driven ones on ResNets, MobileNets and EfficientNets.


title: Enabling Blockchain Scalability and Interoperability with Mobile Computing through LayerOne.X

abstract: Interoperability and scalability are currently the bottlenecks preventing mass adoption of blockchain technology. Development of an interoperable and scalable network that promotes a truly decentralised, permissionless and secure blockchain as well as one that enables micro validation is the main goal of this project. Layer-One.X, a truly decentralised ledger which utilises para-sharding, Directed Acyclic Graphs, Proof of Participation consensus mechanism, mobile computing, flash contracts and nucleus scripting is introduced in this paper. The conceptual framework including tokenomics is also explained along with a number of use cases. The framework facilitates the growing need of transaction per second enabling micro based payments and value transfer through tokenisation.


title: Aerial Base Station Placement: A Tutorial Introduction

abstract: The deployment of Aerial Base Stations (ABSs) mounted on board Unmanned Aerial Vehicles (UAVs) is emerging as a promising technology to provide connectivity in areas where terrestrial infrastructure is insufficient or absent. This may occur for example in remote areas, large events, emergency situations, or areas affected by a natural disaster such as a wildfire or a tsunami. To successfully materialize this goal, it is required that ABSs are placed at locations in 3D space that ensure a high quality of service (QoS) to the ground terminals. This paper provides a tutorial introduction to this ABS placement problem where the fundamental challenges and trade-offs are first investigated by means of a toy application example. Next, the different approaches in the literature to address the aforementioned challenges in both 2D or 3D space will be introduced and a discussion on adaptive placement will be provided. The paper is concluded by discussing future research directions.


title: On Weighted Means and MN-convex functions

abstract: In this paper, we give more general definitions of weighted means and MN-convex functions. Using these definitions, we also obtain some generalized results related to properties of MN-convex functions. The importance of this study is that the results of this paper can be reduced to different convexity classes by considering the special cases of M and N.


title: MobTCast: Leveraging Auxiliary Trajectory Forecasting for Human Mobility Prediction

abstract: Human mobility prediction is a core functionality in many location-based services and applications. However, due to the sparsity of mobility data, it is not an easy task to predict future POIs (place-of-interests) that are going to be visited. In this paper, we propose MobTCast, a Transformer-based context-aware network for mobility prediction. Specifically, we explore the influence of four types of context in the mobility prediction: temporal, semantic, social and geographical contexts. We first design a base mobility feature extractor using the Transformer architecture, which takes both the history POI sequence and the semantic information as input. It handles both the temporal and semantic contexts. Based on the base extractor and the social connections of a user, we employ a self-attention module to model the influence of the social context. Furthermore, unlike existing methods, we introduce a location prediction branch in MobTCast as an auxiliary task to model the geographical context and predict the next location. Intuitively, the geographical distance between the location of the predicted POI and the predicted location from the auxiliary branch should be as close as possible. To reflect this relation, we design a consistency loss to further improve the POI prediction performance. In our experimental results, MobTCast outperforms other state-of-the-art next POI prediction methods. Our approach illustrates the value of including different types of context in next POI prediction.


title: Quantum information and beyond -- with quantum candies

abstract: The field of quantum information is becoming more known to the general public. However, effectively demonstrating the concepts underneath quantum science and technology to the general public can be a challenging job. We investigate, extend, and greatly expand here "quantum candies" (invented by Jacobs), a pedagogical model for intuitively describing some basic concepts in quantum information, including quantum bits, complementarity, the no-cloning principle, and entanglement. Following Jacob's quantum candies description of the well-known quantum key distribution protocol BB84, we explicitly demonstrate additional quantum cryptography protocols and quantum communication protocols, using generalized quantum candies (including correlated pairs of qandies). These demonstrations are done in an approachable manner, that can be explained to high-school students, without using the hard-to-grasp concept of superpositions and its mathematics. The intuitive model we investigate has a fascinating overlap with some of the most basic features of quantum theory. Hence, it can be a valuable tool for science and engineering educators who would like to help the general public to gain more insights into quantum science and technology. For the experts, the model we present, due to not employing quantum superpositions, enables - in some sense - extending far beyond quantum theory. Most remarkably, "quantum" candies of some unique type can be defined, such that non-local boxes (of the Popescu-Rohrlich type) as well as regular (correlated) quantum candies can be generated by a single `"quantum" candies machine.


title: DRP-VEM: Drug repositioning prediction using voting ensemble

abstract: Traditional drug discovery methods are costly and time-consuming. Drug repositioning (DR) is a common strategy to overcome these issues. Recently, machine learning methods have been used extensively in DR problem. The performance of these methods depends on the features, representations and training dataset. In this problem, feature sets include many redundant features, which have a negative effect on the performance of methods. Moreover, selecting an appropriate training set is influential in the rise of machine learning method accuracy. However, in this problem, we face two obstacles to find the proper training set. First, most methods employ known and unknown drug-disease pairs as positive and negative sets, respectively. While the number of known pairs is much less than unknowns, it leads to machine learning performance error because of biasing to the majority group. Second, the absence of a drug-disease association means this association has not been approved experimentally and may be changed. In this paper, DRP-VEM framework is proposed to overcome the challenges. We assess DRP-VEM based on different parameters: disease and drug feature representations, classification methods, and voting ensemble training approaches. DRP-VEM is evaluated using heterogenous evaluation criteria. Moreover, we compare DRP-VEM using the best combination of parameters with DisDrugPred.


title: A Digital Feedback System for Advanced Ion Manipulation Techniques in Penning Traps

abstract: The possibility to apply active feedback to a single ion in a Penning trap using a fully digital system is demonstrated. Previously realized feedback systems rely on analog circuits that are susceptible to environmental fluctuations and long term drifts, as well as being limited to the specific task they were designed for. The presented system is implemented using an FPGA-based platform (STEMlab), offering greater flexibility, higher temporal stability and the possibility for highly dynamic variation of feedback parameters. The system's capabilities were demonstrated by applying feedback to the ion detection system primarily consisting of a resonant circuit. This allowed shifts in its resonance frequency of up to several kHz and free modification of its quality factor within two orders of magnitude, which reduces the temperature of a single ion by a factor of 6. Furthermore, a phase-sensitive detection technique for the axial ion oscillation was implemented, which reduces the current measurement time by two orders of magnitude while simultaneously eliminating model-related systematic uncertainties. The use of FPGA technology allowed the implementation of a fully-featured data acquisition system, making it possible to realize feedback techniques that require constant monitoring of the ion signal. This was successfully used to implement a single-ion self-excited oscillator.


title: An inversion algorithm for P-functions with applications to Multi-energy CT

abstract: Multi-energy computed tomography (ME-CT) is an x-ray transmission imaging technique that uses the energy dependence of x-ray photon attenuation to determine the elemental composition of an object of interest. Mathematically, forward ME-CT measurements are modeled by a nonlinear integral transform. In this paper, local conditions for global invertibility of the ME-CT transform are studied, and explicit stability estimates quantifying the error propagation from measurements to reconstructions are provided. Motivated from the inverse problem of image reconstruction in ME-CT, an iterative inversion algorithm for the so-called P-functions is proposed. Numerical simulations for ME-CT, in two and three materials settings with an equal number of energy measurements, confirm the theoretical predictions.


title: MedPerf: Open Benchmarking Platform for Medical Artificial Intelligence using Federated Evaluation

abstract: Medical AI has tremendous potential to advance healthcare by supporting the evidence-based practice of medicine, personalizing patient treatment, reducing costs, and improving provider and patient experience. We argue that unlocking this potential requires a systematic way to measure the performance of medical AI models on large-scale heterogeneous data. To meet this need, we are building MedPerf, an open framework for benchmarking machine learning in the medical domain. MedPerf will enable federated evaluation in which models are securely distributed to different facilities for evaluation, thereby empowering healthcare organizations to assess and verify the performance of AI models in an efficient and human-supervised process, while prioritizing privacy. We describe the current challenges healthcare and AI communities face, the need for an open platform, the design philosophy of MedPerf, its current implementation status, and our roadmap. We call for researchers and organizations to join us in creating the MedPerf open benchmarking platform.


title: On Near Optimal Spectral Expander Graphs of Fixed Size

abstract: We present a pair of heuristic algorithms. The first is to generate a random regular graph of fixed size. The second is the introduction of the Metropolis Coupled Simulated Annealer (MCSA) for optimizing spectral gaps in fixed size regular graphs.


title: Paradigm Shift Through the Integration of Physical Methodology and Data Science

abstract: Data science methodologies, which have undergone significant developments recently, provide flexible representational performance and fast computational means to address the challenges faced by traditional scientific methodologies while revealing unprecedented challenges such as the interpretability of computations and the demand for extrapolative predictions on the amount of data. Methods that integrate traditional physical and data science methodologies are new methods of mathematical analysis that complement both methodologies and are being studied in various scientific fields. This paper highlights the significance and importance of such integrated methods from the viewpoint of scientific theory. Additionally, a comprehensive survey of specific methods and applications are conducted, and the current state of the art in relevant research fields are summarized.


title: Delayed Asynchronous Iterative Graph Algorithms

abstract: Iterative graph algorithms often compute intermediate values and update them as computation progresses. Updated output values are used as inputs for computations in current or subsequent iterations; hence the number of iterations required for values to converge can potentially reduce if the newest values are asynchronously made available to other updates computed in the same iteration. In a multi-threaded shared memory system, the immediate propagation of updated values can cause memory contention that may offset the benefit of propagating updates sooner. In some cases, the benefit of a smaller number of iterations may be diminished by each iteration taking longer. Our key idea is to combine the low memory contention that synchronous approaches have with the faster information sharing of asynchronous approaches. Our hybrid approach buffers updates from threads locally before committing them to the global store to control how often threads may cause conflicts for others while still sharing data within one iteration and hence speeding convergence. On a 112-thread CPU system, our hybrid approach attains up to 4.5% - 19.4% speedup over an asynchronous approach for Pagerank and up to 1.9% - 17% speedup over asynchronous Bellman Ford SSSP. Further, our hybrid approach attains 2.56x better performance than the synchronous approach. Finally, we provide insights as to why delaying updates is not helpful on certain graphs where connectivity is clustered on the main diagonal of the adjacency matrix.


title: Development of an autism screening classification model for toddlers

abstract: Autism spectrum disorder ASD is a neurodevelopmental disorder associated with challenges in communication, social interaction, and repetitive behaviors. Getting a clear diagnosis for a child is necessary for starting early intervention and having access to therapy services. However, there are many barriers that hinder the screening of these kids for autism at an early stage which might delay further the access to therapeutic interventions. One promising direction for improving the efficiency and accuracy of ASD detection in toddlers is the use of machine learning techniques to build classifiers that serve the purpose. This paper contributes to this area and uses the data developed by Dr. Fadi Fayez Thabtah to train and test various machine learning classifiers for the early ASD screening. Based on various attributes, three models have been trained and compared which are Decision tree C4.5, Random Forest, and Neural Network. The three models provided very good accuracies based on testing data, however, it is the Neural Network that outperformed the other two models. This work contributes to the early screening of toddlers by helping identify those who have ASD traits and should pursue formal clinical diagnosis.


title: Deep Reinforcement Learning Versus Evolution Strategies: A Comparative Survey

abstract: Deep Reinforcement Learning (DRL) and Evolution Strategies (ESs) have surpassed human-level control in many sequential decision-making problems, yet many open challenges still exist. To get insights into the strengths and weaknesses of DRL versus ESs, an analysis of their respective capabilities and limitations is provided. After presenting their fundamental concepts and algorithms, a comparison is provided on key aspects such as scalability, exploration, adaptation to dynamic environments, and multi-agent learning. Then, the benefits of hybrid algorithms that combine concepts from DRL and ESs are highlighted. Finally, to have an indication about how they compare in real-world applications, a survey of the literature for the set of applications they support is provided.


title: Observing a Moving Target -- Reliable Transmission of Debug Logs from Embedded Mobile Devices

abstract: Mobile embedded devices of the Internet of Things (IoT) face tight resource constraints and uncertain environments, including energy scarcity and unstable connectivity. This aggravates debugging, optimization, monitoring, etc.; for which logging information must be accessible throughout all phases of development and product life cycles. This work compares approaches for transmitting logs with regard to application requirements (e.g., bandwidth), resource consumption (e.g., memory), operating constraints (e.g., power supply), and the medium (e.g., UART, WiFi). A qualitative comparison suggests that the adequacy of approaches depends on the concrete application and the phase in the life cycle. We report from our case study, where the embedded mobile device is represented by a self-driving slot car (Carrera D132). With this target device, failure logs, new firmware, and monitoring data need to be exchanged. The gathered experiences support our qualitative discussion: Wireless techniques can suit the needs of many phases in the life cycle but it is particularly evident that energy consumption is crucial. With a loaded wireless stack and while transmitting logs, the car's operating voltage drop within a \~ 20 ms power interruption is \~ 1.6 times higher. This limits communication flexibility significantly.


title: The passage from the integral to the rational group ring in algebraic $K$-theory

abstract: An open question is whether the map $\widetilde{K_0 }\mathbb{Z} G \rightarrow \widetilde{K_0 }\mathbb{Q} G$ in reduced $K$-theory from the integral to the rational group ring is trivial for any group $G$. We will show that this is false, with a counterexample given by the group $QD_{32} *_{Q_{16}} QD_{32}$. We will also show how to compute the image of the map $\widetilde{K_0 }\mathbb{Z} G \rightarrow \widetilde{K_0 }\mathbb{Q} G$ using representation theoretic means, assuming $G$ satisfies the Farrell-Jones conjecture.