Reinforcement Learning for Markovian Bandits Is Posterior Sampling more Scalable than Optimism?. We study learning algorithms for the classical Markovian bandit problem with discount. We explain how to adapt PSRL 24 and UCRL2 2 to exploit the problem structure. These variants are called MB PSRL and MB UCRL2. While the regret bound and runtime of vanilla implementations of PSRL and UCRL2 are exponential in the number of bandits, we show that the episodic regret of MB PSRL and MB UCRL2 is tilde O (S sqrt nK ) where K is the number of episodes, n is the number of bandits and S is the number of states of each bandit (the exact bound in S, n and K is given in the paper). Up to a factor sqrt S , this matches the lower bound of Omega( sqrt SnK ) that we also derive in the paper. MB PSRL is also computationally efficient its runtime is linear in the number of bandits. We further show that this linear runtime cannot be achieved by adapting classical non Bayesian algorithms such as UCRL2 or UCBVI to Markovian bandit problems. Finally, we perform numerical experiments that confirm that MB PSRL outperforms other existing algorithms in practice, both in terms of regret and of computation time.


Genetic Improvement of Routing Protocols for Delay Tolerant Networks. Routing plays a fundamental role in network applications, but it is especially challenging in Delay Tolerant Networks (DTNs). These are a kind of mobile ad hoc networks made of e.g. (possibly, unmanned) vehicles and humans where, despite a lack of continuous connectivity, data must be transmitted while the network conditions change due to the nodes' mobility. In these contexts, routing is NP hard and is usually solved by heuristic "store and forward" replication based approaches, where multiple copies of the same message are moved and stored across nodes in the hope that at least one will reach its destination. Still, the existing routing protocols produce relatively low delivery probabilities. Here, we genetically improve two routing protocols widely adopted in DTNs, namely Epidemic and PRoPHET, in the attempt to optimize their delivery probability. First, we dissect them into their fundamental components, i.e., functionalities such as checking if a node can transfer data, or sending messages to all connections. Then, we apply Genetic Improvement (GI) to manipulate these components as terminal nodes of evolving trees. We apply this methodology, in silico, to six test cases of urban networks made of hundreds of nodes, and find that GI produces consistent gains in delivery probability in four cases. We then verify if this improvement entails a worsening of other relevant network metrics, such as latency and buffer time. Finally, we compare the logics of the best evolved protocols with those of the baseline protocols, and we discuss the generalizability of the results across test cases.


On Uncertainty Quantification in the Parametrization of Newman type Models of Lithium ion Batteries. We consider the problem of parameterizing Newman type models of Li ion batteries focusing on quantifying the inherent uncertainty of this process and its dependence on the discharge rate. In order to rule out genuine experimental error and instead isolate the intrinsic uncertainty of model fitting, we concentrate on an idealized setting where "synthetic" measurements in the form of voltage curves are manufactured using the full, and most accurate, Newman model with parameter values considered "true", whereas parameterization is performed using simplified versions of the model, namely, the single particle model and its recently proposed corrected version. By framing the problem in this way, we are able to eliminate aspects which affect uncertainty, but are hard to quantity such as, e.g., experimental errors. The parameterization is performed by formulating an inverse problem which is solved using a state of the art Bayesian approach in which the parameters to be inferred are represented in terms of suitable probability distributions this allows us to assess the uncertainty of their reconstruction. The key finding is that while at slow discharge rates the voltage curves can be reconstructed quite accurately, this can be achieved with some parameter varying by 300 or more, thus providing evidence for very high uncertainty of the parameter inference process. As the discharge rate increases, the reconstruction uncertainty is reduced but at the same time the fits to the voltage curves becomes less accurate. These observations highlight the ill posedness of the inverse problem of parameter reconstruction in models of Li ion battery operation.In practice, using simplified model appears to be a viable and useful strategy provided that the assumptions facilitating the model simplification are truly valid for the battery operating regimes in which the data was collected.


On a transversal theorem of Montejano and Karasev. We give a new proof of a theorem of Montejano and Karasev regarding k dimensional transversals to small families of convex sets. While their proof uses technical algebraic and topological tools, our proof is a simple application of the Borsuk Ulam theorem. Additionally, in certain cases our result is stronger than the Montejano Karasev theorem.


Dynamics of Systems with a Discontinuous Hysteresis Operator and Interval Translation Maps. We studied topological and metric properties of the so called interval translation maps (ITMs). For these maps, we introduced the maximal invariant measure and study its properties. Further, we study how the invariant measures depend on the parameters of the system. These results were illustrated by a simple example or a risk management model where interval translation maps appear naturally.


A dynamic programming algorithm for finding an optimal sequence of informative measurements. An informative measurement is the most efficient way to gain information about an unknown state. We give a first principles derivation of a general purpose dynamic programming algorithm that returns an optimal sequence of informative measurements by sequentially maximizing the entropy of possible measurement outcomes. This algorithm can be used by an autonomous agent or robot to decide where best to measure next, planning a path corresponding to an optimal sequence of informative measurements. The algorithm is applicable to states and controls that are continuous or discrete, and agent dynamics that is either stochastic or deterministic including Markov decision processes and Gaussian processes. Recent results from approximate dynamic programming and reinforcement learning, including on line approximations such as rollout and Monte Carlo tree search, allow the measurement task to be solved in real time. The resulting solutions include non myopic paths and measurement sequences that can generally outperform, sometimes substantially, commonly used greedy approaches. This is demonstrated for a global search problem, where on line planning with an extended local search is found to reduce the number of measurements in the search by approximately half. A variant of the algorithm is derived for Gaussian processes for active sensing.


Optimal Birth Control for a Size Structured Population Model with Diffusion. This work addresses the optimal birth control problem for invasive species in a spatial environment. We apply the method of semigroups to qualitatively analyze a size structured population model in which individuals occupy a position in a spatial environment. With insect population in mind, we study the optimal control problem which takes fertility rate as a control variable. With the help of adjoint system, we derive optimality conditions. We obtain the optimality conditions by fixing the birth rate on three different sets. Using Ekeland's variational principle, the existence, and uniqueness of optimal birth controller to the given population model which minimizes a given cost functional is shown. Outcomes of our article are new and complement the existing ones.


New bounds for the Hausdorff dimension of a dynamically defined Cantor set. In this paper we use the additive thermodynamic formalism to obtain new bounds of the Hausdorff and box counting dimension of certain non conformal hyperbolic repellers defined by C r , r 1 piecewise expanding maps on a d dimensional smooth manifold M .


Comment on "An appropriate approach to pricing european style options with the Adomian decomposition method". We show that the Adomian decomposition method proposed by Ke et al ANZIAM J. textbf 59 (2018) 349 is just the Taylor series approach in disguise. The latter approach is simpler, more straightforward and yields a recurrence relation free from integrals.


Transparent Forwarders An Unnoticed Component of the Open DNS Infrastructure. In this paper, we revisit the open DNS (ODNS) infrastructure and, for the first time, systematically measure and analyze transparent forwarders, DNS components that transparently relay between stub resolvers and recursive resolvers. Our key findings include four takeaways. First, transparent forwarders contribute 26 (563k) to the current ODNS infrastructure. Unfortunately, common periodic scanning campaigns such as Shadowserver do not capture transparent forwarders and thus underestimate the current threat potential of the ODNS. Second, we find an increased deployment of transparent forwarders in Asia and South America. In India alone, the ODNS consists of 80 transparent forwarders. Third, many transparent forwarders relay to a few selected public resolvers such as Google and Cloudflare, which confirms a consolidation trend of DNS stakeholders. Finally, we introduce DNSRoute , a new traceroute approach to understand the network infrastructure connecting transparent forwarders and resolvers.


Turbulent bubbly channel flows Effects of soluble surfactant and viscoelasticity. Interface resolved direct numerical simulations are performed to examine the combined effects of soluble surfactant and viscoelasticity on the structure of a bubbly turbulent channel flow. The incompressible flow equations are solved fully coupled with the FENE P viscoelastic model and the equations governing interfacial and bulk surfactant concentrations. The latter coupling is achieved through a non linear equation of state which relates the surface tension to the surfactant concentration at the interface. The two fluid Navier Stokes equations are solved using a front tracking method, augmented with a very efficient FFT based pressure projection method that allows for massively parallel simulations of turbulent flows. It is found that, for the surfactant free case, bubbles move toward the wall due to inertial lift force, resulting in formation of wall layers and a significant decrease in the flow rate. Conversely, a high enough concentration of surfactant changes the direction of lateral migration of bubbles, i.e., the contaminated bubbles move toward the core region and spread out across the channel. When viscoelasticity is considered, viscoelastic stresses counteract the Marangoni stresses, promoting formation of bubbly wall layers and consequently strong decrease in the flow rate. The formation of bubble wall layers for combined case depends on the interplay of the inertial and elastic, and Marangoni forces.


Existence of invariant probability measures for functional McKean Vlasov SDEs. We show existence of an invariant probability measure for a class of functional McKean Vlasov SDEs by applying Kakutani's fixed point theorem to a suitable class of probability measures on a space of continuous functions. Unlike some previous works, we do not assume a monotonicity condition to hold. Further, our conditions are even weaker than some results in the literature on invariant probability measures for functional SDEs without dependence on the law of the solution.


Modeling and simulations of moving droplet in a Rarefied gas. We study a two phase flow with interactions of liquid and rarefied gas inside the gas phase. The gas phase is modeled by the BGK model of the Boltzmann equation. The liquid phase is modeled by the incompressible Navier Stokes equations. In this paper we have excluded the heat transfer between two phases. The interface boundary conditions for the liquid and gas phases is presented. The BGK model is solved by a semi Lagrangian scheme with a meshfree reconstruction since the droplet moves inside the gas phase and its interface deforms with respect to time and space. Therefore, the similar meshfree particle method is also suitable to solve the incompressible Navier Stokes equations for liquid phase. To validate the coupled solutions of the BGK model and the incompressible Navier Stokes equations, we have compared the results of the BGK model and the incompressible Navier Stokes equations, with those of the Boltzmann and the incompressible Navier Stokes equations, where the Boltzmann equation is solved by a DSMC method. Results in 1D and 2D physical spaces are presented.


A Factorization Approach for Motor Imagery Classification. Brain computer interface uses brain signals to communicate with external devices without actual control. Many studies have been conducted to classify motor imagery based on machine learning. However, classifying imagery data with sparse spatial characteristics, such as single arm motor imagery, remains a challenge. In this paper, we proposed a method to factorize EEG signals into two groups to classify motor imagery even if spatial features are sparse. Based on adversarial learning, we focused on extracting common features of EEG signals which are robust to noise and extracting only signal features. In addition, class specific features were extracted which are specialized for class classification. Finally, the proposed method classifies the classes by representing the features of the two groups as one embedding space. Through experiments, we confirmed the feasibility that extracting features into two groups is advantageous for datasets that contain sparse spatial features.


FBC GAN Diverse and Flexible Image Synthesis via Foreground Background Composition. Generative Adversarial Networks (GANs) have become the de facto standard in image synthesis. However, without considering the foreground background decomposition, existing GANs tend to capture excessive content correlation between foreground and background, thus constraining the diversity in image generation. This paper presents a novel Foreground Background Composition GAN (FBC GAN) that performs image generation by generating foreground objects and background scenes concurrently and independently, followed by composing them with style and geometrical consistency. With this explicit design, FBC GAN can generate images with foregrounds and backgrounds that are mutually independent in contents, thus lifting the undesirably learned content correlation constraint and achieving superior diversity. It also provides excellent flexibility by allowing the same foreground object with different background scenes, the same background scene with varying foreground objects, or the same foreground object and background scene with different object positions, sizes and poses. It can compose foreground objects and background scenes sampled from different datasets as well. Extensive experiments over multiple datasets show that FBC GAN achieves competitive visual realism and superior diversity as compared with state of the art methods.


Destroying Multicolored Paths and Cycles in Edge Colored Graphs. We study the computational complexity of c Colored P ell Deletion and c Colored C ell Deletion. In these problems, one is given a c edge colored graph and wants to destroy all induced c colored paths or cycles, respectively, on ell vertices by deleting at most k edges. Herein, a path or cycle is c colored if it contains edges of c distinct colors. We show that c Colored P ell Deletion and c Colored C ell Deletion are NP hard for each non trivial combination of c and ell . We then analyze the parameterized complexity of these problems. We extend the notion of neighborhood diversity to edge colored graphs and show that both problems are fixed parameter tractable with respect to the colored neighborhood diversity of the input graph. We also provide hardness results to outline the limits of parameterization by the standard parameter solution size k . Finally, we consider bicolored input graphs and show a special case of 2 Colored P 4 Deletion that can be solved in polynomial time.


The Doob McKean identity for stable L 'evy processes. We re examine the celebrated Doob McKean identity that identifies a conditioned one dimensional Brownian motion as the radial part of a 3 dimensional Brownian motion or, equivalently, a Bessel 3 process, albeit now in the analogous setting of isotropic alpha stable processes. We find a natural analogue that matches the Brownian setting, with the role of the Brownian motion replaced by that of the isotropic alpha stable process, providing one interprets the components of the original identity in the right way.


Explaining Answers with Entailment Trees. Our goal, in the context of open domain textual question answering (QA), is to explain answers by showing the line of reasoning from what is known to the answer, rather than simply showing a fragment of textual evidence (a "rationale'"). If this could be done, new opportunities for understanding and debugging the system's reasoning become possible. Our approach is to generate explanations in the form of entailment trees, namely a tree of multipremise entailment steps from facts that are known, through intermediate conclusions, to the hypothesis of interest (namely the question answer). To train a model with this skill, we created ENTAILMENTBANK, the first dataset to contain multistep entailment trees. Given a hypothesis (question answer), we define three increasingly difficult explanation tasks generate a valid entailment tree given (a) all relevant sentences (b) all relevant and some irrelevant sentences, or (c) a corpus. We show that a strong language model can partially solve these tasks, in particular when the relevant sentences are included in the input (e.g., 35 of trees for (a) are perfect), and with indications of generalization to other domains. This work is significant as it provides a new type of dataset (multistep entailments) and baselines, offering a new avenue for the community to generate richer, more systematic explanations.


A Method for Inferring Polymers Based on Linear Regression and Integer Programming. A novel framework has recently been proposed for designing the molecular structure of chemical compounds with a desired chemical property using both artificial neural networks and mixed integer linear programming. In this paper, we design a new method for inferring a polymer based on the framework. For this, we introduce a new way of representing a polymer as a form of monomer and define new descriptors that feature the structure of polymers. We also use linear regression as a building block of constructing a prediction function in the framework. The results of our computational experiments reveal a set of chemical properties on polymers to which a prediction function constructed with linear regression performs well. We also observe that the proposed method can infer polymers with up to 50 non hydrogen atoms in a monomer form.


General Horizontal Norm Compatible Systems on unitary Shimura varieties. The ultimate goal of the paper is to construct a novel norm compatible family of cycles appearing in the context of Gross Gan Prasad cycles arising from Shimura varieties attached to U(n 1,1) hookrightarrow U(n,1) times U(n 1,1) for arbitrary n .


The Challenges and Opportunities of Human Centered AI for Trustworthy Robots and Autonomous Systems. The trustworthiness of Robots and Autonomous Systems (RAS) has gained a prominent position on many research agendas towards fully autonomous systems. This research systematically explores, for the first time, the key facets of human centered AI (HAI) for trustworthy RAS. In this article, five key properties of a trustworthy RAS initially have been identified. RAS must be (i) safe in any uncertain and dynamic surrounding environments (ii) secure, thus protecting itself from any cyber threats (iii) healthy with fault tolerance (iv) trusted and easy to use to allow effective human machine interaction (HMI), and (v) compliant with the law and ethical expectations. Then, the challenges in implementing trustworthy autonomous system are analytically reviewed, in respects of the five key properties, and the roles of AI technologies have been explored to ensure the trustiness of RAS with respects to safety, security, health and HMI, while reflecting the requirements of ethics in the design of RAS. While applications of RAS have mainly focused on performance and productivity, the risks posed by advanced AI in RAS have not received sufficient scientific attention. Hence, a new acceptance model of RAS is provided, as a framework for requirements to human centered AI and for implementing trustworthy RAS by design. This approach promotes human level intelligence to augment human's capacity. while focusing on contributions to humanity.


Image based scene recognition for robot navigation considering traversable plants and its manual annotation free training. This paper describes a method of estimating the traversability of plant parts covering a path and navigating through them for mobile robots operating in plant rich environments. Conventional mobile robots rely on scene recognition methods that consider only the geometric information of the environment. Those methods, therefore, cannot recognize paths as traversable when they are covered by flexible plants. In this paper, we present a novel framework of image based scene recognition to realize navigation in such plant rich environments. Our recognition model exploits a semantic segmentation branch for general object classification and a traversability estimation branch for estimating pixel wise traversability. The semantic segmentation branch is trained using an unsupervised domain adaptation method and the traversability estimation branch is trained with label images generated from the robot's traversal experience during the data acquisition phase, coined traversability masks. The training procedure of the entire model is, therefore, free from manual annotation. In our experiment, we show that the proposed recognition framework is capable of distinguishing traversable plants more accurately than a conventional semantic segmentation with traversable plant and non traversable plant classes, and an existing image based traversability estimation method. We also conducted a real world experiment and confirmed that the robot with the proposed recognition method successfully navigated in plant rich environments.


Information Energy Capacity Region for SWIPT Systems over Raylegh Fading Channels. In this paper, we study the fundamental limits of simultaneous information and power transfer over a Rayleigh fading channel, where the channel input is constrained to peak power constraints that vary in each channel use by taking into account high power amplifier nonlinearities. In particular, a three party communication system is considered, where a transmitter aims simultaneously conveying information to an information receiver and delivering energy to an energy harvesting receiver. For the special case of static PP constraints, we study the information energy capacity region and the associated input distribution under average power and PP constraints at the transmitter, an HPA nonlinearity at the transmitter, and nonlinearity of the energy harvesting circuit at the energy receiver. By extending Smith ' mathematical framework, we show that the optimal input distribution under those constraints is discrete with a finite number of mass points. We show that HPA significantly reduces the information energy capacity region. In addition, we derive a closed form expression of the capacity achieving distribution for the low PP regime, where there is no trade off between information and energy transfer. For the case with time varying PP constraints, we prove that the optimal input distribution has a finite support by using Shannon 's coding scheme. Specifically, we numerically study a particular scenario for the time varying PP constraints, where the PP constraint probabilistically is either zero or equal to a non zero constant.


Augmenting GRIPS with Heuristic Sampling for Planning Feasible Trajectories of a Car Like Robot. Kinodynamic motion planning for non holomonic mobile robots is a challenging problem that is lacking a universal solution. One of the computationally efficient ways to solve it is to build a geometric path first and then transform this path into a kinematically feasible one. Gradient informed Path Smoothing (GRIPS) is a recently introduced method for such transformation. GRIPS iteratively deforms the path and adds deletes the waypoints while trying to connect each consecutive pair of them via the provided steering function that respects the kinematic constraints. The algorithm is relatively fast but, unfortunately, does not provide any guarantees that it will succeed. In practice, it often fails to produce feasible trajectories for car like robots with large turning radius. In this work, we introduce a range of modifications that are aimed at increasing the success rate of GRIPS for car like robots. The main enhancement is adding the additional step that heuristically samples waypoints along the bottleneck parts of the geometric paths (such as sharp turns). The results of the experimental evaluation provide a clear evidence that the success rate of the suggested algorithm is up to 40 higher compared to the original GRIPS and hits the bar of 90 , while its runtime is lower.


Video Analytics on IoT devices. Deep Learning (DL) combined with advanced model optimization methods such as RC NN and Edge2Train has enabled offline execution of large networks on the IoT devices. In this paper, we compare the modern Deep Learning (DL) based video analytics approaches with the standard Computer Vision (CV) based approaches and finally, discuss the best suited approach for video analytics on IoT devices.


Pre trained Language Models in Biomedical Domain A Systematic Survey. Pre trained language models (PLMs) have been the de facto paradigm for most natural language processing (NLP) tasks. This also benefits biomedical domain researchers from informatics, medicine, and computer science (CS) communities propose various PLMs trained on biomedical datasets, e.g., biomedical text, electronic health records, protein, and DNA sequences for various biomedical tasks. However, the cross discipline characteristics of biomedical PLMs hinder their spreading among communities some existing works are isolated from each other without comprehensive comparison and discussions. It expects a survey that not only systematically reviews recent advances of biomedical PLMs and their applications but also standardizes terminology and benchmarks. In this paper, we summarize the recent progress of pre trained language models in the biomedical domain and their applications in biomedical downstream tasks. Particularly, we discuss the motivations and propose a taxonomy of existing biomedical PLMs. Their applications in biomedical downstream tasks are exhaustively discussed. At last, we illustrate various limitations and future trends, which we hope can provide inspiration for the future research of the research community.


Conservative Integrators for Many body Problems. Conservative symmetric second order one step schemes are derived for dynamical systems describing various many body systems using the Discrete Multiplier Method. This includes conservative schemes for the n species Lotka Volterra system, the n body problem with radially symmetric potential and the n point vortex models in the plane and on the sphere. In particular, we recover Greenspan Labudde's conservative schemes for the n body problem. Numerical experiments are shown verifying the conservative property of the schemes and second order accuracy.


Estrada index of hypergraphs via eigenvalues of tensors. A uniform hypergraph mathcal H is corresponding to an adjacency tensor mathcal A mathcal H . We define an Estrada index of mathcal H by using all the eigenvalues lambda 1, dots, lambda k of mathcal A mathcal H as sum i 1 k e lambda i . The bounds for the Estrada indices of uniform hypergraphs are given. And we characterize the Estrada indices of m uniform hypergraphs whose spectra of the adjacency tensors are m symmetric. Specially, we characterize the Estrada indices of uniform hyperstars.


Asymptotic bounds on numbers of bent functions and partitions of the Boolean hypercube into linear and affine subspaces. The main result of the present paper is a new lower bound on the number of Boolean bent functions. This bound is based on a modification of the Maiorana McFarland family of bent functions and recent progress in the estimation of the number of transversals in latin squares and hypercubes. In addition, we find the asymptotics of the logarithm of the numbers of partitions of the Boolean hypercube into 2 dimensional linear and affine subspaces.


Categorification of the elliptic Hall algebra. We show that the central charge k reduction of the universal central extension of the elliptic Hall algebra is isomorphic to the trace, or zeroth Hochschild homology, of the quantum Heisenberg category of central charge k . As an application, we construct large families of representations of the universal extension of the elliptic Hall algebra.


On the missing link between pressure drop, viscous dissipation and the turbulent energy spectrum. We present convincing evidence of a direct connection between the pressure drop, viscous dissipation, and the turbulent energy spectrum. We use this finding to explain Nikuradse's experimental results of pressure drop for turbulent flows in rough pipes, in terms of a modified Kolmogorov length scale that varies with the surface roughness. Furthermore, we use Laufer's measurements of turbulent energy spectra in pipe flow to calculate to a good approximation the turbulent component of the pressure drop directly from an averaged turbulent energy spectrum. We also show that the incompressibility assumption, leads to the conclusion that viscous dissipation in fully developed (laminar and turbulent) pipe flow, cannot increase the temperature of the fluid through viscous heating.


Asymptotics of a Mathieu Gaussian series. We consider the asymptotic expansion of the functional series S mu, gamma (a lambda) sum n 1 infty frac n gamma e lambda n 2 a 2 (n 2 a 2) mu for real values of the parameters gamma , lambda 0 and mu geq0 as a to infty in the sector arg ,a pi 4 . For general values of gamma the expansion is of algebraic type with terms involving the Riemann zeta function and a terminating confluent hypergeometric function. Of principal interest in this study is the case corresponding to even integer values of gamma , where the algebraic type expansion consists of a finite number of terms together with a contribution comprising an infinite sequence of increasingly subdominant exponentially small expansions. This situation is analogous to the well known Poisson Jacobi formula corresponding to the case mu gamma 0 . Numerical examples are provided to illustrate the accuracy of these expansions.


MatSat a matrix based differentiable SAT solver. We propose a new approach to SAT solving which solves SAT problems in vector spaces as a cost minimization problem of a non negative differentiable cost function J sat. In our approach, a solution, i.e., satisfying assignment, for a SAT problem in n variables is represented by a binary vector u in 0,1 n that makes J sat(u) zero. We search for such u in a vector space R n by cost minimization, i.e., starting from an initial u 0 and minimizing J to zero while iteratively updating u by Newton's method. We implemented our approach as a matrix based differential SAT solver MatSat. Although existing main stream SAT solvers decide each bit of a solution assignment one by one, be they of conflict driven clause learning (CDCL) type or of stochastic local search (SLS) type, MatSat fundamentally differs from them in that it continuously approach a solution in a vector space. We conducted an experiment to measure the scalability of MatSat with random 3 SAT problems in which MatSat could find a solution up to n 10 5 variables. We also compared MatSat with four state of the art SAT solvers including winners of SAT competition 2018 and SAT Race 2019 in terms of time for finding a solution, using a random benchmark set from SAT 2018 competition and an artificial random 3 SAT instance set. The result shows that MatSat comes in second in both test sets and outperforms all the CDCL type solvers.


Generalized Image Reconstruction over T Algebra. Principal Component Analysis (PCA) is well known for its capability of dimension reduction and data compression. However, when using PCA for compressing reconstructing images, images need to be recast to vectors. The vectorization of images makes some correlation constraints of neighboring pixels and spatial information lost. To deal with the drawbacks of the vectorizations adopted by PCA, we used small neighborhoods of each pixel to form compounded pixels and use a tensorial version of PCA, called TPCA (Tensorial Principal Component Analysis), to compress and reconstruct a compounded image of compounded pixels. Our experiments on public data show that TPCA compares favorably with PCA in compressing and reconstructing images. We also show in our experiments that the performance of TPCA increases when the order of compounded pixels increases.


Parallelized and Randomized Adversarial Imitation Learning for Safety Critical Self Driving Vehicles. Self driving cars and autonomous driving research has been receiving considerable attention as major promising prospects in modern artificial intelligence applications. According to the evolution of advanced driver assistance system (ADAS), the design of self driving vehicle and autonomous driving systems becomes complicated and safety critical. In general, the intelligent system simultaneously and efficiently activates ADAS functions. Therefore, it is essential to consider reliable ADAS function coordination to control the driving system, safely. In order to deal with this issue, this paper proposes a randomized adversarial imitation learning (RAIL) algorithm. The RAIL is a novel derivative free imitation learning method for autonomous driving with various ADAS functions coordination and thus it imitates the operation of decision maker that controls autonomous driving with various ADAS functions. The proposed method is able to train the decision maker that deals with the LIDAR data and controls the autonomous driving in multi lane complex highway environments. The simulation based evaluation verifies that the proposed method achieves desired performance.


Languages for Smart and Computable Contracts. Smart Contracts use computer technology to automate the performance of aspects of commercial agreements. Yet how can there be confidence that the computer code is faithful to the intentions of the parties? To understand the depth and subtlety of this question requires an exploration of natural and computer languages, of the semantics of expressions in those languages, and of the gap that exists between the disciplines of law and computer science. Here we provide a perspective on some of the key issues, explore some current research directions, and explain the importance of language design in the development of reliable Smart Contracts, including the specific methodology of Computable Contracts.


Classification Regression for Chart Comprehension. Charts are a popular and effective form of data visualization. Chart question answering (CQA) is a task used for assessing chart comprehension, which is fundamentally different from understanding natural images. CQA requires analyzing the relationships between the textual and the visual components of a chart, in order to answer general questions or infer numerical values. Most existing CQA datasets and it models are based on simplifying assumptions that often enable surpassing human performance. In this work, we further explore the reasons behind this outcome and propose a new model that jointly learns classification and regression. Our language vision set up with co attention transformers captures the complex interactions between the question and the textual elements, which commonly exist in real world charts. We validate these conclusions with extensive experiments and breakdowns on the realistic PlotQA dataset, outperforming previous approaches by a large margin, while showing competitive performance on FigureQA. Our model's edge is particularly emphasized on questions with out of vocabulary answers, many of which require regression. We hope that this work will stimulate further research towards solving the challenging and highly practical task of chart comprehension.


ZS BERT Towards Zero Shot Relation Extraction with Attribute Representation Learning. While relation extraction is an essential task in knowledge acquisition and representation, and new generated relations are common in the real world, less effort is made to predict unseen relations that cannot be observed at the training stage. In this paper, we formulate the zero shot relation extraction problem by incorporating the text description of seen and unseen relations. We propose a novel multi task learning model, zero shot BERT (ZS BERT), to directly predict unseen relations without hand crafted attribute labeling and multiple pairwise classifications. Given training instances consisting of input sentences and the descriptions of their relations, ZS BERT learns two functions that project sentences and relation descriptions into an embedding space by jointly minimizing the distances between them and classifying seen relations. By generating the embeddings of unseen relations and new coming sentences based on such two functions, we use nearest neighbor search to obtain the prediction of unseen relations. Experiments conducted on two well known datasets exhibit that ZS BERT can outperform existing methods by at least 13.54 improvement on F1 score.


Stratified Radiative Transfer for Multidimensional Fluids. New mathematical and numerical results are given for the coupling of the temperature equation of a fluid with Radiative Transfer existence and uniqueness and a convergent monotone numerical scheme. The technique is shown to be feasible for studying the temperature of lake Leman heated by the sun and for the earth atmosphere to study the effects of greenhouse gases.


Decomposing and colouring some locally semicomplete digraphs. A digraph is semicomplete if any two vertices are connected by at least one arc and is locally semicomplete if the out neighbourhood and the in neighbourhood of any vertex induce a semicomplete digraph. In this paper we study various subclasses of locally semicomplete digraphs for which we give structural decomposition theorems. As a consequence we obtain several applications, among which an answer to a conjecture of Naserasr and the first and third authors if an oriented graph is such that the out neighbourhood of every vertex induces a transitive tournament, then one can partition its vertex set into two acyclic digraphs.


Deriving monadic quicksort (Declarative Pearl). To demonstrate derivation of monadic programs, we present a specification of sorting using the non determinism monad, and derive pure quicksort on lists and state monadic quicksort on arrays. In the derivation one may switch between point free and pointwise styles, and deploy techniques familiar to functional programmers such as pattern matching and induction on structures or on sizes. Derivation of stateful programs resembles reasoning backwards from the postcondition.


lr Multisemigroups and Modal Convolution Algebras. We show how modal quantales arise as convolution algebras of functions from lr multisemigroups that is, multisemigroups with a source map l and a target map r, into modal quantales which can be seen as weight or value algebras. In the tradition of boolean algebras with operators we study modal correspondences between algebraic laws in the three algebras. The class of lr multisemigroups introduced in this article generalises Schweizer and Sklar's function systems and object free categories to a setting isomorphic to algebras of ternary relations as used in boolean algebras with operators and in substructural logics. Our results provide a generic construction recipe for weighted modal quantales from such multisemigroups. This is illustrated by many examples, ranging from modal algebras of weighted relations as used in fuzzy mathematics, category quantales in the tradition of category algebras or group rings, incidence algebras over partial orders, discrete and continuous weighted path algebras, weighted languages of pomsets with interfaces, and weighted languages associated with presimplicial and precubical sets. We also discuss how these results can be combined with previous ones for concurrent quantales and generalised to a setting that supports reasoning with stochastic matrices or probabilistic predicate transformers.


Climate Change Valuation Adjustment (CCVA) using parameterized climate change impacts. We introduce Climate Change Valuation Adjustment (CCVA) to capture climate change impacts on CVA FVA that are currently invisible assuming typical market practice. To discuss such impacts on CVA FVA from changes to instantaneous hazard rates we introduce a flexible and expressive parameterization to capture the path of this impact to climate change endpoints, and transient transition effects. Finally we provide quantification of examples of typical interest where there is risk of economic stress from sea level change up to 2101, and from transformations of business models. We find that even with the slowest possible uniform approach to a climate change impact in 2101 there can still be significant CVA FVA impacts on interest rate swaps of 20 years or more maturity. Transformation effects on CVA FVA are strongly dependent on timing and duration of business model transformation. Using a parameterized approach enables discussion with stakeholders of economic impacts on CVA FVA, whatever the details behind the climate impact.


Band width and the Rosenberg index. A Riemannian manifold is said to have infinite mathcal KO width if it admits an isometric immersion of an arbitrarily wide Riemannian band whose inward boundary has non trivial higher index. In this paper we prove that if a closed spin manifold has inifinite mathcal KO width, then its Rosenberg index does not vanish. This gives a positive answer to a conjecture by R. Zeidler. We also prove its multi dimensional' generalization if a closed spin manifold admit an isometric immersion of an arbitrarily wide cube like domain whose lowest dimensional corner has non trivial higher index, then the Rosenberg index of M does not vanish.


Reconfiguring colours of single relief structures by directional stretching. Colour changes can be achieved by straining photonic crystals or gratings embedded in stretchable materials. However, the multiple repeat units and the need for a volumetric assembly of nanostructures limit the density of information content. Inspired by surface reliefs on oracle bones and music records as means of information archival, here we endow surface relief elastomers with multiple sets of information that are accessible by mechanical straining along in plane axes. Distinct from Bragg diffraction effects from periodic structures, we report trenches that generate colour due to variations in trench depth, enabling individual trench segments to support a single colour. Using 3D printed cuboids, we replicated trenches of varying geometric parameters in elastomers. These parameters determine the initial colour (or lack thereof), the response to capillary forces, and the appearance when strained along or across the trenches. Strain induces modulation in trench depth or the opening and closure of a trench, resulting in surface reliefs with up to six distinct states, and an initially featureless surface that reveals two distinct images when stretched along different axes. The highly reversible structural colours are promising in optical data archival, anti counterfeiting, and strain sensing applications.


1st Place Solution for ICDAR 2021 Competition on Mathematical Formula Detection. In this technical report, we present our 1st place solution for the ICDAR 2021 competition on mathematical formula detection (MFD). The MFD task has three key challenges including a large scale span, large variation of the ratio between height and width, and rich character set and mathematical expressions. Considering these challenges, we used Generalized Focal Loss (GFL), an anchor free method, instead of the anchor based method, and prove the Adaptive Training Sampling Strategy (ATSS) and proper Feature Pyramid Network (FPN) can well solve the important issue of scale variation. Meanwhile, we also found some tricks, e.g., Deformable Convolution Network (DCN), SyncBN, and Weighted Box Fusion (WBF), were effective in MFD task. Our proposed method ranked 1st in the final 15 teams.


Uniform bounds for the number of rational points on varieties over global fields. We extend the work of Salberger Walsh Castryck, Cluckers, Dittmann and Nguyen and Vermeulen to prove the uniform dimension growth conjecture of Heath Brown and Serre for varieties of degree at least 4 over global fields. As an intermediate step, we generalize the bounds of Bombieri and Pila to curves over global fields and in doing so we improve the B varepsilon factor by a log(B) factor.


Persistent chlorophyll maxima in the Eastern Tropical North Pacific. This study aims to describe the response of two persistent chlorophyll a maxima to physical processes affecting the thermocline and nitracline position in the Eastern Tropical North Pacific (ETNP). We focused on Long Rossby Waves given their relevance to the ETNP circulation and its potential as a mechanism introducing nutrients into the euphotic zone. We found the shallower chlorophyll a maximum in oxygenated waters became more intense when denser waters (more nutrients) moved toward the surface. It suggests that isopycnals and nitracline displacements modify the nutrient supply in the euphotic zone, which produces changes in phytoplankton growth. The suboxic and deeper chlorophyll a maximum showed a strong association with the 26 kg m 3 isopycnal being only mechanically displaced, and its chlorophyll a content does not seem to covary with irradiance or nutrients. The different responses of the chlorophyll a maxima could be explained if different phytoplankton groups are associated with them. Long Rossby Waves can affect the position of the thermocline, nitracline and isopycnals in an annual cycle, but it seems to be a background signal modulated by higher frequency processes such as mesoscale eddies and other Rossby waves. The co occurrence of processes can control the nitracline depth, and hence the input of nutrients into the euphotic zone that can cause sporadic enhancements of the chlorophyll a concentration of one maximum.


Efficient Path Planning in Narrow Passages via Closed Form Minkowski Operations. Path planning has long been one of the major research areas in robotics, with PRM and RRT being two of the most effective classes of path planners. Though generally very efficient, these sampling based planners can become computationally expensive in the important case of "narrow passages". This paper develops a path planning paradigm specifically formulated for narrow passage problems. The core is based on planning for rigid body robots encapsulated by unions of ellipsoids. The environmental features are enclosed geometrically using convex differentiable surfaces (e.g., superquadrics). The main benefit of doing this is that configuration space obstacles can be parameterized explicitly in closed form, thereby allowing prior knowledge to be used to avoid sampling infeasible configurations. Then, by characterizing a tight volume bound for multiple ellipsoids, robot transitions involving rotations are guaranteed to be collision free without traditional collision detection. Furthermore, combining the stochastic sampling strategy, the proposed planning framework can be extended to solving higher dimensional problems in which the robot has a moving base and articulated appendages. Benchmark results show that, remarkably, the proposed framework outperforms the popular sampling based planners in terms of computational time and success rate in finding a path through narrow corridors and in higher dimensional configuration spaces.


Unrealizable Cores for Reactive Systems Specifications. One of the main challenges of reactive synthesis, an automated procedure to obtain a correct by construction reactive system, is to deal with unrealizable specifications. One means to deal with unrealizability, in the context of GR(1), an expressive assume guarantee fragment of LTL that enables efficient synthesis, is the computation of an unrealizable core, which can be viewed as a fault localization approach. Existing solutions, however, are computationally costly, are limited to computing a single core, and do not correctly support specifications with constructs beyond pure GR(1) elements. In this work we address these limitations. First, we present QuickCore, a novel algorithm that accelerates unrealizable core computations by relying on the monotonicity of unrealizability, on an incremental computation, and on additional properties of GR(1) specifications. Second, we present Punch, a novel algorithm to efficiently compute all unrealizable cores of a specification. Finally, we present means to correctly handle specifications that include higher level constructs beyond pure GR(1) elements. We implemented our ideas on top of Spectra, an open source language and synthesis environment. Our evaluation over benchmarks from the literature shows that QuickCore is in most cases faster than previous algorithms, and that its relative advantage grows with scale. Moreover, we found that most specifications include more than one core, and that Punch finds all the cores significantly faster than a competing naive algorithm.


Predictive Runtime Monitoring for Mobile Robots using Logic Based Bayesian Intent Inference. We propose a predictive runtime monitoring framework that forecasts the distribution of future positions of mobile robots in order to detect and avoid impending property violations such as collisions with obstacles or other agents. Our approach uses a restricted class of temporal logic formulas to represent the likely intentions of the agents along with a combination of temporal logic based optimal cost path planning and Bayesian inference to compute the probability of these intents given the current trajectory of the robot. First, we construct a large but finite hypothesis space of possible intents represented as temporal logic formulas whose atomic propositions are derived from a detailed map of the robot's workspace. Next, our approach uses real time observations of the robot's position to update a distribution over temporal logic formulae that represent its likely intent. This is performed by using a combination of optimal cost path planning and a Boltzmann noisy rationality model. In this manner, we construct a Bayesian approach to evaluating the posterior probability of various hypotheses given the observed states and actions of the robot. Finally, we predict the future position of the robot by drawing posterior predictive samples using a Monte Carlo method. We evaluate our framework using two different trajectory datasets that contain multiple scenarios implementing various tasks. The results show that our method can predict future positions precisely and efficiently, so that the computation time for generating a prediction is a tiny fraction of the overall time horizon.


Stochastic gradient descent and fast relaxation to thermodynamic equilibrium a stochastic control approach. We study the convergence to equilibrium of an underdamped Langevin equation that is controlled by a linear feedback force. Specifically, we are interested in sampling the possibly multimodal invariant probability distribution of a Langevin system at small noise (or low temperature), for which the dynamics can easily get trapped inside metastable subsets of the phase space. We follow Chen et al., J. Math. Phys. 56, 113302, 2015 and consider a Langevin equation that is simulated at a high temperature, with the control playing the role of a friction that balances the additional noise so as to restore the original invariant measure at a lower temperature. We discuss different limits as the temperature ratio goes to infinity and prove convergence to a limit dynamics. It turns out that, depending on whether the lower ("target") or the higher ("simulation") temperature is fixed, the controlled dynamics converges either to the overdamped Langevin equation or to a deterministic gradient flow. This implies that (a) the ergodic limit and the large temperature separation limit do not commute in general, and that (b) it is not possible to accelerate the speed of convergence to the ergodic limit by making the temperature separation larger and larger. We discuss the implications of these observation from the perspective of stochastic optimisation algorithms and enhanced sampling schemes in molecular dynamics.


Estimates of covering type and minimal triangulations based on category weight. In a recent publication (D. Govc, W. Marzantowicz, P. Pavesic, Estimates of covering type and the number of vertices of minimal triangulations, Discr. Comp. Geom. 63 (2019), 31 48) we have introduced a new method, based on the Lusternik Schnirelmann category and the cohomology ring of a space X, that yields lower bounds for the size of a triangulation of X. In this paper we present an important extension that takes into account the fundamental group of X. In fact, if it contains elements of finite order, then one can often find cohomology classes of high 'category weight', which in turn allow for much stronger estimates of the size of triangulations of X. We develop several weighted estimates and then apply our method to compute explicit lower bounds for the size of triangulations of orbit spaces of cyclic group actions on a variety of spaces including products of spheres, Stiefel manifolds, Lie groups and highly connected manifolds.


Rapid chemically selective 3D imaging in the mid infrared with a Si based camera. The emerging technique of mid infrared optical coherence tomography (MIR OCT) takes advantage of the reduced scattering of MIR light in various materials and devices, enabling tomographic imaging at deeper penetration depths. Because of challenges in MIR detection technology, the image acquisition time is however significantly longer than for tomographic imaging methods in the visible near infrared. Here we demonstrate an alternative approach to MIR tomography with high speed imaging capabilities. Through femtosecond non degenerate two photon absorption of MIR light in a conventional Si based CCD camera, we achieve wide field, high definition tomographic imaging with chemical selectivity of structured materials and biological samples in mere seconds.


Iterated Medial Triangle Subdivision in Surfaces of Constant Curvature. Consider a geodesic triangle on a surface of constant curvature and subdivide it recursively into 4 triangles by joining the midpoints of its edges. We show the existence of a uniform delta 0 such that, at any step of the subdivision, all the triangle angles lie in the interval ( delta, pi delta) . Additionally, we exhibit stabilising behaviours for both angles and lengths as this subdivision progresses.


Energy resolution of a photon counting silicon strip detector. A photon counting silicon strip detector with two energy thresholds was investigated for spectral X ray imaging in a mammography system. Preliminary studies already indicate clinical benefit of the detector, and the purpose of the present study is optimization with respect to energy resolution. Factors relevant for the energy response were measured, simulated, or gathered from previous studies, and used as input parameters to a cascaded detector model. Threshold scans over several X ray spectra were used to calibrate threshold levels to energy, and to validate the model. The energy resolution of the detector assembly was assessed to range over DeltaE E 0.12 0.26 in the mammography region. Electronic noise dominated the peak broadening, followed by charge sharing between adjacent detector strips, and a channel to channel threshold spread. The energy resolution may be improved substantially if these effects are reduced to a minimum. Anti coincidence logic mitigated double counting from charge sharing, but erased the energy resolution of all detected events, and optimization of the logic is desirable. Pile up was found to be of minor importance at typical mammography rates.


On ternary quadratic forms over the rational numbers. In this note, we give an elementary proof of the following classical fact. Any positive definite ternary quadratic form over the rational numbers fails to represent infinitely many positive integers. For any ternary quadratic form (positive definite or indefinite), our method constructs certain congruence classes whose elements, up to a square factor, are the only elements not represented over the rational numbers by that form. In the case of a positive definite ternary form, we show that these classes are non empty. This shows that the minimum number of variables in a positive definite quadratic form representing all positive integers is four. Our proof is very elementary and only uses quadratic reciprocity of Gauss.


A note on hyperopic cops and robber. We explore a variant of the game of Cops and Robber introduced by Bonato et al. where the robber is invisible unless outside the common neighbourhood of the cops. The hyperopic cop number is analogous to the cop number and we investigate bounds on this quantity. We define a small common neighbourhood set and relate the minimum cardinality of this graph parameter to the hyperopic cop number. We consider diameter 2 graphs, particularly the join of two graphs, as well as Cartesian products.


Stochastic Process Optimization of an Integrated Biorefinery. Planning of biorefinery operations is complicated by the stochastic nature of physical and chemical characteristics of biomass feedstock, such as, moisture level and carbohydrate content. Biomass characteristics affect the performance of the equipment which feed the reactor and the efficiency of the conversion process in a biorefinery. We propose a stochastic optimization model to identify a blend of feedstocks, inventory levels, and operating conditions of equipment to ensure a continuous flowing of biomass to the reactor while meeting the requirements of the biochemical conversion process. We propose a sample average approximation (SAA) of the model, and develop an efficient algorithm to solve the SAA model. A feedstock preprocessing process consists of two stage grinding and pelleting is used to develop a case study. Extensive numerical analysis are conducted which lead to a number of observations. Our main observation is that sequencing bales based on moisture level and carbohydrate content leads to robust solutions that improve processing time and processing rate of the reactor. We provide a number of managerial insights that facilitate the implementation of the model proposed.


Provable Regret Bounds for Deep Online Learning and Control. The theory of deep learning focuses almost exclusively on supervised learning, non convex optimization using stochastic gradient descent, and overparametrized neural networks. It is common belief that the optimizer dynamics, network architecture, initialization procedure, and other factors tie together and are all components of its success. This presents theoretical challenges for analyzing state based and or online deep learning. Motivated by applications in control, we give a general black box reduction from deep learning to online convex optimization. This allows us to decouple optimization, regret, expressiveness, and derive agnostic online learning guarantees for fully connected deep neural networks with ReLU activations. We quantify convergence and regret guarantees for any range of parameters and allow any optimization procedure, such as adaptive gradient methods and second order methods. As an application, we derive provable algorithms for deep control in the online episodic setting.


What Makes a Game High rated? Towards Factors of Video Game Success. As the video game market grows larger, it becomes harder to stand out from the crowd. Launching a successful game involves different aspects. But what are they? In this paper, we investigate some aspects of the high rated games from a dataset of 200 projects. The results show that the none of the aspects of this study have a strong relationship with the game's success. A further analysis on the high rated games shows that team, technical, and game design aspects should be the main focus of the game developers.


On Computation Complexity of True Proof Number Search. We point out that the computation of true emph proof and emph disproof numbers for proof number search in arbitrary directed acyclic graphs is NP hard, an important theoretical result for proof number search. The proof requires a reduction from SAT, which demonstrates that finding true proof disproof number for arbitrary DAG is at least as hard as deciding if arbitrary SAT instance is satisfiable, thus NP hard.


On C3 Like Finsler Metrics Under Ricci Flow. In this paper we have studied the class of Finsler metrics, called C3 like metrics which satisfy the un normal and normal Ricci flow equation and proved that such metrics are Einstein.


Fiber of Persistent Homology on Morse functions. Let f be a Morse function on a smooth compact manifold M with boundary. The path component mathrm PH f 1 (D) containing f of the space of Morse functions giving rise to the same Persistent Homology D mathrm PH (f) is shown to be the same as the orbit of f under pre composition by isotopies of M , i.e. phi mapsto f circ phi . Consequently we derive topological properties of the fiber mathrm PH f 1 (D) In particular we compute its homotopy type when M is a compact surface. In the 1 dimensional settings where M is the unit interval or the circle we extend the analysis to continuous functions and show that the fibers are made of contractible and circular components respectively.


On the structure of computable reducibility on equivalence relations of natural numbers. We examine the degree structure mathbf ER of equivalence relations on omega under computable reducibility. We examine when pairs of degrees have a join. In particular, we show that sufficiently incomparable pairs of degrees do not have a join but that some incomparable degrees do, and we characterize the degrees which have a join with every finite equivalence relation. We show that the natural classes of finite, light, and dark degrees are definable in mathbf ER . We show that every equivalence relation has continuum many self full strong minimal covers, and that mathbf d oplus mathbf Id 1 needn't be a strong minimal cover of a self full degree mathbf d . Finally, we show that the theory of the degree structure mathbf ER as well as the theories of the substructures of light degrees and of dark degrees are each computably isomorphic with second order arithmetic.


A continuous fracture front tracking algorithm with multi layer tip elements (MuLTipEl) for a plane strain hydraulic fracture. The problem of a plane strain hydraulic fracture propagating in a layered formation is considered. Fracture toughness, in situ stress, and leak off coefficient are assumed to vary by layer, while the elastic properties are kept constant throughout the domain for simplicity. The purpose of this study is to develop a numerical algorithm based on a fixed mesh approach, which is capable to solve the above problem accurately using elements which can even be larger than the layer size. In order to do this, the concept of fictitious tip stress is first introduced for determining the fracture front location. In this technique, an additional stress is applied to the tip element with the purpose to suppress opening and to mimic width corresponding to the actual fracture front location. A theoretical basis for this concept has been established and it is further calibrated for piece wise constant elements. Once the ability to track the crack front location is developed, the effect of layers is included by vary properties as a function of front location. Several numerical examples benchmarking the numerical solution, as well as highlighting capabilities of the algorithm to tackle multiple thin layers accurately are presented.


Emergent Regulatory Response and Shift of Half induction point under Resource Competition in Genetic circuits. Synthetic genetic circuits are implemented in living cells for their operation. During gene expression, proteins are produced from the respective genes, by formation of complexes through the process of transcription and translation. In transcription the circuit uses RNAP, etc. as resource from the host cell and in translation, ribosome, tRNA and other cellular resources are supplied to the operating circuit. As the cell contains these resources in limited number, the circuit can suffer from unprecedented resource competition which might destroy the circuit functionality, or introduce some emergent responses. In this paper, we have studied a three gene motif under resource competition where interesting behaviour, similar to regulatory responses occur due to limited supply of necessary resources. The system of interest exhibits prominent changes in behaviour which can be observed experimentally. We focus on two specific aspects, namely, dynamic range and half induction point, which inherently describe the circuit functionalities, and can be affected by corresponding resource affinity and availability.


Auto tagging of Short Conversational Sentences using Transformer Methods. The problem of categorizing short speech sentences according to their semantic features with high accuracy is a subject studied in natural language processing. In this study, a data set created with samples classified in 46 different categories was used. Examples consist of sentences taken from chat conversations between a company's customer representatives and the company's website visitors. The primary purpose is to automatically tag questions and requests from visitors in the most accurate way for 46 predetermined categories for use in a chat application to generate meaningful answers to the questions asked by the website visitors. For this, different BERT models and one GPT 2 model, pre trained in Turkish, were preferred. The classification performances of the relevant models were analyzed in detail and reported accordingly.


Compacting Deep Neural Networks for Internet of Things Methods and Applications. Deep Neural Networks (DNNs) have shown great success in completing complex tasks. However, DNNs inevitably bring high computational cost and storage consumption due to the complexity of hierarchical structures, thereby hindering their wide deployment in Internet of Things (IoT) devices, which have limited computational capability and storage capacity. Therefore, it is a necessity to investigate the technologies to compact DNNs. Despite tremendous advances in compacting DNNs, few surveys summarize compacting DNNs technologies, especially for IoT applications. Hence, this paper presents a comprehensive study on compacting DNNs technologies. We categorize compacting DNNs technologies into three major types 1) network model compression, 2) Knowledge Distillation (KD), 3) modification of network structures. We also elaborate on the diversity of these approaches and make side by side comparisons. Moreover, we discuss the applications of compacted DNNs in various IoT applications and outline future directions.


Characterizing Tseitin formulas with short regular resolution refutations. Tseitin formulas are systems of parity constraints whose structure is described by a graph. These formulas have been studied extensively in proof complexity as hard instances in many proof systems. In this paper, we prove that a class of unsatisfiable Tseitin formulas of bounded degree has regular resolution refutations of polynomial length if and only if the treewidth of all underlying graphs G for that class is in O( log V(G) ) . To do so, we show that any regular resolution refutation of an unsatisfiable Tseitin formula with graph G of bounded degree has length 2 Omega(tw(G)) V(G) , thus essentially matching the known 2 O(tw(G)) poly( V(G) ) upper bound up. Our proof first connects the length of regular resolution refutations of unsatisfiable Tseitin formulas to the size of representations of textit satisfiable Tseitin formulas in decomposable negation normal form (DNNF). Then we prove that for every graph G of bounded degree, every DNNF representation of every satisfiable Tseitin formula with graph G must have size 2 Omega(tw(G)) which yields our lower bound for regular resolution.


Banach Convolution Modules of Group Algebras on Covariant Functions of Characters of Normal Subgroups. This paper investigates structure of Banach convolution modules induced by group algebras on covariant functions of characters of closed normal subgroups. Let G be a locally compact group with the group algebra L 1(G) and N be a closed normal subgroup of G . Suppose that xi N to mathbb T is a continuous character, 1 le p infty and L xi p(G,N) is the L p space of all covariant functions of xi on G . It is shown that L p xi(G,N) is a Banach L 1(G) module. We then study convolution module actions of group algebras on covariant functions of characters for the case of canonical normal subgroups in semi direct product groups.


On the growth and zeros of polynomials attached to arithmetic functions. In this paper we investigate growth properties and the zero distribution of polynomials attached to arithmetic functions g and h , where g is normalized, of moderate growth, and 0 h(n) leq h(n 1) . We put P 0 g,h (x) 1 and begin equation P n g,h (x) frac x h(n) sum k 1 n g(k) , P n k g,h (x). end equation As an application we obtain the best known result on the domain of the non vanishing of the Fourier coefficients of powers of the Dedekind eta function. Here, g is the sum of divisors and h the identity function. Kostant's result on the representation of simple complex Lie algebras and Han's results on the Nekrasov Okounkov hook length formula are extended. The polynomials are related to reciprocals of Eisenstein series, Klein's j invariant, and Chebyshev polynomials of the second kind.


Proof of some conjectural congruences involving Domb numbers. In this paper, we mainly prove the following conjectures of Z. H. Sun cite SH2 Let p 3 be a prime. If p equiv1 pmod3 and p x 2 3y 2 , then we have sum k 0 p 1 frac D k 4 k equiv sum k 0 p 1 frac D k 16 k equiv4x 2 2p frac p 2 4x 2 pmod p 3 , and if p equiv2 pmod3 , then sum k 0 p 1 frac D k 4 k equiv 2 sum k 0 p 1 frac D k 16 k equiv frac p 2 2 binom frac p 1 2 frac p 5 6 2 pmod p 3 , where D n sum k 0 n binom n k 2 binom 2k k binom 2n 2k n k stands for the n th Domb number.


Algorithms for hard constraint point processes via discretization. We study algorithmic applications of a natural discretization for the hard sphere model and the Widom Rowlinson model in a region mathbb V subset mathbb R d . These models are used in statistical physics to describe mixtures of one or multiple particle types subjected to hard core interactions. For each type, particles follow a Poisson point process with a type specific activity parameter (fugacity). The Gibbs distribution is characterized by the mixture of these point processes conditioned that no two particles are closer than a type dependent distance threshold. A key part in better understanding the Gibbs distribution is its normalizing constant, called partition function. We give sufficient conditions that the partition function of a discrete hard core model on a geometric graph based on a point set X subset mathbb V closely approximates those of such continuous models. Previously, this was only shown for the hard sphere model on cubic regions mathbb V 0, ell) d when X is exponential in the volume of the region nu( mathbb V ) , limiting algorithmic applications. In the same setting, our refined analysis only requires a quadratic number of points, which we argue to be tight. We use our improved discretization results to approximate the partition functions of the hard sphere model and the Widom Rowlinson efficiently in nu( mathbb V ) . For the hard sphere model, we obtain the first quasi polynomial deterministic approximation algorithm for the entire fugacity regime for which, so far, only randomized approximations are known. Furthermore, we simplify a recently introduced fully polynomial randomized approximation algorithm. Similarly, we obtain the best known deterministic and randomized approximation bounds for the Widom Rowlinson model. Moreover, we obtain approximate sampling algorithms for the respective spin systems within the same fugacity regimes.


Water Superstructured Solid Fuel Cells. Protonic ceramic fuel cells can be operated at low temperatures, but their performances relying on bulk ion transfer in solid electrolytes are usually limited by much lower proton conductivity than 0.1 S cm below 600 deg C. Herein, however, we report a strategy for Al2O3 insulator to become a protonic superconductor, namely, in situ generation of superstructured water in porous Al2O3 layer could realize the unprecedented water mediated proton transfer on Al2O3 surface, attaining ultrahigh proton conductivity of 0.13 S cm at 550 deg C. With such a water superstructured proton superconductor, we created water superstructured solid fuel cell, achieving very high power density of 1036 mW cm2 and high open circuit voltage above 1.1 V at 550 deg C with H2 fuel. This provides a general approach to develop protonic superconductors and solid fuel cells.


Ramification and descent in homotopy theory and derived algebraic geometry. We introduce notions of unramified and totally ramified maps in great generality for commutative rings, schemes, ring spectra, or derived schemes. We prove that the definition is equivalent to the classical definition in the case of rings of integers in number fields. The new definition leads directly (without computational techniques) to a calculation of topological Hochschild homology for rings of integers. We show that THH(R) is the homotopy cofiber of a map R Omega S 3 otimes R Omega 1 R mathbb Z to R Omega S 3 langle 3 rangle , so there is a long exact sequence cdots to H ast( Omega S 3 Omega 1 R mathbb Z ) to H ast( Omega S 3 langle 3 rangle R) to THH ast(R) to cdots . Any time an extension Y X is a composite of unramified and totally ramified extensions, our results allow for the study of THH(X) in terms of THH(Y) by a kind of weak etale descent (ramified descent).


Viscoelasticity and cell swirling motion. Although collective cell migration (CCM) is a highly coordinated and fine tuned migratory mode, instabilities in the form of cell swirling motion (CSM) often occur. The CSM represents a product of the active turbulence obtained at low Reynolds number which has a feedback impact to various processes such as morphogenesis, wound healing, and cancer invasion. The cause of this phenomenon is related to the viscoelasticity of multicellular systems in the context of cell residual stress accumulation. Particular interest of this work is to (1) emphasize the roles of cell shear and normal residual stress accumulated during CCM in the appearance of CSM and (2) consider the dynamics of CSM from the standpoint of rheology. Inhomogeneous distribution of the cell residual stress leads to a generation the viscoelastic force which acts to suppress CCM and can induces the system rapid stiffening. This force together with the surface tension force and traction force is responsible for the appearance of the CSM. In this work, a review of existing literature about viscoelasticity caused by CCM is given along with assortment of published experimental findings, in order to invite experimentalists to test given theoretical considerations in multicellular systems.


Dual Attention Suppression Attack Generate Adversarial Camouflage in Physical World. Deep learning models are vulnerable to adversarial examples. As a more threatening type for practical deep learning systems, physical adversarial examples have received extensive research attention in recent years. However, without exploiting the intrinsic characteristics such as model agnostic and human specific patterns, existing works generate weak adversarial perturbations in the physical world, which fall short of attacking across different models and show visually suspicious appearance. Motivated by the viewpoint that attention reflects the intrinsic characteristics of the recognition process, this paper proposes the Dual Attention Suppression (DAS) attack to generate visually natural physical adversarial camouflages with strong transferability by suppressing both model and human attention. As for attacking, we generate transferable adversarial camouflages by distracting the model shared similar attention patterns from the target to non target regions. Meanwhile, based on the fact that human visual attention always focuses on salient items (e.g., suspicious distortions), we evade the human specific bottom up attention to generate visually natural camouflages which are correlated to the scenario context. We conduct extensive experiments in both the digital and physical world for classification and detection tasks on up to date models (e.g., Yolo V5) and significantly demonstrate that our method outperforms state of the art methods.


TSGB Target Selective Gradient Backprop for Probing CNN Visual Saliency. The explanation for deep neural networks has drawn extensive attention in the deep learning community over the past few years. In this work, we study the visual saliency, a.k.a. visual explanation, to interpret convolutional neural networks. Compared to iteration based saliency methods, single backward pass based saliency methods benefit from faster speed, and they are widely used in downstream visual tasks. Thus, we focus on single backward pass based methods. However, existing methods in this category struggle to uccessfully produce fine grained saliency maps concentrating on specific target classes. That said, producing faithful saliency maps satisfying both target selectiveness and fine grainedness using a single backward pass is a challenging problem in the field. To mitigate this problem, we revisit the gradient flow inside the network, and find that the entangled semantics and original weights may disturb the propagation of target relevant saliency. Inspired by those observations, we propose a novel visual saliency method, termed Target Selective Gradient Backprop (TSGB), which leverages rectification operations to effectively emphasize target classes and further efficiently propagate the saliency to the image space, thereby generating target selective and fine grained saliency maps. The proposed TSGB consists of two components, namely, TSGB Conv and TSGB FC, which rectify the gradients for convolutional layers and fully connected layers, respectively. Extensive qualitative and quantitative experiments on the ImageNet and Pascal VOC datasets show that the proposed method achieves more accurate and reliable results than the other competitive methods. Code is available at https github.com 123fxdx CNNvisualizationTSGB.


Uniform Poincar 'e inequality in o minimal structures. We first define the trace on a domain Omega which is definable in an o minimal structure. We then show that every function u in W 1,p ( Omega) vanishing on the boundary in the trace sense satisfies Poincar 'e inequality. We finally show, given a definable family of domains ( Omega t) t in mathbb R k , that the constant of this inequality remains bounded, if so does the volume of Omega t .


Modeling Object Dissimilarity for Deep Saliency Prediction. Saliency prediction has made great strides over the past two decades, with current techniques modeling low level information, such as color, intensity and size contrasts, and high level one, such as attention and gaze direction for entire objects. Despite this, these methods fail to account for the dissimilarity between objects, which humans naturally do. In this paper, we introduce a detection guided saliency prediction network that explicitly models the differences between multiple objects, such as their appearance and size dissimilarities. Our approach is general, allowing us to fuse our object dissimilarities with features extracted by any deep saliency prediction network. As evidenced by our experiments, this consistently boosts the accuracy of the baseline networks, enabling us to outperform the state of the art models on three saliency benchmarks, namely SALICON, MIT300 and CAT2000.


SaCoFa Semantics aware Control flow Anonymization for Process Mining. Privacy preserving process mining enables the analysis of business processes using event logs, while giving guarantees on the protection of sensitive information on process stakeholders. To this end, existing approaches add noise to the results of queries that extract properties of an event log, such as the frequency distribution of trace variants, for analysis.Noise insertion neglects the semantics of the process, though, and may generate traces not present in the original log. This is problematic. It lowers the utility of the published data and makes noise easily identifiable, as some traces will violate well known semantic constraints.In this paper, we therefore argue for privacy preservation that incorporates a process semantics. For common trace variant queries, we show how, based on the exponential mechanism, semantic constraints are incorporated to ensure differential privacy of the query result. Experiments demonstrate that our semantics aware anonymization yields event logs of significantly higher utility than existing approaches.


One electron energy spectra of heavy highly charged quasimolecules. The generalized dual kinetic balance approach for axially symmetric systems is employed to solve the two center Dirac problem. The spectra of one electron homonuclear quasimolecules are calculated and compared with the previous calculations. The analysis of the monopole approximation with two different choices of the origin is performed. Special attention is paid to the lead and xenon dimers, Pb 82 Pb 82 e and Xe 54 Xe 54 e , where the energies of the ground and several excited sigma states are presented in the wide range of internuclear distances. The developed method provides the quasicomplete finite basis set and allows for construction of the perturbation theory, including within the bound state QED.


Optimal Control of Oscillation Timing and Entrainment Using Large Magnitude Inputs An Adaptive Phase Amplitude Coordinate Based Approach. Given the high dimensionality and underlying complexity of many oscillatory dynamical systems, phase reduction is often an imperative first step in control applications where oscillation timing and entrainment are of interest. Unfortunately, most phase reduction frameworks place restrictive limitations on the magnitude of allowable inputs, limiting the practical utility of the resulting phase reduced models in many situations. In this work, motivated by the search for control strategies to hasten recovery from jet lag caused by rapid travel through multiple time zones, the efficacy of the recently developed adaptive phase amplitude reduction is considered for manipulating oscillation timing in the presence of a large magnitude entraining stimulus. The adaptive phase amplitude reduced equations allow for a numerically tractable optimal control formulation and the associated optimal stimuli significantly outperform those resulting from from previously proposed optimal control formulations. Additionally, a data driven technique to identify the necessary terms of the adaptive phase amplitude reduction is proposed and validated using a model describing the aggregate oscillations of a large population of coupled limit cycle oscillators. Such data driven model reduction algorithms are essential in situations where the underlying model equations are either unreliable or unavailable.


Problematic Machine Behavior A Systematic Literature Review of Algorithm Audits. While algorithm audits are growing rapidly in commonality and public importance, relatively little scholarly work has gone toward synthesizing prior work and strategizing future research in the area. This systematic literature review aims to do just that, following PRISMA guidelines in a review of over 500 English articles that yielded 62 algorithm audit studies. The studies are synthesized and organized primarily by behavior (discrimination, distortion, exploitation, and misjudgement), with codes also provided for domain (e.g. search, vision, advertising, etc.), organization (e.g. Google, Facebook, Amazon, etc.), and audit method (e.g. sock puppet, direct scrape, crowdsourcing, etc.). The review shows how previous audit studies have exposed public facing algorithms exhibiting problematic behavior, such as search algorithms culpable of distortion and advertising algorithms culpable of discrimination. Based on the studies reviewed, it also suggests some behaviors (e.g. discrimination on the basis of intersectional identities), domains (e.g. advertising algorithms), methods (e.g. code auditing), and organizations (e.g. Twitter, TikTok, LinkedIn) that call for future audit attention. The paper concludes by offering the common ingredients of successful audits, and discussing algorithm auditing in the context of broader research working toward algorithmic justice.


The pointwise behavior of Riemann's function. We present a new and simple method for the determination of the pointwise H " o lder exponent of Riemann's function sum n 1 infty n 2 sin( pi n 2 x) at every point of the real line. In contrast to earlier approaches, where wavelet analysis and the theta modular group were needed for the analysis of irrational points, our method is direct and elementary, being only based on the following tools from number theory and complex analysis the evaluation of quadratic Gauss sums, the Poisson summation formula, and Cauchy's theorem.


Generalized Integer Splines on Arbitrary Graphs. Generalized integer splines on a graph G with integer edge weights are integer vertex labelings such that if two vertices share an edge in G , the vertex labels are congruent modulo the edge weight. We introduce collapsing operations that reduce any simple graph to a single vertex, carrying with it the edge weight information. This corresponds to a sequence of surjective maps between the associated spline modules, leading to an explicit construction of a module basis in terms of the edge weights.


Global existence and boundedness in a fully parabolic attraction repulsion chemotaxis system with signal dependent sensitivities without logistic source. This paper deals with the fully parabolic attraction repulsion chemotaxis system with signal dependent sensitivities, begin align begin cases u t Delta u nabla cdot (u chi(v) nabla v) nabla cdot (u xi(w) nabla w), x in Omega, t 0, 1.05mm v t Delta v v u, x in Omega, t 0, 1.05mm w t Delta w w u, x in Omega, t 0 end cases end align under homogeneous Neumann boundary conditions and initial conditions, where Omega subset mathbb R n (n ge 2) is a bounded domain with smooth boundary, chi, xi are functions satisfying some conditions. Global existence and boundedness of classical solutions to the system with logistic source have already been obtained by taking advantage of the effect of logistic dampening (J. Math. Anal. Appl. 2020 489 124153). This paper establishes existence of global bounded classical solutions despite the loss of logistic dampening.


Thermo hydro mechanical modeling of an Enhanced geothermal system in a fractured reservoir using CO2 as heat transmission fluid A sensitivity investigation. Geothermal energy has the potential to support direct heat usage and electricity generation at low carbon footprint. Using CO2 as heat transfer fluid can allow us to achieve negative carbon energy solution. In this study, geothermal energy extraction potential from a discretely fractured reservoir using CO2 is assessed. Geothermal energy extraction process is a coupled thermo hydro mechanical (THM) mechanism and the geomechanical stresses involves thermoelasticity and poroelasticity. This study demonstrates a fully coupled THM mechanism for enhanced geothermal system (EGS) operations. A large number of parameters are involved in the THM mechanism and therefore, it becomes difficult to assess the key operating parameter to have better operating efficiency. We identified 22 input parameters that controls the THM mechanism. Therefore, under the Horizon 2020 project Multidisciplinary and multi contact demonstration of EGS exploration and Exploitation Techniques and potentials (H2020 MEET) we have performed sensitivity analysis to investigate the relative importance of these parameters that concentrates on three key objective parameters thermal breakthrough time, mass flux and overall energy recovery. The important parameters controlling these three objective parameters are matrix permeability and fracture aperture whereas wellbore radius has an impact on mass flux and total energy recovery.


A Lightweight Cell Switching and Traffic Offloading Scheme for Energy Optimization in Ultra Dense Heterogeneous Networks. One of the major capacity boosters for 5G networks is the deployment of ultra dense heterogeneous networks (UDHNs). However, this deployment results in tremendousincrease in the energy consumption of the network due to the large number of base stations (BSs) involved. In addition to enhanced capacity, 5G networks must also be energy efficient for it to be economically viable and environmentally friendly. Dynamic cell switching is a very common way of reducing the total energy consumption of the network but most of the proposed methods are computationally demanding which makes them unsuitable for application in ultra dense network deployment with massive number of BSs. To tackle this problem, we propose a lightweight cell switching scheme also known as Threshold based Hybrid cEllswItching Scheme (THESIS) for energy optimization in UDHNs. The developed approach combines the benefits of clustering and exhaustive search (ES) algorithm to produce a solution whose optimality is close to that of the ES (which is guaranteed tobe optimal), but is computationally more efficient than ES and as such can be applied for cell switching in real networks even when their dimension is large. The performance evaluation shows that the THESIS produces a significant reduction in the energy consumption of the UDHN and is able to reduce the complexity of finding a near optimal solution from exponential to polynomial complexity.


Some new results on generalized diagonally dominant matrices and matrix eigenvalue inclusion regions. In matrix theory and numerical analysis there are two very famous and important results. One is Gersgorin circle theorem, the other is strictly diagonally dominant theorem. They have important application and research value, and have been widely used and studied. In this paper, we investigate generalized diagonally dominant matrices and matrix eigenvalue inclusion regions. A class of G function pairs is proposed, which extends the concept of G functions. Thirteen kind of G function pairs are established. Their properties and characteristics are studied. By using these special G function pairs, we construct a large number of sufficient and necessary conditions for strictly diagonally dominant matrices and matrix eigenvalue inclusion regions. These conditions and regions are composed of different combinations of G function pairs, deleted absolute row sums and column sums of matrices. The results extend, include and are better than some classical results.


DNA Origami Route for Nanophotonics. The specificity and simplicity of the Watson Crick base pair interactions make DNA one of the most versatile construction materials for creating nanoscale structures and devices. Among several DNA based approaches, the DNA origami technique excels in programmable self assembly of complex, arbitrary shaped structures with dimensions of hundreds of nanometers. Importantly, DNA origami can be used as templates for assembly of functional nanoscale components into three dimensional structures with high precision and controlled stoichiometry. This is often beyond the reach of other nanofabrication techniques. In this Perspective, we highlight the capability of the DNA origami technique for realization of novel nanophotonic systems. First, we introduce the basic principles of designing and fabrication of DNA origami structures. Subsequently, we review recent advances of the DNA origami applications in nanoplasmonics, single molecule and super resolution fluorescent imaging, as well as hybrid photonic systems. We conclude by outlining the future prospects of the DNA origami technique for advanced nanophotonic systems with tailored functionalities.


A blowup formula for virtual enumerative invariants on projective surfaces. We apply virtual localization to the problem of finding blowup formulae for virtual sheaf theoretic invariants on a smooth projective surface. This leads to a general procedure that can be used to express virtual enumerative invariants on the blowup in terms of those on the original surface. We use an enhanced master space construction over the moduli spaces of m stable sheaves introduced by Nakajima and Yoshioka. Our work extends their analogous results for the equivariant moduli spaces of framed sheaves on mathbb P 2 . In contrast to their work, we make no use of GIT methods and work with an arbitrary smooth complex projective surface, assuming only the absence of strictly semistable sheaves. The main examples to keep in mind are Mochizuki's virtual analogue of the Donaldson invariant and the virtual chi y genus of the moduli space of Gieseker semistable sheaves on the surface.


Harvesting of a stochastic population under a mixed regular singular control formulation. This work focuses on optimal harvesting renewing for a stochastic population. A mixed regular singular control formulation with a state constraint and regime switching is introduced. The decision makers either harvest or renew with finite or infinite harvesting renewing rates. The payoff functions depend on the harvesting renewing rates. Several properties of the value functions are established. The limiting value function as the white noise intensity approaches infinity is identified. The Markov chain approximation method is used to find a numerical approximation of the value function and optimal strategies.


Uniform asymptotic expansions for Lommel, Anger Weber and Struve functions. Using a differential equation approach asymptotic expansions are rigorously obtained for Lommel, Weber, Anger Weber and Struve functions, as well as Neumann polynomials, each of which is a solution of an inhomogeneous Bessel equation. The approximations involve Airy and Scorer functions, and are uniformly valid for large real order nu and unbounded complex argument z . An interesting complication is the identification of the Lommel functions with the new asymptotic solutions, and in order to do so it is necessary to consider certain sectors of the complex plane, as well as introduce new forms of Lommel and Struve functions.


MultiOpEd A Corpus of Multi Perspective News Editorials. We propose MultiOpEd, an open domain news editorial corpus that supports various tasks pertaining to the argumentation structure in news editorials, focusing on automatic perspective discovery. News editorial is a genre of persuasive text, where the argumentation structure is usually implicit. However, the arguments presented in an editorial typically center around a concise, focused thesis, which we refer to as their perspective. MultiOpEd aims at supporting the study of multiple tasks relevant to automatic perspective discovery, where a system is expected to produce a single sentence thesis statement summarizing the arguments presented. We argue that identifying and abstracting such natural language perspectives from editorials is a crucial step toward studying the implicit argumentation structure in news editorials. We first discuss the challenges and define a few conceptual tasks towards our goal. To demonstrate the utility of MultiOpEd and the induced tasks, we study the problem of perspective summarization in a multi task learning setting, as a case study. We show that, with the induced tasks as auxiliary tasks, we can improve the quality of the perspective summary generated. We hope that MultiOpEd will be a useful resource for future studies on argumentation in the news editorial domain.


On a stationary Schr "o dinger equation with periodic magnetic potential. We prove existence results for a stationary Schr "o dinger equation with periodic magnetic potential satisfying a local integrability condition on the whole space using a critical value function.


Piercing the chessboard. We consider the minimum number of lines h n and p n needed to intersect or pierce, respectively, all the cells of the n times n chessboard. Determining these values can also be interpreted as a strengthening of the classical plank problem for integer points. Using the symmetric plank theorem of K. Ball, we prove that h n lceil frac n 2 rceil for each n geq 1 . Studying the piercing problem, we show that 0.7n leq p n leq n 1 for n geq 3 , where the upper bound is conjectured to be sharp. The lower bound is proven by using the linear programming method, whose limitations are also demonstrated.