Crafting, Communality, and Computing Building on Existing Strengths To Support a Vulnerable Population. In Nepal, sex trafficking survivors and the organizations that support them have limited resources to assist the survivors in their on going journey towards reintegration. We take an asset based approach wherein we identify and build on the strengths possessed by such groups. In this work, we present reflections from introducing a voice annotated web application to a group of survivors. The web application tapped into and built upon two elements of pre existing strengths possessed by the survivors the social bond between them and knowledge of crafting as taught to them by the organization. Our findings provide insight into the array of factors influencing how the survivors act in relation to one another as they created novel use practices and adapted the technology. Experience with the application seemed to open knowledge of computing as a potential source of strength. Finally, we articulate three design desiderata that could help promote communal spaces make activity perceptible to the group, create appropriable steps, and build in fun choices.


Adapted Topologies and Higher Rank Signatures. The topology of weak convergence does not account for the growth of information over time that is captured in the filtration of an adapted stochastic process. For example, two adapted stochastic processes can have very similar laws but give completely different results in applications such as optimal stopping, queuing theory, or stochastic programming. To address such discontinuities, Aldous introduced the extended weak topology, and subsequently, Hoover and Keisler showed that both, weak topology and extended weak topology, are just the first two topologies in a sequence of topologies that get increasingly finer. We use higher rank expected signatures to embed adapted processes into graded linear spaces and show that these embeddings induce the adapted topologies of Hoover Keisler.


Residual Sparse Fuzzy C Means Clustering Incorporating Morphological Reconstruction and Wavelet frames. Instead of directly utilizing an observed image including some outliers, noise or intensity inhomogeneity, the use of its ideal value (e.g. noise free image) has a favorable impact on clustering. Hence, the accurate estimation of the residual (e.g. unknown noise) between the observed image and its ideal value is an important task. To do so, we propose an ell 0 regularization based Fuzzy C Means (FCM) algorithm incorporating a morphological reconstruction operation and a tight wavelet frame transform. To achieve a sound trade off between detail preservation and noise suppression, morphological reconstruction is used to filter an observed image. By combining the observed and filtered images, a weighted sum image is generated. Since a tight wavelet frame system has sparse representations of an image, it is employed to decompose the weighted sum image, thus forming its corresponding feature set. Taking it as data for clustering, we present an improved FCM algorithm by imposing an ell 0 regularization term on the residual between the feature set and its ideal value, which implies that the favorable estimation of the residual is obtained and the ideal value participates in clustering. Spatial information is also introduced into clustering since it is naturally encountered in image segmentation. Furthermore, it makes the estimation of the residual more reliable. To further enhance the segmentation effects of the improved FCM algorithm, we also employ the morphological reconstruction to smoothen the labels generated by clustering. Finally, based on the prototypes and smoothed labels, the segmented image is reconstructed by using a tight wavelet frame reconstruction operation. Experimental results reported for synthetic, medical, and color images show that the proposed algorithm is effective and efficient, and outperforms other algorithms.


Representations in Strange Duality Hilbert Schemes paired with higher rank spaces. We examine a sequence of examples of pairs of moduli spaces of sheaves on mathbb P 2 where Le Potier's strange duality is expected to hold. One of the moduli spaces in these pairs is the Hilbert scheme of two points. We compute the sections of the relevant theta bundle as a representation of SL(X) , where mathbb P 2 mathbb P(X) . For the higher rank space, we construct a moduli space using the resolution of exceptional bundles from Coskun, Huizenga, and Woolf. We compute a subspace of the sections of the theta bundle which is dual to the sections on the Hilbert scheme. In the second part, we use a result from Goller and Lin to rigorously apply the "finte Quot scheme method", introduced in Marian and Oprea, and Bertram, Goller, and Johnson. This requires us to prove that the kernels in appearing in the Quot scheme have the appropriate resolution by exceptional bundles.


Exponential and Laplace approximation for occupation statistics of branching random walk. We study occupancy counts for the critical nearest neighbor branching random walk on the d dimensional lattice, conditioned on non extinction. For d geq 3 , Lalley and Zheng (2011) showed that the properly scaled joint distribution of the number of sites occupied by j generation n particles, j 1,2, ldots , converges in distribution as n goes to infinity, to a deterministic multiple of a single exponential random variable. The limiting exponential variable can be understood as the classical Yaglom limit of the total population size of generation n . Here we study the second order fluctuations around this limit, first, by providing a rate of convergence in the Wasserstein metric that holds for all d geq3 , and second, by showing that for d geq 7 , the weak limit of the scaled joint differences between the number of occupancy j sites and appropriate multiples of the total population size converge in the Wasserstein metric to a multivariate symmetric Laplace distribution. We also provide a rate of convergence for this latter result.


Open Ended Long Form Video Question Answering via Hierarchical Convolutional Self Attention Networks. Open ended video question answering aims to automatically generate the natural language answer from referenced video contents according to the given question. Currently, most existing approaches focus on short form video question answering with multi modal recurrent encoder decoder networks. Although these works have achieved promising performance, they may still be ineffectively applied to long form video question answering due to the lack of long range dependency modeling and the suffering from the heavy computational cost. To tackle these problems, we propose a fast Hierarchical Convolutional Self Attention encoder decoder network(HCSA). Concretely, we first develop a hierarchical convolutional self attention encoder to efficiently model long form video contents, which builds the hierarchical structure for video sequences and captures question aware long range dependencies from video context. We then devise a multi scale attentive decoder to incorporate multi layer video representations for answer generation, which avoids the information missing of the top encoder layer. The extensive experiments show the effectiveness and efficiency of our method.


Chirality Nets for Human Pose Regression. We propose Chirality Nets, a family of deep nets that is equivariant to the "chirality transform," i.e., the transformation to create a chiral pair. Through parameter sharing, odd and even symmetry, we propose and prove variants of standard building blocks of deep nets that satisfy the equivariance property, including fully connected layers, convolutional layers, batch normalization, and LSTM GRU cells. The proposed layers lead to a more data efficient representation and a reduction in computation by exploiting symmetry. We evaluate chirality nets on the task of human pose regression, which naturally exploits the left right mirroring of the human body. We study three pose regression tasks 3D pose estimation from video, 2D pose forecasting, and skeleton based activity recognition. Our approach achieves matches state of the art results, with more significant gains on small datasets and limited data settings.


SemEval 2019 Task 6 Identifying and Categorizing Offensive Language in Social Media (OffensEval). We present the results and the main findings of SemEval 2019 Task 6 on Identifying and Categorizing Offensive Language in Social Media (OffensEval). The task was based on a new dataset, the Offensive Language Identification Dataset (OLID), which contains over 14,000 English tweets. It featured three sub tasks. In sub task A, the goal was to discriminate between offensive and non offensive posts. In sub task B, the focus was on the type of offensive content in the post. Finally, in sub task C, systems had to detect the target of the offensive posts. OffensEval attracted a large number of participants and it was one of the most popular tasks in SemEval 2019. In total, about 800 teams signed up to participate in the task, and 115 of them submitted results, which we present and analyze in this report.


On Multi Dimensional Gains from Trade Maximization. We study gains from trade in multi dimensional two sided markets. Specifically, we focus on a setting with n heterogeneous items, where each item is owned by a different seller i , and there is a constrained additive buyer with feasibility constraint mathcal F . Multi dimensional settings in one sided markets, e.g. where a seller owns multiple heterogeneous items but also is the mechanism designer, are well understood. In addition, single dimensional settings in two sided markets, e.g. where a buyer and seller each seek or own a single item, are also well understood. Multi dimensional two sided markets, however, encapsulate the major challenges of both lines of work optimizing the sale of heterogeneous items, ensuring incentive compatibility among both sides of the market, and enforcing budget balance. We present, to the best of our knowledge, the first worst case approximation guarantee for gains from trade in a multi dimensional two sided market. Our first result provides an O( log (1 r)) approximation to the first best gains from trade for a broad class of downward closed feasibility constraints (such as matroid, matching, knapsack, or the intersection of these). Here r is the minimum probability over all items that a buyer's value for the item exceeds the seller's cost. Our second result removes the dependence on r and provides an unconditional O( log n) approximation to the second best gains from trade. We extend both results for a general constrained additive buyer, losing another O( log n) factor en route.


Totally Asynchronous Distributed Quadratic Programming with Independent Stepsizes and Regularizations. Quadratic programs arise in robotics, communications, smart grids, and many other applications. As these problems grow in size, finding solutions becomes much more computationally demanding, and new algorithms are needed to efficiently solve them. Targeting large scale problems, we develop a multi agent quadratic programming framework in which each agent updates only a small number of the total decision variables in a problem. Agents communicate their updated values to each other, though we do not impose any restrictions on the timing with which they do so, nor on the delays in these transmissions. Furthermore, we allow weak parametric coupling among agents, in the sense that they are free to independently choose their stepsizes, subject to mild restrictions. We show that these stepsize restrictions depend upon a problem's condition number. We further provide the means for agents to independently regularize the problem they solve, thereby improving condition numbers and, as we will show, convergence properties, while preserving agents' independence in selecting parameters. Simulation results are provided to demonstrate the success of this framework on a practical quadratic program.


Learning based Funnel MPC for output constrained nonlinear systems. We exploit an adaptive control technique, namely funnel control, in order to establish both initial and recursive feasibility in Model Predictive Control (MPC) for output constrained nonlinear systems. Moreover, we show that the resulting feedback controller outperforms the funnel controller both w.r.t. the required sampling rate for a zero order hold implementation and required control action. We further propose a combination of funnel control and MPC, exploiting the performance guarantees of the model free funnel controller during a learning phase and the advantages of the model based MPC scheme thereafter.


Blitz starting QUIC Connections. In this paper, we revisit the idea to remove Slow Start from congestion control. To do so, we build upon the newly gained freedom of transport protocol extendability offered by QUIC to hint bandwidth estimates from a typical web client to a server. Using this bandwidth estimate, we bootstrap congestion windows of new connections to quickly utilize available bandwidth. This custom flow initialization removes the common early exit of Slow Start and thus fuels short flow fairness with long running connections. Our results indicate that we can drastically reduce flow completion time accepting some losses and thereby an inflated transmission volume. For example, for a typical DSL client, loading a 2 MB YouTube video chunk is accelerated by nearly 2x. In the worst case, we find an inflation of the transfer volume by 12 due to losses.


Convexity of constant mean curvature graphs in mathbb R n 1 with planar boundary. We study the Dirichlet problem for a graph Sigma in mathbb R n 1 with normalized constant mean curvature H 0 and planar boundary Gamma partial Omega . Our main result is that the optimal solvability condition, namely that the normalized mean curvature h of Gamma satisfies h geq H , also suffices when Omega is strictly convex, to prove the strict convexity of Sigma .


Routing for unmanned aerial vehicles touring dimensional sets. In this paper we deal with an extension of the crossing postman problem to design Hamiltonian routes that have to visit different shapes of dimensional elements (neighborhoods or polygonal chains) rather than edges. This problem models routes of drones that must visit a number of geographical elements to deliver some good or service and then move directly to the next target element using straight line displacements. We present two families of mathematical programming formulations. The first one is time dependent and captures a number of actual characteristics of real applications at the price of using three indexes variables. The second one are not referenced to the stages of the route. We compare them on a testbed of randomly generated instances with different shapes of elements second order cone representable (SOC) and polyhedral neighborhoods and polygonal chains. The computational result reported in this paper show that our models are useful and can solve to optimality medium size instances of sizes similar to other combinatorial problems with neighborhoods. To address larger instances we also present a heuristic algorithm that runs in two phases clustering and VNS. This algorithm performs very well in quality of solutions provided and can be used to initialize the exact methods with promising initial solutions.


Hadamard Codebook Based Deep Hashing. As an approximate nearest neighbor search technique, hashing has been widely applied in large scale image retrieval due to its excellent efficiency. Most supervised deep hashing methods have similar loss designs with embedding learning, while quantizing the continuous high dim feature into compact binary space. We argue that the existing deep hashing schemes are defective in two issues that seriously affect the performance, i.e., bit independence and bit balance. The former refers to hash codes of different classes should be independent of each other, while the latter means each bit should have a balanced distribution of 1s and 1s. In this paper, we propose a novel supervised deep hashing method, termed Hadamard Codebook based Deep Hashing (HCDH), which solves the above two problems in a unified formulation. Specifically, we utilize an off the shelf algorithm to generate a binary Hadamard codebook to satisfy the requirement of bit independence and bit balance, which subsequently serves as the desired outputs of the hash functions learning. We also introduce a projection matrix to solve the inconsistency between the order of Hadamard matrix and the number of classes. Besides, the proposed HCDH further exploits the supervised labels by constructing a classifier on top of the outputs of hash functions. Extensive experiments demonstrate that HCDH can yield discriminative and balanced binary codes, which well outperforms many state of the arts on three widely used benchmarks.


Concentration Phenomenon of Semiclassical States to Reaction Diffusion System. We consider the concentration phenomenon of semiclassical states to the following 2M component reaction diffusion system on R times R N , begin align left begin aligned partial t u eps 2 Delta x u u V(x)v partial v H(u, v), partial t v eps 2 Delta x v v V(x)u partial u H(u, v), end aligned right. end align where M geq 1 , N geq 1 , eps 0 is a small parameter, V in C 1( R N, , R) , H in C 1( R M times R M, , R) , and (u, v) R times R N to R M times R M . The system describing reaction and diffusion of chemicals or morphogens arises in theoretical physics, chemistry and biology. It is shown in this paper that ground states to the system concentrate around the local minimum points of V as eps to 0 . Our approach is variational, which is based upon a new linking type argument as well as iteration techniques.


Mutual Modality Learning for Video Action Classification. The construction of models for video action classification progresses rapidly. However, the performance of those models can still be easily improved by ensembling with the same models trained on different modalities (e.g. Optical flow). Unfortunately, it is computationally expensive to use several modalities during inference. Recent works examine the ways to integrate advantages of multi modality into a single RGB model. Yet, there is still a room for improvement. In this paper, we explore the various methods to embed the ensemble power into a single model. We show that proper initialization, as well as mutual modality learning, enhances single modality models. As a result, we achieve state of the art results in the Something Something v2 benchmark.


A 3D Convolutional Approach to Spectral Object Segmentation in Space and Time. We formulate object segmentation in video as a graph partitioning problem in space and time, in which nodes are pixels and their relations form local neighborhoods. We claim that the strongest cluster in this pixel level graph represents the salient object segmentation. We compute the main cluster using a novel and fast 3D filtering technique that finds the spectral clustering solution, namely the principal eigenvector of the graph's adjacency matrix, without building the matrix explicitly which would be intractable. Our method is based on the power iteration for finding the principal eigenvector of a matrix, which we prove is equivalent to performing a specific set of 3D convolutions in the space time feature volume. This allows us to avoid creating the matrix and have a fast parallel implementation on GPU. We show that our method is much faster than classical power iteration applied directly on the adjacency matrix. Different from other works, ours is dedicated to preserving object consistency in space and time at the level of pixels. For that, it requires powerful pixel wise features at the frame level. This makes it perfectly suitable for incorporating the output of a backbone network or other methods and fast improving over their solution without supervision. In experiments, we obtain consistent improvement, with the same set of hyper parameters, over the top state of the art methods on DAVIS 2016 dataset, both in unsupervised and semi supervised tasks. We also achieve top results on the well known SegTrackv2 dataset.


Enhancing Electric Fields in High Index Resonators by Flux Conservation of the Displacement Current Density. Concentrating light within subwavelength spatial regions is a central topic in nanophotonics. In this letter, we introduce a general principle for the subwavelength localization and enhancement of electric fields in high index resonators, based on the flux conservation of the displacement current density. We apply this design rule to a ring resonator by locally squeezing its section since the flux is conserved, the electric field is necessarily enhanced to compensate the reduction of the section area. The introduced principle may constitute an important step toward the control of the displacement current density at the nanoscale, guiding the design of the topology and the geometry of complex dielectric structures.


Octonionic bimodule. The structure of octonionic bimodules is formulated in this paper. It turns out that every octonionic bimodule is a tensor product, the category of octonionic bimodules is isomorphic to the category of real vector spaces. We show that there is also a real part structure on octonionic bimodules similar to the quaternion case. Different from the quaternion setting , the octonionic bimodule sturcture is uniquely determined by its left module structure and hence the real part can be obtained only by left multiplication. The structure of octonionic submodules generated by one element is more involved, which leads to many obstacles to further development of the octonionic functional analysis. We introduce a notion of cyclic decomposition to deal with this difficulty. Using this concept, we give a complete description of the submodule generated by one element in octonionic bimodules. This paper clears the barrier of the structure of O modules for the later study of octonionic functional analysis.


Minimod A Finite Difference solver for Seismic Modeling. This article introduces a benchmark application for seismic modeling using finite difference method, which is namedMiniMod, a mini application for seismic modeling. The purpose is to provide a benchmark suite that is, on one hand easy to build and adapt to the state of the art in programming models and changing high performance hardware landscape. On the other hand, the intention is to have a proxy application to actual production geophysical exploration workloads for Oil Gas exploration, and other geosciences applications based on the wave equation. From top to bottom, we describe the design concepts, algorithms, code structure of the application, and present the benchmark results on different current computer architectures.


An analogue of Pillai's theorem for continued fraction normality and an application to subsequences. We show that two notions of continued fraction normality, one where overlapping occurrences of finite patterns are counted as distinct occurrences, and another where only disjoint occurrences are counted as distinct, are identical. This equivalence involves an analogue of a theorem due to S. S. Pillai in 1940 for base b expansions. The proof requires techniques which are fundamentally different, since the continued fraction expansion utilizes a countably infinite alphabet, leading to a non compact space. Utilizing the equivalence of these two notions, we provide a new proof of Heersink and Vandehey's recent result that selection of subsequences along arithmetic progressions does not preserve continued fraction normality.


Almost Linear Time Algorithms for Minsum k Sink Problems on Dynamic Flow Path Networks. We address the facility location problems on dynamic flow path networks. A dynamic flow path network consists of an undirected path with positive edge lengths, positive edge capacities, and positive vertex weights. A path can be considered as a road, an edge length as the distance along the road and a vertex weight as the number of people at the site. An edge capacity limits the number of people that can enter the edge per unit time. In the dynamic flow network, given particular points on edges or vertices, called sinks, all the people evacuate from the vertices to the sinks as quickly as possible. The problem is to find the location of sinks on a dynamic flow path network in such a way that the aggregate evacuation time (i.e., the sum of evacuation times for all the people) to sinks is minimized. We consider two models of the problem the confluent flow model and the non confluent flow model. In the former model, the way of evacuation is restricted so that all the people at a vertex have to evacuate to the same sink, and in the latter model, there is no such restriction. In this paper, for both the models, we develop algorithms which run in almost linear time regardless of the number of sinks. It should be stressed that for the confluent flow model, our algorithm improves upon the previous result by Benkoczi et al. Theoretical Computer Science, 2020 , and one for the non confluent flow model is the first polynomial time algorithm.


On the Nonlinear Impulsive Volterra Fredholm Integrodifferential Equations. In this paper, we investigate existence and uniqueness of solutions of nonlinear Volterra Fredholm impulsive integrodifferential equations. Utilizing theory of Picard operators we examine data dependence of solutions on initial conditions and on nonlinear functions involved in integrodifferential equations. Further, we extend the integral inequality for piece wise continuous functions to mixed case and apply it to investigate the dependence of solution on initial data through epsilon approximate solutions. It is seen that the uniqueness and dependency results got by means of integral inequity requires less restrictions on the functions involved in the equations than that required through Picard operators theory.


Level sets of the Hyperbolic Derivative for analytic self maps of the unit disk. Let the function varphi be holomorphic in the unit disk mathbb D of the complex plane mathbb C and let varphi ( mathbb D ) subset mathbb D . We study the level sets and the critical points of the hyperbolic derivative of varphi , D varphi (z) frac (1 z 2) varphi'(z) 1 varphi(z) 2 . In particular, we show how the Schwarzian derivative of varphi reveals the nature of the critical points.


Parameter robust preconditioning by congruence for multiple network poroelasticity. The mechanical behaviour of a poroelastic medium permeated by multiple interacting fluid networks can be described by a system of time dependent partial differential equations known as the multiple network poroelasticity (MPET) equations or multi porosity multi permeability systems. These equations generalize Biot's equations, which describe the mechanics of the one network case. The efficient numerical solution of the MPET equations is challenging, in part due to the complexity of the system and in part due to the presence of interacting parameter regimes. In this paper, we present a new strategy for efficiently and robustly solving the MPET equations numerically. In particular, we introduce a new approach to formulating finite element methods and associated preconditioners for the MPET equations. The approach is based on designing transformations of variables that simultaneously diagonalize (by congruence) the equations' key operators and subsequently constructing parameter robust block diagonal preconditioners for the transformed system. Our methodology is supported by theoretical considerations as well as by numerical results.


Clique immersions and independence number. The analogue of Hadwiger's conjecture for the immersion order states that every graph G contains K chi (G) as an immersion. If true, it would imply that every graph with n vertices and independence number alpha contains K lceil frac n alpha rceil as an immersion. The best currently known bound for this conjecture is due to Gauthier, Le and Wollan, who recently proved that every graph G contains an immersion of a clique on bigl lceil frac chi (G) 4 3.54 bigr rceil vertices. Their result implies that every n vertex graph with independence number alpha contains an immersion of a clique on bigl lceil frac n 3.54 alpha 1.13 bigr rceil vertices. We improve on this result for all alpha ge 3 , by showing that every n vertex graph with independence number alpha ge 3 contains an immersion of a clique on bigl lfloor frac n 2.25 alpha f( alpha) bigr rfloor 1 vertices, where f is a nonnegative function.


Fast Lane Level Intersection Estimation using Markov Chain Monte Carlo Sampling and B Spline Refinement. Estimating the current scene and understanding the potential maneuvers are essential capabilities of automated vehicles. Most approaches rely heavily on the correctness of maps, but neglect the possibility of outdated information. We present an approach that is able to estimate lanes without relying on any map prior. The estimation is based solely on the trajectories of other traffic participants and is thereby able to incorporate complex environments. In particular, we are able to estimate the scene in the presence of heavy traffic and occlusions. The algorithm first estimates a coarse lane level intersection model by Markov chain Monte Carlo sampling and refines it later by aligning the lane course with the measurements using a non linear least squares formulation. We model the lanes as 1D cubic B splines and can achieve error rates of less than 10cm within real time.


Quasi projective monounary algebras. Wu and Jans introduced quasi projective modules where they say a cal R module cal M is quasi projective if for every submodule cal N , for every homomorphism f cal M rightarrow cal M cal N and every epimorphism j cal M rightarrow cal M cal N there is an endomorphism phi of cal M such that phi circ j f . We say that a structure cal S is quasi projective if for every structure cal T , for every homomorphism f cal S rightarrow cal T and every epimorphism j cal S rightarrow cal T there is an endomorphism phi of cal S such that phi circ j f . In 2004 D. Jakub 'ikov 'a Studenovsk 'a defined the concept of the factor algebra denoted by cal A cal B , where cal A is a monounary algebra and cal B is a subalgebra of cal A . In this paper, we characterise the quasi projective monounary algebras of arbitrary cardinalities for the definition of D. Jakub 'ikov 'a Studenovsk 'a and for the second definition.


Robust Ego and Object 6 DoF Motion Estimation and Tracking. The problem of tracking self motion as well as motion of objects in the scene using information from a camera is known as multi body visual odometry and is a challenging task. This paper proposes a robust solution to achieve accurate estimation and consistent track ability for dynamic multi body visual odometry. A compact and effective framework is proposed leveraging recent advances in semantic instance level segmentation and accurate optical flow estimation. A novel formulation, jointly optimizing SE(3) motion and optical flow is introduced that improves the quality of the tracked points and the motion estimation accuracy. The proposed approach is evaluated on the virtual KITTI Dataset and tested on the real KITTI Dataset, demonstrating its applicability to autonomous driving applications. For the benefit of the community, we make the source code public.


Exactly solvable model of gene expression in proliferating bacterial cell population with stochastic protein bursts and protein partitioning. Many of the existing stochastic models of gene expression contain the first order decay reaction term that may describe active protein degradation or dilution. If the model variable is interpreted as the molecule number, and not concentration, the decay term may also approximate the loss of protein molecules due to cell division as a continuous degradation process. The seminal model of that kind leads to gamma distributions of protein levels, whose parameters are defined by the mean frequency of protein bursts and mean burst size. However, such models (whether interpreted in terms of molecule numbers or concentrations) do not correctly account for the noise due to protein partitioning between daughter cells. We present an exactly solvable stochastic model of gene expression in cells dividing at random times, where we assume description in terms of molecule numbers with a constant mean protein burst size. The model is based on a population balance equation supplemented with protein production in random bursts. If protein molecules are partitioned equally between daughter cells, we obtain at steady state the analytical expressions for probability distributions similar in shape to gamma distribution, yet with quite different values of mean burst size and mean burst frequency than would result from fitting of the classical continuous decay model to these distributions. For random partitioning of protein molecules between daughter cells, we obtain the moment equations for the protein number distribution and thus the analytical formulas for the squared coefficient of variation.


Greedy Block Gauss Seidel Methods for Solving Large Linear Least Squares Problem. With a greedy strategy to construct control index set of coordinates firstly and then choosing the corresponding column submatrix in each iteration, we present a greedy block Gauss Seidel (GBGS) method for solving large linear least squares problem. Theoretical analysis demonstrates that the convergence factor of the GBGS method can be much smaller than that of the greedy randomized coordinate descent (GRCD) method proposed recently in the literature. On the basis of the GBGS method, we further present a pseudoinverse free greedy block Gauss Seidel method, which doesn't need to calculate the Moore Penrose pseudoinverse of the column submatrix in each iteration any more and hence can be achieved greater acceleration. Moreover, this method can also be used for distributed implementations. Numerical experiments show that, for the same accuracy, our methods can far outperform the GRCD method in terms of the iteration number and computing time.


Beyond the electric dipole approximation in simulations of X ray absorption spectroscopy Lessons from relativistic theory. We present three schemes to go beyond the electric dipole approximation in X ray absorption spectroscopy calculations within a four component relativistic framework. The first is based on the full semi classical light matter interaction operator, and the two others on a truncated interaction within Coulomb gauge (velocity representation) and multipolar gauge (length representation). We generalize the derivation of multipolar gauge to an arbitrary expansion point and show that the potentials corresponding to different expansion point are related by a gauge transformation, provided the expansion is not truncated. This suggests that the observed gauge origin dependence in multipolar gauge is more than just a finite basis set effect. The simplicity of the relativistic formalism enables arbitrary order implementations of the truncated interactions, with and without rotational averaging, allowing us to test their convergence behavior numerically by comparison to the full formulation. We confirm the observation that the oscillator strength of the electric dipole allowed ligand K edge transition of TiCl 4 , when calculated to second order in the wave vector, become negative, but also show that inclusion of higher order contributions allows convergence to the result obtained using the full light matter interaction. However, at higher energies, the slow convergence of such expansions becomes dramatic and renders such approaches at best impractical. When going beyond the electric dipole approximation, we therefore recommend the use of the full light matter interaction.


Independent Domination in Subcubic Graphs. A set S of vertices in a graph G is a dominating set if every vertex not in S is adjacent to a vertex in S . If, in addition, S is an independent set, then S is an independent dominating set. The independent domination number i(G) of G is the minimum cardinality of an independent dominating set in G . In 2013 Goddard and Henning Discrete Math 313 (2013), 839 854 conjectured that if G is a connected cubic graph of order n , then i(G) le frac 3 8 n , except if G is the complete bipartite graph K 3,3 or the 5 prism C 5 , Box , K 2 . Further they construct two infinite families of connected cubic graphs with independent domination three eighths their order. They remark that perhaps it is even true that for n 10 these two families are only families for which equality holds. In this paper, we provide a new family of connected cubic graphs G of order n such that i(G) frac 3 8 n . We also show that if G is a subcubic graph of order n with no isolated vertex, then i(G) le frac 1 2 n , and we characterize the graphs achieving equality in this bound.


Characterisation of L 0 boundedness for a general set of processes with no strictly positive element. We consider a general set mathcal X of adapted nonnegative stochastic processes in infinite continuous time. mathcal X is assumed to satisfy mild convexity conditions, but in contrast to earlier papers need not contain a strictly positive process. We introduce two boundedness conditions on mathcal X DSV corresponds to an asymptotic L 0 boundedness at the first time all processes in mathcal X vanish, whereas NUPBR rm loc states that mathcal X t X t X in mathcal X is bounded in L 0 for each t in 0, infty) . We show that both conditions are equivalent to the existence of a strictly positive adapted process Y such that XY is a supermartingale for all X in mathcal X , with an additional asymptotic strict positivity property for Y in the case of DSV.


A Spectral Generalization of Von Neumann Minimax Theorem. Given n times n real symmetric matrices A 1, dots, A m , the following it spectral minimax property holds min X in mathbf Delta n max y in S m sum i 1 m y iA i bullet X max y in S m min X in mathbf Delta n sum i 1 m y iA i bullet X, where S m is the simplex and mathbf Delta n the spectraplex. For diagonal A i 's this reduces to the classic minimax.


A least squares based nodal scheme for cell centered Lagrangian hydrodynamics. This paper presents a new and efficient nodal scheme for cell centered compressible flows in Lagrangian formulation. A single pressure and the velocity at cell vertex are computed by the nodal solver in a least squares sense, and both variables are used to evaluate the numerical flux across the cell interface. The resulting nodal velocity is also responsible for moving the mesh. The accuracy and robustness of the proposed method is studied by several numerical examples in the finite volume discretization, and compared with two other nodal Riemann solvers. It is shown that its performance is comparable to the latter two. Although the current paper mainly focuses on the first order finite volume (FV), its extension to higher order methods such as high order FV, discontinuous Galerkin (DG) or reconstructed discontinous Galerkin (rDG), is quite straightforward. And this method has the capability of easily extending to three dimensions.


Convexity properties of functions defined on metric Abelian groups. The notions of quasiconvexity, Wright convexity and convexity for functions defined on a metric Abelian group are introduced. Various characterizations of such functions, the structural properties of the functions classes so obtained are established and several well known results are extended to this new setting.


Permanent Magnet Penning Trap. The Penning trap has been investigated as the basis of a small nuclear fusion reactor using a superconducting solenoid magnet. To extend this investigation, we designed, constructed, and evaluated a permanent magnet Penning trap. The device consists of a solenoid formed from an annular array of neodymium bar magnets between two iron pole pieces designed to give a uniform magnetic field in the central volume of the device. Critical to achieving the uniform solenoidal field is an iron equatorial ring supported within the annular array of magnets. A nonmagnetic titanium Penning trap with hyperbolic surfaces designed to produce a spherical potential well was mounted inside the permanent magnet assembly. The trap was fitted with a nonmagnetic hairpin filament electron source and demonstrated to produce electron trapping at the theoretically predicted magnetic fields and trap potentials. Trap potentials achievable were limited by electrical breakdown within the trap operating in constant potential mode. Efforts were made to extend the trap potentials using pulsed anode voltages, but nuclear fusion in a Penning trap has not yet been demonstrated. The design and construction of the permanent magnet solenoid and nonmagnetic trap are presented here as potentially useful also in other studies.


Sharp inequalities for maximal operators on finite graphs, II. Let M G be the centered Hardy Littlewood maximal operator on a finite graph G . We find underset p to infty lim M G p p when G is the start graph ( S n ) and the complete graph ( K n ), and we fully describe M S n p and the corresponding extremizers for p in (1,2) . We prove that underset p to infty lim M S n p p frac 1 sqrt n 2 when n ge 25 . Also, we compute the best constant bf C S n,2 such that for every f V to mathbb R we have Var 2 M S n f le bf C S n,2 Var 2 f . We prove that bf C S n,2 frac (n 2 n 1) 1 2 n for all n geq 3 and characterize the extremizers. Moreover, when M is the Hardy Littlewood maximal operator on mathbb Z , we compute the best constant bf C p such that Var p Mf le bf C p f p for p in ( frac 1 2 ,1) and we describe the extremizers.


A geometric and combinatorial exploration of Hochschild lattices. Hochschild lattices are specific intervals in the dexter meet semilattices recently introduced by Chapoton. A natural geometric realization of these lattices leads to some cell complexes introduced by Saneblidze, called the Hochschild polytopes. We obtain several geometrical properties of the Hochschild lattices, namely we give cubic realizations, establish that these lattices are EL shellable, and show that they are constructible by interval doubling. We also prove several combinatorial properties as the enumeration of their k chains and compute their degree polynomials.


Is this sentence valid? An Arabic Dataset for Commonsense Validation. The commonsense understanding and validation remains a challenging task in the field of natural language understanding. Therefore, several research papers have been published that studied the capability of proposed systems to evaluate the models ability to validate commonsense in text. In this paper, we present a benchmark Arabic dataset for commonsense understanding and validation as well as a baseline research and models trained using the same dataset. To the best of our knowledge, this dataset is considered as the first in the field of Arabic text commonsense validation. The dataset is distributed under the Creative Commons BY SA 4.0 license and can be found on GitHub.


Outage Duration in Poisson Networks and its Application to Erasure Codes. We derive the probability distribution of the link outage duration at a typical receiver in a wireless network with Poisson distributed interferers sending messages with slotted random access over a Rayleigh fading channel. This result is used to analyze the performance of random linear network coding, showing that there is an optimum code rate and that interference correlation affects the decoding probability and throughput.


Measuring Nestedness A comparative study of the performance of different metrics. Nestedness is a property of interaction networks widely observed in natural mutualistic communities. Despite a widespread interest on this pattern, no general consensus exists on how to measure it. Instead, several metrics aiming at quantifying nestedness, based on different but not necessarily independent properties of the networks, coexist in the literature blurring the comparison between ecosystems. In this work, we present a detailed critical study of the behavior of six popular nestedness metrics and the variants of two of them. In order to evaluate their performance, we compare the obtained values of the nestedness of a large set of real networks among them and against a maximum entropy and maximum likelihood null model. Our results point out, first, that the metrics do not rank the degree of nestedness of networks universally. Furthermore, several metrics show significant undesired dependencies on the network properties considered. The study of these dependencies allows us to understand some of the systematic shifts between the real values of nestedness and the average over the null model. This paper intends to provide readers with a critical guide on how to measure nestedness patterns, by explaining the functioning of six standard metrics and two of its variants, and then disclosing its qualities and flaws. By doing so, we also aim to extend the application of the recently proposed null models based on maximum entropy to the still largely unexplored area of ecological networks. Finally, to complement the guide, we provide a fully documented repository named nullnest which gathers the codes to produce the null model and calculate the nestedness index both the real value and the null expectation using the studied metrics. The repository contains, moreover, the main results of the null model applied to a large dataset of more than 200 bipartite networks.


Investigating the effectiveness of web adblockers. We investigate adblocking filters and the extent to which websites and advertisers react when their content is impacted by these filters. We collected data daily from the Alexa Top 5000 web sites for 120 days, and from specific sites that newly appeared in filter lists for 140 days. By evaluating how long a filter rule triggers on a website, we can gauge how long it remains effective. We matched websites with both a regular adblocking filter list (EasyList) and with a specialized filter list that targets anti adblocking logic (Nano Defender). From our data, we observe that the effectiveness of the EasyList adblocking filter decays a modest 0.13 per day, and after around 80 days seems to stabilize. We found no evidence for any significant decay in effectiveness of the more specialized, but less widely used, anti adblocking removal filters.


SEIRD model to study the asymptomatic growth during COVID 19 pandemic in India. According to the current perception, symptomatic, presymptomatic, and asymptomatic infectious persons can infect the healthy population susceptible to the SARS Cov 2. More importantly, various reports indicate that the number of asymptomatic cases can be several fold higher than the reported symptomatic cases. In this article, we take the reported cases in India and various states within the country till September 1, as the specimen to understand the progression of the COVID 19. Employing a modified SEIRD model, we predict the spread of COVID 19 by the symptomatic as well as asymptomatic infectious population. Considering reported infection primarily due to symptomatic we compare the model predicted results with the available data to estimate the dynamics of the asymptomatically infected population. Our data indicate that in the absence of the asymptomatic infectious population, the number of symptomatic cases would have been much less. Therefore, the current progress of the symptomatic infection can be reduced by quarantining the asymptomatically infectious population via extensive or random testing. This study is motivated strictly towards academic pursuit this theoretical investigation is not meant for influencing policy decisions or public health practices.


Toward Low Cost and Stable Blockchain Networks. Envisioned to be the future of secured distributed systems, blockchain networks have received increasing attention from both the industry and academia in recent years. However, blockchain mining processes demand high hardware costs and consume a vast amount of energy (studies have shown that the amount of energy consumed in Bitcoin mining is almost the same as the electricity used in Ireland). To address the high mining cost problem of blockchain networks, in this paper, we propose a blockchain mining resources allocation algorithm to reduce the mining cost in PoW based (proof of work based) blockchain networks. We first propose an analytical queueing model for general blockchain networks. In our queueing model, transactions arrive randomly to the queue and are served in a batch manner with unknown service rate probability distribution and agnostic to any priority mechanism. Then, we leverage the Lyapunov optimization techniques to propose a dynamic mining resources allocation algorithm (DMRA), which is parameterized by a tuning parameter K 0 . We show that our algorithm achieves an O(1 K), O(K) cost optimality gap vs delay tradeoff. Our simulation results also demonstrate the effectiveness of DMRA in reducing mining costs.


On the Security and Applicability of Fragile Camera Fingerprints. Camera sensor noise is one of the most reliable device characteristics in digital image forensics, enabling the unique linkage of images to digital cameras. This so called camera fingerprint gives rise to different applications, such as image forensics and authentication. However, if images are publicly available, an adversary can estimate the fingerprint from her victim and plant it into spurious images. The concept of fragile camera fingerprints addresses this attack by exploiting asymmetries in data access While the camera owner will always have access to a full fingerprint from uncompressed images, the adversary has typically access to compressed images and thus only to a truncated fingerprint. The security of this defense, however, has not been systematically explored yet. This paper provides the first comprehensive analysis of fragile camera fingerprints under attack. A series of theoretical and practical tests demonstrate that fragile camera fingerprints allow a reliable device identification for common compression levels in an adversarial environment.


The Importance of Low Latency to Order Book Imbalance Trading Strategies. There is a pervasive assumption that low latency access to an exchange is a key factor in the profitability of many high frequency trading strategies. This belief is evidenced by the "arms race" undertaken by certain financial firms to co locate with exchange servers. To the best of our knowledge, our study is the first to validate and quantify this assumption in a continuous double auction market with a single exchange similar to the New York Stock Exchange. It is not feasible to conduct this exploration with historical data in which trader identity and location are not reported. Accordingly, we investigate the relationship between latency of access to order book information and profitability of trading strategies exploiting that information with an agent based interactive discrete event simulation in which thousands of agents pursue archetypal trading strategies. We introduce experimental traders pursuing a low latency order book imbalance (OBI) strategy in a controlled manner across thousands of simulated trading days, and analyze OBI trader profit while varying distance (latency) from the exchange. Our experiments support that latency is inversely related to profit for the OBI traders, but more interestingly show that latency rank, rather than absolute magnitude, is the key factor in allocating returns among agents pursuing a similar strategy.


Effective Approximation for a Stochastic System with Large Potential. This letter is about effective approximation for a stochastic parabolic equation with a large potential in a periodic medium. Under a condition on the spectral properties of the associated cell problem, we prove that the solution can be approximately factorized as the product of a fast oscillating cell eigenfunction and of a solution of an effective equation.


Moment based analysis of biochemical networks in a heterogeneous population of communicating cells. Cells can utilize chemical communication to exchange information and coordinate their behavior in the presence of noise. Communication can reduce noise to shape a collective response, or amplify noise to generate distinct phenotypic subpopulations. Here we discuss a moment based approach to study how cell cell communication affects noise in biochemical networks that arises from both intrinsic and extrinsic sources. We derive a system of approximate differential equations that captures lower order moments of a population of cells, which communicate by secreting and sensing a diffusing molecule. Since the number of obtained equations grows combinatorially with number of considered cells, we employ a previously proposed model reduction technique, which exploits symmetries in the underlying moment dynamics. Importantly, the number of equations obtained in this way is independent of the number of considered cells such that the method scales to arbitrary population sizes. Based on this approach, we study how cell cell communication affects population variability in several biochemical networks. Moreover, we analyze the accuracy and computational efficiency of the moment based approximation by comparing it with moments obtained from stochastic simulations.


Finite Boundary Regularity for Conformally Compact Einstein Manifolds of Dimension 4. We prove that a 4 dimensional C 2 conformally compact Einstein manifold with H "older continuous scalar curvature and with C m, alpha boundary metric has a C m, alpha compactification. We also study the regularity of the new structure and the new defining function. This is a supplementary proof of Anderson's work and an improvement of Helliwell's result in dimension 4.


Earlier Attention? Aspect Aware LSTM for Aspect Based Sentiment Analysis. Aspect based sentiment analysis (ABSA) aims to predict fine grained sentiments of comments with respect to given aspect terms or categories. In previous ABSA methods, the importance of aspect has been realized and verified. Most existing LSTM based models take aspect into account via the attention mechanism, where the attention weights are calculated after the context is modeled in the form of contextual vectors. However, aspect related information may be already discarded and aspect irrelevant information may be retained in classic LSTM cells in the context modeling process, which can be improved to generate more effective context representations. This paper proposes a novel variant of LSTM, termed as aspect aware LSTM (AA LSTM), which incorporates aspect information into LSTM cells in the context modeling stage before the attention mechanism. Therefore, our AA LSTM can dynamically produce aspect aware contextual representations. We experiment with several representative LSTM based models by replacing the classic LSTM cells with the AA LSTM cells. Experimental results on SemEval 2014 Datasets demonstrate the effectiveness of AA LSTM.


Quantifying the unfairness of the 2018 FIFA World Cup qualification. This paper investigates the fairness of the 2018 FIFA World Cup qualifying competition via Monte Carlo simulations. The qualifying probabilities are calculated for 102 nations, all teams except for African and European countries. A method is proposed to quantify the degree of unfairness. Although the qualifications within four FIFA confederations are constructed fairly, serious differences are found between the continents for instance, a South American team could have tripled its chances by playing in Asia. Choosing a fixed matchup in the inter continental play offs instead of the current random draw can reduce the unfairness of the competition. The move of Australia from the Oceanian to the Asian zone is shown to increase its probability of participating in the 2018 FIFA World Cup by about 65 . Our results provide important insights for the administrators on how to reallocate the qualifying berths.


Untwisting 3 strand torus knots. We prove that the signature bound for the topological 4 genus of 3 strand torus knots is sharp, using McCoy's twisting method. We also show that the bound is off by at most 1 for 4 strand and 6 strand torus knots, and improve the upper bound on the asymptotic ratio between the topological 4 genus and the Seifert genus of torus knots from 2 3 to 14 27.


Where are the Keys? Learning Object Centric Navigation Policies on Semantic Maps with Graph Convolutional Networks. Emerging object based SLAM algorithms can build a graph representation of an environment comprising nodes for robot poses and object landmarks. However, while this map will contain static objects such as furniture or appliances, many moveable objects (e.g. the car keys, the glasses, or a magazine), are not suitable as landmarks and will not be part of the map due to their non static nature. We show that Graph Convolutional Networks can learn navigation policies to find such unmapped objects by learning to exploit the hidden probabilistic model that governs where these objects appear in the environment. The learned policies can generalise to object classes unseen during training by using word vectors that express semantic similarity as representations for object nodes in the graph. Furthermore, we show that the policies generalise to unseen environments with only minimal loss of performance. We demonstrate that pre training the policy network with a proxy task can significantly speed up learning, improving sample efficiency.


Local extrema for Procustes problems in the set of positive definite matrices. Given two positive definite matrices A and B , a well known result by Gelfand, Naimark and Lidskii establishes a relationship between the eigenvalues of A and B and those of AB by means of majorization inequalities. In this work we make a local study focused in the spectrum of the matrices that achieve the equality in those inequalities. As an application, we complete some previous results concerning Procustes problems for unitarily invariant norms in the manifold of positive definite matrices.


A B "uchi Elgot Trakhtenbrot theorem for automata with MSO graph storage. We introduce MSO graph storage types, and call a storage type MSO expressible if it is isomorphic to some MSO graph storage type. An MSO graph storage type has MSO definable sets of graphs as storage configurations and as storage transformations. We consider sequential automata with MSO graph storage and associate with each such automaton a string language (in the usual way) and a graph language a graph is accepted by the automaton if it represents a correct sequence of storage configurations for a given input string. For each MSO graph storage type, we define an MSO logic which is a subset of the usual MSO logic on graphs. We prove a B "uchi Elgot Trakhtenbrot theorem, both for the string case and the graph case. Moreover, we prove that (i) each MSO graph transduction can be used as storage transformation in an MSO graph storage type, (ii) every automatic storage type is MSO expressible, and (iii) the pushdown operator on storage types preserves the property of MSO expressibility. Thus, the iterated pushdown storage types are MSO expressible.


On nonlinear pest vector control via the Sterile Insect Technique impact of residual fertility. We consider a minimalist model for the Sterile Insect Technique (SIT), assuming that residual fertility can occur in the sterile male population.Taking into account that we are able to get regular measurements from the biological system along the control duration, such as the size of the wild insect population, we study different control strategies that involve either continuous or periodic impulsive releases. We show that a combination of open loop control with constant large releases and closed loop nonlinear control, i.e. when releases are adjusted according to the wild population size estimates, leads to the best strategy in terms both of number of releases and total quantity of sterile males to be released.Last but not least, we show that SIT can be successful only if the residual fertility is less than a threshold value that depends on the wild population biological parameters. However, even for small values, the residual fertility induces the use of such large releases that SIT alone is not always reasonable from a practical point of view and thus requires to be combined with other control tools. We provide applications against a mosquito species, textit Aedes albopictus , and a fruit fly, textit Bactrocera dorsalis , and discuss the possibility of using SIT when residual fertility, among the sterile males, can occur.


Interdisciplinary research and technological impact. Interdisciplinary research has been considered as a solution to today's complex societal challenges. While its relationship with scientific impact has been extensively studied, the technological impact of interdisciplinary research remains unexplored. Here, we examine how interdisciplinarity is associated with technological impact at the paper level. We measure the degree of interdisciplinarity of a paper using three popular indicators, namely variety, balance, and disparity, and track how it gets cited by patented technologies over time. Drawing on a large sample of biomedical papers published in 18 years, we find that papers that cites more fields (variety) and whose distributions over those cited fields are more even (balance) are more likely to receive patent citations, but both effects can be offset if papers draw upon more distant fields (disparity). Those associations are consistent across different citation window lengths. Additional analysis that focuses on the subset of papers with at least one patent citation reveals that the intensity of their technological impact, as measured as the number of patent citations, increases with balance and disparity. Our work may have policy implications for interdisciplinary research and scientific and technology impact.


Sarkisov Links with centres space curves on smooth cubic surfaces. We construct and study Sarkisov links obtained by blowing up smooth space curves lying on smooth cubic surfaces. We restrict our attention to the case where the blowup is not weak Fano. Together with the results of arXiv 1106.3716 which cover the weak Fano case, we provide a classification of all such curves. This is achieved by computing all curves which satisfy certain necessary criteria on their multisecant curves and then constructing the Sarkisov link step by step.


Control Synthesis from Linear Temporal Logic Specifications using Model Free Reinforcement Learning. We present a reinforcement learning (RL) framework to synthesize a control policy from a given linear temporal logic (LTL) specification in an unknown stochastic environment that can be modeled as a Markov Decision Process (MDP). Specifically, we learn a policy that maximizes the probability of satisfying the LTL formula without learning the transition probabilities. We introduce a novel rewarding and path dependent discounting mechanism based on the LTL formula such that (i) an optimal policy maximizing the total discounted reward effectively maximizes the probabilities of satisfying LTL objectives, and (ii) a model free RL algorithm using these rewards and discount factors is guaranteed to converge to such policy. Finally, we illustrate the applicability of our RL based synthesis approach on two motion planning case studies.


Lissajous 3 braids. We classify 3 braids arising from collision free choreographic motions of 3 bodies on Lissajous plane curves, and present a parametrization in terms of levels and (Christoffel) slopes. Each of these Lissajous 3 braids represents a pseudo Anosov mapping class whose dilatation increases when the level ascends in the natural numbers or when the slope descends in the Stern Brocot tree. We also discuss 4 symbol frieze patterns that encode cutting sequences of geodesics along the Farey tessellation in relation to odd continued fractions of quadratic surds for the Lissajous 3 braids.


Orthogonal Language and Task Adapters in Zero Shot Cross Lingual Transfer. Adapter modules, additional trainable parameters that enable efficient fine tuning of pretrained transformers, have recently been used for language specialization of multilingual transformers, improving downstream zero shot cross lingual transfer. In this work, we propose orthogonal language and task adapters (dubbed orthoadapters) for cross lingual transfer. They are trained to encode language and task specific information that is complementary (i.e., orthogonal) to the knowledge already stored in the pretrained transformer's parameters. Our zero shot cross lingual transfer experiments, involving three tasks (POS tagging, NER, NLI) and a set of 10 diverse languages, 1) point to the usefulness of orthoadapters in cross lingual transfer, especially for the most complex NLI task, but also 2) indicate that the optimal adapter configuration highly depends on the task and the target language. We hope that our work will motivate a wider investigation of usefulness of orthogonality constraints in language and task specific fine tuning of pretrained transformers.


Total heat flux convergence in the calculation of 2d and 3d heat losses through building elements. Heat losses through the building envelope is one of the key factors in the calculation of the building energy balance. If steady state heat conduction is observed, which is commonly used to assess the heat losses in building, there is an analytical solution for one dimensional problem. For two and three dimensional problems, especially for the complex geometry cases, one must use numerical methods to solve the heat conduction equation. To standardise two and three dimensional calculation of heat losses through building elements, ISO 10211 standard can be used. The standard has four benchmark examples with criteria that must be satisfied to declare a method as a high precision calculation method. A problem occurs for Case 1 of benchmark test because the analysed problem has a singular point due to discretely assigned Dirichlet boundary conditions. The reliability of the results around the singular point could be improved by the refinement of the mesh in the area around the singular point, but as a point of interest is the total heat flux that is entering the building element, and it must converge between subdivisions, this method is not good since the reliable result cannot be reached. The problem for the convergence is in the marginal node because the temperature gradient in it increases as the temperature difference remains constant and the distance between the corresponding nodes decreases. For that reason, Case 1 from the benchmark is inadequate because even if there is a discontinuity in temperature field on the boundary, there is an interval in which this change is to happen, and the heat flux has a theoretical limit which is not infinity. From the results of this research, it is shown that one should neglect a certain number of singular points in order to achieve the tolerance given by the standard since the temperature further from the marginal node is stable for any subdivision.


Detecting Machine Translated Text using Back Translation. Machine translated text plays a crucial role in the communication of people using different languages. However, adversaries can use such text for malicious purposes such as plagiarism and fake review. The existing methods detected a machine translated text only using the text's intrinsic content, but they are unsuitable for classifying the machine translated and human written texts with the same meanings. We have proposed a method to extract features used to distinguish machine human text based on the similarity between the intrinsic text and its back translation. The evaluation of detecting translated sentences with French shows that our method achieves 75.0 of both accuracy and F score. It outperforms the existing methods whose the best accuracy is 62.8 and the F score is 62.7 . The proposed method even detects more efficiently the back translated text with 83.4 of accuracy, which is higher than 66.7 of the best previous accuracy. We also achieve similar results not only with F score but also with similar experiments related to Japanese. Moreover, we prove that our detector can recognize both machine translated and machine back translated texts without the language information which is used to generate these machine texts. It demonstrates the persistence of our method in various applications in both low and rich resource languages.


Strong convergence theorem for Walsh Kaczmarz Fej 'er means. As main result we prove that Fej 'er means of Walsh Kaczmarz Fourier series are uniformly bounded operators from the Hardy martingale space H p to the Hardy martingale space H p for 0 p leq 1 2.


Phase control of a z current driven plasma column. A dynamic mitigation is presented for sausage and kink instability growths of a z current driven magnetized plasma column. We have proposed a dynamic mitigation method based on a phase control to smooth plasma non uniformities and to mitigate the instability growth in perturbed plasma systems. In this paper we found that a wobbling motion of the z current electron axis induces a phase controlled perturbation, so that the growths of the sausage and kink instabilities are successfully mitigated. In general, plasma instabilities emerge from perturbations, and the perturbation phase is normally unknown. However, if the perturbation phase is known or actively imposed by, for example, a designed driver wobbling behavior, the instability growth would be controlled and mitigated by a superimposition of the perturbations imposed. The results in this paper demonstrate that the wobbling z current electron beam would provide an improvement in the plasma column stability and uniformity.


Appearance Preserving 3D Convolution for Video based Person Re identification. Due to the imperfect person detection results and posture changes, temporal appearance misalignment is unavoidable in video based person re identification (ReID). In this case, 3D convolution may destroy the appearance representation of person video clips, thus it is harmful to ReID. To address this problem, we propose AppearancePreserving 3D Convolution (AP3D), which is composed of two components an Appearance Preserving Module (APM) and a 3D convolution kernel. With APM aligning the adjacent feature maps in pixel level, the following 3D convolution can model temporal information on the premise of maintaining the appearance representation quality. It is easy to combine AP3D with existing 3D ConvNets by simply replacing the original 3D convolution kernels with AP3Ds. Extensive experiments demonstrate the effectiveness of AP3D for video based ReID and the results on three widely used datasets surpass the state of the arts. Code is available at https github.com guxinqian AP3D.


Are you really looking at me? A Feature Extraction Framework for Estimating Interpersonal Eye Gaze from Conventional Video. Despite a revolution in the pervasiveness of video cameras in our daily lives, one of the most meaningful forms of nonverbal affective communication, interpersonal eye gaze, i.e. eye gaze relative to a conversation partner, is not available from common video. We introduce the Interpersonal Calibrating Eye gaze Encoder (ICE), which automatically extracts interpersonal gaze from video recordings without specialized hardware and without prior knowledge of participant locations. Leveraging the intuition that individuals spend a large portion of a conversation looking at each other enables the ICE dynamic clustering algorithm to extract interpersonal gaze. We validate ICE in both video chat using an objective metric with an infrared gaze tracker (F1 0.846, N 8), as well as in face to face communication with expert rated evaluations of eye contact (r 0.37, N 170). We then use ICE to analyze behavior in two different, yet important affective communication domains interrogation based deception detection, and communication skill assessment in speed dating. We find that honest witnesses break interpersonal gaze contact and look down more often than deceptive witnesses when answering questions (p 0.004, d 0.79). In predicting expert communication skill ratings in speed dating videos, we demonstrate that interpersonal gaze alone has more predictive power than facial expressions.


DeblurGAN v2 Deblurring (Orders of Magnitude) Faster and Better. We present a new end to end generative adversarial network (GAN) for single image motion deblurring, named DeblurGAN v2, which considerably boosts state of the art deblurring efficiency, quality, and flexibility. DeblurGAN v2 is based on a relativistic conditional GAN with a double scale discriminator. For the first time, we introduce the Feature Pyramid Network into deblurring, as a core building block in the generator of DeblurGAN v2. It can flexibly work with a wide range of backbones, to navigate the balance between performance and efficiency. The plug in of sophisticated backbones (e.g., Inception ResNet v2) can lead to solid state of the art deblurring. Meanwhile, with light weight backbones (e.g., MobileNet and its variants), DeblurGAN v2 reaches 10 100 times faster than the nearest competitors, while maintaining close to state of the art results, implying the option of real time video deblurring. We demonstrate that DeblurGAN v2 obtains very competitive performance on several popular benchmarks, in terms of deblurring quality (both objective and subjective), as well as efficiency. Besides, we show the architecture to be effective for general image restoration tasks too. Our codes, models and data are available at https github.com KupynOrest DeblurGANv2


Private and Communication Efficient Edge Learning A Sparse Differential Gaussian Masking Distributed SGD Approach. With rise of machine learning (ML) and the proliferation of smart mobile devices, recent years have witnessed a surge of interest in performing ML in wireless edge networks. In this paper, we consider the problem of jointly improving data privacy and communication efficiency of distributed edge learning, both of which are critical performance metrics in wireless edge network computing. Toward this end, we propose a new decentralized stochastic gradient method with sparse differential Gaussian masked stochastic gradients (SDM DSGD) for non convex distributed edge learning. Our main contributions are three fold i) We theoretically establish the privacy and communication efficiency performance guarantee of our SDM DSGD method, which outperforms all existing works ii) We show that SDM DSGD improves the fundamental training privacy trade off by em two orders of magnitude compared with the state of the art. iii) We reveal theoretical insights and offer practical design guidelines for the interactions between privacy preservation and communication efficiency, two conflicting performance goals. We conduct extensive experiments with a variety of learning models on MNIST and CIFAR 10 datasets to verify our theoretical findings. Collectively, our results contribute to the theory and algorithm design for distributed edge learning.


Multi agent Reinforcement Learning Accelerated MCMC on Multiscale Inversion Problem. In this work, we propose a multi agent actor critic reinforcement learning (RL) algorithm to accelerate the multi level Monte Carlo Markov Chain (MCMC) sampling algorithms. The policies (actors) of the agents are used to generate the proposal in the MCMC steps and the critic, which is centralized, is in charge of estimating the long term reward. We verify our proposed algorithm by solving an inverse problem with multiple scales. There are several difficulties in the implementation of this problem by using traditional MCMC sampling. Firstly, the computation of the posterior distribution involves evaluating the forward solver, which is very time consuming for a problem with heterogeneous. We hence propose to use the multi level algorithm. More precisely, we use the generalized multiscale finite element method (GMsFEM) as the forward solver in evaluating a posterior distribution in the multi level rejection procedure. Secondly, it is hard to find a function which can generate samplings which are meaningful. To solve this issue, we learn an RL policy as the proposal generator. Our experiments show that the proposed method significantly improves the sampling process


Edge assisted Viewport Adaptive Scheme for real time Omnidirectional Video transmission. Omnidirectional applications are immersive and highly interactive, which can improve the efficiency of remote collaborative work among factory workers. The transmission of omnidirectional video (OV) is the most important step in implementing virtual remote collaboration. Compared with the ordinary video transmission, OV transmission requires more bandwidth, which is still a huge burden even under 5G networks. The tile based scheme can reduce bandwidth consumption. However, it neither accurately obtain the field of view(FOV) area, nor difficult to support real time OV streaming. In this paper, we propose an edge assisted viewport adaptive scheme (EVAS OV) to reduce bandwidth consumption during real time OV transmission. First, EVAS OV uses a Gated Recurrent Unit(GRU) model to predict users' viewport. Then, users were divided into multicast clusters thereby further reducing the consumption of computing resources. EVAS OV reprojects OV frames to accurately obtain users' FOV area from pixel level and adopt a redundant strategy to reduce the impact of viewport prediction errors. All computing tasks were offloaded to edge servers to reduce the transmission delay and improve bandwidth utilization. Experimental results show that EVAS OV can save more than 60 of bandwidth compared with the non viewport adaptive scheme. Compared to a two layer scheme with viewport adaptive, EVAS OV still saves 30 of bandwidth.


Dog Identification using Soft Biometrics and Neural Networks. This paper addresses the problem of biometric identification of animals, specifically dogs. We apply advanced machine learning models such as deep neural network on the photographs of pets in order to determine the pet identity. In this paper, we explore the possibility of using different types of "soft" biometrics, such as breed, height, or gender, in fusion with "hard" biometrics such as photographs of the pet's face. We apply the principle of transfer learning on different Convolutional Neural Networks, in order to create a network designed specifically for breed classification. The proposed network is able to achieve an accuracy of 90.80 and 91.29 when differentiating between the two dog breeds, for two different datasets. Without the use of "soft" biometrics, the identification rate of dogs is 78.09 but by using a decision network to incorporate "soft" biometrics, the identification rate can achieve an accuracy of 84.94 .


Neural Network based Deep Transfer Learning for Cross domain Dependency Parsing. In this paper, we describe the details of the neural dependency parser sub mitted by our team to the NLPCC 2019 Shared Task of Semi supervised do main adaptation subtask on Cross domain Dependency Parsing. Our system is based on the stack pointer networks(STACKPTR). Considering the im portance of context, we utilize self attention mechanism for the representa tion vectors to capture the meaning of words. In addition, to adapt three dif ferent domains, we utilize neural network based deep transfer learning which transfers the pre trained partial network in the source domain to be a part of deep neural network in the three target domains (product comments, product blogs and web fiction) respectively. Results on the three target domains demonstrate that our model performs competitively.


A fast multi object tracking system using an object detector ensemble. Multiple Object Tracking (MOT) is of crucial importance for applications such as retail video analytics and video surveillance. Object detectors are often the computational bottleneck of modern MOT systems, limiting their use for real time applications. In this paper, we address this issue by leveraging on an ensemble of detectors, each running every f frames. We measured the performance of our system in the MOT16 benchmark. The proposed model surpassed other online entries of the MOT16 challenge in speed, while maintaining an acceptable accuracy.


A Comparison of Pair and Triple Partition Relations. This paper considers three different partition relations from partition calculus, two of which are pair relations and one of which is a triple relation. An examination of the first partition relation and the ramification argument used to prove it will motivate questions regarding how to strengthen it. These questions will lead to an examination of the second partition relation and its submodel argument where the answers to those questions will motivate further questions. The final partition relation will then be compared to the prior two and an analysis of its strength will motivate final questions that will guide future mathematicians who wish to prove claims about positive or negative triple partition relations.


NL4DV A Toolkit for Generating Analytic Specifications for Data Visualization from Natural Language Queries. Natural language interfaces (NLIs) have shown great promise for visual data analysis, allowing people to flexibly specify and interact with visualizations. However, developing visualization NLIs remains a challenging task, requiring low level implementation of natural language processing (NLP) techniques as well as knowledge of visual analytic tasks and visualization design. We present NL4DV, a toolkit for natural language driven data visualization. NL4DV is a Python package that takes as input a tabular dataset and a natural language query about that dataset. In response, the toolkit returns an analytic specification modeled as a JSON object containing data attributes, analytic tasks, and a list of Vega Lite specifications relevant to the input query. In doing so, NL4DV aids visualization developers who may not have a background in NLP, enabling them to create new visualization NLIs or incorporate natural language input within their existing systems. We demonstrate NL4DV's usage and capabilities through four examples 1) rendering visualizations using natural language in a Jupyter notebook, 2) developing a NLI to specify and edit Vega Lite charts, 3) recreating data ambiguity widgets from the DataTone system, and 4) incorporating speech input to create a multimodal visualization system.


Motif Discovery Algorithms in Static and Temporal Networks A Survey. Motifs are the fundamental components of complex systems. The topological structure of networks representing complex systems and the frequency and distribution of motifs in these networks are intertwined. The complexities associated with graph and subgraph isomorphism problems, as the core of frequent subgraph mining, have direct impacts on the performance of motif discovery algorithms. To cope with these complexities, researchers have adopted different strategies for candidate generation and enumeration, and frequency computation. In the past few years, there has been an increasing interest in the analysis and mining of temporal networks. These networks, in contrast to their static counterparts, change over time in the form of insertion, deletion, or substitution of edges or vertices or their attributes. In this paper, we provide a survey of motif discovery algorithms proposed in the literature for mining static and temporal networks and review the corresponding algorithms based on their adopted strategies for candidate generation and frequency computation. As we witness the generation of a large amount of network data in social media platforms, bioinformatics applications, and communication and transportation networks and the advance in distributed computing and big data technology, we also conduct a survey on the algorithms proposed to resolve the CPU bound and I O bound problems in mining static and temporal networks.


Anisotropic elliptic equations with gradient dependent lower order terms and L 1 data. We prove the existence of a weak solution for a general class of Dirichlet anisotropic elliptic problems such as mathcal Au Phi(x,u, nabla u) mathfrak B u f in Omega , where Omega is a bounded open subset of mathbb R N and f in L 1( Omega) is arbitrary. The principal part is a divergence form nonlinear anisotropic operator mathcal A , the prototype of which is mathcal A u sum j 1 N partial j( partial j u p j 2 partial j u) with p j 1 for all 1 leq j leq N and sum j 1 N (1 p j) 1 . As a novelty in this paper, our lower order terms involve a new class of operators mathfrak B such that mathcal A mathfrak B is bounded, coercive and pseudo monotone from W 0 1, overrightarrow p ( Omega) into its dual, as well as a gradient dependent nonlinearity Phi with an "anisotropic natural growth" in the gradient and a good sign condition.


Asymptotics of the powers in finite reductive groups. Let G be a connected reductive group defined over mathbb F q . Fix an integer M geq 2 , and consider the power map x mapsto x M on G . We denote the image of G( mathbb F q) under this map by G( mathbb F q) M and estimate what proportion of regular semisimple, semisimple and regular elements of G( mathbb F q) it contains. We prove that as q to infty , all of these proportions are equal and provide a formula for the same. We also calculate this more explicitly for the groups text GL (n,q) and text U (n,q) .


Absolute measurement of laser ionization yield in atmospheric pressure range gases over 14 decades. Strong field ionization is central to intense laser matter interactions. However, standard ionization measurements have been limited to extremely low density gas samples, ignoring potential high density effects. Here, we measure strong field ionization in atmospheric pressure range air, N2 and Ar over 14 decades of absolute yield, using mid IR picosecond avalanche multiplication of single electrons. Our results are consistent with theoretical rates for isolated atoms and molecules and quantify the ubiquitous presence of ultra low concentration gas contaminants that can significantly affect laser gas interactions.


Decentralized Proximal Gradient Algorithms with Linear Convergence Rates. This work studies a class of non smooth decentralized multi agent optimization problems where the agents aim at minimizing a sum of local strongly convex smooth components plus a common non smooth term. We propose a general primal dual algorithmic framework that unifies many existing state of the art algorithms. We establish linear convergence of the proposed method to the exact solution in the presence of the non smooth term. Moreover, for the more general class of problems with agent specific non smooth terms, we show that linear convergence cannot be achieved (in the worst case) for the class of algorithms that uses the gradients and the proximal mappings of the smooth and non smooth parts, respectively. We further provide a numerical counterexample that shows how some state of the art algorithms fail to converge linearly for strongly convex objectives and different local non smooth terms.


Multi Domain Multi Task Rehearsal for Lifelong Learning. Rehearsal, seeking to remind the model by storing old knowledge in lifelong learning, is one of the most effective ways to mitigate catastrophic forgetting, i.e., biased forgetting of previous knowledge when moving to new tasks. However, the old tasks of the most previous rehearsal based methods suffer from the unpredictable domain shift when training the new task. This is because these methods always ignore two significant factors. First, the Data Imbalance between the new task and old tasks that makes the domain of old tasks prone to shift. Second, the Task Isolation among all tasks will make the domain shift toward unpredictable directions To address the unpredictable domain shift, in this paper, we propose Multi Domain Multi Task (MDMT) rehearsal to train the old tasks and new task parallelly and equally to break the isolation among tasks. Specifically, a two level angular margin loss is proposed to encourage the intra class task compactness and inter class task discrepancy, which keeps the model from domain chaos. In addition, to further address domain shift of the old tasks, we propose an optional episodic distillation loss on the memory to anchor the knowledge for each old task. Experiments on benchmark datasets validate the proposed approach can effectively mitigate the unpredictable domain shift.


Near surface ocean kinetic energy spectra and small scale intermittency from ship data in the Bay of Bengal. Horizontal currents in the Bay of Bengal were measured on eight cruises covering a total of 8600 km using a 300 kHz Acoustic Doppler Current Profiler (ADCP). The cruises are distributed over multiple seasons and regions of the Bay. Horizontal wavenumber spectra of these currents over depths of 12 54 m and wavelengths from 2 400 km were decomposed into vortical and divergent components assuming isotropy. An average of across and along track spectra over all cruises shows that the spectral slope of horizontal kinetic energy for wavelengths of 10 80 km scales with an exponent of 1.7 pm 0.05 , which transitions to steeper scaling for wavelengths above 80 km . The rotational component is significantly larger than the divergent component at scales greater than 80 km , while the two are comparable for smaller wavelengths. The measurements show a fair amount of variability and spectral levels vary between cruises by about a factor of 5 over 10 100 km . Velocity differences over 10 80 km show probability density functions and structure functions with stretched exponential behavior and anomalous scaling. Comparisons with the Garrett Munk internal wave spectrum indicate that inertia gravity waves account for only a small fraction of the kinetic energy except at the smallest scales. These constraints suggest that the near surface flow in the Bay is primarily balanced and follows a forward enstrophy transfer quasigeostrophic regime for wavelengths greater than approximately 80 km, with a larger role for unbalanced rotating stratified turbulence and internal waves at smaller scales.


Effect of skin to skin contact on stimulation threshold and dosimetry. The human dosimetry for electromagnetic field exposure is an essential task to develop exposure guidelines standards for human safety as well as product safety assessment. At frequencies from a few hundred Hz to 10 MHz, the adverse effect to be protected is the stimulation of the peripheral nervous system. The in situ electric field in the skin is used as a surrogate of nerve activation. In the low frequency dosimetry, a high but inaccurate in situ electric field has been reported at positions where a skin to skin contact exists, whose relation to the stimulation is controversial. One of the reasons for high electric fields may be attributable to the current resolution of anatomical models. In this study, we first evaluate the stimulation threshold at postures of skin to skin contact experimentally for different hand finger positions to represent skin touching non touching scenarios. We confirm that the skin to skin contact does not lower the threshold current of magnetic stimulation devices needed to induce pain. Second, a new method is proposed for hand modeling to configure different finger positions using static hand models with similar postures to the experiments. We compute the in situ electric field at skin to skin contact for the different hand posture scenarios that indicate an excessive raise of the electric field in skin to skin regions that is not justified by the experiments. The comparison suggests that a high in situ electric field in the skin would be caused by poor modeling of the skin layers, which is not enough to represent in a resolution of the order of a millimeter. This skin to skin contact should not be considered to set the restriction in the international exposure guidelines standards as well as product safety assessment.


3dDepthNet Point Cloud Guided Depth Completion Network for Sparse Depth and Single Color Image. In this paper, we propose an end to end deep learning network named 3dDepthNet, which produces an accurate dense depth image from a single pair of sparse LiDAR depth and color image for robotics and autonomous driving tasks. Based on the dimensional nature of depth images, our network offers a novel 3D to 2D coarse to fine dual densification design that is both accurate and lightweight. Depth densification is first performed in 3D space via point cloud completion, followed by a specially designed encoder decoder structure that utilizes the projected dense depth from 3D completion and the original RGB D images to perform 2D image completion. Experiments on the KITTI dataset show our network achieves state of art accuracy while being more efficient. Ablation and generalization tests prove that each module in our network has positive influences on the final results, and furthermore, our network is resilient to even sparser depth.


On an equation characterizing multi cubic mappings and its stability and hyperstability. In this paper, we introduce n variables mappings which are cubic in each variable. We show that such mappings satisfy a functional equation. The main purpose is to extend the applications of a fixed point method to establish the Hyers Ulam stability for the multi cubic mappings. As a consequence, we prove that a multi cubic functional equation can be hyperstable.


Digital Low Level RF control system for Advanced Light Source Storage Ring. We have commissioned the digital Low Level RF (LLRF) system for storage ring RF at Advanced Light Source at Lawrence Berkeley National Lab (LBNL). The system is composed of 42 synchronous sampling channels for feedback control, diagnostics, and interlocks. The closed loop RF amplitude and phase stability is measured as 0.1 and 0.1 degree respectively, and the real time machine protection interlock latency is measured 2.5 microsecond. We have also developed PLC FPGA EPICS interfaces to support system configurations between hybrid operation modes using two klystrons driving two RF cavities at 500MHz resonance frequency. The deployed LLRF system has been operating since March 2017.


Population Monotonic Allocation Schemes for Vertex Cover Games. For vertex cover games (introduced by Deng et al., Math. Oper. Res., 24 751 766, 1999), we investigate population monotonic allocation schemes (introduced by Sprumont, Games Econ. Behav., 2 378 394, 1990). We show that the existence of a population monotonic allocation scheme (PMAS for short) for vertex cover games can be determined efficiently and that a PMAS, if exists, can be constructed accordingly. We also show that integral PMAS es for vertex cover games can be characterized with stable matchings and be enumerated by employing Gale Shapley algorithm (introduced by Gale and Shapley, Amer. Math. Monthly, 69 9 15, 1962).


Reconstruction of r Regular Objects from Trinary Images. We study digital images of r regular objects where a pixel is black if it is completely inside the object, white if it is completely inside the complement of the object, and grey otherwise. We call such images trinary. We discuss possible configurations of pixels in trinary images of r regular objects at certain resolutions and propose a method for reconstructing objects from such images. We show that the reconstructed object is close to the original object in Hausdorff norm, and that there is a homeomorphism of the plane taking the reconstructed set to the original.


Stable Central Limit Theorems for Super Ornstein Uhlenbeck Processes, II. This paper is a continuation of our recent paper (Elect. J. Probab. 24 (2019), no. 141) and is devoted to the asymptotic behavior of a class of supercritical super Ornstein Uhlenbeck processes (X t) t geq 0 with branching mechanisms of infinite second moment. In the aforementioned paper, we proved stable central limit theorems for X t(f) for some functions f of polynomial growth in three different regimes. However, we were not able to prove central limit theorems for X t(f) for all functions f of polynomial growth. In this note, we show that the limit stable random variables in the three different regimes are independent, and as a consequence, we get stable central limit theorems for X t(f) for all functions f of polynomial growth.


On the Numerical Solution of the Near Field Refractor Problem. A numerical scheme is presented to solve the one source near field refractor problem to arbitrary precision and it is proved that the scheme terminates in a finite number of iterations. The convergence of the algorithm depends upon proving appropriate Lipschitz estimates for the refractor measure. The algorithm is presented in general terms and has independent interest.


New Approaches for Natural Language Understanding based on the Idea that Natural Language encodes both Information and its Processing Procedures. We must recognize that natural language is a way of information encoding, and it encodes not only the information but also the procedures for how information is processed. To understand natural language, the same as we conceive and design computer languages, the first step is to separate information (or data) and the processing procedures of information (or data). In natural language, some processing procedures of data are encoded directly as the structure chunk and the pointer chunk (this paper has reclassified lexical chunks as the data chunk, structure chunk, and the pointer chunk) some processing procedures of data imply in sentences structures some requests of processing procedures are expressed by information senders and processed by information receivers. For the data parts, the classification encoding system of attribute information and the information organization architecture (including constitutional structures of information sets and the hierarchy between the information sets) were discussed. In section 2, the theoretical part elaborated in section 2 has been verified in examples and proofed that the studies in this paper have achieved the goal of enabling machines to understand the information conveyed in the dialogue. In section 4, the author summarizes the basic conditions of "Understanding", rethinks what "Understanding" is and how to proceed. The study in this paper provides a practical, theoretical basis and research methods for NLU. It also can be applied in large scale and multi type information processing in the artificial intelligence (AI) area.