Using Video Game Development to Motivate Program Design and Algebra Among Inner City High School Students. Introducing inner city high school students to program design presents unique challenges. The typical assumptions of an introductory programming course, like students understand what variables and functions are, may not be safe. Therefore, asking students to define functions as part of the program design process may be an overwhelming task. Many students do not understand that a function is an abstraction over similar expressions and that parameters represent the differences among these expressions. This articles presents a novel approach to teaching program design to high school students while simultaneously reinforcing high school algebra. The approach is based on a design recipe to help students develop the abstractions that lead to functions. Using a bottom up approach, students are taught how to abstract over similar expressions. They are then taught how to use high school algebra concepts, like compound functions and function composition, to also design functions. In addition, the article also presents empirical data collected from students to measure their reaction to the course. For the students in the course, the empirical data suggests that high school algebra concepts are successfully reinforced and that students feel they become better problem solvers, find programming intellectually stimulating, and walk away with an interest in programming.


On well posedness of generalized Hall magneto hydrodynamics. We obtain local well posedness result for the generalized Hall magneto hydrodynamics system in Besov spaces dot B (2 alpha 1 gamma) infty, infty times dot B (2 alpha 2 beta) infty, infty ( mathbb R 3) with suitable indexes alpha 1, alpha 2, beta and gamma. As a corollary, the generalized electron magneto hydrodynamics system is globally well posed in dot B (2 alpha 2 2) infty, infty ( mathbb R 3) for small initial data.


Singular solutions of elliptic equations with iterated exponentials. We construct positive singular solutions for the problem Delta u lambda exp (e u) in B 1 subset mathbb R n ( n geq 3 ), u 0 on partial B 1 , having a prescribed behaviour around the origin. Our study extends the one in Y. Miyamoto Y. Miyamoto, A limit equation and bifurcation diagrams of semilinear elliptic equations with general supercritical growth. J. Differential Equations textbf 264 (2018), 2684 2707 for such nonlinearities. Our approach is then carried out to elliptic equations featuring iterated exponentials.


Traceable Policy Based Signatures and Instantiation from Lattices. Policy based signatures (PBS) were proposed by Bellare and Fuchsbauer (PKC 2014) to allow an em authorized member of an organization to sign a message on behalf of the organization. The user's authorization is determined by a policy managed by the organization's trusted authority, while the signature preserves the privacy of the organization's policy. Signing keys in PBS do not include user identity information and thus can be passed to others, violating the intention of employing PBS to restrict users' signing capability. In this paper, we introduce the notion of em traceability for PBS by including user identity in the signing key such that the trusted authority will be able to open a suspicious signature and recover the signer's identity should the needs arise. We provide rigorous definitions and stringent security notions of traceable PBS (TPBS), capturing the properties of PBS suggested by Bellare Fuchsbauer and resembling the "full traceability" requirement for group signatures put forward by Bellare Micciancio Warinschi (Eurocrypt 2003). As a proof of concept, we provide a modular construction of TPBS, based on a signature scheme, an encryption scheme and a zero knowledge proof system. Furthermore, to demonstrate the feasibility of achieving TPBS from concrete, quantum resistant assumptions, we give an instantiation based on lattices.


Single valley extended solutions with platforms of FKS equation. The Feigenbaum Kadanoff Shenker (FKS) equation is a nonlinear iterative functional equation, which characterizes the quasiperiodic route to chaos for circle maps. Instead of FKS equation, we put forward the second type of FKS equation. We use the iterative construction method to obtain a new kind of continuous solutions with platforms for this functional equation. We show some properties of these continuous solutions, and give one relationship of some solutions between FKS equation and the second type of FKS equation.


Robust LQR for Uncertain Discrete Time Systems using Polynomial Chaos. In this paper, a polynomial chaos based framework for designing controllers for discrete time linear systems with probabilistic parameters is presented. Conditions for exponential mean square stability for such systems are derived and algorithms for synthesizing optimal quadratically stabilizing controllers are proposed in a convex optimization formulation. The solution presented is demonstrated on the derived discrete time models of a nonlinear F 16 aircraft model trimmed at a set of chosen points.


An inverse random source problem for the one dimensional Helmholtz equation with attenuation. This paper is concerned with an inverse random source problem for the one dimensional stochastic Helmholtz equation with attenuation. The source is assumed to be a microlocally isotropic Gaussian random field with its covariance operator being a classical pseudo differential operator. The random sources under consideration are equivalent to the generalized fractional Gaussian random fields which include rough fields and can be even rougher than the white noise, and hence should be interpreted as distributions. The well posedness of the direct source scattering problem is established in the distribution sense. The micro correlation strength of the random source, which appears to be the strength in the principal symbol of the covariance operator, is proved to be uniquely determined by the wave field in an open measurement set. Numerical experiments are presented for the white noise model to demonstrate the validity and effectiveness of the proposed method.


A limiting absorption principle for Helmholtz systems and time harmonic isotropic Maxwell's equations. In this work we investigate the L p L q mapping properties of the resolvent associated with the time harmonic isotropic Maxwell operator. As spectral parameters close to the spectrum are also covered by our analysis, we obtain an L p L q type Limiting Absorption Principle for this operator. Our analysis relies on new results for Helmholtz systems with zero order non Hermitian perturbations. Moreover, we provide an improved version of the Limiting Absorption Principle for Hermitian (self adjoint) Helmholtz systems.


Revisiting Role of Autoencoders in Adversarial Settings. To combat against adversarial attacks, autoencoder structure is widely used to perform denoising which is regarded as gradient masking. In this paper, we revisit the role of autoencoders in adversarial settings. Through the comprehensive experimental results and analysis, this paper presents the inherent property of adversarial robustness in the autoencoders. We also found that autoencoders may use robust features that cause inherent adversarial robustness. We believe that our discovery of the adversarial robustness of the autoencoders can provide clues to the future research and applications for adversarial defense.


Eigenstructure preserving scheme for a hyperbolic system. A hyperbolic system must have a set of linearly independent eigenvectors and corresponding real eigenvalues. In numerical simulations, however, the eigenvalues can be complex because truncation errors pollute a characteristic polynomial of the hyperbolic system. Here we propose an eigenstructure preserving scheme which always generates the real eigenvalues, even in discrete level. Although the eigenstructure is discussed in a non conservative formulation, the proposed scheme is locally conservative owing to the skew symmetric operators.


On rigid origami III local rigidity analysis. Rigid origami is examined from the perspective of rigidity theory. First and second order rigidity are defined from local differential analysis of the consistency constraint while the static rigidity and prestress stability are defined after finding the form of internal force and load. This article will show that first order or static rigidity implies prestress stability, which implies second order rigidity, which implies rigidity, but none of these is reversible. Examples are given of rigid origami structures with these different kinds of rigidity. Examining the different aspects of the rigidity of origami might give a novel perspective for the development of new folding patterns, or for the design of origami structures where some rigidity is required.


Error estimates of residual minimization using neural networks for linear PDEs. We propose an abstract framework for analyzing the convergence of least squares methods based on residual minimization when feasible solutions are neural networks. With the norm relations and compactness arguments, we derive error estimates for both continuous and discrete formulations of residual minimization in strong and weak forms. The formulations cover recently developed physics informed neural networks based on strong and variational formulations.


The monogenic Hua Radon transform and its inverse. The monogenic Hua Radon transform is defined as an orthogonal projection on holomorphic functions in the Lie sphere. Extending the work of Sabadini and Sommen, J. Geom. Anal. 29 (2019), 2709 2737, we determine its reproducing kernel. Integrating this kernel over the Stiefel manifold yields a linear combination of the zonal spherical monogenics. Using the reproducing properties of those monogenics we obtain an inversion for the monogenic Hua Radon transform.


Stability of Sampling for CUR Decompositions. This article studies how to form CUR decompositions of low rank matrices via primarily random sampling, though deterministic methods due to previous works are illustrated as well. The primary problem is to determine when a column submatrix of a rank k matrix also has rank k . For random column sampling schemes, there is typically a tradeoff between the number of columns needed to be chosen and the complexity of determining the sampling probabilities. We discuss several sampling methods and their complexities as well as stability of the method under perturbations of both the probabilities and the underlying matrix. As an application, we give a high probability guarantee of the exact solution of the Subspace Clustering Problem via CUR decompositions when columns are sampled according to their Euclidean lengths.


Generating Information Extraction Patterns from Overlapping and Variable Length Annotations using Sequence Alignment. Sequence alignments are used to capture patterns composed of elements representing multiple conceptual levels through the alignment of sequences that contain overlapping and variable length annotations. The alignments also determine the proper context window of words and phrases that most directly impact the meaning of a given target within a sentence, eliminating the need to predefine a fixed context window of words surrounding the targets. We evaluated the system using the CoNLL 2003 named entity recognition (NER) task.


Mixed GMsFEM for linear poroelasticity problems in heterogeneous porous media. Accurate numerical simulations of interaction between fluid and solid play an important role in applications. The task is challenging in practical scenarios as the media are usually highly heterogeneous with very large contrast. To overcome this computational challenge, various multiscale methods are developed. In this paper, we consider a class of linear poroelasticity problems in high contrast heterogeneous porous media, and develop a mixed generalized multiscale finite element method (GMsFEM) to obtain a fast computational method. Our aim is to develop a multiscale method that is robust with respect to the heterogeneities and contrast of the media, and gives a mass conservative fluid velocity field. We will construct decoupled multiscale basis functions for the elastic displacement as well as fluid velocity. Our multiscale basis functions are local. The construction is based on some suitable choices of local snapshot spaces and local spectral decomposition, with the goal of extracting dominant modes of the solutions. For the pressure, we will use piecewise constant approximation. We will present several numerical examples to illustrate the performance of our method. Our results indicate that the proposed method is able to give accurate numerical solutions with a small degree of freedoms.


Leveraging Localization for Multi camera Association. We present McAssoc, a deep learning approach to the as sociation of detection bounding boxes in different views ofa multi camera system. The vast majority of the academiahas been developing single camera computer vision algo rithms, however, little research attention has been directedto incorporating them into a multi camera system. In thispaper, we designed a 3 branch architecture that leveragesdirect association and additional cross localization infor mation. A new metric, image pair association accuracy(IPAA) is designed specifically for performance evaluationof cross camera detection association. We show in the ex periments that localization information is critical to suc cessful cross camera association, especially when similar looking objects are present. This paper is an experimentalwork prior to MessyTable, which is a large scale bench mark for instance association in mutliple cameras.


Diameter of Cayley graphs of SL(n,p) with generating sets containing a transvection. A well known conjecture of Babai states that if G is a finite simple group and X is a generating set of G , then the diameter of the Cayley graph Cay(G,X) is bounded above by ( log G ) c for some absolute constant c . The goal of this paper is to prove such a bound for the diameter of Cay(G,X) whenever G SL(n,p) and X is a generating set of G which contains a transvection. A natural analogue of this result is also proved for G SL(n,K) , where K can be any field.


Deep Learning Approach for Intelligent Named Entity Recognition of Cyber Security. In recent years, the amount of Cyber Security data generated in the form of unstructured texts, for example, social media resources, blogs, articles, and so on has exceptionally increased. Named Entity Recognition (NER) is an initial step towards converting this unstructured data into structured data which can be used by a lot of applications. The existing methods on NER for Cyber Security data are based on rules and linguistic characteristics. A Deep Learning (DL) based approach embedded with Conditional Random Fields (CRFs) is proposed in this paper. Several DL architectures are evaluated to find the most optimal architecture. The combination of Bidirectional Gated Recurrent Unit (Bi GRU), Convolutional Neural Network (CNN), and CRF performed better compared to various other DL frameworks on a publicly available benchmark dataset. This may be due to the reason that the bidirectional structures preserve the features related to the future and previous words in a sequence.


Solution of the logarithmic coefficients conjecture in some families of univalent functions. For univalent and normalized functions f the logarithmic coefficients gamma n(f) are determined by the formula log(f(z) z) sum n 1 infty 2 gamma n(f)z n . In the paper cite Pon the authors posed the conjecture that a locally univalent function in the unit disk, satisfying the condition Re left 1 zf''(z) f'(z) right 1 lambda 2 quad (z in mathbb D ), fulfill also the following inequality gamma n(f) le lambda (2n(n 1)). Here lambda is a real number such that 0 lambda le 1 . In the paper we confirm that the conjecture is true, and sharp.


Enhancing Diversity in Teacher Student Networks via Asymmetric branches for Unsupervised Person Re identification. The objective of unsupervised person re identification (Re ID) is to learn discriminative features without labor intensive identity annotations. State of the art unsupervised Re ID methods assign pseudo labels to unlabeled images in the target domain and learn from these noisy pseudo labels. Recently introduced Mean Teacher Model is a promising way to mitigate the label noise. However, during the training, self ensembled teacher student networks quickly converge to a consensus which leads to a local minimum. We explore the possibility of using an asymmetric structure inside neural network to address this problem. First, asymmetric branches are proposed to extract features in different manners, which enhances the feature diversity in appearance signatures. Then, our proposed cross branch supervision allows one branch to get supervision from the other branch, which transfers distinct knowledge and enhances the weight diversity between teacher and student networks. Extensive experiments show that our proposed method can significantly surpass the performance of previous work on both unsupervised domain adaptation and fully unsupervised Re ID tasks.


Characterizing compact families via the Laplace transform. In 1985, Robert L. Pego characterized compact families in L 2( reals) in terms of the Fourier transform. It took nearly 30 years to realize that Pego's result can be proved in a wider setting of locally compact abelian groups (works of G 'orka and Kostrzewa). In the current paper, we argue that the Fourier transform is not the only integral transform that is efficient in characterizing compact families and suggest the Laplace transform as a possible alternative.


Die Bahnen der ISS und anderer Satelliten. This activity was created within the framework of the "Space for Education" project, which ams at experiencing physical principles on the basis of topics related to space travel. Artificial satellites are suitable as application oriented examples to explain the effect of gravity on their orbits. This working material deals with the orbit of the International Space Station (ISS) around the Earth. In simple calculations and representations, the students learn how the orbits of artificial satellites are created and which characteristic velocities occur. They compare their ISS results with those of geostationary satellites and discover applications of this particular orbit. Additional materials at https www.haus der astronomie.de raum fuer bildung Diese Aktivit "at wurde im Rahmen des Projekts "Raum f "ur Bildung" erstellt, welches physikalische Prinzipien anhand der Raumfahrt erlebbar macht. K "unstliche Satelliten eignen sich als anwendungsnahe Beispiele, um die Wirkung der Gravitation auf ihre Bahn n "aher zu erl "autern. Dieses Arbeitsmaterial behandelt dazu exemplarisch den Orbit der Internationalen Raumstation (ISS) um die Erde. In einfachen Rechnungen und Darstellungen erfahren die Sch "ulerinnen und Sch "uler, wie Bahnen k "unstlicher Satelliten zustande kommen und welche charakteristischen Geschwindigkeiten dabei auftreten. Sie vergleichen ihre Ergebnisse zur ISS mit denen von geostation "aren Satelliten und entdecken Anwendungen dieses besonderen Orbits. Weitere Materialien unter https www.haus der astronomie.de raum fuer bildung


Gradient based Analysis of NLP Models is Manipulable. Gradient based analysis methods, such as saliency map visualizations and adversarial input perturbations, have found widespread use in interpreting neural NLP models due to their simplicity, flexibility, and most importantly, their faithfulness. In this paper, however, we demonstrate that the gradients of a model are easily manipulable, and thus bring into question the reliability of gradient based analyses. In particular, we merge the layers of a target model with a Facade that overwhelms the gradients without affecting the predictions. This Facade can be trained to have gradients that are misleading and irrelevant to the task, such as focusing only on the stop words in the input. On a variety of NLP tasks (text classification, NLI, and QA), we show that our method can manipulate numerous gradient based analysis techniques saliency maps, input reduction, and adversarial perturbations all identify unimportant or targeted tokens as being highly important. The code and a tutorial of this paper is available at http ucinlp.github.io facade.


The Dirichlet problem for a class of degenerate fully nonlinear elliptic equations on Riemannian manifolds with mean concave boundary. This article studies the Dirichlet problem for a class of degenerate fully nonlinear elliptic equations on Riemannian manifolds with textit mean concave boundary in the sense that the mean curvature of the boundary is textit nonpositive . The proof is primarily based on a quantitative boundary estimate. Also, we obtain analogous results in complex variables. In Appendix, the subsolutions are also constructed on certain topologically product manifolds.


Analysis of the impact of maker taker fees on the stock market using agent based simulation. Recently, most stock exchanges in the U.S. employ maker taker fees, in which an exchange pays rebates to traders placing orders in the order book and charges fees to traders taking orders from the order book. Maker taker fees encourage traders to place many orders that provide market liquidity to the exchange. However, it is not clear how maker taker fees affect the total cost of a taking order, including all the charged fees and the market impact. In this study, we investigated the effect of maker taker fees on the total cost of a taking order with our artificial market model, which is an agent based model for financial markets. We found that maker taker fees encourage market efficiency but increase the total costs of taking orders.


Designing Trustworthy AI A Human Machine Teaming Framework to Guide Development. Artificial intelligence (AI) holds great promise to empower us with knowledge and augment our effectiveness. We can and must ensure that we keep humans safe and in control, particularly with regard to government and public sector applications that affect broad populations. How can AI development teams harness the power of AI systems and design them to be valuable to humans? Diverse teams are needed to build trustworthy artificial intelligent systems, and those teams need to coalesce around a shared set of ethics. There are many discussions in the AI field about ethics and trust, but there are few frameworks available for people to use as guidance when creating these systems. The Human Machine Teaming (HMT) Framework for Designing Ethical AI Experiences described in this paper, when used with a set of technical ethics, will guide AI development teams to create AI systems that are accountable, de risked, respectful, secure, honest, and usable. To support the team's efforts, activities to understand people's needs and concerns will be introduced along with the themes to support the team's efforts. For example, usability testing can help determine if the audience understands how the AI system works and complies with the HMT Framework. The HMT Framework is based on reviews of existing ethical codes and best practices in human computer interaction and software development. Human machine teams are strongest when human users can trust AI systems to behave as expected, safely, securely, and understandably. Using the HMT Framework to design trustworthy AI systems will provide support to teams in identifying potential issues ahead of time and making great experiences for humans.


How to Staff when Customers Arrive in Batches. In settings as diverse as autonomous vehicles, cloud computing, and pandemic quarantines, requests for service can arrive in near or true simultaneity with one another. This creates batches of arrivals to the underlying queueing system. In this paper, we study the staffing problem for the batch arrival queue. We show that batches place a significant stress on services, and thus require a high amount of resources and preparation. In fact, we find that there is no economy of scale as the number of customers in each batch increases, creating a stark contrast with the square root safety staffing rules enjoyed by systems with solitary arrivals of customers. Furthermore, when customers arrive both quickly and in batches, an economy of scale can exist, but it is weaker than what is typically expected. Methodologically, these staffing results follow from novel large batch and hybrid large batch and large rate limits of the general multi server queueing model. In the pure large batch limit, we establish the first formal connection between multi server queues and storage processes, another family of stochastic processes. By consequence, we show that the limit of the batch scaled queue length process is not asymptotically normal, and that, in fact, the fluid and diffusion type limits coincide. This is what drives our staffing analysis of the batch arrival queue, and what implies that the (safety) staffing of this system must be directly proportional to the batch size just to achieve a non degenerate probability of customers waiting.


Design of Bilayer and Multi layer LDPC Ensembles from Individual Degree Distributions. A new approach for designing bilayer and multi layer LDPC codes is proposed and studied in the asymptotic regime. The ensembles are defined through individual uni variate degree distributions, one for each layer. We present a construction that 1) enables low complexity decoding for high SNR channel instances, 2) provably approaches capacity for low SNR instances, 3) scales linearly (in terms of design complexity) in the number of layers. For the setup where decoding the second layer is significantly more costly than the first layer, we propose an optimal cost decoding schedule and study the trade off between code rate and decoding cost.


Automated Data Integration, Cleaning and Analysis Using Data Mining and SPSS Tool For Technical School in Malaysia. This study aims to integrate, clean and analysis through automated data mining techniques. Using data mining (DM) techniques is one of the processes of transferring raw data from current educational system to meaningful information that can be used to help the school community to make a right decision to achieve much better results. This proved DM provides means to assist both educators and students, and improve the quality of education. The result and findings in the study show that automated system will give the same result compare with manual system of integration and analysis and also could be used by the management to make faster and more efficient decision in order to map or plan efficient teaching approach for students in the future.


Spacelike graphs with prescribed mean curvature on exterior domains in the Minkowski spacetime. We consider a Dirichlet problem for the mean curvature operator in the Minkowski spacetime, obtaining a necessary and sufficient condition for the existence of a spacelike solution, with prescribed mean curvature, which is the graph of a function defined on a domain equal to the complement in mathbb R n of the union of a finite number of bounded Lipschitz domains. The mean curvature H H(x,t) is assumed to have absolute value controlled from above by a locally bounded, L p function, p in 1,2n (n 2) , n geq 3 .


TornadoAggregate Accurate and Scalable Federated Learning via the Ring Based Architecture. Federated learning has emerged as a new paradigm of collaborative machine learning however, many prior studies have used global aggregation along a star topology without much consideration of the communication scalability or the diurnal property relied on clients' local time variety. In contrast, ring architecture can resolve the scalability issue and even satisfy the diurnal property by iterating nodes without an aggregation. Nevertheless, such ring based algorithms can inherently suffer from the high variance problem. To this end, we propose a novel algorithm called TornadoAggregate that improves both accuracy and scalability by facilitating the ring architecture. In particular, to improve the accuracy, we reformulate the loss minimization into a variance reduction problem and establish three principles to reduce variance Ring Aware Grouping, Small Ring, and Ring Chaining. Experimental results show that TornadoAggregate improved the test accuracy by up to 26.7 and achieved near linear scalability.


Non equilibrium Model for Weakly Compressible Multi component Flows the Hyperbolic Operator. We present a novel pressure based method for weakly compressible multiphase flows, based on a non equilibrium Baer and Nunziato type model. In this work, we describe the hyperbolic operator, thus we do not consider relaxation terms. The acoustic part of the governing equations is treated implicitly to avoid the severe restriction on the time step imposed by the CFL condition at low Mach. Particular care is taken to discretize the non conservative terms to avoid spurious oscillations across multi material interfaces. The absence of oscillations and the agreement with analytical or published solutions is demonstrated in simplified test cases, which confirm the validity of the proposed approach as a building block on which developing more accurate and comprehensive methods.


Fractional parts of non integer powers of primes. II. We continue to study the distribution of prime numbers p , satisfying the condition p alpha in I subset 0 1) , in arithmetic progressions. In the paper, we prove an analogue of Bombieri Vinogradov theorem for 0 alpha 1 9 with the level of distribution theta 2 5 (3 5) alpha , which improves the previous result corresponding to theta leq 1 3 .


Degree 3 unramified cohomology of classifying spaces for exceptional groups. Let G be a reductive group defined over an algebraically closed field of characteristic 0 such that the Dynkin diagram of G is the disjoint union of diagrams of types G 2 , F 4 , E 6 , E 7 , E 8 . We show that the degree 3 unramified cohomology of the classifying space of G is trivial. In particular, combined with articles by Merkurjev cite Mer17 and the author cite Baek , this completes the computations of degree 3 unramified cohomology and reductive invariants for all split semisimple groups of a homogeneous Dynkin type.


Global endpoint Strichartz estimates for Schr "odinger equations on the cylinder mathbb R times mathbb T . We prove a sharp, global in time Strichartz estimate for the Schr "odinger equation on the cylinder mathbb R times mathbb T .


A numerical criterion for generalised Monge Ampere equations on projective manifolds. We prove that generalised Monge Amp ere equations (a family of equations which includes the inverse Hessian equations like the J equation, as well as the Monge Amp ere equation) on projective manifolds have smooth solutions if certain intersection numbers are positive. As corollaries of our work, we improve a result of Chen (albeit in the projective case) on the existence of solutions to the J equation, and prove a conjecture of Sz 'ekelyhidi in the projective case on the solvability of certain inverse Hessian equations. The key new ingredient in improving Chen's result is a degenerate concentration of mass result. We also prove an equivariant version of our results, albeit under the assumption of uniform positivity. In particular, we can recover existing results on manifolds with large symmetry such as projective toric manifolds.


Rethinking Blockchains in the Internet of Things Era from a Wireless Communication Perspective. Due to the rapid development of Internet of Things (IoT), a massive number of devices are connected to the Internet. For these distributed devices in IoT networks, how to ensure their security and privacy becomes a significant challenge. The blockchain technology provides a promising solution to protect the data integrity, provenance, privacy, and consistency for IoT networks. In blockchains, communication is a prerequisite for participants, which are distributed in the system, to reach consensus. However, in IoT networks, most of the devices communicate through wireless links, which are not always reliable. Hence, the communication reliability of IoT devices influences the system security. In this article, we rethink the roles of communication and computing in blockchains by accounting for communication reliability. We analyze the tradeoff between communication reliability and computing power in blockchain security, and present a lower bound to the computing power that is needed to conduct an attack with a given communication reliability. Simulation results show that adversarial nodes can succeed in tampering a block with less computing power by hindering the propagation of blocks from other nodes.


Exploring Differential Obliviousness. In a recent paper Chan et al. SODA '19 proposed a relaxation of the notion of (full) memory obliviousness, which was introduced by Goldreich and Ostrovsky J. ACM '96 and extensively researched by cryptographers. The new notion, differential obliviousness, requires that any two neighboring inputs exhibit similar memory access patterns, where the similarity requirement is that of differential privacy. Chan et al. demonstrated that differential obliviousness allows achieving improved efficiency for several algorithmic tasks, including sorting, merging of sorted lists, and range query data structures. In this work, we continue the exploration and mapping of differential obliviousness, focusing on algorithms that do not necessarily examine all their input. This choice is motivated by the fact that the existence of logarithmic overhead ORAM protocols implies that differential obliviousness can yield at most a logarithmic improvement in efficiency for computations that need to examine all their input. In particular, we explore property testing, where we show that differential obliviousness yields an almost linear improvement in overhead in the dense graph model, and at most quadratic improvement in the bounded degree model. We also explore tasks where a non oblivious algorithm would need to explore different portions of the input, where the latter would depend on the input itself, and where we show that such a behavior can be maintained under differential obliviousness, but not under full obliviousness. Our examples suggest that there would be benefits in further exploring which class of computational tasks are amenable to differential obliviousness.


Geometric theory of inertial manifolds for compact cocycles in Banach spaces. We present a geometric theory of inertial manifolds for compact cocycles (non autonomous dynamical systems), which satisfy a certain squeezing property with respect to a family of quadratic Lyapunov functionals in a Banach space. Under general assumptions we show that these manifolds posses classical properties such as exponential tracking, differentiability and normal hyperbolicity. Our theory includes and largely extends classical studies for semilinear parabolic equations by C. Foias, G. R. Sell and R. Temam (based on the Spectral Gap Condition) and by G. R. Sell and J. Mallet Paret (based on the Spatial Averaging) and their further developments. Besides semilinear parabolic equations our theory can be applied also to ODEs, ODEs with delay (extending the inertial manifold theories of Yu. A. Ryabov, R. D. Driver and C. Chicone for delay equations with small delays), parabolic equations with delay and parabolic equations with boundary controls (nonlinear boundary conditions). In applications, the squeezing property can be verified with the aid of various versions of the Frequency Theorem, which provides optimal (in some sense) and flexible conditions. This flexibility gives a possibility in applications to obtain conditions for low dimensional dynamics, including, in particular, developments of the Poincar ' e Bendixson theory and convergence theorems from a series of papers by R. A. Smith.


Temporal Planning with Intermediate Conditions and Effects. Automated temporal planning is the technology of choice when controlling systems that can execute more actions in parallel and when temporal constraints, such as deadlines, are needed in the model. One limitation of several action based planning systems is that actions are modeled as intervals having conditions and effects only at the extremes and as invariants, but no conditions nor effects can be specified at arbitrary points or sub intervals. In this paper, we address this limitation by providing an effective heuristic search technique for temporal planning, allowing the definition of actions with conditions and effects at any arbitrary time within the action duration. We experimentally demonstrate that our approach is far better than standard encodings in PDDL 2.1 and is competitive with other approaches that can (directly or indirectly) represent intermediate action conditions or effects.


Some improvements of numerical radius inequalities of operators and operator matrices. We obtain upper bounds for the numerical radius of a product of Hilbert space operators which improve on the existing upper bounds. We generalize the numerical radius inequalities of n times n operator matrices by using non negative continuous functions on 0, infty) . We also obtain some upper and lower bounds for the B numerical radius of operator matrices, where B is the diagonal operator matrix whose each diagonal entry is a positive operator A. We show that these bounds generalize and improve on the existing bounds.


A Primal Dual Partial Inverse Splitting for Constrained Monotone Inclusions Applications to stochastic Programming and Mean Field Games. In this work we study a constrained monotone inclusion involving the normal cone to a closed vector subspace and a priori information on primal solutions. We model this information by imposing that solutions belongs to the fixed point set of an averaged nonexpansive mapping. We characterize the solutions using an auxiliary inclusion that involves the partial inverse operator. Then, we propose the primal dual partial inverse splitting and we prove its weak convergence to a solution of the inclusion, generalizing several methods in the literature. The efficiency of the proposed method is illustrated in two non smooth convex optimization problems whose constraints have vector subspace structure. Finally, the proposed algorithm is applied to find a solution to a stochastic arc capacity expansion problem in transport networks.


On an existence theory for a fluid beam problem encompassing possible contacts. In this paper we consider a coupled system of pdes modelling the interaction between a two dimensional incompressible viscous fluid and a one dimensional elastic beam located on the upper part of the fluid domain boundary. We design a functional framework to define weak solutions in case of contact between the elastic beam and the bottom of the fluid cavity. We then prove that such solutions exist globally in time regardless a possible contact by approximating the beam equation by a damped beam and letting this additional viscosity vanish.


Shift Convolution Network for Stereo Matching. In this paper, we present Shift Convolution Network (ShiftConvNet) to provide matching capability between two feature maps for stereo estimation. The proposed method can speedily produce a highly accurate disparity map from stereo images. A module called shift convolution layer is proposed to replace the traditional correlation layer to perform patch comparisons between two feature maps. By using a novel architecture of convolutional network to learn the matching process, ShiftConvNet can produce better results than DispNet C 1 , also running faster with 5 fps. Moreover, with a proposed auto shift convolution refine part, further improvement is obtained. The proposed approach was evaluated on FlyingThings 3D. It achieves state of the art results on the benchmark dataset. Codes will be made available at github.


Detecting Reflections by Combining Semantic and Instance Segmentation. Reflections in natural images commonly cause false positives in automated detection systems. These false positives can lead to significant impairment of accuracy in the tasks of detection, counting and segmentation. Here, inspired by the recent panoptic approach to segmentation, we show how fusing instance and semantic segmentation can automatically identify reflection false positives, without explicitly needing to have the reflective regions labelled. We explore in detail how state of the art two stage detectors suffer a loss of broader contextual features, and hence are unable to learn to ignore these reflections. We then present an approach to fuse instance and semantic segmentations for this application, and subsequently show how this reduces false positive detections in a real world surveillance data with a large number of reflective surfaces. This demonstrates how panoptic segmentation and related work, despite being in its infancy, can already be useful in real world computer vision problems.


Brotate and Tribike Designing Smartphone Control for Cycling. The more people commute by bicycle, the higher is the number of cyclists using their smartphones while cycling and compromising traffic safety. We have designed, implemented and evaluated two prototypes for smartphone control devices that do not require the cyclists to remove their hands from the handlebars the three button device Tribike and the rotation controlled Brotate. The devices were the result of a user centred design process where we identified the key features needed for a on bike smartphone control device. We evaluated the devices in a biking exercise with 19 participants, where users completed a series of common smartphone tasks. The study showed that Brotate allowed for significantly more lateral control of the bicycle and both devices reduced the cognitive load required to use the smartphone. Our work contributes insights into designing interfaces for cycling.


Topology and Content Co Alignment Graph Convolutional Learning. In traditional Graph Neural Networks (GNN), graph convolutional learning is carried out through topology driven recursive node content aggregation for network representation learning. In reality, network topology and node content are not always consistent because of irrelevant or missing links between nodes. A pure topology driven feature aggregation approach between unaligned neighborhoods deteriorates learning for nodes with poor structure content consistency, and incorrect messages could propagate over the whole network as a result. In this paper, we advocate co alignment graph convolutional learning (CoGL), by aligning the topology and content networks to maximize consistency. Our theme is to force the topology network to respect underlying content network while simultaneously optimizing the content network to respect the topology for optimized representation learning. Given a network, CoGL first reconstructs a content network from node features then co aligns the content network and the original network though a unified optimization goal with (1) minimized content loss, (2) minimized classification loss, and (3) minimized adversarial loss. Experiments on six benchmarks demonstrate that CoGL significantly outperforms existing state of the art GNN models.


Linearizations for interpolation bases a comparison I. One strategy to solve a nonlinear eigenvalue problem T( lambda)x 0 is to solve a polynomial eigenvalue problem (PEP) P( lambda)x 0 that approximates the original problem through interpolation. Then, this PEP is usually solved by linearization. Most of the literature about linearizations assumes that P( lambda) is expressed in the monomial basis but, because of the polynomial approximation techniques, in this context, P( lambda) is expressed in a non monomial basis. The bases used with most frequency are the Chebyshev basis, the Newton basis and the Lagrange basis. In this paper we construct a family of linearizations of P( lambda) that is easy to construct from the matrix coefficients of P( lambda) when this polynomial is expressed in any of those three bases. We also provide recovery formulas of eigenvectors (when P( lambda) is regular) and recovery formulas of minimal bases and minimal indices (when P( lambda) is singular). Our ultimate goal is to compare the numerical behavior of these linearizations, within the same family (to select the best one) and with the linearizations of other families based on the location of the eigenvalues with respect to the interpolation nodes.


Sound Absorption in Partially Ionized Hydrogen Plasma and Heating Mechanism of Solar Chromosphere. The temperature dependence of rates of electron impact ionization and two electrons recombination are calculated using Wannier cross section of electron impact ionization of neutral hydrogen atom. Entropy production and power dissipation are derived for the case when the ionization degree deviates from its equilibrium value. This is the special case of the obtained general formula for entropy production accompanying chemical reactions. Damping rate of the sound waves is calculated and the conditions when ionization processes dominate are considered. A quasi classical approximation for the heating mechanism of solar chromosphere is proposed. Several analogous phenomena for damping rates in liquids and crystals are shortly discussed, for example, deaf sound of a glass of beer or English salt solution. An explicit expression for the second or bulk (or volume) viscosity of hydrogen plasma is calculated from firsts principles. For the first time some second viscosity is calculated from first principles.


Towards Generating Explanations for ASP Based Link Analysis using Declarative Program Transformations. The explication and the generation of explanations are prominent topics in artificial intelligence and data science, in order to make methods and systems more transparent and understandable for humans. This paper investigates the problem of link analysis, specifically link prediction and anomalous link discovery in social networks using the declarative method of Answer set programming (ASP). Applying ASP for link prediction provides a powerful declarative approach, e.g., for incorporating domain knowledge for explicative prediction. In this context, we propose a novel method for generating explanations as offline justifications using declarative program transformations. The method itself is purely based on syntactic transformations of declarative programs, e.g., in an ASP formalism, using rule instrumentation. We demonstrate the efficacy of the proposed approach, exemplifying it in an application on link analysis in social networks, also including domain knowledge.


A Survey of Requirement Engineering Process in Android Application Development. Mobile application development is the most rapidly growing industry in the world. Nowadays, people totally depend on smart phones for performing daily routine tasks which results in tremendous rises in the expectation of human being from IT industry which increase the requirements of human being. In order to tackle the uncontrolled changes in the requirements, IT experts performed some proper requirement engineering process (REP). Therefore, in this paper we are performing industry survey by asking them several questions related to the REP from android developer in order to understand the REP used in the IT industry. Results we extract from this study is satisfactory used in order to make REP more effective.


How to calculate the proportion of everywhere locally soluble diagonal hypersurfaces. In this paper, we establish a strategy for the calculation of the proportion of everywhere locally soluble diagonal hypersurfaces of mathbb P n of fixed degree. Our strategy is based on the product formula established by Bright, Browning and Loughran. Their formula reduces the problem into the calculation of the proportions of mathbb Q v soluble diagonal hypersurfaces for all places v . As worked examples, we carry out our strategy in the cases of quadratic and cubic hypersurfaces. As a consequence, we prove that around 99.99 of diagonal cubic 4 folds have mathbb Q rational points under a hypothesis on the Brauer Manin obstruction.


Network model and analysis of the spread of Covid 19 with social distancing. The first mitigation response to the Covid 19 pandemic was to limit person to person interaction as much as possible. This was implemented by the temporary closing of many workplaces and people were required to follow social distancing. Networks are a great way to represent interactions among people and the temporary severing of these interactions. Here, we present a network model of human human interactions that could be mediators of disease spread. The nodes of this network are individuals and different types of edges denote family cliques, workplace interactions, interactions arising from essential needs, and social interactions. Each individual can be in one of four states susceptible, infected, immune, and dead. The network and the disease parameters are informed by the existing literature on Covid 19. Using this model, we simulate the spread of an infectious disease in the presence of various mitigation scenarios. For example, lockdown is implemented by deleting edges that denote non essential interactions. We validate the simulation results with the real data by matching the basic and effective reproduction numbers during different phases of the spread. We also simulate different possibilities of the slow lifting of the lockdown by varying the transmission rate as facilities are slowly opened but people follow prevention measures like wearing masks etc. We make predictions on the probability and intensity of a second wave of infection in each of these scenarios.


An Analytic Propositional Proof System on Graphs. In this paper we present a proof system that operates on graphs instead of formulas. Starting from the well known relationship between formulas and cographs, we drop the cograph conditions and look at arbitrary undirected) graphs. This means that we lose the tree structure of the formulas corresponding to the cographs, and we can no longer use standard proof theoretical methods that depend on that tree structure. In order to overcome this difficulty, we use a modular decomposition of graphs and some techniques from deep inference where inference rules do not rely on the main connective of a formula. For our proof system we show the admissibility of cut and a generalization of the splitting property. Finally, we show that our system is a conservative extension of multiplicative linear logic with mix, and we argue that our graphs form a notion of generalized connective.


The logic of orthomodular posets of finite height. Orthomodular posets form an algebraic formalization of the logic of quantum mechanics. The question is how to introduce the connective implication in such a logic. We show that this is possible when the orthomodular poset in question is of finite height. The main point is that the corresponding algebra, called implication orthomodular poset, i.e. a poset equipped with a binary operator of implication, corresponds to the original orthomodular poset and this operator is everywhere defined. We present here the complete list of axioms for implication orthomodular posets. This enables us to derive an axiomatization in Gentzen style for the algebraizable logic of orthomodular posets of finite height.


Analysis of SiW ECAL technological prototype beam test with electron beam. The beam test for the SiW ECAL technological prototype was conducted using electron beam in June July 2019 at DESY test beam facility in Hamburg, Germany. In the beam test, there were two main programs MIP program (without tungsten) and shower program (with tungsten). The purposes of the MIP program are energy calibration, pedestal uniformity stability assessment, TDC operation test, and retrigger verification. On the other hand, the shower program aims to evaluate energy resolution through beam energy measurement. In addition, several operation tests with FEV13 were also conducted such as individual threshold control and auto gain mode. This article presents the performance of the technological prototype of SiW ECAL, mainly focusing on the version of FEV13 Jp.


Regret minimization in stochastic non convex learning via a proximal gradient approach. Motivated by applications in machine learning and operations research, we study regret minimization with stochastic first order oracle feedback in online constrained, and possibly non smooth, non convex problems. In this setting, the minimization of external regret is beyond reach for first order methods, so we focus on a local regret measure defined via a proximal gradient mapping. To achieve no (local) regret in this setting, we develop a prox grad method based on stochastic first order feedback, and a simpler method for when access to a perfect first order oracle is possible. Both methods are min max order optimal, and we also establish a bound on the number of prox grad queries these methods require. As an important application of our results, we also obtain a link between online and offline non convex stochastic optimization manifested as a new prox grad scheme with complexity guarantees matching those obtained via variance reduction techniques.


A linearised inverse conductivity problem for the Maxwell system at a high frequency. We consider a linearised inverse conductivity problem for electromagnetic waves in a three dimensional bounded domain at a high time harmonic frequency. Increasing stability bounds for the conductivity coefficient in the full Maxwell system and in a simplified transverse electric mode are derived. These bounds contain a Lipschitz term with a factor growing polynomially in terms of the frequency, a Holder term, and a logarithmic term which decays with respect to the frequency as a power. To validate this increasing stability numerically, we propose a reconstruction algorithm aiming at the recovery of sufficiently many Fourier modes of the conductivity. A numerical evidence sheds light on the influence of the growing frequency and confirms the improved resolution at higher frequencies.


Cockroaches use diverse strategies to self right on the ground. Terrestrial animals often must self right from an upside down orientation on the ground to survive. Here, we compared self righting strategies of the Madagascar hissing, American, and discoid cockroaches on a challenging flat, rigid, low friction surface to quantify the mechanical principles. All three species almost always self righted (97 probability) when given time (30 seconds), frequently self righted (63 ) on the first attempt, and on that attempt did so in one second or less. When successful, two of the three species gained and used pitch and or roll rotational kinetic energy to overcome potential energy barriers (American 63 of all attempts and discoid 78 ). By contrast, the largest, heaviest, wingless cockroach (Madagascar hissing) relied far less on the energy of motion and was the slowest to self right. Two of the three species used rolling strategies to overcome low potential energy barriers. Successful righting attempts had greater rolling rotation than failed attempts as the center of mass rose to the highest position. Madagascar hissing cockroaches rolled using body deformation (98 of all trials) and the American cockroach relied on leg forces (93 ). By contrast, the discoid cockroach overcame higher and a wider range of potential energy barriers with simultaneous pitching and rolling using wings (46 of all trials) and legs (49 ) equally to self right. Our quantification revealed the performance advantages of using rotational kinetic energy to overcome the potential energy barrier and rolling more to lower it, while maintaining diverse strategies for ground based self righting.


lockdown network enhanced emotional profiling at the times of COVID 19. The COVID 19 pandemic forced countries all over the world to take unprecedented measures like nationwide lockdowns. To adequately understand the emotional and social repercussions, a large scale reconstruction of how people perceived these unexpected events is necessary but currently missing. We address this gap through social media by introducing MERCURIAL (Multi layer Co occurrence Networks for Emotional Profiling), a framework which exploits linguistic networks of words and hashtags to reconstruct social discourse describing real world events. We use MERCURIAL to analyse 101,767 tweets from Italy, the first country to react to the COVID 19 threat with a nationwide lockdown. The data were collected between 11th and 17th March, immediately after the announcement of the Italian lockdown and the WHO declaring COVID 19 a pandemic. Our analysis provides unique insights into the psychological burden of this crisis, focussing on (i) the Italian official campaign for self quarantine ( iorestoacasa ), (ii) national lockdown ( italylockdown), and (iii) social denounce ( sciacalli). Our exploration unveils evidence for the emergence of complex emotional profiles, where anger and fear (towards political debates and socio economic repercussions) coexisted with trust, solidarity, and hope (related to the institutions and local communities). We discuss our findings in relation to mental well being issues and coping mechanisms, like instigation to violence, grieving, and solidarity. We argue that our framework represents an innovative thermometer of emotional status, a powerful tool for policy makers to quickly gauge feelings in massive audiences and devise appropriate responses based on cognitive data.


Symmetric positive solutions for a fractional singular integro differential boundary value problem in presence of Caputo Fabrizio fractional derivative. We introduce the notion of Caputo Fabrizio left and right derivatives. We present sufficient conditions for the existence of symmetric positive solutions for the following Caputo Fabrizio fractional singular integro differential boundary value problem begin align (2 mu) , CF D 0 , mu x(t) f(t,x(t)) left( frac mu 1 2 mu right) 2 begin cases int t 0 e frac mu 1 2 mu ( tau t) ,x( tau)d tau, hspace 0.4cm t in( 1,0 , int 0 t e frac mu 1 2 mu (t tau) ,x( tau)d tau, hspace 0.4cm t in 0,1), end cases x( pm1) x'(0 pm ) 0, hspace 5.55cm mu in(1,2), end align where the nonlinearity f ( 1, ,1) times(0, infty) rightarrow mathbb R is continuous and singular at t 1 , t 1 and x 0 .


On a theorem of Pelc and Prikry on the nonexistence of invariant extensions of Borel measures. There are certain countably generated sigma algebras of sets in the real line which do not admit any non zero, sigma finite, diffused (or, continuous) measure. Such countably generated sigma algebras can be obtained by the use of some special types of infinite matrix known as the Banach Kuratowski matrix and the same may be used in deriving a generalized version of Pelc and Prikry's theorem as shown by Kharazishvili. In this paper, using some methods of combinatorial set theory and some modified version of the notion of small sets originally introduced by Riecan, Riecan and Neubrunn, we give an abstract and generalized formulation of Pelc and Prikry's theorem in spaces with transformation groups.


Secant indices of projective varieties. To each subvariety X in projective n space of codimension m we associate an integer sequence of length m 1 from 1 to the degree of X recording the maximal cardinalities of finite, reduced intersections of X with linear subvarieties. We call this the sequence of secant indices of X . Similar numbers have been studied independently with the aim of classifying subvarieties with extremal secant spaces. Our focus in this note is the study of the combinatorial properties that the secant indices satisfy collectively. We show these sequences are strictly increasing for nondegenerate smooth subvarieties, develop a method to compute term wise lower bounds for the secant indices, and compute these lower bounds for Veronese and Segre varieties. In the case of Veronese varieties, the truth of the Eisenbud Green Harris conjecture would imply the lower bounds we find are in fact equal to the secant indices. Along the way we state several relevant questions and additional conjectures which to our knowledge are open.


Refining HTN Methods via Task Insertion with Preferences. Hierarchical Task Network (HTN) planning is showing its power in real world planning. Although domain experts have partial hierarchical domain knowledge, it is time consuming to specify all HTN methods, leaving them incomplete. On the other hand, traditional HTN learning approaches focus only on declarative goals, omitting the hierarchical domain knowledge. In this paper, we propose a novel learning framework to refine HTN methods via task insertion with completely preserving the original methods. As it is difficult to identify incomplete methods without designating declarative goals for compound tasks, we introduce the notion of prioritized preference to capture the incompleteness possibility of methods. Specifically, the framework first computes the preferred completion profile w.r.t. the prioritized preference to refine the incomplete methods. Then it finds the minimal set of refined methods via a method substitution operation. Experimental analysis demonstrates that our approach is effective, especially in solving new HTN planning instances.


Learning to Compare for Better Training and Evaluation of Open Domain Natural Language Generation Models. Automated evaluation of open domain natural language generation (NLG) models remains a challenge and widely used metrics such as BLEU and Perplexity can be misleading in some cases. In our paper, we propose to evaluate natural language generation models by learning to compare a pair of generated sentences by fine tuning BERT, which has been shown to have good natural language understanding ability. We also propose to evaluate the model level quality of NLG models with sample level comparison results with skill rating system. While able to be trained in a fully self supervised fashion, our model can be further fine tuned with a little amount of human preference annotation to better imitate human judgment. In addition to evaluating trained models, we propose to apply our model as a performance indicator during training for better hyperparameter tuning and early stopping. We evaluate our approach on both story generation and chit chat dialogue response generation. Experimental results show that our model correlates better with human preference compared with previous automated evaluation approaches. Training with the proposed metric yields better performance in human evaluation, which further demonstrates the effectiveness of the proposed model.


Fine grained Image Classification and Retrieval by Combining Visual and Locally Pooled Textual Features. Text contained in an image carries high level semantics that can be exploited to achieve richer image understanding. In particular, the mere presence of text provides strong guiding content that should be employed to tackle a diversity of computer vision tasks such as image retrieval, fine grained classification, and visual question answering. In this paper, we address the problem of fine grained classification and image retrieval by leveraging textual information along with visual cues to comprehend the existing intrinsic relation between the two modalities. The novelty of the proposed model consists of the usage of a PHOC descriptor to construct a bag of textual words along with a Fisher Vector Encoding that captures the morphology of text. This approach provides a stronger multimodal representation for this task and as our experiments demonstrate, it achieves state of the art results on two different tasks, fine grained classification and image retrieval.


Simultaneous Data Communication and Channel Estimation in Multi User Full Duplex MIMO Systems. In this paper, we study Simultaneous Communication of Data and Control (SCDC) information signals in Full Duplex (FD) Multiple Input Multiple Output (MIMO) wireless systems. In particular, considering an FD MIMO base station serving multiple single antenna FD users, a novel multi user communication scheme for simultaneous DownLink (DL) beamformed data transmission and UpLink (UL) pilot assisted channel estimation is presented. Capitalizing on a recent FD MIMO hardware architecture with reduced complexity self interference analog cancellation, we jointly design the base station's transmit and receive beamforming matrices as well as the settings for the multiple analog taps and the digital SI canceller with the objective to maximize the DL sum rate. Our simulation results showcase that the proposed approach outperforms its conventional half duplex counterpart with 50 reduction in hardware complexity compared to the latest FD based SCDC schemes.


Stationary solution for quasi homogeneous small scale magnetic field advected by non Gaussian turbulent flow. We consider fluctuations of magnetic field excited by external force and advected by isotropic turbulent flow. It appears that non Gaussian velocity gradient statistics and finite region of pumping force provide the existence of stationary solution. The mean square magnetic field is calculated for arbitrary velocity gradient statistics. An estimate for possible feedback of magnetic field on velocity shows that, for wide range of parameters, stationarity without feedback would take place even in the case of intensive pumping of magnetic field.


Toward Probabilistic Checking against Non Signaling Strategies with Constant Locality. Non signaling strategies are a generalization of quantum strategies that have been studied in physics over the past three decades. Recently, they have found applications in theoretical computer science, including to proving inapproximability results for linear programming and to constructing protocols for delegating computation. A central tool for these applications is probabilistically checkable proof (PCPs) systems that are sound against non signaling strategies. In this paper we show, assuming a certain geometrical hypothesis about noise robustness of non signaling proofs (or, equivalently, about robustness to noise of solutions to the Sherali Adams linear program), that a slight variant of the parallel repetition of the exponential length constant query PCP construction due to Arora et al. (JACM 1998) is sound against non signaling strategies with constant locality. Our proof relies on the analysis of the linearity test and agreement test (also known as the direct product test) in the non signaling setting.


GPU accelerated Hierarchical Panoramic Image Feature Retrieval for Indoor Localization. Indoor localization has many applications, such as commercial Location Based Services (LBS), robotic navigation, and assistive navigation for the blind. This paper formulates the indoor localization problem into a multimedia retrieving problem by modeling visual landmarks with a panoramic image feature, and calculating a user's location via GPU accelerated parallel retrieving algorithm. To solve the scene similarity problem, we apply a multi images based retrieval strategy and a 2D aggregation method to estimate the final retrieval location. Experiments on a campus building real data demonstrate real time responses (14fps) and robust localization.


Locally conformally symplectic reduction of the cotangent bundle. In a previous article, we introduced a reduction procedure for locally conformally symplectic manifolds at any regular value of the momentum mapping. We use this construction to prove an analogue of a well known theorem in the symplectic setting about the reduction of cotangent bundles.


Excited states with selected CI QMC chemically accurate excitation energies and geometries. We employ quantum Monte Carlo to obtain chemically accurate vertical and adiabatic excitation energies, and equilibrium excited state structures for the small, yet challenging, formaldehyde and thioformaldehyde molecules. A key ingredient is a robust protocol to obtain balanced ground and excited state Jastrow Slater wave functions at a given geometry, and to maintain such a balanced description as we relax the structure in the excited state. We use determinantal components generated via a selected configuration interaction scheme which targets the same second order perturbation energy correction for all states of interest at different geometries, and we fully optimize all variational parameters in the resultant Jastrow Slater wave functions. Importantly, the excitation energies as well as the structural parameters in the ground and excited states are converged with very compact wave functions comprising few thousand determinants in a minimally augmented double zeta basis set. These results are obtained already at the variational Monte Carlo level, the more accurate diffusion Monte Carlo method yielding only a small improvement in the adiabatic excitation energies. We find that matching Jastrow Slater wave functions with similar variances can yield excitations compatible with our best estimates however, the variance matching procedure requires somewhat larger determinantal expansions to achieve the same accuracy, and it is less straightforward to adapt during structural optimization in the excited state.


A robot's sense making of fallacies and rhetorical tropes. Creating ontologies of what humans try to say. In the design of user friendly robots, human communication should be understood by the system beyond mere logics and literal meaning. Robot communication design has long ignored the importance of communication and politeness rules that are 'forgiving' and 'suspending disbelief' and cannot handle the basically metaphorical way humans design their utterances. Through analysis of the psychological causes of illogical and non literal statements, signal detection, fundamental attribution errors, and anthropomorphism, we developed a fail safe protocol for fallacies and tropes that makes use of Frege's distinction between reference and sense, Beth's tableau analytics, Grice's maxim of quality, and epistemic considerations to have the robot politely make sense of a user's sometimes unintelligible demands. Keywords social robots, logical fallacies, metaphors, reference, sense, maxim of quality, tableau reasoning, epistemics of the virtual


Modules de Drinfeld Quasicristallins. In this article we develop the notion of quasicrystalline Drinfeld module, which one may view as an analog in characteristic zero of classical Drinfeld modules. We point out that the adjective refers to quasicrystals in the sense of Y. Meyer, and has no relation with the crystalline theory developed by A. Grothendieck. Dans cet article nous d 'eveloppons la notion de module de Drinfeld quasicristallin, que l'on peut voir comme un analogue en caract 'eristique z 'ero des modules de Drinfeld classiques. On prendra garde que l'adjectif se r 'ef ere aux quasi cristaux (au sens de Y. Meyer), sans rapport avec la th 'eorie cristalline initi 'ee par A. Grothendieck.


Classification of simple Harish Chandra modules over the Neveu Schwarz algebra and its contact subalgebra. In this paper, we classify all simple jet modules for the Neveu Schwarz algebra widehat mathfrak k and its contact subalgebra mathfrak k . Based on these results, we give a classification of simple Harish Chandra modules for widehat mathfrak k and mathfrak k .


Deep Imitation Learning for Bimanual Robotic Manipulation. We present a deep imitation learning framework for robotic bimanual manipulation in a continuous state action space. A core challenge is to generalize the manipulation skills to objects in different locations. We hypothesize that modeling the relational information in the environment can significantly improve generalization. To achieve this, we propose to (i) decompose the multi modal dynamics into elemental movement primitives, (ii) parameterize each primitive using a recurrent graph neural network to capture interactions, and (iii) integrate a high level planner that composes primitives sequentially and a low level controller to combine primitive dynamics and inverse kinematics control. Our model is a deep, hierarchical, modular architecture. Compared to baselines, our model generalizes better and achieves higher success rates on several simulated bimanual robotic manipulation tasks. We open source the code for simulation, data, and models at https github.com Rose STL Lab HDR IL.


Worst case Complexity Bounds of Directional Direct search Methods for Multiobjective Optimization. Direct Multisearch is a well established class of algorithms, suited for multiobjective derivative free optimization. In this work, we analyze the worst case complexity of this class of methods in its most general formulation for unconstrained optimization. Considering nonconvex smooth functions, we show that to drive a given criticality measure below a specific positive threshold, Direct Multisearch takes at most a number of iterations proportional to the square of the inverse of the threshold, raised to the number of components of the objective function. This number is also proportional to the size of the set of linked sequences between the first unsuccessful iteration and the iteration immediately before the one where the criticality condition is satisfied. We then focus on a particular instance of Direct Multisearch, which considers a more strict criterion for accepting new nondominated points. In this case, we can establish a better worst case complexity bound, simply proportional to the square of the inverse of the threshold, for driving the same criticality measure below the considered threshold.


Designing Progressive Dinner Parties. I recently came across a combinatorial design problem involving progressive dinner parties (also known as safari suppers). In this note, I provide some elementary methods of designing schedules for these kinds of dinner parties.


Simple purely infinite C algebras associated with normal subshifts. We will introduce a notion of normal subshifts. A subshift ( Lambda, sigma) is said to be normal if it satisfies a certain synchronizing property called lambda synchronizing and is infinite as a set. We have lots of purely infinite simple C algebras from normal subshifts including irreducible infinite sofic shifts, Dyck shifts, beta shifts, and so on. Eventual conjugacy of one sided normal subshifts and topological conjugacy of two sided normal subshifts are characterized in terms of the associated C algebras and the associated stabilized C algebras with its diagonals and gauge actions, respectively.


Tropical double ramification loci. Motivated by the realizability problem for principal tropical divisors with a fixed ramification profile, we explore the tropical geometry of the double ramification locus in mathcal M g,n .There are two ways to define a tropical analogue of the double ramification locus one as a locus of principal divisors, the other as a locus of finite effective ramified covers of a tree. We show that both loci admit a structure of a generalized cone complex in M g,n trop , with the latter contained in the former. We prove that the locus of principal divisors has cones of codimension zero in M g,n trop , while the locus of ramified covers has the expected codimension g . This solves the deformation theoretic part of the realizability problem for principal divisors, reducing it to the so called Hurwitz existence problem for covers of a fixed ramification type.


Regularity for the planar optimal p compliance problem. In this paper we prove a partial C 1, alpha regularity result in dimension N 2 for the optimal p compliance problem, extending for p not 2 some of the results obtained by A. Chambolle, J. Lamboley, A. Lemenant, E. Stepanov (2017). Because of the lack of good monotonicity estimates for the p energy when p not 2 , we employ an alternative technique based on a compactness argument leading to a p energy decay at any flat point. We finally obtain that every optimal set has no loop, is Ahlfors regular, and C 1, alpha at mathcal H 1 a.e. point for every p in (1 , infty) .


The effect of inhomogeneous carbon prices on the cost optimal design of a simplified European power system. Carbon prices are one of the most prominent methods to reduce global greenhouse gas emissions and have been adopted by several countries around the world. However, regionally different carbon prices can lead to carbon leakage. We investigate a simplified European power system where carbon prices are varied with respect to GDP per capita and find that inhomogeneous carbon prices lead to significant carbon leakage due to coal fired generation remaining a major source of power in Eastern Europe.


Ethically Aligned Design of Autonomous Systems Industry viewpoint and an empirical study. Progress in the field of artificial intelligence has been accelerating rapidly in the past two decades. Various autonomous systems from purely digital ones to autonomous vehicles are being developed and deployed out on the field. As these systems exert a growing impact on society, ethics in relation to artificial intelligence and autonomous systems have recently seen growing attention among the academia. However, the current literature on the topic has focused almost exclusively on theory and more specifically on conceptualization in the area. To widen the body of knowledge in the area, we conduct an empirical study on the current state of practice in artificial intelligence ethics. We do so by means of a multiple case study of five case companies, the results of which indicate a gap between research and practice in the area. Based on our findings we propose ways to tackle the gap.


Freely Independent Coin Tosses, Standard Young Tableaux, and the Kesten McKay Law. In this article, we shall start with a closed walk on a regular tree of degree d . These walks are described by the Kesten McKay law which arises as the asymptotic distribution of a random d regular graph on n vertices. We will show that the moments of the Kesten McKay law are given by counting standard Young tableaux with at most 2 rows, and how some properties of the walk make sense even when d is not an integer. We will use free probability to instruct us how to build an explicit model in random matrix theory.


CHIME Cross passage Hierarchical Memory Network for Generative Review Question Answering. We introduce CHIME, a cross passage hierarchical memory network for question answering (QA) via text generation. It extends XLNet introducing an auxiliary memory module consisting of two components the context memory collecting cross passage evidences, and the answer memory working as a buffer continually refining the generated answers. Empirically, we show the efficacy of the proposed architecture in the multi passage generative QA, outperforming the state of the art baselines with better syntactically well formed answers and increased precision in addressing the questions of the AmazonQA review dataset. An additional qualitative analysis revealed the interpretability introduced by the memory module.


Packing Boundary Anchored Rectangles and Squares. Consider a set P of n points on the boundary of an axis aligned square Q . We study the boundary anchored packing problem on P in which the goal is to find a set of interior disjoint axis aligned rectangles in Q such that each rectangle is anchored (has a corner at some point in P ), each point in P is used to anchor at most one rectangle, and the total area of the rectangles is maximized. Here, a rectangle is anchored at a point p in P if one of its corners coincides with p . In this paper, we show how to solve this problem in time linear in n , provided that the points of P are given in sorted order along the boundary of Q . We also consider the problem for anchoring squares and give an O(n 4) time algorithm when the points in P lie on two opposite sides of Q .


A Swarm of Simple Robots Constructing Planar Shapes. We present a new version of our previously proposed algorithm enabling a swarm of robots to construct a desired shape from objects in the plane. We also describe a hardware realization for this system which makes use of simple and readily sourced components. We refer to the task as planar construction which is the gathering of ambient objects into some desired shape. As an example application, a swarm of robots could use this algorithm to not only gather waste material into a pile, but shape that pile into a line for easy collection. The shape is specified by an image known as the scalar field. The scalar field serves an analogous role to the template pheromones that guide the construction of complex natural structures such as termite mounds. In addition to describing the algorithm and hardware platform, we develop some performance insights using a custom simulation environment and present experimental results on physical robots.


Towards Heim and Neuhauser's Unimodality Conjecture on the Nekrasov Okounkov polynomials. Let Q n(z) be the polynomials associated with the Nekrasov Okounkov formula sum n geq 1 Q n(z) q n prod m 1 infty (1 q m) z 1 . In this paper we partially answer a conjecture of Heim and Neuhauser, which asks if Q n(z) is unimodal, or stronger, log concave for all n geq 1 . Through a new recursive formula, we show that if A n,k is the coefficient of z k in Q n(z) , then A n,k is log concave in k for k ll n 1 6 log n and monotonically decreasing for k gg sqrt n log n . We also propose a conjecture that can potentially close the gap.


On the monoid of cofinite partial isometries of mathbb N n with the usual metric. In this paper we study the structure of the monoid mathbf I mathbb N infty n of cofinite partial isometries of the n th power of the set of positive integers mathbb N with the usual metric for a positive integer n geqslant 2 . We describe the elements of the monoid mathbf I mathbb N infty n as partial transformation of mathbb N n , the group of units and the subset of idempotents of the semigroup mathbf I mathbb N infty n , the natural partial order and Green's relations on mathbf I mathbb N infty n . In particular we show that the quotient semigroup mathbf I mathbb N infty n mathfrak C textsf mg , where mathfrak C textsf mg is the minimum group congruence on mathbf I mathbb N infty n , is isomorphic to the symmetric group mathscr S n and mathscr D mathscr J in mathbf I mathbb N infty n . Also, we prove that for any integer n geqslant 2 the semigroup mathbf I mathbb N infty n is isomorphic to the semidirect product mathscr S n ltimes mathfrak h ( mathscr P infty ( mathbb N n), cup) of the free semilattice with the unit ( mathscr P infty ( mathbb N n), cup) by the symmetric group mathscr S n .


Consistent, energy conserving momentum transport for simulations of two phase flows using the phase field equations. Realistic two phase flow problems of interest often involve high Re flows with high density ratios. Accurate and robust simulation of such problems requires special treatments. In this work, we present a consistent, energy conserving momentum transport scheme in the context of a second order mass conserving phase field method. This is achieved by (1) accounting for the mass flux associated with the right hand side of the phase field equation in the convective flux of the conservative form of the momentum transport equation a correction absent in previous phase field simulations (2) utilization of non dissipative spatial discretization. We demonstrate accuracy and robustness improvements from our proposed scheme via numerical tests, including a turbulent case of a water jet subject to air cross flow. Our proposed modifications to the momentum transport equation can be quite readily extended to general conservative phase field methods. Additionally, in the framework of this phase field method, we present a free energy based surface tension force calculation scheme. This scheme, which significantly reduces spurious currents, is based on a general paradigm that can also be extended to other two phase flow methods.


Synthesize then Compare Detecting Failures and Anomalies for Semantic Segmentation. The ability to detect failures and anomalies are fundamental requirements for building reliable systems for computer vision applications, especially safety critical applications of semantic segmentation, such as autonomous driving and medical image analysis. In this paper, we systematically study failure and anomaly detection for semantic segmentation and propose a unified framework, consisting of two modules, to address these two related problems. The first module is an image synthesis module, which generates a synthesized image from a segmentation layout map, and the second is a comparison module, which computes the difference between the synthesized image and the input image. We validate our framework on three challenging datasets and improve the state of the arts by large margins, emph i.e. , 6 AUPR Error on Cityscapes, 7 Pearson correlation on pancreatic tumor segmentation in MSD and 20 AUPR on StreetHazards anomaly segmentation.


Learning Norms from Stories A Prior for Value Aligned Agents. Value alignment is a property of an intelligent agent indicating that it can only pursue goals and activities that are beneficial to humans. Traditional approaches to value alignment use imitation learning or preference learning to infer the values of humans by observing their behavior. We introduce a complementary technique in which a value aligned prior is learned from naturally occurring stories which encode societal norms. Training data is sourced from the childrens educational comic strip, Goofus and Gallant. In this work, we train multiple machine learning models to classify natural language descriptions of situations found in the comic strip as normative or non normative by identifying if they align with the main characters behavior. We also report the models performance when transferring to two unrelated tasks with little to no additional training on the new task.


The Monotonicity Principle for Magnetic Induction Tomography. The inverse problem treated in this article consists in reconstructing the electrical conductivity from the free response of the system in the magneto quasi stationary (MQS) limit. The MQS limit corresponds to a diffusion PDE. In this framework, a key role is played by the Monotonicity Principle, that is a monotone relation connecting the unknown material property to the (measured) free response. MP is relevant as basis of noniterative and real time imaging methods. Monotonicity Principles have been found in many different physical problems governed by PDEs of different nature. Despite its rather general nature, each different physical mathematical context requires to discover the proper operator showing MP. For doing this, it is necessary to develop ad hoc mathematical approaches tailored on the specific framework. In this article, we prove a monotonic relationship between the electrical resistivity and the time constants characterizing the free response for MQS systems. The key result is the representation of the induced current density through a modal representation. The main result is based on the analysis of an elliptic eigenvalue problem, obtained from separation of variables.


Jointly Optimizing Preprocessing and Inference for DNN based Visual Analytics. While deep neural networks (DNNs) are an increasingly popular way to query large corpora of data, their significant runtime remains an active area of research. As a result, researchers have proposed systems and optimizations to reduce these costs by allowing users to trade off accuracy and speed. In this work, we examine end to end DNN execution in visual analytics systems on modern accelerators. Through a novel measurement study, we show that the preprocessing of data (e.g., decoding, resizing) can be the bottleneck in many visual analytics systems on modern hardware. To address the bottleneck of preprocessing, we introduce two optimizations for end to end visual analytics systems. First, we introduce novel methods of achieving accuracy and throughput trade offs by using natively present, low resolution visual data. Second, we develop a runtime engine for efficient visual DNN inference. This runtime engine a) efficiently pipelines preprocessing and DNN execution for inference, b) places preprocessing operations on the CPU or GPU in a hardware and input aware manner, and c) efficiently manages memory and threading for high throughput execution. We implement these optimizations in a novel system, Smol, and evaluate Smol on eight visual datasets. We show that its optimizations can achieve up to 5.9x end to end throughput improvements at a fixed accuracy over recent work in visual analytics.


A low power end to end hybrid neuromorphic framework for surveillance applications. With the success of deep learning, object recognition systems that can be deployed for real world applications are becoming commonplace. However, inference that needs to largely take place on the edge' (not processed on servers), is a highly computational and memory intensive workload, making it intractable for low power mobile nodes and remote security applications. To address this challenge, this paper proposes a low power (5W) end to end neuromorphic framework for object tracking and classification using event based cameras that possess desirable properties such as low power consumption (5 14 mW) and high dynamic range (120 dB). Nonetheless, unlike traditional approaches of using event by event processing, this work uses a mixed frame and event approach to get energy savings with high performance. Using a frame based region proposal method based on the density of foreground events, a hardware friendly object tracking is implemented using the apparent object velocity while tackling occlusion scenarios. For low power classification of the tracked objects, the event camera is interfaced to IBM TrueNorth, which is time multiplexed to tackle up to eight instances for a traffic monitoring application. The frame based object track input is converted back to spikes for Truenorth classification via the energy efficient deep network (EEDN) pipeline. Using originally collected datasets, we train the TrueNorth model on the hardware track outputs, instead of using ground truth object locations as commonly done, and demonstrate the efficacy of our system to handle practical surveillance scenarios. Finally, we compare the proposed methodologies to state of the art event based systems for object tracking and classification, and demonstrate the use case of our neuromorphic approach for low power applications without sacrificing on performance.


Towards Practical Private Information Retrieval from MDS Array Codes. Private information retrieval (PIR) is the problem of privately retrieving one out of M original files from N severs, i.e., each individual server learns nothing about the file that the user is requesting. Usually, the M files are replicated or encoded by a maximum distance separable (MDS) code and then stored across the N servers. Compared to mere replication, MDS coded servers can significantly reduce the storage overhead. Particularly, PIR from minimum storage regenerating (MSR) coded servers can simultaneously reduce the repair bandwidth when repairing failed servers. Existing PIR schemes from MSR coded servers either require large sub packetization levels or are not capacity achieving. In this paper, a PIR protocol from MDS array codes is proposed, subsuming PIR from MSR coded servers as a special case. Particularly, the case of non colluding, honest but curious servers is considered. The retrieval rate of the new PIR protocol achieves the capacity of PIR from MDS MSR coded servers. By choosing different MDS array codes, the new PIR protocol can have some advantages when compared with existing protocols, e.g., 1) small sub packetization, 2) (near ) optimal repair bandwidth, 3) implementable over the binary field mathbf F 2 .


Wave Support Theorem and Inverse Resonant Uniqueness on the Line. In the paper, we experimentally study the inverse problem with the resonant scattering determinant. We analyze the structure of characteristics of perturbed linear waves. Assuming there is the common part of potential perturbation propagating along the same strips, we estimate the common part of the perturbed wave, and its Fourier transform. We deduce the partial inverse uniqueness from the Nevanlinna type of representation theorem.


Multilevel Monte Carlo Finite Volume Methods for Random Conservation Laws with Discontinuous Flux. We consider conservation laws with discontinuous flux where the initial datum, the flux function, and the discontinuous spatial dependency coefficient are subject to randomness. We establish a notion of random adapted entropy solutions to these equations and prove well posedness provided that the spatial dependency coefficient is piecewise constant with finitely many discontinuities. In particular, the setting under consideration allows the flux to change across finitely many points in space whose positions are uncertain. We propose a single and multilevel Monte Carlo method based on a finite volume approximation for each sample. Our analysis includes convergence rate estimates of the resulting Monte Carlo and multilevel Monte Carlo finite volume methods as well as error versus work rates showing that the multilevel variant outperforms the single level method in terms of efficiency. We present numerical experiments motivated by two phase reservoir simulations for reservoirs with varying geological properties.


The regularity of edge rings and matching numbers. Let K G denote the edge ring of a finite connected simple graph G on d and mat(G) the matching number of G . It is shown that reg(K G ) leq mat(G) if G is non bipartite and K G is normal, and that reg(K G ) leq mat(G) 1 if G is bipartite.


On the existence and the enumeration of bipartite regular representations of Cayley graphs over abelian groups. In this paper we are interested in the asymptotic enumeration of bipartite Cayley digraphs and Cayley graphs over abelian groups. Let A be an abelian group and let iota be the automorphism of A defined by a iota a 1 , for every a in A . A Cayley graph Cay(A, S) is said to have an automorphism group as small as possible if Aut( Cay(A,S)) langle A, iota rangle . In this paper, we show that, except for two infinite families, almost all bipartite Cayley graphs on abelian groups have automorphism group as small as possible. We also investigate the analogous question for bipartite Cayley digraphs.


Efficient Constituency Parsing by Pointing. We propose a novel constituency parsing model that casts the parsing problem into a series of pointing tasks. Specifically, our model estimates the likelihood of a span being a legitimate tree constituent via the pointing score corresponding to the boundary words of the span. Our parsing model supports efficient top down decoding and our learning objective is able to enforce structural consistency without resorting to the expensive CKY inference. The experiments on the standard English Penn Treebank parsing task show that our method achieves 92.78 F1 without using pre trained models, which is higher than all the existing methods with similar time complexity. Using pre trained BERT, our model achieves 95.48 F1, which is competitive with the state of the art while being faster. Our approach also establishes new state of the art in Basque and Swedish in the SPMRL shared tasks on multilingual constituency parsing.


Deep Neural Networks Carve the Brain at its Joints. How an individual's unique brain connectivity determines that individual's cognition, behavior, and risk for pathology is a fundamental question in basic and clinical neuroscience. In seeking answers, many have turned to machine learning, with some noting the particular promise of deep neural networks in modelling complex non linear functions. However, it is not clear that complex functions actually exist between brain connectivity and behavior, and thus if deep neural networks necessarily outperform simpler linear models, or if their results would be interpretable. Here we show that, across 52 subject measures of cognition and behavior, deep neural networks fit to each brain region's connectivity outperform linear regression, particularly for the brain's connector hubs regions with diverse brain connectivity whereas the two approaches perform similarly when fit to brain systems. Critically, averaging deep neural network predictions across brain regions results in the most accurate predictions, demonstrating the ability of deep neural networks to easily model the various functions that exists between regional brain connectivity and behavior, carving the brain at its joints. Finally, we shine light into the black box of deep neural networks using multislice network models. We determined that the relationship between connector hubs and behavior is best captured by modular deep neural networks. Our results demonstrate that both simple and complex relationships exist between brain connectivity and behavior, and that deep neural networks can fit both. Moreover, deep neural networks are particularly powerful when they are first fit to the various functions of a system independently and then combined. Finally, deep neural networks are interpretable when their architectures are structurally characterized using multislice network models.