Semi Supervised Semantic Segmentation with Cross Consistency Training. In this paper, we present a novel cross consistency based semi supervised approach for semantic segmentation. Consistency training has proven to be a powerful semi supervised learning framework for leveraging unlabeled data under the cluster assumption, in which the decision boundary should lie in low density regions. In this work, we first observe that for semantic segmentation, the low density regions are more apparent within the hidden representations than within the inputs. We thus propose cross consistency training, where an invariance of the predictions is enforced over different perturbations applied to the outputs of the encoder. Concretely, a shared encoder and a main decoder are trained in a supervised manner using the available labeled examples. To leverage the unlabeled examples, we enforce a consistency between the main decoder predictions and those of the auxiliary decoders, taking as inputs different perturbed versions of the encoder's output, and consequently, improving the encoder's representations. The proposed method is simple and can easily be extended to use additional training signal, such as image level labels or pixel level labels across different domains. We perform an ablation study to tease apart the effectiveness of each component, and conduct extensive experiments to demonstrate that our method achieves state of the art results in several datasets.


Convergence analysis of a fully discrete energy stable numerical scheme for the Q tensor flow of liquid crystals. We present a fully discrete convergent finite difference scheme for the Q tensor flow of liquid crystals based on the energy stable semi discrete scheme by Zhao, Yang, Gong, and Wang (Comput. Methods Appl. Mech. Engrg. 2017). We prove stability properties of the scheme and show convergence to weak solutions of the Q tensor flow equations. We demonstrate the performance of the scheme in numerical simulations.


A Taxonomy and Dataset for 360 deg Videos. In this paper, we propose a taxonomy for 360 deg videos that categorizes videos based on moving objects and camera motion. We gathered and produced 28 videos based on the taxonomy, and recorded viewport traces from 60 participants watching the videos. In addition to the viewport traces, we provide the viewers' feedback on their experience watching the videos, and we also analyze viewport patterns on each category.


LIoTS League of IoT Sovereignties. A Scalable approach for a Transparent Privacy safe Federation of Secured IoT Platforms. Internet of Things has entered all the fields where data are produced and processed, resulting in a plethora of IoT platforms, typically cloud based, centralizing data and services management. This has brought to many disjoint IoT silos. Significant efforts have been devoted to integration, recurrently resulting into bigger centralized infrastructures. Such an approach often stumbles upon the reluctance of IoT system owners to loose the dominion over data. We introduce a secured and privacy safe infrastructure where a federation overlay is distributed among parties and the data control is kept locally. This establishes a league of peers each sovereign of their IoT system and data League of IoT Sovereignties (LIoTS). LIoTS is scalable by design, allowing iterative formation of domains levels due to the transparency of its federation. Tests show that the overhead is minimal when exchanged data is hefty, and that LIoTS performs better in large IoT deployments than centralized approaches.


Towards Cognitive Obfuscation Impeding Hardware Reverse Engineering Based on Psychological Insights. In contrast to software reverse engineering, there are hardly any tools available that support hardware reversing. Therefore, the reversing process is conducted by human analysts combining several complex semi automated steps. However, countermeasures against reversing are evaluated solely against mathematical models. Our research goal is the establishment of cognitive obfuscation based on the exploration of underlying psychological processes. We aim to identify problems which are hard to solve for human analysts and derive novel quantification metrics, thus enabling stronger obfuscation techniques.


Technical Debt in Data Intensive Software Systems. The ever increasing amount, variety as well as generation and processing speed of today's data pose a variety of new challenges for developing Data Intensive Software Systems (DISS). As with developing other kinds of software systems, developing DISS is often done under severe pressure and strict schedules. Thus, developers of DISS often have to make technical compromises to meet business concerns. This position paper proposes a conceptual model that outlines where Technical Debt (TD) can emerge and proliferate within such data centric systems by separating a DISS into three parts (Software Systems, Data Storage Systems and Data). Further, the paper illustrates the proliferation of Database Schema Smells as TD items within a relational database centric software system based on two examples.


Learning to Explore in Motion and Interaction Tasks. Model free reinforcement learning suffers from the high sampling complexity inherent to robotic manipulation or locomotion tasks. Most successful approaches typically use random sampling strategies which leads to slow policy convergence. In this paper we present a novel approach for efficient exploration that leverages previously learned tasks. We exploit the fact that the same system is used across many tasks and build a generative model for exploration based on data from previously solved tasks to improve learning new tasks. The approach also enables continuous learning of improved exploration strategies as novel tasks are learned. Extensive simulations on a robot manipulator performing a variety of motion and contact interaction tasks demonstrate the capabilities of the approach. In particular, our experiments suggest that the exploration strategy can more than double learning speed, especially when rewards are sparse. Moreover, the algorithm is robust to task variations and parameter tuning, making it beneficial for complex robotic problems.


Ab Initio Effective One Electron Potential Operators. II. Applications for Exchange Repulsion Energy in Effective Fragment Potentials. In Paper I, the effective one electron potentials (OEP) method was introduced and demonstrated as an efficient approach to reduce the computational cost of evaluation of the charge transfer interaction energy within the effective fragment potential method (EFP2) by an average factor of 20, making it no longer a bottleneck in EFP2 based simulations of complex systems. Here, the OEP technique is used to enhance computational efficiency in evaluating the exchange repulsion EFP2 interaction energy by redefining the first order repulsive term of Murrell et al. Murrell et al., Proc. R. Soc. Lond. A 284, 566 (1965) through the extended density fitting in incomplete auxiliary basis. In the proposed approach the evaluation of the kinetic energy integrals is no longer required and the computational cost can be reduced roughly by a factor of 1.5 as compared to the original EFP2 formulation.


Semantics aware BERT for Language Understanding. The latest work on language representations carefully integrates contextualized features into language model training, which enables a series of success especially in various machine reading comprehension and natural language inference tasks. However, the existing language representation models including ELMo, GPT and BERT only exploit plain context sensitive features such as character or word embeddings. They rarely consider incorporating structured semantic information which can provide rich semantics for language representation. To promote natural language understanding, we propose to incorporate explicit contextual semantics from pre trained semantic role labeling, and introduce an improved language representation model, Semantics aware BERT (SemBERT), which is capable of explicitly absorbing contextual semantics over a BERT backbone. SemBERT keeps the convenient usability of its BERT precursor in a light fine tuning way without substantial task specific modifications. Compared with BERT, semantics aware BERT is as simple in concept but more powerful. It obtains new state of the art or substantially improves results on ten reading comprehension and language inference tasks.


The strong geometric lemma for intrinsic Lipschitz graphs in Heisenberg groups. We show that the beta numbers of intrinsic Lipschitz graphs of Heisenberg groups mathbb H n are locally Carleson integrable when n geq 2 . Our technique relies on a recent Dorronsoro inequality cite FO as well as a novel slicing argument. A key ingredient in our proof is a Euclidean inequality bounding the beta number of a function on a cube of mathbb R n using the beta number of the restriction of the function to codimension 1 slices of the cube.


Military Dog Based Optimizer and its Application to Fake Review. Over the last three decades more then sixty meta heuristic algorithms have been proposed by the various authors. Such algorithms are inspired from physical phenomena, animal behavior or evolutionary concepts. These algorithms have been widely used for solving the various real world optimization problems. Researchers are continuously working to improve the existing algorithms and also proposing new algorithms that are giving competitive results as compared to the existing algorithms present in the literature. In this paper a novel meta heuristic algorithm based on military dogs squad is introduced. The proposed algorithm mimics the searching capability of the trained military dogs. Military dogs have strong smell senses by which they are able to search the suspicious objects like bombs, wildlife scats, currency, or blood as well as they can communicate with each other by their barking. The performance of the proposed algorithm is tested on 17 benchmark functions and compared with five other meta heuristics namely particle swarm optimization (PSO), multiverse optimizer (MVO), genetic algorithm (GA), probability based learning (PBIL) and evolutionary strategy (ES). The results are validated in terms of mean and standard deviation of the fitness value. The convergence behavior and consistency of the results have been also validated by plotting convergence graphs and BoxPlots. Further the, proposed algorithm is successfully utilized to solve the real world fake review detection problem. The experimental results demonstrate that the proposed algorithm outperforms the other considered algorithms on the majority of performance parameters.


A Bayesian estimation method for variational phase field fracture problems. In this work, we propose a parameter estimation framework for fracture propagation problems. The fracture problem is described by a phase field method. Parameter estimation is realized with a Bayesian framework. Here, the focus is on uncertainties arising in the solid material parameters and the critical energy release rate. A reference value (obtained on a sufficiently small mesh) as the replacement of measurement will be chosen, and their posterior distribution is obtained. Due to time and mesh dependency of the problem, the computational costs can be high. Using Bayesian inversion, we solve the problem on a relatively coarse mesh and fit the parameters. The obtained load displacement curve that is usually the target function is matched with the reference values. Finally, our algorithmic approach is substantiated with several numerical examples.


Absolute frequency measurement of rubidium 5S 6P transitions. We report on measurements on the 5S 6P rubidium transition frequencies for rubidium isotopes with an absolute uncertainty of better than SI 450 kHz for the 5S rightarrow 6P 1 2 transition and SI 20 kHz for the 5S rightarrow 6P 3 2 transition, achieved by saturation absorption spectroscopy. From the results we derive the hyperfine splitting with an accuracy of SI 460 kHz and SI 30 kHz , respectively. We also verify the literature values for the isotope shifts as well as magnetic dipole constant and the electric quadrupole constant.


Segmenting Hyperspectral Images Using Spectral Spatial Convolutional Neural Networks With Training Time Data Augmentation. Hyperspectral imaging provides detailed information about the scanned objects, as it captures their spectral characteristics within a large number of wavelength bands. Classification of such data has become an active research topic due to its wide applicability in a variety of fields. Deep learning has established the state of the art in the area, and it constitutes the current research mainstream. In this letter, we introduce a new spectral spatial convolutional neural network, benefitting from a battery of data augmentation techniques which help deal with a real life problem of lacking ground truth training data. Our rigorous experiments showed that the proposed method outperforms other spectral spatial techniques from the literature, and delivers precise hyperspectral classification in real time.


Neural Manipulation Planning on Constraint Manifolds. The presence of task constraints imposes a significant challenge to motion planning. Despite all recent advancements, existing algorithms are still computationally expensive for most planning problems. In this paper, we present Constrained Motion Planning Networks (CoMPNet), the first neural planner for multimodal kinematic constraints. Our approach comprises the following components i) constraint and environment perception encoders ii) neural robot configuration generator that outputs configurations on near the constraint manifold(s), and iii) a bidirectional planning algorithm that takes the generated configurations to create a feasible robot motion trajectory. We show that CoMPNet solves practical motion planning tasks involving both unconstrained and constrained problems. Furthermore, it generalizes to new unseen locations of the objects, i.e., not seen during training, in the given environments with high success rates. When compared to the state of the art constrained motion planning algorithms, CoMPNet outperforms by order of magnitude improvement in computational speed with a significantly lower variance.


Maximizing the first eigenvalue of the Jacobi operator. We consider the Jacobi operator, defined on a closed oriented hypersurfaces immersed in the Euclidean space with the same volume of the unit sphere. We show a local generalization for the classical result of the Willmore functional for the Euclidean sphere. As a consequence, we prove that the first eigenvalue of the Jacobi operator in the Euclidean sphere is a local maximum and this result is a global one in the closed oriented surfaces space of mathbb R 3 and genus zero.


MemPool A Shared L1 Memory Many Core Cluster with a Low Latency Interconnect. A key challenge in scaling shared L1 multi core clusters towards many core (more than 16 cores) configurations is to ensure low latency and efficient access to the L1 memory. In this work we demonstrate that it is possible to scale up the shared L1 architecture We present MemPool, a 32 bit many core system with 256 fast RV32IMA "Snitch" cores featuring application tunable execution units, running at 700 MHz in typical conditions (TT 0.80 V 25 deg C). MemPool is easy to program, with all the cores sharing a global view of a large L1 scratchpad memory pool, accessible within at most 5 cycles. In MemPool's physical aware design, we emphasized the exploration, design, and optimization of the low latency processor to L1 memory interconnect. We compare three candidate topologies, analyzing them in terms of latency, throughput, and back end feasibility. The chosen topology keeps the average latency at fewer than 6 cycles, even for a heavy injected load of 0.33 request core cycle. We also propose a lightweight addressing scheme that maps each core private data to a memory bank accessible within one cycle, which leads to performance gains of up to 20 in real world signal processing benchmarks. The addressing scheme is also highly efficient in terms of energy consumption since requests to local banks consume only half of the energy required to access remote banks. Our design achieves competitive performance with respect to an ideal, non implementable full crossbar baseline.


Bilinear operator multipliers into the trace class. Given Hilbert spaces H 1,H 2,H 3 , we consider bilinear maps defined on the cartesian product S 2(H 2,H 3) times S 2(H 1,H 2) of spaces of Hilbert Schmidt operators and valued in either the space B(H 1,H 3) of bounded operators, or in the space S 1(H 1,H 3) of trace class operators. We introduce modular properties of such maps with respect to the commutants of von Neumann algebras M i subset B(H i) , i 1,2,3 , as well as an appropriate notion of complete boundedness for such maps. We characterize completely bounded module maps u colon S 2(H 2,H 3) times S 2(H 1,H 2) to B(H 1,H 3) by the membership of a natural symbol of u to the von Neumann algebra tensor product M 1 overline otimes M 2 op overline otimes M 3 . In the case when M 2 is injective, we characterize completely bounded module maps u colon S 2(H 2,H 3) times S 2(H 1,H 2) to S 1(H 1,H 3) by a weak factorization property, which extends to the bilinear setting a famous description of bimodule linear mappings going back to Haagerup, Effros Kishimoto, Smith and Blecher Smith. We make crucial use of a theorem of Sinclair Smith on completely bounded bilinear maps valued in an injective von Neumann algebra, and provide a new proof of it, based on Hilbert C modules.


Analyzing the Noise Robustness of Deep Neural Networks. Adversarial examples, generated by adding small but intentionally imperceptible perturbations to normal examples, can mislead deep neural networks (DNNs) to make incorrect predictions. Although much work has been done on both adversarial attack and defense, a fine grained understanding of adversarial examples is still lacking. To address this issue, we present a visual analysis method to explain why adversarial examples are misclassified. The key is to compare and analyze the datapaths of both the adversarial and normal examples. A datapath is a group of critical neurons along with their connections. We formulate the datapath extraction as a subset selection problem and solve it by constructing and training a neural network. A multi level visualization consisting of a network level visualization of data flows, a layer level visualization of feature maps, and a neuron level visualization of learned features, has been designed to help investigate how datapaths of adversarial and normal examples diverge and merge in the prediction process. A quantitative evaluation and a case study were conducted to demonstrate the promise of our method to explain the misclassification of adversarial examples.


Mitigating Advanced Adversarial Attacks with More Advanced Gradient Obfuscation Techniques. Deep Neural Networks (DNNs) are well known to be vulnerable to Adversarial Examples (AEs). A large amount of efforts have been spent to launch and heat the arms race between the attackers and defenders. Recently, advanced gradient based attack techniques were proposed (e.g., BPDA and EOT), which have defeated a considerable number of existing defense methods. Up to today, there are still no satisfactory solutions that can effectively and efficiently defend against those attacks. In this paper, we make a steady step towards mitigating those advanced gradient based attacks with two major contributions. First, we perform an in depth analysis about the root causes of those attacks, and propose four properties that can break the fundamental assumptions of those attacks. Second, we identify a set of operations that can meet those properties. By integrating these operations, we design two preprocessing functions that can invalidate these powerful attacks. Extensive evaluations indicate that our solutions can effectively mitigate all existing standard and advanced attack techniques, and beat 11 state of the art defense solutions published in top tier conferences over the past 2 years. The defender can employ our solutions to constrain the attack success rate below 7 for the strongest attacks even the adversary has spent dozens of GPU hours.


The Noether charges of all analytic Lagrangians associated with a scale invariant action. Here we consider scale invariant dynamical systems within a classical particle description of Lagrangian mechanics. We begin by showing the condition under which a spatial and temporal scale transformation of such a system can lead to a symmetry by leaving the action unchanged. We then derive the form of all analytic Lagrangians that possess such a symmetry under change of scale. Finally, we write down the Noether charges of all analytic Lagrangians that are associated with a scale invariant action.


Nontransverse heterodimensional cycles stabilisation and robust tangencies. We consider three dimensional diffeomorphisms having simultaneously heterodimensional cycles and heterodimensional tangencies associated to saddle foci. These cycles lead to a completely nondominated bifurcation setting. For every r geqslant 2 , we exhibit a class of such diffeomorphisms whose heterodimensional cycles can be C r stabilised and (simultaneously) approximated by diffeomorphisms with C r robust homoclinic tangencies. The complexity of our nondominated setting with plenty of homoclinic and heteroclinic intersections is used to overcome the difficulty of performing C r perturbations, r geqslant 2 , which are remarkably more difficult than C 1 ones. Our proof is reminiscent of the Palis Takens' approach to get surface diffeomorphisms with infinitely many sinks (Newhouse phenomenon) in the unfolding of homoclinic tangencies of surface diffeomorphisms. This proof involves a scheme of renormalisation along nontransverse heteroclinic orbits converging to a center unstable H 'enon like family displaying blender horseshoes. A crucial step is the analysis of the embeddings of these blender horseshoes in a nondominated context.


Hierarchic Superposition Revisited. Many applications of automated deduction require reasoning in first order logic modulo background theories, in particular some form of integer arithmetic. A major unsolved research challenge is to design theorem provers that are "reasonably complete" even in the presence of free function symbols ranging into a background theory sort. The hierarchic superposition calculus of Bachmair, Ganzinger, and Waldmann already supports such symbols, but, as we demonstrate, not optimally. This paper aims to rectify the situation by introducing a novel form of clause abstraction, a core component in the hierarchic superposition calculus for transforming clauses into a form needed for internal operation. We argue for the benefits of the resulting calculus and provide two new completeness results one for the fragment where all background sorted terms are ground and another one for a special case of linear (integer or rational) arithmetic as a background theory.


Compact Network Training for Person ReID. The task of person re identification (ReID) has attracted growing attention in recent years leading to improved performance, albeit with little focus on real world applications. Most SotA methods are based on heavy pre trained models, e.g. ResNet50 ( 25M parameters), which makes them less practical and more tedious to explore architecture modifications. In this study, we focus on a small sized randomly initialized model that enables us to easily introduce architecture and training modifications suitable for person ReID. The outcomes of our study are a compact network and a fitting training regime. We show the robustness of the network by outperforming the SotA on both Market1501 and DukeMTMC. Furthermore, we show the representation power of our ReID network via SotA results on a different task of multi object tracking.


On The Optimal Number of Reflecting Elements for Reconfigurable Intelligent Surfaces. This work considers a point to point link where a reconfigurable intelligent surface assists the communication between transmitter and receiver. The system rate, energy efficiency, and their trade off are optimized with respect to the number of individually tunable elements of the intelligent surface. The resource allocation accounts for the communication phase and for the overhead due to channel estimation and to reporting the optimized resource allocation to the intelligent surface. Numerical results confirm the optimality of the proposed methods and show the potential gains of reconfigurable intelligent surfaces.


An introduction to Weinstein handlebodies for complements of smoothed toric divisors. In this article, we provide an introduction to an algorithm for constructing Weinstein handlebodies for complements of certain smoothed toric divisors using explicit coordinates and a simple example. This article also serves to welcome newcomers to Weinstein handlebody diagrams and Weinstein Kirby calculus. Finally, we include one complicated example at the end of the article to showcase the algorithm and the types of Weinstein Kirby diagrams it produces.


Air Learning An AI Research Platform for Algorithm Hardware Benchmarking of Autonomous Aerial Robots. We introduce Air Learning, an open source simulator, and a gym environment for deep reinforcement learning research on resource constrained aerial robots. Equipped with domain randomization, Air Learning exposes a UAV agent to a diverse set of challenging scenarios. We seed the toolset with point to point obstacle avoidance tasks in three different environments and Deep Q Networks (DQN) and Proximal Policy Optimization (PPO) trainers. Air Learning assesses the policies' performance under various quality of flight (QoF) metrics, such as the energy consumed, endurance, and the average trajectory length, on resource constrained embedded platforms like a Raspberry Pi. We find that the trajectories on an embedded Ras Pi are vastly different from those predicted on a high end desktop system, resulting in up to 40 longer trajectories in one of the environments. To understand the source of such discrepancies, we use Air Learning to artificially degrade high end desktop performance to mimic what happens on a low end embedded system. We then propose a mitigation technique that uses the hardware in the loop to determine the latency distribution of running the policy on the target platform (onboard compute on the aerial robot). A randomly sampled latency from the latency distribution is then added as an artificial delay within the training loop. Training the policy with artificial delays allows us to minimize the hardware gap (discrepancy in the flight time metric reduced from 37.73 to 0.5 ). Thus, Air Learning with hardware in the loop characterizes those differences and exposes how the onboard compute's choice affects the aerial robot's performance. We also conduct reliability studies to assess the effect of sensor failures on the learned policies. All put together, Air Learning enables a broad class of deep RL research on UAVs. The source code is available at http bit.ly 2JNAVb6.


Prime number theorem for analytic skew products. We establish a prime number theorem for all uniquely ergodic, analytic skew products on the 2 torus mathbb T 2 . More precisely, for every irrational alpha and every 1 periodic real analytic g mathbb R to mathbb R of zero mean, let T alpha,g mathbb T 2 rightarrow mathbb T 2 be defined by (x,y) mapsto (x alpha,y g(x)) . We prove that if T alpha, g is uniquely ergodic then, for every (x,y) in mathbb T 2 , the sequence T alpha, g p(x,y) is equidistributed on mathbb T 2 as p traverses prime numbers. This is the first example of a class of natural, non algebraic and smooth dynamical systems for which a prime number theorem holds. We also show that such a prime number theorem does not necessarily hold if g is only continuous on mathbb T 2 .


Five results on maximizing topological indices in graphs. In this paper, we prove a collection of results on graphical indices. We determine the extremal graphs attaining the maximal generalized Wiener index (e.g. the hyper Wiener index) among all graphs with given matching number or independence number. This generalizes some work of Dankelmann, as well as some work of Chung. We also show alternative proofs for two recents results on maximizing the Wiener index and external Wiener index by deriving it from earlier results. We end with proving two conjectures. We prove that the maximum for the difference of the Wiener index and the eccentricity is attained by the path if the order n is at least 9 and that the maximum weighted Szeged index of graphs of given order is attained by the balanced complete bipartite graphs.


Two phase Stokes flow by capillarity in full 2D space an approach via hydrodynamic potentials. We study the two phase Stokes flow driven by surface tension with two fluids of equal viscosity, separated by an asymptotically flat interface with graph geometry. The flow is assumed to be two dimensional with the fluids filling the entire space. We prove well posedness and parabolic smoothing in Sobolev spaces up to critical regularity. The main technical tools are an analysis of nonlinear singular integral operators arising from the hydrodynamic single layer potential and abstract results on nonlinear parabolic evolution equations.


Inductive Entity Representations from Text via Link Prediction. Knowledge Graphs (KG) are of vital importance for multiple applications on the web, including information retrieval, recommender systems, and metadata annotation. Regardless of whether they are built manually by domain experts or with automatic pipelines, KGs are often incomplete. Recent work has begun to explore the use of textual descriptions available in knowledge graphs to learn vector representations of entities in order to preform link prediction. However, the extent to which these representations learned for link prediction generalize to other tasks is unclear. This is important given the cost of learning such representations. Ideally, we would prefer representations that do not need to be trained again when transferring to a different task, while retaining reasonable performance. In this work, we propose a holistic evaluation protocol for entity representations learned via a link prediction objective. We consider the inductive link prediction and entity classification tasks, which involve entities not seen during training. We also consider an information retrieval task for entity oriented search. We evaluate an architecture based on a pretrained language model, that exhibits strong generalization to entities not observed during training, and outperforms related state of the art methods (22 MRR improvement in link prediction on average). We further provide evidence that the learned representations transfer well to other tasks without fine tuning. In the entity classification task we obtain an average improvement of 16 in accuracy compared with baselines that also employ pre trained models. In the information retrieval task, we obtain significant improvements of up to 8.8 in NDCG 10 for natural language queries. We thus show that the learned representations are not limited KG specific tasks, and have greater generalization properties than evaluated in previous work.


Asymptotics for the sum of three state Markov dependent random variables. The insurance model when the amount of claims depends on the state of the insured person (healthy, ill, or dead) and claims are connected in a Markov chain is investigated. The signed compound Poisson approximation is applied to the aggregate claims distribution after n in mathbb N periods. The accuracy of order O(n 1 ) and O(n 1 2 ) is obtained for the local and uniform norms, respectively. In a particular case, the accuracy of estimates in total variation and non uniform estimates are shown to be at least of order O(n 1 ) . The characteristic function method is used. The results can be applied to estimate the probable loss of an insurer to optimize an insurance premium.


Centrality of mathrm K 2 for Chevalley groups a pro group approach. We prove the centrality of mathrm K 2 ( mathsf F 4, ,R) for an arbitrary commutative ring R . This completes the proof of the centrality of mathrm K 2( Phi, , R) for any root system Phi of rank geq 3 . Our proof uses only elementary localization techniques reformulated in terms of pro groups. Another new result of the paper is the construction of a crossed module on the canonical homomorphism mathrm St ( Phi, R) to mathrm G mathrm sc ( Phi, R) , which has not been known previouly for exceptional Phi .


A Deep Decoder Structure Based on WordEmbedding Regression for An Encoder Decoder Based Model for Image Captioning. Generating textual descriptions for images has been an attractive problem for the computer vision and natural language processing researchers in recent years. Dozens of models based on deep learning have been proposed to solve this problem. The existing approaches are based on neural encoder decoder structures equipped with the attention mechanism. These methods strive to train decoders to minimize the log likelihood of the next word in a sentence given the previous ones, which results in the sparsity of the output space. In this work, we propose a new approach to train decoders to regress the word embedding of the next word with respect to the previous ones instead of minimizing the log likelihood. The proposed method is able to learn and extract long term information and can generate longer fine grained captions without introducing any external memory cell. Furthermore, decoders trained by the proposed technique can take the importance of the generated words into consideration while generating captions. In addition, a novel semantic attention mechanism is proposed that guides attention points through the image, taking the meaning of the previously generated word into account. We evaluate the proposed approach with the MS COCO dataset. The proposed model outperformed the state of the art models especially in generating longer captions. It achieved a CIDEr score equal to 125.0 and a BLEU 4 score equal to 50.5, while the best scores of the state of the art models are 117.1 and 48.0, respectively.


Fokker Planck Boltzmann Model for the Global Electron Velocity Distribution Function Combining Ohmic and Stochastic Heating. Under low collisionality conditions the isotropic part of the electron velocity distribution function in a plasma becomes non local and the electrons can be described by a single global distribution function . This is also the regime required for non local collisonless (stochastic) heating in oscillating and spatially inhomogeneous electric fields. Solution of the Boltzmann equation under these conditions requires usually computationally involving multi dimensional PIC MC simulations. The necessity of multi dimensional simulation arises mainly from the complicated time and space dependence of the collisionless electron heating process. Here it is shown that a time, volume, und solid angle averaged Fokker Planck operator for the interaction of electrons with an external field can replace the local Ohmic heating operator resulting from a two term approximation of the Boltzmann equation. This allows consistent treatment of collisional as well as collisonless heating. This operator combined with the dissipative operators for interaction with neutrals, as resulting from the two term approximation, plus an additional operator for surface losses provide altogether a kinetic description for the determination of the global static and isotropic distribution function of the system. The new operators are relatively easy to integrate in classical local Boltzmann solvers and allow for a fast calculation of the distribution function. As an example, an operator describing non local collisionless as well as collisional heating in inductively coupled plasmas (ICPs) is derived. The resulting distribution function can then be used to calculate rates and moments in a fluid model of the plasma, similarly to the common practice in the local and highly collisional case. A certain limitation of the above concept is the necessity of using pre defined field structures.


Towards the classification of symplectic linear quotient singularities admitting a symplectic resolution. Over the past two decades, there has been much progress on the classification of symplectic linear quotient singularities V G admitting a symplectic (equivalently, crepant) resolution of singularities. The classification is almost complete but there is an infinite series of groups in dimension 4 the symplectically primitive but complex imprimitive groups and 10 exceptional groups up to dimension 10, for which it is still open. In this paper, we treat the remaining infinite series and prove that for all but possibly 39 cases there is no symplectic resolution. We thereby reduce the classification problem to finitely many open cases. We furthermore prove non existence of a symplectic resolution for one exceptional group, leaving 39 9 48 open cases in total. We do not expect any of the remaining cases to admit a symplectic resolution.


A Mann iterative regularization method for elliptic Cauchy problems. We investigate the Cauchy problem for linear elliptic operators with C infty coefficients at a regular set Omega subset R 2 , which is a classical example of an ill posed problem. The Cauchy data are given at the manifold Gamma subset partial Omega and our goal is to reconstruct the trace of the H 1( Omega) solution of an elliptic equation at partial Omega Gamma . The method proposed here composes the segmenting Mann iteration with a fixed point equation associated with the elliptic Cauchy problem. Our algorithm generalizes the iterative method developed by Maz'ya et al., who proposed a method based on solving successive well posed mixed boundary value problems. We analyze the regularizing and convergence properties both theoretically and numerically.


Robust and Secure Communications in Intelligent Reflecting Surface Assisted NOMA networks. This letter investigates secure transmission in an intelligent reflecting surface (IRS) assisted non orthogonal multiple access (NOMA) network. Consider a practical eavesdropping scenario with imperfect channel state information of the eavesdropper, we propose a robust beamforming scheme using artificial noise to guarantee secure NOMA transmission with the IRS. A joint transmit beamforming and IRS phase shift optimization problem is formulated to minimize the transmit power. Since the problem is non convex and challenging to resolve, we develop an effective alternative optimization (AO) algorithm to obtain stationary point solutions. Simulation results validate the security advantage of the robust beamforming scheme and the effectiveness of the AO algorithm.


Effect of Stark shift on low energy interference structure in strong field ionization. An improved quantum trajectory Monte Carlo method involving the Stark shift of the initial state, Coulomb potential, and multielectron polarization induced dipole potential is used to revisit the origin of the low energy interference structure in the photoelectron momentum distribution of the xenon atom subjected to an intense laser field, and resolve the different contributions of these three effects. In addition to the well studied radial finger like interference structure, a ring like interference structure induced by interference among electron wave packets emitted from multi cycle time windows of the laser field is found in the low energy part of the photoelectron momentum spectrum. It is attributed to the combined effect of the Coulomb potential and Stark shift. Our finding provides new insight into the imaging of electron dynamics of atoms and molecules with intense laser fields.


Privug Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis. Disclosure of data analytics results has important scientific and commercial justifications. However, no data shall be disclosed without a diligent investigation of risks for privacy of subjects. Privug is a tool supported method to explore information leakage properties of data analytics and anonymization programs. In Privug, we reinterpret a program probabilistically, using off the shelf tools for Bayesian inference to perform information theoretic analysis of the information flow. For privacy researchers, Privug provides a fast, lightweight way to experiment with privacy protection measures and mechanisms. We show that Privug is accurate, scalable, and applicable to a range of leakage analysis scenarios.


Asymptotically Optimal and Near optimal Aperiodic Quasi Complementary Sequence Sets Based on Florentine Rectangles. Quasi complementary sequence sets (QCSSs) can be seen as a generalized version of complete complementary codes (CCCs), which enables multicarrier communication systems to support more users. The contribution of this work is two fold. First, we propose a systematic construction of Florentine rectangles. Secondly, we propose several sets of CCCs and QCSS, using Florentine rectangles. The CCCs and QCSS are constructed over mathbb Z N , where N geq2 is any integer. The cross correlation magnitude of any two of the constructed CCCs is upper bounded by N . By combining the proposed CCCs, we propose asymptotically optimal and near optimal QCSSs with new parameters. This solves a long standing problem, of designing asymptotically optimal aperiodic QCSS over mathbb Z N , where N is any integer.


New Expander Bounds from Affine Group Energy. The purpose of this article is to further explore how the structure of the affine group can be used to deduce new incidence theorems, and to explore sum product type applications of these incidence bounds, building on the recent work of Rudnev and Shkredov. We bound the energy of several systems of lines, in some cases obtaining a better energy bound than the corresponding bounds obtained by Rudnev and Shkredov by exploiting a connection with collinear quadruples. Our motivation for seeking to generalise and improve the incidence bound obtained by Rudnev and Shkredov comes from possible applications to sum product problems. For example, we prove that, for any finite A subset mathbb R the following superquadratic bound holds left left frac ab cd a c a,b,c,d in A right right gg A 2 frac 1 14 . This improves the previously known bound with exponent 2 . We also give a threshold beating asymmetric sum product estimate for sets with small sum set by proving that there exists a positive constant c such that for all finite A,B subset mathbb R , A A ll K A Rightarrow AB gg K A B 1 2 c .


Tsunami A Learned Multi dimensional Index for Correlated Data and Skewed Workloads. Filtering data based on predicates is one of the most fundamental operations for any modern data warehouse. Techniques to accelerate the execution of filter expressions include clustered indexes, specialized sort orders (e.g., Z order), multi dimensional indexes, and, for high selectivity queries, secondary indexes. However, these schemes are hard to tune and their performance is inconsistent. Recent work on learned multi dimensional indexes has introduced the idea of automatically optimizing an index for a particular dataset and workload. However, the performance of that work suffers in the presence of correlated data and skewed query workloads, both of which are common in real applications. In this paper, we introduce Tsunami, which addresses these limitations to achieve up to 6X faster query performance and up to 8X smaller index size than existing learned multi dimensional indexes, in addition to up to 11X faster query performance and 170X smaller index size than optimally tuned traditional indexes.


Novel View Synthesis from Single Images via Point Cloud Transformation. In this paper the argument is made that for true novel view synthesis of objects, where the object can be synthesized from any viewpoint, an explicit 3D shape representation isdesired. Our method estimates point clouds to capture the geometry of the object, which can be freely rotated into the desired view and then projected into a new image. This image, however, is sparse by nature and hence this coarse view is used as the input of an image completion network to obtain the dense target view. The point cloud is obtained using the predicted pixel wise depth map, estimated from a single RGB input image,combined with the camera intrinsics. By using forward warping and backward warpingbetween the input view and the target view, the network can be trained end to end without supervision on depth. The benefit of using point clouds as an explicit 3D shape for novel view synthesis is experimentally validated on the 3D ShapeNet benchmark. Source code and data will be available at https lhoangan.github.io pc4novis .


Adaptation Across Extreme Variations using Unlabeled Domain Bridges. We tackle an unsupervised domain adaptation problem for which the domain discrepancy between labeled source and unlabeled target domains is large, due to many factors of inter and intra domain variation. While deep domain adaptation methods have been realized by reducing the domain discrepancy, these are difficult to apply when domains are significantly unalike. In this work, we propose to decompose domain discrepancy into multiple but smaller, and thus easier to minimize, discrepancies by introducing unlabeled bridging domains that connect the source and target domains. We realize our proposal through an extension of the domain adversarial neural network with multiple discriminators, each of which accounts for reducing discrepancies between unlabeled (bridge, target) domains and a mix of all precedent domains including source. We validate the effectiveness of our method on several adaptation tasks including object recognition and semantic segmentation.


An integer programming approach for solving a generalized version of the Grundy domination number. A sequence of vertices in a graph is called a legal dominating sequence if every vertex in the sequence dominates at least one vertex not dominated by those that precede it, and at the end all vertices of the graph are dominated. The Grundy domination number of a graph is the size of a largest legal dominating sequence. In this work, we introduce a generalized version of the Grundy domination problem. We explicitly calculate the corresponding parameter for paths and web graphs. We propose integer programming formulations for the new problem, find families of valid inequalities and perform extensive computational experiments to compare the formulations as well as to test these inequalities as cuts in a branch and cut framework. We also design and evaluate the performance of a heuristic for finding good initial lower and upper bounds and a tabu search that improves the initial lower bound. The test instances include randomly generated graphs, structured graphs, classical benchmark instances and two instances from a real application. Our approach is exact for graphs with 20 50 vertices and provides good solutions for graphs up to 10000 vertices.


Learn to Predict Vertical Track Irregularity with Extremely Imbalanced Data. Railway systems require regular manual maintenance, a large part of which is dedicated to inspecting track deformation. Such deformation might severely impact trains' runtime security, whereas such inspections remain costly for both finance and human resources. Therefore, a more precise and efficient approach to detect railway track deformation is in urgent need. In this paper, we showcase an application framework for predicting vertical track irregularity, based on a real world, large scale dataset produced by several operating railways in China. We have conducted extensive experiments on various machine learning ensemble learning algorithms in an effort to maximize the model's capability in capturing any irregularity. We also proposed a novel approach for handling imbalanced data in multivariate time series prediction tasks with adaptive data sampling and penalized loss. Such an approach has proven to reduce models' sensitivity to the imbalanced target domain, thus improving its performance in predicting rare extreme values.


Resurrecting Submodularity for Neural Text Generation. Submodularity is desirable for a variety of objectives in content selection where the current neural encoder decoder framework is inadequate. However, it has so far not been explored in the neural encoder decoder system for text generation. In this work, we define diminishing attentions with submodular functions and in turn, prove the submodularity of the effective neural coverage. The greedy algorithm approximating the solution to the submodular maximization problem is not suited to attention score optimization in auto regressive generation. Therefore instead of following how submodular function has been widely used, we propose a simplified yet principled solution. The resulting attention module offers an architecturally simple and empirically effective method to improve the coverage of neural text generation. We run experiments on three directed text generation tasks with different levels of recovering rate, across two modalities, three different neural model architectures and two training strategy variations. The results and analyses demonstrate that our method generalizes well across these settings, produces texts of good quality and outperforms state of the art baselines.


Ekya Continuous Learning of Video Analytics Models on Edge Compute Servers. Video analytics applications use edge compute servers for the analytics of the videos (for bandwidth and privacy). Compressed models that are deployed on the edge servers for inference suffer from data drift, where the live video data diverges from the training data. Continuous learning handles data drift by periodically retraining the models on new data. Our work addresses the challenge of jointly supporting inference and retraining tasks on edge servers, which requires navigating the fundamental tradeoff between the retrained model's accuracy and the inference accuracy. Our solution Ekya balances this tradeoff across multiple models and uses a micro profiler to identify the models that will benefit the most by retraining. Ekya's accuracy gain compared to a baseline scheduler is 29 higher, and the baseline requires 4x more GPU resources to achieve the same accuracy as Ekya.


Gaps between totients. We study the set D of positive integers d for which the equation phi(a) phi(b) d has infinitely many solution pairs (a,b), where phi is Euler's totient function. We show that the minumum of D is at most 154, exhibit a specific A so that every multiple of A is in D, and show that any progression a mod d with 4 a and 4 d, contains infinitely many elements of D. We also show that the Generalized Elliott Halberstam Conjecture, as defined in 6 , implies that D equals the set of all positive, even integers.


A Study of the Tasks and Models in Machine Reading Comprehension. To provide a survey on the existing tasks and models in Machine Reading Comprehension (MRC), this report reviews 1) the dataset collection and performance evaluation of some representative simple reasoning and complex reasoning MRC tasks 2) the architecture designs, attention mechanisms, and performance boosting approaches for developing neural network based MRC models 3) some recently proposed transfer learning approaches to incorporating text style knowledge contained in external corpora into the neural networks of MRC models 4) some recently proposed knowledge base encoding approaches to incorporating graph style knowledge contained in external knowledge bases into the neural networks of MRC models. Besides, according to what has been achieved and what are still deficient, this report also proposes some open problems for the future research.


Proceedings 35th International Conference on Logic Programming (Technical Communications). Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to Foundations Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta programming, Logic based domain specific languages, Programming Techniques. Declarative programming Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization Implementation Virtual machines, Compilation, Memory management, Parallel distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies Inductive and Co inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object oriented and Functional programming. Applications Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics.


Learning Personalized Models of Human Behavior in Chess. Even when machine learning systems surpass human ability in a domain, there are many reasons why AI systems that capture human like behavior would be desirable humans may want to learn from them, they may need to collaborate with them, or they may expect them to serve as partners in an extended interaction. Motivated by this goal of human like AI systems, the problem of predicting human actions as opposed to predicting optimal actions has become an increasingly useful task. We extend this line of work by developing highly accurate personalized models of human behavior in the context of chess. Chess is a rich domain for exploring these questions, since it combines a set of appealing features AI systems have achieved superhuman performance but still interact closely with human chess players both as opponents and preparation tools, and there is an enormous amount of recorded data on individual players. Starting with an open source version of AlphaZero trained on a population of human players, we demonstrate that we can significantly improve prediction of a particular player's moves by applying a series of fine tuning adjustments. Furthermore, we can accurately perform stylometry predicting who made a given set of actions indicating that our personalized models capture human decision making at an individual level.


SSHFD Single Shot Human Fall Detection with Occluded Joints Resilience. Falling can have fatal consequences for elderly people especially if the fallen person is unable to call for help due to loss of consciousness or any injury. Automatic fall detection systems can assist through prompt fall alarms and by minimizing the fear of falling when living independently at home. Existing vision based fall detection systems lack generalization to unseen environments due to challenges such as variations in physical appearances, different camera viewpoints, occlusions, and background clutter. In this paper, we explore ways to overcome the above challenges and present Single Shot Human Fall Detector (SSHFD), a deep learning based framework for automatic fall detection from a single image. This is achieved through two key innovations. First, we present a human pose based fall representation which is invariant to appearance characteristics. Second, we present neural network models for 3d pose estimation and fall recognition which are resilient to missing joints due to occluded body parts. Experiments on public fall datasets show that our framework successfully transfers knowledge of 3d pose estimation and fall recognition learnt purely from synthetic data to unseen real world data, showcasing its generalization capability for accurate fall detection in real world scenarios.


Isometric copies of ell infty n and ell 1 n in transportation cost spaces on finite metric spaces. Main results (a) If a metric space contains 2n elements, the transportation cost space on it contains a 1 complemented isometric copy of ell 1 n . (b) An example of a finite metric space whose transportation cost space contains an isometric copy of ell infty 4 . Transportation cost spaces are also known as Arens Eells, Lipschitz free, or Wasserstein 1 spaces.


Lagrangian dynamics by nonlocal constants of motion. A simple general theorem is used as a tool that generates nonlocal constants of motion for Lagrangian systems. We review some cases where the constants that we find are useful in the study of the systems the homogeneous potentials of degree 2 , the mechanical systems with viscous fluid resistance and the conservative and dissipative Maxwell Bloch equations of laser dynamics. We also prove a new result on explosion in the past for mechanical system with hydraulic (quadratic) fluid resistance and bounded potential.


Hybrid Interest Modeling for Long tailed Users. User behavior modeling is a key technique for recommender systems. However, most methods focus on head users with large scale interactions and hence suffer from data sparsity issues. Several solutions integrate side information such as demographic features and product reviews, another is to transfer knowledge from other rich data sources. We argue that current methods are limited by the strict privacy policy and have low scalability in real world applications and few works consider the behavioral characteristics behind long tailed users. In this work, we propose the Hybrid Interest Modeling (HIM) network to hybrid both personalized interest and semi personalized interest in learning long tailed users' preferences in the recommendation. To achieve this, we first design the User Behavior Pyramid (UBP) module to capture the fine grained personalized interest of high confidence from sparse even noisy positive feedbacks. Moreover, the individual interaction is too sparse and not enough for modeling user interest adequately, we design the User Behavior Clustering (UBC) module to learn latent user interest groups with self supervised learning mechanism novelly, which capture coarse grained semi personalized interest from group item interaction data. Extensive experiments on both public and industrial datasets verify the superiority of HIM compared with the state of the art baselines.


An Open Source Solution for Smart Contract based Parking. This paper discusses an open source solution to smart parking in highly urbanized areas. Interviews have been conducted with domain experts, user stories defined and a system architecture has been proposed with a case study. Our solution allows independent owners of parking space to be integrated into one unified system, that facilitates the parking situation in a smart city. The utilization of such a system raises the issues of trust and transparency among several actors of the parking process. In order to tackle those, we propose a smart contract based solution, that brings in trust by encapsulating sensitive relations and processes into transparent and distributed smart contracts.


On the commutativity of flows of rough vector fields. In the class of Sobolev vector fields in mathbb R n of bounded divergence, for which the theory of DiPerna and Lions provides a well defined notion of flow, we characterize the vector fields whose flow commute in terms of the Lie bracket and of a regularity condition on the flows themselves. This extends a classical result of Frobenius in the smooth setting.


Artificial intelligence for elections the case of 2019 Argentina primary and presidential election. We use a method based on machine learning, big data analytics, and network theory to process millions of messages posted in Twitter to predict election outcomes. The model has achieved accurate results in the current Argentina primary presidential election on August 11, 2019 by predicting the large difference win of candidate Alberto Fernandez over president Mauricio Macri a result that none of the traditional pollsters in that country was able to predict, and has led to a major bond market collapse. We apply the model to the upcoming Argentina presidential election on October 27, 2019 yielding the following results Fernandez 47.5 , Macri 30.9 and third party 21.6 . Our method improves over traditional polling methods which are based on direct interactions with small number of individuals that are plagued by ever declining response rates, currently falling in the low single digits. They provide a reliable polling method that can be applied not only to predict elections but to discover any trend in society, for instance, what people think about climate change, politics or education.


Enumeration of Permutation Classes and Weighted Labelled Independent Sets. In this paper, we study the staircase encoding of permutations, which maps a permutation to a staircase grid with cells filled with permutations. We consider many cases, where restricted to a permutation class, the staircase encoding becomes a bijection to its image. We describe the image of those restrictions using independent sets of graphs weighted with permutations. We derive the generating function for the independent sets and then for their weighted counterparts. The bijections we establish provide the enumeration of permutation classes. We use our results to uncover some unbalanced Wilf equivalences of permutation classes and outline how to do random sampling in the permutation classes. In particular, we cover the classes mathrm Av (2314,3124) , mathrm Av (2413,3142) , mathrm Av (2413,3124) , mathrm Av (2413,2134) and mathrm Av (2314,2143) , as well as many subclasses.


A Solution for Dynamic Spectrum Management in Mission Critical UAV Networks. In this paper, we study the problem of spectrum scarcity in a network of unmanned aerial vehicles (UAVs) during mission critical applications such as disaster monitoring and public safety missions, where the pre allocated spectrum is not sufficient to offer a high data transmission rate for real time video streaming. In such scenarios, the UAV network can lease part of the spectrum of a terrestrial licensed network in exchange for providing relaying service. In order to optimize the performance of the UAV network and prolong its lifetime, some of the UAVs will function as a relay for the primary network while the rest of the UAVs carry out their sensing tasks. Here, we propose a team reinforcement learning algorithm performed by the UAV's controller unit to determine the optimum allocation of sensing and relaying tasks among the UAVs as well as their relocation strategy at each time. We analyze the convergence of our algorithm and present simulation results to evaluate the system throughput in different scenarios.


On the importance of pre training data volume for compact language models. Recent advances in language modeling have led to computationally intensive and resource demanding state of the art models. In an effort towards sustainable practices, we study the impact of pre training data volume on compact language models. Multiple BERT based models are trained on gradually increasing amounts of French text. Through fine tuning on the French Question Answering Dataset (FQuAD), we observe that well performing models are obtained with as little as 100 MB of text. In addition, we show that past critically low amounts of pre training data, an intermediate pre training step on the task specific corpus does not yield substantial improvements.


Polygonal Quivers. We show that Fano lattice polygons define a class of balanced quivers with interesting properties. The combinatorics of these quivers is related to singularities of the underlying toric Fano surface. This allows us to show that every Fano polygon defines a point on a certain family of algebraic hypersurfaces. Our quivers admit a generalized mutation which preserves balancing and coincides with combinatorial mutation of Fano polygons whenever both operations are defined. We characterize balanced quivers arising from Fano polygons and discuss generalizations to higher dimensions.


Faster and Accurate Compressed Video Action Recognition Straight from the Frequency Domain. Human action recognition has become one of the most active field of research in computer vision due to its wide range of applications, like surveillance, medical, industrial environments, smart homes, among others. Recently, deep learning has been successfully used to learn powerful and interpretable features for recognizing human actions in videos. Most of the existing deep learning approaches have been designed for processing video information as RGB image sequences. For this reason, a preliminary decoding process is required, since video data are often stored in a compressed format. However, a high computational load and memory usage is demanded for decoding a video. To overcome this problem, we propose a deep neural network capable of learning straight from compressed video. Our approach was evaluated on two public benchmarks, the UCF 101 and HMDB 51 datasets, demonstrating comparable recognition performance to the state of the art methods, with the advantage of running up to 2 times faster in terms of inference speed.


Metabelian groups full rank presentations, randomness and Diophantine problems. We study metabelian groups G given by full rank finite presentations langle A mid R rangle mathcal M in the variety mathcal M of metabelian groups. We prove that G is a product of a free metabelian subgroup of rank max 0, A R and a virtually abelian normal subgroup, and that if R leq A 2 then the Diophantine problem of G is undecidable, while it is decidable if R geq A . We further prove that if R leq A 1 then in any direct decomposition of G all, but one, factors are virtually abelian. Since finite presentations have full rank asymptotically almost surely, finitely presented metabelian groups satisfy all the aforementioned properties asymptotically almost surely.


Globular bundles and entangled network of proteins (CorA) by a coarse grained Monte Carlo simulation. Using a coarse grained model, self organized assembly of proteins (e.g. CorA and its inner segment iCorA) is studied by examining quantities such as contact profile, radius of gyration, and structure factor as a function of protein concentration at a range of low (native phase) to high (denature phase) temperatures. Visual inspections show distinct structures, i.e. isolated globular bundles to entangled network on multiple length scales in dilute to crowded protein concentrations. In native phase, the radius of gyration of the protein does not vary much with the protein concentration while that of its inner segment increases systematically. In contrast, the radius of gyration of the protein shows enormous growth with the concentration due to entanglement while that of the inner segment remains almost constant in denatured phase. The multi scale morphology of the collective assembly is quantified by estimating the effective dimension D of protein from scaling of the structure factor collective assembly from inner segments remains globular (D aroud 3) at almost all length scales in its native phase while that from protein chains shows sparsely distributed morphology with D around 2 in entire temperature range due to entanglement except in crowded environment at low temperature where D around 2.6. Higher morphological response of chains with only the inner segments due to selective interactions in its native phase may be more conducive to self organizing mechanism than that of the remaining segments of the protein chains.


Rigidity phenomena on lower N weighted Ricci curvature bounds with varepsilon range for non symmetric Laplacian. Lu Minguzzi Ohta have introduced the notion of a lower N weighted Ricci curvature bound with varepsilon range, and derived several comparison geometric estimates from a Laplacian comparison theorem for weighted Laplacian. The aim of this paper is to investigate various rigidity phenomena for the equality case of their comparison geometric results. We will obtain rigidity results concerning the Laplacian comparison theorem, diameter comparisons, and volume comparisons. We also generalize their works for non symmetric Laplacian induced from vector field potential.


Discontinuous Galerkin method for blow up solutions of nonlinear 1D wave equations. We develop and study a time space discrete discontinuous Galerkin finite elements method to approximate the solution of one dimensional nonlinear wave equations. We show that the numerical scheme is stable if a nonuniform time mesh is considered. We also investigate the blow up phenomena and we prove that under weak convergence assumptions, the numerical blow up time tends toward the theoretical one. The validity of our results is confirmed throughout several numerical examples and benchmarks.


Gourds a sliding block puzzle with turning. We propose a new kind of sliding block puzzle, called Gourds, where the objective is to rearrange 1 x 2 pieces on a hexagonal grid board of 2n 1 cells with n pieces, using sliding, turning and pivoting moves. This puzzle has a single empty cell on a board and forms a natural extension of the 15 puzzle to include rotational moves. We analyze the puzzle and completely characterize the cases when the puzzle can always be solved. We also study the complexity of determining whether a given set of colored pieces can be placed on a colored hexagonal grid board with matching colors. We show this problem is NP complete for arbitrarily many colors, but solvable in randomized polynomial time if the number of colors is a fixed constant.


On Learning Disentangled Representations for Gait Recognition. Gait, the walking pattern of individuals, is one of the important biometrics modalities. Most of the existing gait recognition methods take silhouettes or articulated body models as gait features. These methods suffer from degraded recognition performance when handling confounding variables, such as clothing, carrying and viewing angle. To remedy this issue, we propose a novel AutoEncoder framework, GaitNet, to explicitly disentangle appearance, canonical and pose features from RGB imagery. The LSTM integrates pose features over time as a dynamic gait feature while canonical features are averaged as a static gait feature. Both of them are utilized as classification features. In addition, we collect a Frontal View Gait (FVG) dataset to focus on gait recognition from frontal view walking, which is a challenging problem since it contains minimal gait cues compared to other views. FVG also includes other important variations, e.g., walking speed, carrying, and clothing. With extensive experiments on CASIA B, USF, and FVG datasets, our method demonstrates superior performance to the SOTA quantitatively, the ability of feature disentanglement qualitatively, and promising computational efficiency. We further compare our GaitNet with state of the art face recognition to demonstrate the advantages of gait biometrics identification under certain scenarios, e.g., long distance lower resolutions, cross viewing angles.


On computation of basis of p adic logarithm. In this work we have computed the basis of 2 adic logarithm as mathbb Z p module for the 7 quadratic extensions of mathbb Q 2 .


Deep Lesion Tracker Monitoring Lesions in 4D Longitudinal Imaging Studies. Monitoring treatment response in longitudinal studies plays an important role in clinical practice. Accurately identifying lesions across serial imaging follow up is the core to the monitoring procedure. Typically this incorporates both image and anatomical considerations. However, matching lesions manually is labor intensive and time consuming. In this work, we present deep lesion tracker (DLT), a deep learning approach that uses both appearance and anatomical based signals. To incorporate anatomical constraints, we propose an anatomical signal encoder, which prevents lesions being matched with visually similar but spurious regions. In addition, we present a new formulation for Siamese networks that avoids the heavy computational loads of 3D cross correlation. To present our network with greater varieties of images, we also propose a self supervised learning (SSL) strategy to train trackers with unpaired images, overcoming barriers to data collection. To train and evaluate our tracker, we introduce and release the first lesion tracking benchmark, consisting of 3891 lesion pairs from the public DeepLesion database. The proposed method, DLT, locates lesion centers with a mean error distance of 7 mm. This is 5 better than a leading registration algorithm while running 14 times faster on whole CT volumes. We demonstrate even greater improvements over detector or similarity learning alternatives. DLT also generalizes well on an external clinical test set of 100 longitudinal studies, achieving 88 accuracy. Finally, we plug DLT into an automatic tumor monitoring workflow where it leads to an accuracy of 85 in assessing lesion treatment responses, which is only 0.46 lower than the accuracy of manual inputs.


Debiasing Community Detection The Importance of Lowly Connected Nodes. Community detection is an important task in social network analysis, allowing us to identify and understand the communities within the social structures. However, many community detection approaches either fail to assign low degree (or lowly connected) users to communities, or assign them to trivially small communities that prevent them from being included in analysis. In this work, we investigate how excluding these users can bias analysis results. We then introduce an approach that is more inclusive for lowly connected users by incorporating them into larger groups. Experiments show that our approach outperforms the existing state of the art in terms of F1 and Jaccard similarity scores while reducing the bias towards low degree users.


Convergence of Deep Fictitious Play for Stochastic Differential Games. Stochastic differential games have been used extensively to model agents' competitions in Finance, for instance, in P2P lending platforms from the Fintech industry, the banking system for systemic risk, and insurance markets. The recently proposed machine learning algorithm, deep fictitious play, provides a novel efficient tool for finding Markovian Nash equilibrium of large N player asymmetric stochastic differential games J. Han and R. Hu, Mathematical and Scientific Machine Learning Conference, pages 221 245, PMLR, 2020 . By incorporating the idea of fictitious play, the algorithm decouples the game into N sub optimization problems, and identifies each player's optimal strategy with the deep backward stochastic differential equation (BSDE) method parallelly and repeatedly. In this paper, we prove the convergence of deep fictitious play (DFP) to the true Nash equilibrium. We can also show that the strategy based on DFP forms an eps Nash equilibrium. We generalize the algorithm by proposing a new approach to decouple the games, and present numerical results of large population games showing the empirical convergence of the algorithm beyond the technical assumptions in the theorems.


Flexible, Decentralized Access Control for Smart Buildings with Smart Contracts. Large commercial buildings are complex cyber physical systems containing expensive and critical equipment that ensure the safety and comfort of their numerous occupants. Yet occupant and visitor access to spaces and equipment within these buildings are still managed through unsystematic, inefficient, and human intensive processes. As a standard practice, long term building occupants are given access privileges to rooms and equipment based on their organizational roles, while visitors have to be escorted by their hosts. This approach is conservative and inflexible. In this paper, we describe a methodology that can flexibly and securely manage building access privileges for long term occupants and short term visitors alike, taking into account the risk associated with accessing each space within the building. Our methodology relies on blockchain smart contracts to describe, grant, audit, and revoke fine grained permissions for building occupants and visitors, in a decentralized fashion. The smart contracts are specified through a process that leverages the information compiled from Brick and BOT models of the building. We illustrate the proposed method through a typical application scenario in the context of a real office building and argue that it can greatly reduce the administration overhead, while, at the same time, providing fine grained, auditable access control.


Ergodicity and equidistribution in strictly convex Hilbert geometry. In this paper we show that dynamical and counting results characteristic of negatively curved Riemannian geometry, or more generally CAT( 1) or rank one CAT(0) spaces, also hold for geometrically finite strictly convex projective structures equipped with their Hilbert metric. More specifically, such structures admit a finite Sullivan measure with respect to this measure, the Hilbert geodesic flow is strongly mixing, and orbits and primitive closed geodesics equidistribute, allowing us to asymptotically enumerate these objects.


Special Affine Wavelet Transforms and the Corresponding Poisson Summation Formula. The special affine Fourier transform (SAFT) is a promising tool for analyzing non stationary signals with more degrees of freedom. However, the SAFT fails in obtaining the local features of non transient signals due to its global kernel and thereby make SAFT incompetent in situations demanding joint information of time and frequency. To circumvent this limitation, we propose a highly flexible time frequency transform namely, the special affine wavelet transform (SAWT) and investigate the associated constant Q property in the joint time frequency domain. The basic properties of the proposed transform such as Rayleigh's theorem, inversion formula and characterization of the range are discussed using the machinery of special affine Fourier transforms and operator theory. Besides this, the discrete counterpart of SAWT is also discussed and the corresponding reconstruction formula is obtained. Moreover, we also drive a direct relationship between the well known special affine Wigner distribution and the proposed transform. This is followed by introducing a new kind of wave packet transform associated with the special affine Fourier transform. Towards the end, an analogue of the Poisson summation formula for the proposed special affine wavelet transform is derived.


Thousands of reactants and transition states for competing E2 and S text N 2 reactions. Reaction barriers are a crucial ingredient for first principles based computational retro synthesis efforts as well as for comprehensive reactivity assessments throughout chemical compound space. While extensive databases of experimental results exist, modern quantum machine learning applications require atomistic details which can only be obtained from quantum chemistry protocols. For competing E2 and S text N 2 reaction channels we report 4'466 transition state and 143'200 reactant complex geometries and energies at respective MP2 6 311G(d) and single point DF LCCSD cc pVTZ level of theory covering the chemical compound space spanned by the substituents NO 2 , CN, CH 3 , and NH 2 and early halogens (F, Cl, Br) as nucleophiles and leaving groups. Reactants are chosen such that the activation energy of the competing E2 and S text N 2 reactions are of comparable magnitude. The correct concerted motion for each of the one step reactions has been validated for all transition states. We demonstrate how quantum machine learning models can support data set extension, and discuss the distribution of key internal coordinates of the transition states.


Higher Spherical Algebras. We introduce and study higher spherical algebras, an exotic family of finite dimensional algebras over an algebraically closed field. We prove that every such an algebra is derived equivalent to a higher tetrahedral algebra studied in 7 , an hence that it is a tame symmetric periodic algebra of period four.


Polar actions on Damek Ricci spaces. A proper isometric Lie group action on a Riemannian manifold is called polar if there exists a closed connected submanifold which meets all orbits orthogonally. In this article we study polar actions on Damek Ricci spaces. We prove criteria for isometric actions on Damek Ricci spaces to be polar, find examples and give some partial classifications of polar actions on Damek Ricci spaces. In particular, we show that non trivial polar actions exist on all Damek Ricci spaces.


Dynamical height growth left, right, and total orbits. Let S be a set of dominant rational self maps on mathbb P N . We study the arithmetic and dynamical degrees of infinite sequences of S obtained by sequentially composing elements of S on the right and left. We then apply this insight to dynamical Galois theory.


Stochastic Differential Games with Random Coefficients and Stochastic Hamilton Jacobi Bellman Isaacs Equations. In this paper, we study a class of zero sum two player stochastic differential games with the controlled stochastic differential equations and the payoff cost functionals of recursive type. As opposed to the pioneering work by Fleming and Souganidis Indiana Univ. Math. J., 38 (1989), pp. 293 314 and the seminal work by Buckdahn and Li SIAM J. Control Optim., 47 (2008), pp. 444 475 , the involved coefficients may be random, going beyond the Markovian framework and leading to the random upper and lower value functions. We first prove the dynamic programming principle for the game, and then under the standard Lipschitz continuity assumptions on the coefficients, the upper and lower value functions are shown to be the viscosity solutions of the upper and the lower fully nonlinear stochastic Hamilton Jacobi Bellman Isaacs (HJBI) equations, respectively. A stability property of viscosity solutions is also proved. Under certain additional regularity assumptions on the diffusion coefficient, the uniqueness of the viscosity solution is addressed as well.


Holomorphic curves in Base Spaces of Families of Polarized Manifolds. For a smooth family V to U of polarized manifolds with semi ample canonical sheaves, we show the following result any entire curve must be contained in the fibers of the classifying map from the base space U to the moduli space. This settles the Relative Isotriviality Conjecture, cite Conjecture 1.5 DLSZ .


Pushing Software Defined Blockchain Components onto Edge Hosts. With the advent of blockchain technology, some management tasks of IoT networks can be moved from central systems to distributed validation authorities. Cloud centric blockchain implementations for IoT have shown satisfactory performance. However, some features of blockchain are not necessary for IoT. For instance, a competitive consensus. This research presents the idea of customizing and encapsulating the features of blockchain into software defined components to host them on edge devices. Thus, blockchain resources can be provisioned by edge devices (e miners) working together closer to the things layer in a cooperative manner. This research uses Edison SoC as e miners to test the software defined blockchain components.


Meta Learning with Differentiable Convex Optimization. Many meta learning approaches for few shot learning rely on simple base learners such as nearest neighbor classifiers. However, even in the few shot regime, discriminatively trained linear predictors can offer better generalization. We propose to use these predictors as base learners to learn representations for few shot learning and show they offer better tradeoffs between feature size and performance across a range of few shot recognition benchmarks. Our objective is to learn feature embeddings that generalize well under a linear classification rule for novel categories. To efficiently solve the objective, we exploit two properties of linear classifiers implicit differentiation of the optimality conditions of the convex problem and the dual formulation of the optimization problem. This allows us to use high dimensional embeddings with improved generalization at a modest increase in computational overhead. Our approach, named MetaOptNet, achieves state of the art performance on miniImageNet, tieredImageNet, CIFAR FS, and FC100 few shot learning benchmarks. Our code is available at https github.com kjunelee MetaOptNet.


A Free Lunch for Unsupervised Domain Adaptive Object Detection without Source Data. Unsupervised domain adaptation (UDA) assumes that source and target domain data are freely available and usually trained together to reduce the domain gap. However, considering the data privacy and the inefficiency of data transmission, it is impractical in real scenarios. Hence, it draws our eyes to optimize the network in the target domain without accessing labeled source data. To explore this direction in object detection, for the first time, we propose a source data free domain adaptive object detection (SFOD) framework via modeling it into a problem of learning with noisy labels. Generally, a straightforward method is to leverage the pre trained network from the source domain to generate the pseudo labels for target domain optimization. However, it is difficult to evaluate the quality of pseudo labels since no labels are available in target domain. In this paper, self entropy descent (SED) is a metric proposed to search an appropriate confidence threshold for reliable pseudo label generation without using any handcrafted labels. Nonetheless, completely clean labels are still unattainable. After a thorough experimental analysis, false negatives are found to dominate in the generated noisy labels. Undoubtedly, false negatives mining is helpful for performance improvement, and we ease it to false negatives simulation through data augmentation like Mosaic. Extensive experiments conducted in four representative adaptation tasks have demonstrated that the proposed framework can easily achieve state of the art performance. From another view, it also reminds the UDA community that the labeled source data are not fully exploited in the existing methods.


Moduli of stable maps with fields. We construct a moduli space of stable maps with fields associated to a triple (X,E,s) of a projective variety (or a DM stack with projective moduli space) a vector bundle and a section. We show the class coincides up to a sign with the virtual fundamental class on the moduli space of stable maps to Z Z(s) subset X . We show that this gives a generalization of the Quantum Lefschetz hyperplane principle. This generalizes similar comparison results of Chang Li, Kim Oh and Chang Li and presents a different approach from Chen Janda Webb.


Infnote A Decentralized Information Sharing Platform Based on Blockchain. Internet censorship has been implemented in several countries to prevent citizens from accessing information and to suppress discussion of specific topics. This paper presents Infnote, a platform that helps eliminate the problem of sharing content in these censorship regimes. Infnote is a decentralized information sharing system based on blockchain and peer to peer network, aiming to provide an easy to use medium for users to share their thoughts, insights and views freely without worrying about data tampering and data loss. Infnote provides a solution that is able to work on any level of Internet censorship. Infnote uses multi chains architecture to support various independent applications or different functions in an application.


Log concavity results for a biparametric and an elliptic extension of the q binomial coefficients. We establish discrete and continuous log concavity results for a biparametric extension of the q numbers and of the q binomial coefficients. By using classical results for the Jacobi theta function we are able to lift some of our log concavity results to the elliptic setting. One of our main ingredients is a putatively new lemma involving a multiplicative analogue of Tur 'an's inequality.


Spectral flow for pair compatible equipartitions. We show that a recent spectral flow approach proposed by Berkolaiko Cox Marzuola for analyzing the nodal deficiency of the nodal partition associated to an eigenfunction can be extended to more general partitions. To be more precise, we work with spectral equipartitions that satisfy a pair compatible condition. Nodal partitions and spectral minimal partitions are examples of such partitions. Along the way, we discuss different approaches to the Dirichlet to Neumann operators via Aharonov Bohm operators, via a double covering argument, and via a slitting of the domain.


Similarity Driven Approximation for Text Analytics. Text analytics has become an important part of business intelligence as enterprises increasingly seek to extract insights for decision making from text data sets. Processing large text data sets can be computationally expensive, however, especially if it involves sophisticated algorithms. This challenge is exacerbated when it is desirable to run different types of queries against a data set, making it expensive to build multiple indices to speed up query processing. In this paper, we propose and evaluate a framework called EmApprox that uses approximation to speed up the processing of a wide range of queries over large text data sets. The key insight is that different types of queries can be approximated by processing subsets of data that are most similar to the queries. EmApprox builds a general index for a data set by learning a natural language processing model, producing a set of highly compressed vectors representing words and subcollections of documents. Then, at query processing time, EmApprox uses the index to guide sampling of the data set, with the probability of selecting each subcollection of documents being proportional to its em similarity to the query as computed using the vector representations. We have implemented a prototype of EmApprox as an extension of the Apache Spark system, and used it to approximate three types of queries aggregation, information retrieval, and recommendation. Experimental results show that EmApprox's similarity guided sampling achieves much better accuracy than random sampling. Further, EmApprox can achieve significant speedups if users can tolerate small amounts of inaccuracies. For example, when sampling at 10 , EmApprox speeds up a set of queries counting phrase occurrences by almost 10x while achieving estimated relative errors of less than 22 for 90 of the queries.


UHop An Unrestricted Hop Relation Extraction Framework for Knowledge Based Question Answering. In relation extraction for knowledge based question answering, searching from one entity to another entity via a single relation is called "one hop". In related work, an exhaustive search from all one hop relations, two hop relations, and so on to the max hop relations in the knowledge graph is necessary but expensive. Therefore, the number of hops is generally restricted to two or three. In this paper, we propose UHop, an unrestricted hop framework which relaxes this restriction by use of a transition based search framework to replace the relation chain based search one. We conduct experiments on conventional 1 and 2 hop questions as well as lengthy questions, including datasets such as WebQSP, PathQuestion, and Grid World. Results show that the proposed framework enables the ability to halt, works well with state of the art models, achieves competitive performance without exhaustive searches, and opens the performance gap for long relation paths.


Leveraging Insight from Centuries of Outbreak Preparedness to Improve Modern Planning Efforts. Though pandemic preparedness has been a focus of public health planning for centuries, during which our understanding of infectious disease dynamics has grown, our methodologies for managing outbreaks have remained relatively unchanged. We propose leveraging this history to identify opportunities for actual progress. We contrast current plans with historical outbreak control measures and isolate how the complexities of a modern era yield additional challenges in how best to anticipate and mitigate outbreaks. We analyze a diversity of publicly available modern preparedness plans against the context of a historically based fictional outbreak control strategy described in Defoe's A Journal of the Plague Year (published 1720). We identify themes in preparedness planning that remain unchanged from historical settings even though they continue to be actively evaluated in planning efforts. More importantly, we isolate critical modern challenges in preparedness planning that remain predominantly unsolved. These modern, unsolved issues offer best avenues for meaningful improvement. Shifting our planning efforts to focus on identified novel issues may greatly strengthen our local to global capacity to deal with infectious threats.


Group testing for overlapping communities. In this paper, we propose algorithms that leverage a known community structure to make group testing more efficient. We consider a population organized in connected communities each individual participates in one or more communities, and the infection probability of each individual depends on the communities (s)he participates in. Use cases include students who participate in several classes, and workers who share common spaces. Group testing reduces the number of tests needed to identify the infected individuals by pooling diagnostic samples and testing them together. We show that making testing algorithms aware of the community structure, can significantly reduce the number of tests needed both for adaptive and non adaptive group testing.


Toric Kato manifolds. We introduce and study a special class of Kato manifolds, which we call toric Kato manifolds. Their construction stems from toric geometry, as their universal covers are open subsets of toric algebraic varieties of non finite type. This generalizes previous constructions of Tsuchihashi and Oda, and in complex dimension 2, retrieves the properly blown up Inoue surfaces. We study the topological and analytical properties of toric Kato manifolds and link certain invariants to natural combinatorial data coming from the toric construction. Moreover, we produce families of flat degenerations of any toric Kato manifold, which serve as an essential tool in computing their Hodge numbers. In the last part, we study the Hermitian geometry of Kato manifolds. We give a characterization result for the existence of locally conformally K "ahler metrics on any Kato manifold. Finally, we prove that no Kato manifold carries balanced metrics and that a large class of toric Kato manifolds of complex dimension geq 3 do not support pluriclosed metrics.


Semi Supervised Text Simplification with Back Translation and Asymmetric Denoising Autoencoders. Text simplification (TS) rephrases long sentences into simplified variants while preserving inherent semantics. Traditional sequence to sequence models heavily rely on the quantity and quality of parallel sentences, which limits their applicability in different languages and domains. This work investigates how to leverage large amounts of unpaired corpora in TS task. We adopt the back translation architecture in unsupervised machine translation (NMT), including denoising autoencoders for language modeling and automatic generation of parallel data by iterative back translation. However, it is non trivial to generate appropriate complex simple pair if we directly treat the set of simple and complex corpora as two different languages, since the two types of sentences are quite similar and it is hard for the model to capture the characteristics in different types of sentences. To tackle this problem, we propose asymmetric denoising methods for sentences with separate complexity. When modeling simple and complex sentences with autoencoders, we introduce different types of noise into the training process. Such a method can significantly improve the simplification performance. Our model can be trained in both unsupervised and semi supervised manner. Automatic and human evaluations show that our unsupervised model outperforms the previous systems, and with limited supervision, our model can perform competitively with multiple state of the art simplification systems.


BeCAPTCHA Behavioral Bot Detection using Touchscreen and Mobile Sensors benchmarked on HuMIdb. In this paper we study the suitability of a new generation of CAPTCHA methods based on smartphone interactions. The heterogeneous flow of data generated during the interaction with the smartphones can be used to model human behavior when interacting with the technology and improve bot detection algorithms. For this, we propose BeCAPTCHA, a CAPTCHA method based on the analysis of the touchscreen information obtained during a single drag and drop task in combination with the accelerometer data. The goal of BeCAPTCHA is to determine whether the drag and drop task was realized by a human or a bot. We evaluate the method by generating fake samples synthesized with Generative Adversarial Neural Networks and handcrafted methods. Our results suggest the potential of mobile sensors to characterize the human behavior and develop a new generation of CAPTCHAs. The experiments are evaluated with HuMIdb (Human Mobile Interaction database), a novel multimodal mobile database that comprises 14 mobile sensors acquired from 600 users. HuMIdb is freely available to the research community.