Minimal Free Resolutions of Certain Equigenerated Monomial Ideals. Let R k x 1, dotsc , x n denote the standard graded polynomial ring over a field k . We study certain classes of equigenerated monomial ideals with the property that the so called complementary ideal has no linear relations on the generators. We then use iterated trimming complexes to deduce Betti numbers for such ideals. Furthermore, using a result on splitting mapping cones by Miller and Rahmati, we construct the minimal free resolutions for all ideals under consideration explicitly and conclude with questions about extra structure on these complexes.


TopicModel4J A Java Package for Topic Models. Topic models provide a flexible and principled framework for exploring hidden structure in high dimensional co occurrence data and are commonly used natural language processing (NLP) of text. In this paper, we design and implement a Java package, TopicModel4J, which contains 13 kinds of representative algorithms for fitting topic models. The TopicModel4J in the Java programming environment provides an easy to use interface for data analysts to run the algorithms, and allow to easily input and output data. In addition, this package provides a few unstructured text preprocessing techniques, such as splitting textual data into words, lowercasing the words, preforming lemmatization and removing the useless characters, URLs and stop words.


Chow quotients of Grassmannians by diagonal subtori. The literature on maximal torus orbits in the Grassmannian is vast in this paper we initiate a program to extend this to diagonal subtori. Our main focus is generalizing portions of Kapranov's seminal work on Chow quotient compactifications of these orbit spaces. This leads naturally to discrete polymatroids, generalizing the matroidal framework underlying Kapranov's results. By generalizing the Gelfand MacPherson isomorphism, these Chow quotients are seen to compactify spaces of arrangements of parameterized linear subspaces, and a generalized Gale duality holds here. A special case is birational to the Chen Gibney Krashen moduli space of pointed trees of projective spaces, and we show that the question of whether this birational map is an isomorphism is a specific instance of a much more general question that hasn't previously appeared in the literature, namely, whether the geometric Borel transfer principle in non reductive GIT extends to an isomorphism of Chow quotients.


Finding Acceptable Parameter Regions of Stochastic Hill functions for Multisite Phosphorylation Mechanism. Multisite phosphorylation plays an important role in regulating switchlike protein activity and has been used widely in mathematical models. With the development of new experimental techniques and more molecular data, molecular phosphorylation processes emerge in many systems with increasing complexity and sizes. These developments call for simple yet valid stochastic models to describe various multisite phosphorylation processes, especially in large and complex biochemical networks. To reduce model complexity, this work aims to simplify the multisite phosphorylation mechanism by a stochastic Hill function model. Further, this work optimizes regions of parameter space to match simulation results from the stochastic Hill function with the distributive multisite phosphorylation process. While traditional parameter optimization methods have been focusing on finding the best parameter vector, in most circumstances modelers would like to find a set of parameter vectors that generate similar system dynamics and results. This paper proposes a general alpha beta gamma rule to return an acceptable parameter region of the stochastic Hill function based on a quasi Newton stochastic optimization (QNSTOP) algorithm. Different objective functions are investigated characterizing different features of the simulation based empirical data, among which the approximate maximum log likelihood method is recommended for general applications. Numerical results demonstrate that with an appropriate parameter vector value, the stochastic Hill function model depicts the multisite phosphorylation process well except the initial (transient) period.


New classes of null hypersurfaces in indefinite Sasakian space forms. We introduce two classes of null hypersurfaces of an indefinite Sasakian manifold, ( overline M , overline phi , zeta, eta) , tangent to the characteristic vector field zeta , called it contact screen conformal and it contact screen umbilic null hypersurfaces. These hypersurfaces come in to fill the existing gap in screen conformal and screen totally umbilic null hypersurfaces. We prove that such hypersurfaces are contained in indefinite Sasakian space forms of constant overline phi sectional curvature of 3 .


Aspect based Sentiment Analysis of Scientific Reviews. Scientific papers are complex and understanding the usefulness of these papers requires prior knowledge. Peer reviews are comments on a paper provided by designated experts on that field and hold a substantial amount of information, not only for the editors and chairs to make the final decision, but also to judge the potential impact of the paper. In this paper, we propose to use aspect based sentiment analysis of scientific reviews to be able to extract useful information, which correlates well with the accept reject decision. While working on a dataset of close to 8k reviews from ICLR, one of the top conferences in the field of machine learning, we use an active learning framework to build a training dataset for aspect prediction, which is further used to obtain the aspects and sentiments for the entire dataset. We show that the distribution of aspect based sentiments obtained from a review is significantly different for accepted and rejected papers. We use the aspect sentiments from these reviews to make an intriguing observation, certain aspects present in a paper and discussed in the review strongly determine the final recommendation. As a second objective, we quantify the extent of disagreement among the reviewers refereeing a paper. We also investigate the extent of disagreement between the reviewers and the chair and find that the inter reviewer disagreement may have a link to the disagreement with the chair. One of the most interesting observations from this study is that reviews, where the reviewer score and the aspect sentiments extracted from the review text written by the reviewer are consistent, are also more likely to be concurrent with the chair's decision.


Steady States and Well balanced Schemes for Shallow Water Moment Equations with Topography. In this paper, we investigate steady states of shallow water moment equations including bottom topographies. We derive a new hyperbolic shallow water moment model based on linearized moment equations that allows for a simple assessment of the steady states. After proving hyperbolicity of the new model, the steady states are fully identified. A well balanced scheme is adopted to the specific structure of the new model and allows to preserve the steady states in numerical simulations.


Explainable Machine Learning for Public Policy Use Cases, Gaps, and Research Directions. Explainability is a crucial requirement for effectiveness as well as the adoption of Machine Learning (ML) models supporting decisions in high stakes public policy areas such as health, criminal justice, education, and employment, While the field of explainable has expanded in recent years, much of this work has not taken real world needs into account. A majority of proposed methods use benchmark datasets with generic explainability goals without clear use cases or intended end users. As a result, the applicability and effectiveness of this large body of theoretical and methodological work on real world applications is unclear. This paper focuses on filling this void for the domain of public policy. We develop a taxonomy of explainability use cases within public policy problems for each use case, we define the end users of explanations and the specific goals explainability has to fulfill third, we map existing work to these use cases, identify gaps, and propose research directions to fill those gaps in order to have a practical societal impact through ML.


All You Need Is Boundary Toward Arbitrary Shaped Text Spotting. Recently, end to end text spotting that aims to detect and recognize text from cluttered images simultaneously has received particularly growing interest in computer vision. Different from the existing approaches that formulate text detection as bounding box extraction or instance segmentation, we localize a set of points on the boundary of each text instance. With the representation of such boundary points, we establish a simple yet effective scheme for end to end text spotting, which can read the text of arbitrary shapes. Experiments on three challenging datasets, including ICDAR2015, TotalText and COCO Text demonstrate that the proposed method consistently surpasses the state of the art in both scene text detection and end to end text recognition tasks.


Constant Q curvature metrics on conic 4 manifolds. We consider the constant Q curvature metric problem in the given conformal class on conic 4 manifolds and study related differential equations.


Aggregating Probabilistic Judgments. In this paper we explore the application of methods for classical judgment aggregation in pooling probabilistic opinions on logically related issues. For this reason, we first modify the Boolean judgment aggregation framework in the way that allows handling probabilistic judgments and then define probabilistic aggregation functions obtained by generalization of the classical ones. In addition, we discuss essential desirable properties for the aggregation functions and explore impossibility results.


The average element order and the number of conjugacy classes of finite groups. Let o(G) be the average order of the elements of G , where G is a finite group. We show that there is no polynomial lower bound for o(G) in terms of o(N) , where N trianglelefteq G , even when G is a prime power order group and N is abelian. This gives a negative answer to a question of A. Jaikin Zapirain.


Some basic thoughts on the cofiality of Chang structures with an application to forcing. Consider ( kappa , kappa ) twoheadrightarrow ( kappa , kappa) where kappa is an uncountable regular cardinal. By a result of Shelah's we have operatorname cof (X cap kappa ) kappa for almost all X subset kappa witnessing this. Here we consider the question if there could be a similar result for X cap kappa . We use this discussion to give an interesting example of a pseudo Prikry forcing answering a question of Sinapova.


Improving the communication for children with speech disorder using the smart toys. An attempt is made to develop a smart toy to help the children suffering with communication disorders. The children suffering with such disorders need additional attention and guidance to understand different types of social events and life activities. Various issues and features of the children with speech disorders are identified in this study and based on the inputs from the study, a working architecture is proposed with suitable policies. A prediction module with a checker component is designed in this work to produce alerts in at the time of abnormal behaviour of the child with communication disorder. The model is designed very sensitively to the behaviour of the child for a particular voice tone, based on which the smart toy will change to tones automatically. Such an arrangement proved to be helpful for the children to improve the communication with other due to the inclusion of continuous training for the smart toy from the prediction module.


Measurable regularity of infinite dimensional Lie groups based on Lusin measurability. We discuss Lebesgue spaces mathcal L p( a,b ,E) of Lusin measurable vector valued functions and the corresponding vector spaces AC L p ( a,b ,E) of absolutely continuous functions. These can be used to construct Lie groups AC L p ( a,b ,G) of absolutely continuous functions with values in an infinite dimensional Lie group G . We extend the notion of L p regularity of infinite dimensional Lie groups introduced by Gl "ockner to this setting and adopt several results and tools.


Error bounds for PDE regularized learning. In this work we consider the regularization of a supervised learning problem by partial differential equations (PDEs) and derive error bounds for the obtained approximation in terms of a PDE error term and a data error term. Assuming that the target function satisfies an unknown PDE, the PDE error term quantifies how well this PDE is approximated by the auxiliary PDE used for regularization. It is shown that this error term decreases if more data is provided. The data error term quantifies the accuracy of the given data. Furthermore, the PDE regularized learning problem is discretized by generalized Galerkin discretizations solving the associated minimization problem in subsets of the infinite dimensional functions space, which are not necessarily subspaces. For such discretizations an error bound in terms of the PDE error, the data error, and a best approximation error is derived.


A survey of cross lingual features for zero shot cross lingual semantic parsing. The availability of corpora to train semantic parsers in English has lead to significant advances in the field. Unfortunately, for languages other than English, annotation is scarce and so are developed parsers. We then ask could a parser trained in English be applied to language that it hasn't been trained on? To answer this question we explore zero shot cross lingual semantic parsing where we train an available coarse to fine semantic parser (Liu et al., 2018) using cross lingual word embeddings and universal dependencies in English and test it on Italian, German and Dutch. Results on the Parallel Meaning Bank a multilingual semantic graphbank, show that Universal Dependency features significantly boost performance when used in conjunction with other lexical features but modelling the UD structure directly when encoding the input does not.


Jointly Learning to Align and Translate with Transformer Models. The state of the art in machine translation (MT) is governed by neural approaches, which typically provide superior translation accuracy over statistical approaches. However, on the closely related task of word alignment, traditional statistical word alignment models often remain the go to solution. In this paper, we present an approach to train a Transformer model to produce both accurate translations and alignments. We extract discrete alignments from the attention probabilities learnt during regular neural machine translation model training and leverage them in a multi task framework to optimize towards translation and alignment objectives. We demonstrate that our approach produces competitive results compared to GIZA trained IBM alignment models without sacrificing translation accuracy and outperforms previous attempts on Transformer model based word alignment. Finally, by incorporating IBM model alignments into our multi task training, we report significantly better alignment accuracies compared to GIZA on three publicly available data sets.


DeepTriage Automated Transfer Assistance for Incidents in Cloud Services. As cloud services are growing and generating high revenues, the cost of downtime in these services is becoming significantly expensive. To reduce loss and service downtime, a critical primary step is to execute incident triage, the process of assigning a service incident to the correct responsible team, in a timely manner. An incorrect assignment risks additional incident reroutings and increases its time to mitigate by 10x. However, automated incident triage in large cloud services faces many challenges (1) a highly imbalanced incident distribution from a large number of teams, (2) wide variety in formats of input data or data sources, (3) scaling to meet production grade requirements, and (4) gaining engineers' trust in using machine learning recommendations. To address these challenges, we introduce DeepTriage, an intelligent incident transfer service combining multiple machine learning techniques gradient boosted classifiers, clustering methods, and deep neural networks in an ensemble to recommend the responsible team to triage an incident. Experimental results on real incidents in Microsoft Azure show that our service achieves 82.9 F1 score. For highly impacted incidents, DeepTriage achieves F1 score from 76.3 91.3 . We have applied best practices and state of the art frameworks to scale DeepTriage to handle incident routing for all cloud services. DeepTriage has been deployed in Azure since October 2017 and is used by thousands of teams daily.


Human Whole Body Dynamics Estimation for Enhancing Physical Human Robot Interaction. In the last two decades the scientific community has shown a great interest in understanding and shaping the interaction mechanisms between humans and robots. The interaction implies communication between two dyadic agents and, if the type of interaction is physical, the communication is represented by the set of forces exchanged during the interaction. Within this context, the role of quantifying these forces becomes of pivotal importance for understanding the interaction mechanisms. At the current scientific stage, classical robots are built to act for humans, but the scientific demand is going towards the direction of robots that will have to collaborate with humans. This will be possible by providing the robots with sufficient pieces of information of the agent they are interacting with (i.e., kinematic and dynamic model of the human). In a modern age where humans need the help of robots, apparently in an opposite trend, this thesis attempts to answer the following questions Do robots need humans? Should robots know their human partners? A tentative answer is provided here in the form of a novel framework for the simultaneous human whole body motion tracking and dynamics estimation, in a real time scenario. The framework encompasses a set of body mounted sensors and a probabilistic algorithm able of estimating physical quantities that in humans are not directly measurable (i.e., torques and internal forces). This thesis is mainly focussed on the paramount role in retrieving the human dynamics estimation but straightforwardly it leaves the door open to the next development step passing the human dynamics feedback to the robot controllers. This step will enable the robot with the capability to observe and understand the human partner by generating an enhanced (intentional) interaction.


On relations between transportation cost spaces and ell 1 . The present paper deals with some structural properties of transportation cost spaces, also known as Arens Eells spaces, Lipschitz free spaces and Wasserstein spaces. The main results of this work are (1) A necessary and sufficient condition on an infinite metric space M , under which the transportation cost space on M contains an isometric copy of ell 1 . The obtained condition is applied to answer the open questions asked by C 'uth and Johanis (2017) concerning several specific metric spaces. (2) The description of the transportation cost space of a weighted finite graph G as the quotient ell 1(E(G)) Z(G) , where E(G) is the edge set and Z(G) is the cycle space of G . This is a generalization of the previously known result to the case of any finite metric space.


Calculation of IR absorption intensities for hydrogen bond from exactly solvable Schr "odinger equation. A theoretical description of IR spectroscopy data for a hydrogen bond (HB) is constructed on the base of trigonometric double well potential for which an exact analytic solution of the one dimensional Schr "odinger equation (SE) is available. The wave functions (full orthogonal basis) are expressed via the spheroidal function while its spectrum of eigenvalues yields the corresponding energy levels (both special functions are implemented in sl Mathematica ). Then an approximate solution of two dimensional SE taking into account the excitation state of heavy atoms stretching mode in HB is obtained. It is constructed by decomposing over the above mentioned basis within the framework of standard adiabatic separating the proton motion from that of the heavy atoms. We exemplify the general theory by calculating the IR relative absorption intensities for HB in the Zundel ion rm H 5O 2 (oxonium hydrate).


Planning for sustainable Open Streets in pandemic cities. In the wake of the pandemic, the inadequacy of urban sidewalks to comply with social distancing remains untackled in academy. Beyond isolated efforts (from sidewalk widenings to car free Open Streets), there is a need for a large scale and quantitative strategy for cities to handle the challenges that COVID 19 poses in the use of public space. The main obstacle is a generalized lack of publicly available data on sidewalk infrastructure worldwide, and thus city governments have not yet benefited from a complex systems approach of treating urban sidewalks as networks. Here, we leverage sidewalk geometries from ten cities in three continents, to first analyze sidewalk and roadbed geometries, and find that cities most often present an arrogant distribution of public space imbalanced and unfair with respect to pedestrians. Then, we connect these geometries to build a sidewalk network adjacent, but not assimilable to road networks, so fertile in urban science. In a no intervention scenario, we apply percolation theory to examine whether the sidewalk infrastructure in cities can withstand the tight pandemic social distancing imposed on our streets. The resulting collapse of sidewalk networks, often at widths below three meters, calls for a cautious strategy, taking into account the interdependencies between a city's sidewalk and road networks, as any improvement for pedestrians comes at a cost for motor transport. With notable success, we propose a shared effort heuristic that delays the sidewalk connectivity breakdown, while preserving the road network's functionality.


Legendrian contact homology for attaching links in higher dimensional subcritical Weinstein manifolds. Let Lambda be a link of Legendrian spheres in the boundary of a subcritical 2n dimensional Weinstein manifold X . We show that, under some geometrical assumptions, the computation of the Legendrian contact homology of Lambda can be reduced to a computation of Legendrian contact homology in 1 jet spaces. Since the Legendrian contact homology in 1 jet spaces is well studied, this gives a simplified way to compute the Legendrian contact homology of Lambda . We restrict to the case when the attaching spheres of the subcritical handles of X do not interact with each other, and we assume that there are no handles of index n 1 . Moreover, we will only consider mod 2 coefficients for now. The more general situation will be addressed in a forthcoming paper. As an application we compute the homology of the free loop space of mathbb CP 2 .


An Exact Method For Simulating Rapidly Decreasing Tempered Stable Distributions. Rapidly decreasing tempered stable distributions are useful models for financial applications. However, there has been no exact method for simulation available in the literature. We remedy this by introducing an exact simulation method in the finite variation case. Our methodology works for the wider class of p RDTS distributions.


Benchmarking GABA Quantification A Ground Truth Data Set and Comparative Analysis of TARQUIN, LCModel, jMRUI and Gannet. Many tools exist for the quantification of GABA edited magnetic resonance spectroscopy (MRS) data. Despite a recent consensus effort by the MRS community, literature comparing them is sparse but indicates a methodological bias. While invivo data sets can ascertain the level of agreement between tools, ground truth is required to establish accuracy, and investigate the sources of discrepancy. We present a novel approach to benchmarking GABA quantification tools, using several series of phantom experiments with iterated GABA concentration. Each series presents a different set of background metabolites and environmental conditions allowing comparison of not only individual estimates, but the ability of tools to characterise changes in GABA across a range of potential confounds. The methodology of the phantom experiments is presented, as well as characterisation of the data. We also perform an initial comparative analysis of several common MRS quantification tools and in house code, to illustrate utility of the dataset and the potential bias introduced by different quantification methods. The GABA to NAA ratios reported by each tool are compared to the ground truth, and estimation accuracy is assessed by linear regression of this relationship. While the linearity of GABA to NAA gradients is generally captured by all of the tools, a large variation in the slope, offset and environmental stability of the gradient is observed. The primary driver of differences in linear combination modelling is the choice of basis function. However, tools employing a common basis and pre processing still produce differences on the order of 4 . Less strictly parametrised fitting approaches appear to improve the robustness of quantification, but accurate modelling of edit efficiency calculations is still necessary to avoid systematic offsets. In general, the level of variation suggests that comparisons across...


The asymptotic Fubini Study operator over general non Archimedean fields. Given an ample line bundle L over a projective mathbb K variety X , with mathbb K a non Archimedean field, we study limits of non Archimedean metrics on L associated to submultiplicative sequences of norms on the graded pieces of the section ring R(X,L) . We show that in a rather general case, the corresponding asymptotic Fubini Study operator yields a one to one correspondence between equivalence classes of bounded graded norms and bounded plurisubharmonic metrics that are regularizable from below. This generalizes results of Boucksom Jonsson where this problem has been studied in the trivially valued case.


A special case of the existential version of the Non Commutative Khintchine inequality. Here we prove the following result. Let A a ij i,j in mathbb N be a bounded operator. Then there exists a signing of A such that A circ S 2 2 A l infty(l 2) , where A circ S denotes the matrix generated by the entry wise product of A and S .


Towards Robust RGB D Human Mesh Recovery. We consider the problem of human pose estimation. While much recent work has focused on the RGB domain, these techniques are inherently under constrained since there can be many 3D configurations that explain the same 2D projection. To this end, we propose a new method that uses RGB D data to estimate a parametric human mesh model. Our key innovations include (a) the design of a new dynamic data fusion module that facilitates learning with a combination of RGB only and RGB D datasets, (b) a new constraint generator module that provides SMPL supervisory signals when explicit SMPL annotations are not available, and (c) the design of a new depth ranking learning objective, all of which enable principled model training with RGB D data. We conduct extensive experiments on a variety of RGB D datasets to demonstrate efficacy.


Spatially Aware Multimodal Transformers for TextVQA. Textual cues are essential for everyday tasks like buying groceries and using public transport. To develop this assistive technology, we study the TextVQA task, i.e., reasoning about text in images to answer a question. Existing approaches are limited in their use of spatial relations and rely on fully connected transformer like architectures to implicitly learn the spatial structure of a scene. In contrast, we propose a novel spatially aware self attention layer such that each visual entity only looks at neighboring entities defined by a spatial graph. Further, each head in our multi head self attention layer focuses on a different subset of relations. Our approach has two advantages (1) each head considers local context instead of dispersing the attention amongst all visual entities (2) we avoid learning redundant features. We show that our model improves the absolute accuracy of current state of the art methods on TextVQA by 2.2 overall over an improved baseline, and 4.62 on questions that involve spatial reasoning and can be answered correctly using OCR tokens. Similarly on ST VQA, we improve the absolute accuracy by 4.2 . We further show that spatially aware self attention improves visual grounding.


Improved Estimates for G 2 structures on the Generalised Kummer Construction. The resolution of the G 2 orbifold T 7 Gamma , where Gamma is a suitably chosen finite group, admits a 1 parameter family of G 2 structures with small torsion varphi t , obtained by gluing in Eguchi Hanson spaces. It was shown by Joyce that varphi t can be perturbed to torsion free G 2 structures tilde varphi t for small values of t . Using norms adapted to the geometry of the manifold we give an alternative proof of the existence of tilde varphi t . This alternative proof produces the estimate left left tilde varphi t varphi t right right C 0 leq ct 5 2 . This is an improvement over the previously known estimate left left tilde varphi t varphi t right right C 0 leq ct 1 2 . As part of the proof, we show that Eguchi Hanson space admits a unique (up to scaling) harmonic form with decay, which is a result of independent interest.


Low Resolution Face Recognition In Resource Constrained Environments. A non parametric low resolution face recognition model for resource constrained environments with limited networking and computing is proposed in this work. Such environments often demand a small model capable of being effectively trained on a small number of labeled data samples, with low training complexity, and low resolution input images. To address these challenges, we adopt an emerging explainable machine learning methodology called successive subspace learning (SSL).SSL offers an explainable non parametric model that flexibly trades the model size for verification performance. Its training complexity is significantly lower since its model is trained in a one pass feedforward manner without backpropagation. Furthermore, active learning can be conveniently incorporated to reduce the labeling cost. The effectiveness of the proposed model is demonstrated by experiments on the LFW and the CMU Multi PIE datasets.


Layer Resolved Absorption of Light in Arbitrarily Anisotropic Heterostructures. We present a generalized formalism to describe the optical energy flow and spatially resolved absorption in arbitrarily anisotropic layered structures. The algorithm is capable of treating any number of layers of arbitrarily anisotropic, birefringent, and absorbing media and is implemented in an open access computer program. We derive explicit expressions for the transmitted and absorbed power at any point in the multilayer structure, using the electric field distribution from a 4 times 4 transfer matrix formalism. As a test ground, we study three nanophotonic device structures featuring unique layer resolved absorption characteristics, making use of (i) in plane hyperbolic phonon polaritons, (ii) layer selective, cavity enhanced exciton absorption in transition metal dichalcogenide monolayers, and (iii) intersubband cavity polaritons in quantum wells. Covering such a broad spectral range from the far infrared to the visible, the case studies demonstrate the generality and wide applicability of our approach.


Bulk surface virtual element method for systems of PDEs in two space dimension. In this paper we consider a coupled bulk surface PDE in two space dimensions. The model consists of a PDE in the bulk that is coupled to another PDE on the surface through general nonlinear boundary conditions. For such a system we propose a novel method, based on coupling a virtual element method Beir ao da Veiga et al., 2013 in the bulk domain to a surface finite element method Dziuk Elliott, 2013 on the surface. The proposed method, which we coin the Bulk Surface Virtual Element Method (BSVEM) includes, as a special case, the bulk surface finite element method (BSFEM) on triangular meshes Madzvamuse Chung, 2016 . The method exhibits second order convergence in space, provided the exact solution is H 2 1 4 in the bulk and H 2 on the surface, where the additional frac 1 4 is required only in the simultaneous presence of surface curvature and non triangular elements. Two novel techniques introduced in our analysis are (i) an L 2 preserving inverse trace operator for the analysis of boundary conditions and (ii) the Sobolev extension as a replacement of the lifting operator Elliott Ranner, 2013 for sufficiently smooth exact solutions. The generality of the polygonal mesh can be exploited to optimize the computational time of matrix assembly. The method takes an optimised matrix vector form that also simplifies the known special case of BSFEM on triangular meshes Madzvamuse Chung, 2016 . Three numerical examples illustrate our findings.


Nose Heat Exploring Stress induced Nasal Thermal Variability through Mobile Thermal Imaging. Automatically monitoring and quantifying stress induced thermal dynamic information in real world settings is an extremely important but challenging problem. In this paper, we explore whether we can use mobile thermal imaging to measure the rich physiological cues of mental stress that can be deduced from a person's nose temperature. To answer this question we build i) a framework for monitoring nasal thermal variable patterns continuously and ii) a novel set of thermal variability metrics to capture a richness of the dynamic information. We evaluated our approach in a series of studies including laboratory based psychosocial stress induction tasks and real world factory settings. We demonstrate our approach has the potential for assessing stress responses beyond controlled laboratory settings.


C 1 Regularity of planar infty harmonic functions REVISIT. In the seminal paper Arch. Ration. Mech. Anal. 176 (2005), 351 361 , Savin proved the C 1 regularity of planar infty harmonic functions u . Here we give a new understanding of it from a capacity viewpoint and drop several high technique arguments therein. Our argument is essentially based on a topological lemma of Savin, a flat estimate by Evans and Smart, cite es11a , W 1,2 loc regularity of Du and Crandall's flow for infinity harmonic functions.


Two novel results on the existence of 3 kernels in digraphs. Let D be a digraph. We call a subset N of V(D) k independent if for every pair of vertices u,v in N , d(u,v) geq k and we call it ell absorbent if for every vertex u in V(D) setminus N , there exists v in N such that d(u,v) leq ell . A (k, ell) kernel of D is a subset of vertices which is k independent and ell absorbent. A k kernel is a (k,k 1) kernel. In this report, we present the main results from our master's research regarding kernel theory. We prove that if a digraph D is strongly connected and every cycle C of D satisfies (i) if C equiv 0 pmod 3 , then C has a short chord and (ii) if C not equiv 0 pmod 3 , then C has three short chords two consecutive and a third crossing one of the former, then D has a 3 kernel. Moreover, we introduce a modification of the substitution method, proposed by Meyniel and Duchet in 1983, for 3 kernels and use it to prove that a quasi 3 kernel perfect digraph D is 3 kernel perfect if every circuit of length not dividable by three has four short chords.


Multi Receptive Field Network for Semantic Segmentation. Semantic segmentation is one of the key tasks in computer vision, which is to assign a category label to each pixel in an image. Despite significant progress achieved recently, most existing methods still suffer from two challenging issues 1) the size of objects and stuff in an image can be very diverse, demanding for incorporating multi scale features into the fully convolutional networks (FCNs) 2) the pixels close to or at the boundaries of object stuff are hard to classify due to the intrinsic weakness of convolutional networks. To address the first issue, we propose a new Multi Receptive Field Module (MRFM), explicitly taking multi scale features into account. For the second issue, we design an edge aware loss which is effective in distinguishing the boundaries of object stuff. With these two designs, our Multi Receptive Field Network achieves new state of the art results on two widely used semantic segmentation benchmark datasets. Specifically, we achieve a mean IoU of 83.0 on the Cityscapes dataset and 88.4 mean IoU on the Pascal VOC2012 dataset.


Disease gene prioritization using network topological analysis from a sequence based human functional linkage network. Sequencing large number of candidate disease genes which cause diseases in order to identify the relationship between them is an expensive and time consuming task. To handle these challenges, different computational approaches have been developed. Based on the observation that genes associated with similar diseases have a higher likelihood of interaction, a large class of these approaches relay on analyzing the topological properties of biological networks. However, the incomplete and noisy nature of biological networks is known as an important challenge in these approaches. In this paper, we propose a two step framework for disease gene prioritization (1) construction of a reliable human FLN using sequence information and machine learning techniques, (2) prioritizing the disease gene relations based on the constructed FLN. On our framework, unlike other FLN based frameworks that using FLNs based on integration of various low quality biological data, the sequence of proteins is used as the comprehensive data to construct a reliable initial network. In addition, the physicochemical properties of amino acids are employed to describe the functionality of proteins. All in all, the proposed approach is evaluated and the results indicate the high efficiency and validity of the FLN in disease gene prioritization.


Under the Radar Learning to Predict Robust Keypoints for Odometry Estimation and Metric Localisation in Radar. This paper presents a self supervised framework for learning to detect robust keypoints for odometry estimation and metric localisation in radar. By embedding a differentiable point based motion estimator inside our architecture, we learn keypoint locations, scores and descriptors from localisation error alone. This approach avoids imposing any assumption on what makes a robust keypoint and crucially allows them to be optimised for our application. Furthermore the architecture is sensor agnostic and can be applied to most modalities. We run experiments on 280km of real world driving from the Oxford Radar RobotCar Dataset and improve on the state of the art in point based radar odometry, reducing errors by up to 45 whilst running an order of magnitude faster, simultaneously solving metric loop closures. Combining these outputs, we provide a framework capable of full mapping and localisation with radar in urban environments.


Synthesizing brain tumor images and annotations by combining progressive growing GAN and SPADE. Training segmentation networks requires large annotated datasets, but manual annotation is time consuming and costly. We here investigate if the combination of a noise to image GAN and an image to image GAN can be used to synthesize realistic brain tumor images as well as the corresponding tumor annotations (labels), to substantially increase the number of training images. The noise to image GAN is used to synthesize new label images, while the image to image GAN generates the corresponding MR image from the label image. Our results indicate that the two GANs can synthesize label images and MR images that look realistic, and that adding synthetic images improves the segmentation performance, although the effect is small.


Vectorized Hankel Lift A Convex Approach for Blind Super Resolution of Point Sources. We consider the problem of resolving r point sources from n samples at the low end of the spectrum when point spread functions (PSFs) are not known. Assuming that the spectrum samples of the PSFs lie in low dimensional subspace (let s denote the dimension), this problem can be reformulated as a matrix recovery problem, followed by location estimation. By exploiting the low rank structure of the vectorized Hankel matrix associated with the target matrix, a convex approach called Vectorized Hankel Lift is proposed for the matrix recovery. It is shown that n gtrsim rs log 4 n samples are sufficient for Vectorized Hankel Lift to achieve the exact recovery. For the location retrieval from the matrix, applying the single snapshot MUSIC method within the vectorized Hankel lift framework corresponds to the spatial smoothing technique proposed to improve the performance of the MMV MUSIC for the direction of arrival (DOA) estimation.


Integral graphs obtained by dual Seidel switching. Dual Seidel switching is a graph operation introduced by W. Haemers in 1984. This operation can change the graph, however it does not change its bipartite double, and because of this, the operation leaves the squares of the eigenvalues invariant. Thus, if a graph is integral then it is still integral after dual Seidel switching. In this paper two new infinite families of integral graphs are obtained by applying dual Seidel switching to the Star graphs and the Odd graphs. In particular, three new 4 regular integral graphs with their spectra are found.


ARGAN Attentive Recurrent Generative Adversarial Network for Shadow Detection and Removal. In this paper we propose an attentive recurrent generative adversarial network (ARGAN) to detect and remove shadows in an image. The generator consists of multiple progressive steps. At each step a shadow attention detector is firstly exploited to generate an attention map which specifies shadow regions in the input image.Given the attention map, a negative residual by a shadow remover encoder will recover a shadow lighter or even a shadow free image. A discriminator is designed to classify whether the output image in the last progressive step is real or fake. Moreover, ARGAN is suitable to be trained with a semi supervised strategy to make full use of sufficient unsupervised data. The experiments on four public datasets have demonstrated that our ARGAN is robust to detect both simple and complex shadows and to produce more realistic shadow removal results. It outperforms the state of the art methods, especially in detail of recovering shadow areas.


Precoded Cluster Hopping in Multi Beam High Throughput Satellite Systems. Beam Hopping (BH) and precoding are two trending technologies for the satellite community. While BH enables flexibility to adapt the offered capacity to the heterogeneous demand, precoding aims at boosting the spectral efficiency. In this paper, we consider a high throughput satellite (HTS) system that employs BH in conjunction with precoding. In particular, we propose the concept of Cluster Hopping (CH) that seamlessly combines the BH and precoding paradigms and utilize their individual competencies. The cluster is defined as a set of adjacent beams that are simultaneously illuminated. In addition, we propose an efficient time space illumination pattern design, where we determine the set of clusters that can be illuminated simultaneously at each hopping event along with the illumination duration. We model the CH time space illumination pattern design as an integer programming problem which can be efficiently solved. Supporting results based on numerical simulations are provided which validate the effectiveness of the proposed CH concept and time space illumination pattern design.


Eulerian and bipartite binary delta matroids. Delta matroid theory is often thought of as a generalization of topological graph theory. It is well known that an orientable embedded graph is bipartite if and only if its Petrie dual is orientable. In this paper, we first introduce the concepts of Eulerian and bipartite delta matroids and then extend the result from embedded graphs to arbitrary binary delta matroids. The dual of any bipartite embedded graph is Eulerian. We also extend the result from embedded graphs to the class of delta matroids that arise as twists of binary matroids. Several related results are also obtained.


The shape and simplicity biases of adversarially robust ImageNet trained CNNs. Adversarial training has been the topic of dozens of studies and a leading method for defending against adversarial attacks. Yet, it remains largely unknown (a) how adversarially robust ImageNet classifiers (R classifiers) generalize to out of distribution examples and (b) how their generalization capability relates to their hidden representations. In this paper, we perform a thorough, systematic study to answer these two questions across AlexNet, GoogLeNet, and ResNet 50 architectures. We found that while standard ImageNet classifiers have a strong texture bias, their R counterparts rely heavily on shapes. Remarkably, adversarial training induces three simplicity biases into hidden neurons in the process of 'robustifying' the network. That is, each convolutional neuron in R networks often changes to detecting (1) pixel wise smoother patterns i.e. a mechanism that blocks high frequency noise from passing through the network (2) more lower level features i.e. textures and colors (instead of objects) and (3) fewer types of inputs. Our findings reveal the interesting mechanisms that made networks more adversarially robust and also explain some recent findings e.g. why R networks benefit from much larger capacity (Xie and Yuille, 2020) and can act as a strong image prior in image synthesis (Santurkar et al., 2019).


7 Be and 22 Na radionuclides for a new therapy of cancer. The 10 B isotope has been almost exclusively used in the neutron capture radiation therapy (NCT) of cancer for decades. We have identified two other nuclides suitable for the radiotherapy, which have ca.10 times larger cross section of absorption for neutrons and emit heavy charged particles. This would provide several key advantages for potential NCT, such as the possibility to use either a lower nuclide concentration in the target tissues, or a lower neutron irradiation flux. By detecting the characteristic gamma radiation from the spontaneous decay of the radionuclides, one can image and control their accumulation. These advantages could be critical for the revival of the NCT as a safer, more efficient and more widely used cancer therapy.


Universal Model for Deposition of Entities from Molecular to Nanosizes on Nanofibers. Understanding the behavior of entities is critical to the development of new policies and technologies aiming at global health and wellbeing this paper presents a unified model developed and validated for the deposition of entities, ranging from a few Angstroms to tens of nanometers,on nanofibers. The transport of entities is based on convective diffusion and interfacial interactive diffusion. As the size of entities decreases to intermediate sizes between gas molecules and nanoparticles adhesion probability on the surface is less than unity, which is determined by the interfacial interactions and kinetics of adhesion. Dimensionless surface coverage provides a better understanding of adhesion kinetic by considering the effects of initial concentration and time. The model is validated by available experimental data in the literature.


Classification of zero mean curvature surfaces of separable type in Lorentz Minkowski space. Consider the Lorentz Minkowski 3 space mathbb L 3 with the metric dx 2 dy 2 dz 2 in canonical coordinates (x,y,z) . A surface in mathbb L 3 is said to be separable if satisfies an equation of the form f(x) g(y) h(z) 0 for some smooth functions f , g and h defined in open intervals of the real line. In this article we classify all zero mean curvature surfaces of separable type, providing a method of construction of examples.


Braid Rigidity for Path Algebras. Path algebras are a convenient way of describing decompositions of tensor powers of an object in a tensor category. If the category is braided, one obtains representations of the braid groups B n for all n in N . We say that such representations are rigid if they are determined by the path algebra and the representations of B 2 . We show that besides the known classical cases also the braid representations for the path algebra for the 7 dimensional representation of G 2 satisfies the rigidity condition, provided B 3 generates End(V otimes 3 ) . We obtain a complete classification of ribbon tensor categories with the fusion rules of g(G 2) if this condition is satisfied.


Elliptic bihamiltonian structures from relative shifted Poisson structures. In this paper, generalizing our previous construction, we equip the relative moduli stack of complexes over a Calabi Yau fibration (possibly with singular fibers) with a shifted Poisson structure. Applying this construction to the anticanonical linear systems on surfaces, we get examples of compatible Poisson brackets on projective spaces extending Feigin Odesskii Poisson brackets. Computing explicitly the corresponding compatible brackets coming from Hirzebruch surfaces, we recover the brackets defined by Odesskii Wolf.


Electron channeling experiments with bent silicon single crystals a reanalysis based on a modified Fokker Planck equation. A surprising small dechanneling length was observed at (111) channeling of ultrarelativistic electrons in a 60 mu m thick silicon single crystal with a bending radius of 0.15 m. The experiments were conducted at beam energies between 3.35 and 14 GeV at the Facility for Advanced Accelerator Experimental Tests (FACET at SLAC, USA). It is shown in this paper that the small dechanneling lengths can well be reproduced with a modified Fokker Planck equation for plane crystals in which a crystal bending has been heuristically introduced. Encouraged by this result experiments have been reconsidered which were performed at the Mainz Microtron MAMI with (110) silicon undulator crystals. The results obtained with the modified Fokker Planck equation suggest that the observed rather low undulator peak intensity originates from the strongly reduced dechanneling length of electrons in the bent sections of the undulator. A scaling law derived on the basis of the modified Fokker Planck equation reveals optimized parameters of electron based undulators as possible radiation sources in the X and gamma ray region.


An Experimental Study of Weight Initialization and Weight Inheritance Effects on Neuroevolution. Weight initialization is critical in being able to successfully train artificial neural networks (ANNs), and even more so for recurrent neural networks (RNNs) which can easily suffer from vanishing and exploding gradients. In neuroevolution, where evolutionary algorithms are applied to neural architecture search, weights typically need to be initialized at three different times when initial genomes (ANN architectures) are created at the beginning of the search, when offspring genomes are generated by crossover, and when new nodes or edges are created during mutation. This work explores the difference between using Xavier, Kaiming, and uniform random weight initialization methods, as well as novel Lamarckian weight inheritance methods for initializing new weights during crossover and mutation operations. These are examined using the Evolutionary eXploration of Augmenting Memory Models (EXAMM) neuroevolution algorithm, which is capable of evolving RNNs with a variety of modern memory cells (e.g., LSTM, GRU, MGU, UGRNN and Delta RNN cells) as well recurrent connections with varying time skips through a high performance island based distributed evolutionary algorithm. Results show that with statistical significance, utilizing the Lamarckian strategies outperforms Kaiming, Xavier and uniform random weight initialization, and can speed neuroevolution by requiring less backpropagation epochs to be evaluated for each generated RNN.


Strong metric dimensions for power graphs of finite groups. Let G be a finite group. The order supergraph of G is the graph with vertex set G , and two distinct vertices x,y are adjacent if o(x) mid o(y) or o(y) mid o(x) . The enhanced power graph of G is the graph whose vertex set is G , and two distinct vertices are adjacent if they generate a cyclic subgroup. The reduced power graph of G is the graph with vertex set G , and two distinct vertices x,y are adjacent if langle x rangle subset langle y rangle or langle y rangle subset langle x rangle . In this paper, we characterize the strong metric dimension of the order supergraph, the enhanced power graph and the reduced power graph of a finite group.


A new algorithm for shape matching and pattern recognition using dynamic programming. We propose a new method for shape recognition and retrieval based on dynamic programming. Our approach uses the dynamic programming algorithm to compute the optimal score and to find the optimal alignment between two strings. First, each contour of shape is represented by a set of points. After alignment and matching between two shapes, the contours are transformed into a string of symbols and numbers. Finally we find the best alignment of two complete strings and compute the optimal cost of similarity. In general, dynamic programming has two phases the forward phase and the backward phase. In the forward phase, we compute the optimal cost for each subproblem. In the backward phase, we reconstruct the solution that gives the optimal cost. Our algorithm is tested in a database that contains various shapes such as MPEG 7.


Connected sets of solutions of symmetric elliptic systems. The purpose of this paper is twofold. First we study bifurcations of connected sets of critical orbits of some invariant functional from a given family of critical orbits. We use techniques of equivariant bifurcation theory to obtain a Rabinowitz type alternative for symmetric gradient operators. The second aim is to apply the abstract results to studying orbits of nonconstant solutions of a nonlinear Neumann problem.


An Empirical Study of Tokenization Strategies for Various Korean NLP Tasks. Typically, tokenization is the very first step in most text processing works. As a token serves as an atomic unit that embeds the contextual information of text, how to define a token plays a decisive role in the performance of a model.Even though Byte Pair Encoding (BPE) has been considered the de facto standard tokenization method due to its simplicity and universality, it still remains unclear whether BPE works best across all languages and tasks. In this paper, we test several tokenization strategies in order to answer our primary research question, that is, "What is the best tokenization strategy for Korean NLP tasks?" Experimental results demonstrate that a hybrid approach of morphological segmentation followed by BPE works best in Korean to from English machine translation and natural language understanding tasks such as KorNLI, KorSTS, NSMC, and PAWS X. As an exception, for KorQuAD, the Korean extension of SQuAD, BPE segmentation turns out to be the most effective.


Chromatic lambda choosable and lambda paintable graphs. Let phi(k) be the minimum number of vertices in a non k choosable k chromatic graph. The Ohba conjecture, confirmed by Noel, Reed and Wu, asserts that phi(k) ge 2k 2 . This bound is tight if k is even. If k is odd, then it is known that phi(k) le 2k 3 and it is conjectured by Noel that phi(k) 2k 3 . For a multi set lambda k 1,k 2, ldots, k q of positive integers, let k lambda sum i 1 q k i . A lambda list assignment of G is a k lambda list assignment L for which the colour set cup v in V(G) L(v) can be partitioned into the disjoint union C 1 cup C 2 cup ldots cup C q of q sets so that for each i and each vertex v of G , L(v) cap C i ge k i . We say G is lambda choosable if G is L colourable for any lambda list assignment L of G . Let phi( lambda ) be the minimum number of vertices in a non lambda choosable k lambda chromatic graph. Let 1 lambda be the multiplicity of 1 in lambda , and let o lambda be the number of elements in lambda that are odd integers. We prove that if 1 lambda ne k lambda , then 2k lambda 1 lambda 2 leqslant phi( lambda ) leqslant 2k lambda o lambda 2 . In particular, if 1 lambda o lambda t , i.e. lambda contains no odd integer greater than 1 , then phi( lambda ) 2k lambda t 2 . We also prove that phi( lambda) leqslant 2k lambda 5 1 lambda 3 . In particular, if 1 lambda 0 , then 2k lambda 2 leqslant phi( lambda) leqslant 2k lambda 3 .


Rigorous numerics for nonlinear heat equations in the complex plane of time. In this paper, we introduce a method for computing rigorous local inclusions of solutions of Cauchy problems for nonlinear heat equations for complex time values. Using a solution map operator, we construct a simplified Newton operator and show that it has a unique fixed point. The fixed point together with its rigorous bounds provides the local inclusion of the solution of the Cauchy problem. The local inclusion technique is then applied iteratively to compute solutions over long time intervals. This technique is used to prove the existence of a branching singularity in the nonlinear heat equation. Finally, we introduce an approach based on the Lyapunov Perron method to calculate part of a center stable manifold and prove that an open set of solutions of the Cauchy problem converge to zero, hence yielding the global existence of the solutions in the complex plane of time.


Synthesis of SQL Queries from South African Local Language Narrations. English remains the language of choice for database courses and widely used for instruction in nearly all South African universities, and also in many countries. Novice programmers of native origins are mostly taught Structured Query Language (SQL) through English as the medium of instruction. Consequently, this creates a myriad of problems in understanding the syntax of SQL as most native learners are not too proficient in English. This could affect a learner's ability in comprehending SQL syntaxes. To resolve this problem, this work proposes a tool called local language narrations (Local Nar SQL) to SQL that uses a type of Finite Machine, such as a Jumping Finite Automaton to translate local language narratives into SQL queries. Further, the generated query extracts information from a sample database and presents output to the learner. This paper is an extension of work originally presented in a previous study in this field. A survey involving 145 participants concluded that the majority found Local Nar SQL to be helpful in understanding SQL queries from local languages. If the proposed tool is used as a learning aid, native learners will find it easier to work with SQL, which will eliminate many of the barriers faced with English proficiencies in programming pedagogies.


A Frankel type theorem for generic submanifolds of Sasakian manifolds. We introduce a weaker notion of generic submanifold of a Sasakian manifold and we prove a Frankel type theorem for this kind of submanifolds under suitable hypotesis on the index of the scalar Levi forms determined by normal directions. It concerns the intersection between a generic and an invariant submanifold and the intersection between two generic submanifolds. From this theorem we derive some topological information about generic submanifolds of Sasakian space forms.


Multiview Consistent Semi Supervised Learning for 3D Human Pose Estimation. The best performing methods for 3D human pose estimation from monocular images require large amounts of in the wild 2D and controlled 3D pose annotated datasets which are costly and require sophisticated systems to acquire. To reduce this annotation dependency, we propose Multiview Consistent Semi Supervised Learning (MCSS) framework that utilizes similarity in pose information from unannotated, uncalibrated but synchronized multi view videos of human motions as additional weak supervision signal to guide 3D human pose regression. Our framework applies hard negative mining based on temporal relations in multi view videos to arrive at a multi view consistent pose embedding. When jointly trained with limited 3D pose annotations, our approach improves the baseline by 25 and state of the art by 8.7 , whilst using substantially smaller networks. Lastly, but importantly, we demonstrate the advantages of the learned embedding and establish view invariant pose retrieval benchmarks on two popular, publicly available multi view human pose datasets, Human 3.6M and MPI INF 3DHP, to facilitate future research.


Volume properties and rigidity on self expanders of mean curvature flow. In this paper, we mainly study immersed self expander hypersurfaces in Euclidean space whose mean curvatures have some linear growth controls. We discuss the volume growths and the finiteness of the weighted volumes. We prove some theorems that characterize the hyperplanes through the origin as self expanders. We estimate upper bound of the bottom of the spectrum of the drifted Laplacian. We also give the upper and lower bounds for the bottom of the spectrum of the L stability operator and discuss the L stability of some special self expanders. Besides, we prove that the surfaces Gamma times mathbb R with the product metric are the only complete self expander surfaces immersed in mathbb R 3 with constant scalar curvature, where Gamma is a complete self expander curve (properly) immersed in mathbb R 2 .


On the fine properties of parabolic measures associated to strongly degenerate parabolic operators of Kolmogorov type. We consider strongly degenerate parabolic operators of the form mathcal L nabla X cdot(A(X,Y,t) nabla X) X cdot nabla Y partial t in unbounded domains Omega (X,Y,t) (x,x m ,y,y m ,t) in mathbb R m 1 times mathbb R times mathbb R m 1 times mathbb R times mathbb R mid x m psi(x,y,t) . We assume that A A(X,Y,t) is bounded, measurable and uniformly elliptic (as a matrix in mathbb R m ) and concerning psi and Omega we assume that Omega is what we call an (unbounded) Lipschitz domain psi satisfies a uniform Lipschitz condition adapted to the dilation structure and the (non Euclidean) Lie group underlying the operator mathcal L . We prove, assuming in addition that psi is independent of the variable y m , that psi satisfies an additional regularity condition formulated in terms of a Carleson measure, and additional conditions on A , that the associated parabolic measure is absolutely continuous with respect to a surface measure and that the associated Radon Nikodym derivative defines an A infty weight with respect to the surface measure.


Representing an integer as the sum of a prime and the product of two small factors. Let c 0.55. Every large n can be written in the form p ab, where p is prime, a and b are significantly smaller than x 1 2 and ab is less than n c. This strengthens a result of Heath Brown, which has the requirement c 3 4. We introduce the idea of 'intersecting two sieves' as a tool in the proof of this result.


Structural properties of the first order transduction quasiorder. Logical transductions provide a very useful tool to encode classes of structures inside other classes of structures. In this paper we study first order (FO) transductions and the quasiorder they induce on infinite classes of finite graphs. Surprisingly, this quasiorder is very complex, though shaped by the locality properties of first order logic. This contrasts with the conjectured simplicity of the monadic second order (MSO) transduction quasiorder. We first establish a local normal form for FO transductions, which is of independent interest. Then we prove that the quotient partial order is a bounded distributive join semilattice, and that the subposet of emph additive classes is also a bounded distributive join semilattice. The FO transduction quasiorder has a great expressive power, and many well studied class properties can be defined using it. We apply these structural properties to prove, among other results, that FO transductions of the class of paths are exactly perturbations of classes with bounded bandwidth, that the local variants of monadic stability and monadic dependence are equivalent to their (standard) non local versions, and that the classes with pathwidth at most k , for k geq 1 form a strict hierarchy in the FO transduction quasiorder.


Informative Path Planning with Local Penalization for Decentralized and Asynchronous Swarm Robotic Search. Decentralized swarm robotic solutions to searching for targets that emit a spatially varying signal promise task parallelism, time efficiency, and fault tolerance. It is, however, challenging for swarm algorithms to offer scalability and efficiency, while preserving mathematical insights into the exhibited behavior. A new decentralized search method (called Bayes Swarm), founded on batch Bayesian Optimization (BO) principles, is presented here to address these challenges. Unlike swarm heuristics approaches, Bayes Swarm decouples the knowledge generation and task planning process, thus preserving insights into the emergent behavior. Key contributions lie in 1) modeling knowledge extraction over trajectories, unlike in BO 2) time adaptively balancing exploration exploitation and using an efficient local penalization approach to account for potential interactions among different robots' planned samples and 3) presenting an asynchronous implementation of the algorithm. This algorithm is tested on case studies with bimodal and highly multimodal signal distributions. Up to 76 times better efficiency is demonstrated compared to an exhaustive search baseline. The benefits of exploitation exploration balancing, asynchronous planning, and local penalization, and scalability with swarm size, are also demonstrated.


A Comparison of Humanoid Robot Simulators A Quantitative Approach. Research on humanoid robotic systems involves a considerable amount of computational resources, not only for the involved design but also for its development and subsequent implementation. For robotic systems to be implemented in real world scenarios, in several situations, it is preferred to develop and test them under controlled environments in order to reduce the risk of errors and unexpected behavior. In this regard, a more accessible and efficient alternative is to implement the environment using robotic simulation tools. This paper presents a quantitative comparison of Gazebo, Webots, and V REP, three simulators widely used by the research community to develop robotic systems. To compare the performance of these three simulators, elements such as CPU, memory footprint, and disk access are used to measure and compare them to each other. In order to measure the use of resources, each simulator executes 20 times a robotic scenario composed by a NAO robot that must navigate to a goal position avoiding a specific obstacle. In general terms, our results show that Webots is the simulator with the lowest use of resources, followed by V REP, which has advantages over Gazebo, mainly because of the CPU use.


MagGAN High Resolution Face Attribute Editing with Mask Guided Generative Adversarial Network. We present Mask guided Generative Adversarial Network (MagGAN) for high resolution face attribute editing, in which semantic facial masks from a pre trained face parser are used to guide the fine grained image editing process. With the introduction of a mask guided reconstruction loss, MagGAN learns to only edit the facial parts that are relevant to the desired attribute changes, while preserving the attribute irrelevant regions (e.g., hat, scarf for modification To Bald'). Further, a novel mask guided conditioning strategy is introduced to incorporate the influence region of each attribute change into the generator. In addition, a multi level patch wise discriminator structure is proposed to scale our model for high resolution ( 1024 times 1024 ) face editing. Experiments on the CelebA benchmark show that the proposed method significantly outperforms prior state of the art approaches in terms of both image quality and editing performance.


Adversarial Attacks to Scale Free Networks Testing the Robustness of Physical Criteria. Adversarial attacks have been alerting the artificial intelligence community recently, since many machine learning algorithms were found vulnerable to malicious attacks. This paper studies adversarial attacks to scale free networks to test their robustness in terms of statistical measures. In addition to the well known random link rewiring (RLR) attack, two heuristic attacks are formulated and simulated degree addition based link rewiring (DALR) and degree interval based link rewiring (DILR). These three strategies are applied to attack a number of strong scale free networks of various sizes generated from the Barab 'asi Albert model. It is found that both DALR and DILR are more effective than RLR, in the sense that rewiring a smaller number of links can succeed in the same attack. However, DILR is as concealed as RLR in the sense that they both are constructed by introducing a relatively small number of changes on several typical structural properties such as average shortest path length, average clustering coefficient, and average diagonal distance. The results of this paper suggest that to classify a network to be scale free has to be very careful from the viewpoint of adversarial attack effects.


Accelerating gradient based topology optimization design with dual model neural networks. Topology optimization (TO) is a common technique used in free form designs. However, conventional TO based design approaches suffer from high computational cost due to the need for repetitive forward calculations and or sensitivity analysis, which are typically done using high dimensional simulations such as Finite Element Analysis (FEA). In this work, neural networks are used as efficient surrogate models for forward and sensitivity calculations in order to greatly accelerate the design process of topology optimization. To improve the accuracy of sensitivity analyses, dual model neural networks that are trained with both forward and sensitivity data are constructed and are integrated into the Solid Isotropic Material with Penalization (SIMP) method to replace FEA. The performance of the accelerated SIMP method is demonstrated on two benchmark design problems namely minimum compliance design and metamaterial design. The efficiency gained in the problem with size of 64x64 is 137 times in forward calculation and 74 times in sensitivity analysis. In addition, effective data generation methods suitable for TO designs are investigated and developed, which lead to a great saving in training time. In both benchmark design problems, a design accuracy of 95 can be achieved with only around 2000 training data.


A Coupled A H Formulation for Magneto Thermal Transients in High Temperature Superconducting Magnets. The application of high temperature superconductors to accelerator magnets for future particle colliders is under study. Numerical methods are crucial for an accurate evaluation of the complex dynamical behavior of the magnets, especially concerning the magnetic field quality and thermal behavior. We present a coupled textbf A textbf H field formulation for the analysis of magneto thermal transients in accelerator magnets. The magnetic field strength textbf H accounts for the eddy current problem in the source regions containing the superconducting domains, while the magnetic vector potential textbf A represents the magnetoquasistatic problem in the normal and non conducting domains. Furthermore, we include a slab approximation for the source regions, making the formulation suitable for large scale models composed of thousands of tapes. In this work, the relevant equations are derived and discussed, with emphasis on the coupling conditions. The weak formulation is derived, and numerical results are provided in order to both, verify the formulation and scale it to the size of an accelerator magnet.


Stabilizing effect of enhanced resistivity on peeling ballooning instabilities on EAST. Previous stability analysis of NSTX equilibrium with lithium conditioning demonstrates that the enhanced resistivity due to the increased effective charge number Zeff (i.e. increased impurity level) can provide a stabilizing effect on low n edge localized modes (Banerjee et al 2017 Nucl. Fusion 24 054501). This paper extends the resistivity stabilizing effect to the intermediate n peeling ballooning (PB) instabilities with the linear stability analysis of EAST high confinement mode equilibria in NIMROD two fluid calculations. However, the resistivity stabilizing effect on PB instabilities in the EAST tokamak appears weaker than that found in NSTX. This work may give better insight into the physical mechanism behind the beneficial effects of impurity on the pedestal stability.


Venttsel boundary value problems with discontinuous data. We study linear and quasilinear Venttsel boundary value problems involving elliptic operators with discontinuous coefficients. On the base of the a priori estimates obtained, maximal regularity and strong solvability in Sobolev spaces are proved.


Random walks, word metric and orbits distribution on the plane. Given a countably infinite group G acting on some space X , an increasing family of finite subsets G n and x in X , a natural question to ask is what asymptotical distribution the sets G nx form. More formally, we define for a function f over X the sums S n(f,x) sum g in G n f(gx) and ask whether exists a function Psi(n) mathbb N to mathbb R such that the sequence Psi(n)S n(f,x) converges. This is a delicate problem that was studied under various settings. We first show a full solution when elements are chosen using a carefully chosen word metric from a specific lattice in SL(2, mathbb Z ) acting on the circle. In addition, it is proven that the resulting measure is stationary with respect to a certain random walk and has a tight connection to a well studied function from the field of Diophantine approximations. We then proceed to study the asymptotic distribution problem when elements are chosen using a random walk over SL(2, mathbb R ) acting on mathbb R 2 . We offer a variant of our initial problem which yields some surprising and interesting results.


Detecting Short lasting Topics Using Nonnegative Tensor Decomposition. Temporal data (such as news articles or Twitter feeds) often consists of a mixture of long lasting trends and popular but short lasting topics of interest. A truly successful topic modeling strategy should be able to detect both types of topics and clearly locate them in time. In this paper, we compare the variability of topic lengths discovered by several well known topic modeling methods including latent Dirichlet allocation (LDA), nonnegative matrix factorization (NMF), as well as its tensor counterparts based on the nonnegative CANDECOMP PARAFAC tensor decomposition (NCPD and Online NCPD). We demonstrate that only tensor based methods with the dedicated mode for tracking time evolution successfully detect short lasting topics. Furthermore, these methods are considerably more accurate in discovering the points in time when topics appeared and disappeared compared to the matrix based methods such as LDA and NMF. We propose quantitative ways to measure the topic length and demonstrate the ability of NCPD (as well as its online variant), to discover short and long lasting temporal topics in semi synthetic and real world data including news headlines and COVID 19 related tweets.


Complexity and algorithms for constant diameter augmentation problems. We study the following problem for given integers d,k and graph G , can we obtain a graph with diameter d via at most k edge deletions ? We determine the computational complexity of this and related problems for different values of d .


A Critique of the Smooth Inverse Frequency Sentence Embeddings. We critically review the smooth inverse frequency sentence embedding method of Arora, Liang, and Ma (2017), and show inconsistencies in its setup, derivation, and evaluation.


The May filtration on THH and faithfully flat descent. In this paper, we prove that both topological Hochschild homology and topological cyclic homology are sheaves for the fpqc topology on connective commutative ring spectra, by exploiting the May filtration on topological Hochschild homology.


Slice Aware Neural Ranking. Understanding when and why neural ranking models fail for an IR task via error analysis is an important part of the research cycle. Here we focus on the challenges of (i) identifying categories of difficult instances (a pair of question and response candidates) for which a neural ranker is ineffective and (ii) improving neural ranking for such instances. To address both challenges we resort to slice based learning for which the goal is to improve effectiveness of neural models for slices (subsets) of data. We address challenge (i) by proposing different slicing functions (SFs) that select slices of the dataset based on prior work we heuristically capture different failures of neural rankers. Then, for challenge (ii) we adapt a neural ranking model to learn slice aware representations, i.e. the adapted model learns to represent the question and responses differently based on the model's prediction of which slices they belong to. Our experimental results (the source code and data are available at https github.com Guzpenha slice based learning) across three different ranking tasks and four corpora show that slice based learning improves the effectiveness by an average of 2 over a neural ranker that is not slice aware.


Extraction de la racine carree d'un entier naturel chez al Baghdadi. Between the ninth and fifteenth centuries, several Arab mathematicians studied numerical algorithms on integers. The extraction of the square root of an integer is based on an algorithm known at least since al Khwarizmi (died around 850) which presents it in the framework of the decimal system of position theory, in his work the Indian calculus (al hisab al hindi). Although this algorithm is less democratized than the four usual operations of arithmetic, it has experienced the same posterity, since it is still implemented today in our calculators and computers. We have chosen to expose the work of Al Baghdadi, on the extraction of the square root of integers. His approach is purely numerical, it is more complete and more detailed than the works of its predecessors. We will highlight the interest of al Baghdadi's text.


On Incorporating Structural Information to improve Dialogue Response Generation. We consider the task of generating dialogue responses from background knowledge comprising of domain specific resources. Specifically, given a conversation around a movie, the task is to generate the next response based on background knowledge about the movie such as the plot, review, Reddit comments etc. This requires capturing structural, sequential and semantic information from the conversation context and the background resources. This is a new task and has not received much attention from the community. We propose a new architecture that uses the ability of BERT to capture deep contextualized representations in conjunction with explicit structure and sequence information. More specifically, we use (i) Graph Convolutional Networks (GCNs) to capture structural information, (ii) LSTMs to capture sequential information and (iii) BERT for the deep contextualized representations that capture semantic information. We analyze the proposed architecture extensively. To this end, we propose a plug and play Semantics Sequences Structures (SSS) framework which allows us to effectively combine such linguistic information. Through a series of experiments we make some interesting observations. First, we observe that the popular adaptation of the GCN model for NLP tasks where structural information (GCNs) was added on top of sequential information (LSTMs) performs poorly on our task. This leads us to explore interesting ways of combining semantic and structural information to improve the performance. Second, we observe that while BERT already outperforms other deep contextualized representations such as ELMo, it still benefits from the additional structural information explicitly added using GCNs. This is a bit surprising given the recent claims that BERT already captures structural information. Lastly, the proposed SSS framework gives an improvement of 7.95 over the baseline.


Homotopy characters as a homotopy limit. For a Hopf DG algebra corresponding to a derived algebraic group, we compute the homotopy limit of the associated cosimplicial system of DG algebras given by the classifying space construction. The homotopy limit is taken in the model category of DG categories. The objects of the resulting DG category are Maurer Cartan elements of operatorname Cobar (A) , or 1 dimensional A infty comodules over A . These can be viewed as characters up to homotopy of the corresponding derived group. Their tensor product is interpreted in terms of Kadeishvili's multibraces. We also study the coderived category of DG modules over this DG category.


Alexander polynomials of simple ribbon knots. In a previous paper, we introduced special types of fusions, so called simple ribbon fusions on links. A knot obtained from the trivial knot by a finite sequence of simple ribbon fusions is called a simple ribbon knot. Every ribbon knot with 10 crossings is a simple ribbon knot. In this paper, we give a formula for the Alexander polynomials of simple ribbon knots. Using the formula, we determine if a knot with 10 crossings is a simple ribbon knot. Every simple ribbon fusion can be realized by elementary" simple ribbon fusions. We call a knot a p simple ribbon knot if the knot is obtained from the trivial knot by a finite sequence of elementary p simple ribbon fusions for a fixed positive integer p. We provide a condition for a simple ribbon knot to be both of an m simple ribbon knot and an n simple ribbon knot for positive integers m and n.


Inverse problems for elliptic equations with power type nonlinearities. We introduce a method for solving Calder 'on type inverse problems for semilinear equations with power type nonlinearities. The method is based on higher order linearizations, and it allows one to solve inverse problems for certain nonlinear equations in cases where the solution for a corresponding linear equation is not known. Assuming the knowledge of a nonlinear Dirichlet to Neumann map, we determine both a potential and a conformal manifold simultaneously in dimension 2 , and a potential on transversally anisotropic manifolds in dimensions n geq 3 . In the Euclidean case, we show that one can solve the Calder 'on problem for certain semilinear equations in a surprisingly simple way without using complex geometrical optics solutions.


Data driven Decision Making with Probabilistic Guarantees (Part 1) A Schematic Overview of Chance constrained Optimization. Uncertainties from deepening penetration of renewable energy resources have posed critical challenges to the secure and reliable operations of future electric grids. Among various approaches for decision making in uncertain environments, this paper focuses on chance constrained optimization, which provides explicit probabilistic guarantees on the feasibility of optimal solutions. Although quite a few methods have been proposed to solve chance constrained optimization problems, there is a lack of comprehensive review and comparative analysis of the proposed methods. Part I of this two part paper reviews three categories of existing methods to chance constrained optimization (1) scenario approach (2) sample average approximation and (3) robust optimization based methods. Data driven methods, which are not constrained by any particular distributions of the underlying uncertainties, are of particular interest. Part II of this two part paper provides a literature review on the applications of chance constrained optimization in power systems. Part II also provides a critical comparison of existing methods based on numerical simulations, which are conducted on standard power system test cases.


Nested Named Entity Recognition via Second best Sequence Learning and Decoding. When an entity name contains other names within it, the identification of all combinations of names can become difficult and expensive. We propose a new method to recognize not only outermost named entities but also inner nested ones. We design an objective function for training a neural model that treats the tag sequence for nested entities as the second best path within the span of their parent entity. In addition, we provide the decoding method for inference that extracts entities iteratively from outermost ones to inner ones in an outside to inside way. Our method has no additional hyperparameters to the conditional random field based model widely used for flat named entity recognition tasks. Experiments demonstrate that our method performs better than or at least as well as existing methods capable of handling nested entities, achieving the F1 scores of 85.82 , 84.34 , and 77.36 on ACE 2004, ACE 2005, and GENIA datasets, respectively.


End to End Delay Approximation in Packet Switched Networks. In this paper, I develop a generalized method to approximate end to end delay (average delay, jitter and density functions) in packet switched networks (PSNs) of any size under 1) Kleinrock's independence assumption (KIA) and 2) when packet lengths are kept unchanged when they traverse from node to node in a network, which is an Alternative to Kleinrock's independence assumption (AKIA). I introduce a new phase type distribution C( mathbf p , boldsymbol theta) and then use results from the network flow theory and queueing theory to show that the end to end delay in PSNs under KIA and AKIA are two different random variables approximately described by C( mathbf p , boldsymbol theta) . When PSNs have AKIA, I show from simulation that the method under AKIA significantly reduces end to end delay approximation errors and provides close approximation compared with the method under KIA.


Hardy Littlewood theorems and the Bergman distance. This paper deals with subclasses of bounded analytic functions on the unit disc. It is our aim to connect the smoothness of the boundary function and the mean growth of an appropriate derivative of analytic mapping. We generalize the Yamashita approach for analytic mappings of the unit disc into a bounded plane domain equipped with the Bergman distance or quasihyperbolic distance. The theorems we give are non Euclidean versions of the classical Hardy and Littlewood theorems.


Counting Hamilton cycles in Dirac hypergraphs. A tight Hamilton cycle in a k uniform hypergraph ( k graph) G is a cyclic ordering of the vertices of G such that every set of k consecutive vertices in the ordering forms an edge. R " o dl, Ruci ' n ski, and Szemer ' e di proved that for k geq 3 , every k graph on n vertices with minimum codegree at least n 2 o(n) contains a tight Hamilton cycle. We show that the number of tight Hamilton cycles in such k graphs is exp(n ln n Theta(n)) . As a corollary, we obtain a similar estimate on the number of Hamilton ell cycles in such k graphs for all ell in 0, dots,k 1 , which makes progress on a question of Ferber, Krivelevich and Sudakov.


Eigenvector Model Descriptors for Solving an Inverse Problem of Helmholtz Equation Extended Materials. We study the seismic inverse problem for the recovery of subsurface properties in acoustic media. In order to reduce the ill posedness of the problem, the heterogeneous wave speed parameter to be recovered is represented using a limited number of coefficients associated with a basis of eigenvectors of a diffusion equation, following the regularization by discretization approach. We compare several choices for the diffusion coefficient in the partial differential equations, which are extracted from the field of image processing. We first investigate their efficiency for image decomposition (accuracy of the representation with respect to the number of variables and denoising). Next, we implement the method in the quantitative reconstruction procedure for seismic imaging, following the Full Waveform Inversion method, where the difficulty resides in that the basis is defined from an initial model where none of the actual structures is known. In particular, we demonstrate that the method is efficient for the challenging reconstruction of media with salt domes. We employ the method in two and three dimensional experiments and show that the eigenvector representation compensates for the lack of low frequency information, it eventually serves us to extract guidelines for the implementation of the method.


Distill2Vec Dynamic Graph Representation Learning with Knowledge Distillation. Dynamic graph representation learning strategies are based on different neural architectures to capture the graph evolution over time. However, the underlying neural architectures require a large amount of parameters to train and suffer from high online inference latency, that is several model parameters have to be updated when new data arrive online. In this study we propose Distill2Vec, a knowledge distillation strategy to train a compact model with a low number of trainable parameters, so as to reduce the latency of online inference and maintain the model accuracy high. We design a distillation loss function based on Kullback Leibler divergence to transfer the acquired knowledge from a teacher model trained on offline data, to a small size student model for online data. Our experiments with publicly available datasets show the superiority of our proposed model over several state of the art approaches with relative gains up to 5 in the link prediction task. In addition, we demonstrate the effectiveness of our knowledge distillation strategy, in terms of number of required parameters, where Distill2Vec achieves a compression ratio up to 7 100 when compared with baseline approaches. For reproduction purposes, our implementation is publicly available at https stefanosantaris.github.io Distill2Vec.


Commuting maps on alternative rings. Suppose mathfrak R is a 2 , 3 torsion free unital alternative ring having an idempotent element e 1 left(e 2 1 e 1 right) which satisfies x mathfrak R cdot e i 0 rightarrow x 0 left(i 1,2 right) . In this paper, we aim to characterize the commuting maps. Let varphi be a commuting map of mathfrak R so it is shown that varphi(x) zx Xi(x) for all x in mathfrak R , where z in mathcal Z ( mathfrak R ) and Xi is an additive map from mathfrak R into mathcal Z ( mathfrak R ) . As a consequence a characterization of anti commuting maps is obtained and we provide as an application, a characterization of commuting maps on von Neumann algebras relative alternative C algebra with no central summands of type I 1 .


Information Theoretic Security of MIMO Networks under kappa mu Shadowed Fading Channels. This paper investigates the impact of realistic propagation conditions on the achievable secrecy performance of multiple input multiple output systems in the presence of an eavesdropper. Specifically, we concentrate on the kappa mu shadowed fading model because its physical underpinnings capture a wide range of propagation conditions, while, at the same time, it allows for much better tractability than other state of the art fading models. By considering transmit antenna selection and maximal ratio combining reception at the legitimate and eavesdropper's receiver sides, we study two relevant scenarios (i) the transmitter does not know the eavesdropper's channel state information (CSI), and (ii) the transmitter has knowledge of the CSI of the eavesdropper link. For this purpose, we first obtain novel and tractable expressions for the statistics of the maximum of independent and identically distributed (i.i.d.) variates related to the legitimate path. Based on these results, we derive novel closed form expressions for the secrecy outage probability (SOP) and the average secrecy capacity (ASC) to assess the secrecy performance in passive and active eavesdropping scenarios, respectively. Moreover, we develop analytical asymptotic expressions of the SOP and ASC at the high signal to noise ratio regime. In all instances, secrecy performance metrics are characterized in closed form, without requiring the evaluation of Meijer or Fox functions. Some useful insights on how the different propagation conditions and the number of antennas impact the secrecy performance are also provided.


On commutative homogeneous vector bundles attached to nilmanifolds. The notion of Gelfand pair (G, K) can be generalized if we consider homogeneous vector bundles over G K instead of the homogeneous space G K and matrix valued functions instead of scalar valued functions. This gives the definition of commutative homogeneous vector bundles. Being a Gelfand pair is a necessary condition of being a commutative homogeneous vector bundle. For the case in which G K is a nilmanifold having square integrable representations, in a previous article we determined a big family of commutative homogeneous vector bundles. In this paper, we complete that classification.


Continuous K Theory and Cohomology of Rigid Spaces. We establish a connection between continuous K theory and integral cohomology of rigid spaces. Given a rigid analytic space over a complete discretely valued field, its continuous K groups vanish in degrees below the negative of the dimension. Likewise, the cohomology groups vanish in degrees above the dimension. The main result provides the existence of an isomorphism between the lowest possibly non vanishing continuous K group and the highest possibly non vanishing cohomology group with integral coefficients. A key role in the proof is played by a comparison between cohomology groups of an admissible Zariski Riemann space with respect to different topologies namely, the rh topology which is related to K theory as well as the Zariski topology whereon the cohomology groups in question rely.


cs.SI cs.LG physics.data-an physics.soc-ph

Impact of natural disasters on consumer behavior case of the 2017 El Nino phenomenon in Peru. El Nino is an extreme weather event featuring unusual warming of surface waters in the eastern equatorial Pacific Ocean. This phenomenon is characterized by heavy rains and floods that negatively affect the economic activities of the impacted areas. Understanding how this phenomenon influences consumption behavior at different granularity levels is essential for recommending strategies to normalize the situation. With this aim, we performed a multi scale analysis of data associated with bank transactions involving credit and debit cards. Our findings can be summarized into two main results Coarse grained analysis reveals the presence of the El Ni no phenomenon and the recovery time in a given territory, while fine grained analysis demonstrates a change in individuals' purchasing patterns and in merchant relevance as a consequence of the climatic event. The results also indicate that society successfully withstood the natural disaster owing to the economic structure built over time. In this study, we present a new method that may be useful for better characterizing future extreme events.


Permissioned Blockchain Based Security for SDN in IoT Cloud Networks. The advancement in cloud networks has enabled connectivity of both traditional networked elements and new devices from all walks of life, thereby forming the Internet of Things (IoT). In an IoT setting, improving and scaling network components as well as reducing cost is essential to sustain exponential growth. In this domain, software defined networking (SDN) is revolutionizing the network infrastructure with a new paradigm. SDN splits the control routing logic from the data transfer forwarding. This splitting causes many issues in SDN, such as vulnerabilities of DDoS attacks. Many solutions (including blockchain based) have been proposed to overcome these problems. In this work, we offer a blockchain based solution that is provided in redundant SDN (load balanced) to service millions of IoT devices. Blockchain is considered as tamper proof and impossible to corrupt due to the replication of the ledger and consensus for verification and addition to the ledger. Therefore, it is a perfect fit for SDN in IoT Networks. Blockchain technology provides everyone with a working proof of decentralized trust. The experimental results show gain and efficiency with respect to the accuracy, update process, and bandwidth utilization.


The existence of partially localized periodic quasiperiodic solutions and related KAM type results for elliptic equations on the entire space. We consider the equation Delta x u u yy f(u) 0, x (x 1, dots,x N) in mathbb R N, y in mathbb R , where N geq 2 and f is a sufficiently smooth function satisfying f(0) 0 , f'(0) 0 , and some natural additional conditions. We prove that the equation possesses uncountably many positive solutions (disregarding translations) which are radially symmetric in x' (x 1, dots,x N 1 ) and decaying as x' to infty , periodic in x N , and quasiperiodic in y . Related theorems for more general equations are included in our analysis as well. Our method is based on center manifold and KAM type results.


Query efficient Meta Attack to Deep Neural Networks. Black box attack methods aim to infer suitable attack patterns to targeted DNN models by only using output feedback of the models and the corresponding input queries. However, due to lack of prior and inefficiency in leveraging the query and feedback information, existing methods are mostly query intensive for obtaining effective attack patterns. In this work, we propose a meta attack approach that is capable of attacking a targeted model with much fewer queries. Its high queryefficiency stems from effective utilization of meta learning approaches in learning generalizable prior abstraction from the previously observed attack patterns and exploiting such prior to help infer attack patterns from only a few queries and outputs. Extensive experiments on MNIST, CIFAR10 and tiny Imagenet demonstrate that our meta attack method can remarkably reduce the number of model queries without sacrificing the attack performance. Besides, the obtained meta attacker is not restricted to a particular model but can be used easily with a fast adaptive ability to attack a variety of models.The code of our work is available at https github.com dydjw9 MetaAttack ICLR2020 .