Time evolving controllability of effective connectivity networks during seizure progression. Over one third of the estimated 3 million people with epilepsy in the US are medication resistant. Responsive neurostimulation from chronically implanted electrodes provides a promising treatment option and alternative to resective surgery. However, determining personalized optimal stimulation parameters, including when and where to intervene to guarantee a positive patient outcome, is a major open challenge. Network neuroscience and control theory offer useful tools that may guide improvements in parameter selection for control of anomalous neural activity. Here we use a novel method to characterize dynamic controllability across consecutive effective connectivity (EC) networks based on regularized partial correlations between implanted electrodes during the onset, propagation, and termination phases of thirty four seizures. We estimate regularized partial correlation adjacency matrices from one second time windows of intracranial electrocorticography recordings using the Graphical Least Absolute Shrinkage and Selection Operator (GLASSO). Average and modal controllability metrics calculated from each resulting EC network track the time varying controllability of the brain on an evolving landscape of conditionally dependent network interactions. We show that average controllability increases throughout a seizure and is negatively correlated with modal controllability throughout. Furthermore, our results support the hypothesis that the energy required to drive the brain to a seizure free state from an ictal state is smallest during seizure onset yet, we find that applying control energy at electrodes in the seizure onset zone may not always be energetically favorable. Our work suggests that a low complexity model of time evolving controllability may offer new insights for developing and improving control strategies targeting seizure suppression.


Heteroglossia In Situ Story Ideation with the Crowd. Ideation is essential for creative writing. Many authors struggle to come up with ideas throughout the writing process, yet modern writing tools fail to provide on the spot assistance for writers when they get stuck. This paper introduces Heteroglossia, an add on for Google Docs that allows writers to elicit story ideas from the online crowd using their text editors. Writers can share snippets of their working drafts and ask the crowd to provide follow up story ideas based on it. Heteroglossia employs a strategy called "role play", where each worker is assigned a fictional character in a story and asked to brainstorm plot ideas from that character's perspective. Our deployment with two experienced story writers shows that Heteroglossia is easy to use and can generate interesting ideas. Heteroglossia allows us to gain insight into how future technologies can be developed to support ideation in creative writing


A Girl Has A Name Detecting Authorship Obfuscation. Authorship attribution aims to identify the author of a text based on the stylometric analysis. Authorship obfuscation, on the other hand, aims to protect against authorship attribution by modifying a text's style. In this paper, we evaluate the stealthiness of state of the art authorship obfuscation methods under an adversarial threat model. An obfuscator is stealthy to the extent an adversary finds it challenging to detect whether or not a text modified by the obfuscator is obfuscated a decision that is key to the adversary interested in authorship attribution. We show that the existing authorship obfuscation methods are not stealthy as their obfuscated texts can be identified with an average F1 score of 0.87. The reason for the lack of stealthiness is that these obfuscators degrade text smoothness, as ascertained by neural language models, in a detectable manner. Our results highlight the need to develop stealthy authorship obfuscation methods that can better protect the identity of an author seeking anonymity.


Homotopy versus isotopy spheres with duals in 4 manifolds. David Gabai recently proved a smooth 4 dimensional "Light Bulb Theorem" in the absence of 2 torsion in the fundamental group. We extend his result to 4 manifolds with arbitrary fundamental group by showing that an invariant of Mike Freedman and Frank Quinn gives the complete obstruction to "homotopy implies isotopy" for embedded 2 spheres which have a common geometric dual. The invariant takes values in an Z 2Z vector space generated by elements of order 2 in the fundamental group and has applications to unknotting numbers and pseudo isotopy classes of self diffeomorphisms. Our methods also give an alternative approach to Gabai's theorem using various maneuvers with Whitney disks and a fundamental isotopy between surgeries along dual circles in an orientable surface.


Local terms of the motivic Verdier pairing. We prove an analogue of a theorem of Varshavsky in the motivic stable homotopy category, which states that for a contracting correspondence, the local terms of the Verdier pairing agree with the naive local terms. We also show that some mathbb A 1 enumerative invariants, such as the local mathbb A 1 Brouwer degree and the Euler class with support, can be interpreted as local terms.


PolyFrame A Retargetable Query based Approach to Scaling DataFrames (Extended Version). In the last few years, the field of data science has been growing rapidly as various businesses have adopted statistical and machine learning techniques to empower their decision making and applications. Scaling data analysis, possibly including the application of custom machine learning models, to large volumes of data requires the utilization of distributed frameworks. This can lead to serious technical challenges for data analysts and reduce their productivity. AFrame, a Python data analytics library, is implemented as a layer on top of Apache AsterixDB, addressing these issues by incorporating the data scientists' development environment and transparently scaling out the evaluation of analytical operations through a Big Data management system. While AFrame is able to leverage data management facilities (e.g., indexes and query optimization) and allows users to interact with a very large volume of data, the initial version only generated SQL queries and only operated against Apache AsterixDB. In this work, we describe a new design that retargets AFrame's incremental query formation to other query based database systems as well, making it more flexible for deployment against other data management systems with composable query languages.


Diffusion in heterogeneous discs and spheres new closed form expressions for exit times and homogenization formulae. Mathematical models of diffusive transport underpin our understanding of chemical, biochemical and biological transport phenomena. Analysis of such models often focusses on relatively simple geometries and deals with diffusion through highly idealised homogeneous media. In contrast, practical applications of diffusive transport theory inevitably involve dealing with more complicated geometries as well as dealing with heterogeneous media. One of the most fundamental properties of diffusive transport is the concept of mean particle lifetime or mean exit time, which are particular applications of the concept of first passage time, and provide the mean time required for a diffusing particle to reach an absorbing boundary. Most formal analysis of mean particle lifetime applies to relatively simple geometries, often with homogeneous (spatially invariant) material properties. In this work, we present a general framework that provides exact mathematical insight into the mean particle lifetime, and higher moments of particle lifetime, for point particles diffusing in heterogeneous discs and spheres with radial symmetry. Our analysis applies to geometries with an arbitrary number and arrangement of distinct layers, where transport in each layer is characterised by a distinct diffusivity. We obtain exact closed form expressions for the mean particle lifetime for a diffusing particle released at an arbitrary location and we generalise these results to give exact, closed form expressions for any higher order moment of particle lifetime for a range of different boundary conditions. Finally, using these results we construct new homogenization formulae that provide an accurate simplified description of diffusion through heterogeneous discs and spheres.


Weighted estimates of the Cayley transform method for boundary value problems in a Banach space. We consider the boundary value problems (BVPs) for linear secondorder ODEs with a strongly positive operator coefficient in a Banach space. The solutions are given in the form of the infinite series by means of the Cayley transform of the operator, the Meixner type polynomials of the independent variable, the operator Green function and the Fourier series representation for the right hand side of the equation. The approximate solution of each problem is a partial sum of N (or expressed through N) summands. We prove the weighted error estimates depending on the discretization parameter N, the distance of the independent variable to the boundary points of the interval and some smoothness properties of the input data.


Adversarial Ranking Attack and Defense. Deep Neural Network (DNN) classifiers are vulnerable to adversarial attack, where an imperceptible perturbation could result in misclassification. However, the vulnerability of DNN based image ranking systems remains under explored. In this paper, we propose two attacks against deep ranking systems, i.e., Candidate Attack and Query Attack, that can raise or lower the rank of chosen candidates by adversarial perturbations. Specifically, the expected ranking order is first represented as a set of inequalities, and then a triplet like objective function is designed to obtain the optimal perturbation. Conversely, a defense method is also proposed to improve the ranking system robustness, which can mitigate all the proposed attacks simultaneously. Our adversarial ranking attacks and defense are evaluated on datasets including MNIST, Fashion MNIST, and Stanford Online Products. Experimental results demonstrate that a typical deep ranking system can be effectively compromised by our attacks. Meanwhile, the system robustness can be moderately improved with our defense. Furthermore, the transferable and universal properties of our adversary illustrate the possibility of realistic black box attack.


Pietsch correspondence for symmetric functionals on Calkin operator spaces associated with semifinite von Neumann algebras. In this paper we extend the Pietsch correspondence for ideals of compact operators and traces on them to the semifinite setting. We prove that a shift monotone space E( Z) of sequences indexed by Z defines a Calkin space E( cM, tau) of tau measurable operators affiliated with a semifinite von Neumann algebra cM equipped with a faithful normal semifinite trace tau . Furthermore, we show that shift invariant functionals on E( Z) generate symmetric functionals on E( cM, tau) . In the special case, when the algebra cM is atomless or atomic with atoms of equal trace, the converse also holds and we have a bijective correspondence between all shift monotone spaces E( Z) and Calkin spaces E( cM, tau) as well as a bijective correspondence between shift invariant functionals on E( Z) and symmetric functionals on E( cM, tau) . The bijective correspondence E( Z) leftrightarrows E( cM, tau) extends to a correspondence between complete symmetrically Delta normed spaces E( cM, tau) and complete Delta normed shift monotone spaces E( Z) .


The equivalence between rational G sheaves and rational G Mackey functors for profinite G. For G a profinite group, we construct an equivalence between rational G Mackey functors and a certain full subcategory of G sheaves over the space of closed subgroups of G called Weyl G sheaves. This subcategory consists of those sheaves whose stalk over a subgroup K is K fixed. This extends the classification of rational G Mackey functors for finite G of Th ' e venaz and Webb, and Greenlees and May to a new class of examples. Moreover, this equivalence is instrumental in the classification of rational G spectra for profinite G, as given in the second author's thesis.


Neural Keyphrase Generation via Reinforcement Learning with Adaptive Rewards. Generating keyphrases that summarize the main points of a document is a fundamental task in natural language processing. Although existing generative models are capable of predicting multiple keyphrases for an input document as well as determining the number of keyphrases to generate, they still suffer from the problem of generating too few keyphrases. To address this problem, we propose a reinforcement learning (RL) approach for keyphrase generation, with an adaptive reward function that encourages a model to generate both sufficient and accurate keyphrases. Furthermore, we introduce a new evaluation method that incorporates name variations of the ground truth keyphrases using the Wikipedia knowledge base. Thus, our evaluation method can more robustly evaluate the quality of predicted keyphrases. Extensive experiments on five real world datasets of different scales demonstrate that our RL approach consistently and significantly improves the performance of the state of the art generative models with both conventional and new evaluation methods.


An Empirical Study on the Characteristics of Question Answering Process on Developer Forums. Developer forums are one of the most popular and useful Q A websites on API usages. The analysis of API forums can be a critical resource for the automated question and answer approaches. In this paper, we empirically study three API forums including Twitter, eBay, and AdWords, to investigate the characteristics of question answering process. We observe that 60 of the posts on all three forums were answered by providing API method names or documentation. 85 of the questions were answered by API development teams and the answers from API development teams drew fewer follow up questions. Our results provide empirical evidences for us in a future work to build automated solutions to answer developer questions on API forums.


Self Adapting Goals Allow Transfer of Predictive Models to New Tasks. A long standing challenge in Reinforcement Learning is enabling agents to learn a model of their environment which can be transferred to solve other problems in a world with the same underlying rules. One reason this is difficult is the challenge of learning accurate models of an environment. If such a model is inaccurate, the agent's plans and actions will likely be sub optimal, and likely lead to the wrong outcomes. Recent progress in model based reinforcement learning has improved the ability for agents to learn and use predictive models. In this paper, we extend a recent deep learning architecture which learns a predictive model of the environment that aims to predict only the value of a few key measurements, which are be indicative of an agent's performance. Predicting only a few measurements rather than the entire future state of an environment makes it more feasible to learn a valuable predictive model. We extend this predictive model with a small, evolving neural network that suggests the best goals to pursue in the current state. We demonstrate that this allows the predictive model to transfer to new scenarios where goals are different, and that the adaptive goals can even adjust agent behavior on line, changing its strategy to fit the current context.


Local and Global Analysis. The objective of this article is to give an introduction to p adic analysis along the lines of Tate's thesis, as well as incorporating material of a more recent vintage, for example Weil groups.


Anticanonical codes from del Pezzo surfaces with Picard rank one. We construct algebraic geometric codes from del Pezzo surfaces and focus on the ones having Picard rank one and the codes associated to the anticanonical class. We give explicit constructions of del Pezzo surfaces of degree 4, 5 and 6, compute the parameters of the associated anticanonical codes and study their isomorphisms arising from the automorphisms of the surface. We obtain codes with excellent parameters and some of them turn out to beat the best known codes listed on the database codetable.


Incorporating Machine Learning to Evaluate Solutions to the University Course Timetabling Problem. Evaluating solutions to optimization problems is arguably the most important step for heuristic algorithms, as it is used to guide the algorithms towards the optimal solution in the solution search space. Research has shown evaluation functions to some optimization problems to be impractical to compute and have thus found surrogate less expensive evaluation functions to those problems. This study investigates the extent to which supervised learning algorithms can be used to find approximations to evaluation functions for the university course timetabling problem. Up to 97 percent of the time, the traditional evaluation function agreed with the supervised learning regression model on the result of comparison of the quality of pair of solutions to the university course timetabling problem, suggesting that supervised learning regression models can be suitable alternatives for optimization problems' evaluation functions.


On the Nisan Ronen conjecture for submodular valuations. We consider incentive compatible mechanisms for a domain that is very close to the domain of scheduling n unrelated machines the single exception is that the valuation of just one machine is submodular. For the scheduling problem with such cost functions, we give a lower bound of Omega( sqrt n ) on the approximation ratio of incentive compatible deterministic mechanisms. This is a strong information theoretic impossibility result on the approximation ratio of mechanisms on relatively simple domains. The lower bound of the current work assumes no restriction on the mechanism side, but an expanded class of valuations, in contrast to previous general results on the Nisan Ronen conjecture that hold for only special classes of mechanisms such as local, strongly monotone, and anonymous mechanisms. Our approach is based on a novel characterization of appropriately selected smaller instances that allows us to focus on particular type of algorithms (linear mechanisms), from which we extract a locality property that gives the lower bound.


SOTER on ROS A Run Time Assurance Framework on the Robot Operating System. We present an implementation of SOTER, a run time assurance framework for building safe distributed mobile robotic (DMR) systems, on top of the Robot Operating System (ROS). The safety of DMR systems cannot always be guaranteed at design time, especially when complex, off the shelf components are used that cannot be verified easily. SOTER addresses this by providing a language based approach for run time assurance for DMR systems. SOTER implements the reactive robotic software using the language P, a domain specific language designed for implementing asynchronous event driven systems, along with an integrated run time assurance system that allows programmers to use unfortified components but still provide safety guarantees. We describe an implementation of SOTER for ROS and demonstrate its efficacy using a multi robot surveillance case study, with multiple run time assurance modules. Through rigorous simulation, we show that SOTER enabled systems ensure safety, even when using unknown and untrusted components.


Some Remarks on Diametral Dimension and Approximate Diametral Dimension of Certain Nuclear Fr 'echet Spaces. The diametral dimension, Delta(E) , and the approximate diametral dimension, delta (E) , of a nuclear Fr 'echet space E which satisfies underline DN and Omega , is related to power series spaces Lambda 1 ( varepsilon) and Lambda infty left( varepsilon right) for some exponent sequence varepsilon . In this article, we examine a question of whether delta (E) must coincide with that of a power series space if Delta(E) does the same, and vice versa. In this regard, we first show that this question has an affirmative answer in an infinite type case by proving the fact that Delta (E) Delta left( Lambda infty ( varepsilon) right) if and only if delta (E) delta ( Lambda infty ( varepsilon)) . Then we consider the question in the finite type case and, among other things, we prove that delta (E) delta left( Lambda 1 ( varepsilon) right) if and only if Delta (E) Delta ( Lambda 1 ( varepsilon)) and E has a prominent bounded subset.


Layerwise Relevance Visualization in Convolutional Text Graph Classifiers. Representations in the hidden layers of Deep Neural Networks (DNN) are often hard to interpret since it is difficult to project them into an interpretable domain. Graph Convolutional Networks (GCN) allow this projection, but existing explainability methods do not exploit this fact, i.e. do not focus their explanations on intermediate states. In this work, we present a novel method that traces and visualizes features that contribute to a classification decision in the visible and hidden layers of a GCN. Our method exposes hidden cross layer dynamics in the input graph structure. We experimentally demonstrate that it yields meaningful layerwise explanations for a GCN sentence classifier.


Multipartite tournaments whose competition graphs are complete. In this paper, we completely characterize the multipartite tournaments whose competition graphs are complete.


Critical points of random branched coverings of the Riemann sphere. Given a closed Riemann surface Sigma equipped with a volume form omega , we construct a natural probability measure on the space mathcal M d( Sigma) of degree d branched coverings from Sigma to the Riemann sphere mathbb C mathbb P 1. We prove a large deviations principle for the number of critical points in a given open set U subset Sigma given any sequence epsilon d of positive numbers, the probability that the number of critical points of a branched covering deviates from 2d cdot textrm Vol (U) more than epsilon d is smaller than exp( C U epsilon 3 d d) , for some positive constant C U . In particular, the probability that a covering does not have any critical point in a given open set goes to zero exponential fast with the degree.


Large deviation principle for the three dimensional planetary geostrophic equations of large scale ocean circulation with small multiplicative noise. We demonstrate the large deviation principle in the small noise limit for the three dimensional stochastic planetary geostrophic equations of large scale ocean circulation. In this paper, we first prove the well posedness of weak solutions to this system by the method of monotonicity. As we know, a recently developed method, weak convergent method, has been employed in studying the large deviations and this method is essentially based on the main result of cite ba2 which discloses the variational representation of exponential integrals with respect to the Brownian noise. The It o inequality and Burkholder Davis Gundy inequality are the main tools in our proofs, and the weak convergence method introduced by Budhiraja, Dupuis and Ganguly in cite ba3 is also used to establish the large deviation principle.


Most vital segment barriers. We study continuous analogues of "vitality" for discrete network flows paths, and consider problems related to placing segment barriers that have highest impact on a flow path in a polygonal domain. This extends the graph theoretic notion of "most vital arcs" for flows paths to geometric environments. We give hardness results and efficient algorithms for various versions of the problem, (almost) completely separating hard and polynomially solvable cases.


On the inclusion of damping terms in the hyperbolic MBO algorithm. The hyperbolic MBO is a threshold dynamic algorithm which approximates interfacial motion by hyperbolic mean curvature flow. We introduce a generalization of this algorithm for imparting damping terms onto the equation of motion. We also construct corresponding numerical methods, and perform numerical tests. We also use our results to show that the generalized hyperbolic MBO is able to approximate motion by the standard mean curvature flow.


Direct methods for pseudo relativistic Schr " o dinger operators. In this paper, we establish various maximal principles and develop the direct moving planes and sliding methods for equations involving the physically interesting (nonlocal) pseudo relativistic Schr " o dinger operators ( Delta m 2 ) s with s in(0,1) and mass m 0 . As a consequence, we also derive multiple applications of these direct methods. For instance, we prove monotonicity, symmetry and uniqueness results for solutions to various equations involving the operators ( Delta m 2 ) s in bounded domains, epigraph or mathbb R N , including pseudo relativistic Schr "odinger equations, 3D boson star equations and the equations with De Giorgi type nonlinearities.


Restart perturbations for reversible Markov chains trichotomy and pre cutoff equivalence. Given a reversible Markov chain P n on n states, and another chain tilde P n obtained by perturbing each row of P n by at most alpha n in total variation, we study the total variation distance between the two stationary distributions, pi n tilde pi n . We show that for chains with cutoff, pi n tilde pi n converges to 0 , e c , and 1 , respectively, if the product of alpha n and the mixing time of P n converges to 0 , c , and infty , respectively. This echoes recent results for specific random walks that exhibit cutoff, suggesting that cutoff is the key property underlying such results. Moreover, we show pi n tilde pi n is maximized by restart perturbations, for which tilde P n "restarts" P n at a random state with probability alpha n at each step. Finally, we show that pre cutoff is (almost) equivalent to a notion of "sensitivity to restart perturbations," suggesting that chains with sharper convergence to stationarity are inherently less robust.


Bernoulli Meets PBFT Modeling BFT Protocols in the Presence of Dynamic Failures. The publication of the pivotal state machine replication protocol PBFT laid the foundation for a large body of BFT protocols. While many successors to PBFT have been developed, there is no general technique to compare these protocols under realistic network conditions such as unreliable links. In this paper, we introduce a probabilistic model for evaluating BFT protocols in the presence of dynamic link and crash failures. Based on modeling techniques from communication theory, the network state of replicas is captured and used to derive the success probability of the protocol execution. To this end, we examine the influence of link and crash failure rates as well as the number of replicas. The model is derived from the communication pattern, making it implementation independent and facilitating an adaptation to other BFT protocols. The model is validated with a simulation of PBFT and BFT SMaRt. Further, a comparison in protocol behavior of PBFT, Zyzzyva and SBFT is performed and critical failure thresholds are identified.e thresholds are identified.


Apps, Places and People strategies, limitations and trade offs in the physical and digital worlds. Cognition has been found to constrain several aspects of human behaviour, such as the number of friends and the number of favourite places a person keeps stable over time. This limitation has been empirically defined in the physical and social spaces. But do people exhibit similar constraints in the digital space? We address this question through the analysis of pseudonymised mobility and mobile application (app) usage data of 400,000 individuals in a European country for six months. Despite the enormous heterogeneity of apps usage, we find that individuals exhibit a conserved capacity that limits the number of applications they regularly use. Moreover, we find that this capacity steadily decreases with age, as does the capacity in the physical space but with more complex dynamics. Even though people might have the same capacity, applications get added and removed over time. In this respect, we identify two profiles of individuals app keepers and explorers, which differ in their stable (keepers) vs exploratory (explorers) behaviour regarding their use of mobile applications. Finally, we show that the capacity of applications predicts mobility capacity and vice versa. By contrast, the behaviour of keepers and explorers may considerably vary across the two domains. Our empirical findings provide an intriguing picture linking human behaviour in the physical and digital worlds which bridges research studies from Computer Science, Social Physics and Computational Social Sciences.


Optimal Output Consensus for Nonlinear Multi agent Systems with Both Static and Dynamic Uncertainties. In this technical note, we investigate an optimal output consensus problem for heterogeneous uncertain nonlinear multi agent systems. The considered agents are described by high order nonlinear dynamics subject to both static and dynamic uncertainties. A two step design, comprising sequential constructions of optimal signal generator and distributed partial stabilization feedback controller, is developed to overcome the difficulties brought by nonlinearities, uncertainties, and optimal requirements. Our study can not only assure an output consensus, but also achieve an optimal agreement characterized by a distributed optimization problem.


Impossibility Results for Grammar Compressed Linear Algebra. To handle vast amounts of data, it is natural and popular to compress vectors and matrices. When we compress a vector from size N down to size n ll N , it certainly makes it easier to store and transmit efficiently, but does it also make it easier to process? In this paper we consider lossless compression schemes, and ask if we can run our computations on the compressed data as efficiently as if the original data was that small. That is, if an operation has time complexity T( rm inputsize ) , can we perform it on the compressed representation in time T(n) rather than T(N) ? We consider the most basic linear algebra operations inner product, matrix vector multiplication, and matrix multiplication. In particular, given two compressed vectors, can we compute their inner product in time O(n) ? Or perhaps we must decompress first and then multiply, spending Omega(N) time? The answer depends on the compression scheme. While for simple ones such as Run Length Encoding (RLE) the inner product can be done in O(n) time, we prove that this is impossible for compressions from a richer class essentially n 2 or even larger runtimes are needed in the worst case (under complexity assumptions). This is the class of grammar compressions containing most popular methods such as the Lempel Ziv family. These schemes are more compressing than the simple RLE, but alas, we prove that performing computations on them is much harder.


Constructing the Bijective and the Extended Burrows Wheeler Transform in Linear Time. The Burrows Wheeler transform (BWT) is a permutation whose applications are prevalent in data compression and text indexing. The bijective BWT (BBWT) is a bijective variant of it. Although it is known that the BWT can be constructed in linear time for integer alphabets by using a linear time suffix array construction algorithm, it was up to now only conjectured that the BBWT can also be constructed in linear time. We confirm this conjecture by proposing a construction algorithm that is based on SAIS, improving the best known result of O(n lg n lg lg n) time to linear.


Lymph Node Gross Tumor Volume Detection in Oncology Imaging via Relationship Learning Using Graph Neural Network. Determining the spread of GTV LN is essential in defining the respective resection or irradiating regions for the downstream workflows of surgical resection and radiotherapy for many cancers. Different from the more common enlarged lymph node (LN), GTV LN also includes smaller ones if associated with high positron emission tomography signals and or any metastasis signs in CT. This is a daunting task. In this work, we propose a unified LN appearance and inter LN relationship learning framework to detect the true GTV LN . This is motivated by the prior clinical knowledge that LNs form a connected lymphatic system, and the spread of cancer cells among LNs often follows certain pathways. Specifically, we first utilize a 3D convolutional neural network with ROI pooling to extract the GTV LN 's instance wise appearance features. Next, we introduce a graph neural network to further model the inter LN relationships where the global LN tumor spatial priors are included in the learning process. This leads to an end to end trainable network to detect by classifying GTV LN . We operate our model on a set of GTV LN candidates generated by a preliminary 1st stage method, which has a sensitivity of 85 at the cost of high false positive (FP) ( 15 FPs per patient). We validate our approach on a radiotherapy dataset with 142 paired PET RTCT scans containing the chest and upper abdominal body parts. The proposed method significantly improves over the state of the art (SOTA) LN classification method by 5.5 and 13.1 in F1 score and the averaged sensitivity value at 2, 3, 4, 6 FPs per patient, respectively.


Towards Robust Learning Based Pose Estimation of Noncooperative Spacecraft. This work presents a novel Convolutional Neural Network (CNN) architecture and a training procedure to enable robust and accurate pose estimation of a noncooperative spacecraft. First, a new CNN architecture is introduced that has scored a fourth place in the recent Pose Estimation Challenge hosted by Stanford's Space Rendezvous Laboratory (SLAB) and the Advanced Concepts Team (ACT) of the European Space Agency (ESA). The proposed architecture first detects the object by regressing a 2D bounding box, then a separate network regresses the 2D locations of the known surface keypoints from an image of the target cropped around the detected Region of Interest (RoI). In a single image pose estimation problem, the extracted 2D keypoints can be used in conjunction with corresponding 3D model coordinates to compute relative pose via the Perspective n Point (PnP) problem. These keypoint locations have known correspondences to those in the 3D model, since the CNN is trained to predict the corners in a pre defined order, allowing for bypassing the computationally expensive feature matching processes. This work also introduces and explores the texture randomization to train a CNN for spaceborne applications. Specifically, Neural Style Transfer (NST) is applied to randomize the texture of the spacecraft in synthetically rendered images. It is shown that using the texture randomized images of spacecraft for training improves the network's performance on spaceborne images without exposure to them during training. It is also shown that when using the texture randomized spacecraft images during training, regressing 3D bounding box corners leads to better performance on spaceborne images than regressing surface keypoints, as NST inevitably distorts the spacecraft's geometric features to which the surface keypoints have closer relation.


On the homotopy hypothesis in dimension 3. We show that if the canonical left semi model structure on the category of Grothendieck n groupoids exists, then it satisfies the homotopy hypothesis, i.e. the associated ( infty,1) category is equivalent to that of homotopy n types, thus generalizing a result of the first named author. As a corollary of the second named author's proof of the existence of the canonical left semi model structure for Grothendieck 3 groupoids, we obtain a proof of the homotopy hypothesis for Grothendieck 3 groupoids.


A Completion of the spectrum of 3 way (v,k,2) Steiner trades. A 3 way (v,k,t) trade T of volume m consists of three pairwise disjoint collections T 1 , T 2 and T 3 , each of m blocks of size k , such that for every t subset of v set V , the number of blocks containing this t subset is the same in each T i for 1 leq i leq 3 . If any t subset of found( T ) occurs at most once in each T i for 1 leq i leq 3 , then T is called 3 way (v,k,t) Steiner trade. We attempt to complete the spectrum S 3s (v,k) , the set of all possible volume sizes, for 3 way (v,k,2) Steiner trades, by applying some block designs, such as BIBDs, RBs, GDDs, RGDDs, and r times s packing grid blocks. Previously, we obtained some results about the existence some 3 way (v,k,2) Steiner trades. In particular, we proved that there exists a 3 way (v,k,2) Steiner trade of volume m when 12(k 1) leq m for 15 leq k (Rashidi and Soltankhah, 2016). Now, we show that the claim is correct also for k leq 14 .


Modeling earthquakes with off fault damage using the combined finite discrete element method. When a dynamic earthquake rupture propagates on a fault in the Earth's crust, the medium around the fault is dynamically damaged due to stress concentrations around the rupture tip. Recent field observations, laboratory experiments and canonical numerical models show the coseismic off fault damage is essential to describe the coseismic off fault deformation, rupture dynamics, radiation and overall energy budget. However, the numerical modeling of "localized" off fault fractures remains a challenge mainly because of computational limitations and model formulation shortcomings. We thus developed a numerical framework for modeling coseismic off fault fracture networks using the combined finite discrete element method (FDEM) and we applied it to simulate dynamic ruptures with coseismic off fault damage on various fault configurations. This paper addresses the role of coseismic off fault damage on rupture dynamics associated with a planar fault, as a base case, and with a number of first order geometrical complexities, such as fault kink, step over and roughness.


MeSH descriptors indicate the knowledge growth in the SARS CoV 2 COVID 19 pandemic. The scientific papers dealing with the novel betacoronavirus SARS CoV 2 and the coronavirus disease 2019 (COVID 19) caused by this virus, published in 2020 and recorded in the database PUBMED, were retrieved on April 27, 2020. About 20 of the records contain Medical Subject Headings (MeSH), keywords assigned to records in the course of the indexing process in order to summarise the articles' contents. The temporal sequence of the first occurrences of the keywords was determined, thus giving insight into the growth of the knowledge base of the pandemic.


Evaluating the Representational Hub of Language and Vision Models. The multimodal models used in the emerging field at the intersection of computational linguistics and computer vision implement the bottom up processing of the Hub and Spoke' architecture proposed in cognitive science to represent how the brain processes and combines multi sensory inputs. In particular, the Hub is implemented as a neural network encoder. We investigate the effect on this encoder of various vision and language tasks proposed in the literature visual question answering, visual reference resolution, and visually grounded dialogue. To measure the quality of the representations learned by the encoder, we use two kinds of analyses. First, we evaluate the encoder pre trained on the different vision and language tasks on an existing diagnostic task designed to assess multimodal semantic understanding. Second, we carry out a battery of analyses aimed at studying how the encoder merges and exploits the two modalities.


Putting Things in Context Securing Industrial Authentication with Context Information. The development in the area of wireless communication, mobile and embedded computing leads to significant changes in the application of devices. Over the last years, embedded devices were brought into the consumer area creating the Internet of Things. Furthermore, industrial applications increasingly rely on communication through trust boundaries. Networking is cheap and easily applicable while providing the possibility to make everyday life more easy and comfortable and industry more efficient and less time consuming. One of the crucial parts of this interconnected world is sound and secure authentication of entities. Only entities with valid authorisation should be enabled to act on a resource according to an access control scheme. An overview of challenges and practices of authentication is provided in this work, with a special focus on context information as part of security solutions. It can be used for authentication and security solutions in industrial applications. Additional information about events in networks can aid intrusion detection, especially in combination with security information and event management systems. Finally, an authentication and access control approach, based on context information and depending on the scenario multiple factors is presented. The combination of multiple factors with context information makes it secure and at the same time case adaptive, so that the effort always matches, but never exceeds, the security demand. This is a common issue of standard cyber security, entities having to obey strict, inflexible and unhandy policies. This approach has been implemented exemplary based on RADIUS. Different scenarios were considered, showing that this approach is capable of providing flexible and scalable security for authentication processes.


Exploring Low degree Nodes First Accelerates Network Exploration. We consider information diffusion on Web like networks and how random walks can simulate it. A well studied problem in this domain is Partial Cover Time, i.e., the calculation of the expected number of steps a random walker needs to visit a given fraction of the nodes of the network. We notice that some of the fastest solutions in fact require that nodes have perfect knowledge of the degree distribution of their neighbors, which in many practical cases is not obtainable, e.g., for privacy reasons. We thus introduce a version of the Cover problem that considers such limitations Partial Cover Time with Budget. The budget is a limit on the number of neighbors that can be inspected for their degree we have adapted optimal random walks strategies from the literature to operate under such budget. Our solution is called Min degree (MD) and, essentially, it biases random walkers towards visiting peripheral areas of the network first. Extensive benchmarking on six real datasets proves that the perhaps counter intuitive strategy MD strategy is in fact highly competitive wrt. state of the art algorithms for cover.


Thomson backscattering in combined two laser and magnetic field. The Thomson backscattering of an electron moving in combined fields is studied by a dynamically assisted mechanism. The combined fields are composed of two co propagating laser fields and a magnetic field, where the first laser field is strong and low frequency while the second is weak and high frequency, relatively. The dependence of fundamental frequency of emission on the ratio of incident laser high to low frequency is presented and the spectrum of backscattering is obtained. It is found that, with a magnetic field, the peak of the spectrum and the corresponding radiation frequency are significantly larger in case of two laser than that in case of only one laser. They are also improved obviously as the frequency of the weak laser field. Another finding is the nonlinear correlation between the emission intensity of the backscattering and the intensity of the weak laser field. These results provide a new possibility to adjust and control the spectrum by changing the ratios of frequency and intensity of the two laser fields.


Thermocapillary flow transition in an evaporating liquid layer in a heated cylindrical cell. Motived by recent ground based and microgravity experiments investigating the interfacial dynamics of a volatile liquid (FC 72, Pr 12.34 ) contained in a heated cylindrical cell, we numerically study the thermocapillary driven flow in such an evaporating liquid layer. Particular attention is given to the prediction of the transition of the axisymmetric flow to fully three dimensional patterns when the applied temperature increases. The numerical simulations rely on an improved one sided model of evaporation by including heat and mass transfer through the gas phase via the heat transfer Biot number and the evaporative Biot number. We present the axisymmetric flow characteristics, show the variation of the transition points with these Biot numbers, and more importantly elucidate the twofold role of the latent heat of evaporation in the stability evaporation not only destabilizes the flow but also stabilizes it, depending upon the place where the evaporation induced thermal gradients come into play. We also show that buoyancy in the liquid layer has a stabilizing effect, though its effect is insignificant. At high Marangoni numbers, the numerical simulations revealed smaller scale thermal patterns formed on the surface of a thinner evaporating layer, in qualitative agreement with experimental observations. The present work helps to gain a better understanding of the role of a phase change in the thermocapillary instability of an evaporating liquid layer.


Predicting Regional Locust Swarm Distribution with Recurrent Neural Networks. Locust infestation of some regions in the world, including Africa, Asia and Middle East has become a concerning issue that can affect the health and the lives of millions of people. In this respect, there have been attempts to resolve or reduce the severity of this problem via detection and monitoring of locust breeding areas using satellites and sensors, or the use of chemicals to prevent the formation of swarms. However, such methods have not been able to suppress the emergence and the collective behaviour of locusts. The ability to predict the location of the locust swarms prior to their formation, on the other hand, can help people get prepared and tackle the infestation issue more effectively. Here, we use machine learning to predict the location of locust swarms using the available data published by the Food and Agriculture Organization of the United Nations. The data includes the location of the observed swarms as well as environmental information, including soil moisture and the density of vegetation. The obtained results show that our proposed model can successfully, and with reasonable precision, predict the location of locust swarms, as well as their likely level of damage using a notion of density.


The diameter of uniform spanning trees in high dimensions. We show that the diameter of a uniformly drawn spanning tree of a connected graph on n vertices which satisfies certain high dimensionality conditions typically grows like Theta( sqrt n ) . In particular this result applies to expanders, finite tori mathbb Z m d of dimension d geq 5 , the hypercube 0,1 m , and small perturbations thereof.


TANet Robust 3D Object Detection from Point Clouds with Triple Attention. In this paper, we focus on exploring the robustness of the 3D object detection in point clouds, which has been rarely discussed in existing approaches. We observe two crucial phenomena 1) the detection accuracy of the hard objects, e.g., Pedestrians, is unsatisfactory, 2) when adding additional noise points, the performance of existing approaches decreases rapidly. To alleviate these problems, a novel TANet is introduced in this paper, which mainly contains a Triple Attention (TA) module, and a Coarse to Fine Regression (CFR) module. By considering the channel wise, point wise and voxel wise attention jointly, the TA module enhances the crucial information of the target while suppresses the unstable cloud points. Besides, the novel stacked TA further exploits the multi level feature attention. In addition, the CFR module boosts the accuracy of localization without excessive computation cost. Experimental results on the validation set of KITTI dataset demonstrate that, in the challenging noisy cases, i.e., adding additional random noisy points around each object,the presented approach goes far beyond state of the art approaches. Furthermore, for the 3D object detection task of the KITTI benchmark, our approach ranks the first place on Pedestrian class, by using the point clouds as the only input. The running speed is around 29 frames per second.


Generating a Generic Fluent API in Java. Context The algorithms for generating a safe fluent API are actively studied these years. A safe fluent API is the fluent API that reports incorrect chaining of the API methods as a type error to the API users. Although such a safe property improves the productivity of its users, the construction of a safe fluent API is too complicated for the developers. The generation algorithms are studied to reduce the development cost of a safe fluent API. The study on the generation would benefit a number of programmers since a fluent API is a popular design in the real world. Inquiry The generation of a generic fluent API has been left untackled. A generic fluent API refers to the fluent API that provides generic methods (methods that contain type parameters in their definitions). The Stream API in Java is an example of such a generic API. The recent research on the safe fluent API generation rather focuses on the grammar class that the algorithm can deal with for syntax checking. The key idea of the previous study is to use nested generics to represent a stack structure for the parser built on top of the type system. In that idea, the role of a type parameter was limited to internally representing a stack element of that parser on the type system. The library developers could not use type parameters to include a generic method in their API so that the semantic constraints for their API would be statically checked, for example, the type constraint on the items passed through a stream. Approach We propose an algorithm to generate a generic fluent API. Our translation algorithm is modeled as the construction of deterministic finite automaton (DFA) with type parameter information. Each state of the DFA holds information about which type parameters are already bound in that state. This information is used to identify whether a method invocation in a chain newly binds a type to a type parameter, or refers to a previously bound type. The identification is required since a type parameter in a chain is bound at a particular method invocation, and that bound type is referred to in the following method invocations. Our algorithm constructs the DFA by analyzing the binding time of type parameters and their propagation among the states in a DFA that is naively constructed from the given grammar. Knowledge and Importance Our algorithm helps library developers to develop a generic fluent API. The ability to generate a generic fluent API is essential to bring the safe fluent API generation to the real world since the use of type parameters is a common technique in the library API design. By our algorithm, the generation of a safe fluent API will be ready for practical use. Grounding We implemented a generator named Protocool to demonstrate our algorithm. We also generated several libraries using Protocool to show the ability and the limitations of our algorithm.


On the absolute divergence of Fourier series in the infinite dimensional torus. We present some simple counterexamples, based on quadratic forms in infinitely many variables, showing that the implication f in C ( infty ( mathbb T omega) Longrightarrow sum bar p in mathbb Z infty widehat f ( bar p ) infty is false. There are functions of the class C ( infty ( mathbb T omega) (depending on an infinite number of variables) whose Fourier series diverges absolutely. This fact establishes a significant difference from the finite dimensional case.


Optimal diameter computation within bounded clique width graphs. Coudert et al. (SODA'18) proved that under the Strong Exponential Time Hypothesis, for any epsilon 0 , there is no cal O (2 o(k) n 2 epsilon ) time algorithm for computing the diameter within the n vertex cubic graphs of clique width at most k . We present an algorithm which given an n vertex m edge graph G and a k expression, computes all the eccentricities in cal O (2 cal O (k) (n m) 1 o(1) ) time, thus matching their conditional lower bound. It can be modified in order to compute the Wiener index and the median set of G within the same amount of time. On our way, we get a distance labeling scheme for n vertex m edge graphs of clique width at most k , using cal O (k log 2 n ) bits per vertex and constructible in cal O (k(n m) log n ) time from a given k expression. Doing so, we match the label size obtained by Courcelle and Vanicat (DAM 2016), while we considerably improve the dependency on k in their scheme. As a corollary, we get an cal O (kn 2 log n ) time algorithm for computing All Pairs Shortest Paths on n vertex graphs of clique width at most k . This partially answers an open question of Kratsch and Nelles (STACS'20).


Creating QED Photon Jets with Present Day Lasers. Large scale, relativistic particle in cell simulations with quantum electrodynamics (QED) models show that high energy (1 E gamma lesssim 75 MeV) QED photon jets with a flux of 10 12 sr 1 can be created with present day lasers and planar, unstructured targets. This process involves a self forming channel in the target in response to a laser pulse focused tightly ( f number unity) onto the target surface. We show the self formation of a channel to be robust to experimentally motivated variations in preplasma, angle of incidence, and laser stability, and present in simulations using historical shot data from the Texas Petawatt. We estimate that a detectable photon flux in the 10s of MeV range will require about 60 J in a 150 fs pulse.


An interpretation of Temam's extra force in the quasi incompressible Navier Stokes system. We discuss the role of the extra force mathbf f rm e frac 1 2( nabla cdot mathbf v) mathbf v in the system of partial differential equations begin equation left begin aligned frac partial mathbf v partial rm t ( mathbf v cdot nabla) mathbf v nabla mathrm p frac 1 rm Re Delta mathbf v mathbf f mathbf f rm e , frac 1 mathrm K frac partial mathrm p partial rm t nabla cdot mathbf v 0, qquad mathrm K 1, end aligned right. end equation whose weak solution has been proved in Arch. Rat. Mech. Analysis, 32 135 153 to approximate, in the limit mathrm K to infty , the weak solution of the incompressible Navier Stokes system. Taking the cue from Ann. Mat. Pura Appl. 172 103 124 , we provide a physical interpretation of the extra force mathbf f rm e , showing that it is a manifestation of inertia.


Tag less Back Translation. An effective method to generate a large number of parallel sentences for training improved neural machine translation (NMT) systems is the use of the back translations of the target side monolingual data. The standard back translation method has been shown to be unable to efficiently utilize the available huge amount of existing monolingual data because of the inability of translation models to differentiate between the authentic and synthetic parallel data during training. Tagging, or using gates, has been used to enable translation models to distinguish between synthetic and authentic data, improving standard back translation and also enabling the use of iterative back translation on language pairs that underperformed using standard back translation. In this work, we approach back translation as a domain adaptation problem, eliminating the need for explicit tagging. In the approach emph tag less back translation the synthetic and authentic parallel data are treated as out of domain and in domain data respectively and, through pre training and fine tuning, the translation model is shown to be able to learn more efficiently from them during training. Experimental results have shown that the approach outperforms the standard and tagged back translation approaches on low resource English Vietnamese and English German neural machine translation.


Recent theoretical advances in decentralized distributed convex optimization. In the last few years, the theory of decentralized distributed convex optimization has made significant progress. The lower bounds on communications rounds and oracle calls have appeared, as well as methods that reach both of these bounds. In this paper, we focus on how these results can be explained based on optimal algorithms for the non distributed setup. In particular, we provide our recent results that have not been published yet and that could be found in details only in arXiv preprints.


The disk complex and topologically minimal surfaces in the 3 sphere. We show that the disk complex of a genus g 1 Heegaard surface for the 3 sphere is homotopy equivalent to a wedge of (2g 2) dimensional spheres. This implies that genus g 1 Heegaard surfaces for the 3 sphere are topologically minimal with index 2g 1 .


Retraction of Soft Growing Robots without Buckling. Tip extending soft robots that "grow" via pneumatic eversion of their body material have demonstrated applications in exploration of cluttered environments. During growth, the motion and force of the robot tip can be controlled in three degrees of freedom using actuators that direct the tip in combination with extension. However, when reversal of the growth process is attempted by retracting the internal body material from the base, the robot body often responds by buckling rather than inverting the body material, making control of tip motion and force impossible. We present and validate a model to predict when buckling occurs instead of inversion, and we present an electromechanical device that can be added to a tip extending soft robot to prevent buckling during retraction, restoring the ability of steering actuators to control the robot's motion and force during inversion. Using our retraction device, we demonstrate three previously impossible tasks exploring different branches of a forking path, reversing growth while applying minimal force on the environment, and bringing back environment samples to the base.


Ultralocally Closed Clones. Given a clone C on a set A, we characterize the clone of operations on A which are local term operations of every ultrapower of the algebra (A C) .


Dynamic Spatiotemporal Graph Neural Network with Tensor Network. Dynamic spatial graph construction is a challenge in graph neural network (GNN) for time series data problems. Although some adaptive graphs are conceivable, only a 2D graph is embedded in the network to reflect the current spatial relation, regardless of all the previous situations. In this work, we generate a spatial tensor graph (STG) to collect all the dynamic spatial relations, as well as a temporal tensor graph (TTG) to find the latent pattern along time at each node. These two tensor graphs share the same nodes and edges, which leading us to explore their entangled correlations by Projected Entangled Pair States (PEPS) to optimize the two graphs. We experimentally compare the accuracy and time costing with the state of the art GNN based methods on the public traffic datasets.


Studying the Impact of Power Capping on MapReduce based, Data intensive Mini applications on Intel KNL and KNM Architectures. In this poster, we quantitatively measure the impacts of data movement on performance in MapReduce based applications when executed on HPC systems. We leverage the PAPI 'powercap' component to identify ideal conditions for execution of our applications in terms of (1) dataset characteristics (i.e., unique words) (2) HPC system (i.e., KNL and KNM) and (3) implementation of the MapReduce programming model (i.e., with or without combiner optimizations). Results confirm the high energy and runtime costs of data movement, and the benefits of the combiner optimization on these costs.


Stronger and Faster Side Channel Protections for CSIDH. CSIDH is a recent quantum resistant primitive based on the difficulty of finding isogeny paths between supersingular curves. Recently, two constant time versions of CSIDH have been proposed first by Meyer, Campos and Reith, and then by Onuki, Aikawa, Yamazaki and Takagi. While both offer protection against timing attacks and simple power consumption analysis, they are vulnerable to more powerful attacks such as fault injections. In this work, we identify and repair two oversights in these algorithms that compromised their constant time character. By exploiting Edwards arithmetic and optimal addition chains, we produce the fastest constant time version of CSIDH to date. We then consider the stronger attack scenario of fault injection, which is relevant for the security of CSIDH static keys in embedded hardware. We propose and evaluate a dummy free CSIDH algorithm. While these CSIDH variants are slower, their performance is still within a small constant factor of less protected variants. Finally, we discuss derandomized CSIDH algorithms.


gamma variable first order logic of uniform attachment random graphs. We study logical limit laws for uniform attachment random graphs. In this random graph model, vertices and edges are introduced recursively at time n 1 , the vertex n 1 is introduced together with m edges joining the new vertex with m different vertices chosen uniformly at random from 1, ldots,n . We prove that this random graph obeys convergence law for first order sentences with at most m 2 variables.


Error estimates of local energy regularization for the logarithmic Schrodinger equation. The logarithmic nonlinearity has been used in many partial differential equations (PDEs) for modeling problems in various applications.Due to the singularity of the logarithmic function, it introducestremendous difficulties in establishing mathematical theories, as well asin designing and analyzing numerical methods for PDEs with such nonlinearity. Here we take the logarithmic Schr "odinger equation (LogSE)as a prototype model. Instead of regularizing f( rho) ln rho in theLogSE directly and globally as being done in the literature, we propose a local energy regularization (LER) for the LogSE byfirst regularizing F( rho) rho ln rho rho locally near rho 0 with a polynomial approximation in the energy functional of the LogSE and then obtaining an energy regularized logarithmic Schr "odinger equation (ERLogSE) via energy variation. Linear convergence is established between the solutions of ERLogSE and LogSE in terms of a small regularization parameter 0 ep ll1 . Moreover, the conserved energy of the ERLogSE converges to that of LogSE quadratically, which significantly improvesthe linear convergence rate of the regularization method in the literature. Error estimates are alsopresented for solving the ERLogSE by using Lie Trotter splittingintegrators. Numerical results are reported to confirm our errorestimates of the LER and of the time splitting integrators for theERLogSE. Finally our results suggest that the LER performs better than regularizing the logarithmic nonlinearity in the LogSE directly.


Fuzzy sets and presheaves. This note presents a presheaf theoretic approach to the construction of fuzzy sets, which builds on Barr's description of fuzzy sets as sheaves of monomorphisms on a locale. A presheaf theoretic method is used to show that the category of fuzzy sets is complete and co complete, and to present explicit descriptions of classical fuzzy sets that arise as limits and colimits. The Boolean localization construction for sheaves and presheaves on a locale L specializes to a theory of stalks if L approximates the structure of a closed interval in the real line. The system V(X) of Vietoris Rips complexes for a data cloud X becomes both a simplicial fuzzy set and a simplicial sheaf in this general framework. This example is explicitly discussed in this paper, in stages.


Homogenization of the wave equation with non uniformly oscillating coefficients. The focus of our work is dispersive, second order effective model describing the low frequency wave motion in heterogeneous (e.g. functionally graded) media endowed with periodic microstructure. For this class of quasi periodic medium variations, we pursue homogenization of the scalar wave equation in mathbb R d , d geqslant 1 within the framework of multiple scales expansion. When either d 1 or d 2 , this model problem bears direct relevance to the description of (anti plane) shear waves in elastic solids. By adopting the lengthscale of microscopic medium fluctuations as the perturbation parameter, we synthesize the germane low frequency behavior via a fourth order differential equation (with smoothly varying coefficients) governing the mean wave motion in the medium, where the effect of microscopic heterogeneities is upscaled by way of the so called cell functions. In an effort to demonstrate the relevance of our analysis toward solving boundary value problems (deemed to be the ultimate goal of most homogenization studies), we also develop effective boundary conditions, up to the second order of asymptotic approximation, applicable to one dimensional (1D) shear wave motion in a macroscopically heterogeneous solid with periodic microstructure. We illustrate the analysis numerically in 1D by considering (i) low frequency wave dispersion, (ii) mean field homogenized description of the shear waves propagating in a finite domain, and (iii) full field homogenized description thereof. In contrast to (i) where the overall wave dispersion appears to be fairly well described by the leading order model, the results in (ii) and (iii) demonstrate the critical role that higher order corrections may have in approximating the actual waveforms in quasi periodic media.


Generalized Kazdan Warner equations associated with a linear action of a torus on a complex vector space. We introduce generalized Kazdan Warner equations on Riemannian manifolds associated with a linear action of a torus on a complex vector space. We show the existence and the uniqueness of the solution of the equation on any compact Riemannian manifold. As an application, we give a new proof of a theorem of Baraglia which asserts that a cyclic Higgs bundle gives a solution of the periodic Toda equation.


Human Synthesis and Scene Compositing. Generating good quality and geometrically plausible synthetic images of humans with the ability to control appearance, pose and shape parameters, has become increasingly important for a variety of tasks ranging from photo editing, fashion virtual try on, to special effects and image compression. In this paper, we propose HUSC, a HUman Synthesis and Scene Compositing framework for the realistic synthesis of humans with different appearance, in novel poses and scenes. Central to our formulation is 3d reasoning for both people and scenes, in order to produce realistic collages, by correctly modeling perspective effects and occlusion, by taking into account scene semantics and by adequately handling relative scales. Conceptually our framework consists of three components (1) a human image synthesis model with controllable pose and appearance, based on a parametric representation, (2) a person insertion procedure that leverages the geometry and semantics of the 3d scene, and (3) an appearance compositing process to create a seamless blending between the colors of the scene and the generated human image, and avoid visual artifacts. The performance of our framework is supported by both qualitative and quantitative results, in particular state of the art synthesis scores for the DeepFashion dataset.


Simulations of Argon Plasma Decay in a Thermionic Converter. The dynamics of an argon plasma in the gap of a thermionic diode is investigated using particle in cell (PIC) simulations. The time averaged diode current, as a function of the relative electrical potential between the electrodes, is studied while the plasma density depletes due to recombination on the electrode surfaces. Simulations were performed in both 1D and 2D and significant differences were observed in the plasma decay between the two cases. Specifically, in 2D it was found that the electrostatic potential gradually changes as the plasma decays, while in 1D fluctuations in the plasma led to large potential fluctuations which changed the plasma decay characteristics relative to the 2D case. This creates significant differences in the time averaged diode current. Furthermore, it was found that the maximum time averaged current is collected when the diode voltage is set to the flat band condition, where the cathode and anode vacuum biases are equal. This suggests a novel technique of measuring the difference in work functions between the cathode and anode in a thermionic converter.


Competitive Exclusion in a DAE Model for Microbial Electrolysis Cells. Microbial electrolysis cells (MECs) employ electroactive bacteria to perform extracellular electron transfer, enabling hydrogen generation from biodegradable substrates. In previous work, we developed and analyzed a differential algebraic equation (DAE) model for MECs. The model resembles a chemostat with ordinary differential equations (ODEs) for concentrations of substrate, microorganisms, and an extracellular mediator involved in electron transfer. There is also an algebraic constraint for electric current and hydrogen production. Our goal is to determine the outcome of competition between methanogenic archaea and electroactive bacteria, because only the latter contribute to electric current and resulting hydrogen production. We investigate asymptotic stability in two industrially relevant versions of the model. An important aspect of chemostats models is the principle of competitive exclusion only microbes which grow at the lowest substrate concentration will survive as t to infty . We show that if methanogens grow at the lowest substrate concentration, then the equilibrium corresponding to competitive exclusion by methanogens is globally asymptotically stable. The analogous result for electroactive bacteria is not necessarily true. We show that local asymptotic stability of exclusion by electroactive bacteria is not guaranteed, even in a simplified version of the model. In this case, even if electroactive bacteria can grow at the lowest substrate concentration, a few additional conditions are required to guarantee local asymptotic stability. We also provide numerical simulations supporting these arguments. Our results suggest operating conditions that are most conducive to success of electroactive bacteria and the resulting current and hydrogen production in MECs. This will help identify when methane production or electricity and hydrogen production are favored.


Operational semantics and program verification using many sorted hybrid modal logic. We propose a general framework to allow (a) specifying the operational semantics of a programming language and (b) stating and proving properties about program correctness. Our framework is based on a many sorted system of hybrid modal logic, for which we prove completeness results. We believe that our approach to program verification improves over the existing approaches within modal logic as (1) it is based on operational semantics which allows for a more natural description of the execution than Hoare's style weakest precondition used by dynamic logic (2) being multi sorted, it allows for a clearer encoding of semantics, with a smaller representational distance to its intended meaning.


The Impact of a STEM based Entrepreneurship Program on the Entrepreneurial Intention of Secondary School Female Students. Despite dedicated effort and research in the last two decades, the entrepreneurship field is still limited by little evidence based knowledge of the impacts of entrepreneurship programs on the entrepreneurial intention of students in pre university levels of study. Further, gender equity continues to be an issue in the entrepreneurial sector, particularly in STEM focused entrepreneurship. In this context, this study was designed to explore the effects of a one day female focused STEM based entrepreneurship program (for brevity, we call it the OzGirlsEntrepreneurship program) on the entrepreneurial intention of secondary school female students. The study collected data from two surveys completed by 193 secondary school female students, aged 14 16 years, who participated in the OzGirlsEntrepreneurship program. This program encouraged girls to develop and implement creative computational solutions to socially relevant problems, with an Internet of Things (IoT) component using the micro bit device. The findings reveal that a key factor in the development of entrepreneurial attitudes in young female students is associated with soft skills development, particularly in the areas of creative thinking, risk taking, problem solving, and leadership development. The importance of meaningful human connections, including positive role modelling and peer to peer learning were also important factors in fostering entrepreneurial intent. With these factors in mind, our findings highlight that the OzGirlsEntrepreneurship program substantially increased the entrepreneurial intention of secondary school female students. In addition, this study offers actionable implications and recommendations to develop and deliver entrepreneurship education programs for secondary school level students.


Distality Rank. Building on Pierre Simon's notion of distality, we introduce distality rank as a property of first order theories and give examples for each rank m such that 1 leq m leq omega . For NIP theories, we show that distality rank is invariant under base change. We also define a generalization of type orthogonality called m determinacy and show that theories of distality rank m require certain products to be m determined. Furthermore, for NIP theories, this behavior characterizes m distality. If we narrow the scope to stable theories, we observe that m distality can be characterized by the maximum cycle size found in the forking "geometry," so it coincides with (m 1) triviality. On a broader scale, we see that m distality is a strengthening of Saharon Shelah's notion of m dependence.


Optimal protocols for the most difficult repeated coordination games. This paper investigates repeated win lose coordination games (WLC games). We analyse which protocols are optimal for these games covering both the worst case and average case scenarios, i,e., optimizing the guaranteed and expected coordination times. We begin by analysing Choice Matching Games (CM games) which are a simple yet fundamental type of WLC games, where the goal of the players is to pick the same choice from a finite set of initially indistinguishable choices. We give a complete classification of optimal expected and guaranteed coordination times in two player CM games and show that the corresponding optimal protocols are unique in every case except in the CM game with four choices, which we analyse separately. Our results on CM games are also essential for proving a more general result on the difficulty of all WLC games we provide a complete analysis of least upper bounds for optimal expected coordination times in all two player WLC games as a function of game size. We also show that CM games can be seen as the most difficult games among all two player WLC games, as they turn out to have the greatest optimal expected coordination times.


Continuity of the Haar dual measure. Given a locally compact group bundle, we show that the system of the Plancherel weights of their C algebras is lower semi continuous. As a corollary, we obtain that the dual Haar sytem of a continuous Haar system of a locally compact abelian group bundle is also continuous.


A relaxation approach to UBPPs based on equivalent DC penalized factorized matrix programs. This paper is concerned with the unconstrained binary polynomial program (UBPP), which has a host of applications in many science and engineering fields. By leveraging the global exact penalty for its DC constrained SDP reformulation, we achieve an equivalent DC penalized SDP, and propose a continuous relaxation approach by seeking the critical point of the Burer Monteiro factorization for a finite number of DC penalized SDPs with increasing penalty factors. A globally convergent majorization minimization (MM) method with extrapolation is also developed to capture such critical points. Under a mild condition, we show that the rank one projection of the output for the relaxation approach is an approximate feasible solution of the UBPP and quantify the upper bound of its objective value from the optimal value. Numerical comparisons with the SDP relaxation method armed with a special random rounding technique and the DC relaxation approach based on the solution of linear SDPs confirm the efficiency of the proposed relaxation approach, which can solve the instance of textbf 20000 variables in textbf 15 minutes and yield an upper bound to the optimal value and the known best value with a relative error at most textbf 1.824 and textbf 2.870 , respectively.


The Kapustin Witten equations on ALE and ALF gravitational instantons. We study solutions to the Kapustin Witten equations on ALE and ALF gravitational instantons. On any such space and for any compact structure group, we prove asymptotic estimates for the Higgs field. We then use it to prove a vanishing theorem in the case when the underlying manifold is mathrm R 4 or mathrm R 3 times mathbb S 1 and the structure group is mathrm SU (2) .


Novel Relay Selection Protocol for Cooperative Networks. Extensive research has been done to achieve better throughput and reliability in wireless networks, with focus on multiple input multiple output systems. Recently, cooperative networking techniques have been investigated to increase the performance of low cost wireless systems by using the diversity created by different single antenna devices. However, cooperative networking requires a medium access control layer able to handle source relay destination communications. Wireless cooperative relaying poses several challenges, being the most important one related to the relay selection mechanism, especially in the presence of mobile nodes. This position paper aims to describe our findings towards development of an efficient relay selection algorithm.


Addition of divisors on trigonal curves. In this paper we present a realisation of addition of divisors on the basis of uniformisation of Jacobi varieties of plain algebraic curves. Addition is realised through consecutive reduction of a degree g 1 divisor to a divisor of degree g . Representation of these divisors does not go beyond the functions which give a solution of the Jacobi inversion problem the functions of the smallest order. We focus on the simplest non hyperelliptic family which is the family of trigonal curves. The method can be generalised to a curve of arbitrary gonality.


On the preconditioning of three by three block saddle point problems. We establish a new iterative method for solving a class of large and sparse linear systems of equations with three by three block coefficient matrices having saddle point structure. Convergence properties of the proposed method are studied in details and its induced preconditioner is examined for accelerating the convergence speed of generalized minimal residual (GMRES) method. More precisely, we analyze the eigenvalue distribution of the preconditioned matrix. Numerical experiments are reported to demonstrate the effectiveness of the proposed preconditioner.


Cooperation on the monte carlo rule Prison's dilemma game on the grid. In this paper, we investigate the prison's dilemma game with monte carlo rule in the view of the idea of the classic Monte Carlo method on the grid. Monte carlo rule is an organic combination of the current dynamic rules of individual policy adjustment, which not only makes full use of information but also reflects the individual's bounded rational behavior and the ambivalence between the pursuit of high returns and high risks. In addition, it also reflects the individual's behavioral execution preferences. The implementation of monte carlo rule brings an extremely good result, higher cooperation level and stronger robustness are achieved by comparing with the unconditional imitation rule, replicator dynamics rule and fermi rule. When analyse the equilibrium density of cooperators as a function of the temptation to defect, it appears a smooth transition between the mixed state of coexistence of cooperators and defectors and the pure state of defectors when enhancing the temptation, which can be perfectly characterized by the trigonometric behavior instead of the power law behavior discovered in the pioneer's work. When discuss the relationship between the temptation to defect and the average returns of cooperators and defectors, it is found that cooperators' average returns is almost a constant throughout the whole temptation parameter ranges while defectors' decreases as the growth of temptation. Additionally, the insensitivity of cooperation level to the initial density of cooperators and the sensitivity to the social population have been both demonstrated.


Rational Krylov and ADI iteration for infinite size quasi Toeplitz matrix equations. We consider a class of linear matrix equations involving semi infinite matrices which have a quasi Toeplitz structure. These equations arise in different settings, mostly connected with PDEs or the study of Markov chains such as random walks on bidimensional lattices. We present the theory justifying the existence in an appropriate Banach algebra which is computationally treatable, and we propose several methods for their solutions. We show how to adapt the ADI iteration to this particular infinite dimensional setting, and how to construct rational Krylov methods. Convergence theory is discussed, and numerical experiments validate the proposed approaches.


Gerrymandering A Briber's Perspective. We initiate the study of bribery problem in the context of gerrymandering and reverse gerrymandering. In our most general problem, the input is a set of voters having votes over a set of alternatives, a graph on the voters, a partition of voters into connected districts, cost of every voter for changing her district, a budget for the briber, and a favorite alternative of the briber. The briber needs to compute if the given partition can be modified so that (i) the favorite alternative of the briber wins the resulting election, (ii) the modification is budget feasible, and (iii) every new district is connected. We study four natural variants of the above problem the graph on voter being arbitrary vs complete graph (corresponds to removing connectedness requirement for districts) and the cost of bribing every voter being uniform vs non uniform. We show that all the four problems are NP complete even under quite restrictive scenarios. Hence our results show that district based elections are quite resistant under this new kind of electoral attack. We complement our hardness results with polynomial time algorithms in some other cases.


Market Pricing for Matroid Rank Valuations. In this paper, we study the problem of maximizing social welfare in combinatorial markets through pricing schemes. We consider the existence of prices that are capable to achieve optimal social welfare without a central tie breaking coordinator. In the case of two buyers with rank valuations, we give polynomial time algorithms that always find such prices when one of the matroids is a simple partition matroid or both matroids are strongly base orderable. This result partially answers a question raised by D "uetting and V 'egh in 2017. We further formalize a weighted variant of the conjecture of D "uetting and V 'egh, and show that the weighted variant can be reduced to the unweighted one based on the weight splitting theorem for weighted matroid intersection by Frank. We also show that a similar reduction technique works for M natural concave functions, or equivalently, gross substitutes functions.


Workflow Management on the Blockchain Implications and Recommendations. Blockchain technology, originally popularized by cryptocurrencies, has been proposed as an infrastructure technology with applications in many areas of business management. Blockchains provide an immutable record of transactions, which makes them useful in situations where business actors may not fully trust each other. The distributed nature of blockchains makes them particularly suitable for inter organizational e Business applications. In this paper we examine the use of blockchains for executing inter organizational workflows. We discuss architectural options and describe prototype implementations of blockchain based workflow management systems (WfMS), highlighting differences to traditional WfMS. Our main contribution is the identification of potential problems raised by blockchain infrastructure and recommendations to address them.


Network geometry and market instability. The complexity of financial markets arise from the strategic interactions among agents trading stocks, which manifest in the form of vibrant correlation patterns among stock prices. Over the past few decades, complex financial markets have often been represented as networks whose interacting pairs of nodes are stocks, connected by edges that signify the correlation strengths. However, we often have interactions that occur in groups of three or more nodes, and these cannot be described simply by pairwise interactions but we also need to take the relations between these interactions into account. Only recently, researchers have started devoting attention to the higher order architecture of complex financial systems, that can significantly enhance our ability to estimate systemic risk as well as measure the robustness of financial systems in terms of market efficiency. Geometry inspired network measures, such as the Ollivier Ricci curvature and Forman Ricci curvature, can be used to capture the network fragility and continuously monitor financial dynamics. Here, we explore the utility of such discrete Ricci curvatures in characterizing the structure of financial systems, and further, evaluate them as generic indicators of the market instability. For this purpose, we examine the daily returns from a set of stocks comprising the USA S P 500 and the Japanese Nikkei 225 over a 32 year period, and monitor the changes in the edge centric network curvatures. We find that the different geometric measures capture well the system level features of the market and hence we can distinguish between the normal or business as usual' periods and all the major market crashes. This can be very useful in strategic designing of financial systems and regulating the markets in order to tackle financial instabilities.


What's happened in MOOC Posts Analysis, Knowledge Tracing and Peer Feedbacks? A Review. Learning Management Systems (LMS) and Educational Data Mining (EDM) are two important parts of online educational environment with the former being a centralised web based information systems where the learning content is managed and learning activities are organised (Stone and Zheng,2014) and latter focusing on using data mining techniques for the analysis of data so generated. As part of this work, we present a literature review of three major tasks of EDM (See section 2), by identifying shortcomings and existing open problems, and a Blumenfield chart (See section 3). The consolidated set of papers and resources so used are released in https github.com manikandan ravikiran cs6460 Survey. The coverage statistics and review matrix of the survey are as shown in Figure 1 Table 1 respectively. Acronym expansions are added in the Appendix Section 4.1.


On the distributional expansions of powered extremes from Maxwell distribution. In this paper, asymptotic expansions of the distributions and densities of powered extremes for Maxwell samples are considered. The results show that the convergence speeds of normalized partial maxima relies on the powered index. Additionally, compared with previous result, the convergence rate of the distribution of powered extreme from Maxwell samples is faster than that of its extreme. Finally, numerical analysis is conducted to illustrate our findings.


On Gaussian kernels on Hilbert spaces and kernels on Hyperbolic spaces. This paper describes the concepts of Universal Integrally Strictly Positive Definite C 0 Universal for the Gaussian kernel on a Hilbert space. As a consequence we obtain a similar characterization for an important family of kernels studied and developed by Schoenberg and also on a family of spatial time kernels popular on geostatistics, the Gneiting class, and its generalizations. Either by using similar techniques, or by a direct consequence of the Gaussian kernel on Hilbert spaces, we characterize the same concepts for a family of kernels defined on a Hyperbolic space.


Self reinforcing Unsupervised Matching. Remarkable gains in deep learning usually rely on tremendous supervised data. Ensuring the modality diversity for one object in training set is critical for the generalization of cutting edge deep models, but it burdens human with heavy manual labor on data collection and annotation. In addition, some rare or unexpected modalities are new for the current model, causing reduced performance under such emerging modalities. Inspired by the achievements in speech recognition, psychology and behavioristics, we present a practical solution, self reinforcing unsupervised matching (SUM), to annotate the images with 2D structure preserving property in an emerging modality by cross modality matching. This approach requires no any supervision in emerging modality and only one template in seen modality, providing a possible route towards continual learning.


Global, Non scattering solutions to the energy critical wave maps equation. We consider the 1 equivariant energy critical wave maps problem with two sphere target. Using a method based on matched asymptotic expansions, we construct infinite time relaxation, blow up, and intermediate types of solutions that have topological degree one. More precisely, for a symbol class of admissible, time dependent length scales, we construct solutions which can be decomposed as a ground state harmonic map (soliton) re scaled by an admissible length scale, plus radiation, and small corrections which vanish (in a suitable sense) as time approaches infinity. Our class of admissible length scales includes positive and negative powers of t, with exponents sufficiently small in absolute value. In addition, we obtain solutions with soliton length scale undergoing damped or undamped oscillations in a bounded set, or undergoing unbounded oscillations, for all sufficiently large t.


Person Re Identification using Deep Learning Networks A Systematic Review. Person re identification has received a lot of attention from the research community in recent times. Due to its vital role in security based applications, person re identification lies at the heart of research relevant to tracking robberies, preventing terrorist attacks and other security critical events. While the last decade has seen tremendous growth in re id approaches, very little review literature exists to comprehend and summarize this progress. This review deals with the latest state of the art deep learning based approaches for person re identification. While the few existing re id review works have analysed re id techniques from a singular aspect, this review evaluates numerous re id techniques from multiple deep learning aspects such as deep architecture types, common Re Id challenges (variation in pose, lightning, view, scale, partial or complete occlusion, background clutter), multi modal Re Id, cross domain Re Id challenges, metric learning approaches and video Re Id contributions. This review also includes several re id benchmarks collected over the years, describing their characteristics, specifications and top re id results obtained on them. The inclusion of the latest deep re id works makes this a significant contribution to the re id literature. Lastly, the conclusion and future directions are included.


A Dynamics Simulator for Soft Growing Robots. Simulating soft robots in cluttered environments remains an open problem due to the challenge of capturing complex dynamics and interactions with the environment. Furthermore, fast simulation is desired for quickly exploring robot behaviors in the context of motion planning. In this paper, we examine a particular class of inflated beam soft growing robots called "vine robots", and present a dynamics simulator that captures general behaviors, handles robot object interactions, and runs faster than real time. The simulator framework uses a simplified multi link, rigid body model with contact constraints. To narrow the sim to real gap, we develop methods for fitting model parameters based on video data of a robot in motion and in contact with an environment. We provide examples of simulations, including several with fit parameters, to show the qualitative and quantitative agreement between simulated and real behaviors. Our work demonstrates the capabilities of this high speed dynamics simulator and its potential for use in the control of soft robots.


Hardy inequalities for inverse square potentials with countable number of singularities. The Hardy Inequality (HI) for potentials with countably many singularities of the form V sum k in mathbf Z frac 1 x a k 2 is not a trivial issue. In principle, the more singular poles are, the less the Hardy constant is it is well known that in all the existing results about the HI with finite number of singularities the best constants converge to 0 with the number n of singularities going to infinity. In this note we provide an example of nontrivial HI in right cylinders of fixed radius R 0 in mathbf R d , for a potential V defined above having the singularities a k k in mathbf Z uniformly distributed on the axis of the cylinders. For this example we prove that an upper bound for the Hardy constant is (d 2) 2 4 , the clasical Hardy constant in mathbf R d corresponding to one singular potential. We also prove positive lower bounds of the Hardy constant which allow to deduce that the asymptotic behavior as R to 0 of the Hardy constant coincides with (d 2) 2 4 . The proof of the main result lies on using a nice identity due to Allegretto and Huang (Theorems 1.1, 2.1 in reference 1 ) for particularly well chosen test functions.


Sharp Multiple Instance Learning for DeepFake Video Detection. With the rapid development of facial manipulation techniques, face forgery has received considerable attention in multimedia and computer vision community due to security concerns. Existing methods are mostly designed for single frame detection trained with precise image level labels or for video level prediction by only modeling the inter frame inconsistency, leaving potential high risks for DeepFake attackers. In this paper, we introduce a new problem of partial face attack in DeepFake video, where only video level labels are provided but not all the faces in the fake videos are manipulated. We address this problem by multiple instance learning framework, treating faces and input video as instances and bag respectively. A sharp MIL (S MIL) is proposed which builds direct mapping from instance embeddings to bag prediction, rather than from instance embeddings to instance prediction and then to bag prediction in traditional MIL. Theoretical analysis proves that the gradient vanishing in traditional MIL is relieved in S MIL. To generate instances that can accurately incorporate the partially manipulated faces, spatial temporal encoded instance is designed to fully model the intra frame and inter frame inconsistency, which further helps to promote the detection performance. We also construct a new dataset FFPMS for partially attacked DeepFake video detection, which can benefit the evaluation of different methods at both frame and video levels. Experiments on FFPMS and the widely used DFDC dataset verify that S MIL is superior to other counterparts for partially attacked DeepFake video detection. In addition, S MIL can also be adapted to traditional DeepFake image detection tasks and achieve state of the art performance on single frame datasets.


Multiflows A New Technique for Filippov Systems and Differential Inclusions. The flow is very useful in studying dynamical systems. However, many modern systems notably differential inclusions do not have unique solutions, and therefore cannot be described by flows. Richard McGehee has proposed an object, the multiflow, in order to use the topological techniques developed for flows in this setting. In this paper we will introduce multiflows and prove that under basic conditions, differential inclusions give rise to multiflows. This paper will also outline the most prominent example of differential inclusions, Filippov systems, as motivation. In addition, several results on differential inclusions, such as the existence theorem, are reproven here in order to create a self contained work.


Dynamical systems' models for the prediction of multi variable time series. Wikipedia's traffic example. The models VAR, ARIMA, Holt Winters, are frequently used for short term forecasts of multivariate time series. In this paper we consider models constructed with the help of dynamical systems that have relatively simple limiting behavior. Switching between different trajectories of the phase portrait, we obtain a high precision prediction. Moreover, the dynamical system approach provides the global qualitative picture of the model's phase portrait, and allows us to discuss multidimensional patterns and long term properties of the process. The simple limiting behavior allows us to associate different trends with different process's realization scenarios that can be influenced by externalities. We demonstrate these ideas using the examples of the Wikipedia's traffic of Readers, Contributors and Edits. First, we consider the two dimensional model, predicting the traffic of Readers and Edits. The prediction precision is higher than the two dimensional VAR prediction. Different trends (corresponding to different fixed points) can be associated with different platform's incentives. Then, adding the Contributors data, we discuss the three dimensional model (more precise than the three dimensional VAR). It provides a more accurate short term prediction of Edits than the two dimensional dynamic model. The global picture shows that the number of new Edits tends to decline in the future, while the number of new Contributors and Readers will grow in the long run.