title: Rocking of rigid blocks: Analytical solution and exact energy-based overturning criteria

abstract: In this paper, the underlying energy flow in rocking dynamics of rigid blocks is utilized to elucidate their response details and overturning conditions. Based merely on the law of the conservation of energy, the exact criteria for a rigid block to overturn in the free vibration regime are established for the first time in the context of both nonlinear and linear theory. That is, if the initial conditions of the free oscillation regime fall within the prescribed stable libration region, then it is a priori determined that the block will not overturn and vice versa. The analytical solution to the nonlinear free rocking problem is also derived, utilizing integration techniques originating from the solution of the nonlinear pendulum. Additionally, pulse-type overturning spectra are constructed easily by numerical integration of the equation of motion only during the pulse duration. If the block does not topple during the forced regime, the angle and angular velocity at the end of the excitations are employed to assess immediately the safety or unsafety of the block using the exact overturning nonlinear criterion. Finally, new insights into the stability regions of the overturning spectra are illuminated and explained in detail using a color mapping.


title: The geometric phase and the dry friction of sleeping tops on inclined planes

abstract: We report on the motion of a spinning sleeping top on an inclined plane. Below a critical inclination angle the sleeping tops are force free. The trajectory of a sleeping top on weakly inclined planes in the adiabatic limit is invariant of the angular frequency of the top and thus invariant under a rescaling of the time, however not invariant under time reversal. The stationary trajectory of the sleeping top is characterized by its angle to the in plane horizontal direction. At larger inclinations of the plane the stationary motion of the top becomes unstable and the top accelerates downhill. The behavior points towards a complex law of dry friction of the contact point between the top tip and the material of the inclined plane that depends on a slip parameter. We propose a phenomenological law of dry friction that can explain the relaxation of the top into the sleeping position, the geometric behavior of the top trajectories, and the instability of the stationary motion at larger inclination angles.


title: On the moments of characteristic polynomials

abstract: We examine the asymptotics of the moments of characteristic polynomials of $N\times N$ matrices drawn from the Hermitian ensembles of Random Matrix Theory, in the limit as $N\to\infty$. We focus in particular on the Gaussian Unitary Ensemble, but discuss other Hermitian ensembles as well. We employ a novel approach to calculate asymptotic formulae for the moments, enabling us to uncover subtle structure not apparent in previous approaches.


title: Fully Dynamic Algorithms for Minimum Weight Cycle and Related Problems

abstract: We consider the directed minimum weight cycle problem in the fully dynamic setting. To the best of our knowledge, so far no fully dynamic algorithms have been designed specifically for the minimum weight cycle problem in general digraphs. One can achieve $\tilde{O}(n^2)$ amortized update time by simply invoking the fully dynamic APSP algorithm of Demetrescu and Italiano [J. ACM'04]. This bound, however, yields no improvement over the trivial recompute-from-scratch algorithm for sparse graphs. Our first contribution is a very simple deterministic $(1+\epsilon)$-approximate algorithm supporting vertex updates (i.e., changing all edges incident to a specified vertex) in conditionally near-optimal $\tilde{O}(m\log{(W)}/\epsilon)$ amortized time for digraphs with real edge weights in $[1,W]$. Using known techniques, the algorithm can be implemented on planar graphs and also gives some new sublinear fully dynamic algorithms maintaining approximate cuts and flows in planar digraphs. Additionally, we show a Monte Carlo randomized exact fully dynamic minimum weight cycle algorithm with $\tilde{O}(mn^{2/3})$ worst-case update that works for real edge weights. To this end, we generalize the exact fully dynamic APSP data structure of Abraham et al. [SODA'17] to solve the ``multiple-pairs shortest paths problem'', where one is interested in computing distances for some $k$ (instead of all $n^2$) fixed source-target pairs after each update. We show that in such a scenario, $\tilde{O}((m+k)n^{2/3})$ worst-case update time is possible.


title: A behavioural modelling approach to assess the impact of COVID-19 vaccine hesitancy

abstract: In this paper we introduce a compartmental epidemic model describing the transmission of the COVID-19 disease in presence of non-mandatory vaccination. The model takes into account the hesitancy and refusal of vaccination. To this aim, we employ the information index, which mimics the idea that individuals take their decision on vaccination based not only on the present but also on the past information about the spread of the disease. Theoretical analysis and simulations show clearly as a voluntary vaccination can certainly reduce the impact of the disease but it is unable to eliminate it. We also show how the information-related parameters affect the dynamics of the disease. In particular, the hesitancy and refusal of vaccination is better contained in case of large information coverage and small memory characteristic time. Finally, the possible influence of seasonality is also investigated.


title: Optimizing multilayer Bayesian neural networks for evaluation of fission yields

abstract: The Bayesian machine learning is a promising tool for the evaluation of nuclear fission data but its potential capability has not been fully realized. We attempt to optimize the performances of the multilayer Bayesian neural networks for evaluations of fission yields. The influences of adjustments of learning data, activation functions, network structures have been studied. In particular, negative values of net functions have been penalized to avoid non-physical inferences of fission yields. Presently the network with double hidden layers has optimal performances compared to the single-layer or deeper networks. These studies are essential for further developments of precise evaluation methods.


title: Single-chip photonic deep neural network for instantaneous image classification

abstract: Deep neural networks with applications from computer vision and image processing to medical diagnosis are commonly implemented using clock-based processors, where computation speed is limited by the clock frequency and the memory access time. Advances in photonic integrated circuits have enabled research in photonic computation, where, despite excellent features such as fast linear computation, no integrated photonic deep network has been demonstrated to date due to the lack of scalable nonlinear functionality and the loss of photonic devices, making scalability to a large number of layers challenging. Here we report the first integrated end-to-end photonic deep neural network (PDNN) that performs instantaneous image classification through direct processing of optical waves. Images are formed on the input pixels and optical waves are coupled into nanophotonic waveguides and processed as the light propagates through layers of neurons on-chip. Each neuron generates an optical output from input optical signals, where linear computation is performed optically and the nonlinear activation function is realised opto-electronically. The output of a laser coupled into the chip is uniformly distributed among all neurons within the network providing the same per-neuron supply light. Thus, all neurons have the same optical output range enabling scalability to deep networks with large number of layers. The PDNN chip is used for 2- and 4-class classification of handwritten letters achieving accuracies of higher than 93.7% and 90.3%, respectively, with a computation time less than one clock cycle of state-of-the-art digital computation platforms. Direct clock-less processing of optical data eliminates photo-detection, A/D conversion, and the requirement for a large memory module, enabling significantly faster and more energy-efficient neural networks for the next generations of deep learning systems.


title: Nonlinear non-Hermitian skin effect

abstract: Distant boundaries in linear non-Hermitian lattices can dramatically change energy eigenvalues and corresponding eigenstates in a nonlocal way. This effect is known as non-Hermitian skin effect (NHSE). Combining non-Hermitian skin effect with nonlinear effects can give rise to a host of novel phenomenas, which may be used for nonlinear structure designs. Here we study nonlinear non-Hermitian skin effect and explore nonlocal and substantial effects of edges on stationary nonlinear solutions. We show that fractal and continuum bands arise in a long lattice governed by a nonreciprocal discrete nonlinear Schrodinger equation. We show that stationary solutions are localized at the edge in the continuum band. We consider a non-Hermitian Ablowitz-Ladik model and show that nonlinear exceptional point disappears if the lattice is infinitely long.


title: Lite-Sparse Hierarchical Partial Power Processing for Second-Use Battery Energy Storage Systems

abstract: The explosive growth of electric vehicles (EVs) is leading to a surge in retired EV batteries, which are typically recycled despite having nearly 80% available capacity. Repurposing automotive batteries for second-use battery energy storage systems (2-BESS) has both economical and environmental benefits. The challenge with second-use batteries is the heterogeneity in their state of health. This paper introduces a new strategy to optimize 2-BESS performance despite the heterogeneity of individual batteries while reducing the cost of power conversion. In this paper, the statistical distribution of the power heterogeneity in the supply of batteries is used to optimize the choice of power converters and design the power flow within the battery energy storage system (BESS) to optimize power capability. By leveraging a new lite-sparse hierarchical partial power processing (LS-HiPPP) approach, we study how a hierarchy in partial power processing (PPP) partitions power converters to significantly reduce converter ratings, process less power to achieve high system efficiency with lower cost (lower efficiency) converters, and take advantage of economies of scale by requiring only a minimal number of sets of identical converters. Our results demonstrate that LS-HiPPP architectures offer the best tradeoff between battery utilization and converter cost and have higher system efficiency than conventional partial power processing (C-PPP) in all cases.


title: Carbon-Aware Computing for Datacenters

abstract: The amount of CO$_2$ emitted per kilowatt-hour on an electricity grid varies by time of day and substantially varies by location due to the types of generation. Networked collections of warehouse scale computers, sometimes called Hyperscale Computing, emit more carbon than needed if operated without regard to these variations in carbon intensity. This paper introduces Google's system for Carbon-Intelligent Compute Management, which actively minimizes electricity-based carbon footprint and power infrastructure costs by delaying temporally flexible workloads. The core component of the system is a suite of analytical pipelines used to gather the next day's carbon intensity forecasts, train day-ahead demand prediction models, and use risk-aware optimization to generate the next day's carbon-aware Virtual Capacity Curves (VCCs) for all datacenter clusters across Google's fleet. VCCs impose hourly limits on resources available to temporally flexible workloads while preserving overall daily capacity, enabling all such workloads to complete within a day. Data from operation shows that VCCs effectively limit hourly capacity when the grid's energy supply mix is carbon intensive and delay the execution of temporally flexible workloads to "greener" times.


title: Quantum Computing for Location Determination

abstract: Quantum computing provides a new way for approaching problem solving, enabling efficient solutions for problems that are hard on classical computers. It is based on leveraging how quantum particles behave. With researchers around the world showing quantum supremacy and the availability of cloud-based quantum computers with free accounts for researchers, quantum computing is becoming a reality. In this paper, we explore both the opportunities and challenges that quantum computing has for location determination research. Specifically, we introduce an example for the expected gain of using quantum algorithms by providing an efficient quantum implementation of the well-known RF fingerprinting algorithm and run it on an instance of the IBM Quantum Experience computer. The proposed quantum algorithm has a complexity that is exponentially better than its classical algorithm version, both in space and running time. We further discuss both software and hardware research challenges and opportunities that researchers can build on to explore this exciting new domain.


title: Numerical Study on Flow and Heat Transfer of Water and Liquid Metals Within Micro-Scale Heat Sinks for High Heat Dissipation Rate Applications

abstract: Compact and small-scale heat exchangers can handle high heat dissipation rates due to their large surface area to volume ratios. Applications involving high heat dissipation rates include, but are not limited to, compact microelectronic processing units, high power laser arrays, fuel cells, as well as fission batteries. Low maintenance cost, small size and dimensions, as well as high convective heat transfer coefficients, make micro-scale heat sinks an efficient and reliable cooling solution for applications with high heat dissipation rates. Despite these advantages, the large pressure drop that occurs within micro-scale heat sinks has restricted their utilization. Slip at the walls of microchannels has been reported to reduce friction factor up to 30%, depending on the hydraulic diameter of the microchannel. Numerical investigations are conducted to comprehensively investigate the effect of slip at walls on friction factor and Nusselt number of liquid flows in micro-scale heat sinks. At the same mass flow rate and inlet Reynolds number, obtained results suggest that slip length on the order of 2 microns enhances the overall thermalhydraulic performance of micro heat sinks by almost 6% in comparison with no-slip boundary conditions. 4% increase is observed in channel average Nusselt number while pumping power reduces by 8% in comparison with no-slip boundary condition.


title: Symplectic Learning for Hamiltonian Neural Networks

abstract: Machine learning methods are widely used in the natural sciences to model and predict physical systems from observation data. Yet, they are often used as poorly understood "black boxes," disregarding existing mathematical structure and invariants of the problem. Recently, the proposal of Hamiltonian Neural Networks (HNNs) took a first step towards a unified "gray box" approach, using physical insight to improve performance for Hamiltonian systems. In this paper, we explore a significantly improved training method for HNNs, exploiting the symplectic structure of Hamiltonian systems with a different loss function. This frees the loss from an artificial lower bound. We mathematically guarantee the existence of an exact Hamiltonian function which the HNN can learn. This allows us to prove and numerically analyze the errors made by HNNs which, in turn, renders them fully explainable. Finally, we present a novel post-training correction to obtain the true Hamiltonian only from discretized observation data, up to an arbitrary order.


title: Experiments in Artificial Culture: from noisy imitation to storytelling robots

abstract: This paper presents a series of experiments in collective social robotics, spanning more than 10 years, with the long-term aim of building embodied models of (aspects) of cultural evolution. Initial experiments demonstrated the emergence of behavioural traditions in a group of social robots programmed to imitate each other's behaviours (we call these Copybots). These experiments show that the noisy (i.e. less than perfect fidelity) imitation that comes for free with real physical robots gives rise naturally to variation in social learning. More recent experimental work extends the robots' cognitive capabilities with simulation-based internal models, equipping them with a simple artificial theory of mind. With this extended capability we explore, in our current work, social learning not via imitation but robot-robot storytelling, in an effort to model this very human mode of cultural transmission. In this paper we give an account of the methods and inspiration for these experiments, the experiments and their results, and an outline of possible directions for this programme of research. It is our hope that this paper stimulates not only discussion but suggestions for hypotheses to test with the Storybots.


title: Sphynx: ReLU-Efficient Network Design for Private Inference

abstract: The emergence of deep learning has been accompanied by privacy concerns surrounding users' data and service providers' models. We focus on private inference (PI), where the goal is to perform inference on a user's data sample using a service provider's model. Existing PI methods for deep networks enable cryptographically secure inference with little drop in functionality; however, they incur severe latency costs, primarily caused by non-linear network operations (such as ReLUs). This paper presents Sphynx, a ReLU-efficient network design method based on micro-search strategies for convolutional cell design. Sphynx achieves Pareto dominance over all existing private inference methods on CIFAR-100. We also design large-scale networks that support cryptographically private inference on Tiny-ImageNet and ImageNet.


title: Trinity: A No-Code AI platform for complex spatial datasets

abstract: We present a no-code Artificial Intelligence (AI) platform called Trinity with the main design goal of enabling both machine learning researchers and non-technical geospatial domain experts to experiment with domain-specific signals and datasets for solving a variety of complex problems on their own. This versatility to solve diverse problems is achieved by transforming complex Spatio-temporal datasets to make them consumable by standard deep learning models, in this case, Convolutional Neural Networks (CNNs), and giving the ability to formulate disparate problems in a standard way, eg. semantic segmentation. With an intuitive user interface, a feature store that hosts derivatives of complex feature engineering, a deep learning kernel, and a scalable data processing mechanism, Trinity provides a powerful platform for domain experts to share the stage with scientists and engineers in solving business-critical problems. It enables quick prototyping, rapid experimentation and reduces the time to production by standardizing model building and deployment. In this paper, we present our motivation behind Trinity and its design along with showcasing sample applications to motivate the idea of lowering the bar to using AI.


title: Application-driven Design Exploration for Dense Ferroelectric Embedded Non-volatile Memories

abstract: The memory wall bottleneck is a key challenge across many data-intensive applications. Multi-level FeFET-based embedded non-volatile memories are a promising solution for denser and more energy-efficient on-chip memory. However, reliable multi-level cell storage requires careful optimizations to minimize the design overhead costs. In this work, we investigate the interplay between FeFET device characteristics, programming schemes, and memory array architecture, and explore different design choices to optimize performance, energy, area, and accuracy metrics for critical data-intensive workloads. From our cross-stack design exploration, we find that we can store DNN weights and social network graphs at a density of over 8MB/mm^2 and sub-2ns read access latency without loss in application accuracy.


title: An uncountable Mittag-Leffler condition with an application to ultrametric locally convex vector spaces

abstract: Mittag-Leffler condition ensures the exactness of the inverse limit of short exact sequences indexed on a partially ordered set $(I,\leq)$ admitting a $countable$ cofinal subset. We extend Mittag-Leffler condition by relatively relaxing the countability assumption. As an application we prove an ultrametric analogous of a result of V.P.Palamodov in relation with the acyclicity of Frechet spaces with respect to the completion functor.


title: Analysis and Tuning of a Voice Assistant System for Dysfluent Speech

abstract: Dysfluencies and variations in speech pronunciation can severely degrade speech recognition performance, and for many individuals with moderate-to-severe speech disorders, voice operated systems do not work. Current speech recognition systems are trained primarily with data from fluent speakers and as a consequence do not generalize well to speech with dysfluencies such as sound or word repetitions, sound prolongations, or audible blocks. The focus of this work is on quantitative analysis of a consumer speech recognition system on individuals who stutter and production-oriented approaches for improving performance for common voice assistant tasks (i.e., "what is the weather?"). At baseline, this system introduces a significant number of insertion and substitution errors resulting in intended speech Word Error Rates (isWER) that are 13.64\% worse (absolute) for individuals with fluency disorders. We show that by simply tuning the decoding parameters in an existing hybrid speech recognition system one can improve isWER by 24\% (relative) for individuals with fluency disorders. Tuning these parameters translates to 3.6\% better domain recognition and 1.7\% better intent recognition relative to the default setup for the 18 study participants across all stuttering severities.


title: Fingerprinting Image-to-Image Generative Adversarial Networks

abstract: Generative Adversarial Networks (GANs) have been widely used in various application scenarios. Since the production of a commercial GAN requires substantial computational and human resources, the copyright protection of GANs is urgently needed. This paper presents a novel fingerprinting scheme for the Intellectual Property (IP) protection of image-to-image GANs based on a trusted third party. We break through the stealthiness and robustness bottlenecks suffered by previous fingerprinting methods for classification models being naively transferred to GANs. Specifically, we innovatively construct a composite deep learning model from the target GAN and a classifier. Then we generate fingerprint samples from this composite model, and embed them in the classifier for effective ownership verification. This scheme inspires some concrete methodologies to practically protect the modern image-to-image translation GANs. Theoretical analysis proves that these methods can satisfy different security requirements necessary for IP protection. We also conduct extensive experiments to show that our solutions outperform existing strategies.


title: The $k\cdot p$ model: a short overview for beginners

abstract: Lecture-notes: introducing and discussing basic kp concepts related to bands interaction at an elementary level to beginners


title: Modeling of Personalized Privacy Disclosure Behavior: A Formal Method Approach

abstract: In order to create user-centric and personalized privacy management tools, the underlying models must account for individual users' privacy expectations, preferences, and their ability to control their information sharing activities. Existing studies of users' privacy behavior modeling attempt to frame the problem from a request's perspective, which lack the crucial involvement of the information owner, resulting in limited or no control of policy management. Moreover, very few of them take into the consideration the aspect of correctness, explainability, usability, and acceptance of the methodologies for each user of the system. In this paper, we present a methodology to formally model, validate, and verify personalized privacy disclosure behavior based on the analysis of the user's situational decision-making process. We use a model checking tool named UPPAAL to represent users' self-reported privacy disclosure behavior by an extended form of finite state automata (FSA), and perform reachability analysis for the verification of privacy properties through computation tree logic (CTL) formulas. We also describe the practical use cases of the methodology depicting the potential of formal technique towards the design and development of user-centric behavioral modeling. This paper, through extensive amounts of experimental outcomes, contributes several insights to the area of formal methods and user-tailored privacy behavior modeling.


title: Formation Control with Lane Preference for Connected and Automated Vehicles in Multi-lane Scenarios

abstract: Multi-lane roads are typical scenarios in the real-world traffic system. Vehicles usually have preference on lanes according to their routes and destinations. Few of the existing studies looks into the problem of controlling vehicles to drive on their desired lanes. This paper proposes a formation control method that considers vehicles' preference on different lanes. The bi-level formation control framework is utilized to plan collision-free motion for vehicles, where relative target assignment and path planning are performed in the upper level, and trajectory planning and tracking are performed in the lower level. The collision-free multi-vehicle path planning problem considering lane preference is decoupled into two sub problems: calculating assignment list with non-decreasing cost and planning collision-free paths according to given assignment result. The Conflict-based Searching (CBS) method is utilized to plan collision-free paths for vehicles based on given assignment results. Case study is conducted and simulations are carried out in a three-lane road scenario. The results indicate that the proposed formation control method significantly reduces congestion and improves traffic efficiency at high traffic volumes, compared to the rule-based method.


title: Non-Schwarzschild Primordial Black Holes as Dark Matter in Quadratic Gravity

abstract: One-loop renormalised quantum effective action for gravity contains quadratic in curvature terms. We have found an approximate analytic black hole solution in quadratic gravity by keeping only the radial spherically symmetric fluctuations and dimensionally reducing the 4-dimensional (4D) theory down to the 2-dimensional (2D) dilaton gravity with a potential. The solution reduces to the Schwarzschild black hole in the limit of Einstein's gravity, but otherwise admits non-negative Arnowitt-Deser-Misner (ADM) and positive quasi-local Misner-Sharp masses that can differ significantly. We then study the thermodynamics of such quantum corrected black holes and compute their lifetime under Hawking evaporation. We note that for some range of parameters, black holes increase in mass while emitting Hawking radiation. This pathological behaviour is related to the negative energy states that are present in quadratic gravity. We also find that the micro-lensing of non-Schwarzschild black holes could significantly deviate from the micro-lensing of their Schwarzschild counterparts. These findings have important ramifications for the phenomenology of primordial black holes (PBHs) as dark matter. In particular, the quoted constraints on PBH dark matter from micro-lensing data can be completely evaded, thus making PBHs in the mass range $\sim 10^{-12} - 10~M_{\odot}$ viable dark matter candidates.


title: Three-dimensional bipedal model with zero-energy-cost walking

abstract: We study a three-dimensional articulated rigid-body biped model that possesses zero cost of transport walking gaits. Energy losses are avoided due to the complete elimination of the foot-ground collisions by the concerted oscillatory motion of the model's parts. The model consists of two parts connected via a universal joint. It does not rely on any geometry altering mechanisms, massless parts or springs. Despite the model's simplicity, its collisionless gaits feature walking with finite speed, foot clearance and ground friction. The collisionless spectrum can be studied analytically in the small movement limit, revealing infinitely many periodic modes. The modes differ in the number of sagittal and coronal plane oscillations at different stages of the walking cycle. We focus on the mode with the minimal number of such oscillations, presenting its complete analytical solution. We then numerically evolve it toward a general non-small movement solution. A general collisionless mode can be tuned by adjusting a single model parameter. Some of the presented results display a surprising degree of generality and universality.


title: Spacing effect on pool boiling performance of three triangular pitched and vertically oriented tubes

abstract: There is a scarcity of available data on boiling process in vertically oriented tube bundles in accessible sources. Lack of systematic studies is limiting further expansion of this highly efficient process of heat transfer into heat recovery field. In this paper boiling process of three triangular pitched and vertically oriented tubes has been studied in ethanol at 78$^{\circ}$C. The main focus of this work was to study the effect of tube spacings on heat transfer coefficient (HTC) and bubbles behavior (bubble departure diameter in particular) that were visualised with the help of a high speed camera. Experiments were performed in a wide range of tube spacings (from 10.75 to 0.25 mm) and heat flux densities (from 3 to 70 kW/m$^2$). The obtained results show that, long spacings i.e., much longer than bubble departure diameter, have no influence on HTC as well as on bubbles behavior. On the contrary, the spacings on the order of the bubble departure diameter tend to create slug flow in the bundle, that is very beneficial for the heat exchange at low heat fluxes. Finally, narrow spacings that are much shorter than the bubble departure diameter have shown the potential to enhance the HTC in tube bundles with low length to diameter ratios.


title: Privacy Amplification via Iteration for Shuffled and Online PNSGD

abstract: In this paper, we consider the framework of privacy amplification via iteration, which is originally proposed by Feldman et al. and subsequently simplified by Asoodeh et al. in their analysis via the contraction coefficient. This line of work focuses on the study of the privacy guarantees obtained by the projected noisy stochastic gradient descent (PNSGD) algorithm with hidden intermediate updates. A limitation in the existing literature is that only the early stopped PNSGD has been studied, while no result has been proved on the more widely-used PNSGD applied on a shuffled dataset. Moreover, no scheme has been yet proposed regarding how to decrease the injected noise when new data are received in an online fashion. In this work, we first prove a privacy guarantee for shuffled PNSGD, which is investigated asymptotically when the noise is fixed for each sample size $n$ but reduced at a predetermined rate when $n$ increases, in order to achieve the convergence of privacy loss. We then analyze the online setting and provide a faster decaying scheme for the magnitude of the injected noise that also guarantees the convergence of privacy loss.


title: Novel, first-principles approach to deriving Electromagnetic field transformations under oblique Lorentz-Boosts and arbitrary Spatial Rotations

abstract: The standard classic special relativistic transformation of the electromagnetic (EM) field under proper Lorentz transformations is revisited. As to the pure Lorentz-boosts, popular treatments on EM transformation contemplate ideal geometries generating special static charge and steady current distributions and in conjunction, invoke parallel and perpendicular (to the boost-velocity) components of the fields so engendered; the outcomes subsequently being suitably generalized. We demonstrate ab initio, the EM field transformation under arbitrary oblique uniform relative boost velocities from a broader, rigorous yet remarkably lucid perspective, exploiting the antisymmetry of the EM-field tensor and symmetry of the general Lorentz-boost transformation preemptively eliminating the labor of performing complicated matrix multiplications. Gratifyingly, this instructive exercise manifestly encompasses time varying fields and yields the transformation relations in a coordinate-free form. Further, the EM field transformation under proper, instantaneous 3D rotations is demonstrated to transform as a passive rotation of the coordinate axes, where the electric and magnetic fields transform independently as purely electric and magnetic fields, respectively. The present didactical exercise, amenable to be incorporated in graduate courses on relativistic electrodynamics, should serve as an excellent illustration on how powerful symmetry arguments simplify the otherwise tedious calculations while endowing complete generality to the connections obtained.


title: Improving Ultrasound Tongue Image Reconstruction from Lip Images Using Self-supervised Learning and Attention Mechanism

abstract: Speech production is a dynamic procedure, which involved multi human organs including the tongue, jaw and lips. Modeling the dynamics of the vocal tract deformation is a fundamental problem to understand the speech, which is the most common way for human daily communication. Researchers employ several sensory streams to describe the process simultaneously, which are incontrovertibly statistically related to other streams. In this paper, we address the following question: given an observable image sequences of lips, can we picture the corresponding tongue motion. We formulated this problem as the self-supervised learning problem, and employ the two-stream convolutional network and long-short memory network for the learning task, with the attention mechanism. We evaluate the performance of the proposed method by leveraging the unlabeled lip videos to predict an upcoming ultrasound tongue image sequence. The results show that our model is able to generate images that close to the real ultrasound tongue images, and results in the matching between two imaging modalities.


title: SISA: Securing Images by Selective Alteration

abstract: With an increase in mobile and camera devices' popularity, digital content in the form of images has increased drastically. As personal life is being continuously documented in pictures, the risk of losing it to eavesdroppers is a matter of grave concern. Secondary storage is the most preferred medium for the storage of personal and other images. Our work is concerned with the security of such images. While encryption is the best way to ensure image security, full encryption and decryption is a computationally-intensive process. Moreover, as cameras are getting better every day, image quality, and thus, the pixel density has increased considerably. The increased pixel density makes encryption and decryption more expensive. We, therefore, delve into selective encryption and selective blurring based on the region of interest. Instead of encrypting or blurring the entire photograph, we only encode selected regions of the image. We present a comparative analysis of the partial and full encryption of the photos. This kind of encoding will help us lower the encryption overhead without compromising security. The applications utilizing this technique will become more usable due to the reduction in the decryption time. Additionally, blurred images being more readable than encrypted ones, allowed us to define the level of security. We leverage the machine learning algorithms like Mask-RCNN (Region-based convolutional neural network) and YOLO (You Only Look Once) to select the region of interest. These algorithms have set new benchmarks for object recognition. We develop an end to end system to demonstrate our idea of selective encryption.


title: New classes of exact interior nonvacuum solutions to the GR field equations for spacetimes sourced by a rigidly rotating stationary cylindrical anisotropic fluid

abstract: A double new class of solutions to the general relativity field equations describing interior spacetimes sourced by stationary cylindrical anisotropic fluids with principal stress directed along the symmetry axis is displayed. These solutions are required to satisfy regularity and junction conditions so that they can be possibly used to represent rotating astrophysical objects. Mathematical and physical properties are analyzed. The spacetime two independent parameters are physically interpreted, and they are shown to define two different solution classes together with stating the latters' properties.


abstract: In this survey paper we analyze the development of Fractional Calculus in Russia at the end of XIX century, in particular, the results by A.V.Letnikov, N.Ya.Sonine and P.A.Nekrasov. Some of the discussed results are either unknown or inaccessible.


title: A Survey on Serverless Computing

abstract: The Internet is responsible for accelerating growth in several fields such as digital media, healthcare, the military. Furthermore, the Internet was founded on the principle of allowing clients to communicating with servers. However, serverless computing is one such field that tries to break free from this paradigm. Event-driven compute services allow users to build more agile applications using capacity provisioning and a pay-for-value billing model. This paper provides a formal account of the research contributions in the field of Serverless computing.


title: The disc random packing problem: a disorder criterion and an explicit solution

abstract: Predicting the densest random disc packing fraction is an unsolved paradigm problem relevant to a number of disciplines and technologies. One difficulty is that it is ill-defined without setting a criterion for the disorder. Another is that the density depends on the packing protocol and the multitude of possible protocol parameters has so far hindered a general solution. A new approach is proposed here. After formulating a well-posed form of the general protocol-independent problem for planar packings of discs, a systematic criterion is proposed to avoid crystalline hexagonal order as well as further topological order. The highest possible random packing fraction is then derived exactly: $\phi_{RCP}=0.852525...$. The solution is based on the cell order distribution that is shown to: (i) yield directly the packing fraction; (ii) parameterise all possible packing protocols; (iii) make it possible to define and limit all topological disorder. The method is further useful for predicting the highest packing fraction in specific protocols, which is illustrated for a family of simply-sheared packings that generate maximum-entropy cell order distributions.

categories: cond-mat.stat-mech cond-mat.soft math-ph math.MP


title: The Cartesian method and Fermat's Last Theorem

abstract: Fermat's Last Theorem is proved by using the philosophical and mathematical knowledge of 1637 when the French mathematician Pierre de Fermat claimed to have a truly marvelous proof of his conjecture. Our approach consists of setting three variables of Fermat's equation as integers and then evaluating whether the remaining variable can be an integer as well. Pythagorean triples play a fundamental role in claiming that at least an irrational number is needed to satisfy Fermat's equation. As a result, we confirm that Fermat's Last Theorem is valid.


title: A Comprehensive Survey of Image-Based Food Recognition and Volume Estimation Methods for Dietary Assessment

abstract: Dietary studies showed that dietary-related problem such as obesity is associated with other chronic diseases like hypertension, irregular blood sugar levels, and increased risk of heart attacks. The primary cause of these problems is poor lifestyle choices and unhealthy dietary habits, which are manageable using interactive mHealth apps. However, traditional dietary monitoring systems using manual food logging suffer from imprecision, underreporting, time consumption, and low adherence. Recent dietary monitoring systems tackle these challenges by automatic assessment of dietary intake through machine learning methods. This survey discusses the most performing methodologies that have been developed so far for automatic food recognition and volume estimation. First, we will present the rationale of visual-based methods for food recognition. The core of the paper is the presentation, discussion and evaluation of these methods on popular food image databases. Following that, we discussed the mobile applications that are implementing these methods. The survey ends with a discussion of research gaps and open issues in this area.


title: Beyond the relaxation time approximation

abstract: The relaxation time approximation (RTA) is a well known method of describing the time evolution of a statistical ensemble by linking distributions of the variables of interest at different stages of their temporal evolution. We show that if all the distributions occurring in the RTA have the same functional form of a quasi-power Tsallis distribution the time evolution of which depends on the time evolution of its control parameter, nonextensivity $q(t)$, then it is more convenient to consider only the time evolution of this control parameter.


title: Kluv\'{a}nek-Lewis-Henstock integral in a Banach space

abstract: We investigate some properties and convergence theorem of Kluv\'{a}nek-Lewis-Henstock $\m-$integrability for $\m-$measurable functions that we introduced in \cite{ABH}. We give a $\m-$a.e. convergence version of Dominated (resp. Bounded) Convergence Theorem for $\m.$ We introduce Kluv\'{a}nek-Lewis-Henstock integrable of scalar-valued functions with respect to a set valued measure in a Banach space. Finally we introduce $(KL)-$type Dominated Convergence Theorem for the set-valued Kluv\'{a}nek-Lewis-Henstock integral.


title: Emphatic Algorithms for Deep Reinforcement Learning

abstract: Off-policy learning allows us to learn about possible policies of behavior from experience generated by a different behavior policy. Temporal difference (TD) learning algorithms can become unstable when combined with function approximation and off-policy sampling - this is known as the ''deadly triad''. Emphatic temporal difference (ETD($\lambda$)) algorithm ensures convergence in the linear case by appropriately weighting the TD($\lambda$) updates. In this paper, we extend the use of emphatic methods to deep reinforcement learning agents. We show that naively adapting ETD($\lambda$) to popular deep reinforcement learning algorithms, which use forward view multi-step returns, results in poor performance. We then derive new emphatic algorithms for use in the context of such algorithms, and we demonstrate that they provide noticeable benefits in small problems designed to highlight the instability of TD methods. Finally, we observed improved performance when applying these algorithms at scale on classic Atari games from the Arcade Learning Environment.


title: Exploring nine simultaneously occurring transients on April 12th 1950

abstract: Nine point sources appeared within half an hour on a region within $\sim$ 10 arcmin of a red-sensitive photographic plate taken in April 1950 as part of the historic Palomar Sky Survey. All nine sources are absent on both previous and later photographic images, and absent in modern surveys with CCD detectors which go several magnitudes deeper. We present deep CCD images with the 10.4-meter Gran Telescopio Canarias (GTC), reaching brightness $r \sim 26$ mag, that reveal possible optical counterparts, although these counterparts could equally well be just chance projections. The incidence of transients in the investigated photographic plate is far higher than expected from known detection rates of optical counterparts to e.g.\ flaring dwarf stars, Fast Radio Bursts (FRBs), Gamma Ray Bursts (GRBs) or microlensing events. One possible explanation is that the plates have been subjected to an unknown type of contamination producing mainly point sources with of varying intensities along with some mechanism of concentration within a radius of $\sim$ 10 arcmin on the plate. If contamination as an explanation can be fully excluded, another possibility is fast (t $<0.5$ s) solar reflections from objects near geosynchronous orbits. An alternative route to confirm the latter scenario is by looking for images from the First Palomar Sky Survey where multiple transients follow a line.

categories: astro-ph.IM astro-ph.EP astro-ph.HE physics.space-ph


title: A group-theoretical approach to Lehmer's totient problem

abstract: Lehmer's totient problem asks whether there exists any composite number $n$ such that $\varphi(n) \, \mid \, (n-1)$, where $\varphi$ is Euler totient function. It is known that if any such $n$ exists, it must be Carmichael and $n > 10^{30}$. In this paper, we develop a new approach to the problem via some recent results in group theory related to a function $\psi$ (the sum of order of elements of a group) and show that if $k \varphi(n) = n-1$ for some integer $k$, then $k$ must be $\geq 3$, and actually, if $5, 7, 11, 13 \not | n$, $k \geq 4$. This implies that any counterexample must be such that $n > 10^{8171}$ and $\omega(n) \geq 1991$.


title: Sharp decay rate for the damped wave equation with convex-shaped damping

abstract: We revisit the damped wave equation on two-dimensional torus where the damped region does not satisfy the geometric control condition. We show that if the damping vanishes as a H\"older function $|x|^{\beta}$, and in addition, the boundary of the damped region is strictly convex, the wave is stable at rate $t^{-1+\frac{2}{2\beta+7}}$, which is better than the known optimal decay rate $t^{-1+\frac{1}{\beta+3}}$ for strip-shaped dampings of the same H\"older regularity. Moreover, we show by example that the decay rate is optimal. This illustrates the fact that the energy decay rate depends not only on the order of vanishing of the damping, but also on the shape of the damped region. The main ingredient of the proof is the averaging method (normal form reduction) developed by Hitrick and Sj\"ostrand (\cite{Hi1}\cite{Sj}).


title: Towards Knowledge-Grounded Counter Narrative Generation for Hate Speech

abstract: Tackling online hatred using informed textual responses - called counter narratives - has been brought under the spotlight recently. Accordingly, a research line has emerged to automatically generate counter narratives in order to facilitate the direct intervention in the hate discussion and to prevent hate content from further spreading. Still, current neural approaches tend to produce generic/repetitive responses and lack grounded and up-to-date evidence such as facts, statistics, or examples. Moreover, these models can create plausible but not necessarily true arguments. In this paper we present the first complete knowledge-bound counter narrative generation pipeline, grounded in an external knowledge repository that can provide more informative content to fight online hatred. Together with our approach, we present a series of experiments that show its feasibility to produce suitable and informative counter narratives in in-domain and cross-domain settings.


title: The Interplay of Reconfigurable Intelligent Surfaces and Mobile Edge Computing in Future Wireless Networks: A Win-Win Strategy to 6G

abstract: Reconfigurable intelligent surface (RIS)-empowered communication is being considered as an enabling technology for sixth generation (6G) wireless networks. The key idea of RIS-assisted communication is to enhance the capacity, coverage, energy efficiency, physical layer security, and many other aspects of modern wireless networks. At the same time, mobile edge computing (MEC) has already shown its huge potential by extending the computation, communication, and caching capabilities of a standalone cloud server to the network edge. In this article, we first provide an overview of how MEC and RIS can benefit each other. We envision that the integration of MEC and RIS will bring an unprecedented transformation to the future evolution of wireless networks. We provide a system-level perspective on the MEC-aided RIS (and RIS-assisted MEC) that will evolve wireless network towards 6G. We also outline some of the fundamental challenges that pertain to the implementation of MEC-aided RIS (and RIS-assisted MEC) networks. Finally, the key research trends in the RIS-assisted MEC are discussed.


title: Inferring the nature of active neutrinos: Dirac or Majorana?

abstract: The nature of a neutrino, whether it is a Dirac type or Majorana type, may be comprehensively probed using their quantum statistical properties. If the neutrino is a Majorana fermion, then by definition it is identical and indistinguishable from the corresponding antineutrino. When a Majorana neutrino and antineutrino are pair produced, the corresponding state has to obey the Pauli principle unlike in the Dirac case. We use this property to distinguish between the two cases using the process $B^0 \to \mu^-\,\mu^+\,\nu_\mu\,\bar{\nu}_\mu$. We show that the two cases differ dramatically in a special kinematic scenario where, in the rest frame of the parent $B$ meson, the muons fly away back-to-back (i.e. fly with 3-momenta of equal magnitudes but opposite directions), and so do the neutrino and antineutrino. Unlike any other scenario, we know the energies and magnitudes of $3$-momenta of both the neutrino and the antineutrino in this back-to-back configuration without even directly measuring them. This provides a way of avoiding the constraint imposed by the `practical Dirac-Majorana confusion theorem', as one need not fully integrate over neutrino and antineutrino in this case. As a true signature of the universal principle of quantum statistics which does not depend on the size of the mass of the particle but its spin, the difference between Dirac and Majorana cases in this special kinematic configuration does survive independent of the neutrino mass as long as neutrino mass is nonzero. The analysis presented here is applicable immediately to several other processes with the same final state as in the case of $B^0$ decay without any major change.


title: Cohomology of Lie Superalgebras: Forms, Pseudoforms, and Integral Forms

abstract: We study the cohomology of Lie superalgebras for the full complex of forms: superforms, pseudoforms and integral forms. We use the technique of spectral sequences to abstractly compute the Chevalley-Eilenberg cohomology. We first focus on the superalgebra $\mathfrak{osp}(2|2)$ and show that there exist non-empty cohomology spaces among pseudoforms related to sub-superalgebras. We then extend some classical theorems by Koszul, as to include pseudoforms and integral forms. Further, we conjecture that the algebraic Poincar\'e duality extends to Lie superalgebras, as long as all the complexes of forms are taken into account and we prove that this holds true for $\mathfrak{osp}(2|2)$. We finally construct the cohomology representatives explicitly by using a distributional realisation of pseudoforms and integral forms. On one hand, these results show that the cohomology of Lie superalgebras is actually larger than expected, whereas one restricts to superforms only; on the other hand, we show the emergence of completely new cohomology classes represented by pseudoforms. These classes realise as integral form classes of sub-superstructures.


title: Automated matching of two-time X-ray photon correlation maps from protein dynamics with Cahn-Hilliard type simulations using autoencoder networks

abstract: We use machine learning methods for an automated classification of experimental XPCS two-time correlation functions from an arrested liquid-liquid phase separation of a protein solution. We couple simulations based on the Cahn-Hilliard equation with a glass transition scenario and classify the measured correlation maps automatically according to quench depth and critical concentration at a glass/gel transition. We introduce routines and methodologies using an autoencoder network and a differential evolution based algorithm for classification of the measured correlation functions. The here presented method is a first step towards handling large amounts of dynamic data measured at high brilliance synchrotron and X-ray free-electron laser sources facilitating fast comparison to phase field models of phase separation.


title: The Ring of Polyfunctions over $\mathbb Z/n\mathbb Z$

abstract: We study the ring of polyfunctions over $\mathbb Z/n\mathbb Z$. The ring of polyfunctions over a commutative ring $R$ with unit element is the ring of functions $f:R\to R$ which admit a polynomial representative $p\in R[x]$ in the sense that $f(x)= p(x)$ for all $x\in R$. This allows to define a ring invariant $s$ which associates to a commutative ring $R$ with unit element a value in $\mathbb N\cup\{\infty\}$. The function $s$ generalizes the number theoretic Smarandache function. For the ring $R=\mathbb Z/n\mathbb Z$ we provide a unique representation of polynomials which vanish as a function. This yields a new formula for the number $\Psi(n)$ of polyfunctions over $\mathbb Z/n\mathbb Z$. We also investigate algebraic properties of the ring of polyfunctions over $\mathbb Z/n\mathbb Z$. In particular, we identify the additive subgroup of the ring and the ring structure itself. Moreover we derive formulas for the size of the ring of polyfunctions in several variables over $\mathbb Z/n\mathbb Z$, and we compute the number of polyfunctions which are units of the ring.


title: Glance and Gaze: A Collaborative Learning Framework for Single-channel Speech Enhancement

abstract: The capability of the human to pay attention to both coarse and fine-grained regions has been applied to computer vision tasks. Motivated by that, we propose a collaborative learning framework in the complex domain for monaural noise suppression. The proposed system consists of two principal modules, namely spectral feature extraction module (FEM) and stacked glance-gaze modules (GGMs). In FEM, the UNet-block is introduced after each convolution layer, enabling the feature recalibration from multiple scales. In each GGM, we decompose the multi-target optimization in the complex spectrum into two sub-tasks. Specifically, the glance path aims to suppress the noise in the magnitude domain to obtain a coarse estimation, and meanwhile, the gaze path attempts to compensate for the lost spectral detail in the complex domain. The two paths work collaboratively and facilitate spectral estimation from complementary perspectives. Besides, by repeatedly unfolding the GGMs, the intermediate result can be iteratively refined across stages and lead to the ultimate estimation of the spectrum. The experiments are conducted on the WSJ0-SI84, DNS-Challenge dataset, and Voicebank+Demand dataset. Results show that the proposed approach achieves state-of-the-art performance over previous advanced systems on the WSJ0-SI84 and DNS-Challenge dataset, and meanwhile, competitive performance is achieved on the Voicebank+Demand corpus.


title: What do DVCS data tell us about TCS observables?

abstract: Deeply virtual Compton scattering (DVCS) and timelike Compton scattering (TCS) leading twist amplitudes are intimately related thanks to their analytic properties as a function of $Q^2$. We exploit this feature to use Compton form factors previously extracted from available DVCS data and derive data-driven predictions for TCS observables to be measured in near future experiments. Our results quantitatively illustrate the complementarity of DVCS and TCS experiments.


title: Exemplars-guided Empathetic Response Generation Controlled by the Elements of Human Communication

abstract: The majority of existing methods for empathetic response generation rely on the emotion of the context to generate empathetic responses. However, empathy is much more than generating responses with an appropriate emotion. It also often entails subtle expressions of understanding and personal resonance with the situation of the other interlocutor. Unfortunately, such qualities are difficult to quantify and the datasets lack the relevant annotations. To address this issue, in this paper we propose an approach that relies on exemplars to cue the generative model on fine stylistic properties that signal empathy to the interlocutor. To this end, we employ dense passage retrieval to extract relevant exemplary responses from the training set. Three elements of human communication -- emotional presence, interpretation, and exploration, and sentiment are additionally introduced using synthetic labels to guide the generation towards empathy. The human evaluation is also extended by these elements of human communication. We empirically show that these approaches yield significant improvements in empathetic response quality in terms of both automated and human-evaluated metrics. The implementation is available at https://github.com/declare-lab/exemplary-empathy.


title: Topological properties of Mo$_{2}$C and W$_{2}$C superconductors

abstract: The topological electronic properties of orthorhombic-phase Mo$_{2}$C and W$_{2}$C superconductors have been studied based on first-principles electronic structure calculations. Our studies show that both Mo$_{2}$C and W$_{2}$C are three-dimensional strong topological insulators defined on curved Fermi levels. The topological surface states on the (001) surface of Mo$_{2}$C right cross the Fermi level, while those of W$_{2}$C pass through the Fermi level with slight electron doping. These surface states hold helical spin textures and can be induced to become superconducting via a proximity effect, giving rise to an equivalent $p+ip$ type superconductivity. Our results show that Mo$_{2}$C and W$_{2}$C can provide a promising platform for exploring topological superconductivity and Majorana zero modes.


title: Identifying intercity freight trip ends of heavy trucks from GPS data

abstract: The intercity freight trips of heavy trucks are important data for transportation system planning and urban agglomeration management. In recent decades, the extraction of freight trips from GPS data has gradually become the main alternative to traditional surveys. Identifying the trip ends (origin and destination, OD) is the first task in trip extraction. In previous trip end identification methods, some key parameters, such as speed and time thresholds, have mostly been defined on the basis of empirical knowledge, which inevitably lacks universality. Here, we propose a data-driven trip end identification method. First, we define a speed threshold by analyzing the speed distribution of heavy trucks and identify all truck stops from raw GPS data. Second, we define minimum and maximum time thresholds by analyzing the distribution of the dwell times of heavy trucks at stop location and classify truck stops into three types based on these time thresholds. Third, we use highway network GIS data and freight-related points-of-interest (POIs) data to identify valid trip ends from among the three types of truck stops. In this step, we detect POI boundaries to determine whether a heavy truck is stopping at a freight-related location. We further analyze the spatiotemporal characteristics of intercity freight trips of heavy trucks and discuss their potential applications in practice.


title: Deep neural network Based Low-latency Speech Separation with Asymmetric analysis-Synthesis Window Pair

abstract: Time-frequency masking or spectrum prediction computed via short symmetric windows are commonly used in low-latency deep neural network (DNN) based source separation. In this paper, we propose the usage of an asymmetric analysis-synthesis window pair which allows for training with targets with better frequency resolution, while retaining the low-latency during inference suitable for real-time speech enhancement or assisted hearing applications. In order to assess our approach across various model types and datasets, we evaluate it with both speaker-independent deep clustering (DC) model and a speaker-dependent mask inference (MI) model. We report an improvement in separation performance of up to 1.5 dB in terms of source-to-distortion ratio (SDR) while maintaining an algorithmic latency of 8 ms.


title: DeepMesh: Differentiable Iso-Surface Extraction

abstract: Geometric Deep Learning has recently made striking progress with the advent of continuous deep implicit fields. They allow for detailed modeling of watertight surfaces of arbitrary topology while not relying on a 3D Euclidean grid, resulting in a learnable parameterization that is unlimited in resolution. Unfortunately, these methods are often unsuitable for applications that require an explicit mesh-based surface representation because converting an implicit field to such a representation relies on the Marching Cubes algorithm, which cannot be differentiated with respect to the underlying implicit field. In this work, we remove this limitation and introduce a differentiable way to produce explicit surface mesh representations from Deep Implicit Fields. Our key insight is that by reasoning on how implicit field perturbations impact local surface geometry, one can ultimately differentiate the 3D location of surface samples with respect to the underlying deep implicit field. We exploit this to define DeepMesh - an end-to-end differentiable mesh representation that can vary its topology. We validate our theoretical insight through several applications: Single view 3D Reconstruction via Differentiable Rendering, Physically-Driven Shape Optimization, Full Scene 3D Reconstruction from Scans and End-to-End Training. In all cases our end-to-end differentiable parameterization gives us an edge over state-of-the-art algorithms.


title: End-to-End Task-Oriented Dialog Modeling with Semi-Structured Knowledge Management

abstract: Current task-oriented dialog (TOD) systems mostly manage structured knowledge (e.g. databases and tables) to guide the goal-oriented conversations. However, they fall short of handling dialogs which also involve unstructured knowledge (e.g. reviews and documents). In this paper, we formulate a task of modeling TOD grounded on a fusion of structured and unstructured knowledge. To address this task, we propose a TOD system with semi-structured knowledge management, SeKnow, which extends the belief state to manage knowledge with both structured and unstructured contents. Furthermore, we introduce two implementations of SeKnow based on a non-pretrained sequence-to-sequence model and a pretrained language model, respectively. Both implementations use the end-to-end manner to jointly optimize dialog modeling grounded on structured and unstructured knowledge. We conduct experiments on a modified version of MultiWOZ 2.1 dataset, Mod-MultiWOZ 2.1, where dialogs are processed to involve semi-structured knowledge. Experimental results show that SeKnow has strong performances in both end-to-end dialog and intermediate knowledge management, compared to existing TOD systems and their extensions with pipeline knowledge management schemes.


title: Evaluation of a Region Proposal Architecture for Multi-task Document Layout Analysis

abstract: Automatically recognizing the layout of handwritten documents is an important step towards useful extraction of information from those documents. The most common application is to feed downstream applications such as automatic text recognition and keyword spotting; however, the recognition of the layout also helps to establish relationships between elements in the document which allows to enrich the information that can be extracted. Most of the modern document layout analysis systems are designed to address only one part of the document layout problem, namely: baseline detection or region segmentation. In contrast, we evaluate the effectiveness of the Mask-RCNN architecture to address the problem of baseline detection and region segmentation in an integrated manner. We present experimental results on two handwritten text datasets and one handwritten music dataset. The analyzed architecture yields promising results, outperforming state-of-the-art techniques in all three datasets.


title: The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions

abstract: A cyclic proof system is a proof system whose proof figure is a tree with cycles. The cut-elimination in a proof system is fundamental. It is conjectured that the cut-elimination in the cyclic proof system for first-order logic with inductive definitions does not hold. This paper shows that the conjecture is correct by giving a sequent not provable without the cut rule but provable in the cyclic proof system.


title: BUSCO update: novel and streamlined workflows along with broader and deeper phylogenetic coverage for scoring of eukaryotic, prokaryotic, and viral genomes

abstract: Methods for evaluating the quality of genomic and metagenomic data are essential to aid genome assembly and to correctly interpret the results of subsequent analyses. BUSCO estimates the completeness and redundancy of processed genomic data based on universal single-copy orthologs. Here we present new functionalities and major improvements of the BUSCO software, as well as the renewal and expansion of the underlying datasets in sync with the OrthoDB v10 release. Among the major novelties, BUSCO now enables phylogenetic placement of the input sequence to automatically select the most appropriate dataset for the assessment, allowing the analysis of metagenome-assembled genomes of unknown origin. A newly-introduced genome workflow increases the efficiency and runtimes especially on large eukaryotic genomes. BUSCO is the only tool capable of assessing both eukaryotic and prokaryotic species, and can be applied to various data types, from genome assemblies and metagenomic bins, to transcriptomes and gene sets.


title: Identification of interstellar amino acetonitrile in the hot molecular core G10.47+0.03: Possible glycine survey candidate for the future

abstract: Amino acids are the essential keys that contribute to the study of the formation of life. The simplest amino acid, glycine (NH$_{2}$CH$_{2}$COOH), has been searched for a long time in the interstellar medium, but all surveys of glycine have failed. Since the detection of glycine in the interstellar medium was extremely difficult, we aimed to search for the precursor of glycine. After detailed searches of the individual prebiotic molecular species, we successfully identified the emission lines of possible glycine precursor molecule amino acetonitrile (NH$_{2}$CH$_{2}$CN) towards the hot molecular core G10.47+0.03 using the Atacama Large Millimeter/Submillimeter Array. We estimated the statistical column density of amino acetonitrile was (9.10$\pm$0.7)$\times$10$^{15}$ cm$^{-2}$ with rotational temperature ($T_{rot}$) 122$\pm$8.8 K. The estimated fractional abundance of amino acetonitrile was 7.01$\times$10$^{-8}$. We found that the estimated fractional abundance of NH$_{2}$CH$_{2}$CN fairly agrees with the theoretical value predicted by the three-phase warm-up model from Garrod (2013).


title: Gravitational bending angle with finite distances by Casimir wormholes

abstract: In this paper, we investigate the gravitational bending angle due to the Casimir wormholes, which consider the Casimir energy as the source. Furthermore, some of these Casimir wormholes regard Generalized Uncertainty Principle (GUP) corrections of Casimir energy. We use the Ishihara method for the Jacobi metric, which allows us to study the bending angle of light and massive test particles for finite distances. Beyond the uncorrected Casimir source, we consider many GUP corrections, namely: the Kempf, Mangano and Mann (KMM) model, the Detournay, Gabriel and Spindel (DGS) model, and the so-called type II model for the GUP principle. We also find the deflection angle of light and massive particles in the case of the receiver and the source are far away from the lens. In this case, we also compute the optical scalars: convergence and shear for these Casimir wormholes as a gravitational weak lens.


title: Theory requirements for SM Higgs and EW precision physics at the FCC-ee

abstract: High precision experimental measurements of the properties of the Higgs boson at $\sim$ 125 GeV as well as electroweak precision observables such as the W -boson mass or the effective weak leptonic mixing angle are expected at future $e^+e^-$ colliders such as the FCC-ee. This high anticipated precision has to be matched with theory predictions for the measured quantities at the same level of accuracy. We briefly summarize the status of these predictions within the Standard Model (SM) and of the tools that are used for their determination. We outline how the theory predictions will have to be improved in order to reach the required accuracy, and also comment on the simulation frameworks for the Higgs and EW precision program.


title: Three-dimensional stochastic cubic nonlinear wave equation with almost space-time white noise

abstract: We study the stochastic cubic nonlinear wave equation (SNLW) with an additive noise on the three-dimensional torus $\mathbb{T}^3$. In particular, we prove local well-posedness of the (renormalized) SNLW when the noise is almost a space-time white noise. In recent years, the paracontrolled calculus has played a crucial role in the well-posedness study of singular SNLW on $\mathbb{T}^3$ by Gubinelli, Koch, and the first author (2018), Okamoto, Tolomeo, and the first author (2020), and Bringmann (2020). Our approach, however, does not rely on the paracontrolled calculus. We instead proceed with the second order expansion and study the resulting equation for the residual term, using multilinear dispersive smoothing.


title: Evo* 2021 -- Late-Breaking Abstracts Volume

abstract: Volume with the Late-Breaking Abstracts submitted to the Evo* 2021 Conference, held online from 7 to 9 of April 2021. These papers present ongoing research and preliminary results investigating on the application of different approaches of Bioinspired Methods (mainly Evolutionary Computation) to different problems, most of them real world ones.


title: Reconfigurable Intelligent Surface-Aided Wireless Power Transfer Systems: Analysis and Implementation

abstract: Reconfigurable intelligent surface (RIS) is a promising technology for RF wireless power transfer (WPT) as it is capable of beamforming and beam focusing without using active and power-hungry components. In this paper, we propose a multi-tile RIS beam scanning (MTBS) algorithm for powering up internet-of-things (IoT) devices. Considering the hardware limitations of the IoT devices, the proposed algorithm requires only power information to enable the beam focusing capability of the RIS. Specifically, we first divide the RIS into smaller RIS tiles. Then, all RIS tiles and the phased array transmitter are iteratively scanned and optimized to maximize the receive power. We elaborately analyze the proposed algorithm and build a simulator to verify it. Furthermore, we have built a real-life testbed of RIS-aided WPT systems to validate the algorithm. The experimental results show that the proposed MTBS algorithm can properly control the transmission phase of the transmitter and the reflection phase of the RIS to focus the power at the receiver. Consequently, after executing the algorithm, about 20 dB improvement of the receive power is achieved compared to the case that all unit cells of the RIS are in OFF state. By experiments, we confirm that the RIS with the MTBS algorithm can greatly enhance the power transfer efficiency.


title: On the two-dimensional singular stochastic viscous nonlinear wave equations

abstract: We study the stochastic viscous nonlinear wave equations (SvNLW) on $\mathbb T^2$, forced by a fractional derivative of the space-time white noise $\xi$. In particular, we consider SvNLW with the singular additive forcing $D^\frac{1}{2}\xi$ such that solutions are expected to be merely distributions. By introducing an appropriate renormalization, we prove local well-posedness of SvNLW. By establishing an energy bound via a Yudovich-type argument, we also prove global well-posedness of the defocusing cubic SvNLW. Lastly, in the defocusing case, we prove almost sure global well-posedness of SvNLW with respect to certain Gaussian random initial data.


title: Maximum-principle-satisfying discontinuous Galerkin methods for incompressible two-phase immiscible flow

abstract: This paper proposes a fully implicit numerical scheme for immiscible incompressible two-phase flow in porous media taking into account gravity, capillary effects, and heterogeneity. The objective is to develop a fully implicit stable discontinuous Galerkin (DG) solver for this system that is accurate, bound-preserving, and locally mass conservative. To achieve this, we augment our DG formulation with post-processing flux and slope limiters. The proposed framework is applied to several benchmark problems and the discrete solutions are shown to be accurate, to satisfy the maximum principle and local mass conservation.


title: Fully CMOS-compatible passive TiO2-based memristor crossbars for in-memory computing

abstract: Brain-inspired computing and neuromorphic hardware are promising approaches that offer great potential to overcome limitations faced by current computing paradigms based on traditional von-Neumann architecture. In this regard, interest in developing memristor crossbar arrays has increased due to their ability to natively perform in-memory computing and fundamental synaptic operations required for neural network implementation. For optimal efficiency, crossbar-based circuits need to be compatible with fabrication processes and materials of industrial CMOS technologies. Herein, we report a complete CMOS-compatible fabrication process of TiO2-based passive memristor crossbars with 700 nm wide electrodes. We show successful bottom electrode fabrication by a damascene process, resulting in an optimised topography and a surface roughness as low as 1.1 nm. DC sweeps and voltage pulse programming yield statistical results related to synaptic-like multilevel switching. Both cycle-to-cycle and device-to-device variability are investigated. Analogue programming of the conductance using sequences of 200 ns voltage pulses suggest that the fabricated memories have a multilevel capacity of at least 3 bits due to the cycle-to-cycle reproducibility.


title: A simple model for predicting the hurricane radius of maximum wind from outer size

abstract: The radius of maximum wind ($R_{max}$) in a hurricane governs the footprint of hazards, particularly damaging wind and rainfall. However, $R_{max}$ is noisy to observe directly and is poorly resolved in reanalyses and climate models. In contrast, outer wind radii are much less sensitive to such issues. Here we present a simple empirical model for predicting $R_{max}$ from the radius of 34-kt wind ($R_{17.5ms}$) that only requires as input quantities that are routinely estimated operationally: maximum wind speed, $R_{17.5ms}$, and latitude. The form of the empirical model takes advantage of our physical understanding of hurricane radial structure and is trained on the Extended Best Track database from the North Atlantic; results are similar for the TC-OBS database. The physics reduces the relationship between the two radii to a dependence on two physical parameters, while the observational data enables an optimal estimate of the quantitative dependence on those parameters. The model performs substantially better than existing operational methods for estimating $R_{max}$. The model reproduces the observed statistical increase in $R_{max}$ with latitude and demonstrates that this increase is driven by the increase in $R_{17.5ms}$ with latitude. Overall, the model offers a simple and fast first-order prediction of $R_{max}$ that can be used operationally and in risk models.


title: NuPlan: A closed-loop ML-based planning benchmark for autonomous vehicles

abstract: In this work, we propose the world's first closed-loop ML-based planning benchmark for autonomous driving. While there is a growing body of ML-based motion planners, the lack of established datasets and metrics has limited the progress in this area. Existing benchmarks for autonomous vehicle motion prediction have focused on short-term motion forecasting, rather than long-term planning. This has led previous works to use open-loop evaluation with L2-based metrics, which are not suitable for fairly evaluating long-term planning. Our benchmark overcomes these limitations by introducing a large-scale driving dataset, lightweight closed-loop simulator, and motion-planning-specific metrics. We provide a high-quality dataset with 1500h of human driving data from 4 cities across the US and Asia with widely varying traffic patterns (Boston, Pittsburgh, Las Vegas and Singapore). We will provide a closed-loop simulation framework with reactive agents and provide a large set of both general and scenario-specific planning metrics. We plan to release the dataset at NeurIPS 2021 and organize benchmark challenges starting in early 2022.


title: Weakly-Supervised Temporal Action Localization Through Local-Global Background Modeling

abstract: Weakly-Supervised Temporal Action Localization (WS-TAL) task aims to recognize and localize temporal starts and ends of action instances in an untrimmed video with only video-level label supervision. Due to lack of negative samples of background category, it is difficult for the network to separate foreground and background, resulting in poor detection performance. In this report, we present our 2021 HACS Challenge - Weakly-supervised Learning Track solution that based on BaSNet to address above problem. Specifically, we first adopt pre-trained CSN, Slowfast, TDN, and ViViT as feature extractors to get feature sequences. Then our proposed Local-Global Background Modeling Network (LGBM-Net) is trained to localize instances by using only video-level labels based on Multi-Instance Learning (MIL). Finally, we ensemble multiple models to get the final detection results and reach 22.45% mAP on the test set


title: Proposal Relation Network for Temporal Action Detection

abstract: This technical report presents our solution for temporal action detection task in AcitivityNet Challenge 2021. The purpose of this task is to locate and identify actions of interest in long untrimmed videos. The crucial challenge of the task comes from that the temporal duration of action varies dramatically, and the target actions are typically embedded in a background of irrelevant activities. Our solution builds on BMN, and mainly contains three steps: 1) action classification and feature encoding by Slowfast, CSN and ViViT; 2) proposal generation. We improve BMN by embedding the proposed Proposal Relation Network (PRN), by which we can generate proposals of high quality; 3) action detection. We calculate the detection results by assigning the proposals with corresponding classification results. Finally, we ensemble the results under different settings and achieve 44.7% on the test set, which improves the champion result in ActivityNet 2020 by 1.9% in terms of average mAP.


title: Enabling hyper-differential sensitivity analysis for ill-posed inverse problems

abstract: Inverse problems constrained by partial differential equations (PDEs) play a critical role in model development and calibration. In many applications, there are multiple uncertain parameters in a model that must be estimated. However, high dimensionality of the parameters and computational complexity of the PDE solves make such problems challenging. A common approach is to reduce the dimension by fixing some parameters (which we will call auxiliary parameters) to a best estimate and use techniques from PDE-constrained optimization to estimate the other parameters. In this article, hyper-differential sensitivity analysis (HDSA) is used to assess the sensitivity of the solution of the PDE-constrained optimization problem to changes in the auxiliary parameters. Foundational assumptions for HDSA require satisfaction of the optimality conditions which are not always practically feasible as a result of ill-posedness in the inverse problem. We introduce novel theoretical and computational approaches to justify and enable HDSA for ill-posed inverse problems by projecting the sensitivities on likelihood informed subspaces and defining a posteriori updates. Our proposed framework is demonstrated on a nonlinear multi-physics inverse problem motivated by estimation of spatially heterogenous material properties in the presence of spatially distributed parametric modeling uncertainties.


title: Enabling Long-Term Cooperation in Cross-Silo Federated Learning: A Repeated Game Perspective

abstract: Cross-silo federated learning (FL) is a distributed learning approach where clients of the same interest train a global model cooperatively while keeping their local data private. The success of a cross-silo FL process requires active participation of many clients. Clients in cross-silo FL aim to optimize their long-term benefits by selfishly choosing their participation levels. While there has been some work on incentivizing clients to join FL, the analysis of clients' long-term selfish participation behaviors in cross-silo FL remains largely unexplored. In this paper, we analyze the selfish participation behaviors of heterogeneous clients in cross-silo FL. Specifically, we model clients' long-term selfish participation behaviors as an infinitely repeated game. For the stage game SPFL, we derive the unique Nash equilibrium (NE), and propose a distributed algorithm for each client to calculate its equilibrium participation strategy. We show that at the NE, clients fall into at most three categories: (i) free riders, (ii) a unique partial contributor (if exists), and (iii) contributors. For the long-term interactions among clients, we derive a cooperative strategy for clients which minimizes the number of free riders while increasing the amount of local data for model training. We show that enforced by a punishment strategy, such a cooperative strategy is a subgame perfect Nash equilibrium (SPNE) of the infinitely repeated game, under which some clients who are free riders at the NE of the stage game choose to be (partial) contributors. We further propose an algorithm to calculate the optimal SPNE which minimizes the number of free riders while maximizing the amount of local data for model training. Simulation results show that our derived optimal SPNE can effectively reduce the number of free riders by up to 99.3% and increase the amount of local data for model training by up to 82.3%.


title: User Identification across Social Networking Sites using User Profiles and Posting Patterns

abstract: With the prevalence of online social networking sites (OSNs) and mobile devices, people are increasingly reliant on a variety of OSNs for keeping in touch with family and friends, and using it as a source of information. For example, a user might utilise multiple OSNs for different purposes, such as using Flickr to share holiday pictures with family and friends, and Twitter to post short messages about their thoughts. Identifying the same user across multiple OSNs is an important task as this allows us to understand the usage patterns of users among different OSNs, make recommendations when a user registers for a new OSN, and various other useful applications. To address this problem, we proposed an algorithm based on the multilayer perceptron using various types of features, namely: (i) user profile, such as name, location, description; (ii) temporal distribution of user generated content; and (iii) embedding based on user name, real name and description. Using a Twitter and Flickr dataset of users and their posting activities, we perform an empirical study on how these features affect the performance of user identification across the two OSNs and discuss our main findings based on the different features.


title: Gravitational waves from resonant amplification of curvature perturbations during inflation

abstract: Parametric resonance in a single-field inflationary model with a periodic structure on the potential gives rise to curvature perturbations with large amplitudes on small scales, which could result in observable primordial black holes (PBHs) and concomitant gravitational waves (GWs) induced by curvature perturbations in the radiation-dominated era. In such a model, GWs associated with the PBH formation were investigated in Ref. [1]. In this paper, we consider a stochastic GW background sourced by inflaton perturbations resonantly amplified during inflation. We compute the energy spectra of induced GWs produced both during inflation and in the radiation-dominated era, and find that the peak of the energy spectrum of the former is much higher than that of the latter, but is located at a lower frequency. Moreover, the energy spectrum of induced GWs produced during inflation exhibits a unique oscillating character in the ultraviolet region. Both the stochastic GW backgrounds are expected to be detected by future space-based laser interferometers.


title: On the motive of the nested Quot scheme of points on a curve

abstract: Let $C$ be a smooth curve over an algebraically closed field $\mathbf{k}$, and let $E$ be a locally free sheaf of rank $r$. We compute, for every $d>0$, the generating function of the motives $[\mathrm{Quot}_C(E,\boldsymbol{n} )] \in K_0(\mathrm{Var}_{\mathbf{k}})$, varying $\boldsymbol{n} = (0\leq n_1\leq\cdots\leq n_d)$, where $\mathrm{Quot}_C(E,\boldsymbol{n} )$ is the nested Quot scheme of points, parametrising $0$-dimensional subsequent quotients $E \twoheadrightarrow T_d \twoheadrightarrow \cdots \twoheadrightarrow T_1$ of fixed length $n_i = \chi(T_i)$. The resulting series, obtained by exploiting the Bialynicki-Birula decomposition, factors into a product of shifted motivic zeta functions of $C$. In particular, it is a rational function.


title: Linear Logic, the $\pi$-calculus, and their Metatheory: A Recipe for Proofs as Processes

abstract: Initiated by Abramsky [1994], the Proofs as Processes agenda is to establish a solid foundation for the study of concurrent languages, by researching the connection between linear logic and the $\pi$-calculus. To date, Proofs as Processes is still a partial success. Caires and Pfenning [2010] showed that linear propositions correspond to session types, which prescribe the observable behaviour of processes. Further, Carbone et al. [2018] demonstrated that adopting devices from hypersequents [Avron 1991] shapes proofs such that they correspond to the expected syntactic structure of processes in the $\pi$-calculus. What remains is reconstructing the expected metatheory of session types and the $\pi$-calculus. In particular, the hallmark of session types, session fidelity, still has to be reconstructed: a correspondence between the observable behaviours of processes and their session types, in terms of labelled transitions. In this article, we present $\pi$LL, a new process calculus rooted in linear logic. The key novelty of $\pi$LL is that it comes with a carefully formulated design recipe, based on a dialgebraic view of labelled transition systems. Thanks to our recipe, $\pi$LL offers the expected transition systems of session types, which we use to establish session fidelity. We use $\pi$LL to carry out the first thorough investigation of the metatheoretical properties enforced by linear logic on the observable behaviour of processes, uncovering connections with similarity and bisimilarity. We also prove that $\pi$LL and our recipe form a robust basis for the further exploration of Proofs as Processes, by considering different features: polymorphism, process mobility, and recursion.


title: High Performance Optimization at the Door of the Exascale

abstract: quest for processing speed potential. In fact, we always get a fraction of the technically available computing power (so-called {\em theoretical peak}), and the gap is likely to go hand-to-hand with the hardware complexity of the target system. Among the key aspects of this complexity, we have: the {\em heterogeneity} of the computing units, the {\em memory hierarchy and partitioning} including the non-uniform memory access (NUMA) configuration, and the {\em interconnect} for data exchanges among the computing nodes. Scientific investigations and cutting-edge technical activities should ideally scale-up with respect to sustained performance. The special case of quantitative approaches for solving (large-scale) problems deserves a special focus. Indeed, most of common real-life problems, even when considering the artificial intelligence paradigm, rely on optimization techniques for the main kernels of algorithmic solutions. Mathematical programming and pure combinatorial methods are not easy to implement efficiently on large-scale supercomputers because of {\em irregular control flow}, {\em complex memory access patterns}, {\em heterogeneous kernels}, {\em numerical issues}, to name a few. We describe and examine our thoughts from the standpoint of large-scale supercomputers.


title: The annual energy yield of mono- and bifacial silicon heterojunction solar modules with high-index dielectric nanodisk arrays as anti-reflective and light trapping structures

abstract: While various nanophotonic structures applicable to relatively thin crystalline silicon-based solar cells were proposed to ensure effective light in-coupling and light trapping in the absorber, it is of great importance to evaluate their performance on the solar module level under realistic irradiation conditions. Here, we analyze the annual energy yield of relatively thin heterojunction (HJT) solar module architectures when optimized anti-reflective and light trapping titanium dioxide (TiO$_2$) nanodisk square arrays are applied on the front and rear cell interfaces. Our numerical study shows that upon reducing crystalline silicon (c-Si) wafer thickness, the relative increase of the annual energy yield can go up to 11.0 %$_\text{rel}$ and 43.0 %$_\text{rel}$ for mono- and bifacial solar modules, respectively, when compared to the reference modules with flat optimized anti-reflective coatings of HJT solar cells.


title: Data Augmentation for Opcode Sequence Based Malware Detection

abstract: In this paper we study data augmentation for opcode sequence based Android malware detection. Data augmentation has been successfully used in many areas of deep-learning to significantly improve model performance. Typically, data augmentation simulates realistic variations in data to increase the apparent diversity of the training-set. However, for opcode-based malware analysis it is not immediately clear how to apply data augmentation. Hence we first study the use of fixed transformations, then progress to adaptive methods. We propose a novel data augmentation method -- Self-Embedding Language Model Augmentation -- that uses a malware detection network's own opcode embedding layer to measure opcode similarity for adaptive augmentation. To the best of our knowledge this is the first paper to carry out a systematic study of different augmentation methods for opcode sequence based Android malware classification.


title: Quantum Monte Carlo Investigation of the H-transfer Reaction of Criegee Intermediate CH3CHOO: A Benchmark Calculation

abstract: We perform the fixed-node diffuse Monte Carlo (FN DMC) calculations to determine the barrier height and reaction energy of a critical reaction, the H-transfer reaction from syn-CH3CHOO to vinyl hydroperoxide. The FN DMC barrier height is found to be 16.60+/-0.35 kcal/mol which agrees well with the experimental measurement within a few tenths of kcal, justifying the reliability of the FN DMC method for predicting barrier height of the rapid unimolecular reaction of Criegee intermediates. By comparing the predictions from the CCSD(t), G3 (MCG3), DFT and MP2 methods with respect to the FN DMC results and available experiment measurement, we found that the CCSD(t) barrier heights agree with the FN DMC counterpart within statistical errors, and is within a closer agreement with experiment and FN DMC prediction than the G3(MCG3) models. Barrier heights predicted from the relatively more economic DFT methods are within a few tenths kcal of the FN DMC prediction. MP2 method severely underestimates the barrier height. FN DMC prediction for the reaction energy is -17.25+/-0.31 kcal/mol, setting an upper limit for the reaction energies predicted by the post Hartree-Fock methods and a lower limit for the DFT reaction energies. We provide FN DMC input for clarifying the energetic uncertainties in the critical H-transfer reaction of syn-CH3CHOO. The quantitatively close agreements between the FN DMC barrier height and experimental measurement, and between the predictions from the FN DMC and G3 model for the reaction energy provide a theoretical basis for resolving the energy uncertainty in this reaction.


title: A Clustering-based Framework for Classifying Data Streams

abstract: The non-stationary nature of data streams strongly challenges traditional machine learning techniques. Although some solutions have been proposed to extend traditional machine learning techniques for handling data streams, these approaches either require an initial label set or rely on specialized design parameters. The overlap among classes and the labeling of data streams constitute other major challenges for classifying data streams. In this paper, we proposed a clustering-based data stream classification framework to handle non-stationary data streams without utilizing an initial label set. A density-based stream clustering procedure is used to capture novel concepts with a dynamic threshold and an effective active label querying strategy is introduced to continuously learn the new concepts from the data streams. The sub-cluster structure of each cluster is explored to handle the overlap among classes. Experimental results and quantitative comparison studies reveal that the proposed method provides statistically better or comparable performance than the existing methods.


title: Constructing 5-chromatic unit distance graphs embedded in the Euclidean plane and two-dimensional spheres

abstract: This paper is devoted to the development of algorithms for finding unit distance graphs with chromatic number greater than 4, embedded in a two-dimensional sphere or plane. Such graphs provide a lower bound for the Nelson-Hadwiger problem on the chromatic number of the plane and its generalizations to the case of the sphere. A series of 5-chromatic unit distance graphs on 64513 vertices embedded into the plane is constructed. Unlike previously known examples, these graphs do not contain the Moser spindle as a subgraph. The construction of 5-chromatic graphs embedded in a sphere at two values of the radius is given. Namely, the 5-chromatic unit distance graph on 372 vertices embedded into the circumsphere of an icosahedron with a unit edge length, and the 5-chromatic graph on 972 vertices embedded into the circumsphere of a great icosahedron are constructed.


title: Beyond 5G URLLC Evolution: New Service Modes and Practical Considerations

abstract: Ultra-reliable low latency communications (URLLC) arose to serve industrial IoT (IIoT) use cases within the 5G. Currently, it has inherent limitations to support future services. Based on state-of-the-art research and practical deployment experience, in this article, we introduce and advocate for three variants: broadband, scalable and extreme URLLC. We discuss use cases and key performance indicators and identify technology enablers for the new service modes. We bring practical considerations from the IIoT testbed and provide an outlook toward some new research directions.


title: Seeds of imperfection rule the mesocrystalline disorder in natural anhydrite single crystals

abstract: In recent years, we have come to appreciate the astounding intricacy of the formation process of minerals from ions in aqueous solutions. In this context, a number of studies have revealed that nucleation in the calcium sulfate system is non-classical, involving the aggregation and reorganization of nanosized prenucleation particles. In a recent work we have shown that this particle-mediated nucleation pathway is actually imprinted in the resultant single micron-sized CaSO4 crystals. This property of CaSO4 minerals provides us with an unique opportunity to search for evidence of non-classical nucleation pathways in geological environments. In particular, we focused on the quintessential single crystals of anhydrite extracted from the Naica mine in Mexico. We elucidated the growth history from this mineral sample by mapping growth defects at different length scales. Based on these data we argue that the nano-scale misalignment of the structural sub-units observed in the initial calcium sulfate crystal seed propagate through different length-scales both in morphological, as well as strictly crystallographic aspects, eventually causing the formation of large mesostructured single crystals of anhydrite. Hence, the nanoparticle mediated nucleation mechanism introduces a 'seed of imperfection', which leads to a macroscopic single crystal, in which its fragments do not fit together at different length-scales in a self-similar manner. Consequently, anisotropic voids of various sizes are formed with very well-defined walls/edges. But, at the same time the material retains its essential single crystal nature. These findings shed new light on the longstanding concept of crystal structure.