3D Two Hop Cellular Networks with Wireless Backhauled UAVs Modeling and Fundamentals. In this paper, we characterize the performance of a three dimensional (3D) two hop cellular network in which terrestrial base stations (BSs) coexist with unmanned aerial vehicles (UAVs) to serve a set of ground user equipment (UE). In particular, a UE connects either directly to its serving terrestrial BS by an access link or connects first to its serving UAV which is then wirelessly backhauled to a terrestrial BS (joint access and backhaul). We consider realistic antenna radiation patterns for both BSs and UAVs using practical models developed by the third generation partnership project (3GPP). We assume a probabilistic channel model for the air to ground transmission, which incorporates both line of sight (LoS) and non line of sight (NLoS) links. Assuming the max power association policy, we study the performance of the network in both amplify and forward (AF) and decode and forward (DF) relaying protocols. Using tools from stochastic geometry, we analyze the joint distribution of distance and zenith angle of the closest (and serving) UAV to the origin in a 3D setting. Further, we identify and extensively study key mathematical constructs as the building blocks of characterizing the received signal to interference plus noise ratio (SINR) distribution. Using these results, we obtain exact mathematical expressions for the coverage probability in both AF and DF relaying protocols. Furthermore, considering the fact that backhaul links could be quite weak because of the downtilted antennas at the BSs, we propose and analyze the addition of a directional uptilted antenna at the BS that is solely used for backhaul purposes. The superiority of having directional antennas with wirelessly backhauled UAVs is further demonstrated via simulation.


A SDN OpenFlow Framework for Dynamic Resource Allocation based on Bandwidth Allocation Model. The communication network context in actual systems like 5G, cloud and IoT (Internet of Things), presents an ever increasing number of users, applications, and services that are highly distributed with distinct and heterogeneous communications requirements. Resource allocation in this context requires dynamic, efficient, and customized solutions and Bandwidth Allocation Models (BAMs) are an alternative to support this new trend. This paper proposes the BAMSDN (Bandwidth Allocation Model through Software Defined Networking) framework that dynamically allocates resources (bandwidth) for a MPLS (MultiProtocol Label Switching) network using a SDN (Software Defined Networking) OpenFlow strategy with BAM. The framework adopts an innovative implementation approach for BAM systems by controlling the MPLS network using SDN with OpenFlow. Experimental results suggest that using SDN OpenFlow with BAM for bandwidth allocation does have effective advantages for MPLS networks requiring flexible resource sharing among applications and facilitates the migration path to a SDN OpenFlow network.


The Cheapest Ticket Problem in Public Transport. Route choice models in public transport have been discussed for a long time. The main factor why a passenger chooses a specific path is usually based on its length or travel time. However, also the ticket price that passengers have to pay may influence their decision since passengers prefer cheaper paths over more expensive ones. In this paper, we deal with the cheapest ticket problem which asks for a cheapest ticket to travel between a pair of stations. The complexity and the algorithmic approach to solve this problem depend crucially on the underlying fare structure, e.g., it is easy if the ticket prices are proportional to the distance traveled (as in distance tariff fare structures), but may become NP complete in zone tariff fare structures. We hence discuss the cheapest ticket problem for different variations of distance and zone based fare structures. We start by modeling the respective fare structure mathematically, identify its main properties, and finally provide a polynomial algorithm, or prove NP completeness of the cheapest ticket problem. We also provide general results on the combination of two fare structures, which is often observed in practice.


Stochastic processes with competing reinforcements. We introduce a simple but powerful technique to study processes driven by two or more reinforcement mechanisms in competition. We apply our method to two types of models to non conservative zero range processes on finite graphs, and to multi particle random walks with positive and negative reinforcement on the edges. The results hold for a broad class of reinforcement functions, including those with superlinear growth. Our technique consists in a comparison of the original processes with suitable reference models. To implement the comparison we estimate a Radon Nikodym derivative on a carefully chosen set of trajectories. Our results describe the almost surely long time behaviour of the processes. We also prove a phase transition depending on the strength of the reinforcement functions.


Closed loop targeted optogenetic stimulation of C. elegans populations. We present a high throughput optogenetic illumination system capable of simultaneous closed loop light delivery to specified targets in populations of moving Caenorhabditis elegans. The instrument addresses three technical challenges it delivers targeted illumination to specified regions of the animal's body such as its head or tail it automatically delivers stimuli triggered upon the animal's behavior and it achieves high throughput by targeting many animals simultaneously. The instrument was used to optogenetically probe the animal's behavioral response to competing mechanosensory stimuli in the the anterior and posterior soft touch receptor neurons. Responses to more than 10 4 stimulus events from a range of anterior posterior intensity combinations were measured. The animal's probability of sprinting forward in response to a mechanosensory stimulus depended on both the anterior and posterior stimulation intensity, while the probability of reversing depended primarily on the posterior stimulation intensity. We also probed the animal's response to mechanosensory stimulation during the onset of turning, a relatively rare behavioral event, by delivering stimuli automatically when the animal began to turn. Using this closed loop approach, over 10 3 stimulus events were delivered during turning onset at a rate of 9.2 events per worm hour, a greater than 25 fold increase in throughput compared to previous investigations. These measurements validate with greater statistical power previous findings that turning acts to gate mechanosensory evoked reversals. Compared to previous approaches, the current system offers targeted optogenetic stimulation to specific body regions or behaviors with many fold increases in throughput to better constrain quantitative models of sensorimotor processing.


Holistic Deep Learning. There is much interest in deep learning to solve challenges that arise in applying neural network models in real world environments. In particular, three areas have received considerable attention adversarial robustness, parameter sparsity, and output stability. Despite numerous attempts on solving these problems independently, there is very little work addressing the challenges simultaneously. In this paper, we address this problem of constructing holistic deep learning models by proposing a novel formulation that solves these issues in combination. Real world experiments on both tabular and MNIST dataset show that our formulation is able to simultaneously improve the accuracy, robustness, stability, and sparsity over traditional deep learning models among many others.


Supersingular conjectures for the Fricke group. A proof is given of several conjectures from a recent paper of Nakaya concerning the supersingular polynomial ss p (N ) (X) for the Fricke group Gamma 0 (N) , for N in 2, 3, 5, 7 . One of these conjectures gives a formula for the square of ss p (N ) (X) (mod p ) in terms of a certain resultant, and the other relates the primes p for which ss p (N ) (X) splits into linear factors (mod p ) to the orders of certain sporadic simple groups.


Handling Concurrency in Behavior Trees. This paper addresses the concurrency issues affecting Behavior Trees (BTs), a popular tool to model the behaviors of autonomous agents in the video game and the robotics industry. BT designers can easily build complex behaviors composing simpler ones, which represents a key advantage of BTs. The parallel composition of BTs expresses a way to combine concurrent behaviors that has high potential, since composing pre existing BTs in parallel results easier than composing in parallel classical control architectures, as finite state machines or teleo reactive programs. However, BT designers rarely use such composition due to the underlying concurrency problems similar to the ones faced in concurrent programming. As a result, the parallel composition, despite its potential, finds application only in the composition of simple behaviors or where the designer can guarantee the absence of conflicts by design. In this paper, we define two new BT nodes to tackle the concurrency problems in BTs and we show how to exploit them to create predictable behaviors. In addition, we introduce measures to assess execution performance and show how different design choices affect them. We validate our approach in both simulations and the real world. Simulated experiments provide statistically significant data, whereas real world experiments show the applicability of our method on real robots. We provided an open source implementation of the novel BT formulation and published all the source code to reproduce the numerical examples and experiments.


Vibration Based Condition Monitoring By Ensemble Deep Learning. Vibration based techniques are among the most common condition monitoring approaches. With the advancement of computers, these approaches have also been improved such that recently, these approaches in conjunction with deep learning methods attract attention among researchers. This is mostly due to the nature of the deep learning method that could facilitate the monitoring procedure by integrating the feature extraction, feature selection, and classification steps into one automated step. However, this can be achieved at the expense of challenges in designing the architecture of a deep learner, tuning its hyper parameters. Moreover, it sometimes gives low generalization capability. As a remedy to these problems, this study proposes a framework based on ensemble deep learning methodology. The framework was initiated by creating a pool of Convolutional neural networks (CNN). To create diversity to the CNNs, they are fed by frequency responses which are passed through different functions. As the next step, proper CNNs are selected based on an information criterion to be used for fusion. The fusion is then carried out by improved Dempster Shafer theory. The proposed framework is applied to real test data collected from Equiax Polycrystalline Nickel alloy first stage turbine blades with complex geometry.


A robust approach for deep neural networks in presence of label noise relabelling and filtering instances during training. Deep learning has outperformed other machine learning algorithms in a variety of tasks, and as a result, it has become more and more popular and used. However, as other machine learning algorithms, deep learning, and convolutional neural networks (CNNs) in particular, perform worse when the data sets present label noise. Therefore, it is important to develop algorithms that help the training of deep networks and their generalization to noise free test sets. In this paper, we propose a robust training strategy against label noise, called RAFNI, that can be used with any CNN. This algorithm filters and relabels instances of the training set based on the predictions and their probabilities made by the backbone neural network during the training process. That way, this algorithm improves the generalization ability of the CNN on its own. RAFNI consists of three mechanisms two mechanisms that filter instances and one mechanism that relabels instances. In addition, it does not suppose that the noise rate is known nor does it need to be estimated. We evaluated our algorithm using different data sets of several sizes and characteristics. We also compared it with state of the art models using the CIFAR10 and CIFAR100 benchmarks under different types and rates of label noise and found that RAFNI achieves better results in most cases.


Asymmetric edge coloring of graphs with simple automorphism group. The distinguishing index D'( Gamma) of a graph Gamma is the least number k such that Gamma has an edge coloring with k colors preserved only by the trivial automorphism. In this paper we prove that if the automorphism group of a finite graph Gamma is simple, then its distinguishing index D'( Gamma) 2 .


Towards agricultural autonomy crop row detection under varying field conditions using deep learning. This paper presents a novel metric to evaluate the robustness of deep learning based semantic segmentation approaches for crop row detection under different field conditions encountered by a field robot. A dataset with ten main categories encountered under various field conditions was used for testing. The effect on these conditions on the angular accuracy of crop row detection was compared. A deep convolutional encoder decoder network is implemented to predict crop row masks using RGB input images. The predicted mask is then sent to a post processing algorithm to extract the crop rows. The deep learning model was found to be robust against shadows and growth stages of the crop while the performance was reduced under direct sunlight, increasing weed density, tramlines and discontinuities in crop rows when evaluated with the novel metric.


One numerical obstruction for rational maps between hypersurfaces. Given a rational dominant map phi Y dashrightarrow X between two generic hypersurfaces Y,X subset mathbb P n of dimension ge 3 , we prove (under an addition assumption on phi ) a Noether Fano type'' inequality m Y ge m X for certain (effectively computed) numerical invariants of Y and X .


Neural Radiance Fields Approach to Deep Multi View Photometric Stereo. We present a modern solution to the multi view photometric stereo problem (MVPS). Our work suitably exploits the image formation model in a MVPS experimental setup to recover the dense 3D reconstruction of an object from images. We procure the surface orientation using a photometric stereo (PS) image formation model and blend it with a multi view neural radiance field representation to recover the object's surface geometry. Contrary to the previous multi staged framework to MVPS, where the position, iso depth contours, or orientation measurements are estimated independently and then fused later, our method is simple to implement and realize. Our method performs neural rendering of multi view images while utilizing surface normals estimated by a deep photometric stereo network. We render the MVPS images by considering the object's surface normals for each 3D sample point along the viewing direction rather than explicitly using the density gradient in the volume space via 3D occupancy information. We optimize the proposed neural radiance field representation for the MVPS setup efficiently using a fully connected deep network to recover the 3D geometry of an object. Extensive evaluation on the DiLiGenT MV benchmark dataset shows that our method performs better than the approaches that perform only PS or only multi view stereo (MVS) and provides comparable results against the state of the art multi stage fusion methods.


Dialogue oriented Pre training. Pre trained language models (PrLM) has been shown powerful in enhancing a broad range of downstream tasks including various dialogue related ones. However, PrLMs are usually trained on general plain text with common language model (LM) training objectives, which cannot sufficiently capture dialogue exclusive features due to the limitation of such training setting, so that there is an immediate need to fill the gap between a specific dialogue task and the LM task. As it is unlikely to collect huge dialogue data for dialogue oriented pre training, in this paper, we propose three strategies to simulate the conversation features on general plain text. Our proposed method differs from existing post training methods that it may yield a general purpose PrLM and does not individualize to any detailed task while keeping the capability of learning dialogue related features including speaker awareness, continuity and consistency. The resulted Dialog PrLM is fine tuned on three public multi turn dialogue datasets and helps achieve significant and consistent improvement over the plain PrLMs.


Well Begun is Half Done An Empirical Study of Exploitability Impact of Base Image Vulnerabilities. Container technology, (e.g., Docker) is being widely adopted for deploying software infrastructures or applications in the form of container images. Security vulnerabilities in the container images are a primary concern for developing containerized software. Exploitation of the vulnerabilities could result in disastrous impact, such as loss of confidentiality, integrity, and availability of containerized software. Understanding the exploitability and impact characteristics of vulnerabilities can help in securing the configuration of containerized software. However, there is a lack of research aimed at empirically identifying and understanding the exploitability and impact of vulnerabilities in container images. We carried out an empirical study to investigate the exploitability and impact of security vulnerabilities in base images and their prevalence in open source containerized software. We considered base images since container images are built from base images that provide all the core functionalities to build and operate containerized software. We discovered and characterized the exploitability and impact of security vulnerabilities in 261 base images, which are the origin of 4,681 actively maintained official container images in the largest container registry, i.e., Docker Hub. To characterize the prevalence of vulnerable base images in real world projects, we analysed 64,579 containerized software from GitHub. Our analysis of a set of 1,983 unique base image security vulnerabilities revealed 13 novel findings. These findings are expected to help developers to understand the potential security problems related to base images and encourage them to investigate base images from security perspective before developing their applications.


Organ specific Branching Morphogenesis. A common developmental process, called branching morphogenesis, generates the epithelial trees in a variety of organs, including the lungs, kidneys, and glands. How branching morphogenesis can create epithelial architectures of very different shapes and functions remains elusive. In this review, we compare branching morphogenesis and its regulation in lungs and kidneys and discuss the role of signaling pathways, the mesenchyme, the extracellular matrix, and the cytoskeleton as potential organ specific determinants of branch position, orientation, and shape. Identifying the determinants of branch and organ shape and their adaptation in different organs may reveal how a highly conserved developmental process can be adapted to different structural and functional frameworks and should provide important insights into epithelial morphogenesis and developmental disorders.


Characteristic polynomials and finitely dimensional representations of mathfrak sl (2, mathbb C ) . In this paper, we obtain a general formula for the characteristic polynomial of a finitely dimensional representation of Lie algebra mathfrak sl (2, C ) and the form for these characteristic polynomials, and prove there is one to one correspondence between representations and their characteristic polynomials. We define a product on these characteristic polynomials, endowing them with a monoid structure.


SLO beyond the Hardware Isolation Limits. Performance isolation is a keystone for SLO guarantees with shared resources in cloud and datacenter environments. To meet SLO requirements, the state of the art relies on hardware QoS support (e.g., Intel RDT) to allocate shared resources such as last level caches and memory bandwidth for co located latency critical applications. As a result, the number of latency critical applications that can be deployed on a physical machine is bounded by the hardware allocation capability. Unfortunately, such hardware capability is very limited. For example, Intel Xeon E5 v3 processors support at most four partitions for last level caches, i.e., at most four applications can have dedicated resource allocation. This paper discusses the feasibility and unexplored challenges of providing SLO guarantees beyond the limits of hardware capability. We present CoCo to show the feasibility and the benefits. CoCo schedules applications to time share interference free partitions as a transparent software layer. Our evaluation shows that CoCo outperforms non partitioned and round robin approaches by up to 9x and 1.2x.


Scene Understanding for Autonomous Driving. To detect and segment objects in images based on their content is one of the most active topics in the field of computer vision. Nowadays, this problem can be addressed using Deep Learning architectures such as Faster R CNN or YOLO, among others. In this paper, we study the behaviour of different configurations of RetinaNet, Faster R CNN and Mask R CNN presented in Detectron2. First, we evaluate qualitatively and quantitatively (AP) the performance of the pre trained models on KITTI MOTS and MOTSChallenge datasets. We observe a significant improvement in performance after fine tuning these models on the datasets of interest and optimizing hyperparameters. Finally, we run inference in unusual situations using out of context datasets, and present interesting results that help us understanding better the networks.


A Large Scale Benchmark for the Incompressible Navier Stokes Equations. We introduce a collection of benchmark problems in 2D and 3D (geometry description and boundary conditions), including simple cases with known analytic solution, classical experimental setups, and complex geometries with fabricated solutions for evaluation of numerical schemes for incompressible Navier Stokes equations in laminar flow regime. We compare the performance of a representative selection of most broadly used algorithms for Navier Stokes equations on this set of problems. Where applicable, we compare the most common spatial discretization choices (unstructured triangle tetrahedral meshes and structured or semi structured quadrilateral hexahedral meshes). The study shows that while the type of spatial discretization used has a minor impact on the accuracy of the solutions, the choice of time integration method, spatial discretization order, and the choice of solving the coupled equations or reducing them to simpler subproblems have very different properties. Methods that are directly solving the original equations tend to be more accurate than splitting approaches for the same number of degrees of freedom, but numerical or computational difficulty arise when they are scaled to larger problem sizes. Low order splitting methods are less accurate, but scale more easily to large problems, while higher order splitting methods are accurate but require dense time discretizations to be stable. We release the description of the experiments and an implementation of our benchmark, which we believe will enable statistically significant comparisons with the state of the art as new approaches for solving the incompressible Navier Stokes equations are introduced.


Sentiment Classification in Swahili Language Using Multilingual BERT. The evolution of the Internet has increased the amount of information that is expressed by people on different platforms. This information can be product reviews, discussions on forums, or social media platforms. Accessibility of these opinions and peoples feelings open the door to opinion mining and sentiment analysis. As language and speech technologies become more advanced, many languages have been used and the best models have been obtained. However, due to linguistic diversity and lack of datasets, African languages have been left behind. In this study, by using the current state of the art model, multilingual BERT, we perform sentiment classification on Swahili datasets. The data was created by extracting and annotating 8.2k reviews and comments on different social media platforms and the ISEAR emotion dataset. The data were classified as either positive or negative. The model was fine tuned and achieve the best accuracy of 87.59 .


About posets for which no lower cover or no upper cover has the fixed point property. For a finite non empty set X , let mathfrak P (X) denote the set of all posets with carrier X , ordered by inclusion of their partial order relations. We investigate properties of posets P in mathfrak P (X) for which no lower cover or no upper cover in mathfrak P (X) has the fixed point property. We derive two conditions, one of them sufficient for that no lower cover of P has the fixed point property, the other one sufficient for that no upper cover of P has the fixed point property, and we apply these results on several types of posets.


Robust equilibrium strategies in a defined benefit pension plan game. This paper investigates the robust non zero sum games in an aggregated overfunded defined benefit (abbr. DB) pension plan. The sponsoring firm is concerned with the investment performance of the fund surplus while the participants act as a union to claim a share of the fund surplus. The financial market consists of one risk free asset and n risky assets. The firm and the union both are ambiguous about the financial market and care about the robust strategies under the worst case scenario. The union's objective is to maximize the expected discounted utility of the additional benefits, the firm's two different objectives are to maximizing the expected discounted utility of the fund surplus and the probability of the fund surplus reaching an upper level before hitting a lower level in the worst case scenario. We formulate the related two robust non zero sum games for the firm and the union. Explicit forms and optimality of the solutions are shown by stochastic dynamic programming method. In the end of this paper, numerical results are illustrated to depict the economic behaviours of the robust equilibrium strategies in these two different games.


Versal dg deformation of Calabi Yau manifolds. We prove the equivalence of the deformation theory for a higher dimensional Calabi Yau manifold and that for its dg category of perfect complexes by giving a natural isomorphism of the deformation functors. As a consequence, the dg category of perfect complexes on a versal deformation of the original manifold provides a versal dg deformation of its dg category of perfect complexes. Besides the classical uniqueness up to 'etale neiborhood of the base, we prove another sort of uniqueness of versal dg deformations. Namely, given a pair of derived equivalent higher dimensional Calabi Yau manifolds, the dg categories of perfect complexes of their algebraic deformations over a common base, which always exist, become quasi equivalent close to effectivizations. Then the base change along the corresponding first order approximation yields quasi equivalent versal dg deformations. We introduce the generic fiber of the versal dg deformation as a Drinfeld quotient, which is quasi equivalent to the dg category of perfect complexes on the generic fiber of the versal deformation.


On the Symbol Length of Fields with finite Square Class Number. For a quadratic form varphi in I nF for some n in mathbb N over a field of characteristic not 2, we present several combinatorial approaches to bound the minimal number of Pfister forms pi 1, ldots, pi k with varphi equiv pi 1 ldots pi k mod I n 1 F . We compare these bounds in several cases and rediscover in a special case a result first published by Bruno Kahn.


Consistent Training and Decoding For End to end Speech Recognition Using Lattice free MMI. Recently, End to End (E2E) frameworks have achieved remarkable results on various Automatic Speech Recognition (ASR) tasks. However, Lattice Free Maximum Mutual Information (LF MMI), as one of the discriminative training criteria that show superior performance in hybrid ASR systems, is rarely adopted in E2E ASR frameworks. In this work, we propose a novel approach to integrate LF MMI criterion into E2E ASR frameworks in both training and decoding stages. The proposed approach shows its effectiveness on two of the most widely used E2E frameworks including Attention Based Encoder Decoders (AEDs) and Neural Transducers (NTs). Experiments suggest that the introduction of the LF MMI criterion consistently leads to significant performance improvements on various datasets and different E2E ASR frameworks. The best of our models achieves competitive CER of 4.1 4.4 on Aishell 1 dev test set we also achieve significant error reduction on Aishell 2 and Librispeech datasets over strong baselines.


Numerical Simulation of Noise in Pulsed Brillouin Scattering. We present a numerical method for modelling noise in Stimulated Brillouin Scattering (SBS). The model applies to dynamic cases such as optical pulses, and accounts for both thermal noise and phase noise from the input lasers. Using this model, we compute the statistical properties of the optical and acoustic power in the pulsed spontaneous and stimulated Brillouin cases, and investigate the effects of gain and pulse width on noise levels. We find that thermal noise plays an important role in the statistical properties of the fields, and that laser phase noise impacts the SBS interaction when the laser coherence time is close to the time scale of the optical pulses. This algorithm is applicable to arbitrary waveguide geometries and material properties, and thus presents a versatile way of performing noise based SBS numerical simulations, which are important in signal processing, sensing, microwave photonics and opto acoustic memory storage.


Hard label Manifolds Unexpected Advantages of Query Efficiency for Finding On manifold Adversarial Examples. Designing deep networks robust to adversarial examples remains an open problem. Likewise, recent zeroth order hard label attacks on image classification models have shown comparable performance to their first order, gradient level alternatives. It was recently shown in the gradient level setting that regular adversarial examples leave the data manifold, while their on manifold counterparts are in fact generalization errors. In this paper, we argue that query efficiency in the zeroth order setting is connected to an adversary's traversal through the data manifold. To explain this behavior, we propose an information theoretic argument based on a noisy manifold distance oracle, which leaks manifold information through the adversary's gradient estimate. Through numerical experiments of manifold gradient mutual information, we show this behavior acts as a function of the effective problem dimensionality and number of training points. On real world datasets and multiple zeroth order attacks using dimension reduction, we observe the same universal behavior to produce samples closer to the data manifold. This results in up to two fold decrease in the manifold distance measure, regardless of the model robustness. Our results suggest that taking the manifold gradient mutual information into account can thus inform better robust model design in the future, and avoid leakage of the sensitive data manifold.


Topology optimization for acoustic structures considering viscous and thermal boundary layers using a sequential linearized Navier Stokes model. This study proposes a level set based topology optimization method for designing acoustic structures with viscous and thermal boundary layers in perspective. Acoustic waves propagating in a narrow channel are damped by viscous and thermal boundary layers. To estimate these viscothermal effects, we first introduce a sequential linearized Navier Stokes model based on three weakly coupled Helmholtz equations for viscous, thermal, and acoustic pressure fields. Then, the optimization problem is formulated, where a sound absorbing structure comprising air and an isothermal rigid medium is targeted, and its sound absorption coefficient is set as an objective function. The adjoint variable method and the concept of the topological derivative are used to approximately obtain design sensitivity. A level set based topology optimization method is used to solve the optimization problem. Two dimensional numerical examples are provided to support the validity of the proposed method. Moreover, the mechanisms that lead to the high absorption coefficient of the optimized design are discussed.


The fundamental period of a periodic phenomenon pertaining to v palindromes. Natural numbers satisfying a certain unusual property are defined by the author in a previous note. Later, the author called such numbers v palindromic numbers and proved a periodic phenomenon pertaining to such numbers and repeated concatenations of the digits of a number. It was left as a problem of further investigation to find the smallest period. In this paper, we provide a method to find the smallest period. Some theorems from signal processing are used, but we also supply our own proofs.


Continual learning of longitudinal health records. Continual learning denotes machine learning methods which can adapt to new environments while retaining and reusing knowledge gained from past experiences. Such methods address two issues encountered by models in non stationary environments ungeneralisability to new data, and the catastrophic forgetting of previous knowledge when retrained. This is a pervasive problem in clinical settings where patient data exhibits covariate shift not only between populations, but also continuously over time. However, while continual learning methods have seen nascent success in the imaging domain, they have been little applied to the multi variate sequential data characteristic of critical care patient recordings. Here we evaluate a variety of continual learning methods on longitudinal ICU data in a series of representative healthcare scenarios. We find that while several methods mitigate short term forgetting, domain shift remains a challenging problem over large series of tasks, with only replay based methods achieving stable long term performance. Code for reproducing all experiments can be found at https github.com iacobo continual


Benchmark dataset of memes with text transcriptions for automatic detection of multi modal misogynistic content. In this paper we present a benchmark dataset generated as part of a project for automatic identification of misogyny within online content, which focuses in particular on memes. The benchmark here described is composed of 800 memes collected from the most popular social media platforms, such as Facebook, Twitter, Instagram and Reddit, and consulting websites dedicated to collection and creation of memes. To gather misogynistic memes, specific keywords that refer to misogynistic content have been considered as search criterion, considering different manifestations of hatred against women, such as body shaming, stereotyping, objectification and violence. In parallel, memes with no misogynist content have been manually downloaded from the same web sources. Among all the collected memes, three domain experts have selected a dataset of 800 memes equally balanced between misogynistic and non misogynistic ones. This dataset has been validated through a crowdsourcing platform, involving 60 subjects for the labelling process, in order to collect three evaluations for each instance. Two further binary labels have been collected from both the experts and the crowdsourcing platform, for memes evaluated as misogynistic, concerning aggressiveness and irony. Finally for each meme, the text has been manually transcribed. The dataset provided is thus composed of the 800 memes, the labels given by the experts and those obtained by the crowdsourcing validation, and the transcribed texts. This data can be used to approach the problem of automatic detection of misogynistic content on the Web relying on both textual and visual cues, facing phenomenons that are growing every day such as cybersexism and technology facilitated violence.


Towards a Rigorous Evaluation of Explainability for Multivariate Time Series. Machine learning based systems are rapidly gaining popularity and in line with that there has been a huge research surge in the field of explainability to ensure that machine learning models are reliable, fair, and can be held liable for their decision making process. Explainable Artificial Intelligence (XAI) methods are typically deployed to debug black box machine learning models but in comparison to tabular, text, and image data, explainability in time series is still relatively unexplored. The aim of this study was to achieve and evaluate model agnostic explainability in a time series forecasting problem. This work focused on proving a solution for a digital consultancy company aiming to find a data driven approach in order to understand the effect of their sales related activities on the sales deals closed. The solution involved framing the problem as a time series forecasting problem to predict the sales deals and the explainability was achieved using two novel model agnostic explainability techniques, Local explainable model agnostic explanations (LIME) and Shapley additive explanations (SHAP) which were evaluated using human evaluation of explainability. The results clearly indicate that the explanations produced by LIME and SHAP greatly helped lay humans in understanding the predictions made by the machine learning model. The presented work can easily be extended to any time


Unbiased Deterministic Total Ordering of Parallel Simulations with Simultaneous Events. In the area of discrete event simulation (DES), event simultaneity occurs when any two events are scheduled to happen at the same point in simulated time. Simulation determinism is the expectation that the same semantically configured simulation will be guaranteed to repeatedly reproduce identical results. Since events in DES are the sole mechanism for state change, ensuring consistent real time event processing order is crucial to maintaining determinism. This is synonymous with finding a consistent total ordering of events. In this work, we extend the concept of virtual time to utilize an arbitrary length series of tie breaking values to preserve determinism in parallel, optimistically executed simulations without imposing additional bias influencing the ordering of otherwise incomparable events. Furthermore, by changing the core pseudo random number generator seed at initialization, different orderings of events incomparable by standard virtual time can be observed, allowing for fair probing of other potential simulation outcomes. We implement and evaluate this extended definition of virtual time in the Rensselaer Optimistic Simulation System (ROSS) with three simulation models and discuss the importance of deterministic event ordering given the existence of event ties.


Correcting public opinion trends through Bayesian data assimilation. Measuring public opinion is a key focus during democratic elections, enabling candidates to gauge their popularity and alter their campaign strategies accordingly. Traditional survey polling remains the most popular estimation technique, despite its cost and time intensity, measurement errors, lack of real time capabilities and lagged representation of public opinion. In recent years, Twitter opinion mining has attempted to combat these issues. Despite achieving promising results, it experiences its own set of shortcomings such as an unrepresentative sample population and a lack of long term stability. This paper aims to merge data from both these techniques using Bayesian data assimilation to arrive at a more accurate estimate of true public opinion for the Brexit referendum. This paper demonstrates the effectiveness of the proposed approach using Twitter opinion data and survey data from trusted pollsters. Firstly, the possible existence of a time gap of 16 days between the two data sets is identified. This gap is subsequently incorporated into a proposed assimilation architecture. This method was found to adequately incorporate information from both sources and measure a strong upward trend in Leave support leading up to the Brexit referendum. The proposed technique provides useful estimates of true opinion, which is essential to future opinion measurement and forecasting research.


Mathematical Modeling of Chemotaxis Guided Amoeboid Cell Swimming. Cells and microorganisms adopt various strategies to migrate in response to different environmental stimuli. To date, many modeling research has focused on the crawling based Dictyostelium discoideum (Dd) cells migration induced by chemotaxis, yet recent experimental results reveal that even without adhesion or contact to a substrate, Dd cells can still swim to follow chemoattractant signals. In this paper, we develop a modeling framework to investigate the chemotaxis induced amoeboid cell swimming dynamics. A minimal swimming system consists of one deformable Dd amoeboid cell and a dilute suspension of bacteria, and the bacteria produce chemoattractant signals that attract the Dd cell. We use the mathematical amoeba model to generate Dd cell deformation and solve the resulting low Reynolds number flows, and use a moving mesh based finite volume method to solve the reaction diffusion convection equation. Using the computational model, we show that chemotaxis guides a swimming Dd cell to follow and catch bacteria, while on the other hand, bacterial rheotaxis may help the bacteria to escape from the predator Dd cell.


Dyadic Green's function for the graphene dielectric stack with arbitrary field and source points. In this paper, dyadic Green's function for a graphene dielectric stack is formulated based on the scattering superposition method. To this end, scattering Green's function in each layer is expanded in terms of cylindrical vector wave functions with unknown coefficients. Using the Kronecker delta function in the field expansion, it is considered that the field and source points lie in the arbitrary layers. Afterward, recurrence relations for calculating the unknown expansion coefficients are derived by applying the impedance boundary conditions at the interface of a graphene sheet surrounded by two adjacent dielectric layers. The verification of the calculated coefficients is conducted by utilizing them in the analysis of graphene based structures with different numbers of layers, including 1) free standing frequency selective surfaces (FSSs) and 2) parallel plates (PPs) with graphene walls. A potential application of our proposed structure is investigating the interaction of donor acceptor pairs resided in the arbitrary layers of the graphene dielectric stack with a desired number of layers.


Slice conformality Riemann manifolds and logarithm on quaternions and octonions. We establish the quaternionic and octonionic analogs of the classical Riemann surfaces of the complex logarithm and n th root function, and give a unifying definition of such functions in the quaternionic and octonionic settings. The construction of these manifolds has nice peculiarities and the scrutiny of Bernhard Riemann approach to Riemann surfaces, mainly based on conformality, leads to the definition of slice conformal or slice isothermal parameterization of a Riemann 4 manifold and 8 manifold. These new classes of manifolds include slice regular quaternionic and octonionic curves, graphs of slice regular functions, the 4 and 8 dimensional spheres, the helicoidal and catenoidal 4 and 8 dimensional manifolds.


Probabilistic Placement Optimization for Non coherent and Coherent Joint Transmission in Cache Enabled Cellular Networks. How to design proper content placement strategies is one of the major areas of interest in cache enabled cellular networks. In this paper, we study the probabilistic content placement optimization of base station (BS) caching with cooperative transmission in the downlink of cellular networks. With placement probability vector being the design parameter, non coherent joint transmission (NC JT) and coherent joint transmission (C JT) schemes are investigated according to whether channel state information (CSI) is available. Using stochastic geometry, we derive an integral expression for the successful transmission probability (STP) in NC JT scheme, and present an upper bound and a tight approximation for the STP of the C JT scheme. Next, we maximize the STP in NC JT and the approximation of STP in C JT by optimizing the placement probability vector, respectively. An algorithm is proposed and applied to both optimization problems. By utilizing some properties of the STP, we obtain globally optimal solutions in certain cases. Moreover, locally optimal solutions in general cases are obtained by using the interior point method. Finally, numerical results show the optimized placement strategy achieves significant gains in STP over several comparative baselines both in NC JT and C JT. The optimal STP in C JT outperforms the one in NC JT, indicating the benefits of knowing CSI in cooperative transmission.


Slapping Cats, Bopping Heads, and Oreo Shakes Understanding Indicators of Virality in TikTok Short Videos. Short videos have become one of the leading media used by younger generations to express themselves online and thus a driving force in shaping online culture. In this context, TikTok has emerged as a platform where viral videos are often posted first. In this paper, we study what elements of short videos posted on TikTok contribute to their virality. We apply a mixed method approach to develop a codebook and identify important virality features. We do so vis a vis three research hypotheses namely, that 1) the video content, 2) TikTok's recommendation algorithm, and 3) the popularity of the video creator contribute to virality. We collect and label a dataset of 400 TikTok videos and train classifiers to help us identify the features that influence virality the most. While the number of followers is the most powerful predictor, close up and medium shot scales also play an essential role. So does the lifespan of the video, the presence of text, and the point of view. Our research highlights the characteristics that distinguish viral from non viral TikTok videos, laying the groundwork for developing additional approaches to create more engaging online content and proactively identify possibly risky content that is likely to reach a large audience.


Adaptive Image Transformations for Transfer based Adversarial Attack. Adversarial attacks provide a good way to study the robustness of deep learning models. One category of methods in transfer based black box attack utilizes several image transformation operations to improve the transferability of adversarial examples, which is effective, but fails to take the specific characteristic of the input image into consideration. In this work, we propose a novel architecture, called Adaptive Image Transformation Learner (AITL), which incorporates different image transformation operations into a unified framework to further improve the transferability of adversarial examples. Unlike the fixed combinational transformations used in existing works, our elaborately designed transformation learner adaptively selects the most effective combination of image transformations specific to the input image. Extensive experiments on ImageNet demonstrate that our method significantly improves the attack success rates on both normally trained models and defense models under various settings.


Visualization a vital decision driving tool for enterprises. This report documents the results found through surveys and interviews on how visualizations help the employees in their workspace. The objectives of this study were to get in depth knowledge on what prepares an employee to have the right skill set in constructing an informative visualization as well as the tools and techniques that they use on their daily basis for analysis and visualization purposes. Using the results gathered, we sorted the information in many different ways for analysis and came to conclusions ranging from corporation based strategies to individualized employee and position preferences.


Zeros of a Two parameter Family of Harmonic Quadrinomials. In this paper, we determine the numb er of zeros and the zero inclusion regions of a two parameter family of harmonic quadrinomials. We also determine a curve that separates sense preserving and sense reversing regions for these families of quadrinomials. Our work makes practical and effective use of the work of Wilmshurst, Khavinson, Dehmer, and also Bezouts theorem in the plane.


Regularity estimates for the p Sobolev flow. We study doubly nonlinear parabolic equation arising from the gradient flow for p Sobolev type inequality, referred as p Sobolev flow from now on, which includes the classical Yamabe flow on a bounded domain in Euclidean space in the special case p 2. In this article we establish a priori estimates and regularity results for the p Sobolev type flow, which are necessary for further analysis and classification of limits as time tends to infinity.


Exploiting Raw Images for Real Scene Super Resolution. Super resolution is a fundamental problem in computer vision which aims to overcome the spatial limitation of camera sensors. While significant progress has been made in single image super resolution, most algorithms only perform well on synthetic data, which limits their applications in real scenarios. In this paper, we study the problem of real scene single image super resolution to bridge the gap between synthetic data and real captured images. We focus on two issues of existing super resolution algorithms lack of realistic training data and insufficient utilization of visual information obtained from cameras. To address the first issue, we propose a method to generate more realistic training data by mimicking the imaging process of digital cameras. For the second issue, we develop a two branch convolutional neural network to exploit the radiance information originally recorded in raw images. In addition, we propose a dense channel attention block for better image restoration as well as a learning based guided filter network for effective color correction. Our model is able to generalize to different cameras without deliberately training on images from specific camera types. Extensive experiments demonstrate that the proposed algorithm can recover fine details and clear structures, and achieve high quality results for single image super resolution in real scenes.


Implicit Gender Bias in Computer Science A Qualitative Study. Gender diversity in the tech sector is not yet? sufficient to create a balanced ratio of men and women. For many women, access to computer science is hampered by socialization related, social, cultural and structural obstacles. The so called implicit gender bias has a great influence in this respect. The lack of contact in areas of computer science makes it difficult to develop or expand potential interests. Female role models as well as more transparency of the job description should help women to promote their possible interest in the job description. However, gender diversity can also be promoted and fostered through adapted measures by leaders.


BLM 17m A Large Scale Dataset for Black Lives Matter Topic Detection on Twitter. Protection of human rights is one of the most important problems of our world. In this paper, our aim is to provide a dataset which covers one of the most significant human rights contradiction in recent months affected the whole world, George Floyd incident. We propose a labeled dataset for topic detection that contains 17 million tweets. These Tweets are collected from 25 May 2020 to 21 August 2020 that covers 89 days from start of this incident. We labeled the dataset by monitoring most trending news topics from global and local newspapers. Apart from that, we present two baselines, TF IDF and LDA. We evaluated the results of these two methods with three different k values for metrics of precision, recall and f1 score. The collected dataset is available at https github.com MeysamAsgariC BLMT.


Electoral Programs of German Parties 2021 A Computational Analysis Of Their Comprehensibility and Likeability Based On SentiArt. The electoral programs of six German parties issued before the parliamentary elections of 2021 are analyzed using state of the art computational tools for quantitative narrative, topic and sentiment analysis. We compare different methods for computing the textual similarity of the programs, Jaccard Bag similarity, Latent Semantic Analysis, doc2vec, and sBERT, the representational and computational complexity increasing from the 1st to the 4th method. A new similarity measure for entire documents derived from the Fowlkes Mallows Score is applied to kmeans clustering of sBERT transformed sentences. Using novel indices of the readability and emotion potential of texts computed via SentiArt (Jacobs, 2019), our data shed light on the similarities and differences of the programs regarding their length, main ideas, comprehensibility, likeability, and semantic complexity. Among others, they reveal that the programs of the SPD and CDU have the best chances to be comprehensible and likeable all other things being equal , and they raise the important issue of which similarity measure is optimal for comparing texts such as electoral programs which necessarily share a lot of words. While such analyses can not replace qualitative analyses or a deep reading of the texts, they offer predictions that can be verified in empirical studies and may serve as a motivation for changing aspects of future electoral programs potentially making them more comprehensible and or likeable.


MultiTalk A Highly Branching Dialog Testbed for Diverse Conversations. We study conversational dialog in which there are many possible responses to a given history. We present the MultiTalk Dataset, a corpus of over 320,000 sentences of written conversational dialog that balances a high branching factor (10) with several conversation turns (6) through selective branch continuation. We make multiple contributions to study dialog generation in the highly branching setting. In order to evaluate a diverse set of generations, we propose a simple scoring algorithm, based on bipartite graph matching, to optimally incorporate a set of diverse references. We study multiple language generation tasks at different levels of predictive conversation depth, using textual attributes induced automatically from pretrained classifiers. Our culminating task is a challenging theory of mind problem, a controllable generation task which requires reasoning about the expected reaction of the listener.


KART Parameterization of Privacy Leakage Scenarios from Pre trained Language Models. For the safe sharing pre trained language models, no guidelines exist at present owing to the difficulty in estimating the upper bound of the risk of privacy leakage. One problem is that previous studies have assessed the risk for different real world privacy leakage scenarios and attack methods, which reduces the portability of the findings. To tackle this problem, we represent complex real world privacy leakage scenarios under a universal parameterization, textit Knowledge, Anonymization, Resource, and Target (KART). KART parameterization has two merits (i) it clarifies the definition of privacy leakage in each experiment and (ii) it improves the comparability of the findings of risk assessments. We show that previous studies can be simply reviewed by parameterizing the scenarios with KART. We also demonstrate privacy risk assessments in different scenarios under the same attack method, which suggests that KART helps approximate the upper bound of risk under a specific attack or scenario. We believe that KART helps integrate past and future findings on privacy risk and will contribute to a standard for sharing language models.


Optimal Fully Dynamic k Centers Clustering. We present the first algorithm for fully dynamic k centers clustering in an arbitrary metric space that maintains an optimal 2 epsilon approximation in O(k cdot operatorname polylog (n, Delta)) amortized update time. Here, n is an upper bound on the number of active points at any time, and Delta is the aspect ratio of the data. Previously, the best known amortized update time was O(k 2 cdot operatorname polylog (n, Delta)) , and is due to Chan, Gourqin, and Sozio. We demonstrate that the runtime of our algorithm is optimal up to operatorname polylog (n, Delta) factors, even for insertion only streams, which closes the complexity of fully dynamic k centers clustering. In particular, we prove that any algorithm for k clustering tasks in arbitrary metric spaces, including k means, k medians, and k centers, must make at least Omega(n k) distance queries to achieve any non trivial approximation factor. Despite the lower bound for arbitrary metrics, we demonstrate that an update time sublinear in k is possible for metric spaces which admit locally sensitive hash functions (LSH). Namely, we demonstrate a black box transformation which takes a locally sensitive hash family for a metric space and produces a faster fully dynamic k centers algorithm for that space. In particular, for a large class of metrics including Euclidean space, ell p spaces, the Hamming Metric, and the Jaccard Metric, for any c 1 , our results yield a c(4 epsilon) approximate k centers solution in O(n 1 c cdot operatorname polylog (n, Delta)) amortized update time, simultaneously for all k geq 1 . Previously, the only known comparable result was a O(c log n) approximation for Euclidean space due to Schmidt and Sohler, running in the same amortized update time.


Specification property for step skew products. Step skew products with interval fibres and a subshift as a base are considered. It is proved that if the fibre maps are continuous, piecewise monotone, expanding and surjective and the subshift has the specification property and a periodic orbit such that the composition of the fibre maps along this orbit is mixing, then the corresponding step skew product has the specification property.


Rational Generalized Nash Equilibrium Problems. This paper studies generalized Nash equilibrium problems that are given by rational functions. Rational expressions for Lagrange multipliers and feasible extensions of KKT points are introduced to compute generalized Nash equilibria (GNEs). We give a hierarchy of rational optimization problems to solve rational generalized Nash equilibrium problems. The existence and computation of feasible extensions are studied. The Moment SOS relaxations are applied to solve the rational optimization problems. Under some general assumptions, we show that the proposed hierarchy can compute a GNE if it exists or detect its nonexistence. Numerical experiments are given to show the efficiency of the proposed method.


The transformation process from in campus classes into online classes due to the COVID 19 situation the case of higher education institutions in Kosovo. The COVID 19 pandemic has caused changes in terms of traditional teaching globally. In Kosova context, the Universities have found the transition from teaching in class to online classes quite challenging. This study investigates the transformation process from in campus classes to online classes from the technical perspective within five Higher Education Institutions (HEI) in Kosovo. The data was collected using the qualitative methods and its analysis followed the 3C Lichtman approach. The results show that each of the Universities followed a different approach, by using either their limited premises infrastructure or using additional cloud infrastructure.


Differential Privacy in Cognitive Radio Networks A Comprehensive Survey. Background Introduction Integrating cognitive radio (CR) with traditional wireless networks is helping solve the problem of spectrum scarcity in an efficient manner. The opportunistic and dynamic spectrum access features of CR provide the functionality to its unlicensed users to utilize the underutilized spectrum at the time of need because CR nodes can sense vacant bands of spectrum and can also access them to carry out communication. Various capabilities of CR nodes depend upon efficient and continuous reporting of data with each other and centralized base stations, which in turn can cause leakage in privacy. Experimental studies have shown that the privacy of CR users can be compromised easily during the cognition cycle, because they are knowingly or unknowingly sharing various personally identifiable information (PII), such as location, device ID, signal status, etc. In order to preserve this privacy leakage, various privacy preserving strategies have been developed by researchers, and according to us differential privacy is the most significant among them.


Dont Just Divide Polarize and Conquer!. In data containing heterogeneous subpopulations, classification performance benefits from incorporating the knowledge of cluster structure in the classifier. Previous methods for such combined clustering and classification are either 1) classifier specific and not generic, or 2) independently perform clustering and classifier training, which may not form clusters that can potentially benefit classifier performance. The question of how to perform clustering to improve the performance of classifiers trained on the clusters has received scant attention in previous literature, despite its importance in several real world applications. In this paper, we design a simple and efficient classification algorithm called Clustering Aware Classification (CAC) to find clusters that are well suited for being used as training datasets by classifiers for each underlying subpopulation. We also develop a deep learning method for simultaneous clustering and classification, DeepCAC. Our experiments on synthetic and real benchmark datasets demonstrate the efficacy of CAC and DeepCAC over previous methods for combined clustering and classification.


Scattering diagrams for generalized cluster algebras. We construct scattering diagrams for generalized cluster algebras, generalizing the cluster scattering diagrams of Gross, Hacking, Keel and Kontsevich. They turn out to be natural objects arising in Fock and Goncharov's cluster duality. Analogous features and structures (such as positivity and the cluster complex structure) in the ordinary case also appear in the generalized situation. With the help of these scattering diagrams, we show that generalized cluster variables are theta functions and hence have certain positivity property.


Smart Textiles that Teach Fabric Based Haptic Device Improves the Rate of Motor Learning. People learn motor activities best when they are conscious of their errors and make a concerted effort to correct them. While haptic interfaces can facilitate motor training, existing interfaces are often bulky and do not always ensure post training skill retention. Here, we describe a programmable haptic sleeve composed of textile based electroadhesive clutches for skill acquisition and retention. We show its functionality in a motor learning study where users control a drone's movement using elbow joint rotation. Haptic feedback is used to restrain elbow motion and make users aware of their errors. This helps users consciously learn to avoid errors from occurring. While all subjects exhibited similar performance during the baseline phase of motor learning, those subjects who received haptic feedback from the haptic sleeve committed 23.5 fewer errors than subjects in the control group during the evaluation phase. The results show that the sleeve helps users retain and transfer motor skills better than visual feedback alone. This work shows the potential for fabric based haptic interfaces as a training aid for motor tasks in the fields of rehabilitation and teleoperation.


Generating Large scale Dynamic Optimization Problem Instances Using the Generalized Moving Peaks Benchmark. This document describes the generalized moving peaks benchmark (GMPB) and how it can be used to generate problem instances for continuous large scale dynamic optimization problems. It presents a set of 15 benchmark problems, the relevant source code, and a performance indicator, designed for comparative studies and competitions in large scale dynamic optimization. Although its primary purpose is to provide a coherent basis for running competitions, its generality allows the interested reader to use this document as a guide to design customized problem instances to investigate issues beyond the scope of the presented benchmark suite. To this end, we explain the modular structure of the GMPB and how its constituents can be assembled to form problem instances with a variety of controllable characteristics ranging from unimodal to highly multimodal, symmetric to highly asymmetric, smooth to highly irregular, and various degrees of variable interaction and ill conditioning.


A Road Segment Prioritization Approach for Cycling Infrastructure. Understanding the motivators and deterrents to cycling is essential for creating infrastructure that gets more people to adopt cycling as a mode of transport. This paper demonstrates a new approach to support the prioritization of cycling infrastructure and cycling network design, accounting for cyclist preferences and the growing emphasis on 'filtered permeability' and 'Low Traffic Neighborhood' interventions internationally. The approach combines distance decay, route calculation, and network analysis methods to examine where future cycling demand is most likely to arise, how such demand could be accommodated within existing street networks, and how to ensure a fair distribution of investment. Although each of these methods has been applied to cycling infrastructure prioritization in previous research, this is the first time that they have been combined, creating an integrated road segment prioritization approach. The approach, which can be applied to other cities, as shown in the Appendix, is demonstrated in a case study of Manchester, resulting in cycling networks that balance directness against the need for safe and stress free routes under different investment scenarios. A key benefit of the approach from a policy perspective is its ability to support egalitarian and cost effective strategic cycle network planning.


ProMIPS Efficient High Dimensional c Approximate Maximum Inner Product Search with a Lightweight Index. Due to the wide applications in recommendation systems, multi class label prediction and deep learning, the Maximum Inner Product (MIP) search problem has received extensive attention in recent years. Faced with large scale datasets containing high dimensional feature vectors, the state of the art LSH based methods usually require a large number of hash tables or long hash codes to ensure the searching quality, which takes up lots of index space and causes excessive disk page accesses. In this paper, we relax the guarantee of accuracy for efficiency and propose an efficient method for c Approximate Maximum Inner Product (c AMIP) search with a lightweight iDistance index. We project high dimensional points to low dimensional ones via 2 stable random projections and derive probability guaranteed searching conditions, by which the c AMIP results can be guaranteed in accuracy with arbitrary probabilities. To further improve the efficiency, we propose Quick Probe for quickly determining the searching bound satisfying the derived condition in advance, avoiding the inefficient incremental searching process. Extensive experimental evaluations on four real datasets demonstrate that our method requires less pre processing cost including index size and pre processing time. In addition, compared to the state of the art benchmark methods, it provides superior results on searching quality in terms of overall ratio and recall, and efficiency in terms of page access and running time.


Addressing catastrophic forgetting for medical domain expansion. Model brittleness is a key concern when deploying deep learning models in real world medical settings. A model that has high performance at one institution may suffer a significant decline in performance when tested at other institutions. While pooling datasets from multiple institutions and retraining may provide a straightforward solution, it is often infeasible and may compromise patient privacy. An alternative approach is to fine tune the model on subsequent institutions after training on the original institution. Notably, this approach degrades model performance at the original institution, a phenomenon known as catastrophic forgetting. In this paper, we develop an approach to address catastrophic forget ting based on elastic weight consolidation combined with modulation of batch normalization statistics under two scenarios first, for expanding the domain from one imaging system's data to another imaging system's, and second, for expanding the domain from a large multi institutional dataset to another single institution dataset. We show that our approach outperforms several other state of the art approaches and provide theoretical justification for the efficacy of batch normalization modulation. The results of this study are generally applicable to the deployment of any clinical deep learning model which requires domain expansion.


CloudShield Real time Anomaly Detection in the Cloud. In cloud computing, it is desirable if suspicious activities can be detected by automatic anomaly detection systems. Although anomaly detection has been investigated in the past, it remains unsolved in cloud computing. Challenges are characterizing the normal behavior of a cloud server, distinguishing between benign and malicious anomalies (attacks), and preventing alert fatigue due to false alarms. We propose CloudShield, a practical and generalizable real time anomaly and attack detection system for cloud computing. Cloudshield uses a general, pretrained deep learning model with different cloud workloads, to predict the normal behavior and provide real time and continuous detection by examining the model reconstruction error distributions. Once an anomaly is detected, to reduce alert fatigue, CloudShield automatically distinguishes between benign programs, known attacks, and zero day attacks, by examining the prediction error distributions. We evaluate the proposed CloudShield on representative cloud benchmarks. Our evaluation shows that CloudShield, using model pretraining, can apply to a wide scope of cloud workloads. Especially, we observe that CloudShield can detect the recently proposed speculative execution attacks, e.g., Spectre and Meltdown attacks, in milliseconds. Furthermore, we show that CloudShield accurately differentiates and prioritizes known attacks, and potential zero day attacks, from benign programs. Thus, it significantly reduces false alarms by up to 99.0 .


RANSIC Fast and Highly Robust Estimation for Rotation Search and Point Cloud Registration using Invariant Compatibility. Correspondence based rotation search and point cloud registration are two fundamental problems in robotics and computer vision. However, the presence of outliers, sometimes even occupying the great majority of the putative correspondences, can make many existing algorithms either fail or have very high computational cost. In this paper, we present RANSIC (RANdom Sampling with Invariant Compatibility), a fast and highly robust method applicable to both problems based on a new paradigm combining random sampling with invariance and compatibility. Generally, RANSIC starts with randomly selecting small subsets from the correspondence set, then seeks potential inliers as graph vertices from the random subsets through the compatibility tests of invariants established in each problem, and eventually returns the eligible inliers when there exists at least one K degree vertex (K is automatically updated depending on the problem) and the residual errors satisfy a certain termination condition at the same time. In multiple synthetic and real experiments, we demonstrate that RANSIC is fast for use, robust against over 95 outliers, and also able to recall approximately 100 inliers, outperforming other state of the art solvers for both the rotation search and the point cloud registration problems.


Fast Passage Re ranking with Contextualized Exact Term Matching and Efficient Passage Expansion. BERT based information retrieval models are expensive, in both time (query latency) and computational resources (energy, hardware cost), making many of these models impractical especially under resource constraints. The reliance on a query encoder that only performs tokenization and on the pre processing of passage representations at indexing, has allowed the recently proposed TILDE method to overcome the high query latency issue typical of BERT based models. This however is at the expense of a lower effectiveness compared to other BERT based re rankers and dense retrievers. In addition, the original TILDE method is characterised by indexes with a very high memory footprint, as it expands each passage into the size of the BERT vocabulary. In this paper, we propose TILDEv2, a new model that stems from the original TILDE but that addresses its limitations. TILDEv2 relies on contextualized exact term matching with expanded passages. This requires to only store in the index the score of tokens that appear in the expanded passages (rather than all the vocabulary), thus producing indexes that are 99 smaller than those of TILDE. This matching mechanism also improves ranking effectiveness by 24 , without adding to the query latency. This makes TILDEv2 the state of the art passage re ranking method for CPU only environments, capable of maintaining query latency below 100ms on commodity hardware.


Eavesdropper and Jammer Selection in Wireless Source Localization Networks. We consider a wireless source localization network in which a target node emits localization signals that are used by anchor nodes to estimate the target node position. In addition to target and anchor nodes, there can also exist eavesdropper nodes and jammer nodes which aim to estimate the position of the target node and to degrade the accuracy of localization, respectively. We first propose the problem of eavesdropper selection with the goal of optimally placing a given number of eavesdropper nodes to a subset of possible positions in the network to estimate the target node position as accurately as possible. As the performance metric, the Cramer Rao lower bound (CRLB) related to the estimation of the target node position by eavesdropper nodes is derived, and its convexity and monotonicity properties are investigated. By relaxing the integer constraints, the eavesdropper selection problem is approximated by a convex optimization problem and algorithms are proposed for eavesdropper selection. Moreover, in the presence of parameter uncertainty, a robust version of the eavesdropper selection problem is developed. Then, the problem of jammer selection is proposed where the aim is to optimally place a given number of jammer nodes to a subset of possible positions for degrading the localization accuracy of the network as much as possible. A CRLB expression from the literature is used as the performance metric, and its concavity and monotonicity properties are derived. Also, a convex optimization problem and its robust version are derived after relaxation. Moreover, the joint eavesdropper and jammer selection problem is proposed with the goal of placing certain numbers of eavesdropper and jammer nodes to a subset of possible positions. Simulation results are presented to illustrate performance of the proposed algorithms.


Perturbed Holomorphic Cylinders, Exponential Estimates, and Flow Lines. A convergence result for perturbed holomorphic cylinders in mathbb R 2n is proved a sequence of perturbed holomorphic cylinders converges to a configuration of two holomorphic disks joined by a flow line. A key step in the computation is played by an a priori exponential estimate.


Diagnostics of hot electrons leaving the ECR plasma sustained by the high power gyrotron. Energy distribution of electrons in the plasma sustained by the electron cyclotron resonance (ECR) discharge has a complicated shape as a function of various parameters that still remains unknown. Meanwhile, it is an important plasma characteristic. Some methods and approaches give the possibility to estimate or measure the properties of the distributions of the electrons lost from the plasma. One of them, similar to the ion mass spectrometry, was used in this work to obtain such distributions in the non classical continuous ECR ion source with high (up to 50 100 W cm 3 ) energy input for the first time along with bremsstrahlung spectra. For certain parameters, a threshold like regime was discovered, which comprised of the bursts of energetic electrons, bremsstrahlung and, supposedly, the development of kinetic instabilities.


Two stage training algorithm for AI robot soccer. In multi agent reinforcement learning, the cooperative learning behavior of agents is very important. In the field of heterogeneous multi agent reinforcement learning, cooperative behavior among different types of agents in a group is pursued. Learning a joint action set during centralized training is an attractive way to obtain such cooperative behavior, however, this method brings limited learning performance with heterogeneous agents. To improve the learning performance of heterogeneous agents during centralized training, two stage heterogeneous centralized training which allows the training of multiple roles of heterogeneous agents is proposed. During training, two training processes are conducted in a series. One of the two stages is to attempt training each agent according to its role, aiming at the maximization of individual role rewards. The other is for training the agents as a whole to make them learn cooperative behaviors while attempting to maximize shared collective rewards, e.g., team rewards. Because these two training processes are conducted in a series in every timestep, agents can learn how to maximize role rewards and team rewards simultaneously. The proposed method is applied to 5 versus 5 AI robot soccer for validation. Simulation results show that the proposed method can train the robots of the robot soccer team effectively, achieving higher role rewards and higher team rewards as compared to other approaches that can be used to solve problems of training cooperative multi agent.


Conformal invariance in the quantum Ising model. We introduce Kadanoff Ceva order disorder operators in the quantum Ising model. This approach was first used for the classical planar Ising model and recently put back to the stage. This representation turns out to be equivalent to the loop expansion of Sminorv's fermionic observables and is particularly interesting due to its simple and compact formulation. Using this approach, we are able to extend different results known in the classical planar Ising model, such as the conformal invariance covariance of correlations and the energy density, to the spin representation of the (1 1) dimensional quantum Ising model.


Robust by Design Plans for Multi Robot Pursuit Evasion. This paper studies a multi robot visibility based pursuit evasion problem in which a group of pursuer robots are tasked with detecting an evader within a two dimensional polygonal environment. The primary contribution is a novel formulation of the pursuit evasion problem that modifies the pursuers' objective by requiring that the evader still be detected, even in spite of the failure of any single pursuer robot. This novel constraint, whereby two pursuers are required to detect an evader, has the benefit of providing redundancy to the search, should any member of the team become unresponsive, suffer temporary sensor disruption failure, or otherwise become incapacitated. Existing methods, even those that are designed to respond to failures, rely on the pursuers to replan and update their search pattern to handle such occurrences. In contrast, the proposed formulation produces plans that are inherently tolerant of some level of disturbance. Building upon this new formulation, we introduce an augmented data structure for encoding the problem state and a novel sampling technique to ensure that the generated plans are robust to failures of any single pursuer robot. An implementation and simulation results illustrating the effectiveness of this approach are described.


C3O Collaborative Cluster Configuration Optimization for Distributed Data Processing in Public Clouds. Distributed dataflow systems enable data parallel processing of large datasets on clusters. Public cloud providers offer a large variety and quantity of resources that can be used for such clusters. Yet, selecting appropriate cloud resources for dataflow jobs that neither lead to bottlenecks nor to low resource utilization is often challenging, even for expert users such as data engineers. We present C3O, a collaborative system for optimizing data processing cluster configurations in public clouds based on shared historical runtime data. The shared data is utilized for predicting the runtimes of data processing jobs on different possible cluster configurations, using specialized regression models. These models take the diverse execution contexts of different users into account and exhibit mean absolute errors below 3 in our experimental evaluation with 930 unique Spark jobs.


Positive Jantzen sum formulas for cyclotomic Hecke algebras. We prove a positive'' Jantzen sum formula for the Specht modules of the cyclotomic Hecke algebras of type A . That is, in the Grothendieck group, we show that the sum of the pieces of the Jantzen filtration is equal to an explicit non negative linear combination of modules E nu f,e , which are modular reductions of simple modules for closely connected Hecke algebras in characteristic zero. The coefficient of E nu f,e in the sum formula is determined by the graded decomposition numbers in characteristic zero, which are known, and the characteristic of the field. As a consequence we see that the decomposition numbers of a cyclotomic Hecke algebra at an e th root of unity in characteristic p depend on the decomposition numbers of related cyclotomic Hecke algebras at ep r th roots of unity in characteristic zero, for r ge0 .


Sample Complexity of Tree Search Configuration Cutting Planes and Beyond. Cutting plane methods have enabled remarkable successes in integer programming over the last few decades. State of the art solvers integrate a myriad of cutting plane techniques to speed up the underlying tree search algorithm used to find optimal solutions. In this paper we prove the first guarantees for learning high performing cut selection policies tailored to the instance distribution at hand using samples. We first bound the sample complexity of learning cutting planes from the canonical family of Chv 'atal Gomory cuts. Our bounds handle any number of waves of any number of cuts and are fine tuned to the magnitudes of the constraint coefficients. Next, we prove sample complexity bounds for more sophisticated cut selection policies that use a combination of scoring rules to choose from a family of cuts. Finally, beyond the realm of cutting planes for integer programming, we develop a general abstraction of tree search that captures key components such as node selection and variable selection. For this abstraction, we bound the sample complexity of learning a good policy for building the search tree.


Birational geometry of varieties, fibred into complete intersections of codimension two. In this paper we prove the birational superrigidity of Fano Mori fibre spaces pi colon V to S , every fibre of which is a complete intersection of type d 1 cdot d 2 in the projective space mathbb P d 1 d 2 , satisfying certain conditions of general position, under the assumption that the fibration V S is sufficiently twisted over the base (in particular, under the assumption that the K condition holds). The condition of general position for every fibre guarantees that the global log canonical threshold is equal to one. This condition bounds the dimension of the base S by a constant that depends on the dimension M of the fibre only (as the dimension M of the fibre grows, this constant grows as frac12 M 2 ). The fibres and the variety V itself may have quadratic and bi quadratic singularities, the rank of which is bounded from below.


Rigidity and deformation of discrete conformal structures on polyhedral surfaces. Discrete conformal structure on polyhedral surfaces is a discrete analogue of the conformal structure on smooth surfaces, which includes tangential circle packing, Thurston's circle packing, inversive distance circle packing and vertex scaling as special cases and generalizes them to a very general context. Glickenstein conjectured the rigidity of discrete conformal structures on polyhedral surfaces, which includes Luo's conjecture on the rigidity of vertex scaling and Bowers Stephenson's conjecture on the rigidity of inversive distance circle packings on polyhedral surfaces as special cases. In this paper, we prove Glickenstein's conjecture using a variational principle. We further study the deformation of discrete conformal structures on polyhedral surfaces by combinatorial curvature flows. It is proved that the combinatorial Ricci flow for discrete conformal structures, which is a generalization of Chow Luo's combinatorial Ricci flow for circle packings and Luo's combinatorial Yamabe flow for vertex scaling, could be extended to exist for all time and the extended combinatorial Ricci flow converges exponentially fast for any initial data if the discrete conformal structure with prescribed combinatorial curvature exists. This confirms another conjecture of Glickenstein on the convergence of the combinatorial Ricci flow and provides an effective algorithm for finding discrete conformal structures with prescribed combinatorial curvatures. The relationship of discrete conformal structures on polyhedral surfaces and 3 dimensional hyperbolic geometry is also discussed. As a result, we obtain some new convexities of the co volume functions for some generalized 3 dimensional hyperbolic tetrahedra.


On uniqueness and plentitude of subsymmetric sequences. We explore the diversity of subsymmetric basic sequences in spaces with a subsymmetric basis. We prove that the subsymmetrization Su(T ) of Tsirelson's original Banach space provides the first known example of a space with a unique subsymmetric basic sequence that is additionally non symmetric. Contrastingly, we provide a criterion for a space with a subsymmetric basis to contain a continuum of nonequivalent subsymmetric basic sequences and apply it to Su(T ) . Finally, we provide a criterion for a subsymmetric sequence to be equivalent to the unit vector basis of some ell p or c 0 .


Regular saturated graphs and sum free sets. In a recent paper, Gerbner, Patk ' o s, Tuza and Vizer studied regular F saturated graphs. One of the essential questions is given F , for which n does a regular n vertex F saturated graph exist. They proved that for all sufficiently large n , there is a regular K 3 saturated graph with n vertices. We extend this result to both K 4 and K 5 and prove some partial results for larger complete graphs. Using a variation of sum free sets from additive combinatorics, we prove that for all k geq 2 , there is a regular C 2k 1 saturated with n vertices for infinitely many n . Studying the sum free sets that give rise to C 2k 1 saturated graphs is an interesting problem on its own and we state an open problem in this direction.


On the number of edges of separated multigraphs. We prove that the number of edges of a multigraph G with n vertices is at most O(n 2 log n) , provided that any two edges cross at most once, parallel edges are noncrossing, and the lens enclosed by every pair of parallel edges in G contains at least one vertex. As a consequence, we prove the following extension of the Crossing Lemma of Ajtai, Chv 'atal, Newborn, Szemer 'edi and Leighton, if G has e geq 4n edges, in any drawing of G with the above property, the number of crossings is Omega left( frac e 3 n 2 log(e n) right) . This answers a question of Kaufmann et al. and is tight up to the logarithmic factor.


Towards Robust General Medical Image Segmentation. The reliability of Deep Learning systems depends on their accuracy but also on their robustness against adversarial perturbations to the input data. Several attacks and defenses have been proposed to improve the performance of Deep Neural Networks under the presence of adversarial noise in the natural image domain. However, robustness in computer aided diagnosis for volumetric data has only been explored for specific tasks and with limited attacks. We propose a new framework to assess the robustness of general medical image segmentation systems. Our contributions are two fold (i) we propose a new benchmark to evaluate robustness in the context of the Medical Segmentation Decathlon (MSD) by extending the recent AutoAttack natural image classification framework to the domain of volumetric data segmentation, and (ii) we present a novel lattice architecture for RObust Generic medical image segmentation (ROG). Our results show that ROG is capable of generalizing across different tasks of the MSD and largely surpasses the state of the art under sophisticated adversarial attacks.


Sub signature Operators and the Kastler Kalau Walze type theorem for manifolds with boundary. In this paper, we obtain two Lichnerowicz type formulas for sub signature operators. And we give the proof of Kastler Kalau Walze type theorems for sub signature operators on 4 dimensional and 6 dimensional compact manifolds with (resp.without) boundary.


On The Absolute Constant in Hanson Wright Inequality. We revisit and slightly modify the proof of the Gaussian Hanson Wright inequality where we keep track of the absolute constant in its formulation.


A Hybrid Algorithm for the Vehicle Routing Problem with AND OR Precedence Constraints and Time Windows. In this research, a new variant of the vehicle routing problem with time windows is addressed. The nodes associated with the customers are related to each other through AND OR precedence constraints. The objective is minimizing the total traveling and service time. This generalization is necessary for problems where the visiting node sequence is defined according to the AND OR relations, such as picker routing problems. We propose a Mixed Integer Linear Programming model to solve small scale instances extended from the well known Solomon benchmark. A meta heuristic algorithm based on the hybridization of Iterated Local Search and Simulated Annealing approaches is developed, which can compute reasonable solutions in terms of CPU time and the accuracy of solutions. To improve the hybrid algorithm's performance, the Taguchi method is used to tune the algorithm parameters. A comprehensive computational analysis is conducted to analyze the performance of the proposed methods.


DeePaste Inpainting for Pasting. One of the challenges of supervised learning training is the need to procure an substantial amount of tagged data. A well known method of solving this problem is to use synthetic data in a copy paste fashion, so that we cut objects and paste them onto relevant backgrounds. Pasting the objects naively results in artifacts that cause models to give poor results on real data. We present a new method for cleanly pasting objects on different backgrounds so that the dataset created gives competitive performance on real data. The main emphasis is on the treatment of the border of the pasted object using inpainting. We show state of the art results both on instance detection and foreground segmentation


Two remarks on the Caccetta H "aggkvist conjecture. A famous conjecture of Caccetta and H "aggkvist is that the girth g(D) of a simple digraph D on n vertices with minimal out degree k is at most lceil frac n k rceil . A natural generalization was considered by Hompe cite hompe is it true that in any simple digraph D , g(D) le lceil psi(D) rceil , where psi(D) sum v in V(D) frac 1 deg (v) ? Hompe showed that this is true for graphs with maximal out degree 2 , and gave examples in which psi(D) ( ln 2 o(1)) g(D) in general. Here we show that in any simple digraph D , g(D) 2 psi(D) . We also prove a result related to a rainbow version of the Caccetta H "aggkivst conjecture let F 1, F 2, ldots, F n be sets of edges in an undirected graph on n vertices, each of size at most 2 . Then there exists a rainbow cycle of length at most lceil sum i le n frac 1 F i rceil . This is a common generalization of a theorem of cite DDFGGHMM2021 , in which F i 2 for all i , and Hompe's result mentioned above, on digraphs with maximal out degree 2 .


Model free price bounds under dynamic option trading. In this paper we extend discrete time semi static trading strategies by also allowing for dynamic trading in a finite amount of options, and we study the consequences for the model independent super replication prices of exotic derivatives. These include duality results as well as a precise characterization of pricing rules for the dynamically tradable options triggering an improvement of the price bounds for exotic derivatives in comparison with the conventional price bounds obtained through the martingale optimal transport approach.


On the action of relatively irreducible automorphisms on their train tracks. Let G be a group and let mathcal G be a free factor system of G , namely a free splitting of G as G G 1 dots G k F r . In this paper, we study the set of train track points for mathcal G irreducible automorphisms phi with exponential growth (relatively to mathcal G ). Such set is known to coincide with the minimally displaced set operatorname Min ( phi) of phi . Our main result is that operatorname Min ( phi) is co compact, under the action of the cyclic subgroup generated by phi . Along the way we obtain other results that could be of independent interest. For instance, we prove that any point of operatorname Min ( phi) is in uniform distance from operatorname Min ( phi 1 ) . We also prove that the action of G on the product of the attracting and the repelling trees for phi , is discrete. Finally, we get some fine insight about the local topology of relative outer space. As an application, we generalise a classical result of Bestvina, Feighn and Handel for the centralisers of irreducible automorphisms of free groups, in the more general context of relatively irreducible automorphisms of a free product. We also deduce that centralisers of elements of operatorname Out (F 3) are finitely generated, which was previously unknown. Finally, we mention that an immediate corollary of co compactness is that operatorname Min ( phi) is quasi isometric to a line.


Reconstruction and interpolation of manifolds II Inverse problems for Riemannian manifolds with partial distance data. We consider how a closed Riemannian manifold and its metric tensor can be approximately reconstructed from local distance measurements. In the part 1 of the paper, we considered the construction of a smooth manifold in the case when one is given the noisy distances tilde d(x,y) d(x,y) varepsilon x,y for all points x,y in X , where X is a delta dense subset of M and varepsilon x,y delta . In this paper we consider a similar problem with partial data, that is, the approximate construction of the manifold (M,g) when we are given tilde d(x,y) for x in X and y in U cap X , where U is an open subset of M . As an application, we consider the inverse problem of determining the manifold (M,g) with non negative Ricci curvature from noisy observations of the heat kernel G(y,z,t) with separated observation points y in U and source points z in M setminus overline U on the time interval 0 t 1 .


Condensed Composite Memory Continual Learning. Deep Neural Networks (DNNs) suffer from a rapid decrease in performance when trained on a sequence of tasks where only data of the most recent task is available. This phenomenon, known as catastrophic forgetting, prevents DNNs from accumulating knowledge over time. Overcoming catastrophic forgetting and enabling continual learning is of great interest since it would enable the application of DNNs in settings where unrestricted access to all the training data at any time is not always possible, e.g. due to storage limitations or legal issues. While many recently proposed methods for continual learning use some training examples for rehearsal, their performance strongly depends on the number of stored examples. In order to improve performance of rehearsal for continual learning, especially for a small number of stored examples, we propose a novel way of learning a small set of synthetic examples which capture the essence of a complete dataset. Instead of directly learning these synthetic examples, we learn a weighted combination of shared components for each example that enables a significant increase in memory efficiency. We demonstrate the performance of our method on commonly used datasets and compare it to recently proposed related methods and baselines.