Obstructing Classification via Projection. Machine learning and data mining techniques are effective tools to classify large amounts of data. But they tend to preserve any inherent bias in the data, for example, with regards to gender or race. Removing such bias from data or the learned representations is quite challenging. In this paper we study a geometric problem which models a possible approach for bias removal. Our input is a set of points P in Euclidean space R d and each point is labeled with k binary valued properties. A priori we assume that it is "easy" to classify the data according to each property. Our goal is to obstruct the classification according to one property by a suitable projection to a lower dimensional Euclidean space R m (m d), while classification according to all other properties remains easy. What it means for classification to be easy depends on the classification model used. We first consider classification by linear separability as employed by support vector machines. We use Kirchberger's Theorem to show that, under certain conditions, a simple projection to R (d 1) suffices to eliminate the linear separability of one of the properties whilst maintaining the linear separability of the other properties. We also study the problem of maximizing the linear "inseparability" of the chosen property. Second, we consider more complex forms of separability and prove a connection between the number of projections required to obstruct classification and the Helly type properties of such separabilities.


Centered polygon numbers, heptagons and nonagons, and the Robbins numbers. In this note, we explore certain determinantal descriptions of the Robbins numbers. Techniques used for this include continued fractions, Riordan arrays and series inversion. Proven and conjectured representations involve the determinants of both Hankel and symmetric matrices. In specific cases, links are drawn to centered polygonal numbers, and to heptagons and nonagons. We conjecture a Hankel transform determinant for the Robbins numbers related to the Fibonacci and the Catalan numbers.


Predify Augmenting deep neural networks with brain inspired predictive coding dynamics. Deep neural networks excel at image classification, but their performance is far less robust to input perturbations than human perception. In this work we explore whether this shortcoming may be partly addressed by incorporating brain inspired recurrent dynamics in deep convolutional networks. We take inspiration from a popular framework in neuroscience 'predictive coding'. At each layer of the hierarchical model, generative feedback 'predicts' (i.e., reconstructs) the pattern of activity in the previous layer. The reconstruction errors are used to iteratively update the network's representations across timesteps, and to optimize the network's feedback weights over the natural image dataset a form of unsupervised training. We show that implementing this strategy into two popular networks, VGG16 and EfficientNetB0, improves their robustness against various corruptions and adversarial attacks. We hypothesize that other feedforward networks could similarly benefit from the proposed framework. To promote research in this direction, we provide an open sourced PyTorch based package called Predify, which can be used to implement and investigate the impacts of the predictive coding dynamics in any convolutional neural network.


Geometric partial comodules over flat coalgebras in Abelian categories are globalizable. The aim of this paper is to prove the statement in the title. As a by product, we obtain new globalization results in cases never considered before, such as partial corepresentations of Hopf algebras. Moreover, we show that for partial representations of groups and Hopf algebras, our globalization coincides with those described earlier in literature. Finally, we introduce Hopf partial comodules over a bialgebra as geometric partial comodules in the monoidal category of (global) modules. By applying our globalization theorem we obtain an analogue of the fundamental theorem for Hopf modules in this partial setting.


Generalised Wendland functions for the sphere. In this paper we compute the spherical Fourier expansions coefficients for the restriction of the generalised Wendland functions from d dimensional Euclidean space to the (d 1) dimensional unit sphere. The development required to derive these coefficients relies heavily upon known asymptotic results for hypergeometric functions and the final result shows that they can be expressed in closed form as a multiple of a certain 3 F 2 hypergeometric function. Using the closed form expressions we are able to provide the precise asymptotic rates of decay for the spherical Fourier coefficients which we observe have a close connection to the asymptotic decay rate of the corresponding Euclidean Fourier transform.


Giant asymmetric second harmonic generation in bianisotropic metasurfaces based on bound states in the continuum. Bianisotropy is a powerful concept enabling asymmetric optical response, including asymmetric reflection, absorption, optical forces, light trapping, and lasing. The physical origin of these asymmetric effects can be understood from magnetoelectric coupling and asymmetrical field enhancement. Here, we theoretically propose highly asymmetric second harmonic generation (SHG) in bianisotropic AlGaAs metasurfaces. We show that around four orders of magnitude second harmonic power difference for the forward and backward illuminations can be obtained by altering geometrical parameters that coincide with quasi bound states in the continuum. Our study paves the way towards a directional generation of higher order waves and can be potentially useful for nonlinear holograms.


mathbb Z graded identities of the Lie algebras U 1 . Let K be an infinite field of characteristic different from two and let U 1 be the Lie algebra of the derivations of the algebra of Laurent polynomials K t,t 1 . The algebra U 1 admits a natural mathbb Z grading. We provide a basis for the graded identities of U 1 and prove that they do not admit any finite basis. Moreover, we provide a basis for the identities of certain graded Lie algebras with a grading such that every homogeneous component has dimension leq 1 , if a basis of the multilinear graded identities is known. As a consequence of this latter result we are able to provide a basis of the graded identities of the Lie algebra W 1 of the derivations of the polynomial ring K t . The mathbb Z graded identities for W 1 , in characteristic 0, were described in cite FKK . As a consequence of our results, we give an alternative proof of the main result, Theorem 1, in cite FKK , and generalize it to positive characteristic. We also describe a basis of the graded identities for the special linear Lie algebra sl q(K) with the Pauli gradings where q is a prime number.


GAGA problems for the Brauer group via derived geometry. In this paper we prove that the Brauer group of any (derived) scheme X , proper over the spectrum of a quasi excellent Henselian ring, injects into the Brauer group of the Henselization of X along the base, generalizing a classical result of Grothendieck. We offer two proofs of this fact, one based on a formal GAGA type theorem for smooth and proper stable infty categories enriched over the infty category mathrm QCoh (X) of quasi coherent mathscr O X modules, and a second one based on a GAGA type theorem for perfect complexes on mathbb G m gerbes.


Corrective Information Does Not Necessarily Curb Social Disruption. The spread of misinformation can cause social confusion. The authenticity of information on a social networking service (SNS) is unknown, and false information can be easily spread. Consequently, many studies have been conducted on methods to control the spread of misinformation on social networking sites. However, few studies have examined the impact of the spread of misinformation and its corrections on society. This study models the impact of the reduction of misinformation and the diffusion of corrective information on social disruption, and it identifies the features of this impact. In this study, we analyzed misinformation regarding the shortage of toilet paper during the 2020 COVID 19 epidemic, its corrections, and the excessive purchasing caused by this information. First, we analyze the amount of misinformation and corrective information spread on SNS, and we create a regression model to estimate the real world impact of misinformation and its correction. This model is used to analyze the change in real world impact corresponding to the change in the diffusion of misinformation and corrective information. Our analysis shows that the corrective information was spread to a much greater extent than the misinformation. In addition, our model reveals that the corrective information was what caused the excessive purchasing behavior. As a result of our further analysis, we found that the amount of diffusion of corrective information required to minimize the impact on the real world depends on the amount of the diffusion of misinformation.


Embedding Grid Graphs on Surfaces. In this paper, we analyze embeddings of grid graphs on orientable surfaces. We determine the genus of a large class of k dimensional grid graphs and effective two sided bounds for the genus of any 3 dimensional grid graph, both in terms of a grid graph's combinatorics. As an application, we provide a complete classification of planar and toroidal grid graphs. Our work requires a variety of combinatorial arguments to determine effective lower bounds on the genus of a grid graph, along with explicitly constructing embeddings of grid graphs on surfaces to determine effective upper bounds on their genera.


Gamified Crowdsourcing for Idiom Corpora Construction. Learning idiomatic expressions is seen as one of the most challenging stages in second language learning because of their unpredictable meaning. A similar situation holds for their identification within natural language processing applications such as machine translation and parsing. The lack of high quality usage samples exacerbates this challenge not only for humans but also for artificial intelligence systems. This article introduces a gamified crowdsourcing approach for collecting language learning materials for idiomatic expressions a messaging bot is designed as an asynchronous multiplayer game for native speakers who compete with each other while providing idiomatic and nonidiomatic usage examples and rating other players' entries. As opposed to classical crowdprocessing annotation efforts in the field, for the first time in the literature, a crowdcreating crowdrating approach is implemented and tested for idiom corpora construction. The approach is language independent and evaluated on two languages in comparison to traditional data preparation techniques in the field. The reaction of the crowd is monitored under different motivational means (namely, gamification affordances and monetary rewards). The results reveal that the proposed approach is powerful in collecting the targeted materials, and although being an explicit crowdsourcing approach, it is found entertaining and useful by the crowd. The approach has been shown to have the potential to speed up the construction of idiom corpora for different natural languages to be used as second language learning material, training data for supervised idiom identification systems, or samples for lexicographic studies.


Parking functions, multi shuffle, and asymptotic phenomena. Given a positive integer valued vector u (u 1, dots, u m) with u 1 cdots u m . A u parking function of length m is a sequence pi ( pi 1, dots, pi m) of positive integers whose non decreasing rearrangement ( lambda 1, dots, lambda m) satisfies lambda i leq u i for all 1 leq i leq m . We introduce a combinatorial construction termed a parking function multi shuffle to generic u parking functions and obtain an explicit characterization of multiple parking coordinates. As an application, we derive various asymptotic probabilistic properties of a uniform u parking function when u i cm ib . The asymptotic scenario in the generic situation c 0 is in sharp contrast with that of the special situation c 0 .


Approximation Schemes for Path Integration on Riemannian Manifolds. In this paper, we prove a finite dimensional approximation scheme for the Wiener measure on closed Riemannian manifolds, establishing a generalization for L 1 functionals, of the approach followed by Andersson and Driver on 1 . We follow a new approach motived by categorical concept of colimit.


Formalising a Turing Complete Choreographic Language in Coq. Theory of choreographic languages typically includes a number of complex results that are proved by structural induction. The high number of cases and the subtle details in some of them lead to long reviewing processes, and occasionally to errors being found in published proofs. In this work, we take a published proof of Turing completeness of a choreographic language and formalise it in Coq. Our development includes formalising the choreographic language and its basic properties, Kleene's theory of partial recursive functions, the encoding of these functions as choreographies, and proving this encoding correct. With this effort, we show that theorem proving can be a very useful tool in the field of choreographic languages besides the added degree of confidence that we get from a mechanised proof, the formalisation process led us to a significant simplification of the underlying theory. Our results offer a foundation for the future formal development of choreographic languages.


A family of flat Minkowski planes over convex functions. Using suitable convex functions, we construct a new family of flat Minkowski planes whose automorphism groups are at least 3 dimensional. These planes admit groups of automorphisms isomorphic to the direct product of mathbb R and the connected component of the affine group on mathbb R . We also determine isomorphism classes, automorphisms and possible Klein Kroll types for our examples.


PoseAug A Differentiable Pose Augmentation Framework for 3D Human Pose Estimation. Existing 3D human pose estimators suffer poor generalization performance to new datasets, largely due to the limited diversity of 2D 3D pose pairs in the training data. To address this problem, we present PoseAug, a new auto augmentation framework that learns to augment the available training poses towards a greater diversity and thus improve generalization of the trained 2D to 3D pose estimator. Specifically, PoseAug introduces a novel pose augmentor that learns to adjust various geometry factors (e.g., posture, body size, view point and position) of a pose through differentiable operations. With such differentiable capacity, the augmentor can be jointly optimized with the 3D pose estimator and take the estimation error as feedback to generate more diverse and harder poses in an online manner. Moreover, PoseAug introduces a novel part aware Kinematic Chain Space for evaluating local joint angle plausibility and develops a discriminative module accordingly to ensure the plausibility of the augmented poses. These elaborate designs enable PoseAug to generate more diverse yet plausible poses than existing offline augmentation methods, and thus yield better generalization of the pose estimator. PoseAug is generic and easy to be applied to various 3D pose estimators. Extensive experiments demonstrate that PoseAug brings clear improvements on both intra scenario and cross scenario datasets. Notably, it achieves 88.6 3D PCK on MPI INF 3DHP under cross dataset evaluation setup, improving upon the previous best data augmentation based method by 9.1 . Code can be found at https github.com jfzhang95 PoseAug.


Intent based Product Collections for E commerce using Pretrained Language Models. Building a shopping product collection has been primarily a human job. With the manual efforts of craftsmanship, experts collect related but diverse products with common shopping intent that are effective when displayed together, e.g., backpacks, laptop bags, and messenger bags for freshman bag gifts. Automatically constructing a collection requires an ML system to learn a complex relationship between the customer's intent and the product's attributes. However, there have been challenging points, such as 1) long and complicated intent sentences, 2) rich and diverse product attributes, and 3) a huge semantic gap between them, making the problem difficult. In this paper, we use a pretrained language model (PLM) that leverages textual attributes of web scale products to make intent based product collections. Specifically, we train a BERT with triplet loss by setting an intent sentence to an anchor and corresponding products to positive examples. Also, we improve the performance of the model by search based negative sampling and category wise positive pair augmentation. Our model significantly outperforms the search based baseline model for intent based product matching in offline evaluations. Furthermore, online experimental results on our e commerce platform show that the PLM based method can construct collections of products with increased CTR, CVR, and order diversity compared to expert crafted collections.


Coherence Attacks and Countermeasures in Interposer Based Systems. Industry is moving towards large scale systems where processor cores, memories, accelerators, etc. are bundled via 2.5D integration. These various components are fabricated separately as chiplets and then integrated using an interconnect carrier, a so called interposer. This new design style provides benefits in terms of yield as well as economies of scale, as chiplets may come from various third party vendors, and be integrated into one sophisticated system. The benefits of this approach, however, come at the cost of new challenges for the system's security and integrity when many third party component chiplets, some from not fully trusted vendors, are integrated. Here, we explore these challenges, but also promises, for modern interposer based systems of cache coherent, multi core chiplets. First, we introduce a new, coherence based attack, GETXspy, wherein a single compromised chiplet can expose a high bandwidth side covert channel in an ostensibly secure system. We further show that prior art is insufficient to stop this new attack. Second, we propose using an active interposer as generic, secure by construction platform that forms a physical root of trust for modern 2.5D systems. Our scheme has limited overhead, restricted to the active interposer, allowing the chiplets and the coherence system to remain untouched. We show that our scheme prevents a wide range of attacks, including but not limited to our GETXspy attack, with little overhead on system performance, sim 4 . This overhead reduces as workloads increase, ensuring scalability of the scheme.


Poisson process approximation under stabilization and Palm coupling. We present new Poisson process approximation results for stabilizing functionals of Poisson and binomial point processes. These functionals are allowed to have an unbounded range of interaction and encompass many examples in stochastic geometry. Our bounds are derived for the Kantorovich Rubinstein distance using the generator approach to Stein's method. We give different types of bounds for different point processes. While some of our bounds are given in terms of coupling of the point process with its Palm version, the others are in terms of the local dependence structure formalized via the notion of stabilization. We provide two supporting examples for our new framework one is for Morse critical points of the distance function, and the other is for large k nearest neighbor balls. Our bounds considerably extend the results in Barbour and Brown (1992), Decreusefond, Schulte and Thale (2016) and Otto (2020).


On Lower Bounds of Approximating Parameterized k Clique. Given a simple graph G and an integer k , the goal of k Clique problem is to decide if G contains a complete subgraph of size k . We say an algorithm approximates k Clique within a factor g(k) if it can find a clique of size at least k g(k) when G is guaranteed to have a k clique. Recently, it was shown that approximating k Clique within a constant factor is W 1 hard Lin21 . We study the approximation of k Clique under the Exponential Time Hypothesis (ETH). The reduction of Lin21 already implies an n Omega( sqrt 6 log k ) time lower bound under ETH. We improve this lower bound to n Omega( log k) . Using the gap amplification technique by expander graphs, we also prove that there is no k o(1) factor FPT approximation algorithm for k Clique under ETH. We also suggest a new way to prove the Parameterized Inapproximability Hypothesis (PIH) under ETH. We show that if there is no n O( frac k log k ) algorithm to approximate k Clique within a constant factor, then PIH is true.


On n generalized commutators and Lie ideals of rings. Let R be an associative ring.In the paper we study n generalized commutators of rings and prove that if R is a noncommutative prime ring and n 2, then every nonzero n generalized Lie ideal of R contains a nonzero ideal. Therefore, if R is a noncommutative simple ring, then R R, . . . ,R n. This extends a classical result due to Herstein (Portugal. Math., 1954). Some generalizations and related questions on n generalized commutators and their relationship with noncommutative polynomials are also discussed.


Variety Evasive Subspace Families. We introduce the problem of constructing explicit variety evasive subspace families. Given a family mathcal F of subvarieties of a projective or affine space, a collection mathcal H of projective or affine k subspaces is ( mathcal F , epsilon) evasive if for every mathcal V in mathcal F , all but at most epsilon fraction of W in mathcal H intersect every irreducible component of mathcal V with (at most) the expected dimension. The problem of constructing such an explicit subspace family generalizes both deterministic black box polynomial identity testing (PIT) and the problem of constructing explicit (weak) lossless rank condensers. Using Chow forms, we construct explicit k subspace families of polynomial size that are evasive for all varieties of bounded degree in a projective or affine n space. As one application, we obtain a complete derandomization of Noether's normalization lemma for varieties of low degree in a projective or affine n space. In another application, we obtain a simple polynomial time black box PIT algorithm for depth 4 arithmetic circuits with bounded top fan in and bottom fan in that are not in the Sylvester Gallai configuration, improving and simplifying a result of Gupta (ECCC TR 14 130). As a complement of our explicit construction, we prove a tight lower bound for the size of k subspace families that are evasive for degree d varieties in a projective n space. When n k n Omega(1) , the lower bound is superpolynomial unless d is bounded. The proof uses a dimension counting argument on Chow varieties that parametrize projective subvarieties.


Close contact risk assessment for SARS CoV 2 infection. Although close contact represents an important contagion route, the mechanism of exposure to exhaled droplets remains insufficiently characterized. In this study, an integrated risk assessment is presented for SARS CoV 2 close contact exposure between a speaking infectious subject and a susceptible subject. It is based on a three dimensional transient numerical model for the description of exhaled droplet spread once emitted by a speaking person, coupled with a recently proposed SARS CoV 2 emission approach. Particle image velocimetry measurements were conducted to validate the numerical model. The contribution of large droplets to infection risk is dominant for distances 0.6 m, whereas for longer distances, the exposure risk depends only on airborne droplets. In particular, for short exposures (10 s) a minimum safety distance of 0.75 m should be maintained to lower the risk below 0.1 for exposures of 1 and 15 min this distance increases to about 1.0 and 1.5 m, respectively. Based on the interpersonal distances across countries reported as a function of interacting individuals, cultural differences, and environmental and sociopsychological factors, the approach presented here revealed that, in addition to intimate and personal distances, particular attention must be paid to exposures longer than 1 min within social distances (of about 1 m).


Computing the dominant eigenpair of an essentially nonnegative tensor via a homotopy method. The theory of eigenvalues and eigenvectors is one of the fundamental and essential components in tensor analysis. Computing the dominant eigenpair of an essentially nonnegative tensor is an important topic in tensor computation because of the critical applications in network resource allocations. In this paper, we consider the aforementioned topic and there are two main contributions. First, we show that an irreducible essentially nonnegative tensor has a unique positive dominant eigenvalue with a unique positive normalized eigenvector. Second, we present a homotopy method to compute the dominant eigenpair and prove that it converges to the desired dominant eigenpair whether the given tensor is irreducible or reducible based on an approximation technique. Finally, we implement the method using a prediction correction approach for path following and some numerical results are reported to illustrate the efficiency of the proposed algorithm.


Output sensitive Computation of Generalized Persistence Diagrams for 2 filtrations. When persistence diagrams are formalized as the Mobius inversion of the birth death function, they naturally generalize to the multi parameter setting and enjoy many of the key properties, such as stability, that we expect in applications. The direct definition in the 2 parameter setting, and the corresponding brute force algorithm to compute them, require Omega(n 4) operations. But the size of the generalized persistence diagram, C , can be as low as linear (and as high as cubic). We elucidate a connection between the 2 parameter and the ordinary 1 parameter settings, which allows us to design an output sensitive algorithm, whose running time is in O(n 3 Cn) .


"Hey Alexa, What do You Know About the COVID 19 Vaccine?" (Mis)perceptions of Mass Immunization Among Voice Assistant Users. In this paper, we analyzed the perceived accuracy of COVID 19 vaccine information spoken back by Amazon Alexa. Unlike social media, Amazon Alexa doesn't apply soft moderation to unverified content, allowing for use of third party malicious skills to arbitrarily phrase COVID 19 vaccine information. The results from a 210 participant study suggest that a third party malicious skill could successful reduce the perceived accuracy among the users of information as to who gets the vaccine first, vaccine testing, and the side effects of the vaccine. We also found that the vaccine hesitant participants are drawn to pessimistically rephrased Alexa responses focused on the downsides of the mass immunization. We discuss solutions for soft moderation against misperception inducing or altogether COVID 19 misinformation malicious third party skills.


Traders in a Strange Land Agent based discrete event market simulation of the Figgie card game. Figgie is a card game that approximates open outcry commodities trading. We design strategies for Figgie and study their performance and the resulting market behavior. To do this, we develop a flexible agent based discrete event market simulation in which agents operating under our strategies can play Figgie. Our simulation builds upon previous work by simulating latencies between agents and the market in a novel and efficient way. The fundamentalist strategy we develop takes advantage of Figgie's unique notion of asset value, and is, on average, the profit maximizing strategy in all combinations of agent strategies tested. We develop a strategy, the "bottom feeder", which estimates value by observing orders sent by other agents, and find that it limits the success of fundamentalists. We also find that chartist strategies implemented, including one from the literature, fail by going into feedback loops in the small Figgie market. We further develop a bootstrap method for statistically comparing strategies in a zero sum game. Our results demonstrate the wide ranging applicability of agent based discrete event simulations in studying markets.


AsymML An Asymmetric Decomposition Framework for Privacy Preserving DNN Training and Inference. Leveraging parallel hardware (e.g. GPUs) to conduct deep neural network (DNN) training inference, though significantly speeds up the computations, raises several data privacy concerns. Trusted execution environments (TEEs) have emerged as a promising solution to enable privacy preserving inference and training. TEEs, however, have limited memory and computation resources which renders it not comparable to untrusted parallel hardware in performance. To mitigate the trade off between privacy and computing performance, we propose an asymmetric model decomposition framework, AsymML, to (1) accelerate training inference using parallel hardware and (2) preserve privacy using TEEs. By exploiting the low rank characteristics in data and intermediate features, AsymML asymmetrically splits a DNN model into trusted and untrusted parts the trusted part features privacy sensitive data but incurs small compute memory costs while the untrusted part is computationally intensive but not privacy sensitive. Computing performance and privacy are guaranteed by respectively delegating the trusted and untrusted part to TEEs and GPUs. Furthermore, we present a theoretical rank bound analysis showing that low rank characteristics are still preserved in intermediate features, which guarantees efficiency of AsymML. Extensive evaluations on DNN models shows that AsymML delivers 11.2 times speedup in inference, 7.6 times in training compared to the TEE only executions.


Rerunning OCR A Machine Learning Approach to Quality Assessment and Enhancement Prediction. Iterating with new and improved OCR solutions enforces decision making when it comes to targeting the right candidates for reprocessing. This especially applies when the underlying data collection is of considerable size and rather diverse in terms of fonts, languages, periods of publication and consequently OCR quality. This article captures the efforts of the National Library of Luxembourg to support those targeting decisions. They are crucial in order to guarantee low computational overhead and reduced quality degradation risks, combined with a more quantifiable OCR improvement. In particular, this work explains the methodology of the library with respect to text block level quality assessment. Through extension of this technique, a regression model, that is able to take into account the enhancement potential of a new OCR engine, is also presented. They both mark promising approaches, especially for cultural institutions dealing with historical data of lower quality.


Circumcenters in Finsler unitary groups. We study convexity properties of distance functions in Finsler unitary groups, where the Finsler structure is defined by translation of the p Schatten norm on the Lie algebra. As a result we prove the existence of circumcenters for sets with radius less than pi 2 in several metrics. This result is applied to a fixed point property and to quantitative metric bounds in certain rigidity problems. Bounds for convexity, existence of circumcenters and rigidity are shown to be optimal.


A Deep and Wide Neural Network based Model for Rajasthan Summer Monsoon Rainfall (RSMR) Prediction. Importance of monsoon rainfall cannot be ignored as it affects round the year activities ranging from agriculture to industrial. Accurate rainfall estimation and prediction is very helpful in decision making in the sectors of water resource management and agriculture. Due to dynamic nature of monsoon rainfall, it's accurate prediction becomes very challenging task. In this paper, we analyze and evaluate various deep learning approaches such as one dimensional Convolutional Neutral Network, Multi layer Perceptron and Wide Deep Neural Networks for the prediction of summer monsoon rainfall in Indian state of Rajasthan.For our analysis purpose we have used two different types of datasets for our experiments. From IMD grided dataset, rainfall data of 484 coordinates are selected which lies within the geographical boundaries of Rajasthan. We have also collected rainfall data of 158 rain gauge station from water resources department. The comparison of various algorithms on both these data sets is presented in this paper and it is found that Deep Wide Neural Network based model outperforms the other two approaches.


Robust Forecasting using Predictive Generalized Synchronization in Reservoir Computing. Reservoir computers (RC) are a form of recurrent neural network (RNN) used for forecasting timeseries data. As with all RNNs, selecting the hyperparameters presents a challenge when training onnew inputs. We present a method based on generalized synchronization (GS) that gives direction in designing and evaluating the architecture and hyperparameters of an RC. The 'auxiliary method' for detecting GS provides a computationally efficient pre training test that guides hyperparameterselection. Furthermore, we provide a metric for RC using the reproduction of the input system's Lyapunov exponentsthat demonstrates robustness in prediction.


Ultrafast electron diffractometer with Terahertz driven pulse compression. Terahertz (THz) based electron manipulation has recently been shown to hold tremendous promise as a technology for manipulating and driving the next generation of compact ultrafast electron sources. Here, we demonstrate an ultrafast electron diffractometer with THz driven pulse compression. The electron bunches from a conventional DC gun are compressed by a factor of 10 and reach a duration of 180 fs (FWHM) with 10,000 electrons pulse at a 1 kHz repetition rate. The resulting ultrafast electron source is used in a proof of principle experiment to probe the photoinduced dynamics of single crystal silicon. The THz compressed electron beams produce high quality diffraction patterns and enable observation of the ultrafast structural dynamics with improved time resolution. These results validate the maturity of THz driven ultrafast electron sources for use in precision applications.


Parallel Minimum Cuts in O(m log 2(n)) Work and Low Depth. We present a randomized O(m log 2 n) work, O( text polylog n) depth parallel algorithm for minimum cut. This algorithm matches the work bounds of a recent sequential algorithm by Gawrychowski, Mozes, and Weimann ICALP'20 , and improves on the previously best parallel algorithm by Geissmann and Gianinazzi SPAA'18 , which performs O(m log 4 n) work in O( text polylog n) depth. Our algorithm makes use of three components that might be of independent interest. Firstly, we design a parallel data structure that efficiently supports batched mixed queries and updates on trees. It generalizes and improves the work bounds of a previous data structure of Geissmann and Gianinazzi and is work efficient with respect to the best sequential algorithm. Secondly, we design a parallel algorithm for approximate minimum cut that improves on previous results by Karger and Motwani. We use this algorithm to give a work efficient procedure to produce a tree packing, as in Karger's sequential algorithm for minimum cuts. Lastly, we design an efficient parallel algorithm for solving the minimum 2 respecting cut problem.


Representation of a vehicular traffic model using hybrid systems. There is a great diversity of formal models to understand the dynamics of transport and vehicular flow on a road. Many of these models are inspired by the dynamics of flows governed by partial differential equations. However, it is possible to simplify these models to ordinary equations by considering constant variations in some of the input variables in this type of models. However, given that these types of systems present discrete changes when the vehicle density is altered in some sections of the lane, it seems reasonable to make use of hybrid systems to better understand the evolution of these dynamics. In this work we are interested in making use of dynamic differential logic to formally verify one of these models proposed in ordinary equations. This verification will be done through a proof assistant specially designed for hybrid systems called KeYmaera. Once we adapt the model to a hybrid system representation we proceed to use KeYmaera to verify that the proposed model is formally correct.


Secure Cognitive Radio Communication via Intelligent Reflecting Surface. In this paper, an intelligent reflecting surface (IRS) assisted spectrum sharing underlay cognitive radio (CR) wiretap channel (WTC) is studied, and we aim at enhancing the secrecy rate of secondary user in this channel subject to total power constraint at secondary transmitter (ST), interference power constraint (IPC) at primary receiver (PR) as well as unit modulus constraint at IRS. Due to extra IPC and eavesdropper (Eve) are considered, all the existing solutions for enhancing secrecy rate of IRS assisted non CR WTC as well as enhancing transmission rate in IRS assisted CR channel without eavesdropper fail in this work. Therefore, we propose new numerical solutions to optimize the secrecy rate of this channel under full primary, secondary users' channel state information (CSI) and three different cases of Eve's CSI full CSI, imperfect CSI with bounded estimation error, and no CSI. Simulation results show that our proposed solutions for the IRS assisted design greatly enhance the secrecy performance compared with the existing numerical solutions with and without IRS under full and imperfect Eve's CSI. And positive secrecy rate can be achieved by our proposed AN aided approach given most channel realizations under no Eve's CSI case so that secure communication also can be guaranteed. All of the proposed AO algorithms are guaranteed to monotonic convergence.


Passivity preserving model reduction via spectral factorization. We present a novel model order reduction (MOR) method for linear time invariant systems that preserves passivity and is thus suited for structure preserving MOR for port Hamiltonian (pH) systems. Our algorithm exploits the well known spectral factorization of the Popov function by a solution of the Kalman Yakubovich Popov (KYP) inequality. It performs MOR directly on the spectral factor inheriting the original system's sparsity enabling MOR in a large scale context. Our analysis reveals that the spectral factorization corresponding to the minimal solution of an associated algebraic Riccati equation is preferable from a model reduction perspective and benefits pH preserving MOR methods such as a modified version of the iterative rational Krylov algorithm (IRKA). Numerical examples demonstrate that our approach can produce high fidelity reduced order models close to (unstructured) mathcal H 2 optimal reduced order models.


Categories of graphs for operadic structures. We recall several categories of graphs which are useful for describing homotopy coherent versions of generalized operads (e.g. cyclic operads, modular operads, properads, and so on), and give new, uniform definitions for their morphisms. This allows for straightforward comparisons, and we use this to show that certain free forgetful adjunctions between categories of generalized operads can be realized at the level of presheaves. This includes adjunctions between operads and cyclic operads, between dioperads and augmented cyclic operads, and betweeen wheeled properads and modular operads.


Towards Open World Feature Extrapolation An Inductive Graph Learning Approach. We target open world feature extrapolation problem where the feature space of input data goes through expansion and a model trained on partially observed features needs to handle new features in test data without further retraining. The problem is of much significance for dealing with features incrementally collected from different fields. To this end, we propose a new learning paradigm with graph representation and learning. Our framework contains two modules 1) a backbone network (e.g., feedforward neural nets) as a lower model takes features as input and outputs predicted labels 2) a graph neural network as an upper model learns to extrapolate embeddings for new features via message passing over a feature data graph built from observed data. Based on our framework, we design two training strategies, a self supervised approach and an inductive learning approach, to endow the model with extrapolation ability and alleviate feature level over fitting. We also provide theoretical analysis on the generalization error on test data with new features, which dissects the impact of training features and algorithms on generalization performance. Our experiments over several classification datasets and large scale advertisement click prediction datasets demonstrate that our model can produce effective embeddings for unseen features and significantly outperforms baseline methods that adopt KNN and local aggregation.


Modules for algebraic groups with finitely many orbits on totally singular 2 spaces. This is the author's second paper treating the double coset problem for classical groups. Let G be an algebraic group over an algebraically closed field K . The double coset problem consists of classifying the pairs H,J of closed connected subgroups of G with finitely many (H,J) double cosets in G . The critical setup occurs when one of H,J , say H , is reductive, and J is a parabolic subgroup. Assume that G is a classical group, H is simple and J is a maximal parabolic P k , the stabilizer of a totally singular k space. Then most candidates have k 1 or k 2 . The case k 1 was solved in a previous paper and here we deal with k 2 . We solve this case by determining all faithful irreducible self dual H modules V , such that H has finitely may orbits on totally singular 2 spaces of V .


Unsupervised Learning of Fine Structure Generation for 3D Point Clouds by 2D Projection Matching. Learning to generate 3D point clouds without 3D supervision is an important but challenging problem. Current solutions leverage various differentiable renderers to project the generated 3D point clouds onto a 2D image plane, and train deep neural networks using the per pixel difference with 2D ground truth images. However, these solutions are still struggling to fully recover fine structures of 3D shapes, such as thin tubes or planes. To resolve this issue, we propose an unsupervised approach for 3D point cloud generation with fine structures. Specifically, we cast 3D point cloud learning as a 2D projection matching problem. Rather than using entire 2D silhouette images as a regular pixel supervision, we introduce structure adaptive sampling to randomly sample 2D points within the silhouettes as an irregular point supervision, which alleviates the consistency issue of sampling from different view angles. Our method pushes the neural network to generate a 3D point cloud whose 2D projections match the irregular point supervision from different view angles. Our 2D projection matching approach enables the neural network to learn more accurate structure information than using the per pixel difference, especially for fine and thin 3D structures. Our method can recover fine 3D structures from 2D silhouette images at different resolutions, and is robust to different sampling methods and point number in irregular point supervision. Our method outperforms others under widely used benchmarks. Our code, data and models are available at https github.com chenchao15 2D projection matching.


A Non Linear Kalman Filter for track parameters estimation in High Energy Physics. The Kalman Filter is a widely used approach for the linear estimation of dynamical systems and is frequently employed within nuclear and particle physics experiments for the reconstruction of charged particle trajectories, known as tracks. Implementations of this formalism often make assumptions on the linearity of the underlying dynamic system and the Gaussian nature of the process noise, which is violated in many track reconstruction applications. This paper introduces an implementation of a Non Linear Kalman Filter (NLKF) within the ACTS track reconstruction toolkit. The NLKF addresses the issue of non linearity by using a set of representative sample points during its track state propagation. In a typical use case, the NLKF outperforms an Extended Kalman Filter in the accuracy and precision of the track parameter estimates obtained, with the increase in CPU time below a factor of two. It is therefore a promising approach for use in applications where precise estimation of track parameters is a key concern.


Non sensitive axis feedback control of test mass in full maglev vertical superconducting gravity instruments. Non sensitive axis feedback control is crucial for cross coupling noise suppression in the application of full maglev vertical superconducting gravity instruments. This paper introduces the non sensitive axis feedback control of the test mass in a home made full maglev vertical superconducting accelerometer. In the feedback system, special superconducting circuits are designed to decouple and detect the multi degrees of freedom motions of the test mass. Then the decoupled motion signals are dealt with by the PID controller and fed back to the side wall coils to control the test mass. In our test, the test mass is controlled successfully and the displacement is reduced by about one order of magnitude in the laboratory. Accordingly, the noise level of the vertical superconducting accelerometer in the sensitive axis is also reduced.


Delving into Deep Imbalanced Regression. Real world data often exhibit imbalanced distributions, where certain target values have significantly fewer observations. Existing techniques for dealing with imbalanced data focus on targets with categorical indices, i.e., different classes. However, many tasks involve continuous targets, where hard boundaries between classes do not exist. We define Deep Imbalanced Regression (DIR) as learning from such imbalanced data with continuous targets, dealing with potential missing data for certain target values, and generalizing to the entire target range. Motivated by the intrinsic difference between categorical and continuous label space, we propose distribution smoothing for both labels and features, which explicitly acknowledges the effects of nearby targets, and calibrates both label and learned feature distributions. We curate and benchmark large scale DIR datasets from common real world tasks in computer vision, natural language processing, and healthcare domains. Extensive experiments verify the superior performance of our strategies. Our work fills the gap in benchmarks and techniques for practical imbalanced regression problems. Code and data are available at https github.com YyzHarry imbalanced regression.


Homomorphisms to mathbb R of automorphism groups of zero entropy shifts. We show that the automorphism group of every zero entropy infinite shift admits a "drift" homomorphism to ( mathbb R , ) that maps the shift map to 1. This homomorphism arises as the expectation, under an invariant measure, of a cocycle defined on a space of asymptotic pairs.


Discovering the Rationale of Decisions Experiments on Aligning Learning and Reasoning. In AI and law, systems that are designed for decision support should be explainable when pursuing justice. In order for these systems to be fair and responsible, they should make correct decisions and make them using a sound and transparent rationale. In this paper, we introduce a knowledge driven method for model agnostic rationale evaluation using dedicated test cases, similar to unit testing in professional software development. We apply this new method in a set of machine learning experiments aimed at extracting known knowledge structures from artificial datasets from fictional and non fictional legal settings. We show that our method allows us to analyze the rationale of black box machine learning systems by assessing which rationale elements are learned or not. Furthermore, we show that the rationale can be adjusted using tailor made training data based on the results of the rationale evaluation.


Composing Energy Services in a Crowdsourced IoT Environment. We propose a novel framework for composing crowdsourced wireless energy services to satisfy users' energy requirements in a crowdsourced Internet of Things (IoT) environment. A new energy service model is designed to transform the harvested energy from IoT devices into crowdsourced services. We propose a new energy service composability model that considers the spatio temporal aspects and the usage patterns of the IoT devices. A multiple local knapsack based approach is developed to select an optimal set of partial energy services based on the deliverable energy capacity of IoT devices. We propose a heuristic based composition approach using the temporal and energy capacity distributions of services. Experimental results demonstrate the effectiveness and efficiency of the proposed approach.


A Unified Framework for Multistage and Multilevel Mixed Integer Linear Optimization. We introduce a unified framework for the study of multilevel mixed integer linear optimization problems and multistage stochastic mixed integer linear optimization problems with recourse. The framework highlights the common mathematical structure of the two problems and allows for the development of a common algorithmic framework. Focusing on the two stage case, we investigate, in particular, the nature of the value function of the second stage problem, highlighting its connection to dual functions and the theory of duality for mixed integer linear optimization problems, and summarize different reformulations. We then present two main solution techniques, one based on a Benders like decomposition to approximate either the risk function or the value function, and the other one based on cutting plane generation.


End User Programming of Low and High Level Actions for Robotic Task Planning. Programming robots for general purpose applications is extremely challenging due to the great diversity of end user tasks ranging from manufacturing environments to personal homes. Recent work has focused on enabling end users to program robots using Programming by Demonstration. However, teaching robots new actions from scratch that can be reused for unseen tasks remains a difficult challenge and is generally left up to robotic experts. We propose iRoPro, an interactive Robot Programming framework that allows end users to teach robots new actions from scratch and reuse them with a task planner. In this work we provide a system implementation on a two armed Baxter robot that (i) allows simultaneous teaching of low and high level actions by demonstration, (ii) includes a user interface for action creation with condition inference and modification, and (iii) allows creating and solving previously unseen problems using a task planner for the robot to execute in real time. We evaluate the generalisation power of the system on six benchmark tasks and show how taught actions can be easily reused for complex tasks. We further demonstrate its usability with a user study (N 21), where users completed eight tasks to teach the robot new actions that are reused with a task planner. The study demonstrates that users with any programming level and educational background can easily learn and use the system.


Characterizing Generalization under Out Of Distribution Shifts in Deep Metric Learning. Deep Metric Learning (DML) aims to find representations suitable for zero shot transfer to a priori unknown test distributions. However, common evaluation protocols only test a single, fixed data split in which train and test classes are assigned randomly. More realistic evaluations should consider a broad spectrum of distribution shifts with potentially varying degree and difficulty. In this work, we systematically construct train test splits of increasing difficulty and present the ooDML benchmark to characterize generalization under out of distribution shifts in DML. ooDML is designed to probe the generalization performance on much more challenging, diverse train to test distribution shifts. Based on our new benchmark, we conduct a thorough empirical analysis of state of the art DML methods. We find that while generalization tends to consistently degrade with difficulty, some methods are better at retaining performance as the distribution shift increases. Finally, we propose few shot DML as an efficient way to consistently improve generalization in response to unknown test shifts presented in ooDML. Code available here https github.com CompVis Characterizing Generalization in DML.


Fast Racing An Open source Strong Baseline for SE(3) Planning in Autonomous Drone Racing. With the autonomy of aerial robots advances in recent years, autonomous drone racing has drawn increasing attention. In a professional pilot competition, a skilled operator always controls the drone to agilely avoid obstacles in aggressive attitudes, for reaching the destination as fast as possible. Autonomous flight like elite pilots requires planning in SE(3), whose non triviality and complexity hindering a convincing solution in our community by now. To bridge this gap, this paper proposes an open source baseline, which includes a high performance SE(3) planner and a challenging simulation platform tailored for drone racing. We specify the SE(3) trajectory generation as a soft penalty optimization problem, and speed up the solving process utilizing its underlying parallel structure. Moreover, to provide a testbed for challenging the planner, we develop delicate drone racing tracks which mimic real world set up and necessities planning in SE(3). Besides, we provide necessary system components such as common map interfaces and a baseline controller, to make our work plug in and use. With our baseline, we hope to future foster the research of SE(3) planning and the competition of autonomous drone racing.


Harvesting the Public MeSH Note field. In this document, we report an analysis of the Public MeSH Note field of the new descriptors introduced in the MeSH thesaurus between 2006 and 2020. The aim of this analysis was to extract information about the previous status of these new descriptors as Supplementary Concept Records. The Public MeSH Note field contains information in semi structured text, meant to be read by humans. Therefore, we adopted a semi automated approach, based on regular expressions, to extract information from it. In the large majority of cases, we managed to minimize the required manual effort for extracting the previous state of a new descriptor as a Supplementary Concept Record. The source code for this analysis is openly available on GitHub.


Sequences of symmetry groups of infinite words. In this paper we introduce a new notion of a sequence of symmetry groups of an infinite word. Given a subgroup G n of the symmetric group S n , it acts on the set of finite words of length n by permutation. We associate to an infinite word w a sequence (G n(w)) n geq 1 of its symmetry groups For each n , a symmetry group of w is a subgroup G n(w) of the symmetric group S n such that g(v) is a factor of w for each permutation g in G n(w) and each factor v of length n of w . We study general properties of the symmetry groups of infinite words and characterize the sequences of symmetry groups of several families of infinite words. We show that for each subgroup G of S n there exists an infinite word w with G n(w) G . On the other hand, the structure of possible sequences (G n(w)) n geq 1 is quite restrictive we show that they cannot contain for each order n certain cycles, transpositions and some other permutations. The sequences of symmetry groups can also characterize a generalized periodicity property. We prove that symmetry groups of Sturmian words and more generally Arnoux Rauzy words are of order two for large enough n on the other hand, symmetry groups of certain Toeplitz words have exponential growth.


Second harmonic generation in germanium quantum wells for nonlinear silicon photonics. Second harmonic generation (SHG) is a direct measure of the strength of second order nonlinear optical effects, which also include frequency mixing and parametric oscillations. Natural and artificial materials with broken center of inversion symmetry in their unit cell display high SHG efficiency, however the silicon foundry compatible group IV semiconductors (Si, Ge) are centrosymmetric, thereby preventing full integration of second order nonlinearity in silicon photonics platforms. Here we demonstrate strong SHG in Ge rich quantum wells grown on Si wafers. The symmetry breaking is artificially realized with a pair of asymmetric coupled quantum wells (ACQW), in which three of the quantum confined states are equidistant in energy, resulting in a double resonance for SHG. Laser spectroscopy experiments demonstrate a giant second order nonlinearity at mid infrared pump wavelengths between 9 and 12 microns. Leveraging on the strong intersubband dipoles, the nonlinear susceptibility almost reaches 10 5 pm V


imGHUM Implicit Generative Models of 3D Human Shape and Articulated Pose. We present imGHUM, the first holistic generative model of 3D human shape and articulated pose, represented as a signed distance function. In contrast to prior work, we model the full human body implicitly as a function zero level set and without the use of an explicit template mesh. We propose a novel network architecture and a learning paradigm, which make it possible to learn a detailed implicit generative model of human pose, shape, and semantics, on par with state of the art mesh based models. Our model features desired detail for human models, such as articulated pose including hand motion and facial expressions, a broad spectrum of shape variations, and can be queried at arbitrary resolutions and spatial locations. Additionally, our model has attached spatial semantics making it straightforward to establish correspondences between different shape instances, thus enabling applications that are difficult to tackle using classical implicit representations. In extensive experiments, we demonstrate the model accuracy and its applicability to current research problems.


Regular Decision Processes for Grid Worlds. Markov decision processes are typically used for sequential decision making under uncertainty. For many aspects however, ranging from constrained or safe specifications to various kinds of temporal (non Markovian) dependencies in task and reward structures, extensions are needed. To that end, in recent years interest has grown into combinations of reinforcement learning and temporal logic, that is, combinations of flexible behavior learning methods with robust verification and guarantees. In this paper we describe an experimental investigation of the recently introduced regular decision processes that support both non Markovian reward functions as well as transition functions. In particular, we provide a tool chain for regular decision processes, algorithmic extensions relating to online, incremental learning, an empirical evaluation of model free and model based solution algorithms, and applications in regular, but non Markovian, grid worlds.


Money grows on (proof )trees the formal FA1.2 ledger standard. Once you have invented digital money, you may need a ledger to track who owns what and an interface to that ledger so that users of your money can transact. On the Tezos blockchain this implies a smart contract (distributed program), storing in its state a ledger to map owner addresses to token quantities, and standardised entrypoints to transact on accounts. A bank does a similar job it maps account numbers to account quantities and permits users to transact but in return the bank demands trust, it incurs expense to maintain a centralised server and staff, it uses a proprietary interface ... and it may speculate using your money and or display rent seeking behaviour. A blockchain ledger is by design decentralised, inexpensive, open, and it won't just bet your tokens on risky derivatives (unless you ask). The FA1.2 standard is an open standard for ledger keeping smart contracts on the Tezos blockchain. Several FA1.2 implementations already exist. Or do they? Is the standard sensible and complete? Are the implementations correct? And what are they implementations emph of ? The FA1.2 standard is written in English, a specification language favoured by wet human brains but notorious for its incompleteness and ambiguity when rendered into dry and unforgiving code. In this paper we report on a formalisation of the FA1.2 standard as a Coq specification, and on a formal verification of three FA1.2 compliant smart contracts with respect to that specification. Errors were found and ambiguities were resolved but also, there now exists a emph mathematically precise and battle tested specification of the FA1.2 ledger standard. We will describe FA1.2 itself, outline the structure of the Coq theories which in itself captures some non trivial and novel design decisions of the development and review the detailed verification of the implementations.


Robotic Brain Storm Optimization A Multi target Collaborative Searching Paradigm for Swarm Robotics. Swarm intelligence optimization algorithms can be adopted in swarm robotics for target searching tasks in a 2 D or 3 D space by treating the target signal strength as fitness values. Many current works in the literature have achieved good performance in single target search problems. However, when there are multiple targets in an environment to be searched, many swarm intelligence based methods may converge to specific locations prematurely, making it impossible to explore the environment further. The Brain Storm Optimization (BSO) algorithm imitates a group of humans in solving problems collectively. A series of guided searches can finally obtain a relatively optimal solution for particular optimization problems. Furthermore, with a suitable clustering operation, it has better multi modal optimization performance, i.e., it can find multiple optima in the objective space. By matching the members in a robotic swarm to the individuals in the algorithm under both environments and robots constraints, this paper proposes a BSO based collaborative searching framework for swarm robotics called Robotic BSO. The simulation results show that the proposed method can simulate the BSO's guided search characteristics and has an excellent prospect for multi target searching problems for swarm robotics.


Some points on c K g frames and their duals. In this paper we study some new properties of c K g frames in a Hilbert space H. We study duals of c K g frames and give some characterizations of c K g frames and their duals. Also, we verify the relationships between c K g frames and atomic cg systems. Precisely, we show that these two concepts are equivalent. Finally, we find some new atomic cg systems from given ones.


Dynamics of composition operators on function spaces defined by local and global properties. In this paper we consider composition operators on locally convex spaces of functions defined on mathbb R . We prove results concerning supercyclicity, power boundedness, mean ergodicity and convergence of the iterates in the strong operator topology.


Fine structure of second harmonic resonances in chi (2) optical microresonators. Owing to the discrete frequency spectrum of whispering gallery resonators (WGRs), the resonance and phase matching conditions for the interacting waves in the case of second harmonic generation (SHG) cannot generally be fulfilled simultaneously. To account for this, we develop a model describing SHG in WGRs with non zero frequency detunings at both the pump and second harmonic frequencies. Our model predicts strong distortions of the line shape of pump and second harmonic resonances for similar linewidths at both frequencies for much larger linewidths at the second harmonic frequency, this behavior is absent. Furthermore, it describes the SHG efficiency as a function of detuning. Experimentally, one can change the WGR eigenfrequencies, and thus the relative detuning between pump and second harmonic waves by a number of means, for example electro optically and thermally. Using a lithium niobate WGR, we show an excellent quantitative agreement for the SHG efficiency between our experimental results and the model. Also, we show the predicted distortions of the pump and second harmonic resonances to be absent in the lithium niobate WGR, but present in a cadmium silicon phosphide WGR, as expected from the linewidths of the resonances involved.


Isomorphisms and derivations of partial flag incidence algebras. Let P and Q be finite posets and R a commutative unital ring. In the case where R is indecomposable, we prove that the R linear isomorphisms between partial flag incidence algebras I 3(P,R) and I 3(Q,R) are exactly those induced by poset isomorphisms between P and Q . We also show that the R linear derivations of I 3(P,R) are trivial.


Handwritten Digit Recognition Using Improved Bounding Box Recognition Technique. The project comes with the technique of OCR (Optical Character Recognition) which includes various research sides of computer science. The project is to take a picture of a character and process it up to recognize the image of that character like a human brain recognize the various digits. The project contains the deep idea of the Image Processing techniques and the big research area of machine learning and the building block of the machine learning called Neural Network. There are two different parts of the project. Training part comes with the idea of to train a child by giving various sets of similar characters but not the totally same and to say them the output of this is this. Like this idea one has to train the newly built neural network with so many characters. This part contains some new algorithm which is self created and upgraded as the project need. The testing part contains the testing of a new dataset .This part always comes after the part of the training .At first one has to teach the child how to recognize the character .Then one has to take the test whether he has given right answer or not. If not, one has to train him harder by giving new dataset and new entries. Just like that one has to test the algorithm also. There are many parts of statistical modeling and optimization techniques which come into the project requiring a lot of modeling concept of statistics like optimizer technique and filtering process, that how the mathematics and prediction behind that filtering or the algorithms comes after or which result one actually needs to and ultimately for the prediction of a predictive model creation. Machine learning algorithm is built by concepts of prediction and programming.


Shock capturing schemes based on nonuniform nonlinear weighted interpolation for conservation laws and their application as subcell limiters for FR CPR. A series of shock capturing schemes based on nonuniform nonlinear weighted interpolation on nonuniform points are developed for conservation laws. Smoothness indicator and discrete conservation laws are discussed. To make fair comparisons between different types of schemes, the properties of eigenvalues of spatial discretization matrices are proved. And the proposed schemes are compared with Weighted Compact Nonlinear Schemes (WCNS) and Flux Reconstruction or Correction Procedure via Reconstruction (FR CPR) in dispersion, dissipation properties and numerical accuracy. Then, the proposed shock capturing schemes are used as subcell limiters for high order FR CPR and the hybrid scheme has superiority in data transformation and satisfying discrete conservation laws. Accuracy, discrete conservation laws and shock capturing properties are tested. Numerical results in one and two dimensions are provided to illustrate that the proposed schemes have good properties in shock capturing and can be applied as subcell limiters for FR CPR.


Dark Patterns, Electronic Medical Records, and the Opioid Epidemic. Dark patterns have emerged as a set of methods to exploit cognitive biases to trick users to make decisions that are more aligned with a third party than to their own. These patterns can have consequences that might range from inconvenience to global disasters. We present a case of a drug company and an electronic medical record vendor who colluded to modify the medical record's interface to induce clinicians to increase the prescription of extended release opioids, a class of drugs that has a high potential for addiction and has caused almost half a million additional deaths in the past two decades. Through this case, we present the use and effects of dark patterns in healthcare, discuss the current challenges, and offer some recommendations on how to address this pressing issue.


A Bijection theorem for Gorenstein projective tau tilting modules. In this paper, we introduce the notions of Gorenstein projective tau rigid modules, Gorenstein projective support tau tilting modules and Gorenstein torsion pairs and give a Gorenstein analog to Adachi Iyama Reiten's bijection theorem on support tau tilting modules. More precisely, for an algebra Lambda , we show that there is a bijection between the set of Gorenstein projective tau rigid pairs in mod Lambda and the set of Gorenstein injective tau 1 rigid pairs in mod Lambda rm op . We prove that there is a bijection between the set of Gorenstein projective support tau tilting modules and the set of functorially finite Gorenstein projective torsion classes. As an application, we introduce the notion of CM tau tilting finite algebras and show that Lambda is CM tau tilting finite if and only if Lambda rm op is CM tau tilting finite.


Sarcasm Detection A Comparative Study. Sarcasm detection is the task of identifying irony containing utterances in sentiment bearing text. However, the figurative and creative nature of sarcasm poses a great challenge for affective computing systems performing sentiment analysis. This article compiles and reviews the salient work in the literature of automatic sarcasm detection. Thus far, three main paradigm shifts have occurred in the way researchers have approached this task 1) semi supervised pattern extraction to identify implicit sentiment, 2) use of hashtag based supervision, and 3) incorporation of context beyond target text. In this article, we provide a comprehensive review of the datasets, approaches, trends, and issues in sarcasm and irony detection.


Polynomials Associated to Integer Partitions. Integer partitions express the different ways that a positive integer may be written as a sum of other positive integers. Here we explore the analytic properties of a polynomial f lambda(x) that we call the partition polynomial for the partition lambda , with the hope of learning new properties of partitions. We prove a recursive formula for the derivatives of f lambda(x) involving Stirling numbers of the second kind, show that the set of integrals from 0 to 1 of a normalized version of f lambda(x) is dense in 0,1 2 , pose a few open questions, and formulate a conjecture relating the integral to the length of the partition. We also provide specific examples throughout to support our speculation that an in depth analysis of partition polynomials could further strengthen our understanding of partitions.


Relation between Constitutions, Socioeconomics and The Rule of Law a quantitative thermodynamic approach. Based on what we know about thermodynamics of synergy, we explored the relationship between countries socio cultural order (negentropy), estimated through their constitutions, indicators of Rule of Law and their academic development with countries indicators of Free Energy (amount of useful work, productivity, socioeconomic health). The analysis of 219 indicators unveiled strong correlations between estimates of the Rule of Law and the number of Academic Publications, with the socioeconomic health indicators GDP, Human Development Index and Infant Mortality. In contrast, correlations with the length of constitutions (number of words and of articles), suggest that the proliferation of legal rules hinders the rule of law and socioeconomic development, or that under development and or the lack of the rule of law foments the proliferation of legal rules. These findings suggest that not any order favors productivity (Free Energy) and that excess regulations and state tutelage increase social entropy decreasing socioeconomic health.


Conformable 1D steady state Navier Stokes equations to describe flow through porous media. From the definition of a generalized conformable spatial derivative, an exponential conformable function with three parameters (a,b, alpha) is proposed for a viscous and an inertial viscous steady state Navier Stokes 1D models, obtaining analytical solutions for both generalized conformable models. The conformable models' parameters are optimized to compare the viscous model to a Darcian 1D flow and the inertial viscous model to a non Darcian 1D model for a specific range of Darcy numbers (1 times10 2 Da leq 1) . Velocity profiles for the porous medium and the conformable model are computed and compared, showing that the generalized conformable Navier Stokes 1D models describe the flow through a porous medium, for both Darcian and non Darcian flow, without including a Darcy term or macroscopic porous characteristics.


Multi Knowledge Fusion for New Feature Generation in Generalized Zero Shot Learning. Suffering from the semantic insufficiency and domain shift problems, most of existing state of the art methods fail to achieve satisfactory results for Zero Shot Learning (ZSL). In order to alleviate these problems, we propose a novel generative ZSL method to learn more generalized features from multi knowledge with continuously generated new semantics in semantic to visual embedding. In our approach, the proposed Multi Knowledge Fusion Network (MKFNet) takes different semantic features from multi knowledge as input, which enables more relevant semantic features to be trained for semantic to visual embedding, and finally generates more generalized visual features by adaptively fusing visual features from different knowledge domain. The proposed New Feature Generator (NFG) with adaptive genetic strategy is used to enrich semantic information on the one hand, and on the other hand it greatly improves the intersection of visual feature generated by MKFNet and unseen visual faetures. Empirically, we show that our approach can achieve significantly better performance compared to existing state of the art methods on a large number of benchmarks for several ZSL tasks, including traditional ZSL, generalized ZSL and zero shot retrieval.


SMATE Semi Supervised Spatio Temporal Representation Learning on Multivariate Time Series. Learning from Multivariate Time Series (MTS) has attracted widespread attention in recent years. In particular, label shortage is a real challenge for the classification task on MTS, considering its complex dimensional and sequential data structure. Unlike self training and positive unlabeled learning that rely on distance based classifiers, in this paper, we propose SMATE, a novel semi supervised model for learning the interpretable Spatio Temporal representation from weakly labeled MTS. We validate empirically the learned representation on 30 public datasets from the UEA MTS archive. We compare it with 13 state of the art baseline methods for fully supervised tasks and four baselines for semi supervised tasks. The results show the reliability and efficiency of our proposed method.


A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. Industrial automation systems (IAS) need to be highly dependable they should not merely function as expected but also do so in a reliable, safe, and secure manner. Formal methods are mathematical techniques that can greatly aid in developing dependable systems and can be used across all phases of the system development life cycle (SDLC), including requirements engineering, system design and implementation, verification and validation (testing), maintenance, and even documentation. This state of the art survey reports existing formal approaches for creating more dependable IAS, focusing on static formal methods that are used before a system is completely implemented. We categorize surveyed works based on the phases of the SDLC, allowing us to identify research gaps and promising future directions for each phase.


TIAGE A Benchmark for Topic Shift Aware Dialog Modeling. Human conversations naturally evolve around different topics and fluently move between them. In research on dialog systems, the ability to actively and smoothly transition to new topics is often ignored. In this paper we introduce TIAGE, a new topic shift aware dialog benchmark constructed utilizing human annotations on topic shifts. Based on TIAGE, we introduce three tasks to investigate different scenarios of topic shift modeling in dialog settings topic shift detection, topic shift triggered response generation and topic aware dialog generation. Experiments on these tasks show that the topic shift signals in TIAGE are useful for topic shift response generation. On the other hand, dialog systems still struggle to decide when to change topic. This indicates further research is needed in topic shift aware dialog modeling.


RAIN Reinforced Hybrid Attention Inference Network for Motion Forecasting. Motion forecasting plays a significant role in various domains (e.g., autonomous driving, human robot interaction), which aims to predict future motion sequences given a set of historical observations. However, the observed elements may be of different levels of importance. Some information may be irrelevant or even distracting to the forecasting in certain situations. To address this issue, we propose a generic motion forecasting framework (named RAIN) with dynamic key information selection and ranking based on a hybrid attention mechanism. The general framework is instantiated to handle multi agent trajectory prediction and human motion forecasting tasks, respectively. In the former task, the model learns to recognize the relations between agents with a graph representation and to determine their relative significance. In the latter task, the model learns to capture the temporal proximity and dependency in long term human motions. We also propose an effective double stage training pipeline with an alternating training strategy to optimize the parameters in different modules of the framework. We validate the framework on both synthetic simulations and motion forecasting benchmarks in different domains, demonstrating that our method not only achieves state of the art forecasting performance, but also provides interpretable and reasonable hybrid attention weights.


BreakingBERT IITK at SemEval 2021 Task 9 Statement Verification and Evidence Finding with Tables. Recently, there has been an interest in factual verification and prediction over structured data like tables and graphs. To circumvent any false news incident, it is necessary to not only model and predict over structured data efficiently but also to explain those predictions. In this paper, as part of the SemEval 2021 Task 9, we tackle the problem of fact verification and evidence finding over tabular data. There are two subtasks. Given a table and a statement fact, subtask A determines whether the statement is inferred from the tabular data, and subtask B determines which cells in the table provide evidence for the former subtask. We make a comparison of the baselines and state of the art approaches over the given SemTabFact dataset. We also propose a novel approach CellBERT to solve evidence finding as a form of the Natural Language Inference task. We obtain a 3 way F1 score of 0.69 on subtask A and an F1 score of 0.65 on subtask B.


Optimal Estimation of Thermal Diffusivity in an Energy Transfer Problem. This work focuses on determining the coefficient of thermal diffusivity in a one dimensional heat transfer process along a homogeneous and isotropic bar, embedded in a moving fluid with heat generation. A first type (Dirichlet) condition is imposed on one boundary and a third type (Robin) condition is considered at the other one. The parameter is estimated by minimizing the squared errors where noisy observations are numerically simulated at different positions and instants. The results are evaluated by means of the relative errors for different levels of noise. In order to enhance the estimation performance, an optimal design technique is chosen to select the most informative data. Finally, the improvement of the estimate is discussed when an optimal design is used.


Style Agnostic 3D Reconstruction via Adversarial Style Transfer. Reconstructing the 3D geometry of an object from an image is a major challenge in computer vision. Recently introduced differentiable renderers can be leveraged to learn the 3D geometry of objects from 2D images, but those approaches require additional supervision to enable the renderer to produce an output that can be compared to the input image. This can be scene information or constraints such as object silhouettes, uniform backgrounds, material, texture, and lighting. In this paper, we propose an approach that enables a differentiable rendering based learning of 3D objects from images with backgrounds without the need for silhouette supervision. Instead of trying to render an image close to the input, we propose an adversarial style transfer and domain adaptation pipeline that allows to translate the input image domain to the rendered image domain. This allows us to directly compare between a translated image and the differentiable rendering of a 3D object reconstruction in order to train the 3D object reconstruction network. We show that the approach learns 3D geometry from images with backgrounds and provides a better performance than constrained methods for single view 3D object reconstruction on this task.


An ensemble approach to the structure function problem in microbial communities. The metabolic activity of microbes has played an essential role in the evolution and persistence of life on Earth. Microbial metabolism plays a primary role in the flow of carbon, nitrogen and other elements through the biosphere on a global scale. Microbes perform these metabolic activities in the context of complex communities comprised of many species that interact in dynamic and spatially structured environments. Molecular genetics has revealed many of the metabolic pathways microbes utilize to generate energy and biomass. However, most of this knowledge is derived from model organisms, so we have a limited view of role of the massive genomic diversity in the wild on metabolic phenotypes. Further, we are only beginning to glimpse the principles governing how the metabolism of a community emerges from the collective action of its constituent members. As a result, one of the biggest challenges in the field is to understand how the metabolic activity of a community emerges from the genomic structure of the constituents. Here we propose an approach to this problem that rests on the quantitative analysis of metabolic activity in ensembles of microbial communities. We propose quantifying metabolic fluxes in diverse communities, either in the laboratory or the wild. We suggest that using sequencing data to quantify the genomic, taxonomic or transcriptional variation across an ensemble of communities can reveal low dimensional descriptions of community structure that can explain or predict their emergent metabolic activity. We survey the types of communities for which this approach might be best suited and then review the analytical techniques available for quantifying metabolite dynamics in communities. Finally, we discuss what types of data analysis approaches might be lucrative for learning the structure function mapping in communities from these data.


F "uredi Hajnal and Stanley Wilf conjectures in higher dimensions. In this paper we discuss analogs of F "uredi Hajnal and Stanley Wilf conjectures for t dimensional matrices with t 2 .


Information Elevation Network for Fast Online Action Detection. Online action detection (OAD) is a task that receives video segments within a streaming video as inputs and identifies ongoing actions within them. It is important to retain past information associated with a current action. However, long short term memory (LSTM), a popular recurrent unit for modeling temporal information from videos, accumulates past information from the previous hidden and cell states and the extracted visual features at each timestep without considering the relationships between the past and current information. Consequently, the forget gate of the original LSTM can lose the accumulated information relevant to the current action because it determines which information to forget without considering the current action. We introduce a novel information elevation unit (IEU) that lifts up and accumulate the past information relevant to the current action in order to model the past information that is especially relevant to the current action. To the best of our knowledge, our IEN is the first attempt that considers the computational overhead for the practical use of OAD. Through ablation studies, we design an efficient and effective OAD network using IEUs, called an information elevation network (IEN). Our IEN uses visual features extracted by a fast action recognition network taking only RGB frames because extracting optical flows requires heavy computation overhead. On two OAD benchmark datasets, THUMOS 14 and TVSeries, our IEN outperforms state of the art OAD methods using only RGB frames. Furthermore, on the THUMOS 14 dataset, our IEN outperforms the state of the art OAD methods using two stream features based on RGB frames and optical flows.


Coalition Game based User Association for mmWave Mobile Relay Systems in Rail Traffic Scenarios. Rail transportation, especially, high speed rails (HSR), is an important infrastructure for the development of national economy and the promotion of passenger experience. Due to the large bandwidth, millimeter wave (mmWave) communication is regarded as a promising technology to meet the demand of high data rates. However, since mmWave communication has the characteristic of high attenuation, mobile relay (MR) is considered in this paper. Also, full duplex (FD) communications have been proposed to improve the spectral efficiency. However, because of the high speed, as well as the problem of penetration loss, passengers on the train have a poor quality of service. Consequently, an effective user association scheme for HSR in mmWave band is necessary. In this paper, we investigate the user association optimization problem in mmWave mobilerelay systems where the MRs operate in the FD mode. To maximize the system capacity, we propose a cooperative user association approach based on coalition formation game, and develop a coalition formation algorithm to solve the challenging NP hard problem. We also prove the convergence and Nashstable property of the proposed algorithm. Extensive simulations are done to show the system performance of the proposed scheme under various network settings. It is demonstrated that the proposed distributed low complexity scheme achieves a nearoptimal performance and outperforms two baseline schemes in terms of average system throughput.


Some Generic Properties of Partially Hyperbolic Endomorphisms. In this work we deal with a notion of partially hyperbolic endomorphism. We explore topological properties of this definition and we obtain, among other results, obstructions to get center leaf conjugacy with the linear part, for a class of partially hyperbolic endomorphism C 1 sufficient near to a hyperbolic linear endomorphism. Indeed such obstructions are related with the number of center directions of a point. We provide examples illustrating these obstructions and we prove that, when the degree is bigger than two, C 1 generically (open and dense) partially hyperbolic endomorphisms in dimension three, in fact present properties that make impossible the center leaf conjugacy with their linear parts.


On sensitivity of meta learning to support data. Meta learning algorithms are widely used for few shot learning. For example, image recognition systems that readily adapt to unseen classes after seeing only a few labeled examples. Despite their success, we show that modern meta learning algorithms are extremely sensitive to the data used for adaptation, i.e. support data. In particular, we demonstrate the existence of (unaltered, in distribution, natural) images that, when used for adaptation, yield accuracy as low as 4 or as high as 95 on standard few shot image classification benchmarks. We explain our empirical findings in terms of class margins, which in turn suggests that robust and safe meta learning requires larger margins than supervised learning.


Divided power algebras and distributive laws. We study the divided power structures over a product of operads with distributive law. We give a systematic method to characterise the divided power algebras over such a product from the structures of divided power algebra coming from each of the the factor operads. We characterise divided power algebras with operadic derivation, as well as divided power p level algebras in characteristic p , and divided power Poisson algebras in characteristic 3.


Geometric phase with full wedge and half wedge rotation in nonlinear frequency conversion. When the quasi phase matching (QPM) parameters of the chi (2) nonlinear crystal rotate along a closed path, geometric phase will be generated in the signal and idler waves that participate in the nonlinear frequency conversion. In this paper, we study two rotation schemes, full wedge rotation, and half wedge rotation, of the QPM parameters in the process of fully nonlinear three wave mixing. These two schemes can effectively suppress the uncertainty in creating the geometric phase in the nonlinear frequency conversion process when the intensity of the pump is depleted. The finding of this paper provides an avenue toward constant control of the geometric phase in nonlinear optics applications and quantum information processing.


A generalization of Hall's theorem on hypercenter. Let sigma be a partition of the set of all primes and mathfrak F be a hereditary formation. We described all formations mathfrak F for which the mathfrak F hypercenter and the intersection of weak K mathfrak F subnormalizers of all Sylow subgroups coincide in every group. In particular the formation of all sigma nilpotent groups has this property. With the help of our results we solve a particular case of L.A. Shemetkov's problem about the intersection of mathfrak F maximal subgroups and the mathfrak F hypercenter. As corollaries we obtained P. Hall's and R. Baer's classical results about the hypercenter. We proved that the non sigma nilpotent graph of a group is connected and its diameter is at most 3.


Linear quadratic mean field games Decentralized O(1 N) Nash equilibria. This paper studies an asymptotic solvability problem for linear quadratic (LQ) mean field games with controlled diffusions and indefinite weights for the state and control in the costs. We employ a rescaling approach to derive a low dimensional Riccati ordinary differential equation (ODE) system, which characterizes a necessary and sufficient condition for asymptotic solvability. The rescaling technique is further used for performance estimates, establishing an O(1 N) Nash equilibrium for the obtained decentralized strategies.


Liquidity free implied volatilities an approach using conic finance. We consider the problem of calculating risk neutral implied volatilities of European options without relying on option mid prices but solely on bid and ask prices. We provide an approach, based on the conic finance paradigm, that allows to uniquely strip risk neutral implied volatilities from bid and ask quotes, and that does not require restrictive assumptions. Our methodology also allows to jointly calculate the implied liquidity of the market. The idea outlined in this paper can be applied to calculate other implied parameters from bid and ask security prices as soon as their theoretical risk neutral counterparts are strictly increasing with respect to the former.


Face Deblurring Based on Separable Normalization and Adaptive Denormalization. Face deblurring aims to restore a clear face image from a blurred input image with more explicit structure and facial details. However, most conventional image and face deblurring methods focus on the whole generated image resolution without consideration of special face part texture and generally produce unsufficient details. Considering that faces and backgrounds have different distribution information, in this study, we designed an effective face deblurring network based on separable normalization and adaptive denormalization (SNADNet). First, We fine tuned the face parsing network to obtain an accurate face structure. Then, we divided the face parsing feature into face foreground and background. Moreover, we constructed a new feature adaptive denormalization to regularize fafcial structures as a condition of the auxiliary to generate more harmonious and undistorted face structure. In addition, we proposed a texture extractor and multi patch discriminator to enhance the generated facial texture information. Experimental results on both CelebA and CelebA HQ datasets demonstrate that the proposed face deblurring network restores face structure with more facial details and performs favorably against state of the art methods in terms of structured similarity indexing method (SSIM), peak signal to noise ratio (PSNR), Frechet inception distance (FID) and L1, and qualitative comparisons.


Successively almost positive links. As an extension of positive or almost positive diagrams and links, we introduce a notion of successively almost positive diagrams and links, and good successively almost positive diagrams and links. We review various properties of positive links or almost positive links, and explain how they can be extended to (good) successively almost positive links. Our investigation also leads to an improvement of known results of positive or almost positive links.


Evolution of Target Localization in Wireless Sensor Network (WSN) A Review. Wireless Sensor Network holds a pivotal position and gained a lot of attention from researchers in recent years. Sensor nodes have been used in vast applications such as environment monitoring, security purpose applications, and target tracking. This latter comprises of detection and monitoring of the target movement. In this paper, we explore in detail well known target tracking techniques. The existing techniques are evaluated using metrics such as network topology, target recovery, energy efficiency, and security. We also discuss some of the challenges that affect the performance of tracking schemes. Furthermore, a thorough analysis is performed on existing techniques and future directions are explored.


Classes of intersection digraphs with good algorithmic properties. An intersection digraph is a digraph where every vertex v is represented by an ordered pair (S v, T v) of sets such that there is an edge from v to w if and only if S v and T w intersect. An intersection digraph is reflexive if S v cap T v neq emptyset for every vertex v . Compared to well known undirected intersection graphs like interval graphs and permutation graphs, not many algorithmic applications on intersection digraphs have been developed. Motivated by the successful story on algorithmic applications of intersection graphs using a graph width parameter called mim width, we introduce its directed analogue called bi mim width' and prove that various classes of reflexive intersection digraphs have bounded bi mim width. In particular, we show that as a natural extension of H graphs, reflexive H digraphs have linear bi mim width at most 12 E(H) , which extends a bound on the linear mim width of H graphs On the Tractability of Optimization Problems on H Graphs. Algorithmica 2020 . For applications, we introduce a novel framework of directed versions of locally checkable problems, that streamlines the definitions and the study of many problems in the literature and facilitates their common algorithmic treatment. We obtain unified polynomial time algorithms for these problems on digraphs of bounded bi mim width, when a branch decomposition is given. Locally checkable problems include Kernel, Dominating Set, and Directed H Homomorphism.


Self crossing geodesics. We discuss self crossing patterns of closed geodesics on a convex surface.


A Few Brief Notes on DeepImpact, COIL, and a Conceptual Framework for Information Retrieval Techniques. Recent developments in representational learning for information retrieval can be organized in a conceptual framework that establishes two pairs of contrasts sparse vs. dense representations and unsupervised vs. learned representations. Sparse learned representations can further be decomposed into expansion and term weighting components. This framework allows us to understand the relationship between recently proposed techniques such as DPR, ANCE, DeepCT, DeepImpact, and COIL, and furthermore, gaps revealed by our analysis point to "low hanging fruit" in terms of techniques that have yet to be explored. We present a novel technique dubbed "uniCOIL", a simple extension of COIL that achieves to our knowledge the current state of the art in sparse retrieval on the popular MS MARCO passage ranking dataset. Our implementation using the Anserini IR toolkit is built on the Lucene search library and thus fully compatible with standard inverted indexes.