DTF Deep Tensor Factorization for Predicting Anticancer Drug Synergy. Motivation Combination therapies have been widely used to treat cancers. However, it is cost and time consuming to experimentally screen synergistic drug pairs due to the enormous number of possible drug combinations. Thus, computational methods have become an important way to predict and prioritize synergistic drug pairs. Results We proposed a Deep Tensor Factorization (DTF) model, which integrated a tensor factorization method and a deep neural network (DNN), to predict drug synergy. The former extracts latent features from drug synergy information while the latter constructs a binary classifier to predict the drug synergy status. Compared to the tensor based method, the DTF model performed better in predicting drug synergy. The area under the precision recall curve (PR AUC) was 0.57 for DTF and 0.24 for the tensor method. We also compared the DTF model with DeepSynergy and logistic regression models and found that the DTF outperformed the logistic regression model and achieved almost the same performance as DeepSynergy using several typical metrics for the classification task. Applying the DTF model to predict missing entries in our drug cell line tensor, we identified novel synergistic drug combinations for 10 cell lines from the 5 cancer types. A literature survey showed that some of these predicted drug synergies have been identified in vivo or in vitro. Thus, the DTF model could be valuable in silico tool for prioritizing novel synergistic drug combinations.


Generalizing Outside the Training Set When Can Neural Networks Learn Identity Effects?. Often in language and other areas of cognition, whether two components of an object are identical or not determine whether it is well formed. We call such constraints identity effects. When developing a system to learn well formedness from examples, it is easy enough to build in an identify effect. But can identity effects be learned from the data without explicit guidance? We provide a simple framework in which we can rigorously prove that algorithms satisfying simple criteria cannot make the correct inference. We then show that a broad class of algorithms including deep neural networks with standard architecture and training with backpropagation satisfy our criteria, dependent on the encoding of inputs. Finally, we demonstrate our theory with computational experiments in which we explore the effect of different input encodings on the ability of algorithms to generalize to novel inputs.


On the Lie structure of locally matrix algebras. Let A be a unital locally matrix algebra over a field mathbb F of characteristic different from 2. We find necessary and sufficient condition for the Lie algebra A diagup mathbb F cdot 1 to be simple and for the Lie algebra of derivations text Der (A) to be topologically simple. The condition depends on the Steinitz number of A only.


Incremental Monoidal Grammars. In this work we define formal grammars in terms of free monoidal categories, along with a functor from the category of formal grammars to the category of automata. Generalising from the Booleans to arbitrary semirings, we extend our construction to weighted formal grammars and weighted automata. This allows us to link the categorical viewpoint on natural language to the standard machine learning notion of probabilistic language model.


Point2SpatialCapsule Aggregating Features and Spatial Relationships of Local Regions on Point Clouds using Spatial aware Capsules. Learning discriminative shape representation directly on point clouds is still challenging in 3D shape analysis and understanding. Recent studies usually involve three steps first splitting a point cloud into some local regions, then extracting corresponding feature of each local region, and finally aggregating all individual local region features into a global feature as shape representation using simple max pooling. However, such pooling based feature aggregation methods do not adequately take the spatial relationships between local regions into account, which greatly limits the ability to learn discriminative shape representation. To address this issue, we propose a novel deep learning network, named Point2SpatialCapsule, for aggregating features and spatial relationships of local regions on point clouds, which aims to learn more discriminative shape representation. Compared with traditional max pooling based feature aggregation networks, Point2SpatialCapsule can explicitly learn not only geometric features of local regions but also spatial relationships among them. It consists of two modules. To resolve the disorder problem of local regions, the first module, named geometric feature aggregation, is designed to aggregate the local region features into the learnable cluster centers, which explicitly encodes the spatial locations from the original 3D space. The second module, named spatial relationship aggregation, is proposed for further aggregating clustered features and the spatial relationships among them in the feature space using the spatial aware capsules developed in this paper. Compared to the previous capsule network based methods, the feature routing on the spatial aware capsules can learn more discriminative spatial relationships among local regions for point clouds, which establishes a direct mapping between log priors and the spatial locations through feature clusters.


Minimal Delaunay triangulations of hyperbolic surfaces. Motivated by recent work on Delaunay triangulations of hyperbolic surfaces, we consider the minimal number of vertices of such triangulations. First, we will show that every hyperbolic surface of genus g has a simplicial Delaunay triangulation with O(g) vertices, where edges are given by distance paths. Then, we will construct a class of hyperbolic surfaces for which the order of this bound is optimal. Finally, to give a general lower bound, we will show that the Omega( sqrt g ) lower bound for the number of vertices of a simplicial triangulation of a topological surface of genus g is tight for hyperbolic surfaces as well.


The canonical geometry of a Lie group. A Lie group G has many left invariant metrics having drastically different curvature properties. If we regard G as a flat and globalizable absolute parallelism as in O1 , then G has a canonical metric. We study some surprising consequences of this shift in perspective.


Exploratory Analysis of COVID 19 Related Tweets in North America to Inform Public Health Institutes. Social media is a rich source where we can learn about people's reactions to social issues. As COVID 19 has significantly impacted on people's lives, it is essential to capture how people react to public health interventions and understand their concerns. In this paper, we aim to investigate people's reactions and concerns about COVID 19 in North America, especially focusing on Canada. We analyze COVID 19 related tweets using topic modeling and aspect based sentiment analysis, and interpret the results with public health experts. We compare timeline of topics discussed with timing of implementation of public health interventions for COVID 19. We also examine people's sentiment about COVID 19 related issues. We discuss how the results can be helpful for public health agencies when designing a policy for new interventions. Our work shows how Natural Language Processing (NLP) techniques could be applied to public health questions with domain expert involvement.


VORNet Spatio temporally Consistent Video Inpainting for Object Removal. Video object removal is a challenging task in video processing that often requires massive human efforts. Given the mask of the foreground object in each frame, the goal is to complete (inpaint) the object region and generate a video without the target object. While recently deep learning based methods have achieved great success on the image inpainting task, they often lead to inconsistent results between frames when applied to videos. In this work, we propose a novel learning based Video Object Removal Network (VORNet) to solve the video object removal task in a spatio temporally consistent manner, by combining the optical flow warping and image based inpainting model. Experiments are done on our Synthesized Video Object Removal (SVOR) dataset based on the YouTube VOS video segmentation dataset, and both the objective and subjective evaluation demonstrate that our VORNet generates more spatially and temporally consistent videos compared with existing methods.


Note on vector valued Hardy spaces related to analytic functions having distributional boundary values. Analytic functions defined on a tube domain T C subset mathbb C n and taking values in a Banach space X which are known to have X valued distributional boundary values are shown to be in the Hardy space H p (T C ,X) if the boundary value is in the vector valued Lebesgue space L p ( mathbb R n ,X) , where 1 leq p leq infty and C is a regular open convex cone. Poisson integral transform representations of elements of H p (T C , X) are also obtained for certain classes of Banach spaces, including reflexive Banach spaces.


Deep Learning to Detect Bacterial Colonies for the Production of Vaccines. During the development of vaccines, bacterial colony forming units (CFUs) are counted in order to quantify the yield in the fermentation process. This manual task is time consuming and error prone. In this work we test multiple segmentation algorithms based on the U Net CNN architecture and show that these offer robust, automated CFU counting. We show that the multiclass generalisation with a bespoke loss function allows distinguishing virulent and avirulent colonies with acceptable accuracy. While many possibilities are left to explore, our results show the potential of deep learning for separating and classifying bacterial colonies.


Plasmonic nano aperture label free imaging. Label free observation of nanoparticles by far field optical microscopy is challenging because their ability to scatter or absorb light dramatically diminishes with decreasing size. Surface plasmon resonance (SPR) and localized surface plasmon resonance (LSPR) imaging have shown promises and respective limitations. For instance, it is challenging to achieve diffraction limited resolution in SPR imaging its refractive index sensitivity is not as localized as desired. LSPR imaging is typically employed with dark field microscopy on sparse noble metal nanostructures, leading to low light throughput and incomplete imaging. Here we demonstrate ultra near field index modulated PlAsmonic NanO apeRture lAbel free iMAging (PANORAMA) that addresses existing issues for both SPR and LSPR imaging. PANORAMA produces diffraction limited lateral resolution with higher surface sensitivity compared to SPR. Its system configuration is identical to a standard bright field microscope using a trans illumination tungsten halogen lamp instead of a laser or other high intensity light sources. Additionally, PANORAMA addresses the sparse sampling issue in LSPR imaging by achieving dense sampling with a large imaging fill factor. The bright field approach provides much higher light throughput compared to dark field microscopy. Overall, our technique can provide a panoramic view both laterally and longitudinally overcoming the lack of imaging depth for both SPR and LSPR imaging and the insufficient lateral sampling for LSPR imaging. We have demonstrated that PANORAMA can size single nanoparticle down to 25 nm, count individual nanoparticles in a cluster, and dynamically monitor single nanoparticle approaching the plasmonic surface down to the millisecond timescale. PANORAMA is potentially useful in single biological nanoparticle analysis of exosomes and viruses.


Filtration of micropolar liquid through a membrane composed of spherical cells with porous layer. This paper considers membranes of globular structure in the framework of the cell model technique. Coupled micropolar and Brinkman type equations are used to model the flow of micropolar fluid through a spherical cell, consisting of solid core, porous layer and liquid envelope. The solution is obtained in analytical form. Boundary value problems with different conditions on hypothetical cell surface are considered and compared. The hydrodynamic permeability of a membrane is investigated as a function of micropolar and porous medium characteristics.


Review of the 10th Non LTE Code Comparison Workshop. We report on the results of the 10th Non LTE code comparison workshop, which was held at the University of San Diego campus November 28 through December 1, 2017. Non equilibrium collisional radiative models predict the electronic state populations and attendant emission and absorption characteristics of hot, dense matter and are used to help design and diagnose high energy density experiments. At this workshop, fifteen codes from eleven institutions contributed results for steady state and time dependent neon, aluminum, silicon, and chlorine cases relevant to a variety of high density experimental and radiation driven astrophysical systems. This report focuses on differences in the predictions from codes with different internal structure, completeness, density effects, and rate fidelity and the impact of those differences on hot, dense plasma diagnostics.


An ultraweak local discontinuous Galerkin method for PDEs with high order spatial derivatives. In this paper, we develop a new discontinuous Galerkin method for solving several types of partial differential equations (PDEs) with high order spatial derivatives. We combine the advantages of local discontinuous Galerkin (LDG) method and ultra weak discontinuous Galerkin (UWDG) method. Firstly, we rewrite the PDEs with high order spatial derivatives into a lower order system, then apply the UWDG method to the system. We first consider the fourth order and fifth order nonlinear PDEs in one space dimension, and then extend our method to general high order problems and two space dimensions. The main advantage of our method over the LDG method is that we have introduced fewer auxiliary variables, thereby reducing memory and computational costs. The main advantage of our method over the UWDG method is that no internal penalty terms are necessary in order to ensure stability for both even and odd order PDEs. We prove stability of our method in the general nonlinear case and provide optimal error estimates for linear PDEs for the solution itself as well as for the auxiliary variables approximating its derivatives. A key ingredient in the proof of the error estimates is the construction of the relationship between the derivative and the element interface jump of the numerical solution and the auxiliary variable solution of the solution derivative. With this relationship, we can then use the discrete Sobolev and Poincar ' e inequalities to obtain the optimal error estimates. The theoretical findings are confirmed by numerical experiments.


Rationality of Mukai varieties over non closed fields. We discuss birational properties of Mukai varieties, i.e., of higher dimensional analogues of prime Fano threefolds of genus g in 7,8,9,10 over an arbitrary field mathsf k of zero characteristic. In the case of dimension n ge 4 we prove that these varieties are mathsf k rational if and only if they have a mathsf k point except for the case of genus 9 , where we assume n ge 5 . Furthermore, we prove that Mukai varieties of genus g in 7,8,9,10 and dimension n ge 5 contain cylinders if they have a mathsf k point. Finally, we prove that the embedding X hookrightarrow mathrm Gr (3,7) for prime Fano threefolds of genus 12 is defined canonically over any field and use this to give a new proof of the criterion of rationality.


Magnetic Induction in Convecting Galilean Oceans. To date, analyses of magnetic induction in putative oceans in Jupiter's large icy moons have assumed uniform conductivity in the modeled oceans. However, the phase and amplitude response of the induced fields will be influenced by the increasing electrical conductivity along oceans' convective adiabatic temperature profiles. Here, we examine the amplitudes and phase lags for magnetic diffusion in modeled oceans of Europa, Ganymede, and Callisto. We restrict our analysis to spherically symmetric configurations, treating interior structures based on self consistent thermodynamics, which account for variations in electrical conductivity with depth in convective oceans (Vance et al., 2018). The numerical approach considers tens of radial layers. The induction response of the adiabatic conductivity profile differs from oceans with uniform conductivity based on the ice ocean interface or the mean value of the adiabatic profile by more than 10 in many cases. In addition, we consider the generation of induced magnetic fields by oceanic fluid motions that might be used to probe the ocean flows directly (e.g., Chave, 1983 Tyler, 2011 Minami, 2017). Assuming turbulent convection (Soderlund et al., 2014), we find that these signals can dominate induction signal at low latitudes, which underscores the need for spatial coverage in magnetic induction investigations. Based on end member ocean compositions (Zolotov, 2008 Zolotov Kargel, 2009), we quantify the residual magnetic induction signals that might be used to infer the oxidation state of Europa's ocean and to investigate stable liquids within and under high pressure ices in Ganymede and Callisto. Fully exploring this parameter space for the sake of planned missions requires electrical conductivity measurements in fluids at low temperature and to high salinity and pressure.


AIN Fast and Accurate Sequence Labeling with Approximate Inference Network. The linear chain Conditional Random Field (CRF) model is one of the most widely used neural sequence labeling approaches. Exact probabilistic inference algorithms such as the forward backward and Viterbi algorithms are typically applied in training and prediction stages of the CRF model. However, these algorithms require sequential computation that makes parallelization impossible. In this paper, we propose to employ a parallelizable approximate variational inference algorithm for the CRF model. Based on this algorithm, we design an approximate inference network that can be connected with the encoder of the neural CRF model to form an end to end network, which is amenable to parallelization for faster training and prediction. The empirical results show that our proposed approaches achieve a 12.7 fold improvement in decoding speed with long sentences and a competitive accuracy compared with the traditional CRF approach.


When and Why is Unsupervised Neural Machine Translation Useless?. This paper studies the practicality of the current state of the art unsupervised methods in neural machine translation (NMT). In ten translation tasks with various data settings, we analyze the conditions under which the unsupervised methods fail to produce reasonable translations. We show that their performance is severely affected by linguistic dissimilarity and domain mismatch between source and target monolingual data. Such conditions are common for low resource language pairs, where unsupervised learning works poorly. In all of our experiments, supervised and semi supervised baselines with 50k sentence bilingual data outperform the best unsupervised results. Our analyses pinpoint the limits of the current unsupervised NMT and also suggest immediate research directions.


Observation of Photoion Backward Emission in Photoionization of He and N2. We experimentally investigate the effects of the linear photon momentum on the momentum distributions of photoions and photoelectrons generated in one photon ionization in an energy range of 300 eV leq E gamma leq 40 keV. Our results show that for each ionization event the photon momentum is imparted onto the photoion, which is essentially the system's center of mass. Nevertheless, the mean value of the ion momentum distribution along the light propagation direction is backward directed by 3 5 times the photon momentum. These results experimentally confirm a 90 year old prediction.


Monte Carlo Estimation for Imprecise Probabilities Basic Properties. We describe Monte Carlo methods for estimating lower envelopes of expectations of real random variables. We prove that the estimation bias is negative and that its absolute value shrinks with increasing sample size. We discuss fairly practical techniques for proving strong consistency of the estimators and use these to prove the consistency of an example in the literature. We also provide an example where there is no consistency.


Optimality properties of Galerkin and Petrov Galerkin methods for linear matrix equations. Galerkin and Petrov Galerkin methods are some of the most successful solution procedures in numerical analysis. Their popularity is mainly due to the optimality properties of their approximate solution. We show that these features carry over to the (Petrov )Galerkin methods applied for the solution of linear matrix equations. Some novel considerations about the use of Galerkin and Petrov Galerkin schemes in the numerical treatment of general linear matrix equations are expounded and the use of constrained minimization techniques in the Petrov Galerkin framework is proposed.


On The Optimal Paper Moebius Band. Let A sqrt 3 . There are two main conjectures about paper Moebius bands. First, a smooth embedded paper Moebius band must have aspect ratio at least A. Second, any sequence of smooth embedded paper Moebius bands having aspect ratio converging to A converges, in the Hausdorff topology and up to isometries, to an equilateral triangle of semiperimeter A. We will reduce these conjectures to 10 statements about the positivity of certain explicit piecewise algebraic expressions.


Cobordisms of singular maps. The notion of cobordism of singular maps was introduced around 1980 by A. Sz H u cs and U. Koschorke independently. As an application, Sz H u cs used it to compute cobordism groups of immersions and embeddings in dimensions where the classical theory did not succeed. His method of studying cobordism groups of singular maps involves the investigation of classifying spaces that were constructed by him, first in a few special cases, then, with the help of the work of Rim 'anyi, in complete generality. Since then quite a few results and (partial) computations were performed in this theory. The present thesis collects and organises these results of Sz H u cs, Terpai and other coauthors towards and on the computation of cobordism groups of singular maps.


Federated Transfer Reinforcement Learning for Autonomous Driving. Reinforcement learning (RL) is widely used in autonomous driving tasks and training RL models typically involves in a multi step process pre training RL models on simulators, uploading the pre trained model to real life robots, and fine tuning the weight parameters on robot vehicles. This sequential process is extremely time consuming and more importantly, knowledge from the fine tuned model stays local and can not be re used or leveraged collaboratively. To tackle this problem, we present an online federated RL transfer process for real time knowledge extraction where all the participant agents make corresponding actions with the knowledge learned by others, even when they are acting in very different environments. To validate the effectiveness of the proposed approach, we constructed a real life collision avoidance system with Microsoft Airsim simulator and NVIDIA JetsonTX2 car agents, which cooperatively learn from scratch to avoid collisions in indoor environment with obstacle objects. We demonstrate that with the proposed framework, the simulator car agents can transfer knowledge to the RC cars in real time, with 27 increase in the average distance with obstacles and 42 decrease in the collision counts.


On prime character degree graphs occurring within a family of graphs. In this paper we investigate families of connected graphs which do not contain an odd cycle in their complement. Specifically, we consider graphs formed by two complete graphs connected in a particular way. We determine which of these graphs can or cannot occur as the prime character degree graph of a solvable group. An obvious expansion and generalization can also be considered, of which we make mention.


Orlicz Sobolev Inequalities and the Doubling Condition. In 12 it has been shown that (p,q) Sobolev inequality with p q implies the doubling condition on the underlying measure. We show that even weaker Orlicz Sobolev inequalities, where the gain on the left hand side is smaller than any power bump, imply doubling. Moreover, we derive a condition on the quantity that should replace the radius on the righ hand side (which we call superradius'), that is necessary to ensure that the space can support the Orlicz Sobolev inequality and simultaneously be non doubling.


Almost analytic extensions of ultradifferentiable functions with applications to microlocal analysis. We review and extend the description of ultradifferentiable functions by their almost analytic extensions, i.e., extensions to the complex domain with specific vanishing rate of the bar partial derivative near the real domain. We work in a general uniform framework which comprises the main classical ultradifferentiable classes but also allows to treat unions and intersections of such. The second part of the paper is devoted to applications in microlocal analysis. The ultradifferentiable wave front set is defined in this general setting and characterized in terms of almost analytic extensions and of the FBI transform. This allows to extend its definition to ultradifferentiable manifolds. We also discuss ultradifferentiable versions of the elliptic regularity theorem and obtain a general quasianalytic Holmgren uniqueness theorem.


The dualizing module and top dimensional cohomology group of text GL n( mathcal O ) . For a number ring mathcal O , Borel and Serre proved that text SL n( mathcal O ) is a virtual duality group whose dualizing module is the Steinberg module. They also proved that text GL n( mathcal O ) is a virtual duality group. In contrast to text SL n( mathcal O ) , we prove that the dualizing module of text GL n( mathcal O ) is sometimes the Steinberg module, but sometimes instead is a variant that takes into account a sort of orientation. Using this, we obtain vanishing and nonvanishing theorems for the cohomology of text GL n( mathcal O ) in its virtual cohomological dimension.


Transcription dependent spatial organization of a gene locus. There is growing appreciation that gene function is connected to the dynamic structure of the chromosome. Here we explore the interplay between three dimensional structure and transcriptional activity at the single cell level. We show that inactive loci are spatially more compact than active ones, and that within active loci the enhancer driving transcription is closest to the promoter. On the other hand, even this shortest distance is too long to support direct physical contact between the enhancer promoter pair when the locus is transcriptionally active. Artificial manipulation of genomic separations between enhancers and the promoter produces changes in physical distance and transcriptional activity, recapitulating the correlation seen in wild type embryos, but disruption of topological domain boundaries has no effect. Our results suggest a complex interdependence between transcription and the spatial organization of cis regulatory elements.


Moderate death rates can be beneficial for the evolution of cooperation. Spatial structure is one of the simplest and most studied ecological factors that affect the evolution of cooperation. It has been shown that spatial reciprocity promotes cooperation due to the formation of cooperative clusters, which provide mutual support against defectors. The usual assumption is that of constant population size, where no density related effect is possible. Here, we extend the investigation of density related effects on the evolution of cooperation. We integrate evolutionary game theory to the Lattice Lotka Volterra Model. In our model, the birth rate depends on the local density and on the payoff accumulated in the interactions. We characterize the evolution of cooperation in terms of the coexistence and the extinction of the types. The main result is that cooperation is most favoured at moderate levels of the death rate. Interestingly, defectors are extinct at values of the death rate that are lower than that at which cooperators are extinct. When death knocks the door, defectors are the first to perish, whereas cooperators stand longer due to mutual support.


High Performance Computing for Geospatial Applications A Retrospective View. Many types of geospatial analyses are computationally complex, involving, for example, solution processes that require numerous iterations or combinatorial comparisons. This complexity has motivated the application of high performance computing (HPC) to a variety of geospatial problems. In many instances, HPC assumes even greater importance because complexity interacts with rapidly growing volumes of geospatial information to further impede analysis and display. This chapter briefly reviews the underlying need for HPC in geospatial applications and describes different approaches to past implementations. Many of these applications were developed using hardware systems that had a relatively short life span and were implemented in software that was not easily portable. More promising recent approaches have turned to the use of distributed resources that includes cyberinfrastructure as well as cloud and fog computing.


Improving Object Detection with Inverted Attention. Improving object detectors against occlusion, blur and noise is a critical step to deploy detectors in real applications. Since it is not possible to exhaust all image defects through data collection, many researchers seek to generate hard samples in training. The generated hard samples are either images or feature maps with coarse patches dropped out in the spatial dimensions. Significant overheads are required in training the extra hard samples and or estimating drop out patches using extra network branches. In this paper, we improve object detectors using a highly efficient and fine grain mechanism called Inverted Attention (IA). Different from the original detector network that only focuses on the dominant part of objects, the detector network with IA iteratively inverts attention on feature maps and puts more attention on complementary object parts, feature channels and even context. Our approach (1) operates along both the spatial and channels dimensions of the feature maps (2) requires no extra training on hard samples, no extra network parameters for attention estimation, and no testing overheads. Experiments show that our approach consistently improved both two stage and single stage detectors on benchmark databases.


Reconfigurable Intelligent Surface Assisted Massive MIMO with Antenna Selection. Antenna selection is capable of reducing the hardware complexity of massive multiple input multiple output (MIMO) networks at the cost of certain performance degradation. Reconfigurable intelligent surface (RIS) has emerged as a cost effective technique that can enhance the spectrum efficiency of wireless networks by reconfiguring the propagation environment. By employing RIS to compensate the performance loss due to antenna selection, in this paper we propose a new network architecture, i.e., RIS assisted massive MIMO system with antenna selection, to enhance the system performance while enjoying a low hardware cost. This is achieved by maximizing the channel capacity via joint antenna selection and passive beamforming while taking into account the cardinality constraint of active antennas and the unit modulus constraints of all RIS elements. However, the formulated problem turns out to be highly intractable due to the non convex constraints and coupled optimization variables, for which an alternating optimization framework is provided, yielding antenna selection and passive beamforming subproblems. The computationally efficient submodular optimization algorithms are developed to solve the antenna selection subproblem under different channel state information assumptions. The iterative algorithms based on block coordinate descent are further proposed for the passive beamforming design by exploiting the unique problem structures. Experimental results will demonstrate the algorithmic advantages and desirable performance of the proposed algorithms for RIS assisted massive MIMO systems with antenna selection.


Render4Completion Synthesizing Multi View Depth Maps for 3D Shape Completion. We propose a novel approach for 3D shape completion by synthesizing multi view depth maps. While previous work for shape completion relies on volumetric representations, meshes, or point clouds, we propose to use multi view depth maps from a set of fixed viewing angles as our shape representation. This allows us to be free of the limitations of memory for volumetric representations and point clouds by casting shape completion into an image to image translation problem. Specifically, we render depth maps of the incomplete shape from a fixed set of viewpoints, and perform depth map completion in each view. Different from image to image translation network that completes each view separately, our novel network, multi view completion net (MVCN), leverages information from all views of a 3D shape to help the completion of each single view. This enables MVCN to leverage more information from different depth views to achieve high accuracy in single depth view completion and keep the consistency among the completed depth images in different views. Benefited by the multi view representation and the novel network structure, MVCN significantly improves the accuracy of 3D shape completion in large scale benchmarks compared to the state of the art.


Dynamic gesture retrieval searching videos by human pose sequence. The number of static human poses is limited, it is hard to retrieve the exact videos using one single pose as the clue. However, with a pose sequence or a dynamic gesture as the keyword, retrieving specific videos becomes more feasible. We propose a novel method for querying videos containing a designated sequence of human poses, whereas previous works only designate a single static pose. The proposed method takes continuous 3d human poses from keyword gesture video and video candidates, then converts each pose in individual frames into bone direction descriptors, which describe the direction of each natural connection in articulated pose. A temporal pyramid sliding window is then applied to find matches between designated gesture and video candidates, which ensures that same gestures with different duration can be matched.


History Of Rigor A Review Of 20th Century Science Education. "Rigor" is an often sought after but ill defined concept in education. This work reviews several models of rigor from current literature before proposing a tool which is used to analyze science education throughout history. The 20 textsuperscript th century science education in the United States was subject to changing sociopolitical motivations about the use of science both in general and for students. These factors as well as developments in theory of learning and broad education reforms had changing affects on the level of rigor in science education. This work analyzes the theoretical level of rigor of science education in the US based on two main motivating factors for science education science as a social endeavor and science as a discipline, throughout the 20 textsuperscript th century.


Error Analysis of Supremizer Pressure Recovery for POD based Reduced Order Models of the time dependent Navier Stokes Equations. For incompressible flow models, the pressure term serves as a Lagrange multiplier to ensure that the incompressibility constraint is satisfied. In engineering applications, the pressure term is necessary for calculating important quantities based on stresses like the lift and drag. For reduced order models generated via a Proper orthogonal decomposition, it is common for the pressure to drop out of the equations and produce a velocity only reduced order model. To recover the pressure, many techniques have been numerically studied in the literature however, these techniques have undergone little rigorous analysis. In this work, we examine two of the most popular approaches pressure recovery through the Pressure Poisson equation and recovery via the momentum equation through the use of a supremizer stabilized velocity basis. We examine the challenges that each approach faces and prove stability and convergence results for the supremizer stabilized approach. We also investigate numerically the stability and convergence of the supremizer based approach, in addition to its performance against the Pressure Poisson method.


Multi Modal Subjective Context Modelling and Recognition. Applications like personal assistants need to be aware ofthe user's context, e.g., where they are, what they are doing, and with whom. Context information is usually inferred from sensor data, like GPS sensors and accelerometers on the user's smartphone. This prediction task is known as context recognition. A well defined context model is fundamental for successful recognition. Existing models, however, have two major limitations. First, they focus on few aspects, like location or activity, meaning that recognition methods based onthem can only compute and leverage few inter aspect correlations. Second, existing models typically assume that context is objective, whereas in most applications context is best viewed from the user's perspective. Neglecting these factors limits the usefulness of the context model and hinders recognition. We present a novel ontological context model that captures five dimensions, namely time, location, activity, social relations and object. Moreover, our model defines three levels of description(objective context, machine context and subjective context) that naturally support subjective annotations and reasoning.An initial context recognition experiment on real world data hints at the promise of our model.


Regularity of complexified hyperbolic equations with integral conditions. This paper considers hyperbolic wave equations with non local in time conditions involving integrals with respect to time. It is shown that regularity of the solution can be achieved for complexified problem with integral conditions involving harmonic complex exponential weights. The paper establishes existence, uniqueness, and a regularity of the solutions.


CC2Vec Distributed Representations of Code Changes. Existing work on software patches often use features specific to a single task. These works often rely on manually identified features, and human effort is required to identify these features for each task. In this work, we propose CC2Vec, a neural network model that learns a representation of code changes guided by their accompanying log messages, which represent the semantic intent of the code changes. CC2Vec models the hierarchical structure of a code change with the help of the attention mechanism and uses multiple comparison functions to identify the differences between the removed and added code. To evaluate if CC2Vec can produce a distributed representation of code changes that is general and useful for multiple tasks on software patches, we use the vectors produced by CC2Vec for three tasks log message generation, bug fixing patch identification, and just in time defect prediction. In all tasks, the models using CC2Vec outperform the state of the art techniques.


Fourier continuation method for incompressible fluids with boundaries. We present a Fourier Continuation based parallel pseudospectral method for incompressible fluids in cuboid non periodic domains. The method produces dispersionless and dissipationless derivatives with fast spectral convergence inside the domain, and with very high order convergence at the boundaries. Incompressibility is imposed by solving a Poisson equation for the pressure. Being Fourier based, the method allows for fast computation of spectral transforms. It is compatible with uniform grids (although refined or nested meshes can also be implemented), which in turn allows for explicit time integration at sufficiently high Reynolds numbers. Using a new parallel code named SPECTER we illustrate the method with two problems channel flow, and plane Rayleigh B 'enard convection under the Boussinesq approximation. In both cases the method yields results compatible with previous studies using other high order numerical methods, with mild requirements on the time step for stability.


EmpTransfo A Multi head Transformer Architecture for Creating Empathetic Dialog Systems. Understanding emotions and responding accordingly is one of the biggest challenges of dialog systems. This paper presents EmpTransfo, a multi head Transformer architecture for creating an empathetic dialog system. EmpTransfo utilizes state of the art pre trained models (e.g., OpenAI GPT) for language generation, though models with different sizes can be used. We show that utilizing the history of emotions and other metadata can improve the quality of generated conversations by the dialog system. Our experimental results using a challenging language corpus show that the proposed approach outperforms other models in terms of Hit 1 and PPL (Perplexity).


Annual Interruption Rate as a KPI, its measurement and comparison. This article is divided into two chapters. The first chapter describes the failure rate as a KPI and studies its properties. The second one goes over ways to compare this KPI across two groups using the concepts of statistical hypothesis testing. In section 1., we will motivate the failure rate as a KPI (in Azure, it is dubbed Annual Interruption Rate' or AIR. In section 3, we will discuss measuring failure rate from logs machines typically generate. In section 1.2, we will discuss the problem of measuring it from real world data. In section 2.1, we will discuss the general concepts of hypothesis testing. In section 2.2, we will go over some general count distributions for modeling Azure reboots. In section 2.3, we will go over some experiments on applying various hypothesis tests to simulated data. In section 2.4, we will discuss some applications of this work like using these statistical methods to catch regressions in failure rate and how long we need to let changes to the system bake' before we are reasonably sure they didn't regress failure rate.


The number of zeroes in Elephant random walks with delays. In the simple random walk the steps are independent, whereas in the Elephant Random Walk (ERW), which was introduced by Sch "utz and Trimper in 2004, the next step always depends on the whole path so far. In an earlier paper we investigated Elephant Random Walks when the elephant has a restricted memory. Inspired by a suggestion by Bercu et al. (arXiv 1902.11220v1) we extended our results to the case when delays are allowed. In this paper we examine how the number of delays (that possibly stop the process) increases as time goes by.


A Note on Stabbing Convex Bodies with Points, Lines, and Flats. newcommand eps varepsilon newcommand tldO widetilde O Consider the problem of constructing weak eps nets where the stabbing elements are lines or k flats instead of points. We study this problem in the simplest setting where it is still interesting namely, the uniform measure of volume over the hypercube 0,1 d bigr. . Specifically, a (k, eps) net is a set of k flats, such that any convex body in 0,1 d of volume larger than eps is stabbed by one of these k flats. We show that for k geq 1 , one can construct (k, eps) nets of size O(1 eps 1 k d ) . We also prove that any such net must have size at least Omega(1 eps 1 k d ) . As a concrete example, in three dimensions all eps heavy bodies in 0,1 3 can be stabbed by Theta(1 eps 2 3 ) lines. Note, that these bounds are emph sublinear in 1 eps , and are thus somewhat surprising. The new construction also works for points providing a weak eps net of size O( tfrac 1 eps log d 1 tfrac 1 eps ) .


Connected Sums of Graded Artinian Gorenstein Algebras and Lefschetz Properties. A connected sum construction for local rings was introduced in a paper by H. Ananthnarayan, L. Avramov, and W.F. Moore. In the graded Artinian Gorenstein case, this can be viewed as an algebraic analogue of the topological construction of the same name. We give two alternative description of this algebraic connected sum the first uses algebraic analogues of Thom classes of vector bundles and Gysin homomorphisms, the second is in terms of Macaulay dual generators. We also investigate the extent to which the connected sum construction preserves the weak or strong Lefschetz property, thus providing new classes of rings which satisfy these properties.


A Novel CNet assisted Evolutionary Level Repairer and Its Applications to Super Mario Bros. Applying latent variable evolution to game level design has become more and more popular as little human expert knowledge is required. However, defective levels with illegal patterns may be generated due to the violation of constraints for level design. A traditional way of repairing the defective levels is programming specific rule based repairers to patch the flaw. However, programming these constraints is sometimes complex and not straightforward. An autonomous level repairer which is capable of learning the constraints is needed. In this paper, we propose a novel approach, CNet, to learn the probability distribution of tiles giving its surrounding tiles on a set of real levels, and then detect the illegal tiles in generated new levels. Then, an evolutionary repairer is designed to search for optimal replacement schemes equipped with a novel search space being constructed with the help of CNet and a novel heuristic function. The proposed approaches are proved to be effective in our case study of repairing GAN generated and artificially destroyed levels of Super Mario Bros. game. Our CNet assisted evolutionary repairer can also be easily applied to other games of which the levels can be represented by a matrix of objects or tiles.


Computational Resource Allocation for Edge Computing in Social Internet of Things. The heterogeneity of the Internet of things (IoT) network can be exploited as a dynamic computational resource environment for many devices lacking computational capabilities. A smart mechanism for allocating edge and mobile computers to match the need of devices requesting external computational resources is developed. In this paper, we employ the concept of Social IoT and machine learning to downgrade the complexity of allocating appropriate edge computers. We propose a framework that detects different communities of devices in SIoT enclosing trustworthy peers having strong social relations. Afterwards, we train a machine learning algorithm, considering multiple computational and non computational features of the requester as well as the edge computers, to predict the total time needed to process the required task by the potential candidates belonging to the same community of the requester. By applying it to a real world data set, we observe that the proposed framework provides encouraging results for mobile computer allocation.


On the smallest base in which a number has a unique expansion. Given a real number x 0 , we determine q s(x) inf mathscr U (x) , where mathscr U (x) is the set of all bases q in(1,2 for which x has a unique expansion of 0 's and 1 's. We give an explicit description of q s(x) for several regions of x values. For others, we present an efficient algorithm to determine q s(x) and the lexicographically smallest unique expansion of x . We show that the infimum is attained for almost all x , but there is also a set of points of positive Hausdorff dimension for which the infimum is proper. In addition, we show that the function q s is right continuous with left hand limits and no downward jumps, and characterize the points of discontinuity of q s . A large part of the paper is devoted to the level sets L(q) x 0 q s(x) q . We show that L(q) is finite for almost every q , but there are also infinitely many infinite level sets. In particular, for the Komornik Loreti constant q KL min mathscr U (1) approx 1.787 we prove that L(q KL ) has both infinitely many left and infinitely many right accumulation points.


The COVID 19 (SARS CoV 2) Uncertainty Tripod in Brazil Assessments on model based predictions with large under reporting. The COVID 19 pandemic (SARS CoV 2 virus) is the defying global health crisis of our time. The absence of mass testing and the relevant presence of asymptomatic individuals causes the available data of the COVID 19 pandemic in Brazil to be largely under reported regarding the number of infected individuals and deaths. We propose an adapted Susceptible Infected Recovered (SIR) model which explicitly incorporates the under reporting and the response of the population to public policies (such as confinement measures, widespread use of masks, etc) to cast short term and long term predictions. Large amounts of uncertainty could provide misleading models and predictions. In this paper, we discuss the role of uncertainty in these prediction, which is illustrated regarding three key aspects. First, assuming that the number of infected individuals is under reported, we demonstrate an anticipation regarding the peak of infection. Furthermore, while a model with a single class of infected individuals yields forecasts with increased peaks, a model that considers both symptomatic and asymptomatic infected individuals suggests a decrease of the peak of symptomatic. Second, considering that the actual amount of deaths is larger than what is being register, then demonstrate the increase of the mortality rates. Third, when consider generally under reported data, we demonstrate how the transmission and recovery rate model parameters change qualitatively and quantitatively. We also investigate the effect of the "COVID 19 under reporting tripod", i.e. the under reporting in terms of infected individuals, of deaths and the true mortality rate. If two of these factors are known, the remainder can be inferred, as long as proportions are kept constant. The proposed approach allows one to determine the margins of uncertainty by assessments on the observed and true mortality rates.


Barking up the right tree an approach to search over molecule synthesis DAGs. When designing new molecules with particular properties, it is not only important what to make but crucially how to make it. These instructions form a synthesis directed acyclic graph (DAG), describing how a large vocabulary of simple building blocks can be recursively combined through chemical reactions to create more complicated molecules of interest. In contrast, many current deep generative models for molecules ignore synthesizability. We therefore propose a deep generative model that better represents the real world process, by directly outputting molecule synthesis DAGs. We argue that this provides sensible inductive biases, ensuring that our model searches over the same chemical space that chemists would also have access to, as well as interpretability. We show that our approach is able to model chemical space well, producing a wide range of diverse molecules, and allows for unconstrained optimization of an inherently constrained problem maximize certain chemical properties such that discovered molecules are synthesizable.


A 68 uW 31 kS s Fully Capacitive Noise Shaping SAR ADC with 102 dB SNDR. This paper presents a 17 bit analogue to digital converter that incorporates mismatch and quantisation noise shaping techniques into an energy saving 10 bit successive approximation quantiser to increase the dynamic range by another 42 dB. We propose a novel fully capacitive topology which allows for high speed asynchronous conversion together with a background calibration scheme to reduce the oversampling requirement by 10x compared to prior art. A 0.18 um CMOS technology is used to demonstrate preliminary simulation results together with analytic measures that optimise parameter and topology selection. The proposed system is able to achieve a FoMS of 183 dB for a maximum signal bandwidth of 15.6 kHz while dissipating 68 uW from a 1.8 V supply. A peak SNDR of 102 dB is demonstrated for this rate with a 0.201 mm 2 area requirement.


A new simple algorithm for space charge limited emission. Many high power electronic devices operate in a regime where the current they draw is limited by the self fields of the particles. This space charge limited current poses particular challenges for numerical modeling where common techniques like over emission or Gauss Law are computationally inefficient or produce nonphysical effects. In this paper we show an algorithm using the value of the electric field in front of the surface instead of attempting to zero the field at the surface, making the algorithm particularly well suited to both electromagnetic and parallel implementations of the PIC algorithm. We show how the algorithm is self consistent within the framework of finite difference (for both electrostatics and electromagnetics). We show several 1D and 2D benchmarks against both theory and previous computational results. Finally we show application in 3D to high power microwave generation in a 13 GHz magnetically insulated line oscillator.


Multilayer network simplification approaches, models and methods. Multilayer networks have been widely used to represent and analyze systems of interconnected entities where both the entities and their connections can be of different types. However, real multilayer networks can be difficult to analyze because of irrelevant information, such as layers not related to the objective of the analysis, because of their size, or because traditional methods defined to analyze simple networks do not have a straightforward extension able to handle multiple layers. Therefore, a number of methods have been devised in the literature to simplify multilayer networks with the objective of improving our ability to analyze them. In this article we provide a unified and practical taxonomy of existing simplification approaches, and we identify categories of multilayer network simplification methods that are still underdeveloped, as well as emerging trends.


Analysing the Effect of Clarifying Questions on Document Ranking in Conversational Search. Recent research on conversational search highlights the importance of mixed initiative in conversations. To enable mixed initiative, the system should be able to ask clarifying questions to the user. However, the ability of the underlying ranking models (which support conversational search) to account for these clarifying questions and answers has not been analysed when ranking documents, at large. To this end, we analyse the performance of a lexical ranking model on a conversational search dataset with clarifying questions. We investigate, both quantitatively and qualitatively, how different aspects of clarifying questions and user answers affect the quality of ranking. We argue that there needs to be some fine grained treatment of the entire conversational round of clarification, based on the explicit feedback which is present in such mixed initiative settings. Informed by our findings, we introduce a simple heuristic based lexical baseline, that significantly outperforms the existing naive baselines. Our work aims to enhance our understanding of the challenges present in this particular task and inform the design of more appropriate conversational ranking models.


Terminologies augmented recurrent neural network model for clinical named entity recognition. We aimed to enhance the performance of a supervised model for clinical named entity recognition (NER) using medical terminologies. In order to evaluate our system in French, we built a corpus for 5 types of clinical entities. We used a terminology based system as baseline, built upon UMLS and SNOMED. Then, we evaluated a biGRU CRF, and an hybrid system using the prediction of the terminology based system as feature for the biGRU CRF. In English, we evaluated the NER systems on the i2b2 2009 Medication Challenge for Drug name recognition, which contained 8,573 entities for 268 documents. In French, we built APcNER, a corpus of 147 documents annotated for 5 entities (drug name, sign or symptom, disease or disorder, diagnostic procedure or lab test and therapeutic procedure). We evaluated each NER systems using exact and partial match definition of F measure for NER. The APcNER contains 4,837 entities which took 28 hours to annotate, the inter annotator agreement was acceptable for Drug name in exact match (85 ) and acceptable for other entity types in non exact match ( 70 ). For drug name recognition on both i2b2 2009 and APcNER, the biGRU CRF performed better that the terminology based system, with an exact match F measure of 91.1 versus 73 and 81.9 versus 75 respectively. Moreover, the hybrid system outperformed the biGRU CRF, with an exact match F measure of 92.2 versus 91.1 (i2b2 2009) and 88.4 versus 81.9 (APcNER). On APcNER corpus, the micro average F measure of the hybrid system on the 5 entities was 69.5 in exact match, and 84.1 in non exact match. APcNER is a French corpus for clinical NER of five type of entities which covers a large variety of document types. Extending supervised model with terminology allowed for an easy performance gain, especially in low regimes of entities, and established near state of the art results on the i2b2 2009 corpus.


Best of Both Worlds High Performance Interactive and Batch Launching. Rapid launch of thousands of jobs is essential for effective interactive supercomputing, big data analysis, and AI algorithm development. Achieving thousands of launches per second has required hardware to be available to receive these jobs. This paper presents a novel preemptive approach to implement spot jobs on MIT SuperCloud systems allowing the resources to be fully utilized for both long running batch jobs while still providing fast launch for interactive jobs. The new approach separates the job preemption and scheduling operations and can achieve 100 times faster performance in the scheduling of a job with preemption when compared to using the standard scheduler provided automatic preemption based capability. The results demonstrate that the new approach can schedule interactive jobs preemptively at a performance comparable to when the required computing resources are idle and available. The spot job capability can be deployed without disrupting the interactive user experience while increasing the overall system utilization.


A Neural Network with Plane Wave Activation for Helmholtz Equation. This paper proposes a plane wave activation based neural network (PWNN) for solving Helmholtz equation, the basic partial differential equation to represent wave propagation, e.g. acoustic wave, electromagnetic wave, and seismic wave. Unlike using traditional activation based neural network (TANN) or sin activation based neural network (SIREN) for solving general partial differential equations, we instead introduce a complex activation function e mathbf i x , the plane wave which is the basic component of the solution of Helmholtz equation. By a simple derivation, we further find that PWNN is actually a generalization of the plane wave partition of unity method (PWPUM) by additionally imposing a learned basis with both amplitude and direction to better characterize the potential solution. We firstly investigate our performance on a problem with the solution is an integral of the plane waves with all known directions. The experiments demonstrate that PWNN works much better than TANN and SIREN on varying architectures or the number of training samples, that means the plane wave activation indeed helps to enhance the representation ability of neural network toward the solution of Helmholtz equation PWNN has competitive performance than PWPUM, e.g. the same convergence order but less relative error. Furthermore, we focus a more practical problem, the solution of which only integrate the plane waves with some unknown directions. We find that PWNN works much better than PWPUM at this case. Unlike using the plane wave basis with fixed directions in PWPUM, PWNN can learn a group of optimized plane wave basis which can better predict the unknown directions of the solution. The proposed approach may provide some new insights in the aspect of applying deep learning in Helmholtz equation.


On the anti cancer effect of cold atmospheric plasma and the possible role of catalase dependent apoptotic pathways. Cold atmospheric plasma (CAP) is a promising new agent for (selective) cancer treatment, but the underlying cause of the anti cancer effect of CAP is not well understood yet. Among different theories and observations, one theory in particular has been postulated in great detail and consists of a very complex network of reactions that are claimed to account for the anti cancer effect of CAP. Here, the key concept is a reactivation of two specific apoptotic cell signaling pathways through catalase inactivation caused by CAP. Thus, it is postulated that the anti cancer effect of CAP is due to its ability to inactivate catalase, either directly or indirectly. A theoretical investigation of the proposed theory, especially the role of catalase inactivation, can contribute to the understanding of the underlying cause of the anti cancer effect of CAP. In the present study, we develop a mathematical model to analyze the proposed catalase dependent anti cancer effect of CAP. Our results show that a catalase dependent reactivation of the two apoptotic pathways of interest is unlikely to contribute to the observed anti cancer effect of CAP. Thus, we believe that other theories of the underlying cause should be considered and evaluated to gain knowledge about the principles of CAP induced cancer cell death.


Neurosymbolic AI for Situated Language Understanding. In recent years, data intensive AI, particularly the domain of natural language processing and understanding, has seen significant progress driven by the advent of large datasets and deep neural networks that have sidelined more classic AI approaches to the field. These systems can apparently demonstrate sophisticated linguistic understanding or generation capabilities, but often fail to transfer their skills to situations they have not encountered before. We argue that computational situated grounding provides a solution to some of these learning challenges by creating situational representations that both serve as a formal model of the salient phenomena, and contain rich amounts of exploitable, task appropriate data for training new, flexible computational models. Our model reincorporates some ideas of classic AI into a framework of neurosymbolic intelligence, using multimodal contextual modeling of interactive situations, events, and object properties. We discuss how situated grounding provides diverse data and multiple levels of modeling for a variety of AI learning challenges, including learning how to interact with object affordances, learning semantics for novel structures and configurations, and transferring such learned knowledge to new objects and situations.


The logarithmic Sobolev inequality for a submanifold in Euclidean space. We prove a sharp logarithmic Sobolev inequality which holds for submanifolds in Euclidean space of arbitrary dimension and codimension. Like the Michael Simon Sobolev inequality, this inequality includes a term involving the mean curvature.


Mutual Supervised Feature Modulation Network for Occluded Pedestrian Detection. State of the art pedestrian detectors have achieved significant progress on non occluded pedestrians, yet they are still struggling under heavy occlusions. The recent occlusion handling strategy of popular two stage approaches is to build a two branch architecture with the help of additional visible body annotations. Nonetheless, these methods still have some weaknesses. Either the two branches are trained independently with only score level fusion, which cannot guarantee the detectors to learn robust enough pedestrian features. Or the attention mechanisms are exploited to only emphasize on the visible body features. However, the visible body features of heavily occluded pedestrians are concentrated on a relatively small area, which will easily cause missing detections. To address the above issues, we propose in this paper a novel Mutual Supervised Feature Modulation (MSFM) network, to better handle occluded pedestrian detection. The key MSFM module in our network calculates the similarity loss of full body boxes and visible body boxes corresponding to the same pedestrian so that the full body detector could learn more complete and robust pedestrian features with the assist of contextual features from the occluding parts. To facilitate the MSFM module, we also propose a novel two branch architecture, consisting of a standard full body detection branch and an extra visible body classification branch. These two branches are trained in a mutual supervised way with full body annotations and visible body annotations, respectively. To verify the effectiveness of our proposed method, extensive experiments are conducted on two challenging pedestrian datasets Caltech and CityPersons, and our approach achieves superior performance compared to other state of the art methods on both datasets, especially in heavy occlusion case.


On the motivic oscillation index and bound of exponential sums modulo p m via analytic isomorphisms. Let f be a polynomial in n variables over some number field and Z a subscheme of affine n space. The notion of motivic oscillation index of f at Z was initiated by Cluckers (2008) and Cluckers Musta c t v a Nguyen (2019). In this paper we elaborate on this notion and raise several questions. The first one is stability under base field extension this question is linked to a deep understanding of the density of non archimedean local fields over which Igusa's local zeta functions of f has a pole with given real part. The second one is around Igusa's conjecture for exponential sums with bounds in terms of the motivic oscillation index. Thirdly, we wonder if the above questions only depend on the analytic isomorphism class of singularities. By using various techniques as the GAGA theorem, resolution of singularities and model theory, we can answer the third question up to a base field extension. Next, by using a transfer principle between non archimedean local fields of characteristic zero and positive characteristic, we can link all three questions with a conjecture on weights of ell adic cohomology groups of Artin Schreier sheaves associated to jet polynomials. This way, we can answer all questions positively if f is a polynomial of Thom Sebastiani type with non rational singularities. As a consequence, we prove Igusa's conjecture for arbitrary polynomials in three variables and polynomials with singularities of ADE type. In an appendix, we answer affirmatively a recent question of Cluckers Musta c t v a Nguyen (2019) on poles of twisted Igusa's local zeta functions of maximal order.


A Methodology for Creating Question Answering Corpora Using Inverse Data Annotation. In this paper, we introduce a novel methodology to efficiently construct a corpus for question answering over structured data. For this, we introduce an intermediate representation that is based on the logical query plan in a database called Operation Trees (OT). This representation allows us to invert the annotation process without losing flexibility in the types of queries that we generate. Furthermore, it allows for fine grained alignment of query tokens to OT operations. In our method, we randomly generate OTs from a context free grammar. Afterwards, annotators have to write the appropriate natural language question that is represented by the OT. Finally, the annotators assign the tokens to the OT operations. We apply the method to create a new corpus OTTA (Operation Trees and Token Assignment), a large semantic parsing corpus for evaluating natural language interfaces to databases. We compare OTTA to Spider and LC QuaD 2.0 and show that our methodology more than triples the annotation speed while maintaining the complexity of the queries. Finally, we train a state of the art semantic parsing model on our data and show that our corpus is a challenging dataset and that the token alignment can be leveraged to increase the performance significantly.


Learning Target Domain Specific Classifier for Partial Domain Adaptation. Unsupervised domain adaptation (UDA) aims at reducing the distribution discrepancy when transferring knowledge from a labeled source domain to an unlabeled target domain. Previous UDA methods assume that the source and target domains share an identical label space, which is unrealistic in practice since the label information of the target domain is agnostic. This paper focuses on a more realistic UDA scenario, i.e. partial domain adaptation (PDA), where the target label space is subsumed to the source label space. In the PDA scenario, the source outliers that are absent in the target domain may be wrongly matched to the target domain (technically named negative transfer), leading to performance degradation of UDA methods. This paper proposes a novel Target Domain Specific Classifier Learning based Domain Adaptation (TSCDA) method. TSCDA presents a soft weighed maximum mean discrepancy criterion to partially align feature distributions and alleviate negative transfer. Also, it learns a target specific classifier for the target domain with pseudo labels and multiple auxiliary classifiers, to further address classifier shift. A module named Peers Assisted Learning is used to minimize the prediction difference between multiple target specific classifiers, which makes the classifiers more discriminant for the target domain. Extensive experiments conducted on three PDA benchmark datasets show that TSCDA outperforms other state of the art methods with a large margin, e.g. 4 and 5.6 averagely on Office 31 and Office Home, respectively.


A proof of Carleson's varepsilon 2 conjecture. In this paper we provide a proof of the Carleson varepsilon 2 conjecture. This result yields a characterization (up to exceptional sets of zero length) of the tangent points of a Jordan curve in terms of the finiteness of the associated Carleson varepsilon 2 square function.


Direct Observation of a Feshbach resonance by Coincidence detection of Ions and Electrons in Penning Ionization Collisions. Observation of molecular dynamics with quantum state resolution is one of the major challenges in chemical physics. Complete characterization of collision dynamics leads to the microscopic understanding and unraveling of different quantum phenomena such as scattering resonances. We present a new experimental approach for observing molecular dynamics involving neutral particles and ions that is capable in providing state to state mapping of the dynamics. We use Penning ionization reaction between argon and metastable helium to generate argon ion and ground state helium atom pairs at separation of several angstroms. The energy of ejected electron carries the information about the initial electronic state of an ion. The coincidence detection of ionic products provides a state resolved description of the post ionization ion neutral dynamics. We demonstrate that correlation between the electron and ion energy spectra enables us to directly observe the spin orbit excited Feshbach resonance state of HeAr . We measure the lifetime of the quasi bound HeAr A 2 state and discuss possible applications of our method.


Berge equilibria in n person 2 strategy games. An algorithm for finding all Berge equilibria in the sense of Zhukovskii in n person 2 strategy games in pure and mixed strategies is given.


Intuitionistic Fixed Point Logic. We study the system IFP of intuitionistic fixed point logic, an extension of intuitionistic first order logic by strictly positive inductive and coinductive definitions. We define a realizability interpretation of IFP and use it to extract computational content from proofs about abstract structures specified by arbitrary classically true disjunction free formulas. The interpretation is shown to be sound with respect to a domain theoretic denotational semantics and a corresponding lazy operational semantics of a functional language for extracted programs. We also show how extracted programs can be translated into Haskell. As an application we extract a program converting the signed digit representation of real numbers to infinite Gray code from a proof of inclusion of the corresponding coinductive predicates.


Self Training for Unsupervised Parsing with PRPN. Neural unsupervised parsing (UP) models learn to parse without access to syntactic annotations, while being optimized for another task like language modeling. In this work, we propose self training for neural UP models we leverage aggregated annotations predicted by copies of our model as supervision for future copies. To be able to use our model's predictions during training, we extend a recent neural UP architecture, the PRPN (Shen et al., 2018a) such that it can be trained in a semi supervised fashion. We then add examples with parses predicted by our model to our unlabeled UP training data. Our self trained model outperforms the PRPN by 8.1 F1 and the previous state of the art by 1.6 F1. In addition, we show that our architecture can also be helpful for semi supervised parsing in ultra low resource settings.


Query Key Normalization for Transformers. Low resource language translation is a challenging but socially valuable NLP task. Building on recent work adapting the Transformer's normalization to this setting, we propose QKNorm, a normalization technique that modifies the attention mechanism to make the softmax function less prone to arbitrary saturation without sacrificing expressivity. Specifically, we apply ell 2 normalization along the head dimension of each query and key matrix prior to multiplying them and then scale up by a learnable parameter instead of dividing by the square root of the embedding dimension. We show improvements averaging 0.928 BLEU over state of the art bilingual benchmarks for 5 low resource translation pairs from the TED Talks corpus and IWSLT'15.


A Strict Complementarity Approach to Error Bound and Sensitivity of Solution of Conic Programs. In this paper, we provide an elementary, geometric, and unified framework to analyze conic programs that we call the strict complementarity approach. This framework allows us to establish error bounds and quantify the sensitivity of the solution. The framework uses three classical ideas from convex geometry and linear algebra linear regularity of convex sets, facial reduction, and orthogonal decomposition. We show how to use this framework to derive error bounds for linear programming (LP), second order cone programming (SOCP), and semidefinite programming (SDP).


b articulation points and b bridges in strongly biconnected directed graphs. A directed graph G (V,E) is called strongly biconnected if G is strongly connected and the underlying graph of G is biconnected. This class of directed graphs was first introduced by Wu and Grumbach. Let G (V,E) be a strongly biconnected directed graph. An edge e in E is a b bridge if the subgraph G setminus left lbrace e right rbrace (V,E setminus left lbrace e right rbrace) is not strongly biconnected. A vertex w in V is a b articulation point if G setminus left lbrace w right rbrace is not strongly biconnected, where G setminus left lbrace w right rbrace is the subgraph obtained from G by removing w . In this paper we study b articulation points and b bridges.


Analyzing the dominant SARS CoV 2 transmission routes towards an ab initio SEIR model. Identifying the relative importance of the different transmission routes of the SARS CoV 2 virus is an urgent research priority. To that end, the different transmission routes, and their role in determining the evolution of the Covid 19 pandemic are analyzed in this work. Probability of infection caused by inhaling virus laden droplets (initial, ejection diameters between 0.5 750 mu m ) and the corresponding desiccated nuclei that mostly encapsulate the virions post droplet evaporation, are individually calculated. At typical, air conditioned yet quiescent indoor space, for average viral loading, cough droplets of initial diameter between 10 50 mu m have the highest infection probability. However, by the time they are inhaled, the diameters reduce to about 1 6 th of their initial diameters. While the initially near unity infection probability due to droplets rapidly decays within the first 25s , the small yet persistent infection probability of desiccated nuclei decays appreciably only by mathcal O (1000s) , assuming the virus sustains equally well within the dried droplet nuclei as in the droplets. Combined with molecular collision theory adapted to calculate frequency of contact between the susceptible population and the droplet nuclei cloud, infection rate constants are derived ab initio, leading to a SEIR model applicable for any respiratory event vector combination. Viral load, minimum infectious dose, sensitivity of the virus half life to the phase of its vector and dilution of the respiratory jet puff by the entraining air are shown to mechanistically determine specific physical modes of transmission and variation in the basic reproduction number mathcal R 0 , from first principle calculations.


Twisted Dirac operator on quantum SU(2) in disc coordinates. The quantum disc is used to define a noncommutative analogue of a dense coordinate chart and of left invariant vector fields on quantum SU(2). This yields two twisted Dirac operators for different twists that are related by a gauge transformation and have bounded twisted commutators with a suitable algebra of differentiable functions on quantum SU(2).


Equivariant Cohomology of Configuration Spaces mod 2 The State of the Art. The equivariant cohomology of the classical configuration space F( mathbb R d,n) has been been of great interest and has been studied intensively starting with the classical papers by Artin (1925 1947) on the theory of braids, by Fox and Neuwirth (1962), Fadell and Neuwirth (1962), and Arnol'd (1969). We give a brief treatment of the subject from the beginnings to recent developments. However, we focus on the mod 2 equivariant cohomology algebras of the classical configuration space F( mathbb R d,n) , as described in an influential paper by Hung (1990). We show with a new, detailed proof that his main result is correct, but that the arguments that were given by Hung on the way to his result are not, as are some of the intermediate results in his paper. This invalidates a paper by three of the present authors, Blagojevi 'c, L "uck Ziegler (2016), who used a claimed intermediate result from Hung (1990) in order to derive lower bounds for the existence of k regular and ell skew embeddings. Using our new proof for Hung's main result, we get new lower bounds for existence of highly regular embeddings Some of them agree with the previously claimed bounds, some are weaker.


PubSub implementation in Haskell with formal verification in Coq. In the cloud, the technology is used on demand without the need to install anything on the desktop. Software as a Service is one of the many cloud architectures. The PubSub messaging pattern is a cloud based Software as a Service solution used in complex systems, especially in the notifications part where there is a need to send a message from one unit to another single unit or multiple units. Haskell is a generic typed programming language which has pioneered several advanced programming language features. Based on the lambda calculus system, it belongs to the family of functional programming languages. Coq, also based on a stricter version of lambda calculus, is a programming language that has a more advanced type system than Haskell and is mainly used for theorem proving i.e. proving software correctness. This paper aims to show how PubSub can be used in conjunction with cloud computing (Software as a Service), as well as to present an example implementation in Haskell and proof of correctness in Coq.


MaintNet A Collaborative Open Source Library for Predictive Maintenance Language Resources. Maintenance record logbooks are an emerging text type in NLP. They typically consist of free text documents with many domain specific technical terms, abbreviations, as well as non standard spelling and grammar, which poses difficulties to NLP pipelines trained on standard corpora. Analyzing and annotating such documents is of particular importance in the development of predictive maintenance systems, which aim to provide operational efficiencies, prevent accidents and save lives. In order to facilitate and encourage research in this area, we have developed MaintNet, a collaborative open source library of technical and domain specific language datasets. MaintNet provides novel logbook data from the aviation, automotive, and facilities domains along with tools to aid in their (pre )processing and clustering. Furthermore, it provides a way to encourage discussion on and sharing of new datasets and tools for logbook data analysis.


DLDL Dynamic Label Dictionary Learning via Hypergraph Regularization. For classification tasks, dictionary learning based methods have attracted lots of attention in recent years. One popular way to achieve this purpose is to introduce label information to generate a discriminative dictionary to represent samples. However, compared with traditional dictionary learning, this category of methods only achieves significant improvements in supervised learning, and has little positive influence on semi supervised or unsupervised learning. To tackle this issue, we propose a Dynamic Label Dictionary Learning (DLDL) algorithm to generate the soft label matrix for unlabeled data. Specifically, we employ hypergraph manifold regularization to keep the relations among original data, transformed data, and soft labels consistent. We demonstrate the efficiency of the proposed DLDL approach on two remote sensing datasets.


Logram Efficient Log Parsing Using n Gram Dictionaries. Software systems usually record important runtime information in their logs. Logs help practitioners understand system runtime behaviors and diagnose field failures. As logs are usually very large in size, automated log analysis is needed to assist practitioners in their software operation and maintenance efforts. Typically, the first step of automated log analysis is log parsing, i.e., converting unstructured raw logs into structured data. However, log parsing is challenging, because logs are produced by static templates in the source code (i.e., logging statements) yet the templates are usually inaccessible when parsing logs. Prior work proposed automated log parsing approaches that have achieved high accuracy. However, as the volume of logs grows rapidly in the era of cloud computing, efficiency becomes a major concern in log parsing. In this work, we propose an automated log parsing approach, Logram, which leverages n gram dictionaries to achieve efficient log parsing. We evaluated Logram on 16 public log datasets and compared Logram with five state of the art log parsing approaches. We found that Logram achieves a similar parsing accuracy to the best existing approaches while outperforms these approaches in efficiency (i.e., 1.8 to 5.1 times faster than the second fastest approaches). Furthermore, we deployed Logram on Spark and we found that Logram scales out efficiently with the number of Spark nodes (e.g., with near linear scalability) without sacrificing parsing accuracy. In addition, we demonstrated that Logram can support effective online parsing of logs, achieving similar parsing results and efficiency with the offline mode.


Components of Brill Noether Loci for Curves with Fixed Gonality. We describe a conjectural stratification of the Brill Noether variety for general curves of fixed genus and gonality. As evidence for this conjecture, we show that this Brill Noether variety has at least as many irreducible components as predicted by the conjecture, and that each of these components has the expected dimension. Our proof uses combinatorial and tropical techniques. Specifically, we analyze containment relations between the various strata of tropical Brill Noether loci identified by Pflueger in his classification of special divisors on chains of loops.


On planar graphs of uniform polynomial growth. Consider an infinite planar graph with uniform polynomial growth of degree d 2. Many examples of such graphs exhibit similar geometric and spectral properties, and it has been conjectured that this is necessary. We present a family of counterexamples. In particular, we show that for every rational d 2, there is a planar graph with uniform polynomial growth of degree d on which the random walk is transient, disproving a conjecture of Benjamini (2011). By a well known theorem of Benjamini and Schramm, such a graph cannot be a unimodular random graph. We also give examples of unimodular random planar graphs of uniform polynomial growth with unexpected properties. For instance, graphs of (almost sure) uniform polynomial growth of every rational degree d 2 for which the speed exponent of the walk is larger than 1 d, and in which the complements of all balls are connected. This resolves negatively two questions of Benjamini and Papasoglou (2011).


An optimal bound on the number of determinants generated by a subset in mathbb F q d . In this short note, we prove that for mathcal E subset mathbb F q d with mathcal E geq q d 1 O(q 2) then the set of determinants generated by mathcal E is mathbb F q. This result is nearly optimal and generalizes the previous results of Vinh (2013) and Iosevich, Rudnev and Zhai (2015).


Unsteady aerodynamics of porous aerofoils. We extend unsteady thin aerofoil theory to model aerofoils with generalised chordwise porosity distributions. The analysis considers a linearised porosity boundary condition where the seepage velocity through the aerofoil is related to the local pressure jump across the aerofoil surface and to the unsteady characteristics of the porous medium. Application of the Plemelj formulae to the resulting boundary value problem yields a singular Fredholm Volterra integral equation which does not admit an analytic solution. Accordingly, we develop a numerical solution scheme by expanding the bound vorticity distribution in terms of appropriate basis functions. Asymptotic analysis at the leading and trailing edges reveals that the appropriate basis functions are weighted Jacobi polynomials whose parameters are related to the porosity distribution. The Jacobi polynomial basis enables the construction of a numerical scheme that is accurate and rapid, in contrast to the standard choice of Chebyshev basis functions that are shown to be unsuitable for porous aerofoils. Applications of the numerical solution scheme to discontinuous porosity profiles, quasi static problems, and the separation of circulatory and non circulatory contributions are presented. Analogues to the classical Theodorsen and Sears functions are computed numerically, which show that an effect of trailing edge porosity is to reduce the amount of vorticity shed into the wake, thereby reducing the magnitude of the circulatory lift. Fourier transform inversion of these frequency domain functions produces porous extensions to the Wagner and K " u ssner functions for transient aerofoil motions or gust encounters, respectively.


An improved bound for the Gaussian concentration inequality. In this note, we provide an improved bound for the Gaussian concentration inequality. Our proof is short and bases on the integration by parts formula for the gaussian measure.


Groupwise Neighbor Examination for Tabu Search Detection in Large MIMO systems. In the conventional tabu search (TS) detection algorithm for multiple input multiple output (MIMO) systems, the metrics of all neighboring vectors are computed to determine the best one to move to. This strategy requires high computational complexity, especially in large MIMO systems with high order modulation schemes such as 16 and 64 QAM signaling. This paper proposes a novel reduced complexity TS detection algorithm called neighbor grouped TS (NG TS), which divides the neighbors into groups and finds the best neighbor by using a simplified cost function. Furthermore, based on the complexity analysis of NG TS, we propose a channel ordering scheme that further reduces its complexity. Simulation results show that the proposed NG TS with channel ordering can achieve up to 85 complexity reduction with respect to the conventional TS algorithm with no performance loss in both low and higher order modulation schemes.


Adaptive Transformers in RL. Recent developments in Transformers have opened new interesting areas of research in partially observable reinforcement learning tasks. Results from late 2019 showed that Transformers are able to outperform LSTMs on both memory intense and reactive tasks. In this work we first partially replicate the results shown in Stabilizing Transformers in RL on both reactive and memory based environments. We then show performance improvement coupled with reduced computation when adding adaptive attention span to this Stable Transformer on a challenging DMLab30 environment. The code for all our experiments and models is available at https github.com jerrodparker20 adaptive transformers in rl.


Multigraded minimal free resolutions of simplicial subclutters. This paper concerns the study of a class of clutters called simplicial subclutters. Given a clutter mathcal C and its simplicial subclutter mathcal D , we compare some algebraic properties and invariants of the ideals I, J associated to these two clutters, respectively. We give a formula for computing the (multi)graded Betti numbers of J in terms of those of I and some combinatorial data about mathcal D . As a result, we see that if mathcal C admits a simplicial subclutter, then there exists a monomial u notin I such that the (multi)graded Betti numbers of I (u) can be computed through those of I . It is proved that the Betti sequence of any graded ideal with linear resolution is the Betti sequence of an ideal associated to a simplicial subclutter of the complete clutter. These ideals turn out to have linear quotients. However, they do not form all the equigenerated square free monomial ideals with linear quotients. If mathcal C admits varnothing as a simplicial subclutter, then I has linear resolution over all fields. Examples show that the converse is not true.


The Abel Jacobi map of the space of conics for double sextic threefolds. Let X be a double cover of mathbb P 3 branched along a sextic surface Y . In this paper, we show that, for general X , the Abel Jacobi map associated to the normalization tilde F(X) of the surface F(X) of curves contained in X which are preimages of lines bitangent to Y , gives an isogeny between the Albanese variety of tilde F(X) and the intermediate Jacobian of X .


Abstractions and automated algorithms for mixed domain finite element methods. Mixed dimensional partial differential equations (PDEs) are equations coupling unknown fields defined over domains of differing topological dimension. Such equations naturally arise in a wide range of scientific fields including geology, physiology, biology and fracture mechanics. Mixed dimensional PDEs are also commonly encountered when imposing non standard conditions over a subspace of lower dimension e.g. through a Lagrange multiplier. In this paper, we present general abstractions and algorithms for finite element discretizations of mixed domain and mixed dimensional PDEs of co dimension up to one (i.e. nD mD with n m 1). We introduce high level mathematical software abstractions together with lower level algorithms for expressing and efficiently solving such coupled systems. The concepts introduced here have also been implemented in the context of the FEniCS finite element software. We illustrate the new features through a range of examples, including a constrained Poisson problem, a set of Stokes type flow models and a model for ionic electrodiffusion.


Sentence Embeddings for Russian NLU. We investigate the performance of sentence embeddings models on several tasks for the Russian language. In our comparison, we include such tasks as multiple choice question answering, next sentence prediction, and paraphrase identification. We employ FastText embeddings as a baseline and compare it to ELMo and BERT embeddings. We conduct two series of experiments, using both unsupervised (i.e., based on similarity measure only) and supervised approaches for the tasks. Finally, we present datasets for multiple choice question answering and next sentence prediction in Russian.


Electron Dynamics near Diamagnetic Regions of Comet 67P Churyumov Gerasimenko. The Rosetta spacecraft detected transient and sporadic diamagnetic regions around comet 67P Churyumov Gerasimenko. In this paper we present a statistical analysis of bulk and suprathermal electron dynamics, as well as a case study of suprathermal electron pitch angle distributions (PADs) near a diamagnetic region. Bulk electron densities are correlated with the local neutral density and we find a distinct enhancement in electron densities measured over the southern latitudes of the comet. Flux of suprathermal electrons with energies between tens of eV to a couple of hundred eV decreases each time the spacecraft enters a diamagnetic region. We propose a mechanism in which this reduction can be explained by solar wind electrons that are tied to the magnetic field and after having been transported adiabatically in a decaying magnetic field environment, have limited access to the diamagnetic regions. Our analysis shows that suprathermal electron PADs evolve from an almost isotropic outside the diamagnetic cavity to a field aligned distribution near the boundary. Electron transport becomes chaotic and non adiabatic when electron gyroradius becomes comparable to the size of the magnetic field line curvature, which determines the upper energy limit of the flux variation. This study is based on Rosetta observations at around 200 km cometocentric distance when the comet was at 1.24 AU from the Sun and during the southern summer cometary season.


Hierarchical Isometry Properties of Hierarchical Measurements. A new class of measurement operators, coined hierarchical measurement operators, and prove results guaranteeing the efficient, stable and robust recovery of hierarchically structured signals from such measurements. We derive bounds on their hierarchical restricted isometry properties based on the restricted isometry constants of their constituent matrices, generalizing and extending prior work on Kronecker product measurements. As an exemplary application, we apply the theory to two communication scenarios. The fast and scalable HiHTP algorithm is shown to be suitable for solving these types of problems and its performance is evaluated numerically in terms of sparse signal recovery and block detection capability.


Anytime Lane Level Intersection Estimation Based on Trajectories of Other Traffic Participants. Estimating and understanding the current scene is an inevitable capability of automated vehicles. Usually, maps are used as prior for interpreting sensor measurements in order to drive safely and comfortably. Only few approaches take into account that maps might be outdated and lead to wrong assumptions on the environment. This work estimates a lane level intersection topology without any map prior by observing the trajectories of other traffic participants. We are able to deliver both a coarse lane level topology as well as the lane course inside and outside of the intersection using Markov chain Monte Carlo sampling. The model is neither limited to a number of lanes or arms nor to the topology of the intersection. We present our results on an evaluation set of 1000 simulated intersections and achieve 99.9 accuracy on the topology estimation that takes only 36ms, when utilizing tracked object detections. The precise lane course on these intersections is estimated with an error of 15cm on average after 140ms. Our approach shows a similar level of precision on 14 real world intersections with 18cm average deviation on simple intersections and 27cm for more complex scenarios. Here the estimation takes only 113ms in total.


Comments on the NEMA NU 4 2008 Standard on Performance Measurement of Small Animal Positron Emission Tomographs. The National Electrical Manufacturers Association's (NEMA) NU 4 2008 standard specifies methodology for evaluating the performance of small animal PET scanners. The standard's goal is to enable comparison of different PET scanners over a wide range of technologies and geometries used. In this work, we discuss if the NEMA standard meets these goals and we point out potential flaws and improvements to the standard. For the evaluation of spatial resolution, the NEMA standard mandates the use of filtered backprojection reconstruction. This reconstruction method can introduce star like artifacts for detectors with an anisotropic spatial resolution, usually caused by parallax error. These artifacts can then cause a strong dependence of the resulting spatial resolution on the size of the projection window in image space, whose size is not fully specified in the NEMA standard. We show that the standard's equations for the estimation of the random rate for PET systems with intrinsic radioactivity are circular and not satisfiable. We compare random rates determined by a method based on the standard to to random rates obtained using a delayed coincidence window and two methods based on the singles rates. We discuss to what extend the NEMA standard's protocol for the evaluation of the sensitivity is unclear and ambiguous, which can lead to unclear interpretations of publicizeded results. The standard's definition of the recovery coefficients in the image quality phantom includes the maximum activity in a region of interest, which causes a positive correlation of noise and recovery coefficients. This leads to an unintended trade off between desired uniformity, which is negatively correlated with variance (i.e. noise), and recovery. With this work, we want to start a discussion on possible improvements in a next version of the NEMA NU 4 standard.