KG GAN Knowledge Guided Generative Adversarial Networks. Can generative adversarial networks (GANs) generate roses of various colors given only roses of red petals as input? The answer is negative, since GANs' discriminator would reject all roses of unseen petal colors. In this study, we propose knowledge guided GAN (KG GAN) to fuse domain knowledge with the GAN framework. KG GAN trains two generators one learns from data whereas the other learns from knowledge with a constraint function. Experimental results demonstrate the effectiveness of KG GAN in generating unseen flower categories from seen categories given textual descriptions of the unseen ones.


Properties of multicorrelation sequences and large returns under some ergodicity assumptions. We prove that given a measure preserving system (X, mathcal B , mu,T 1, dots,T d) with commuting, ergodic transformations T i such that T iT j 1 are ergodic for all i neq j , the multicorrelation sequence a(n) int X f 0 cdot T 1 nf 1 cdot dotso cdot T d n f d d mu can be decomposed as a(n) a textrm st (n) a textrm er (n) , where a textrm st is a uniform limit of d step nilsequences and a textrm er is a nullsequence (that is, lim N M to infty frac 1 N M sum n M N 1 a textrm er 2 0 ). Under some additional ergodicity conditions on T 1, dots,T d we also establish a similar decomposition for polynomial multicorrelation sequences of the form a(n) int X f 0 cdot prod i 1 dT i p i,1 (n) f 1 cdot dotso cdot prod i 1 dT i p i,k (n) f k d mu , where each p i,k mathbb Z rightarrow mathbb Z is a polynomial map. We also show, for d 2 , that if T 1, T 2, T 1T 2 1 are invertible and ergodic, we have large triple intersections for all varepsilon 0 and all A in mathcal B , the set n in mathbb Z mu(A cap T 1 n A cap T 2 n A) mu(A) 3 varepsilon is syndetic. Moreover, we show that if T 1, T 2, T 1T 2 1 are totally ergodic, and we denote by p n the n th prime, the set n in mathbb N mu(A cap T 1 (p n 1) A cap T 2 (p n 1) A) mu(A) 3 varepsilon has positive lower density.


Eigenvalue estimates for Kato type Ricci curvature conditions. We prove that optimal lower eigenvalue estimates of Zhong Yang type as well as a Cheng type upper bound for the first eigenvalue hold on closed manifolds assuming only a Kato condition on the negative part of the Ricci curvature. This generalizes all earlier results on L p curvature assumptions. Moreover, we introduce the Kato condition on compact manifolds with boundary with respect to the Neumann Laplacian, leading to Harnack estimates for the Neumann heat kernel and lower bounds for all Neumann eigenvalues, what provides a first insight in handling variable Ricci curvature assumptions in this case.


The quiver of an affine monoid. If R is a finite commutative ring, then the affine monoid of R is the monoid of all affine mappings x mapsto ax b on R . Alternatively, it is the semidirect product of the multiplicative monoid of R with the additive group of R . In this paper we compute the Gabriel quiver of the complex algebra of the affine monoid of any finite commutative ring.


Canonical blow ups of Grassmann manifolds. We introduce certain canonical blow ups mathcal T s,p,n , as well as their distinct submanifolds mathcal M s,p,n , of Grassmann manifolds G(p,n) by partitioning the Pl "ucker coordinates with respect to a parameter s . Various geometric aspects of mathcal T s,p,n and mathcal M s,p,n are studied, for instance, the smoothness, the holomorphic symmetries, the (semi )positivity of the anti canonical bundles, the existence of K "ahler Einstein metrics, the functoriality, etc. In particular, we introduce the notion of homeward compactification, of which mathcal T s,p,n are examples, as a generalization of the wonderful compactification. Lastly, a generalization of mathcal T s,p,n according to vector valued parameters overline s is given, and open questions are raised.


Disalignment rate coefficient of argon mathrm 2p 8 due to nitrogen collision. Tunable diode laser induced fluorescence (TDLIF) measurements are discussed and quantitatively evaluated for nitrogen admixtures in argon plasma under the influence of a strong magnetic field. TDLIF measurements were used to evaluate light transport properties in a strongly magnetized optically thick argon nitrogen plasma under different pressure conditions. Therefore, a coupled system of rate balance equations was constructed to describe laser pumping of individual magnetic sub levels of mathrm 2p 8 state through frequency separated sub transitions originating from mathrm 1s 4 magnetic sub levels. The density distribution (alignment) of mathrm 2p 8 multiplet was described by balancing laser pumping with losses including radiative decay, transfer of excitation between the neighboring sub levels in the mathrm 2p 8 multiplet driven by neutral collisions (argon and nitrogen) and quenching due to electron and neutral collisions. Resulting mathrm 2p 8 magnetic sub level densities were then used to model polarization dependent fluorescence, considering self absorption, which could be directly compared with polarization resolved TDLIF measurements. This enables to estimate the disalignment rate constant for the mathrm 2p 8 state due to collisions by molecular nitrogen. A comparison to molecular theory description is given providing satisfactory agreement. The presented measurement method and model can help to describe optical emission of argon and argon nitrogen admixtures in magnetized conditions and provides a basis for further description of optical emission spectra in magnetized plasmas.


The Eight Epochs of Math as regards past and future Matrix Computation. This paper gives a personal assessment of Epoch making advances in Matrix Computations from antiquity and with an eye towards tomorrow. We trace the development of number systems and elementary algebra, and the uses of Gaussian Elimination methods from around 2000 BC on to current real time Neural Network computations to solve time varying linear equations. We include relevant advances from China from the 3rd century AD on, and from India and Persia in the 9th century and discuss the conceptual genesis of vectors and matrices in central Europe and Japan in the 14th through 17th centuries AD. Followed by the 150 year cul de sac of polynomial root finder research for matrix eigenvalues, as well as the superbly useful matrix iterative methods and Francis' eigenvalue Algorithm from last century. Then we explain the recent use of initial value problem solvers to master time varying linear and nonlinear matrix equations via Neural Networks. We end with a short outlook upon new hardware schemes with multilevel processors that go beyond the 0 1 base 2 framework which all of our past and current electronic computers have been using.


ZipPhone Protecting user location privacy from cellular service providers. Wireless service providers track the time and location of all user connections. Location inference attacks have been effective in revealing the identity of anonymous users of wireless services. In this paper, we propose ZipPhone, a solution that leverages existing cellular infrastructure to improve user privacy. Spartacus allows a community of users to strategically time their connections to remain anonymous while incurring a minimal loss of utility. We evaluate ZipPhone from the perspective of a cell service provider and a community of privacy seeking users, and quantify the privacy utility trade off of ZipPhone using two datasets containing cell tower logs of hundreds of users. We present and assess a deanonymization algorithm that uses both location profiling and trajectory linking. We find that by renewing identifiers every ten minutes and remaining offline for 30 seconds, users can reduce their identifiability by up to 45 .


Boundedness of some multi parameter fiber wise multiplier operators. We prove L p estimates for various multi parameter bi and trilinear operators with symbols acting on fibers of the two dimensional functions. In particular, this yields estimates for the general bi parameter form of the twisted paraproduct studied in arXiv 1011.6140.


Cubic bent functions outside the completed Maiorana McFarland class. In this paper we prove that in opposite to the cases of 6 and 8 variables, the Maiorana McFarland construction does not describe the whole class of cubic bent functions in n variables for all n ge 10 . Moreover, we show that for almost all values of n , these functions can simultaneously be homogeneous and have no affine derivatives.


The Fundamental Theorem of Barzilai does not hold. The extensively cited work of Barzilai, J. (1997) Deriving weights from pairwise comparison matrices, published in Journal of the Operational Research Society, 48(12), 1226 1232., derives the geometric mean method from two simple axioms. This note reveals that the central result of the paper called the Fundamental Theorem by the author does not hold as there exists at least one further method satisfying both requirements.


Computing High Quality Clutter Removal Solutions for Multiple Robots. We investigate the task and motion planning problem of clearing clutter from a workspace with limited ingress egress access for multiple robots. We call the problem multi robot clutter removal (MRCR). Targeting practical applications where motion planning is non trivial but is not a bottleneck, we focus on finding high quality solutions for feasible MRCR instances, which depends on the ability to efficiently compute high quality object removal sequences. Despite the challenging multi robot setting, our proposed search algorithms based on A , dynamic programming, and best first heuristics all produce solutions for tens of objects that significantly outperform single robot solutions. Realistic simulations with multiple Kuka youBots further confirms the effectiveness of our algorithmic solutions. In contrast, we also show that deciding the optimal object removal sequence for MRCR is computationally intractable.


Species subsets and embedded networks of S systems. Magombedze and Mulder (2013) studied the gene regulatory system of textit Mycobacterium Tuberculosis ( textit Mtb ) by partitioning this into three subsystems based on putative gene function and role in dormancy latency development. Each subsystem, in the form of S system, is represented by an embedded chemical reaction network (CRN), defined by a species subset and a reaction subset induced by the set of digraph vertices of the subsystem. Based on the network decomposition theory initiated by Feinberg in 1987, we have introduced the concept of incidence independent and developed the theory of mathscr C and mathscr C decompositions including their structure theorems in terms of linkage classes. With the S system CRN mathscr N of Magombedze and Mulder's textit Mtb model, its reaction set partition induced decomposition of subnetworks that are not CRNs of S system but constitute independent decomposition of mathscr N . We have also constructed a new S system CRN mathscr N for which the embedded networks are mathscr C decomposition. We have shown that subnetworks of mathscr N and the embedded networks (subnetworks of mathscr N ) are digraph homomorphisms. Lastly, we attempted to explore modularity in the context of CRN.


On the distribution of alpha p modulo one in imaginary quadratic number fields with class number one. We investigate the distribution of alpha p modulo one in imaginary quadratic number fields mathbb K subset mathbb C with class number one, where p is restricted to prime elements in the ring of integers mathcal O mathbb Z omega of mathbb K . In analogy to classical work due to R. C. Vaughan, we obtain that the inequality lVert alpha p rVert omega mathrm N (p) 1 8 epsilon is satisfied for infinitely many p , where lVert varrho rVert omega measures the distance of varrho in mathbb C to mathscr O and mathrm N (p) denotes the norm of p . The proof is based on Harman's sieve method and employs number field analogues of classical ideas due to Vinogradov. Moreover, we introduce a smoothing which allows us to make conveniently use of the Poisson summation formula.


Pertfect matching and zero sum 3 magic labeling. A mapping l E(G) rightarrow A , where A is an abelian group which written additively, is called a labeling of the graph G . For every positive integer h geqslant 2 , a graph G is said to be zero sum h magic if there is an edge labeling l from E(G) into mathbb Z h backslash 0 such that s(v) sum uv in E(G) l(uv) 0 for every vertex v in V(G) . In 2014, Saieed Akbari, Farhad Rahmati and Sanaz Zare conjectured that every 5 regular graph admits a zero sum 3 magic labeling. In this paper, we obtained that every 5 regular graph with every edge contains in a triangle must have a perfect matching, and admits a zero sum 3 magic labeling, which partially confirms this conjecture.


Comparing Efficiency of Expert Data Aggregation Methods. Expert estimation of objects takes place when there are no benchmark values of object weights, but these weights still have to be defined. That is why it is problematic to define the efficiency of expert estimation methods. We propose to define efficiency of such methods based on stability of their results under perturbations of input data. We compare two modifications of combinatorial method of expert data aggregation (spanning tree enumeration). Using the example of these two methods, we illustrate two approaches to efficiency evaluation. The first approach is based on usage of real data, obtained through estimation of a set of model objects by a group of experts. The second approach is based on simulation of the whole expert examination cycle (including expert estimates). During evaluation of efficiency of the two listed modifications of combinatorial expert data aggregation method the simulation based approach proved more robust and credible. Our experimental study confirms that if weights of spanning trees are taken into consideration, the results of combinatorial data aggregation method become more stable. So, weighted spanning tree enumeration method has an advantage over non weighted method (and, consequently, over logarithmic least squares and row geometric mean methods).


Single step deep reinforcement learning for open loop control of laminar and turbulent flows. This research gauges the ability of deep reinforcement learning (DRL) techniques to assist the optimization and control of fluid mechanical systems. It combines a novel, "degenerate" version of the proximal policy optimization (PPO) algorithm, that trains a neural network in optimizing the system only once per learning episode, and an in house stabilized finite elements environment implementing the variational multiscale (VMS) method, that computes the numerical reward fed to the neural network. Three prototypical examples of separated flows in two dimensions are used as testbed for developing the methodology, each of which adds a layer of complexity due either to the unsteadiness of the flow solutions, or the sharpness of the objective function, or the dimension of the control parameter space. Relevance is carefully assessed by comparing systematically to reference data obtained by canonical direct and adjoint methods. Beyond adding value to the shallow literature on this subject, these findings establish the potential of single step PPO for reliable black box optimization of computational fluid dynamics (CFD) systems, which paves the way for future progress in optimal flow control using this new class of methods.


Recommender Systems Fairness Evaluation via Generalized Cross Entropy. Fairness in recommender systems has been considered with respect to sensitive attributes of users (e.g., gender, race) or items (e.g., revenue in a multistakeholder setting). Regardless, the concept has been commonly interpreted as some form of equality i.e., the degree to which the system is meeting the information needs of all its users in an equal sense. In this paper, we argue that fairness in recommender systems does not necessarily imply equality, but instead it should consider a distribution of resources based on merits and needs. We present a probabilistic framework based on generalized cross entropy to evaluate fairness of recommender systems under this perspective, where we show that the proposed framework is flexible and explanatory by allowing to incorporate domain knowledge (through an ideal fair distribution) that can help to understand which item or user aspects a recommendation algorithm is over or under representing. Results on two real world datasets show the merits of the proposed evaluation framework both in terms of user and item fairness.


KGvec2go Knowledge Graph Embeddings as a Service. In this paper, we present KGvec2go, a Web API for accessing and consuming graph embeddings in a light weight fashion in downstream applications. Currently, we serve pre trained embeddings for four knowledge graphs. We introduce the service and its usage, and we show further that the trained models have semantic value by evaluating them on multiple semantic benchmarks. The evaluation also reveals that the combination of multiple models can lead to a better outcome than the best individual model.


One bipolar topologically slice knots and primary decomposition. Let T n be the bipolar filtration of the smooth concordance group of topologically slice knots, which was introduced by Cochran, Harvey, and Horn. It is known that for each n not equal to 1 the quotient group T n T n 1 has infinite rank and T 1 T 2 has positive rank. In this paper, we show that T 1 T 2 also has infinite rank. Moreover, we prove that there exist infinitely many Alexander polynomials p(t) such that there exist infinitely many knots in T 1 with Alexander polynomial p(t) whose nontrivial linear combinations are not concordant to any knot with Alexander polynomial coprime to p(t), even modulo T 2. This extends the recent result of Cha on the primary decomposition of T n T n 1 for all n greater than 1 to the case n 1. To prove our theorem, we show that the surgery manifolds of satellite links of nu equivalent knots with the same pattern link have the same Ozsv 'ath Szab 'o d invariants, which is of independent interest. As another application, for each g greater than 0, we give a topologically slice knot of concordance genus g that is nu equivalent to the unknot.


Towards a computer interpretable actionable formal model to encode data governance rules. With the needs of science and business, data sharing and re use has become an intensive activity for various areas. In many cases, governance imposes rules concerning data use, but there is no existing computational technique to help data users comply with such rules. We argue that intelligent systems can be used to improve the situation, by recording provenance records during processing, encoding the rules and performing reasoning. We present our initial work, designing formal models for data rules and flow rules and the reasoning system, as the first step towards helping data providers and data users sustain productive relationships.


Explainable Artificial Intelligence a Systematic Review. Explainable Artificial Intelligence (XAI) has experienced a significant growth over the last few years. This is due to the widespread application of machine learning, particularly deep learning, that has led to the development of highly accurate models but lack explainability and interpretability. A plethora of methods to tackle this problem have been proposed, developed and tested. This systematic review contributes to the body of knowledge by clustering these methods with a hierarchical classification system with four main clusters review articles, theories and notions, methods and their evaluation. It also summarises the state of the art in XAI and recommends future research directions.


Efficient coding of natural scene statistics predicts discrimination thresholds for grayscale textures. Previously, in (Hermundstad et al., 2014), we showed that when sampling is limiting, the efficient coding principle leads to a "variance is salience" hypothesis, and that this hypothesis accounts for visual sensitivity to binary image statistics. Here, using extensive new psychophysical data and image analysis, we show that this hypothesis accounts for visual sensitivity to a large set of grayscale image statistics at a striking level of detail, and also identify the limits of the prediction. We define a 66 dimensional space of local grayscale light intensity correlations, and measure the relevance of each direction to natural scenes. The "variance is salience" hypothesis predicts that two point correlations are most salient, and predicts their relative salience. We tested these predictions in a texture segregation task using un natural, synthetic textures. As predicted, correlations beyond second order are not salient, and predicted thresholds for over 300 second order correlations match psychophysical thresholds closely (median fractional error 0.13).


Artificial intelligence approach to momentum risk taking. We propose a mathematical model of momentum risk taking, which is essentially real time risk management focused on short term volatility of stock markets. Its implementation, our fully automated momentum equity trading system presented systematically, proved to be successful in extensive historical and real time experiments. Momentum risk taking is one of the key components of general decision making, a challenge for artificial intelligence and machine learning with deep roots in cognitive science its variants beyond stock markets are discussed. We begin with a new algebraic type theory of news impact on share prices, which describes well their power growth, periodicity, and the market phenomena like price targets and profit taking. This theory generally requires Bessel and hypergeometric functions. Its discretization results in some tables of bids, which are basically expected returns for main investment horizons, the key in our trading system. The ML procedures we use are similar to those in neural networking. A preimage of our approach is the new contract card game provided at the end, a combination of bridge and poker. Relations to random processes and the fractional Brownian motion are outlined.


The Schr "odinger equation in L p spaces for operators with heat kernel satisfying Poisson type bounds. Let L be a non negative self adjoint operator acting on L 2(X) where X is a space of homogeneous type with a dimension n . In this paper, we study sharp endpoint L p Sobolev estimates for the solution of the initial value problem for the Schr "odinger equation, i partial t u L u 0 and show that for all f in L p(X), 1 p infty, begin eqnarray left e itL (I L) sigma n f right p leq C(1 t ) sigma n f p , t in mathbb R , sigma geq big 1 over 2 1 over p big , end eqnarray where the semigroup e tL generated by L satisfies a Poisson type upper bound. This extends the previous result in cite CDLY1 in which the semigroup e tL generated by L satisfies the exponential decay.


Algebraic subgroups of the plane Cremona group over a perfect field. We show that any infinite algebraic subgroup of the plane Cremona group over a perfect field is contained in a maximal algebraic subgroup of the plane Cremona group. We classify the maximal groups, and their subgroups of rational points, up to conjugacy by a birational map.


Notes on the stable regularity lemma. This is a short expository account of the regularity lemma for stable graphs proved by the authors, with some comments on the model theoretic context, written for a general logical audience.


Fairness Oriented User Scheduling for Bursty Downlink Transmission Using Multi Agent Reinforcement Learning. In this work, we develop practical user scheduling algorithms for downlink bursty traffic with emphasis on user fairness. In contrast to the conventional scheduling algorithms that either equally divides the transmission time slots among users or maximizing some ratios without physcial meanings, we propose to use the 5 tile user data rate (5TUDR) as the metric to evaluate user fairness. Since it is difficult to directly optimize 5TUDR, we first cast the problem into the stochastic game framework and subsequently propose a Multi Agent Reinforcement Learning (MARL) based algorithm to perform distributed optimization on the resource block group (RBG) allocation. Furthermore, each MARL agent is designed to take information measured by network counters from multiple network layers (e.g. Channel Quality Indicator, Buffer size) as the input states while the RBG allocation as action with a proposed reward function designed to maximize 5TUDR. Extensive simulation is performed to show that the proposed MARL based scheduler can achieve fair scheduling while maintaining good average network throughput as compared to conventional schedulers.


Bed form induced hyporheic exchange and geochemical hotspots. Small scale bed form topographies control hyporheic exchange and biogeochemical processes within aquatic sediments, which ultimately affect water quality and nutrient cycling at the watershed scale. The impact of three dimensional (3D) and small scale bed form topographies on hyporheic exchange and solute mixing is investigated in the present work. The effect of bed form morphologies on the development of zones of enhanced reaction rates (i.e., hot spots) is also studied. A computational fluid dynamics model to simulate river flow over bed forms is combined with a subsurface flow and multicomponent reactive solute transport model. A wide variety of bed form topographies are generated using geometric models by varying parameters controlling curvature as well as bed form wavelength and amplitude. Our results show that the pressure distribution at the sediment water interface is strongly affected by the bed form geometry. Higher phase shifts in bed form shapes result in overall higher average velocity, larger zones of enhanced pressure and reaction rates, and higher amounts of solute exchange. Moreover, the bed form shapes control the reaction process for a wide range of sediment conductivities. This study advances the understanding of the effects of complex and small scale morphological features on hyporheic exchange processes.


Towards a Security Baseline for IaaS Cloud Back Ends in Industry 4.0. The popularity of cloud based Infrastructure as a Service (IaaS) solutions is becoming increasingly popular. However, since IaaS providers and customers interact in a flexible and scalable environment, security remains a serious concern. To handle such security issues, defining a set of security parameters in the service level agreements (SLA) between both, IaaS provider and customer, is of utmost importance. In this paper, the European Network and Information Security Agency (ENISA) guidelines are evaluated to extract a set of security parameters for IaaS. Furthermore, the level of applicability and implementation of this set is used to assess popular industrial and open source IaaS cloud platforms, respectively VMware and OpenStack. Both platforms provide private clouds, used as backend infrastructures in Industry 4.0 application scenarios. The results serve as initial work to identify a security baseline and research needs for creating secure cloud environments for Industry 4.0.


Celeganser Automated Analysis of Nematode Morphology and Age. The nematode Caenorhabditis elegans (C. elegans) serves as an important model organism in a wide variety of biological studies. In this paper we introduce a pipeline for automated analysis of C. elegans imagery for the purpose of studying life span, health span and the underlying genetic determinants of aging. Our system detects and segments the worm, and predicts body coordinates at each pixel location inside the worm. These coordinates provide dense correspondence across individual animals to allow for meaningful comparative analysis. We show that a model pre trained to perform body coordinate regression extracts rich features that can be used to predict the age of individual worms with high accuracy. This lays the ground for future research in quantifying the relation between organs' physiologic and biochemical state, and individual life health span.


Hillview A trillion cell spreadsheet for big data. Hillview is a distributed spreadsheet for browsing very large datasets that cannot be handled by a single machine. As a spreadsheet, Hillview provides a high degree of interactivity that permits data analysts to explore information quickly along many dimensions while switching visualizations on a whim. To provide the required responsiveness, Hillview introduces visualization sketches, or vizketches, as a simple idea to produce compact data visualizations. Vizketches combine algorithmic techniques for data summarization with computer graphics principles for efficient rendering. While simple, vizketches are effective at scaling the spreadsheet by parallelizing computation, reducing communication, providing progressive visualizations, and offering precise accuracy guarantees. Using Hillview running on eight servers, we can navigate and visualize datasets of tens of billions of rows and trillions of cells, much beyond the published capabilities of competing systems.


Self supervised Pre training with Hard Examples Improves Visual Representations. Self supervised pre training (SSP) employs random image transformations to generate training data for visual representation learning. In this paper, we first present a modeling framework that unifies existing SSP methods as learning to predict pseudo labels. Then, we propose new data augmentation methods of generating training examples whose pseudo labels are harder to predict than those generated via random image transformations. Specifically, we use adversarial training and CutMix to create hard examples (HEXA) to be used as augmented views for MoCo v2 and DeepCluster v2, leading to two variants HEXA MoCo and HEXA DCluster , respectively. In our experiments, we pre train models on ImageNet and evaluate them on multiple public benchmarks. Our evaluation shows that the two new algorithm variants outperform their original counterparts, and achieve new state of the art on a wide range of tasks where limited task supervision is available for fine tuning. These results verify that hard examples are instrumental in improving the generalization of the pre trained models.


Perfect anomalous reflection using compound metallic metagratings. Metagrating is a new concept for wavefront manipulation that, unlike phase gradient metasurfaces, does not suffer from low efficiency and also has a less complicated fabrication process. In this paper, a compound metallic grating (a periodic structure with more than one slit in each period) is proposed for anomalous reflection. The electromagnetic response of this grating is analyzed by a proposed analytical method and then a closed form and analytical expressions are presented for the reflection coefficients of the higher diffracted orders. The proposed method is verified by full wave simulations and the results are in excellent agreement. Thanks to the geometrical asymmetry of compound metallic grating, we use it for designing anomalous reflection in the normal incident. Given analytical expressions for reflection coefficients, a perfect anomalous reflector is designed via transferring all the incident power to ( 1) diffraction order. The structure designed in this study has an unprecedented near to unitary efficiency of 99.9 . Finally, a multi element compound metallic grating is proposed for reflecting the normal incident to angles of below 30, which is a challenging accomplishment. This excellent performance of compound metallic grating shows its high potential for microwave and terahertz wave front manipulation applications.


Foliations by spacelike hypersurfaces on Lorentz manifolds. In this work we study the geometric properties of spacelike foliations by hypersurfaces on a Lorentz manifold. We find an equation that relates the foliation with the ambient manifold and apply it to investigate conditions for the leaves being totally umbilical or geodesic. Using the Maximum principle with the mentioned equation we obtain an obstruction for the existence of totally geodesic spacelike foliations in a spacetime with positive Ricci curvature on the direction N .


A flood damage allowance framework for coastal protection with deep uncertainty in sea level rise. Future projections of Antarctic ice sheet (AIS) mass loss remain characterized by deep uncertainty (i.e., behavior is not well understood or widely agreed upon by experts). This complicates decisions on long lived projects involving the height of coastal flood protection strategies that seek to reduce damages from rising sea levels. If a prescribed margin of safety does not properly account for sea level rise and its uncertainties, the effectiveness of flood protection will decrease over time, potentially putting lives and property at greater risk. We develop a flood damage allowance framework for calculating the height of a flood protection strategy needed to ensure that a given level of financial risk is maintained (i.e., the average flood damage in a given year). The damage allowance framework considers decision maker preferences such as planning horizons, preferred protection strategies (storm surge barrier, levee, elevation, and coastal retreat), and subjective views of AIS stability. We use Manhattan (New York City) textemdash with the distribution of buildings, populations, and infrastructure fixed in time textemdash as an example to show how our framework could be used to calculate a range of damage allowances based on multiple plausible AIS outcomes. Assumptions regarding future AIS stability more strongly influence damage allowances under high greenhouse gas emissions (Representative Concentration Pathway RCP 8.5) compared to those that assume strong emissions reductions (RCP2.6). Design tools that specify financial risk targets, such as the average flood damage in a given year, allow for the calculation of avoided flood damages (i.e., benefits) that can be combined with estimates of construction cost and then integrated into existing financial decision making tools, like benefit cost or cost effectiveness analyses.


DeepCopy Grounded Response Generation with Hierarchical Pointer Networks. Recent advances in neural sequence to sequence models have led to promising results for several language generation based tasks, including dialogue response generation, summarization, and machine translation. However, these models are known to have several problems, especially in the context of chit chat based dialogue systems they tend to generate short and dull responses that are often too generic. Furthermore, these models do not ground conversational responses on knowledge and facts, resulting in turns that are not accurate, informative and engaging for the users. In this paper, we propose and experiment with a series of response generation models that aim to serve in the general scenario where in addition to the dialogue context, relevant unstructured external knowledge in the form of text is also assumed to be available for models to harness. Our proposed approach extends pointer generator networks (See et al., 2017) by allowing the decoder to hierarchically attend and copy from external knowledge in addition to the dialogue context. We empirically show the effectiveness of the proposed model compared to several baselines including (Ghazvininejad et al., 2018 Zhang et al., 2018) through both automatic evaluation metrics and human evaluation on CONVAI2 dataset.


Cascaded Semantic and Positional Self Attention Network for Document Classification. Transformers have shown great success in learning representations for language modelling. However, an open challenge still remains on how to systematically aggregate semantic information (word embedding) with positional (or temporal) information (word orders). In this work, we propose a new architecture to aggregate the two sources of information using cascaded semantic and positional self attention network (CSPAN) in the context of document classification. The CSPAN uses a semantic self attention layer cascaded with Bi LSTM to process the semantic and positional information in a sequential manner, and then adaptively combine them together through a residue connection. Compared with commonly used positional encoding schemes, CSPAN can exploit the interaction between semantics and word positions in a more interpretable and adaptive manner, and the classification performance can be notably improved while simultaneously preserving a compact model size and high convergence rate. We evaluate the CSPAN model on several benchmark data sets for document classification with careful ablation studies, and demonstrate the encouraging results compared with state of the art.


Software Tools for Big Data Resources in Family Names Dictionaries. This paper describes the design and development of specific software tools used during the creation of Family Names in Britain and Ireland (FaNBI) research project, started by the University of the West of England in 2010 and finished successfully in 2016. First, the overview of the project and methodology is provided. Next section contains the description of dictionary management tools and software tools to combine input data resources.


Power Side Channel Attacks on BNN Accelerators in Remote FPGAs. To lower cost and increase the utilization of Cloud Field Programmable Gate Arrays (FPGAs), researchers have recently been exploring the concept of multi tenant FPGAs, where multiple independent users simultaneously share the same remote FPGA. Despite its benefits, multi tenancy opens up the possibility of malicious users co locating on the same FPGA as a victim user, and extracting sensitive information. This issue becomes especially serious when the user is running a machine learning algorithm that is processing sensitive or private information. To demonstrate the dangers, this paper presents a remote, power based side channel attack on a deep neural network accelerator running in a variety of Xilinx FPGAs and also on Cloud FPGAs using Amazon Web Services (AWS) F1 instances. This work in particular shows how to remotely obtain voltage estimates as a deep neural network inference circuit executes, and how the information can be used to recover the inputs to the neural network. The attack is demonstrated with a binarized convolutional neural network used to recognize handwriting images from the MNIST handwritten digit database. With the use of precise time to digital converters for remote voltage estimation, the MNIST inputs can be successfully recovered with a maximum normalized cross correlation of 79 between the input image and the recovered image on local FPGA boards and 72 on AWS F1 instances. The attack requires no physical access nor modifications to the FPGA hardware.


Identifying Offensive Posts and Targeted Offense from Twitter. In this paper we present our approach and the system description for Sub task A and Sub Task B of SemEval 2019 Task 6 Identifying and Categorizing Offensive Language in Social Media. Sub task A involves identifying if a given tweet is offensive or not, and Sub Task B involves detecting if an offensive tweet is targeted towards someone (group or an individual). Our models for Sub task A is based on an ensemble of Convolutional Neural Network, Bidirectional LSTM with attention, and Bidirectional LSTM Bidirectional GRU, whereas for Sub task B, we rely on a set of heuristics derived from the training data and manual observation. We provide detailed analysis of the results obtained using the trained models. Our team ranked 5th out of 103 participants in Sub task A, achieving a macro F1 score of 0.807, and ranked 8th out of 75 participants in Sub Task B achieving a macro F1 of 0.695.


Affective Automotive User Interfaces Reviewing the State of Emotion Regulation in the Car. Affective technology offers exciting opportunities to improve road safety by catering to human emotions. Modern car interiors enable the contactless detection of user states, paving the way for a systematic promotion of safe driver behavior through emotion regulation. We review the current literature regarding the impact of emotions on driver behavior and analyze the state of emotion regulation approaches in the car. We summarize challenges for affective interaction in form of cultural aspects, technological hurdles and methodological considerations, as well as opportunities to improve road safety by reinstating drivers into an emotionally balanced state. The purpose of this review is to outline the community's combined knowledge for interested researchers, to provide a focussed introduction for practitioners and to identify future directions for affective interaction in the car.


Stable structure on safe set problems in vertex weighted graphs. Let G be a graph, and let w be a positive real valued weight function on V(G) . For every subset S of V(G) , let w(S) sum v in S w(v). A non empty subset S subset V(G) is a weighted safe set of (G,w) if, for every component C of the subgraph induced by S and every component D of G S , we have w(C) geq w(D) whenever there is an edge between C and D . If the subgraph of G induced by a weighted safe set S is connected, then the set S is called a connected weighted safe set of (G,w) . The weighted safe number mathrm s (G,w) and connected weighted safe number mathrm cs (G,w) of (G,w) are the minimum weights w(S) among all weighted safe sets and all connected weighted safe sets of (G,w) , respectively. Note that for every pair (G,w) , mathrm s (G,w) le mathrm cs (G,w) by their definitions. Recently, it was asked which pair (G,w) satisfies the equality and shown that every weighted cycle satisfies the equality. In this paper, we give a complete list of connected bipartite graphs G such that mathrm s (G,w) mathrm cs (G,w) for every weight function w on V(G) .


DeepMAL Deep Learning Models for Malware Traffic Detection and Classification. Robust network security systems are essential to prevent and mitigate the harming effects of the ever growing occurrence of network attacks. In recent years, machine learning based systems have gain popularity for network security applications, usually considering the application of shallow models, which rely on the careful engineering of expert, handcrafted input features. The main limitation of this approach is that handcrafted features can fail to perform well under different scenarios and types of attacks. Deep Learning (DL) models can solve this limitation using their ability to learn feature representations from raw, non processed data. In this paper we explore the power of DL models on the specific problem of detection and classification of malware network traffic. As a major advantage with respect to the state of the art, we consider raw measurements coming directly from the stream of monitored bytes as input to the proposed models, and evaluate different raw traffic feature representations, including packet and flow level ones. We introduce DeepMAL, a DL model which is able to capture the underlying statistics of malicious traffic, without any sort of expert handcrafted features. Using publicly available traffic traces containing different families of malware traffic, we show that DeepMAL can detect and classify malware flows with high accuracy, outperforming traditional, shallow like models.


Monocular 3D Human Pose Estimation by Generation and Ordinal Ranking. Monocular 3D human pose estimation from static images is a challenging problem, due to the curse of dimensionality and the ill posed nature of lifting 2D to 3D. In this paper, we propose a Deep Conditional Variational Autoencoder based model that synthesizes diverse anatomically plausible 3D pose samples conditioned on the estimated 2D pose. We show that CVAE based 3D pose sample set is consistent with the 2D pose and helps tackling the inherent ambiguity in 2D to 3D lifting. We propose two strategies for obtaining the final 3D pose (a) depth ordering ordinal relations to score and weight average the candidate 3D poses, referred to as OrdinalScore, and (b) with supervision from an Oracle. We report close to state of the art results on two benchmark datasets using OrdinalScore, and state of the art results using the Oracle. We also show that our pipeline yields competitive results without paired image to 3D annotations. The training and evaluation code is available at https github.com ssfootball04 generative pose.


Trust based Multiagent Consensus or Weightings Aggregation. We introduce a framework for reaching a consensus amongst several agents communicating via a trust network on conflicting information about their environment. We formalise our approach and provide an empirical and theoretical analysis of its properties.


Results and speculations concerning Comer relation algebras and the flexible atom conjecture. We study some finite integral symmetric relation algebras whose forbidden cycles are all 2 cycles. These algebras arise from a finite field construction due to Comer. We consider conditions that allow other finite algebras to embed into these Comer algebras, and as an application give the first known finite representation of relation algebra 34 65 , one of whose atoms is flexible. We conclude with some speculation about how the ideas presented here might contribute to a proof of the flexible atom conjecture.


On the Truth of G "odelian and Rosserian Sentences. There is a longstanding debate in the logico philosophical community as to why the G "odelian sentences of a consistent and sufficiently strong theory are true. The prevalent argument seems to be something like this since every one of the G "odelian sentences of such a theory is equivalent to the theory's consistency statement, even provably so inside the theory, the truth of those sentences follows from the consistency of the theory in question. So, G "odelian sentences of consistent theories should be true. In this paper, we show that G "odelian sentences of only sound theories are true and there is a long road from consistency to soundness, indeed a hierarchy of conditions which are satisfied by some theories and falsified by others. We also study the truth of Rosserian sentences and provide necessary and sufficient conditions for the truth of Rosserian (and also G "odelian) sentences of theories.


Universal additive Chern classes and a GRR type theorem. We construct a functor, from the category of schemes to the category of graded rings, that is an initial object for having a theory of Chern classes with an additive first Chern class. For any scheme X , the graded ring that our functor associates to X is related to the associated graded ring of the gamma filtration on the Grothendieck ring of finite rank locally free sheaves on X via a Grothendieck Riemann Roch type theorem.


Auto captions on GIF A Large scale Video sentence Dataset for Vision language Pre training. In this work, we present Auto captions on GIF, which is a new large scale pre training dataset for generic video understanding. All video sentence pairs are created by automatically extracting and filtering video caption annotations from billions of web pages. Auto captions on GIF dataset can be utilized to pre train the generic feature representation or encoder decoder structure for video captioning, and other downstream tasks (e.g., sentence localization in videos, video question answering, etc.) as well. We present a detailed analysis of Auto captions on GIF dataset in comparison to existing video sentence datasets. We also provide an evaluation of a Transformer based encoder decoder structure for vision language pre training, which is further adapted to video captioning downstream task and yields the compelling generalizability on MSR VTT. The dataset is available at url http www.auto video captions.top 2020 dataset .


A Simple Algorithm for Higher order Delaunay Mosaics and Alpha Shapes. We present a simple algorithm for computing higher order Delaunay mosaics that works in Euclidean spaces of any finite dimensions. The algorithm selects the vertices of the order k mosaic from incrementally constructed lower order mosaics and uses an algorithm for weighted first order Delaunay mosaics as a black box to construct the order k mosaic from its vertices. Beyond this black box, the algorithm uses only combinatorial operations, thus facilitating easy implementation. We extend this algorithm to compute higher order alpha shapes and provide open source implementations. We present experimental results for properties of higher order Delaunay mosaics of random point sets.


Inequalities between Partial Domination and Independent Partial Domination in Graphs. For a graph G , a vertex subset S subseteq V(G) is said to be K k isolating if G N G S does not contain K k as a subgraph. The K k isolation number of G , denoted by iota k (G) , is the minimum cardinality of a K k isolating set of G . Analogously, S is said to be independent K k isolating if S is a K k isolating set of G and G S has no edge. The independent K k isolation number of G , denoted by iota' k (G) , is the minimum cardinality of an independent K k isolating set of G . Clearly, when k 1 , we have gamma(G) iota 1 (G) and i(G) iota' 1 (G) where gamma(G) and i(G) are the domination and independent domination numbers. For classic results between gamma(G) and i(G) , in 1978, Allan and Laskar proved that gamma(G) i(G) for all K 1, 3 free graphs and this result was generalized to K 1, r free graphs by Bollob acute a s and Cockayne in 1979. In 2013, Rad and Volkmann proved that the ratio i(G) gamma(G) is at most Delta(G) 2 when Delta(G) in 3, 4, 5 . Further, Furuya et. al. proved that when Delta(G) geq 6 , we have i(G) gamma(G) leq Delta(G) 2 sqrt Delta(G) 2 . In this paper, for a smallest K k isolating set S , we prove that iota' k(G) le frac iota k 2(G) ell i k(G)( Delta 2) ell Delta where ell is the number of some specific vertices of S such that the union of their closed neighborhoods in S is S . We prove that this bound is sharp. A special case of our main theorem implies iota' k (G) iota k (G) leq Delta(G) 2 sqrt Delta(G) 2 . Further, we find an inequality between iota' k (G) and iota k (G) when G is K 1, r free graph. This also generalizes the result of Bollob acute a s and Cockayne.


An artificial neural network approximation for Cauchy inverse problems. A novel artificial neural network method is proposed for solving Cauchy inverse problems. It allows multiple hidden layers with arbitrary width and depth, which theoretically yields better approximations to the inverse problems. In this research, the existence and convergence are shown to establish the well posedness of neural network method for Cauchy inverse problems, and various numerical examples are presented to illustrate its accuracy and stability. The numerical examples are from different points of view, including time dependent and time independent cases, high spatial dimension cases up to 8D, and cases with noisy boundary data and singular computational domain. Moreover, numerical results also show that neural networks with wider and deeper hidden layers could lead to better approximation for Cauchy inverse problems.


Centralizers and conjugacy classes in finite classical groups. Let mathscr C be a classical group defined over a finite field. We present comprehensive theoretical solutions to the following closely related problems 1) List a representative for each conjugacy class of mathscr C . 2) Given x in mathscr C , describe the centralizer C mathscr C (x) of x in mathscr C , by giving its group structure and a generating set. 3) Given x,y in mathscr C , establish whether x and y are conjugate in mathscr C and, if they are, find explicit z in mathscr C such that z 1 xz y . We also formulate practical algorithms to solve these problems and have implemented them in Magma.


High Resolution and High Precision Beam Profile Monitor for Particle Accelerator using linear contact image sensor. A compact beam profile monitor was constructed using a linear contact image sensor attached to a plastic scintillator and tested using a 230 MeV proton beam. The results indicate that the beam distribution can be obtained in real time, and the beam position with a precision of up to 0.03 mm. The compactness and high precision of the device hold considerable potential for it to be used as a beam profile monitor and offline, daily quality assurance monitor in hadron therapy.


Changing Views Persuasion Modeling and Argument Extraction from Online Discussions. Persuasion and argumentation are possibly among the most complex examples of the interplay between multiple human subjects. With the advent of the Internet, online forums provide wide platforms for people to share their opinions and reasonings around various diverse topics. In this work, we attempt to model persuasive interaction between users on Reddit, a popular online discussion forum. We propose a deep LSTM model to classify whether a conversation leads to a successful persuasion or not, and use this model to predict whether a certain chain of arguments can lead to persuasion. While learning persuasion dynamics, our model tends to identify argument facets implicitly, using an attention mechanism. We also propose a semi supervised approach to extract argumentative components from discussion threads. Both these models provide useful insight into how people engage in argumentation on online discussion forums.


On Totally umbilical surfaces in the warped product mathbb M ( kappa) f times mathbb R . In this article we classify the totally umbilical surfaces which are immersed into a wide class of Riemannian manifolds having a structure of warped product, more precisely, we show that a totally umbilical surface immersed into the warped product mathbb M ( kappa) f times I (here, mathbb M ( kappa) denotes the 2 dimensional space form, having constant curvature kappa , I an interval and f the warping function) is invariant by an one parameter group of isometries of the ambient space. We also find the first integral of the ordinary differential equation that the profile curve satisfies (we mean, the curve which generates a invariant totally umbilical surface). Moreover, we construct explicit examples of totally umbilical surfaces, invariant by one parameter group of isometries of the ambient space, by considering certain non trivial warping function.


Higher spin mapping class groups and strata of Abelian differentials over Teichm "u ller space. For g ge 5 , we give a complete classification of the connected components of strata of abelian differentials over Teichm "uller space, establishing an analogue of Kontsevich and Zorich's classification of their components over moduli space. Building off of work of the first author (arXiv 1901.05482), we find that the non hyperelliptic components are classified by an invariant known as an r spin structure. This is accomplished by computing a certain monodromy group valued in the mapping class group. To do this, we determine explicit finite generating sets for all r spin stabilizer subgroups of the mapping class group, completing a project begun by the second author (arXiv 1710.08042). Some corollaries in flat geometry and toric geometry are obtained from these results.


Speiser class Julia sets with dimension near one. For any delta 0 we construct an entire function f with three singular values whose Julia set has Hausdorff dimension at most 1 delta . Stallard proved that the dimension must be strictly larger than 1 whenever f has a bounded singular set, but no examples with finite singular set and dimension strictly less than 2 were previously known.


Photoinduced Temperature Gradients in Sub wavelength Plasmonic Structures The Thermoplasmonics of Nanocones. Plasmonic structures are renowned for their capability to efficiently convert light into heat at the nanoscale. However, despite the possibility to generate deep sub wavelength electromagnetic hot spots, the formation of extremely localized thermal hot spots is an open challenge of research, simply because of the diffusive spread of heat along the whole metallic nanostructure. Here we tackle this challenge by exploiting single gold nanocones. We theoretically show how these structures can indeed realize extremely high temperature gradients within the metal, leading to deep sub wavelength thermal hot spots, owing to their capability of concentrating light at the apex under resonant conditions even under continuous wave illumination. A three dimensional Finite Element Method model is employed to study the electromagnetic field in the structure and subsequent thermoplasmonic behaviour, in terms of the three dimensional temperature distribution. We show how the latter is affected by nanocone size, shape, and composition of the surrounding environment. Finally, we anticipate the use of photoinduced temperature gradients in nanocones for applications in optofluidics and thermoelectrics or for thermally induced nanofabrication.


A dimensionality reduction technique for unconstrained global optimization of functions with low effective dimensionality. We investigate the unconstrained global optimization of functions with low effective dimensionality, that are constant along certain (unknown) linear subspaces. Extending the technique of random subspace embeddings in Wang et al., Bayesian optimization in a billion dimensions via random embeddings. JAIR, 55(1) 361 387, 2016 , we study a generic Random Embeddings for Global Optimization (REGO) framework that is compatible with any global minimization algorithm. Instead of the original, potentially large scale optimization problem, within REGO, a Gaussian random, low dimensional problem with bound constraints is formulated and solved in a reduced space. We provide novel probabilistic bounds for the success of REGO in solving the original, low effective dimensionality problem, which show its independence of the (potentially large) ambient dimension and its precise dependence on the dimensions of the effective and randomly embedding subspaces. These results significantly improve existing theoretical analyses by providing the exact distribution of a reduced minimizer and its Euclidean norm and by the general assumptions required on the problem. We validate our theoretical findings by extensive numerical testing of REGO with three types of global optimization solvers, illustrating the improved scalability of REGO compared to the full dimensional application of the respective solvers.


Homogenisation for the monodomain model in the presence of microscopic fibrotic structures. Computational models in cardiac electrophysiology are notorious for long runtimes, restricting the numbers of nodes and mesh elements in the numerical discretisations used for their solution. This makes it particularly challenging to incorporate structural heterogeneities on small spatial scales, preventing a full understanding of the critical arrhythmogenic effects of conditions such as cardiac fibrosis. In this work, we explore the technique of homogenisation by volume averaging for the inclusion of non conductive micro structures into larger scale cardiac meshes with minor computational overhead. Importantly, our approach is not restricted to periodic patterns, enabling homogenised models to represent, for example, the intricate patterns of collagen deposition present in different types of fibrosis. We first highlight the importance of appropriate boundary condition choice for the closure problems that define the parameters of homogenised models. Then, we demonstrate the technique's ability to correctly upscale the effects of fibrotic patterns with a spatial resolution of 10 mu m into much larger numerical mesh sizes of 100 250 mu m. The homogenised models using these coarser meshes correctly predict critical pro arrhythmic effects of fibrosis, including slowed conduction, source sink mismatch, and stabilisation of re entrant activation patterns. As such, this approach to homogenisation represents a significant step towards whole organ simulations that unravel the effects of microscopic cardiac tissue heterogeneities.


Revisiting Spectral Bundle Methods Primal dual (Sub)linear Convergence Rates. The spectral bundle method proposed by Helmberg and Rendl is well established for solving large scale semidefinite programs (SDP) thanks to its low per iteration computational complexity and strong practical performance. In this paper, we revisit this classic method showing it achieves sublinear convergence rates in terms of both primal and dual SDPs under merely strong duality, complementing previous guarantees on primal dual convergence. Moreover, we show the method speeds up to linear convergence if (1) structurally, the SDP admits strict complementarity, and (2) algorithmically, the bundle method captures the rank of the optimal solutions. Such complementary and low rank structure is prevalent in many modern and classical applications. The linear convergent result is established via an eigenvalue approximation lemma which might be of independent interest. Numerically, we confirm our theoretical findings that the spectral bundle method, for modern and classical applications, speeds up under these conditions. Finally, we show that the spectral bundle method combined with a recent matrix sketching technique is able to solve an SDP with billions of decision variables in a matter of minutes.


Finding geodesics on graphs using reinforcement learning. It is well known in biology that ants are able to find shortest paths between their nest and the food by successive random explorations, without any mean of communication other than the pheromones they leave behind them. This striking phenomenon has been observed experimentally and modelled by different mean field reinforcement learning models in the biology literature. In this paper, we introduce the first probabilistic reinforcement learning model for this phenomenon. In this model, the ants explore a finite graph in which two nodes are distinguished as the nest and the source of food. The ants perform successive random walks on this graph, starting from the nest and stopped when first reaching the food, and the transition probabilities of each random walk depend on the realizations of all previous walks through some dynamic weighting of the graph. We discuss different variants of this model based on different reinforcement rules and show that slight changes in this reinforcement rule can lead to drastically different outcomes. We prove that, in two variants of this model and when the underlying graph is, respectively, any series parallel graph and a 5 edge non series parallel losange graph, the ants indeed eventually find the shortest path(s) between their nest and the food. Both proofs rely on the electrical network method for random walks on weighted graphs and on Rubin's embedding in continuous time. The proof in the series parallel cases uses the recursive nature of this family of graphs, while the proof in the seemingly simpler losange case turns out to be quite intricate it relies on a fine analysis of some stochastic approximation, and on various couplings with standard and generalised P 'olya urns.


iLGaCo Incremental Learning of Gait Covariate Factors. Gait is a popular biometric pattern used for identifying people based on their way of walking. Traditionally, gait recognition approaches based on deep learning are trained using the whole training dataset. In fact, if new data (classes, view points, walking conditions, etc.) need to be included, it is necessary to re train again the model with old and new data samples. In this paper, we propose iLGaCo, the first incremental learning approach of covariate factors for gait recognition, where the deep model can be updated with new information without re training it from scratch by using the whole dataset. Instead, our approach performs a shorter training process with the new data and a small subset of previous samples. This way, our model learns new information while retaining previous knowledge. We evaluate iLGaCo on CASIA B dataset in two incremental ways adding new view points and adding new walking conditions. In both cases, our results are close to the classical training from scratch' approach, obtaining a marginal drop in accuracy ranging from 0.2 to 1.2 , what shows the efficacy of our approach. In addition, the comparison of iLGaCo with other incremental learning methods, such as LwF and iCarl, shows a significant improvement in accuracy, between 6 and 15 depending on the experiment.


On the Parameterized Complexity of Sparsest Cut and Small set Expansion Problems. We study the NP hard textsc k Sparsest Cut problem ( k SC) in which, given an undirected graph G (V, E) and a parameter k , the objective is to partition vertex set into k subsets whose maximum edge expansion is minimized. Herein, the edge expansion of a subset S subseteq V is defined as the sum of the weights of edges exiting S divided by the number of vertices in S . Another problem that has been investigated is textsc k Small Set Expansion problem ( k SSE), which aims to find a subset with minimum edge expansion with a restriction on the size of the subset. We extend previous studies on k SC and k SSE by inspecting their parameterized complexity. On the positive side, we present two FPT algorithms for both k SSE and 2SC problems where in the first algorithm we consider the parameter treewidth of the input graph and uses exponential space, and in the second we consider the parameter vertex cover number of the input graph and uses polynomial space. Moreover, we consider the unweighted version of the k SC problem where k geq 2 is fixed and proposed two FPT algorithms with parameters treewidth and vertex cover number of the input graph. We also propose a randomized FPT algorithm for k SSE when parameterized by k and the maximum degree of the input graph combined. Its derandomization is done efficiently. noindent On the negative side, first we prove that for every fixed integer k, tau geq 3 , the problem k SC is NP hard for graphs with vertex cover number at most tau . We also show that k SC is W 1 hard when parameterized by the treewidth of the input graph and the number k of components combined using a reduction from textsc Unary Bin Packing . Furthermore, we prove that k SC remains NP hard for graphs with maximum degree three and also graphs with degeneracy two. Finally, we prove that the unweighted k SSE is W 1 hard for the parameter k .


Bloch bands Picture for Light Pulse Atom Diffraction and Interferometry. We apply a Bloch bands approach to the analysis of pulsed optical standing wave diffractive elements in optics and interferometry with ultracold atoms. We verify our method by comparison to a series of experiments with Bose Einstein condensates. The approach provides accurate Rabi frequencies for diffraction pulses and is particularly useful for the analysis and control of diffraction phases, an important systematic effect in precision atom interferometry. Utilizing this picture, we also demonstrate a method to determine atomic band structure in an optical lattice through a measurement of phase shifts in an atomic contrast interferometer.


DistanceNet Estimating Traveled Distance from Monocular Images using a Recurrent Convolutional Neural Network. Classical monocular vSLAM VO methods suffer from the scale ambiguity problem. Hybrid approaches solve this problem by adding deep learning methods, for example by using depth maps which are predicted by a CNN. We suggest that it is better to base scale estimation on estimating the traveled distance for a set of subsequent images. In this paper, we propose a novel end to end many to one traveled distance estimator. By using a deep recurrent convolutional neural network (RCNN), the traveled distance between the first and last image of a set of consecutive frames is estimated by our DistanceNet. Geometric features are learned in the CNN part of our model, which are subsequently used by the RNN to learn dynamics and temporal information. Moreover, we exploit the natural order of distances by using ordinal regression to predict the distance. The evaluation on the KITTI dataset shows that our approach outperforms current state of the art deep learning pose estimators and classical mono vSLAM VO methods in terms of distance prediction. Thus, our DistanceNet can be used as a component to solve the scale problem and help improve current and future classical mono vSLAM VO methods.


Coefficients of the solid angle and Ehrhart quasi polynomials. Macdonald studied a discrete volume measure for a rational polytope P , called solid angle sum, that gives a natural discrete volume for P . We give a local formula for the codimension two quasi coefficient of the solid angle sum of P . We also show how to recover the classical Ehrhart quasi polynomial from the solid angle sum and in particular we find a similar local formula for the codimension one and codimension two quasi coefficients. These local formulas are naturally valid for all positive real dilates of P . An interesting open question is to determine necessary and sufficient conditions on a polytope P for which the discrete volume of P given by the solid angle sum equals its continuous volume A P(t) mathrm vol (P) t d . We prove that a sufficient condition is that P tiles mathbb R d by translations, together with the Hyperoctahedral group.


The Resale Price Prediction of Secondhand Jewelry Items Using a Multi modal Deep Model with Iterative Co Attention. The resale price assessment of secondhand jewelry items relies heavily on the individual knowledge and skill of domain experts. In this paper, we propose a methodology for reconstructing an AI system that autonomously assesses the resale prices of secondhand jewelry items without the need for professional knowledge. As shown in recent studies on fashion items, multimodal approaches combining specifications and visual information of items have succeeded in obtaining fine grained representations of fashion items, although they generally apply simple vector operations through a multimodal fusion. We similarly build a multimodal model using images and attributes of the product and further employ state of the art multimodal deep neural networks applied in computer vision to achieve a practical performance level. In addition, we model the pricing procedure of an expert using iterative co attention networks in which the appearance and attributes of the product are carefully and iteratively observed. Herein, we demonstrate the effectiveness of our model using a large dataset of secondhand no brand jewelry items received from a collaborating fashion retailer, and show that the iterative co attention process operates effectively in the context of resale price prediction. Our model architecture is widely applicable to other fashion items where appearance and specifications are important aspects.


Asymptotic profiles of basic reproduction number for epidemic spreading in heterogeneous environment. The effect of diffusion rates on the basic reproduction number of a general compartmental reaction diffusion epidemic model in a heterogeneous environment is considered. It is shown when the diffusion rates tend to zero, the limit of the basic reproduction number is the maximum value of the local reproduction number on the spatial domain. On the other hand when the diffusion rates tend to infinity, the basic reproduction number tends to the spectral radius of the "average" next generation matrix. These asymptotic limits of basic reproduction number hold for a class of general spatially heterogeneous compartmental epidemic models, and they are applied to a wide variety of examples.


A construction of pairs of non commutative rank 8 association schemes from non symmetric rank 3 association schemes. We construct a pair of non commutative rank 8 association schemes from a rank 3 non symmetric association scheme. For the pair, two association schemes have the same character table but different Frobenius Schur indicators. This situation is similar to the pair of the dihedral group and the quaternion group of order 8. We also determine the structures of adjacency algebras of them over the rational number field.


From Image Collections to Point Clouds with Self supervised Shape and Pose Networks. Reconstructing 3D models from 2D images is one of the fundamental problems in computer vision. In this work, we propose a deep learning technique for 3D object reconstruction from a single image. Contrary to recent works that either use 3D supervision or multi view supervision, we use only single view images with no pose information during training as well. This makes our approach more practical requiring only an image collection of an object category and the corresponding silhouettes. We learn both 3D point cloud reconstruction and pose estimation networks in a self supervised manner, making use of differentiable point cloud renderer to train with 2D supervision. A key novelty of the proposed technique is to impose 3D geometric reasoning into predicted 3D point clouds by rotating them with randomly sampled poses and then enforcing cycle consistency on both 3D reconstructions and poses. In addition, using single view supervision allows us to do test time optimization on a given test image. Experiments on the synthetic ShapeNet and real world Pix3D datasets demonstrate that our approach, despite using less supervision, can achieve competitive performance compared to pose supervised and multi view supervised approaches.


Independence of the Fundamental Equation of the Oscillation Model on Algebraic Representations Social Media Echo Chamber Effect. In the oscillation model that describes the user dynamics of online social networks, it is known that the fundamental equation can explicitly describe the causal relationship between the network structure and user dynamics. The fundamental equation uses algebra that satisfies the anti commutation relation, and its matrix representation is not unique. However, even if the matrix representations are different, the same results should be derived from different representations of the fundamental equation if they are describing the same phenomenon. In this paper, we confirm, using the echo chamber effect as an example, that the fundamental equations of different matrix representations lead to the same result.


A proof of a conjecture about a symmetric system of orthogonal polynomials. The purpose of this note is to give an affirmative answer to a conjecture appearing in Integral Transforms Spec. Funct. 26 (2015) 90 95 .


Secure Transmission Strategy for Intelligent Reflecting Surface Enhanced Wireless System. In this paper, we investigate the design of secure transmission frameworks with an intelligent reflecting surface (IRS). Our design aims to minimize the system energy consumption in cases of rank one and full rank access point (AP) IRS links. To facilitate the design, the problem is divided into two parts design of beamforming vector at AP and phase shift at IRS. In the rank one channel model, the beamforming vector design and phase shift design are independent. A closed form expression of beamforming vector is derived. Meanwhile, some algorithms, including the semidefinite relaxation algorithm and projected gradient algorithm, are taken to solve the phase shift problem in the case of instantaneous channel, and in the statistical channel model, the impact of phase shift on the overall system is analyzed. However, since beamforming and phase shift depend on each other in the full rank model, we refer to conventional wiretap model and utilize an eigenvalue based algorithm to obtain beamforming vector, while the aforementioned two phase optimization schemes are also applied. Simulation results show that the IRS enhanced system is envisioned to improve physical layer security.


Strengthening Gossip Protocols using Protocol Dependent Knowledge. Distributed dynamic gossip is a generalization of the classic telephone problem in which agents communicate to share secrets, with the additional twist that also telephone numbers are exchanged to determine who can call whom. Recent work focused on the success conditions of simple protocols such as "Learn New Secrets" (LNS) wherein an agent a may only call another agent b if a does not know b's secret. A protocol execution is successful if all agents get to know all secrets. On partial networks these protocols sometimes fail because they ignore information available to the agents that would allow for better coordination. We study how epistemic protocols for dynamic gossip can be strengthened, using epistemic logic as a simple protocol language with a new operator for protocol dependent knowledge. We provide definitions of different strengthenings and show that they perform better than LNS, but we also prove that there is no strengthening of LNS that always terminates successfully. Together, this gives us a better picture of when and how epistemic coordination can help in the dynamic gossip problem in particular and distributed systems in general.


Agreement testing theorems on layered set systems. We introduce a framework of layered subsets, and give a sufficient condition for when a set system supports an agreement test. Agreement testing is a certain type of property testing that generalizes PCP tests such as the plane vs. plane test. Previous work has shown that high dimensional expansion is useful for agreement tests. We extend these results to more general families of subsets, beyond simplicial complexes. These include Agreement tests for set systems whose sets are faces of high dimensional expanders. Our new tests apply to all dimensions of complexes both in case of two sided expansion and in the case of one sided partite expansion. This improves and extends an earlier work of Dinur and Kaufman (FOCS 2017) and applies to matroids, and potentially many additional complexes. Agreement tests for set systems whose sets are neighborhoods of vertices in a high dimensional expander. This family resembles the expander neighborhood family used in the gap amplification proof of the PCP theorem. This set system is quite natural yet does not sit in a simplicial complex, and demonstrates some versatility in our proof technique. Agreement tests on families of subspaces (also known as the Grassmann poset). This extends the classical low degree agreement tests beyond the setting of low degree polynomials. Our analysis relies on a new random walk on simplicial complexes which we call the complement random walk'' and which may be of independent interest. This random walk generalizes the non lazy random walk on a graph to higher dimensions, and has significantly better expansion than previously studied random walks on simplicial complexes.


Beam Divergence Reduction of Vortex Waves with a Tailored Lens and a Tailored Reflector. In this paper, we present a tailored lens and a tailored reflector in order to reduce the large beam divergence inherent to Orbital Angular Momentum waves (OAM waves Vortex waves) that are generated by an Uniform Circular Patch Antenna Array (UCA) at 10 GHz. The tailored lens and the tailored reflector are designed by the shape function (5) and (9) around the antenna s center axis, respectively. The tailored lens is compared to UCA without and with conventional lens. The simulated and measured results show a significant improvement when using the tailored lens. Following, a tailored reflector is implemented and compared to UCA without and with conventional reflector. Firstly, the two reflectors are simulated with an impressed field source to neglect the influence of the UCA. The simulated results of the two reflectors show that the tailored reflector has a better performance than the conventional reflector when the height of the reflector r 0 is less than around 1.5 lambda and when the opening angle of the reflector theta is less than 38 deg (for UCA with d of lambda 2 ). In addition, the reflectors are simulated with real UCA with different shapes of PCB, which can disturb the reflected waves from the reflector. Two lenses and two reflectors are manufactured and measured in an anechoic chamber and compared to the simulation results. This paper shows that the vortex waves needs a special lens or a special reflector to reduce effictively the beam divergence especially when the radius of the UCA is very large.


A hybrid differential game with switching thermostatic type dynamics and cost. In this paper we consider an infinite horizon zero sum differential game where the dynamics of each player and the running cost are also depending on the evolution of some discrete (switching) variables. In particular, such switching variables evolve according to the switching law of a so called thermostatic delayed relay, applied to the players' states. We first address the problem of the continuity of both lower and upper value function. Then, by a suitable representation of the problem as a coupling of several exit time differential games, we characterize those value functions as, respectively, the unique solution of a coupling of several Dirichlet problems for Hamilton Jacobi Isaacs equations. The concept of viscosity solutions and a suitable definition of boundary conditions in the viscosity sense is used in the paper. Finally, we give some sufficient conditions for the existence of an equilibrium.


Modeling Network Architecture A Cloud Case Study. The Internet s ability to support a wide range of services depends on the network architecture and theoretical and practical innovations necessary for future networks. Network architecture in this context refers to the structure of a computer network system as well as interactions among its physical components, their configuration, and communication protocols. Various descriptions of architecture have been developed over the years with an unusually large number of superficial icons and symbols. This situation has created a need for more coherent systematic representations of network architecture. This paper is intended to refine the design, analysis, and documentation of network architecture by adopting a conceptual model called a thinging (abstract) machine (TM), which views all components of a network in terms of a single notion the flow of things in a TM. Since cloud computing has become increasingly popular in the last few years as a model for a shared pool of networks, servers, storage, and applications, we apply the TM to model a real case study of cloud networks. The resultant model introduces an integrated representation of computer networks.


On the Transferability of Minimal Prediction Preserving Inputs in Question Answering. Recent work (Feng et al., 2018) establishes the presence of short, uninterpretable input fragments that yield high confidence and accuracy in neural models. We refer to these as Minimal Prediction Preserving Inputs (MPPIs). In the context of question answering, we investigate competing hypotheses for the existence of MPPIs, including poor posterior calibration of neural models, lack of pretraining, and "dataset bias" (where a model learns to attend to spurious, non generalizable cues in the training data). We discover a perplexing invariance of MPPIs to random training seed, model architecture, pretraining, and training domain. MPPIs demonstrate remarkable transferability across domains achieving significantly higher performance than comparably short queries. Additionally, penalizing over confidence on MPPIs fails to improve either generalization or adversarial robustness. These results suggest the interpretability of MPPIs is insufficient to characterize generalization capacity of these models. We hope this focused investigation encourages more systematic analysis of model behavior outside of the human interpretable distribution of examples.


Incremental Learning of Motion Primitives for Pedestrian Trajectory Prediction at Intersections. This paper presents a novel incremental learning algorithm for pedestrian motion prediction, with the ability to improve the learned model over time when data is incrementally available. In this setup, trajectories are modeled as simple segments called motion primitives. Transitions between motion primitives are modeled as Gaussian Processes. When new data is available, the motion primitives learned from the new data are compared with the previous ones by measuring the inner product of the motion primitive vectors. Similar motion primitives and transitions are fused and novel motion primitives are added to capture newly observed behaviors. The proposed approach is tested and compared with other baselines in intersection scenarios where the data is incrementally available either from a single intersection or from multiple intersections with different geometries. In both cases, our method incrementally learns motion patterns and outperforms the offline learning approach in terms of prediction errors. The results also show that the model size in our algorithm grows at a much lower rate than standard incremental learning, where newly learned motion primitives and transitions are simply accumulated over time.


Aggressive Online Control of a Quadrotor via Deep Network Representations of Optimality Principles. Optimal control holds great potential to improve a variety of robotic applications. The application of optimal control on board limited platforms has been severely hindered by the large computational requirements of current state of the art implementations. In this work, we make use of a deep neural network to directly map the robot states to control actions. The network is trained offline to imitate the optimal control computed by a time consuming direct nonlinear method. A mixture of time optimality and power optimality is considered with a continuation parameter used to select the predominance of each objective. We apply our networks (termed G CNets) to aggressive quadrotor control, first in simulation and then in the real world. We give insight into the factors that influence the reality gap' between the quadrotor model used by the offline optimal control method and the real quadrotor. Furthermore, we explain how we set up the model and the control structure on board of the real quadrotor to successfully close this gap and perform time optimal maneuvers in the real world. Finally, G CNet's performance is compared to state of the art differential flatness based optimal control methods. We show, in the experiments, that G CNets lead to significantly faster trajectory execution due to, in part, the less restrictive nature of the allowed state to input mappings.


Spatial Temporal Multi Cue Network for Continuous Sign Language Recognition. Despite the recent success of deep learning in continuous sign language recognition (CSLR), deep models typically focus on the most discriminative features, ignoring other potentially non trivial and informative contents. Such characteristic heavily constrains their capability to learn implicit visual grammars behind the collaboration of different visual cues (i,e., hand shape, facial expression and body posture). By injecting multi cue learning into neural network design, we propose a spatial temporal multi cue (STMC) network to solve the vision based sequence learning problem. Our STMC network consists of a spatial multi cue (SMC) module and a temporal multi cue (TMC) module. The SMC module is dedicated to spatial representation and explicitly decomposes visual features of different cues with the aid of a self contained pose estimation branch. The TMC module models temporal correlations along two parallel paths, i.e., intra cue and inter cue, which aims to preserve the uniqueness and explore the collaboration of multiple cues. Finally, we design a joint optimization strategy to achieve the end to end sequence learning of the STMC network. To validate the effectiveness, we perform experiments on three large scale CSLR benchmarks PHOENIX 2014, CSL and PHOENIX 2014 T. Experimental results demonstrate that the proposed method achieves new state of the art performance on all three benchmarks.


12 in 1 Multi Task Vision and Language Representation Learning. Much of vision and language research focuses on a small but diverse set of independent tasks and supporting datasets often studied in isolation however, the visually grounded language understanding skills required for success at these tasks overlap significantly. In this work, we investigate these relationships between vision and language tasks by developing a large scale, multi task training regime. Our approach culminates in a single model on 12 datasets from four broad categories of task including visual question answering, caption based image retrieval, grounding referring expressions, and multi modal verification. Compared to independently trained single task models, this represents a reduction from approximately 3 billion parameters to 270 million while simultaneously improving performance by 2.05 points on average across tasks. We use our multi task framework to perform in depth analysis of the effect of joint training diverse tasks. Further, we show that finetuning task specific models from our single multi task model can lead to further improvements, achieving performance at or above the state of the art.


Two photon Above Threshold Ionization of Helium. Multiphoton ionization provides a clear window into the nature of electron correlations in the helium atom. In the present study, the final state energy range extends up to the region near the N 2 and N 3 ionization thresholds, where two photon ionization proceeds via continuum intermediate states above the lowest threshold. Our calculations are performed using multichannel quantum defect theory (MQDT) and the streamlined R matrix method. The sum and integration over all intermediate states in the two photon ionization amplitude is evaluated using the inhomogeneous R matrix method developed by Robicheaux and Gao. The seamless connection of that method with MQDT allows us to present high resolution spectra of the final state Rydberg resonances. Our analysis classifies the resonances above the N 2 threshold in terms of their group theory quantum numbers. Their dominant decay channels are found to obey the previously conjectured propensity rule far more weakly for these even parity states than was observed for the odd parity states relevant to single photon ionization.


On repetitiveness measures of Thue Morse words. We show that the size gamma(t n) of the smallest string attractor of the n th Thue Morse word t n is 4 for any n geq 4 , disproving the conjecture by Mantaci et al. ICTCS 2019 that it is n . We also show that delta(t n) frac 10 3 2 4 n for n geq 3 , where delta(w) is the maximum over all k 1, ldots, w , the number of distinct substrings of length k in w divided by k , which is a measure of repetitiveness recently studied by Kociumaka et al. LATIN 2020 . Furthermore, we show that the number z(t n) of factors in the self referencing Lempel Ziv factorization of t n is exactly 2n .


On the centroid of a Leavitt path algebra. We describe the centroid of some Leavitt path algebras. More precisely, we show that for Leavitt path algebras over a field K that are simple its centroid is isomorphic to K , and for prime Leavitt path algebras its centroid is isomorphic to K except if the graph is a row finite comet, in which case the centroid is isomorphic to K x,x 1 .


Log logarithmic Time Pruned Polar Coding. A pruned variant of polar coding is proposed for binary erasure channels. For sufficiently small varepsilon 0 , we construct a series of capacity achieving codes with block length N varepsilon 5 , code rate R text Capacity varepsilon , error probability P varepsilon , and encoding and decoding time complexity text bC O( log left log varepsilon right ) per information bit. The given per bit complexity text bC is log logarithmic in N , in text Capacity R , and in P no known family of codes possesses this property. It is also the second lowest text bC after repeat accumulate codes and their variants. While random codes and classical polar codes are the only two families of capacity achieving codes whose N , R , P , and text bC were written down as explicit functions, our construction gives the third family. Then we generalize the result to Fix a prime q and fix a q ary input discrete symmetric memoryless channel. For sufficiently small varepsilon 0 , we construct a series of capacity achieving codes with block length N varepsilon O(1) , code rate R text Capacity varepsilon , error probability P varepsilon , and encoding and decoding time complexity text bC O( log left log varepsilon right ) per information bit. The later construction gives the fastest family of capacity achieving codes to date on those channels.


A method to predict location of non coup brain injuries. Brain injuries are a major reason for mortality and morbidity following trauma in sports, work and traffic. Apart from the trauma at the site of impact (coup injury), other regions of the brain remote from the impact locations (non coup) are commonly affected. We show that a screw theory based method can be used to account for the combined effect of head rotational and linear accelerations in causing brain injuries. A scalar measure obtained from the inner product of the motion screw and the impact screw is shown to be a predictor of the severity and the location of non coup brain injuries under an impact. The predictions are consistent with head impact experiments conducted with non human primates. The methodology is proved using finite element simulations and already published experimental results


Synaptic Integration of Spatiotemporal Features with a Dynamic Neuromorphic Processor. Spiking neurons can perform spatiotemporal feature detection by nonlinear synaptic and dendritic integration of presynaptic spike patterns. Multicompartment models of non linear dendrites and related neuromorphic circuit designs enable faithful imitation of such dynamic integration processes, but these approaches are also associated with a relatively high computing cost or circuit size. Here, we investigate synaptic integration of spatiotemporal spike patterns with multiple dynamic synapses on point neurons in the DYNAP SE neuromorphic processor, which offers a complementary resource efficient, albeit less flexible, approach to feature detection. We investigate how previously proposed excitatory inhibitory pairs of dynamic synapses can be combined to integrate multiple inputs, and we generalize that concept to a case in which one inhibitory synapse is combined with multiple excitatory synapses. We characterize the resulting delayed excitatory postsynaptic potentials (EPSPs) by measuring and analyzing the membrane potentials of the neuromorphic neuronal circuits. We find that biologically relevant EPSP delays, with variability of order 10 milliseconds per neuron, can be realized in the proposed manner by selecting different synapse combinations, thanks to device mismatch. Based on these results, we demonstrate that a single point neuron with dynamic synapses in the DYNAP SE can respond selectively to presynaptic spikes with a particular spatiotemporal structure, which enables, for instance, visual feature tuning of single neurons.


Mapping Natural Language Instructions to Mobile UI Action Sequences. We present a new problem grounding natural language instructions to mobile user interface actions, and create three new datasets for it. For full task evaluation, we create PIXELHELP, a corpus that pairs English instructions with actions performed by people on a mobile UI emulator. To scale training, we decouple the language and action data by (a) annotating action phrase spans in HowTo instructions and (b) synthesizing grounded descriptions of actions for mobile user interfaces. We use a Transformer to extract action phrase tuples from long range natural language instructions. A grounding Transformer then contextually represents UI objects using both their content and screen position and connects them to object descriptions. Given a starting screen and instruction, our model achieves 70.59 accuracy on predicting complete ground truth action sequences in PIXELHELP.


TrustChain Trust Management in Blockchain and IoT supported Supply Chains. Traceability and integrity are major challenges for the increasingly complex supply chains of today's world. Although blockchain technology has the potential to address these challenges through providing a tamper proof audit trail of supply chain events and data associated with a product life cycle, it does not solve the trust problem associated with the data itself. Reputation systems are an effective approach to solve this trust problem. However, current reputation systems are not suited to the blockchain based supply chain applications as they are based on limited observations, they lack granularity and automation, and their overhead has not been explored. In this work, we propose TrustChain, as a three layered trust management framework which uses a consortium blockchain to track interactions among supply chain participants and to dynamically assign trust and reputation scores based on these interactions. The novelty of TrustChain stems from (a) the reputation model that evaluates the quality of commodities, and the trustworthiness of entities based on multiple observations of supply chain events, (b) its support for reputation scores that separate between a supply chain participant and products, enabling the assignment of product specific reputations for the same participant, (c) the use of smart contracts for transparent, efficient, secure, and automated calculation of reputation scores, and (d) its minimal overhead in terms of latency and throughput when compared to a simple blockchain based supply chain model.