Supporting DNN Safety Analysis and Retraining through Heatmap based Unsupervised Learning. Deep neural networks (DNNs) are increasingly important in safety critical systems, for example in their perception layer to analyze images. Unfortunately, there is a lack of methods to ensure the functional safety of DNN based components. We observe three major challenges with existing practices regarding DNNs in safety critical systems (1) scenarios that are underrepresented in the test set may lead to serious safety violation risks, but may, however, remain unnoticed (2) characterizing such high risk scenarios is critical for safety analysis (3) retraining DNNs to address these risks is poorly supported when causes of violations are difficult to determine. To address these problems in the context of DNNs analyzing images, we propose HUDD, an approach that automatically supports the identification of root causes for DNN errors. HUDD identifies root causes by applying a clustering algorithm to heatmaps capturing the relevance of every DNN neuron on the DNN outcome. Also, HUDD retrains DNNs with images that are automatically selected based on their relatedness to the identified image clusters. We evaluated HUDD with DNNs from the automotive domain. HUDD was able to identify all the distinct root causes of DNN errors, thus supporting safety analysis. Also, our retraining approach has shown to be more effective at improving DNN accuracy than existing approaches.


Parallelized Rate Distortion Optimized Quantization Using Deep Learning. Rate Distortion Optimized Quantization (RDOQ) has played an important role in the coding performance of recent video compression standards such as H.264 AVC, H.265 HEVC, VP9 and AV1. This scheme yields significant reductions in bit rate at the expense of relatively small increases in distortion. Typically, RDOQ algorithms are prohibitively expensive to implement on real time hardware encoders due to their sequential nature and their need to frequently obtain entropy coding costs. This work addresses this limitation using a neural network based approach, which learns to trade off rate and distortion during offline supervised training. As these networks are based solely on standard arithmetic operations that can be executed on existing neural network hardware, no additional area on chip needs to be reserved for dedicated RDOQ circuitry. We train two classes of neural networks, a fully convolutional network and an auto regressive network, and evaluate each as a post quantization step designed to refine cheap quantization schemes such as scalar quantization (SQ). Both network architectures are designed to have a low computational overhead. After training they are integrated into the HM 16.20 implementation of HEVC, and their video coding performance is evaluated on a subset of the H.266 VVC SDR common test sequences. Comparisons are made to RDOQ and SQ implementations in HM 16.20. Our method achieves 1.64 BD rate savings on luminosity compared to the HM SQ anchor, and on average reaches 45 of the performance of the iterative HM RDOQ algorithm.


Arbitrarily high order energy preserving schemes for the Camassa Holm equation. In this paper, we develop a novel class of arbitrarily high order energy preserving schemes for the Camassa Holm equation. With the aid of the invariant energy quadratization approach, the Camassa Holm equation is first reformulated into an equivalent system, which inherits a quadratic energy. The new system is then discretized by the standard Fourier pseudo spectral method, which can exactly preserve the semi discrete energy conservation law. Subsequently, a symplectic Runge Kutta method such as the Gauss collocation method is applied for the resulting semi discrete system to arrive at an arbitrarily high order fully discrete scheme. We prove that the obtained schemes can conserve the discrete energy conservation law . Numerical results are addressed to confirm accuracy and efficiency of the proposed schemes.


3D Opto Acoustic Simulation of Human Skin Vascular for Quantitative Image Analysis. Photoacoustic computed tomography (PACT) is a hybrid imaging modality, which combines the high optical contrast of pure optical imaging and the high penetration depth of ultrasound imaging. However, photoacoustic image dataset with good quality and large quantity is lacking. In this paper, we mainly talk about how to generate a practical photoacoustic dataset. Firstly, we extracted 389 3D vessel volumes from CT whole lung scan database, and enhanced the blood vessel structures. Then for each 3D vessel volume, we embedded it into a three layer cubic phantom to formulate a skin tissue model, which includes epidermis, dermis, and hypodermis. The vessel volume was placed randomly in dermis layer in 10 different ways. Thus, 3890 3D skin tissue phantoms were generated. Then we assigned optical properties for the four kinds of tissue types. Monte Carlo optical simulations were deployed to obtain the optical fluence distribution. Then acoustic propagation simulations were deployed to obtain the photoacoustic initial pressure. Universal back projection algorithm was used to reconstruct the photoacoustic images. This dataset could be used for deep learning based photoacoustic image reconstruction, classification, registration, quantitative image analysis.


The Complexity of Finding Tangles. We study the following combinatorial problem. Given a set of n y monotone curves, which we call wires, a tangle determines the order of the wires on a number of horizontal layers such that the orders of the wires on any two consecutive layers differ only in swaps of neighboring wires. Given a multiset L of swaps (that is, unordered pairs of wires) and an initial order of the wires, a tangle realizes L if each pair of wires changes its order exactly as many times as specified by L . Finding a tangle that realizes a given multiset of swaps and uses the least number of layers is known to be NP hard. We show that it is even NP hard to decide if a realizing tangle exists.


A Hierarchical Reinforced Sequence Operation Method for Unsupervised Text Style Transfer. Unsupervised text style transfer aims to alter text styles while preserving the content, without aligned data for supervision. Existing seq2seq methods face three challenges 1) the transfer is weakly interpretable, 2) generated outputs struggle in content preservation, and 3) the trade off between content and style is intractable. To address these challenges, we propose a hierarchical reinforced sequence operation method, named Point Then Operate (PTO), which consists of a high level agent that proposes operation positions and a low level agent that alters the sentence. We provide comprehensive training objectives to control the fluency, style, and content of the outputs and a mask based inference algorithm that allows for multi step revision based on the single step trained agents. Experimental results on two text style transfer datasets show that our method significantly outperforms recent methods and effectively addresses the aforementioned challenges.


On the homotopy and strong homotopy type of complexes of discrete Morse functions. In this paper, we determine the homotopy type of the Morse complex of certain collections of simplicial complexes by studying dominating vertices or strong collapses. We show that if K contains two leaves that share a common vertex, then the Morse complex is strongly collapsible and hence has the homotopy type of a point. We also show that the pure Morse complex of a tree is strongly collapsible, thereby recovering as a corollary a result of Ayala et al. In addition, we prove that the Morse complex of a disjoint union K sqcup L is the Morse complex of the join K L . This result is used to compute the homotopy type of the Morse complex of some families of graphs, including Caterpillar graphs, as well as the automorphism group of a disjoint union for a large collection of disjoint complexes.


Automated Attacker Synthesis for Distributed Protocols. Distributed protocols should be robust to both benign malfunction (e.g. packet loss or delay) and attacks (e.g. message replay) from internal or external adversaries. In this paper we take a formal approach to the automated synthesis of attackers, i.e. adversarial processes that can cause the protocol to malfunction. Specifically, given a formal threat model capturing the distributed protocol model and network topology, as well as the placement, goals, and interface (inputs and outputs) of potential attackers, we automatically synthesize an attacker. We formalize four attacker synthesis problems across attackers that always succeed versus those that sometimes fail, and attackers that attack forever versus those that do not and we propose algorithmic solutions to two of them. We report on a prototype implementation called KORG and its application to TCP as a case study. Our experiments show that KORG can automatically generate well known attacks for TCP within seconds or minutes.


Blockchain Mutability Challenges and Proposed Solutions. Blockchain's evolution during the past decade is astonishing from bitcoin to over 2.000 altcoins, and from decentralised electronic payments to transactions programmable by smart contracts and complex tokens governed by decentralised organisations. While the new generation of blockchain applications is still evolving, blockchain's technical characteristics are also advancing. Yet, immutability, a hitherto indisputable property according to which blockchain data cannot be edited nor deleted, remains the cornerstone of blockchain's security. Nevertheless, blockchain's immutability is being called into question lately in the light of the new erasing requirements imposed by the GDPR's textit Right to be Forgotten (RtbF) '' provision. As the RtbF obliges blockchain data to be editable in order restricted content redactions, modifications or deletions to be applied when requested, blockchains compliance with the regulation is indeed challenging, if not impracticable. Towards resolving this contradiction, various methods and techniques for mutable blockchains have been proposed in an effort to satisfy regulatory erasing requirements while preserving blockchains' security. To this end, this work aims to provide a comprehensive review on the state of the art research approaches, technical workarounds and advanced cryptographic techniques that have been put forward to resolve this conflict and to discuss their potentials, constraints and limitations when applied in the wild to either permissioned or permissionless blockchains.


Cross Media Keyphrase Prediction A Unified Framework with Multi Modality Multi Head Attention and Image Wordings. Social media produces large amounts of contents every day. To help users quickly capture what they need, keyphrase prediction is receiving a growing attention. Nevertheless, most prior efforts focus on text modeling, largely ignoring the rich features embedded in the matching images. In this work, we explore the joint effects of texts and images in predicting the keyphrases for a multimedia post. To better align social media style texts and images, we propose (1) a novel Multi Modality Multi Head Attention (M3H Att) to capture the intricate cross media interactions (2) image wordings, in forms of optical characters and image attributes, to bridge the two modalities. Moreover, we design a unified framework to leverage the outputs of keyphrase classification and generation and couple their advantages. Extensive experiments on a large scale dataset newly collected from Twitter show that our model significantly outperforms the previous state of the art based on traditional attention networks. Further analyses show that our multi head attention is able to attend information from various aspects and boost classification or generation in diverse scenarios.


Nonlinear Iterative Projection Methods with Multigrid in Photon Frequency for Thermal Radiative Transfer. This paper presents nonlinear iterative methods for the fundamental thermal radiative transfer (TRT) model defined by the time dependent multifrequency radiative transfer (RT) equation and the material energy balance (MEB) equation. The iterative methods are based on the nonlinear projection approach and use multiple grids in photon frequency. They are formulated by the high order RT equation on a given grid in photon frequency and low order moment equations on a hierarchy of frequency grids. The material temperature is evaluated in the subspace of the lowest dimensionality from the MEB equation coupled to the effective grey low order equations. The algorithms apply various multigrid cycles to visit frequency grids. Numerical results are presented to demonstrate convergence of the multigrid iterative algorithms in TRT problems with large number of photon frequency groups.


Tracking the Gust Fronts of Convective Cold Pools. It is increasingly acknowledged that cold pools can influence the initiation of new convective cells. Yet, the full complexity of convective organization through cold pool interaction is poorly understood. This lack of understanding may partially be due to the intricacy of the dynamical pattern formed by precipitation cells and their cold pools. Additionally, how exactly cold pools interact is insufficiently known. To better understand this dynamics, we develop a tracking algorithm for cold pool gust fronts. Rather than tracking thermodynamic anomalies, which do not generally coincide with the gust front boundaries, our approach tracks the dynamical cold pool outflow. Our algorithm first determines the locus of the precipitation event. Second, relative to this origin and for each azimuthal bin, the steepest gradient in the near surface horizontal radial velocity v r is employed to determine the respective locus of the cold pool gust front edge. Steepest v r gradients imply largest updraft velocities, hence strongest dynamical triggering. Results are compared to a previous algorithm based on the steepest gradient in temperature highlighting the benefit of the method described here in determining dynamically active gust front regions. Applying the method to a range of numerical experiments, the algorithm successfully tracks an ensemble of cold pools. A linear relation emerges between the peak rain intensity of a given event and maximal v r for its associated cold pool gust front a relation found to be nearly independent of the specific sensitivity experiment.


Fourier Coefficients of Level 1 Hecke Eigenforms. Lehmer's 1947 conjecture on whether tau(n) vanishes is still unresolved. In this context, it is natural to consider variants of Lehmer's conjecture. We determine many integers that cannot be values of tau(n) . For example, among the odd numbers alpha such that alpha 99 , we determine that tau(n) notin 9, pm 15, pm 21, 25, 27, 33, pm 35, pm 45, pm 49, 55, pm 63, pm 77, 81, pm 91 . Moreover, under GRH, we have that tau(n) neq alpha and that tau(n) notin 9,25,27,39, 75,81 . We also consider the level 1 Hecke eigenforms in dimension 1 spaces of cusp forms. For example, for Delta E 4 sum n 1 infty tau 16 (n)q n , we show that begin align tau 16 (n) notin pm ell 1 leq ell leq 99, ell text is odd , ell neq 33,55,59,67,73,83,89,91 quad quad quad quad quad cup 33, 55, 59, 67, 89, 91 . end align Furthermore, we implement congruences given by Swinnerton Dyer to rule out additional large primes which divide numerators of specific Bernoulli numbers. To obtain these results, we make use of the theory of Lucas sequences, methods for solving high degree Thue equations, Barros' algorithm for solving hyperelliptic equations, and the theory of continued fractions.


Highly efficient terahertz radiation generated by surface electrons from laser foil interactions. A novel scheme for generating powerful terahertz (THz) radiation based on laser solid interactions is proposed. When a p polarized femtosecond laser impinges obliquely on a plane solid target and the target partially blocks the laser energy, surface electrons are extracted out and accelerated by the laser fields, forming a low divergence electron beam. A half cycle THz radiation pulse is emitted simultaneously as the beam passes by the edge of the target, due to coherent diffraction radiation. Our particle in cell simulations show that the relativistic THz pulse can have an energy of a few tens of millijoule and the conversion efficiency can be over 1 with existing sim J level femtosecond laser sources.


Interplanetary drivers of the magnetospheric disturbances A brief review of incorrect approaches. One of the most promising areas of research in solar terrestrial physics is the comparison of the responses of the magnetosphere ionosphere atmosphere system to various interplanetary disturbances (the so called interplanetary drivers ). Numerous studies show that different types of drivers cause a different reaction of the system for identical IMF variations. At the same time, the number of incorrect approaches in this direction of research has increased. These errors can be attributed to 4 large classes. (1) The first class includes works whose authors uncritically reacted to previously published works with incorrect driver identification and use incorrect results in their work. (2) Some authors used the wrong criteria and incorrectly determined the types of drivers. (3) Very often, authors associate the disturbance of the magnetosphere ionosphere atmosphere system caused by a complex driver (by a sequence of single drivers) with one of the drivers, ignoring the complex nature. For example, magnetic storm are often caused by compression region Sheath in front of the interplanetary CME (ICME), but the authors consider this events as so called CME induced storm, not Sheath induced storm. (4) Finally, there is a lost driver of magnetospheric disturbances some authors simply do not consider the compression region Sheath before ICME if there is no interplanetary shock (IS) before Sheath, although this type of driver, Sheath without IS , generates about 10 of moderate and strong magnetic storms.


TweepFake about Detecting Deepfake Tweets. The recent advances in language modeling significantly improved the generative capabilities of deep neural models in 2019 OpenAI released GPT 2, a pre trained language model that can autonomously generate coherent, non trivial and human like text samples. Since then, ever more powerful text generative models have been developed. Adversaries can exploit these tremendous generative capabilities to enhance social bots that will have the ability to write plausible deepfake messages, hoping to contaminate public debate. To prevent this, it is crucial to develop deepfake social media messages detection systems. However, to the best of our knowledge no one has ever addressed the detection of machine generated texts on social networks like Twitter or Facebook. With the aim of helping the research in this detection field, we collected the first dataset of real deepfake tweets, TweepFake. It is real in the sense that each deepfake tweet was actually posted on Twitter. We collected tweets from a total of 23 bots, imitating 17 human accounts. The bots are based on various generation techniques, i.e., Markov Chains, RNN, RNN Markov, LSTM, GPT 2. We also randomly selected tweets from the humans imitated by the bots to have an overall balanced dataset of 25,572 tweets (half human and half bots generated). The dataset is publicly available on Kaggle. Lastly, we evaluated 13 deepfake text detection methods (based on various state of the art approaches) to both demonstrate the challenges that Tweepfake poses and create a solid baseline of detection techniques. We hope that TweepFake can offer the opportunity to tackle the deepfake detection on social media messages as well.


Constant round distributed domination on graph classes with bounded expansion. We show that the dominating set problem admits a constant factor approximation in a constant number of rounds in the LOCAL model of distributed computing on graph classes with bounded expansion. This generalizes a result of Czygrinow et al. for graphs with excluded topological minors.


Trees and tree like structures in dense digraphs. We prove that every oriented tree on n vertices with bounded maximum degree appears as a spanning subdigraph of every directed graph on n vertices with minimum semidegree at least n 2 mathrm o (n) . This can be seen as a directed graph analogue of a well known theorem of Koml 'os, S 'ark "ozy and Szemer 'edi. Our result for trees follows from a more general result, allowing the embedding of arbitrary orientations of a much wider class of spanning "tree like" structures, such as a collection of at most mathrm o (n 1 4 ) vertex disjoint cycles and subdivisions of graphs H with H n ( log n) 1 2 in which each edge is subdivided at least once.


Conditions for bubbles to arise under heterogeneous beliefs. This paper studies the equilibrium price of a continuous time asset traded in a market with heterogeneous investors. We consider a positive mean reverting asset and two groups of investors who have different beliefs on the speed of mean reversion and the mean level. We provide an equivalent condition for bubbles to exist and show that price bubbles may not form even though there are heterogeneous beliefs. This condition is directly related to the drift term of the asset. In addition, we characterize the minimal equilibrium price as a unique C 2 solution of a differential equation and express it using confluent hypergeometric functions.


On Product Codes with Probabilistic Amplitude Shaping for High Throughput Fiber Optic Systems. Probabilistic amplitude shaping (PAS) can flexibly vary the spectral efficiency (SE) of fiber optic systems. In this paper, we demonstrate the application of PAS to bit wise hard decision decoding (HDD) of product codes (PCs) by finding the necessary conditions to select the PC component codes. We show that PAS with PCs and HDD yields gains up to 2.7 dB and SE improvement up to approximately 1 bit channel use compared to using PCs with uniform signaling and HDD. Furthermore, we employ the recently introduced iterative bounded distance decoding with combined reliability of PCs to improve performance of PAS with PCs and HDD.


On 3 strand singular pure braid group. In the present paper we study the singular pure braid group SP n for n 2, 3 . We find generators, defining relations and the algebraical structure of these groups. In particular, we prove that SP 3 is a semi direct product SP 3 widetilde V 3 leftthreetimes mathbb Z , where widetilde V 3 is an HNN extension with base group mathbb Z 2 mathbb Z 2 and cyclic associated subgroups. We prove that the center Z(SP 3) of SP 3 is a direct factor in SP 3 .


Algebraic properties of summation of exponential Taylor polynomials. Let n ge 1 be an integer and e n(x) denote the truncated exponential Taylor polynomial, i.e. e n (x) sum i 0 n frac x i i! . A well known theorem of Schur states that the Galois group of e n(x) over Q is the alternating group A n if n is divisible by 4 or the symmetric group S n otherwise. In this paper, we study algebraic properties of the summation of two truncated exponential Taylor polynomials E n(x) e n(x) e n 1 (x) . We show that frac x n n! sum i 0 n 1 c i frac x i i! with all c i (0 le i le n 1) being integers is irreducible over Q if either c 0 pm 1 , or n is not a positive power of 2 but c 0 is a positive power of 2. This extends another theorem of Schur. We show also that E n(x) is irreducible if n not in 2,4 . Furthermore, we show that rm Gal Q ( E n) contains A n except for n 4 , in which case, rm Gal Q ( E 4) S 3 . Finally, we show that the Galois group rm Gal Q ( E n) is S n if n equiv 3 pmod 4 , or if n is even and v p(n!) is odd for a prime divisor of n 1 , or if n equiv 1 pmod 4 and n 2 equals the product of an odd prime number p which is coprime to sum i 1 p 1 2 p 1 i i! and a positive integer coprime to p .


TS RNN Text Steganalysis Based on Recurrent Neural Networks. With the rapid development of natural language processing technologies, more and more text steganographic methods based on automatic text generation technology have appeared in recent years. These models use the powerful self learning and feature extraction ability of the neural networks to learn the feature expression of massive normal texts. Then they can automatically generate dense steganographic texts which conform to such statistical distribution based on the learned statistical patterns. In this paper, we observe that the conditional probability distribution of each word in the automatically generated steganographic texts will be distorted after embedded with hidden information. We use Recurrent Neural Networks (RNNs) to extract these feature distribution differences and then classify those features into cover text and stego text categories. Experimental results show that the proposed model can achieve high detection accuracy. Besides, the proposed model can even make use of the subtle differences of the feature distribution of texts to estimate the amount of hidden information embedded in the generated steganographic text.


Calabi Yau properties of ribbon graph orders. We pursue the order theoretic approach to ribbon graphs initiated by Kauer and Roggenkamp. We show that any ribbon graph order is twisted 1 Calabi Yau in general and 1 Calabi Yau if the ribbon graph is bipartite. We derive analogous results for anti commutative versions of Brauer graph algebras.


Hyperparameter Auto tuning in Self Supervised Robotic Learning. Policy optimization in reinforcement learning requires the selection of numerous hyperparameters across different environments. Fixing them incorrectly may negatively impact optimization performance leading notably to insufficient or redundant learning. Insufficient learning (due to convergence to local optima) results in under performing policies whilst redundant learning wastes time and resources. The effects are further exacerbated when using single policies to solve multi task learning problems. Observing that the Evidence Lower Bound (ELBO) used in Variational Auto Encoders correlates with the diversity of image samples, we propose an auto tuning technique based on the ELBO for self supervised reinforcement learning. Our approach can auto tune three hyperparameters the replay buffer size, the number of policy gradient updates during each epoch, and the number of exploration steps during each epoch. We use a state of the art self supervised robot learning framework (Reinforcement Learning with Imagined Goals (RIG) using Soft Actor Critic) as baseline for experimental verification. Experiments show that our method can auto tune online and yields the best performance at a fraction of the time and computational resources. Code, video, and appendix for simulated and real robot experiments can be found at the project page url www.JuanRojas.net autotune .


Video Grounded Dialogues with Pretrained Generation Language Models. Pre trained language models have shown remarkable success in improving various downstream NLP tasks due to their ability to capture dependencies in textual data and generate natural responses. In this paper, we leverage the power of pre trained language models for improving video grounded dialogue, which is very challenging and involves complex features of different dynamics (1) Video features which can extend across both spatial and temporal dimensions and (2) Dialogue features which involve semantic dependencies over multiple dialogue turns. We propose a framework by extending GPT 2 models to tackle these challenges by formulating video grounded dialogue tasks as a sequence to sequence task, combining both visual and textual representation into a structured sequence, and fine tuning a large pre trained GPT 2 network. Our framework allows fine tuning language models to capture dependencies across multiple modalities over different levels of information spatio temporal level in video and token sentence level in dialogue context. We achieve promising improvement on the Audio Visual Scene Aware Dialogues (AVSD) benchmark from DSTC7, which supports a potential direction in this line of research.


Boundary Value Problems of Elliptic and Parabolic Type with Boundary Data of Negative Regularity. We study elliptic and parabolic boundary value problems in spaces of mixed scales with mixed smoothness on the half space. The aim is to solve boundary value problems with boundary data of negative regularity and to describe the singularities of solutions at the boundary. To this end, we derive mapping properties of Poisson operators in mixed scales with mixed smoothness. We also derive mathcal R sectoriality results for homogeneous boundary data in the case that the smoothness in normal direction is not too large.


Event based Vision A Survey. Event cameras are bio inspired sensors that differ from conventional frame cameras Instead of capturing images at a fixed rate, they asynchronously measure per pixel brightness changes, and output a stream of events that encode the time, location and sign of the brightness changes. Event cameras offer attractive properties compared to traditional cameras high temporal resolution (in the order of microseconds), very high dynamic range (140 dB vs. 60 dB), low power consumption, and high pixel bandwidth (on the order of kHz) resulting in reduced motion blur. Hence, event cameras have a large potential for robotics and computer vision in challenging scenarios for traditional cameras, such as low latency, high speed, and high dynamic range. However, novel methods are required to process the unconventional output of these sensors in order to unlock their potential. This paper provides a comprehensive overview of the emerging field of event based vision, with a focus on the applications and the algorithms developed to unlock the outstanding properties of event cameras. We present event cameras from their working principle, the actual sensors that are available and the tasks that they have been used for, from low level vision (feature detection and tracking, optic flow, etc.) to high level vision (reconstruction, segmentation, recognition). We also discuss the techniques developed to process events, including learning based techniques, as well as specialized processors for these novel sensors, such as spiking neural networks. Additionally, we highlight the challenges that remain to be tackled and the opportunities that lie ahead in the search for a more efficient, bio inspired way for machines to perceive and interact with the world.


Stochastic port Hamiltonian systems. In the present work we formally extend the theory of port Hamiltonian systems to include random perturbations. In particular, suitably choosing the space of flows and effort variables we will show how several elements coming from possibly different physical domains can be interconnected in order to describe a dynamics perturbed by general semimartingale. In this sense the noise does not enter the system solely as an external random perturbation but each port is a semimartingale in itself. We will show how the present treatment, extend pseudo Poisson an pre symplectic geometric mechanics. At last, we will show that a power preserving interconnection of stochastic port Hamiltonian system defines again a stochastic port Hamiltonian system.


Divisibility properties of factors of the discriminant of generalized Fibonacci numbers. We study some divisibility properties related to the factors of the discriminant of the characteristic polynomial of generalized Fibonacci sequences (G n) n ge0 defined by G 0 0 , G 1 1 and G n pG n 1 qG n 2 for n ge2 , where p,q are given integers. As corollaries, we give some divisibility properties on some well known sequences.


Prediction of USA November 2020 Election Results Using Multifactor Twitter Data Analysis Method. In studies on election result prediction based on Twitter data, estimates were made using one of the factors such as the number of positive, negative, and neutral tweets posted about parties, the effect size of these tweets (the number of re tweets), or the number of people who posted these tweets. However, no study was found that used all of these factors together. The goal of this study is to develop a new approach that takes into account all of the factors described and contributes to the literature in this context. A new multifactor model for the election result prediction based on Twitter data has been developed for this purpose. The model was tested by attempting to predict the results of the US 2020 elections in November, which had not yet taken place when the first version of this article was written. Also, a comparison has been made with alternative estimation approaches in the literature. Analyzes were made for approximately 10 million tweets collected between September 1 and October 21, 2020. As a result of the analysis, consistent with the results of the polls, Biden wins the election with a difference of 9.22 according to our method of estimating votes based on positive and negative tweet numbers, which are the current approaches in the literature. However, by using our multifactor model, the parameters for 3 November were calculated as 0.213423 for Democrats and 0.0455818 for Republicans. Based on these scores, it is concluded that the Republicans will win the election with a very small margin.


Extension in generalized Orlicz spaces. We prove that a Phi function can be extended from a domain Omega to all of mathbb R n while preserving crucial properties for harmonic analysis on the generalized Orlicz space L Phi .


A neural network walks into a lab towards using deep nets as models for human behavior. What might sound like the beginning of a joke has become an attractive prospect for many cognitive scientists the use of deep neural network models (DNNs) as models of human behavior in perceptual and cognitive tasks. Although DNNs have taken over machine learning, attempts to use them as models of human behavior are still in the early stages. Can they become a versatile model class in the cognitive scientist's toolbox? We first argue why DNNs have the potential to be interesting models of human behavior. We then discuss how that potential can be more fully realized. On the one hand, we argue that the cycle of training, testing, and revising DNNs needs to be revisited through the lens of the cognitive scientist's goals. Specifically, we argue that methods for assessing the goodness of fit between DNN models and human behavior have to date been impoverished. On the other hand, cognitive science might have to start using more complex tasks (including richer stimulus spaces), but doing so might be beneficial for DNN independent reasons as well. Finally, we highlight avenues where traditional cognitive process models and DNNs may show productive synergy.


Normal normal resonances in a double Hopf bifurcation. We investigate the stability loss of invariant n dimensional quasi periodic tori during a double Hopf bifurcation, where at bifurcation the two normal frequencies are in normal normal resonance. Invariants are used to analyse the normal form approximations in a unified manner. The corresponding dynamics form a skeleton for the dynamics of the original system. Here both normal hyperbolicity and KAM theory are being used.


Enstrophy dissipation and vortex thinning for the incompressible 2D Navier Stokes equations. By direct numerical simulation to the two dimensional Navier Stokes equations with small scale forcing and large scale damping, Xiao Wan Chen Eyink (2009) found an evidence that inverse energy cascade may proceed with the vortex thinning mechanism. On the other hand, Alexakis Doering (2006) calculated upper bound of the bulk averaged enstrophy dissipation rate of the steady state two dimensional turbulence. In this paper, we show that vortex thinning induces enhanced dissipation with strictly slower vanishing order of the enstrophy dissipation than Re 1 .


ReAssert Deep Learning for Assert Generation. The automated generation of test code can reduce the time and effort required to build software while increasing its correctness and robustness. In this paper, we present RE ASSERT, an approach for the automated generation of JUnit test asserts which produces more accurate asserts than previous work with fewer constraints. This is achieved by targeting projects individually, using precise code to test traceability for learning and by generating assert statements from the method under test directly without the need to write an assert less test first. We also utilise Reformer, a state of the art deep learning model, along with two models from previous work to evaluate ReAssert and an existing approach, known as ATLAS, using lexical accuracy,uniqueness, and dynamic analysis. Our evaluation of ReAssert shows up to 44 of generated asserts for a single project match exactly with the ground truth, increasing to 51 for generated asserts that compile. We also improve on the ATLAS results through our use of Reformer with 28 of generated asserts matching exactly with the ground truth. Reformer also produces the greatest proportion of unique asserts (71 ), giving further evidence that Reformer produces the most useful asserts.


Comparative analysis of the diffusion of Covid 19 infection in different countries. The sudden spread of Covid 19 outside China has pushed on March 11 the World Health Organization to acknowledge the ongoing outbreak as a pandemic. It is crucial in this phase to understand what should countries which presently lag behind in the spread of the infection learn from countries where the infection spread earlier. The choice of this work is to prefer timeliness to comprehensiveness. By adopting a purely empirical approach, we will limit ourselves to identifying different phases in the plots of different countries, based on their different functional behaviour, and to make a comparative analysis. The comparative analysis of the registered cases curves highlights remarkable similarities, especially among Western countries, together with some minor but crucial differences. We highlight how timeliness can largely reduce the size of the individual national outbreaks, ultimately limiting the final death toll. Our data suggest that Western governments have not unfortunately shown the capability to anticipate their decisions, based on the experience of countries hit earlier by the outbreak.


On mu Symmetric Polynomials. In this paper, we study functions of the roots of a univariate polynomial in which the roots have a given multiplicity structure mu . Traditionally, root functions are studied via the theory of symmetric polynomials we extend this theory to mu symmetric polynomials. We were motivated by a conjecture from Becker et al. (ISSAC 2016) about the mu symmetry of a particular root function D ( mu) , called D plus. To investigate this conjecture, it was desirable to have fast algorithms for checking if a given root function is mu symmetric. We designed three such algorithms one based on Gr " o bner bases, another based on preprocessing and reduction, and the third based on solving linear equations. We implemented them in Maple and experiments show that the latter two algorithms are significantly faster than the first.


Pakistan's Internet Voting Experiment. Pakistan recently conducted small scale trials of a remote Internet voting system for overseas citizens. In this contribution, we report on the experience we document the unique combination of sociopolitical, legal, and institutional factors motivating this exercise. We describe the system and it's reported vulnerabilities, and we also highlight new issues pertaining to materiality. If this system is deployed in the next general elections, as seems likely, this development would constitute the largest enfranchised diaspora in the world. Our goal in this paper, therefore, is to provide comprehensive insight into Pakistan's experiment with Internet voting, emphasize outstanding challenges, and identify directions for future research.


On circulant matrices and rational points of Artin Schreier's curves. Let mathbb F q be a finite field with q elements, where q is an odd prime power. In this paper we associated circulant matrices and quadratic forms with curves of Artin Schreier y q y x cdot P(x) lambda, where P(x) is a mathbb F q linearized polynomial and lambda in mathbb F q . Our main results provide a characterization of the number of rational points in some extension mathbb F q r of mathbb F q . In the particular case, in the case when P(x) x q i x we given a full description of the number of rational points in term of Legendre symbol and quadratic characters.


Ranking a set of objects a graph based least square approach. We consider the problem of ranking N objects starting from a set of noisy pairwise comparisons provided by a crowd of equal workers. We assume that objects are endowed with intrinsic qualities and that the probability with which an object is preferred to another depends only on the difference between the qualities of the two competitors. We propose a class of non adaptive ranking algorithms that rely on a least squares optimization criterion for the estimation of qualities. Such algorithms are shown to be asymptotically optimal (i.e., they require O( frac N epsilon 2 log frac N delta ) comparisons to be ( epsilon, delta) PAC). Numerical results show that our schemes are very efficient also in many non asymptotic scenarios exhibiting a performance similar to the maximum likelihood algorithm. Moreover, we show how they can be extended to adaptive schemes and test them on real world datasets.


PDE PDF informed adaptive sampling for efficient non intrusive surrogate modelling. A novel refinement measure for non intrusive surrogate modelling of partial differential equations (PDEs) with uncertain parameters is proposed. Our approach uses an empirical interpolation procedure, where the proposed refinement measure is based on a PDE residual and probability density function of the uncertain parameters, and excludes parts of the PDE solution that are not used to compute the quantity of interest. The PDE residual used in the refinement measure is computed by using all the partial derivatives that enter the PDE separately. The proposed refinement measure is suited for efficient parametric surrogate construction when the underlying PDE is known, even when the parameter space is non hypercube, and has no restrictions on the type of the discretisation method. Therefore, we are not restricted to conventional discretisation techniques, e.g., finite elements and finite volumes, and the proposed method is shown to be effective when used in combination with recently introduced neural network PDE solvers. We present several numerical examples with increasing complexity that demonstrate accuracy, efficiency and generality of the method.


Emergence of Separable Manifolds in Deep Language Representations. Deep neural networks (DNNs) have shown much empirical success in solving perceptual tasks across various cognitive modalities. While they are only loosely inspired by the biological brain, recent studies report considerable similarities between representations extracted from task optimized DNNs and neural populations in the brain. DNNs have subsequently become a popular model class to infer computational principles underlying complex cognitive functions, and in turn, they have also emerged as a natural testbed for applying methods originally developed to probe information in neural populations. In this work, we utilize mean field theoretic manifold analysis, a recent technique from computational neuroscience that connects geometry of feature representations with linear separability of classes, to analyze language representations from large scale contextual embedding models. We explore representations from different model families (BERT, RoBERTa, GPT, etc.) and find evidence for emergence of linguistic manifolds across layer depth (e.g., manifolds for part of speech tags), especially in ambiguous data (i.e, words with multiple part of speech tags, or part of speech classes including many words). In addition, we find that the emergence of linear separability in these manifolds is driven by a combined reduction of manifolds' radius, dimensionality and inter manifold correlations.


Scalable Cross Lingual Transfer of Neural Sentence Embeddings. We develop and investigate several cross lingual alignment approaches for neural sentence embedding models, such as the supervised inference classifier, InferSent, and sequential encoder decoder models. We evaluate three alignment frameworks applied to these models joint modeling, representation transfer learning, and sentence mapping, using parallel text to guide the alignment. Our results support representation transfer as a scalable approach for modular cross lingual alignment of neural sentence embeddings, where we observe better performance compared to joint models in intrinsic and extrinsic evaluations, particularly with smaller sets of parallel data.


Subexponential densities of compound Poisson sums and the supremum of a random walk. We characterize the subexponential densities on (0, infty) for compound Poisson distributions on 0, infty) with absolutely continuous L 'evy measures. As a corollary, we show that the class of all subexponential probability density functions on mathbb R is closed under generalized convolution roots of compound Poisson sums. Moreover, we give an application to the subexponential density on (0, infty) for the distribution of the supremum of a random walk.


STAR Sparse Trained Articulated Human Body Regressor. The SMPL body model is widely used for the estimation, synthesis, and analysis of 3D human pose and shape. While popular, we show that SMPL has several limitations and introduce STAR, which is quantitatively and qualitatively superior to SMPL. First, SMPL has a huge number of parameters resulting from its use of global blend shapes. These dense pose corrective offsets relate every vertex on the mesh to all the joints in the kinematic tree, capturing spurious long range correlations. To address this, we define per joint pose correctives and learn the subset of mesh vertices that are influenced by each joint movement. This sparse formulation results in more realistic deformations and significantly reduces the number of model parameters to 20 of SMPL. When trained on the same data as SMPL, STAR generalizes better despite having many fewer parameters. Second, SMPL factors pose dependent deformations from body shape while, in reality, people with different shapes deform differently. Consequently, we learn shape dependent pose corrective blend shapes that depend on both body pose and BMI. Third, we show that the shape space of SMPL is not rich enough to capture the variation in the human population. We address this by training STAR with an additional 10,000 scans of male and female subjects, and show that this results in better model generalization. STAR is compact, generalizes better to new bodies and is a drop in replacement for SMPL. STAR is publicly available for research purposes at http star.is.tue.mpg.de.


Holopix50k A Large Scale In the wild Stereo Image Dataset. With the mass market adoption of dual camera mobile phones, leveraging stereo information in computer vision has become increasingly important. Current state of the art methods utilize learning based algorithms, where the amount and quality of training samples heavily influence results. Existing stereo image datasets are limited either in size or subject variety. Hence, algorithms trained on such datasets do not generalize well to scenarios encountered in mobile photography. We present Holopix50k, a novel in the wild stereo image dataset, comprising 49,368 image pairs contributed by users of the Holopix mobile social platform. In this work, we describe our data collection process and statistically compare our dataset to other popular stereo datasets. We experimentally show that using our dataset significantly improves results for tasks such as stereo super resolution and self supervised monocular depth estimation. Finally, we showcase practical applications of our dataset to motivate novel works and use cases. The Holopix50k dataset is available at http github.com leiainc holopix50k


Slow Feature Analysis for Human Action Recognition. Slow Feature Analysis (SFA) extracts slowly varying features from a quickly varying input signal. It has been successfully applied to modeling the visual receptive fields of the cortical neurons. Sufficient experimental results in neuroscience suggest that the temporal slowness principle is a general learning principle in visual perception. In this paper, we introduce the SFA framework to the problem of human action recognition by incorporating the discriminative information with SFA learning and considering the spatial relationship of body parts. In particular, we consider four kinds of SFA learning strategies, including the original unsupervised SFA (U SFA), the supervised SFA (S SFA), the discriminative SFA (D SFA), and the spatial discriminative SFA (SD SFA), to extract slow feature functions from a large amount of training cuboids which are obtained by random sampling in motion boundaries. Afterward, to represent action sequences, the squared first order temporal derivatives are accumulated over all transformed cuboids into one feature vector, which is termed the Accumulated Squared Derivative (ASD) feature. The ASD feature encodes the statistical distribution of slow features in an action sequence. Finally, a linear support vector machine (SVM) is trained to classify actions represented by ASD features. We conduct extensive experiments, including two sets of control experiments, two sets of large scale experiments on the KTH and Weizmann databases, and two sets of experiments on the CASIA and UT interaction databases, to demonstrate the effectiveness of SFA for human action recognition.


Representations of infinite dimension orthogonal groups of quadratic forms with finite index. We study representations G to H where G is either a simple Lie group with real rank at least 2 or an infinite dimensional orthogonal group of some quadratic form of finite index at least 2 and H is such an orthogonal group as well. The real, complex and quaternionic cases are considered. Contrarily to the rank one case, we show that there is no exotic such representations and we classify these representations. On the way, we make a detour and prove that the projective orthogonal groups mathop PO mathbf K (p, infty) or their orthochronous component (where mathbf K denotes the real, complex or quaternionic numbers) are Polish groups that are topologically simple but not abstractly simple.


Approximation of stochastic integrals with jumps via weighted BMO approach. This article investigates discrete time approximations of stochastic integrals driven by semimartingales with jumps via weighted bounded mean oscillation (BMO) approach. This approach enables L p estimates, p in (2, infty) , for the approximation error depending on the weight, and it allows a change of the underlying measure which leaves the error estimates unchanged. To take advantage of this approach, we propose a new approximation scheme obtained from a correction for the Riemann approximation based on tracking jumps of the underlying semimartingale. We also discuss a way to optimize the approximation rate by adapting the discretization times to the setting. When the small jump activity of the semimartingale behaves like an alpha stable process with alpha in (1, 2) , our scheme achieves under a regular regime the same convergence rate for the error as in Rosenbaum and Tankov textit Ann. Appl. Probab. textbf 24 (2014) 1002 1048 . Moreover, our approach extends to the case alpha in (0, 1 and to the L p setting which are not treated there. As an application, we apply the methods in the special case where the semimartingale is an exponential L 'evy process to mean variance hedging of European type options.


Efficient Discontinuous Galerkin Scheme for Analyzing Nanostructured Photoconductive Devices. Incorporation of plasmonic nanostructures in the design of photoconductive devices (PCDs) has significantly improved their optical to terahertz conversion efficiency. However, this improvement comes at the cost of increased complexity for the design and simulation of these devices. Indeed, accurate and efficient modeling of multiphysics processes and intricate device geometries of nanostructured PCDs is challenging due to the high computational cost resulting from multiple characteristic scales in time and space. In this work, a discontinuous Galerkin (DG) based unit cell scheme for efficient simulation of PCDs with periodic nanostructures is proposed. The scheme considers two physical stages of the device and models them using two coupled systems a system of Poisson and drift diffusion equations describing the nonequilibrium steady state, and a system of Maxwell and drift diffusion equations describing the transient stage. A "potential drop" boundary condition is enforced on the opposing boundaries of the unit cell to mimic the effect of the bias voltage. Periodic boundary conditions are used for carrier densities and electromagnetic fields. The unit cell model described by these coupled equations and boundary conditions is discretized using DG methods. Numerical results demonstrate that the proposed DG based unit cell scheme has the same accuracy in predicting the THz photocurrent as the DG framework that takes into account the whole device, while it significantly reduces the computational cost.


Semantic and Visual Similarities for Efficient Knowledge Transfer in CNN Training. In recent years, representation learning approaches have disrupted many multimedia computing tasks. Among those approaches, deep convolutional neural networks (CNNs) have notably reached human level expertise on some constrained image classification tasks. Nonetheless, training CNNs from scratch for new task or simply new data turns out to be complex and time consuming. Recently, transfer learning has emerged as an effective methodology for adapting pre trained CNNs to new data and classes, by only retraining the last classification layer. This paper focuses on improving this process, in order to better transfer knowledge between CNN architectures for faster trainings in the case of fine tuning for image classification. This is achieved by combining and transfering supplementary weights, based on similarity considerations between source and target classes. The study includes a comparison between semantic and content based similarities, and highlights increased initial performances and training speed, along with superior long term performances when limited training samples are available.


Sentence Meta Embeddings for Unsupervised Semantic Textual Similarity. We address the task of unsupervised Semantic Textual Similarity (STS) by ensembling diverse pre trained sentence encoders into sentence meta embeddings. We apply, extend and evaluate different meta embedding methods from the word embedding literature at the sentence level, including dimensionality reduction (Yin and Sch "utze, 2016), generalized Canonical Correlation Analysis (Rastogi et al., 2015) and cross view auto encoders (Bollegala and Bao, 2018). Our sentence meta embeddings set a new unsupervised State of The Art (SoTA) on the STS Benchmark and on the STS12 STS16 datasets, with gains of between 3.7 and 6.4 Pearson's r over single source systems.


Error estimates for semidiscrete Galerkin and collocation approximations to pseudo parabolic problems with Dirichlet conditions. This paper is concerned with the numerical approximation of the Dirichlet initial boundary value problem of nonlinear pseudo parabolic equations with spectral methods. Error estimates for the semidiscrete Galerkin and collocation schemes based on Jacobi polynomials are derived.


Irreducible restrictions of representations of alternating groups in small characteristics Reduction theorems. We study irreducible restrictions from modules over alternating groups to subgroups. We get reduction results which substantially restrict the classes of subgroups and modules for which this is possible. This is known when the characteristic of the ground field is greater than 3 , but the small characteristics cases require a substantially more delicate analysis and new ideas. In view of our earlier work on symmetric groups we may consider only the restriction of irreducible modules over alternating groups which do not extend to symmetric groups. This work fits into the Aschbacher Scott program on maximal subgroups of finite classical groups.


The Power of d Choices in Scheduling for Data Centers with Heterogeneous Servers. MapReduce framework is the de facto in big data and its applications where a big data set is split into small data chunks that are replicated on different servers among thousands of servers. The heterogeneous server structure of the system makes the scheduling much harder than scheduling for systems with homogeneous servers. Throughput optimality of the system on one hand and delay optimality on the other hand creates a dilemma for assigning tasks to servers. The JSQ MaxWeight and Balanced Pandas algorithms are the states of the arts algorithms with theoretical guarantees on throughput and delay optimality for systems with two and three levels of data locality. However, the scheduling complexity of these two algorithms are way too much. Hence, we use the power of d choices algorithm combined with the Balanced Pandas algorithm and the JSQ MaxWeight algorithm, and compare the complexity of the simple algorithms and the power of d choices versions of them. We will further show that the Balanced Pandas algorithm combined with the power of the d choices, Balanced Pandas Pod, not only performs better than simple Balanced Pandas, but also is less sensitive to the parameter d than the combination of the JSQ MaxWeight algorithm and the power of the d choices, JSQ MaxWeight Pod. In fact in our extensive simulation results, the Balanced Pandas Pod algorithm is performing better than the simple Balanced Pandas algorithm in low and medium loads, where data centers are usually performing at, and performs almost the same as the Balanced Pandas algorithm at high loads. Note that the load balancing complexity of Balanced Pandas and JSQ MaxWeight algorithms are O(M) , where M is the number of servers in the system which is in the order of thousands servers, whereas the complexity of Balanced Pandas Pod and JSQ MaxWeight Pod are O(1) , that makes the central scheduler faster and saves energy.


A Top Down Neural Architecture towards Text Level Parsing of Discourse Rhetorical Structure. Due to its great importance in deep natural language understanding and various down stream applications, text level parsing of discourse rhetorical structure (DRS) has been drawing more and more attention in recent years. However, all the previous studies on text level discourse parsing adopt bottom up approaches, which much limit the DRS determination on local information and fail to well benefit from global information of the overall discourse. In this paper, we justify from both computational and perceptive points of view that the top down architecture is more suitable for text level DRS parsing. On the basis, we propose a top down neural architecture toward text level DRS parsing. In particular, we cast discourse parsing as a recursive split point ranking task, where a split point is classified to different levels according to its rank and the elementary discourse units (EDUs) associated with it are arranged accordingly. In this way, we can determine the complete DRS as a hierarchical tree structure via an encoder decoder with an internal stack. Experimentation on both the English RST DT corpus and the Chinese CDTB corpus shows the great effectiveness of our proposed top down approach towards text level DRS parsing.


A class of short term models for the oil industry addressing speculative storage. This is a work in progress. The aim is to propose a plausible mechanism for the short term dynamics of the oil market based on the interaction of economic agents. This is a theoretical research which by no means aim at describing all the aspects of the oil market. In particular, we use the tools and terminology of game theory, but we do not claim that this game actually exists in the real world. In parallel, we are currently studying and calibrating a long term model for the oil industry, which addresses the interactions of a monopolists with a competitive fringe of small producers. It is the object of another paper that will be available soon. The present premiminary version does not contain all the economic arguments and all the connections with our long term model. It mostly addresses the description of the model, the equations and numerical simulations focused on the oil industry short term dynamics. A more complete version will be available soon.


Using SMT Solvers to Validate Models for AI Problems. Artificial Intelligence problems, ranging form planning scheduling up to game control, include an essential crucial step describing a model which accurately defines the problem's required data, requirements, allowed transitions and established goals. The ways in which a model can fail are numerous and often lead to a failure of search strategies to provide a quick, optimal, or even any solution. This paper proposes using SMT (Satisfiability Modulo Theories) solvers, such as Z3, to check the validity of a model. We propose two tests checking whether a final(goal) state exists in the model's described problem space and checking whether the transitions described can provide a path from the identified initial states to any the goal states (meaning a solution has been found). The advantage of using an SMT solver for AI model checking is that they substitute actual search strategies and they work over an abstract representation of the model, that is, a set of logical formulas. Reasoning at an abstract level is not as expensive as exploring the entire solution space. SMT solvers use efficient decision procedures which provide proofs for the logical formulas corresponding to the AI model. A recent addition to Z3 allowed us to describe sequences of transitions as a recursive function, thus we can check if a solution can be found in the defined model.


The Scheduling Job Set Optimization Problem A Model Based Diagnosis Approach. A common issue for companies is that the volume of product orders may at times exceed the production capacity. We formally introduce two novel problems dealing with the question which orders to discard or postpone in order to meet certain (timeliness) goals, and try to approach them by means of model based diagnosis. In thorough analyses, we identify many similarities of the introduced problems to diagnosis problems, but also reveal crucial idiosyncracies and outline ways to handle or leverage them. Finally, a proof of concept evaluation on industrial scale problem instances from a well known scheduling benchmark suite demonstrates that one of the two formalized problems can be well attacked by out of the box model based diagnosis tools.


Online to Offline Advertisements as Field Experiments. Online advertisements have become one of today's most widely used tools for enhancing businesses partly because of their compatibility with A B testing. A B testing allows sellers to find effective advertisement strategies such as ad creatives or segmentations. Even though several studies propose a technique to maximize the effect of an advertisement, there is insufficient comprehension of the customers' offline shopping behavior invited by the online advertisements. Herein, we study the difference in offline behavior between customers who received online advertisements and regular customers (i.e., the customers visits the target shop voluntary), and the duration of this difference. We analyzed approximately three thousand users' offline behavior with their 23.5 million location records through 31 A B testings. We first demonstrate the externality that customers with advertisements traverse larger areas than those without advertisements, and this spatial difference lasts several days after their shopping day. We then find a long run effect of this externality of advertising that a certain portion of the customers invited to the offline shops revisit these shops. Finally, based on this revisit effect findings, we utilize a causal machine learning model to propose a marketing strategy to maximize the revisit ratio. Our results suggest that advertisements draw customers who have different behavior traits from regular customers. This study's findings demonstrate that a simple analysis may underrate the effects of advertisements on businesses, and an analysis considering externality can attract potentially valuable customers.


A sparsity based nonlinear reconstruction method for two photon photoacoustic tomography. We present a new nonlinear optimization approach for the sparse reconstruction of single photon absorption and two photon absorption coefficients in photoacoustic tomography (PAT). This framework comprises of minimizing an objective functional involving a least squares fit of the interior pressure field data corresponding to two boundary source functions, where the absorption coefficients and the photon density are related through a semi linear elliptic partial differential equation (PDE) arising in PAT. Further, the objective functional consists of an L 1 regularization term that promotes sparsity patterns in absorption coefficients. The motivation for this framework primarily comes from some recent works related to solving inverse problems in acousto electric tomography and current density impedance tomography. We provide a new proof of existence and uniqueness of a solution to the semi linear PDE. Further, a proximal method, involving a Picard solver for the semi linear PDE and its adjoint, is used to solve the optimization problem. Several numerical experiments are presented to demonstrate the effectiveness of the proposed framework.


On Hardy type inequalities for weighted quasideviation means. Using recent results concerning the homogenization and the Hardy property of weighted means, we establish sharp Hardy constants for concave and monotone weighted quasideviation means and for a few particular subclasses of this broad family. More precisely, for a mean mathscr D like above and a sequence ( lambda n) of positive weights such that lambda n ( lambda 1 dots lambda n) is nondecreasing, we determine the smallest number H in (1, infty such that sum n 1 infty lambda n mathscr D big((x 1, dots,x n),( lambda 1, dots, lambda n) big) le H cdot sum n 1 infty lambda n x n text for all x in ell 1( lambda). It turns out that H depends only on the limit of the sequence ( lambda n ( lambda 1 dots lambda n)) and the behaviour of the mean mathscr D near zero.


Tools for modelling and simulating the Smart Grid. The Smart Grid (SG) is a Cyber Physical System (CPS) considered a critical infrastructure divided into cyber (software) and physical (hardware) counterparts that complement each other. It is responsible for timely power provision wrapped by Information and Communication Technologies (ICT) for handling bi directional energy flows in electric power grids. Enacting control and performance over the massive infrastructure of the SG requires convenient analysis methods. Modelling and simulation (M S) is a performance evaluation technique used to study virtually any system by testing designs and artificially creating 'what if' scenarios for system reasoning and advanced analysis. M S avoids stressing the actual physical infrastructure and systems in production by addressing the problem in a purely computational perspective. Present work compiles a non exhaustive list of tools for M S of interest when tackling SG capabilities. Our contribution is to delineate available options for modellers when considering power systems in combination with ICT. We also show the auxiliary tools and details of most relevant solutions pointing out major features and combinations over the years.


Compact embeddings of some weighted fractional Sobolev spaces on Rn . In this paper, we study a family of general fractional Sobolev spaces MsqpOm when Om Rn or Om is a bounded domain, having a compact, Lipschitz boundary Bdy , in Rn for n geq2 . Among other results, some compact embedding results of MVsqpRn hookrightarrow LqRn and MVsqpRn hookrightarrow LlRn for suitable potential functions V(x) are described.


To Schedule or not to Schedule Extracting Task Specific Temporal Entities and Associated Negation Constraints. State of the art research for date time entity extraction from text is task agnostic. Consequently, while the methods proposed in literature perform well for generic date time extraction from texts, they don't fare as well on task specific date time entity extraction where only a subset of the date time entities present in the text are pertinent to solving the task. Furthermore, some tasks require identifying negation constraints associated with the date time entities to correctly reason over time. We showcase a novel model for extracting task specific date time entities along with their negation constraints. We show the efficacy of our method on the task of date time understanding in the context of scheduling meetings for an email based digital AI scheduling assistant. Our method achieves an absolute gain of 19 f score points compared to baseline methods in detecting the date time entities relevant to scheduling meetings and a 4 improvement over baseline methods for detecting negation constraints over date time entities.


Evolved Art with Transparent, Overlapping, and Geometric Shapes. In this work, an evolutionary art project is presented where images are approximated by transparent, overlapping and geometric shapes of different types, e.g., polygons, circles, lines. Genotypes representing features and order of the geometric shapes are evolved with a fitness function that has the corresponding pixels of an input image as a target goal. A genotype to phenotype mapping is therefore applied to render images, as the chosen genetic representation is indirect, i.e., genotypes do not include pixels but a combination of shapes with their properties. Different combinations of shapes, quantity of shapes, mutation types and populations are tested. The goal of the work herein is twofold (1) to approximate images as precisely as possible with evolved indirect encodings, (2) to produce visually appealing results and novel artistic styles.


Effect of imposed shear on the dynamics of a contaminated two layer film flow down a slippery incline. The linear instability of a surfactant laden two layer falling film over an inclined slippery wall is analyzed under an influence of external shear which is imposed on the top surface of the flow. The free surface of the flow as well as the interface among the fluids are contaminated by insoluble surfactants. Dynamics of both the layers are governed by the Navier Stokes equations, and the surfactant transport equation regulates the motion of the insoluble surfactants at the interface and free surface. Instability mechanisms are compared by imposing the external shear along and opposite to the flow direction. A coupled Orr Sommerfeld system of equations for the considered problem is derived using the perturbation technique and normal mode analysis. The eigenmodes corresponding to the Orr Sommerfeld eigenvalue problem are obtained by employing the spectral collocation method. The numerical results imply that the stronger external shear destabilizes the interface mode instability. However, a stabilizing impact of the external shear on the surface mode is noticed if the shear is imposed in the flow direction, which is in contrast to the role of imposed external shear on the surface mode for a surfactant laden single layer falling film. Moreover, the impression of shear mode on the primary instability is analyzed in the high Reynolds number regime with sufficiently low inclination angle. Under such configuration, dominance of the shear mode over the surface mode is observed due to the weaker impact of the gravitation force on the surface instability. The shear mode can also be stabilized by applying the external shear in the counter direction of the streamwise flow. Conclusively, the extra imposed shear on the stratified two layer falling film plays an active role to control the attitude of the instabilities.


Hodge Numbers of Arbitrary Sections from Linear Sections. Let Y be a projective submanifold of the total space of the inverse of a very ample line bundle pi L 1 rightarrow B over a projective manifold B . Any section of L 1 rightarrow B is isomorphic to B and the Hodge numbers of any proper smooth multisection are determined by the degree d of that multi section as are the Hodge numbers of any smooth complete intersection of multi sections of degrees left(d 1 , ldots,d r right) . In this paper recursive formulae are given for those Hodge numbers in terms of the integers left d 1 , ldots,d r right and the Hodge numbers of the linear sections. The recursion proceeds by induction on dimension and degree. Its proof relies on the theory of asymptotic mixed Hodge structures. An interesting corollary is that the Lefschetz hyperplane property is weakened by one degree in this setting. That is, relative vanishing does not reach the middle degree of the hyperplane section but only to degree one less than the middle degree. As an application, in an Appendix, we calculate closed formulae for all Hodge numbers of all smooth complete intersections for the case dim B 3 .


Atomic Services sustainable ecosystem of smart city services through pan European collaboration. In a world with an ever increasing urbanization, governance is investigating innovative solutions to sustain the society evolution. Internet of Things promises huge benefits for cities and the proliferation of smart city deployments demonstrates the common acceptance of IoT as basis for many solutions. The city pilots developments occurred in parallel and with different designs thus creating fragmentation of IoT. The European project SynchroniCity aims to synchronize 8 smart cities to establish a shared environment fostering a self sustained business growth. In this article we present the collaborative methodology and shared efforts spent towards the creation of a common ecosystem for the development of smart city services. Our design evolves around the concept of "atomic services" that implements a single functional block to be composed for full fledged smart city services. This creates opportunities for diverse stakeholders to participate to a global smart cities market. The methodology and outcome of our efforts will be followed by 10 new cities globally, thus expanding the market range for IoT stakeholders


Multidimensional spectral order for selfadjoint operators. The aim of this paper is to extend the notion of the spectral order for finite families of pairwise commuting bounded and unbounded selfadjoint operators in Hilbert space. It is shown that the multidimensional spectral order preccurlyeq is preserved by transformations represented by spectral integrals of separately increasing Borel functions on mathbb R kappa . In particular, the kappa dimensional spectral order is the restriction of product of kappa spectral orders for selfadjoint operators. If mathbf A and mathbf B are positive kappa tuples of pairwise commuting selfadjoint operators, then relation mathbf A preccurlyeq mathbf B holds if and only if mathbf A alpha leqslant mathbf B alpha for every alpha in mathbb Z kappa .


A Brief Prehistory of Double Descent. In their thought provoking paper 1 , Belkin et al. illustrate and discuss the shape of risk curves in the context of modern high complexity learners. Given a fixed training sample size n , such curves show the risk of a learner as a function of some (approximate) measure of its complexity N . With N the number of features, these curves are also referred to as feature curves. A salient observation in 1 is that these curves can display, what they call, double descent with increasing N , the risk initially decreases, attains a minimum, and then increases until N equals n , where the training data is fitted perfectly. Increasing N even further, the risk decreases a second and final time, creating a peak at N n . This twofold descent may come as a surprise, but as opposed to what 1 reports, it has not been overlooked historically. Our letter draws attention to some original, earlier findings, of interest to contemporary machine learning.


A gridded establishment dataset as a proxy for economic activity in China. Measuring the geographical distribution of economic activity plays a key role in scientific research and policymaking. However, previous studies and data on economic activity either have a coarse spatial resolution or cover a limited time span, and the high resolution characteristics of socioeconomic dynamics are largely unknown. Here, we construct a dataset on the economic activity of mainland China, the gridded establishment dataset (GED), which measures the volume of establishments at a 0.01 circ latitude by 0.01 circ longitude scale. Specifically, our dataset captures the geographically based opening and closing of approximately 25.5 million firms that registered in mainland China over the period 2005 2015. The characteristics of fine granularity and long term observability give the GED a high application value. The dataset not only allows us to quantify the spatiotemporal patterns of the establishments, urban vibrancy and socioeconomic activity, but also helps us uncover the fundamental principles underlying the dynamics of industrial and economic development.


How question quality drives Web performance in community question answering sites. Users are posting millions of questions on Community question answering sites each day. The quality of those questions significantly affects the satisfactions of the sites' users and, therefore, sites' traffic. We gathered 15 question quality related features from one of the largest CQA sites and the site's pageview data to estimate the scale of the effect in the corresponding time series. By using a Grey Relational Analysis, we rank those question quality features and estimate the relative strength of these factors on a page's view numbers. Our results show that the features of question quality have a significant influence on web performance. We generate a ranked list of features and find that digital popularity and textual features can drive the page traffic more than questioner related features and question difficulty. The implications of the findings for Web growth and future research are discussed.


A Transfer Learning Approach for Dialogue Act Classification of GitHub Issue Comments. Social coding platforms, such as GitHub, serve as laboratories for studying collaborative problem solving in open source software development a key feature is their ability to support issue reporting which is used by teams to discuss tasks and ideas. Analyzing the dialogue between team members, as expressed in issue comments, can yield important insights about the performance of virtual teams. This paper presents a transfer learning approach for performing dialogue act classification on issue comments. Since no large labeled corpus of GitHub issue comments exists, employing transfer learning enables us to leverage standard dialogue act datasets in combination with our own GitHub comment dataset. We compare the performance of several word and sentence level encoding models including Global Vectors for Word Representations (GloVe), Universal Sentence Encoder (USE), and Bidirectional Encoder Representations from Transformers (BERT). Being able to map the issue comments to dialogue acts is a useful stepping stone towards understanding cognitive team processes.


An application of Cartan's equivalence method to Hirschowitz's conjecture on the formal principle. A conjecture of Hirschowitz's predicts that a globally generated vector bundle W on a compact complex manifold A satisfies the formal principle, i.e., the formal neighborhood of its zero section determines the germ of neighborhoods in the underlying complex manifold of the vector bundle W . By applying Cartan's equivalence method to a suitable differential system on the universal family of the Douady space of the complex manifold, we prove that this conjecture is true if A is a Fano manifold, or if the global sections of W separate points of A . Our method shows more generally that for any unobstructed compact submanifold A in a complex manifold, if the normal bundle is globally generated and its sections separate points of A , then a sufficiently general deformation of A satisfies the formal principle. In particular, a sufficiently general smooth free rational curve on a complex manifold satisfies the formal principle.


A sample path large deviation principle for dynamic Erd H o s R 'enyi random graphs. We consider a dynamic Erd H o s R 'enyi random graph (ERRG) on n vertices in which each edge switches on at rate lambda and switches off at rate mu , independently of other edges. The focus is on the analysis of the evolution of the associated empirical graphon in the limit as n to infty . Our main result is a large deviation principle (LDP) for the sample path of the empirical graphon observed until a fixed time horizon. The rate is binom n 2 , the rate function is a specific action integral on the space of graphon trajectories. We apply the LDP to identify (i) the most likely path that starting from a constant graphon creates a graphon with an atypically large density of d regular subgraphs, and (ii) the mostly likely path between two given graphons. It turns out that bifurcations may occur in the solutions of associated variational problems.


Deep Modular Co Attention Networks for Visual Question Answering. Visual Question Answering (VQA) requires a fine grained and simultaneous understanding of both the visual content of images and the textual content of questions. Therefore, designing an effective co attention' model to associate key words in questions with key objects in images is central to VQA performance. So far, most successful attempts at co attention learning have been achieved by using shallow models, and deep co attention models show little improvement over their shallow counterparts. In this paper, we propose a deep Modular Co Attention Network (MCAN) that consists of Modular Co Attention (MCA) layers cascaded in depth. Each MCA layer models the self attention of questions and images, as well as the guided attention of images jointly using a modular composition of two basic attention units. We quantitatively and qualitatively evaluate MCAN on the benchmark VQA v2 dataset and conduct extensive ablation studies to explore the reasons behind MCAN's effectiveness. Experimental results demonstrate that MCAN significantly outperforms the previous state of the art. Our best single model delivers 70.63 overall accuracy on the test dev set. Code is available at https github.com MILVLG mcan vqa.


A Natural Disasters Index. Natural disasters, such as tornadoes, floods, and wildfire pose risks to life and property, requiring the intervention of insurance corporations. One of the most visible consequences of changing climate is an increase in the intensity and frequency of extreme weather events. The relative strengths of these disasters are far beyond the habitual seasonal maxima, often resulting in subsequent increases in property losses. Thus, insurance policies should be modified to endure increasingly volatile catastrophic weather events. We propose a Natural Disasters Index (NDI) for the property losses caused by natural disasters in the United States based on the "Storm Data" published by the National Oceanic and Atmospheric Administration. The proposed NDI is an attempt to construct a financial instrument for hedging the intrinsic risk. The NDI is intended to forecast the degree of future risk that could forewarn the insurers and corporations allowing them to transfer insurance risk to capital market investors. This index could also be modified to other regions and countries.


A simplified ordinal analysis of first order reflection. In this note we give a simplified ordinal analysis of first order reflection. An ordinal notation system OT is introduced based on psi functions. Provable Sigma 1 sentences on L omega 1 CK are bounded through cut elimination on operator controlled derivations.


Asymptotic hollowness of lattice simplices. An (n 1) tuple a (a(1), dots, a(n 1)) consisting of positive integers is said to be asymptotically hollow if there exist infinitely many positive integers N such that the convex hull, K(a(n)) , in n dimensional Euclidean space of 0,e 1, dots, e n 1 , alpha(N) T is hollow (has no lattice points in its interior), where e i run over all but the last standard basis elements, and alpha(N) is the row (a(1), dots, a(N 1), N) . The tuple is trivial if min a(i) 1 . Nontrivial asymptotically hollow tuples are characterized in terms of modular inequalities, and turn out to be rare. We show that for a tuple a , there exists an effectively computable constant C (depending on a ) such that if for some N C , K( alpha(N)) is (not) hollow, then for all M C , K( alpha(M)) is (not) hollow (respectively). When n 4 , the nontrivial asymptotically hollow triples are completely determined there are eleven of them, together with a one parameter family.


Modeling microstructure price dynamics with symmetric Hawkes and diffusion model using ultra high frequency stock data. This study examine the theoretical and empirical perspectives of the symmetric Hawkes model of the price tick structure. Combined with the maximum likelihood estimation, the model provides a proper method of volatility estimation specialized in ultra high frequency analysis. Empirical studies based on the model using the ultra high frequency data of stocks in the S P 500 are performed. The performance of the volatility measure, intraday estimation, and the dynamics of the parameters are discussed. A new approach of diffusion analogy to the symmetric Hawkes model is proposed with the distributional properties very close to the Hawkes model. As a diffusion process, the model provides more analytical simplicity when computing the variance formula, incorporating skewness and examining the probabilistic property. An estimation of the diffusion model is performed using the simulated maximum likelihood method and shows similar patterns to the Hawkes model.


Evolutionary Planning in Latent Space. Planning is a powerful approach to reinforcement learning with several desirable properties. However, it requires a model of the world, which is not readily available in many real life problems. In this paper, we propose to learn a world model that enables Evolutionary Planning in Latent Space (EPLS). We use a Variational Auto Encoder (VAE) to learn a compressed latent representation of individual observations and extend a Mixture Density Recurrent Neural Network (MDRNN) to learn a stochastic, multi modal forward model of the world that can be used for planning. We use the Random Mutation Hill Climbing (RMHC) to find a sequence of actions that maximize expected reward in this learned model of the world. We demonstrate how to build a model of the world by bootstrapping it with rollouts from a random policy and iteratively refining it with rollouts from an increasingly accurate planning policy using the learned world model. After a few iterations of this refinement, our planning agents are better than standard model free reinforcement learning approaches demonstrating the viability of our approach.


Ribbonlength of families of folded ribbon knots. We study Kauffman's model of folded ribbon knots knots made of a thin strip of paper folded flat in the plane. The folded ribbonlength is the length to width ratio of such a ribbon knot. We give upper bounds on the folded ribbonlength of 2 bridge, (2,q) torus, twist, and pretzel knots, and these upper bounds turn out to be linear in the crossing number. We give a new way to fold (p,q) torus knots and show that their folded ribbonlength is bounded above by 2p . This means, for example, that the trefoil knot can be constructed with a folded ribbonlength of 6. We then show that any (p,q) torus knot K with p geq q 2 has a constant c 0 , such that the folded ribbonlength is bounded above by c cdot Cr(K) 1 2 . This provides an example of an upper bound on folded ribbonlength that is sub linear in crossing number.


Photonic hook a new type of subwavelength self bending structured light beams a tutorial review. During the last 2 years, it was shown that an electromagnetic beam configuration can be bent after propagation through an asymmetrically shaped (Janus) dielectric particle, which adds a new degree of simplicity for generation of a curved light beam. This effect is termed "photonic hook" (PH) and differs from Airy family beams. PH features the smallest curvature radius of electromagnetic waves ever reported which is about 2 times smaller than the wavelength of the electromagnetic wave. The nature of a photonic hook is a the dispersion of the phase velocity of the waves inside a trapezoid or composed particle, resulting in an interference afterwards.


A Generic Sharding Scheme for Blockchain Protocols. This thesis introduces a formal general framework for scaling blockchain protocols by sharding. The framework is modular and it can be adjusted for different needs or sets of assumptions. We prove that sharded protocols obtained by following our scheme (with correct modules in place) live up to the same safety and liveness guarantees as their non sharded counterparts. The proof is general and relies on well defined specifications of certain components. This lays the ground for simple proofs of correctness for sharded protocols obtained by following the proposed scheme. The framework is not left as an obscure specification of some high level structure explicit use is demonstrated by applying it to shard Algorand. As part of this concrete construction, a tamper proof mechanism to assign nodes to shards is introduced. This mechanism is constructed by using verifiable random functions and can safely withstand a powerful adaptive adversary.


Review and Critical Analysis of Privacy preserving Infection Tracking and Contact Tracing. The outbreak of viruses have necessitated contact tracing and infection tracking methods. Despite various efforts, there is currently no standard scheme for the tracing and tracking. Many nations of the world have therefore, developed their own ways where carriers of disease could be tracked and their contacts traced. These are generalized methods developed either in a distributed manner giving citizens control of their identity or in a centralised manner where a health authority gathers data on those who are carriers. This paper outlines some of the most significant approaches that have been established for contact tracing around the world. A comprehensive review on the key enabling methods used to realise the infrastructure around these infection tracking and contact tracing methods is also presented and recommendations are made for the most effective way to develop such a practice.


On the Chow groups of Pl "ucker hypersurfaces in Grassmannians. Motivated by the generalized Bloch conjecture, we formulate a conjecture about the Chow groups of Pl "ucker hypersurfaces in Grassmannians. We prove weak versions of this conjecture.


Fair and Representative Subset Selection from Data Streams. We study the problem of extracting a small subset of representative items from a large data stream. In many data mining and machine learning applications such as social network analysis and recommender systems, this problem can be formulated as maximizing a monotone submodular function subject to a cardinality constraint k . In this work, we consider the setting where data items in the stream belong to one of several disjoint groups and investigate the optimization problem with an additional emph fairness constraint that limits selection to a given number of items from each group. We then propose efficient algorithms for the fairness aware variant of the streaming submodular maximization problem. In particular, we first give a ( frac 1 2 varepsilon) approximation algorithm that requires O( frac 1 varepsilon log frac k varepsilon ) passes over the stream for any constant varepsilon 0 . Moreover, we give a single pass streaming algorithm that has the same approximation ratio of ( frac 1 2 varepsilon) when unlimited buffer sizes and post processing time are permitted, and discuss how to adapt it to more practical settings where the buffer sizes are bounded. Finally, we demonstrate the efficiency and effectiveness of our proposed algorithms on two real world applications, namely emph maximum coverage on large graphs and emph personalized recommendation .


Randomized Gossiping with Effective Resistance Weights Performance Guarantees and Applications. The effective resistance between a pair of nodes in a weighted undirected graph is defined as the potential difference induced when a unit current is injected at one node and extracted from the other, treating edge weights as the conductance values of edges. The effective resistance is a key quantity of interest in many applications, e.g., solving linear systems, Markov Chains, and continuous time averaging networks. We consider effective resistances (ER) in the context of designing randomized gossiping methods for the consensus problem, where the aim is to compute the average of node values in a distributed manner through iteratively computing weighted averages among randomly chosen neighbors. We show that employing ER weights improves the averaging time corresponding to the traditional choice of uniform weights the amount of improvement depends on the network structure. We illustrate these results through numerical experiments. We also present an application of the ER gossiping to distributed optimization we numerically verified that using ER gossiping within EXTRA and DPGA W methods improves their practical performance in terms of communication efficiency.


A note on Flenner's extension theorem. We show that any p form on the smooth locus of a normal complex space extends to a resolution of singularities, possibly with logarithmic poles, as long as p le mathrm codim X (X mathrm sg ) 2 , where c is the codimension of the singular locus. A stronger version of this result, allowing no poles at all, is originally due to Flenner. Our proof, however, is not only completely different, but also shorter and technically simpler. We furthermore give examples to show that the statement fails in positive characteristic.


MAP Elites enables Powerful Stepping Stones and Diversity for Modular Robotics. In modular robotics, modules can be reconfigured to change the morphology of the robot, making it able to adapt for specific tasks. However, optimizing both the body and control is a difficult challenge due to the intricate relationship between fine tuning control and morphological changes that can invalidate such optimizations. To solve this challenge we compare three different Evolutionary Algorithms on their capacity to optimize morphologies in modular robotics. We compare two objective based search algorithms, with MAP Elites. To understand the benefit of diversity we transition the evolved populations into two difficult environments to see if diversity can have an impact on solving complex environments. In addition, we analyse the genealogical ancestry to shed light on the notion of stepping stones as key to enable high performance. The results show that MAP Elites is capable of evolving the highest performing solutions in addition to generating the largest morphological diversity. For the transition between environments the results show that MAP Elites is better at regaining performance by promoting morphological diversity. With the analysis of genealogical ancestry we show that MAP Elites produces more diverse and higher performing stepping stones than the other objective based search algorithms. Transitioning the populations to more difficult environments show the utility of morphological diversity, while the analysis of stepping stones show a strong correlation between diversity of ancestry and maximum performance on the locomotion task. The paper shows the advantage of promoting diversity for solving a locomotion task in different environments for modular robotics. By showing that the quality and diversity of stepping stones in Evolutionary Algorithms is an important factor for overall performance we have opened up a new area of analysis and results.


Practical Aspect of Privacy Preserving Data Publishing in Process Mining. Process mining techniques such as process discovery and conformance checking provide insights into actual processes by analyzing event data that are widely available in information systems. These data are very valuable, but often contain sensitive information, and process analysts need to balance confidentiality and utility. Privacy issues in process mining are recently receiving more attention from researchers which should be complemented by a tool to integrate the solutions and make them available in the real world. In this paper, we introduce a Python based infrastructure implementing state of the art privacy preservation techniques in process mining. The infrastructure provides a hierarchy of usages from single techniques to the collection of techniques, integrated as web based tools. Our infrastructure manages both standard and non standard event data resulting from privacy preservation techniques. It also stores explicit privacy metadata to track the modifications applied to protect sensitive data.


Applications of derivative and difference operators on some sequences. In this study, depending on the upper and the lower indices of the hyperharmonic number h n (r) , nonlinear recurrence relations are obtained. It is shown that generalized harmonic number and hyperharmonic number can be obtained from derivatives of the binomial coefficients. Taking into account of difference and derivative operators, several identities of the harmonic and hyperharmonic numbers are given. Negative ordered hyperharmonic number is defined and its alternative representations are given.