Minimally Supervised Learning of Affective Events Using Discourse Relations. Recognizing affective events that trigger positive or negative sentiment has a wide range of natural language processing applications but remains a challenging problem mainly because the polarity of an event is not necessarily predictable from its constituent words. In this paper, we propose to propagate affective polarity using discourse relations. Our method is simple and only requires a very small seed lexicon and a large raw corpus. Our experiments using Japanese data show that our method learns affective events effectively without manually labeled data. It also improves supervised learning results when labeled data are small.


Linear Dilation Erosion Perceptron for Binary Classification. In this work, we briefly revise the reduced dilation erosion perceptron (r DEP) models for binary classification tasks. Then, we present the so called linear dilation erosion perceptron (l DEP), in which a linear transformation is applied before the application of the morphological operators. Furthermore, we propose to train the l DEP classifier by minimizing a regularized hinge loss function subject to concave convex restrictions. A simple example is given for illustrative purposes.


The Effect of Inhomogeneous Dielectric Loading on Transmission Through a Slot in an Infinite Thick Metallic Shield. Transmission through a slot in a an infinite metallic shield of finite thickness, inhomogeneously loaded with dielectric material, is modeled using an analytical approximation based on the slot being small compared to a free space wavelength. Resonances of relatively broad bandwidth (Fabry Perot) as well as of very narrow bandwidth (Fano) are found. We show that by introducing a gap of different dielectric constant within the slot, we can control the separation between the broad bandwidth resonances, and the locations and magnitudes of the very narrow bandwidth resonances. The influence of grooves on both kinds of resonances is considered using the same analytical model. The effect of losses in the dielectric slot is also considered, using data for commercially available dielectrics.


Overview of the IBM Neural Computer Architecture. The IBM Neural Computer (INC) is a highly flexible, re configurable parallel processing system that is intended as a research and development platform for emerging machine intelligence algorithms and computational neuroscience. It consists of hundreds of programmable nodes, primarily based on Xilinx's Field Programmable Gate Array (FPGA) technology. The nodes are interconnected in a scalable 3d mesh topology. We overview INC, emphasizing unique features such as flexibility and scalability both in the types of computations performed and in the available modes of communication, enabling new machine intelligence approaches and learning strategies not well suited to the matrix manipulation SIMD libraries that GPUs are optimized for. This paper describes the architecture of the machine and applications are to be described in detail elsewhere.


Cyber Physical Systems (CPS) Surveillance Using An Epidemic Model. Vast investments have recently been made worldwide in developing the Cyber Physical System (CPS) technology with the expectations of improving economical and societal structures. However, great care must be paid to the CPS' complexity, the impact of emerging IoT (Internet of Things) protocols on the CPS infrastructure as well as the impact of information dissemination by these protocols on the safety of these infrastructures. This paper addresses the issue of CPS safety by proposing and evaluating the performance of a CPS management framework and the analysis of the dynamics of the underlining IoT network in the cyber space. The main contributions of this paper are in threefold. Firstly, a new CPS framework is proposed that 1) builds around a layered architecture to compartmentalise the CPS functionalities into different modules for efficiency and scalability and 2) uses an inner feedback loop for the efficient management of CPS infrastructure. Secondly, building upon this framework, a novel diffusion model that uses the epidemic (interference) sets to produce accurate diffusion patterns across the CPS IoT subsystem is proposed. Finally, the proposed diffusion model is numerically analysed to show how it can be used to achieve efficient CPS surveillance in order to trigger reconfiguration to re optimise the CPS when it is under stress. in IoT settings. The numerical analysis of the diffusion model shows that interference propagates in pairwise disjoint sets, with IoT nodes migrating from "susceptible" to "attacked" statuses and finally reaching the "removed" state at a predictable time. Deployment considerations on some of the current social and public networks are also onsidered


Did the lockdown curb the spread of COVID 19 infection rate in India A data driven analysis. In order to analyze the effectiveness of three successive nationwide lockdown enforced in India, we present a data driven analysis of four key parameters, reducing the transmission rate, restraining the growth rate, flattening the epidemic curve and improving the health care system. These were quantified by the consideration of four different metrics, namely, reproduction rate, growth rate, doubling time and death to recovery ratio. The incidence data of the COVID 19 (during the period of 2nd March 2020 to 31st May 2020) outbreak in India was analyzed for the best fit to the epidemic curve, making use of the exponential growth, the maximum likelihood estimation, sequential Bayesian method and estimation of time dependent reproduction. The best fit (based on the data considered) was for the time dependent approach. Accordingly, this approach was used to assess the impact on the effective reproduction rate. The period of pre lockdown to the end of lockdown 3, saw a 45 reduction in the rate of effective reproduction rate. During the same period the growth rate reduced from 393 during the pre lockdown to 33 after lockdown 3, accompanied by the average doubling time increasing form 4 6 days to 12 14 days. Finally, the death to recovery ratio dropped from 0.28 (pre lockdown) to 0.08 after lockdown 3. In conclusion, all the four metrics considered to assess the effectiveness of the lockdown, exhibited significant favourable changes, from the pre lockdown period to the end of lockdown 3. Analysis of the data in the post lockdown period with these metrics will provide greater clarity with regards to the extent of the success of the lockdown.


Precise nanosizing with high dynamic range holography. Optical sensing is one of the key enablers of modern diagnostics. Especially label free imaging modalities hold great promise as they eliminate labeling procedures prior to analysis. However, scattering signals of nanometric particles scale with their volume square. This unfavorable scaling makes it extremely difficult to quantitatively characterize intrinsically heterogeneous clinical samples, such as extracellular vesicles, as their signal variation easily exceeds the dynamic range of currently available cameras. Here, we introduce off axis k space holography that circumvents this limitation. By imaging the back focal plane of our microscope we project the scattering signal of all particles onto all camera pixels thus dramatically boosting the achievable dynamic range to up to 110 dB. We validate our platform by detecting, and quantitatively sizing, metallic and dielectric particles over a 200x200 mu m field of view and demonstrate that independently performed signal calibrations allow correctly sizing particles made from different materials. Finally, we present quantitative size distributions of extracellular vesicle samples.


Geometric control of collective spontaneous emission. Dipole spin wave states of atomic ensembles with wave vector bf k ( omega) mismatched from the dispersion relation of light are difficult to access by far field excitation but may support rich phenomena beyond the traditional phase matched scenario in quantum optics. We propose and demonstrate an optical technique to efficiently access these states. In particular, subnanosecond laser pulses shaped by a home developed wideband modulation method are applied to shift the spin wave in bf k space with state dependent geometric phase patterning, in an error resilient fashion and on timescales much faster than spontaneous emission. We verify this control through the redirection, switch off, and recall of collectively enhanced emission from a 87 Rb gas with sim 75 single step efficiency. Our work represents a first step toward efficient control of electric dipole spin waves for studying many body dissipative dynamics of excited gases, as well as for numerous quantum optical applications.


Out of Sight But Not Out of Mind An Answer Set Programming Based Online Abduction Framework for Visual Sensemaking in Autonomous Driving. We demonstrate the need and potential of systematically integrated vision and semantics solutions for visual sensemaking (in the backdrop of autonomous driving). A general method for online visual sensemaking using answer set programming is systematically formalised and fully implemented. The method integrates state of the art in (deep learning based) visual computing, and is developed as a modular framework usable within hybrid architectures for perception control. We evaluate and demo with community established benchmarks KITTIMOD and MOT. As use case, we focus on the significance of human centred visual sensemaking e.g., semantic representation and explainability, question answering, commonsense interpolation in safety critical autonomous driving situations.


Completely distributive enriched categories are not always continuous. In contrast to the fact that every completely distributive lattice is necessarily continuous in the sense of Scott, it is shown that complete distributivity of a category enriched over the closed category obtained by endowing the unit interval with a continuous t norm does not imply its continuity in general. Necessary and sufficient conditions for the implication are presented.


Information Mining for COVID 19 Research From a Large Volume of Scientific Literature. The year 2020 has seen an unprecedented COVID 19 pandemic due to the outbreak of a novel strain of coronavirus in 180 countries. In a desperate effort to discover new drugs and vaccines for COVID 19, many scientists are working around the clock. Their valuable time and effort may benefit from computer based mining of a large volume of health science literature that is a treasure trove of information. In this paper, we have developed a graph based model using abstracts of 10,683 scientific articles to find key information on three topics transmission, drug types, and genome research related to coronavirus. A subgraph is built for each of the three topics to extract more topic focused information. Within each subgraph, we use a betweenness centrality measurement to rank order the importance of keywords related to drugs, diseases, pathogens, hosts of pathogens, and biomolecules. The results reveal intriguing information about antiviral drugs (Chloroquine, Amantadine, Dexamethasone), pathogen hosts (pigs, bats, macaque, cynomolgus), viral pathogens (zika, dengue, malaria, and several viruses in the coronaviridae virus family), and proteins and therapeutic mechanisms (oligonucleotide, interferon, glycoprotein) in connection with the core topic of coronavirus. The categorical summary of these keywords and topics may be a useful reference to expedite and recommend new and alternative directions for COVID 19 research.


An exact algorithm for the minimum rank of a graph. The minimum rank of a graph G is the minimum rank over all real symmetric matrices whose off diagonal sparsity pattern is the same as that of the adjacency matrix of G. In this note we present the first exact algorithm for the minimum rank of an arbitrary graph G. In particular, we use the notion of determinantal rank to transform the minimum rank problem into a system of polynomial equations that can be solved by computational tools from algebraic geometry and commutative algebra. We provide computational results, explore possibilities for improvement, and discuss how the algorithm can be extended to other problems such as finding the minimum positive semidefinite rank of a graph.


A new reproducing kernel approach for nonlinear fractional three point boundary value problems. In this article, a new reproducing kernel approach is developed for obtaining numerical solution of nonlinear three point boundary value problems with fractional order. This approach is based on reproducing kernel which is constructed by shifted Legendre polynomials. In considered problem, fractional derivatives with respect to alpha and beta are defined in Caputo sense. This method has been applied to some examples which have exact solutions. In order to shows the robustness of the proposed method, some numerical results are given in tabulated forms.


Balancing Training for Multilingual Neural Machine Translation. When training multilingual machine translation (MT) models that can translate to from multiple languages, we are faced with imbalanced training sets some languages have much more training data than others. Standard practice is to up sample less resourced languages to increase representation, and the degree of up sampling has a large effect on the overall performance. In this paper, we propose a method that instead automatically learns how to weight training data through a data scorer that is optimized to maximize performance on all test languages. Experiments on two sets of languages under both one to many and many to one MT settings show our method not only consistently outperforms heuristic baselines in terms of average performance, but also offers flexible control over the performance of which languages are optimized.


Well posedness for conservation laws with spatial heterogeneities and a study of BV regularity. In this article, we consider scalar conservation laws with fluxes having spatial discontinuities and possible flat regions and study the following three aspects (i) existence, (ii) uniqueness and (iii) BV regularity of solutions. We propose a uniqueness condition and prove existence of a weak solution via the method of wave front tracking. In the later part of the article, a BV bound of the solution is achieved under a suitable condition on the initial data and flux. We construct two counterexamples showing BV blow up of the solution which proves the optimality on the assumptions


On the mean field equation with variable intensities on pierced domains. We consider the two dimensional mean field equation of the equilibrium turbulence with variable intensities and Dirichlet boundary condition on a pierced domain left begin array ll Delta u lambda 1 dfrac V 1 e u int Omega boldsymbol epsilon V 1 e u dx lambda 2 tau dfrac V 2 e tau u int Omega boldsymbol epsilon V 2 e tau u dx text in Omega boldsymbol epsilon Omega setminus displaystyle bigcup i 1 m overline B( xi i, epsilon i) u 0 text on partial Omega boldsymbol epsilon , end array right. where B( xi i, epsilon i) is a ball centered at xi i in Omega with radius epsilon i , tau is a positive parameter and V 1,V 2 0 are smooth potentials. When lambda 1 8 pi m 1 and lambda 2 tau 2 8 pi (m m 1) with m 1 in 0,1, dots,m , there exist radii epsilon 1, dots, epsilon m small enough such that the problem has a solution which blows up positively and negatively at the points xi 1, dots, xi m 1 and xi m 1 1 , dots, xi m , respectively, as the radii approach zero.


Analysing the Direction of Emotional Influence in Nonverbal Dyadic Communication A Facial Expression Study. Identifying the direction of emotional influence in a dyadic dialogue is of increasing interest in the psychological sciences with applications in psychotherapy, analysis of political interactions, or interpersonal conflict behavior. Facial expressions are widely described as being automatic and thus hard to overtly influence. As such, they are a perfect measure for a better understanding of unintentional behavior cues about social emotional cognitive processes. With this view, this study is concerned with the analysis of the direction of emotional influence in dyadic dialogue based on facial expressions only. We exploit computer vision capabilities along with causal inference theory for quantitative verification of hypotheses on the direction of emotional influence, i.e., causal effect relationships, in dyadic dialogues. We address two main issues. First, in a dyadic dialogue, emotional influence occurs over transient time intervals and with intensity and direction that are variant over time. To this end, we propose a relevant interval selection approach that we use prior to causal inference to identify those transient intervals where causal inference should be applied. Second, we propose to use fine grained facial expressions that are present when strong distinct facial emotions are not visible. To specify the direction of influence, we apply the concept of Granger causality to the time series of facial expressions over selected relevant intervals. We tested our approach on newly, experimentally obtained data. Based on the quantitative verification of hypotheses on the direction of emotional influence, we were able to show that the proposed approach is most promising to reveal the causal effect pattern in various instructed interaction conditions.


KagNet Knowledge Aware Graph Networks for Commonsense Reasoning. Commonsense reasoning aims to empower machines with the human ability to make presumptions about ordinary situations in our daily life. In this paper, we propose a textual inference framework for answering commonsense questions, which effectively utilizes external, structured commonsense knowledge graphs to perform explainable inferences. The framework first grounds a question answer pair from the semantic space to the knowledge based symbolic space as a schema graph, a related sub graph of external knowledge graphs. It represents schema graphs with a novel knowledge aware graph network module named KagNet, and finally scores answers with graph representations. Our model is based on graph convolutional networks and LSTMs, with a hierarchical path based attention mechanism. The intermediate attention scores make it transparent and interpretable, which thus produce trustworthy inferences. Using ConceptNet as the only external resource for Bert based models, we achieved state of the art performance on the CommonsenseQA, a large scale dataset for commonsense reasoning.


Thermal IR satellite sensor data application for earthquake research in China. NOAA AVHRR thermal images indicated the presence of positive thermal anomalies that are associated with the large linear structures and fault systems of the Earth's crust. The relation between thermal anomalies and seismic activity was established for Middle Asia on the basis of a 7 year series of thermal images. Thermal anomaly has been located near Beijing, on the border between the mountains and plain. The size of this anomaly is about 700 km long and 50 km wide. The anomaly appeared about 6 24 days before and continued about a week after an earthquake. The anomaly was sensitive to crust earthquakes with a magnitude more than 4.7 and for a distance of up to 500 km. The amplitude of this anomaly was about 3 C.


Trading Strategies of a Leveraged ETF in a Continuous Double Auction Market Using an Agent Based Simulation. A leveraged ETF is a fund aimed at achieving a rate of return several times greater than that of the underlying asset such as Nikkei 225 futures. Recently, it has been suggested that rebalancing trades of a leveraged ETF may destabilize the financial markets. An empirical study using an agent based simulation indicated that a rebalancing trade strategy could affect the price formation of an underlying asset market. However, no leveraged ETF trading method for suppressing the increase in volatility as much as possible has yet been proposed. In this paper, we compare different strategies of trading for a proposed trading model and report the results of our investigation regarding how best to suppress an increase in market volatility. As a result, it was found that as the minimum number of orders in a rebalancing trade increases, the impact on the market price formation decreases.


Sums over Vanishing Determinants. We study sums of arithmetic functions, defined on Gaussian integers and taken over those pairs of integers whose coordinates give rise to a singular system.


Container Orchestration on HPC Systems. Containerisation demonstrates its efficiency in application deployment in cloud computing. Containers can encapsulate complex programs with their dependencies in isolated environments, hence are being adopted in HPC clusters. HPC workload managers lack micro services support and deeply integrated container management, as opposed to container orchestrators (e.g. Kubernetes). We introduce Torque Operator (a plugin) which serves as a bridge between HPC workload managers and container Orchestrators.


On Flying Backwards Preventing Run away of Small, Low speed, Fixed wing UAVs in Strong Winds. Small, low speed fixed wing Unmanned Aerial Vehicles (UAVs) operating autonomously, beyond visual line of sight (BVLOS) will inevitably encounter winds rising to levels near or exceeding the vehicles' nominal airspeed. In this paper, we develop a nonlinear lateral directional path following guidance law with explicit consideration of online wind estimates. Energy efficient airspeed reference compensation logic is developed for excess wind scenarios (i.e. when the wind speed rises above the airspeed), enabling either mitigation, prevention, or over powering of excess wind induced run away from a given path. The developed guidance law is demonstrated on a representative small, low speed test UAV in two flight experiments conducted in mountainous regions of Switzerland with strong, turbulent wind conditions, gusts reaching up to 13 meters per second. We demonstrate track keeping errors of less than 1 meter consistently maintained during a representative duration of gusting, excess winds and a mean ground speed undershoot of 0.5 meters per second from the commanded minimum forward ground speed demonstrated in over 5 minutes of the showcased flight results.


No Need for Recovery A Simple Two Step Byzantine Consensus. In this paper, we give a deterministic two step Byzantine consensus protocol that achieves safety and liveness. A two step Byzantine consensus protocol only needs two communication steps to commit in the absence of faults. Most two step Byzantine consensus protocols exploit optimism and require a recovery protocol in the presence of faults. In this paper, we give a simple two step Byzantine consensus protocol that does not need a recovery protocol.


On spectra of representations and graphs. Erratum. Unfortunately the proof of the main result of 1 , Theorem 1, has a flaw. Namely, Lemma 13 used in the proof of Proposition 11 is correct only under an additional assumption that the operator A is normal (adjoint for the one sided shift operator in l 2( mathbb N) provides a counterexample). Below we prove a version of Lemma 13 that does not require the normality assumption and apply it to prove Proposition 11. In addition, the same version of the lemma appears in paper 2 (as Lemma 3.1) where it is used in the proof of Theorem 1.6. We also explain here how to use the new version of Lemma 13 to correct the proof of Theorem 1.6 from 2 .


Models of Homotopy Type Theory with an Interval Type. In this short note, we construct a class of models of an extension of homotopy type theory, which we call homotopy type theory with an interval type.


A Perceived Environment Design using a Multi Modal Variational Autoencoder for learning Active Sensing. This contribution comprises the interplay between a multi modal variational autoencoder and an environment to a perceived environment, on which an agent can act. Furthermore, we conclude our work with a comparison to curiosity driven learning.


Optimization of XNOR Convolution for Binary Convolutional Neural Networks on GPU. Binary convolutional networks have lower computational load and lower memory foot print compared to their full precision counterparts. So, they are a feasible alternative for the deployment of computer vision applications on limited capacity embedded devices. Once trained on less resource constrained computational environments, they can be deployed for real time inference on such devices. In this study, we propose an implementation of binary convolutional network inference on GPU by focusing on optimization of XNOR convolution. Experimental results show that using GPU can provide a speed up of up to 42.61 times with a kernel size of 3 times3 . The implementation is publicly available at https github.com metcan Binary Convolutional Neural Network Inference on GPU


AF embeddability for Lie groups with T 1 primitive ideal spaces. We study simply connected Lie groups G for which the hull kernel topology of the primitive ideal space text Prim (G) of the group C algebra C (G) is T 1 , that is, the finite subsets of text Prim (G) are closed. Thus, we prove that C (G) is AF embeddable. To this end, we show that if G is solvable and its action on the centre of G, G has at least one imaginary weight, then text Prim (G) has no nonempty quasi compact open subsets. We prove in addition that connected locally compact groups with T 1 ideal spaces are strongly quasi diagonal.


Regularity of the optimal sets for the second Dirichlet eigenvalue. This paper is dedicated to the regularity of the optimal sets for the second eigenvalue of the Dirichlet Laplacian. Precisely, we prove that if the set Omega minimizes the functional mathcal F Lambda( Omega) lambda 2( Omega) Lambda Omega , among all subsets of a smooth bounded open set D subset mathbb R d , where lambda 2( Omega) is the second eigenvalue of the Dirichlet Laplacian on Omega and Lambda 0 is a fixed constant, then Omega is equivalent to the union of two disjoint open sets Omega and Omega , which are C 1, alpha regular up to a (possibly empty) closed set of Hausdorff dimension at most d 5 , contained in the one phase free boundaries D cap partial Omega setminus partial Omega and D cap partial Omega setminus partial Omega .


Extending the colloidal transition metal dichalcogenide library to ReS2 nanosheets for application in gas sensing and electrocatalysis. Among the large family of transition metal dichalcogenides (TMDCs), recently ReS2 has stood out due to its nearly layer independent optoelectronic and physicochemical properties. These are related to its 1T distorted octahedral structure, which leads to strong in plane anisotropy and the presence of active sites at its surface, which makes ReS2 interesting for applications such as gas sensors and catalysts for H2 production. However, the current fabrication methods for ReS2 use chemical or physical vapor deposition (CVD or PVD) processes that are costly and involve complex and lengthy fabrication procedures, therefore limiting their large scale production and exploitation. To address this issue, we developed a colloidal synthesis approach, which allows the production of ReS2 to be attained at temperatures below 360 Celsius degrees and with reaction times 2 h, resulting in a more cost efficient strategy than the CVD and PVD methods. By combining the solution based synthesis with surface functionalization strategies, we demonstrate the feasibility of colloidal ReS2 nanosheet films for gas sensing of different toxic gases, moisture and other volatile compounds with highly competitive performance in comparison with devices built with CVD grown ReS2 and MoS2. In addition, the integration of the ReS2 nanosheet films in assemblies, in which they are deposited on top of networks of carbon nanotubes, allowed us to fabricate electrodes for electrocatalysis for H2 production in both acid and alkaline conditions. Results from proof of principle devices show an electrocatalytic overpotential that is competitive with devices based on ReS2 produced by CVD, and even with MoS2, WS2 and MoSe2 electrocatalysts.


A New Open Access Platform for Measuring and Sharing mTBI Data. Despite numerous research efforts, the precise mechanisms of concussion have yet to be fully uncovered. Clinical studies on high risk populations, such as contact sports athletes, have become more common and give insight on the link between impact severity and brain injury risk through the use of wearable sensors and neurological testing. However, as the number of institutions operating these studies grows, there is a growing need for a platform to share these data to facilitate our understanding of concussion mechanisms and aid in the development of suitable diagnostic tools. To that end, this paper puts forth two contributions 1) a centralized, open source platform for storing and sharing head impact data, in collaboration with the Federal Interagency Traumatic Brain Injury Research informatics system (FITBIR), and 2) a deep learning impact detection algorithm (MiGNet) to differentiate between true head impacts and false positives for the previously biomechanically validated instrumented mouthguard sensor (MiG2.0), all of which easily interfaces with FITBIR. We report 96 accuracy using MiGNet, based on a neural network model, improving on previous work based on Support Vector Machines achieving 91 accuracy, on an out of sample dataset of high school and collegiate football head impacts. The integrated MiG2.0 and FITBIR system serve as a collaborative research tool to be disseminated across multiple institutions towards creating a standardized dataset for furthering the knowledge of concussion biomechanics.


ASSD Attentive Single Shot Multibox Detector. This paper proposes a new deep neural network for object detection. The proposed network, termed ASSD, builds feature relations in the spatial space of the feature map. With the global relation information, ASSD learns to highlight useful regions on the feature maps while suppressing the irrelevant information, thereby providing reliable guidance for object detection. Compared to methods that rely on complicated CNN layers to refine the feature maps, ASSD is simple in design and is computationally efficient. Experimental results show that ASSD competes favorably with the state of the arts, including SSD, DSSD, FSSD and RetinaNet.


Equilibrium states of endomorphisms of mathbb P k I existence and properties. We develop a new method, based on pluripotential theory, to study the transfer (Perron Frobenius) operator induced on mathbb P k mathbb P k ( mathbb C) by a holomorphic endomorphism and a suitable continuous weight. This method allows us to prove the existence and uniqueness of the equilibrium state and conformal measure for very general weights (due to Denker Przytycki Urba 'nski in dimension 1 and Urba 'nski Zdunik in higher dimensions, both in the case of H ''older continuous weights). We establish a number of properties of the equilibrium states, including mixing, K mixing, mixing of all orders, and an equidistribution of repelling periodic points. Our analytic method replaces all distortion estimates on inverse branches with a unique, global, estimate on dynamical currents, and allows us to reduce the dynamical questions to comparisons between currents and their potentials.


Some remarks on the asymptotic profile of solutions to structurally damped sigma evolution equations. In this paper, we are interested in analyzing the asymptotic profiles of solutions to the Cauchy problem for linear structurally damped sigma evolution equations in L 2 sense. Depending on the parameters sigma and delta we would like to not only indicate approximation formula of solutions but also recognize the optimality of their decay rates as well in the distinct cases of parabolic like damping and sigma evolution like damping. Moreover, such results are also discussed when we mix these two kinds of damping terms in a sigma evolution equation to investigate how each of them affects the asymptotic profile of solutions.


Performance Analysis of Dual Hop Mixed PLC RF Communication Systems. In this paper, we study a dual hop mixed power line communication and radio frequency communication (PLC RF) system, where the connection between the PLC link and the RF link is made by a decode and forward (DF) or amplify and forward (AF) relay. Assume that the PLC channel is affected by both additive background noise and impulsive noise suffers from Log normal fading, while the RF link undergoes Rician fading. Based on this model, analytical expressions of the outage probability (OP), average bit error rate (BER), and the average channel capacity (ACC) are derived. Furthermore, an asymptotic analysis for the OP and average BER, as well as an upper bound expression for the ACC are presented. At last, numerical results are developed to validate our analytical results, and in depth discussions are conducted.


GarmentGAN Photo realistic Adversarial Fashion Transfer. The garment transfer problem comprises two tasks learning to separate a person's body (pose, shape, color) from their clothing (garment type, shape, style) and then generating new images of the wearer dressed in arbitrary garments. We present GarmentGAN, a new algorithm that performs image based garment transfer through generative adversarial methods. The GarmentGAN framework allows users to virtually try on items before purchase and generalizes to various apparel types. GarmentGAN requires as input only two images, namely, a picture of the target fashion item and an image containing the customer. The output is a synthetic image wherein the customer is wearing the target apparel. In order to make the generated image look photo realistic, we employ the use of novel generative adversarial techniques. GarmentGAN improves on existing methods in the realism of generated imagery and solves various problems related to self occlusions. Our proposed model incorporates additional information during training, utilizing both segmentation maps and body key point information. We show qualitative and quantitative comparisons to several other networks to demonstrate the effectiveness of this technique.


On the Classification of Motions of Paradoxically Movable Graphs. Edge lengths of a graph are called flexible if there exist infinitely many non congruent realizations of the graph in the plane satisfying these edge lengths. It has been shown recently that a graph has flexible edge lengths if and only if the graph has a special type of edge coloring called NAC coloring. We address the question how to determine all possible proper flexible edge lengths from the set of all NAC colorings of a graph. We do so using restrictions to 4 cycle subgraphs.


Investigation of Error Simulation Techniques for Learning Dialog Policies for Conversational Error Recovery. Training dialog policies for speech based virtual assistants requires a plethora of conversational data. The data collection phase is often expensive and time consuming due to human involvement. To address this issue, a common solution is to build user simulators for data generation. For the successful deployment of the trained policies into real world domains, it is vital that the user simulator mimics realistic conditions. In particular, speech based assistants are heavily affected by automatic speech recognition and language understanding errors, hence the user simulator should be able to simulate similar errors. In this paper, we review the existing error simulation methods that induce errors at audio, phoneme, text, or semantic level and conduct detailed comparisons between the audio level and text level methods. In the process, we improve the existing text level method by introducing confidence score prediction and out of vocabulary word mapping. We also explore the impact of audio level and text level methods on learning a simple clarification dialog policy to recover from errors to provide insight on future improvement for both approaches.


Mechanistic insight into the limiting factors of graphene based environmental sensors. Graphene has demonstrated great promise for technological use, yet control over material growth and understanding of how material imperfections affect the performance of devices are challenges that hamper the development of applications. In this work we reveal new insight into the connections between the performance of the graphene devices as environmental sensors and the microscopic details of the interactions at the sensing surface. Specifically, we monitor changes in the resistance of the chemical vapour deposition grown graphene devices as exposed to different concentrations of ethanol. We perform thermal surface treatments after the devices are fabricated, use scanning probe microscopy to visualize their effects on the graphene sensing surface down to nanometer scale and correlate them with the measured performance of the device as an ethanol sensor. Our observations are compared to theoretical calculations of charge transfers between molecules and the graphene surface. We find that, although often overlooked, the surface cleanliness after device fabrication is responsible for the device performance and reliability. These results further our understanding of the mechanisms of sensing in graphene based environmental sensors and pave the way to optimizing such devices, especially for their miniaturization, as with decreasing size of the active zone the potential role of contaminants will rise.


Multi modal Identification of State Sponsored Propaganda on Social Media. The prevalence of state sponsored propaganda on the Internet has become a cause for concern in the recent years. While much effort has been made to identify state sponsored Internet propaganda, the problem remains far from being solved because the ambiguous definition of propaganda leads to unreliable data labelling, and the huge amount of potential predictive features causes the models to be inexplicable. This paper is the first attempt to build a balanced dataset for this task. The dataset is comprised of propaganda by three different organizations across two time periods. A multi model framework for detecting propaganda messages solely based on the visual and textual content is proposed which achieves a promising performance on detecting propaganda by the three organizations both for the same time period (training and testing on data from the same time period) (F1 0.869) and for different time periods (training on past, testing on future) (F1 0.697). To reduce the influence of false positive predictions, we change the threshold to test the relationship between the false positive and true positive rates and provide explanations for the predictions made by our models with visualization tools to enhance the interpretability of our framework. Our new dataset and general framework provide a strong benchmark for the task of identifying state sponsored Internet propaganda and point out a potential path for future work on this task.


An Adaptive Solver for Systems of Linear Equations. Computational implementations for solving systems of linear equations often rely on a one size fits all approach based on LU decomposition of dense matrices stored in column major format. Such solvers are typically implemented with the aid of the xGESV set of functions available in the low level LAPACK software, with the aim of reducing development time by taking advantage of well tested routines. However, this straightforward approach does not take into account various matrix properties which can be exploited to reduce the computational effort and or to increase numerical stability. Furthermore, direct use of LAPACK functions can be error prone for non expert users and results in source code that has little resemblance to originating mathematical expressions. We describe an adaptive solver that we have implemented inside recent versions of the high level Armadillo C library for linear algebra. The solver automatically detects several common properties of a given system (banded, triangular, symmetric positive definite), followed by solving the system via mapping to a set of suitable LAPACK functions best matched to each property. The solver also detects poorly conditioned systems and automatically seeks a solution via singular value decomposition as a fallback. We show that the adaptive solver leads to notable speedups, while also freeing the user from using direct calls to cumbersome LAPACK functions.


Koszul homology of quotients by edge ideals. We show that the Koszul homology algebra of a quotient by the edge ideal of a forest is generated by the lowest linear strand. This provides a large class of Koszul algebras whose Koszul homology algebras satisfy this property. We obtain this result by constructing the minimal graded free resolution of a quotient by such an edge ideal via the so called iterated mapping cone construction and using the explicit bases of Koszul homology given by Herzog and Maleki. Using these methods we also recover a result of Roth and Van Tuyl on the graded Betti numbers of quotients of edge ideals of trees.


Scaling of contact networks for epidemic spreading in urban transit systems. Improved mobility not only contributes to more intensive human activities but also facilitates the spread of communicable disease, thus constituting a major threat to billions of urban commuters. In this study, we present a multi city investigation of communicable diseases percolating among metro travelers. We use smart card data from three megacities in China to construct individual level contact networks, based on which the spread of disease is modeled and studied. We observe that, though differing in urban forms, network layouts, and mobility patterns, the metro systems of the three cities share similar contact network structures. This motivates us to develop a universal generation model that captures the distributions of the number of contacts as well as the contact duration among individual travelers. This model explains how the structural properties of the metro contact network are associated with the risk level of communicable diseases. Our results highlight the vulnerability of urban mass transit systems during disease outbreaks and suggest important planning and operation strategies for mitigating the risk of communicable diseases.


On multi symmetric functions and transportation polytopes. We present a study of the transportation polytopes appearing in the product rule of elementary multi symmetric functions introduced by F. Vaccarino.


Solving Inverse Problems for Steady State Equations using A Multiple Criteria Model with Collage Distance, Entropy, and Sparsity. In this paper, we extend the previous method for solving inverse problems for steady state equations using the Generalized Collage Theorem by searching for an approximation that not only minimizes the collage error but also maximizes the entropy and minimize the sparsity. In this extended formulation, the parameter estimation minimization problem can be understood as a multiple criteria problem, with three different and conflicting criteria The generalized collage error, the entropy associated with the unknown parameters, and the sparsity of the set of unknown parameters. We implement a scalarization technique to reduce the multiple criteria program to a single criterion one, by combining all objective functions with different trade off weights. Numerical examples confirm that the collage method produces good, but sub optimal, results. A relatively low weighted entropy term allows for better approximations while the sparsity term decreases the complexity of the solution in terms of the number of elements in the basis.


Some genericity results over Noetherian rings. Let M be a filtered module. Some properties of elements of M are "generic" in the following sense (being open stable) if an element z of M has a property P then any approximation of z has P (being dense) any element of M is approximated by an element that has P. (Here the approximation is taken in the filtered sense.) Moreover, one can often ensure an approximation with further special properties, e.g. avoiding a prescribed set of submodules. We prove that being a regular sequence is a generic property. As immediate applications we get corollaries on the generic grades of modules, heights of ideals, properties of determinantal ideals, acyclicity of generalized Eagon Northcott complexes and vanishing of Tor Ext.


Far ranging generalist top predators enhance the stability of meta foodwebs. Identifying stabilizing factors in foodwebs is a long standing challenge with wide implications for community ecology and conservation. Here, we investigate the stability of spatially resolved meta foodwebs with far ranging super predators for whom the whole meta foodwebs appears to be a single habitat. By using a combination of generalised modeling with a master stability function approach, we are able to efficiently explore the asymptotic stability of large classes of realistic many patch meta foodwebs. We show that meta foodwebs with far ranging top predators are more stable than those with localized top predators. Moreover, adding far ranging generalist top predators to a system can have a net stabilizing effect, despite increasing the food web size. These results highlight the importance of top predator conservation.


Class numbers and representations by ternary quadratic forms with congruence conditions. In this paper, we are interested in the interplay between integral ternary quadratic forms and class numbers. This is partially motivated by a question of Petersson.


Global regularity for a class of 3D tropical climate model without thermal diffusion. In this paper, we establish the global regularity for the 3D tropical climate model with fractional dissipation.


Stability of Tamed EM scheme of Neutral Stochastic Differential Delay Equations. In this paper, exponential mean square stability and almost sure stability of the tamed EM scheme to neutral stochastic differential delay equation are investigated. Surprisingly, the exponential mean square stability can reproduce the almost sure stability without placing extra conditions.


A new approach to the S functional calculus. In this paper, we first prove that the S spectrum of a bounded right quaternionic linear operator on a two sided quaternionic Banach space is a union of the spectrum of some bounded linear operators on a complex Banach space. Furthermore, we show that the S functional calculus is obtained by the Riesz Dunford functional calculus for complex linear operators. We also give simple proofs of some already existing results.


FlexRiLoG A SageMath Package for Motions of Graphs. In this paper we present the SageMath package FlexRiLoG (short for flexible and rigid labelings of graphs). Based on recent results the software generates motions of graphs using special edge colorings. The package computes and illustrates the colorings and the motions. We present the structure and usage of the package.


Low stretch spanning trees of graphs with bounded width. We study the problem of low stretch spanning trees in graphs of bounded width bandwidth, cutwidth, and treewidth. We show that any simple connected graph G with a linear arrangement of bandwidth b can be embedded into a distribution mathcal T of spanning trees such that the expected stretch of each edge of G is O(b 2) . Our proof implies a linear time algorithm for sampling from mathcal T . Therefore, we have a linear time algorithm that finds a spanning tree of G with average stretch O(b 2) with high probability. We also describe a deterministic linear time algorithm for computing a spanning tree of G with average stretch O(b 3) . For graphs of cutwidth c , we construct a spanning tree with stretch O(c 2) in linear time. Finally, when G has treewidth k we provide a dynamic programming algorithm computing a minimum stretch spanning tree of G that runs in polynomial time with respect to the number of vertices of G .


Cancellation of Morita and Skew Types. We study both Morita cancellative and skew cancellative properties of noncommutative algebras as initiated recently in several papers and explore that which classes of noncommutative algebras are Morita cancellative (respectively, skew cancellative). Several new results concerning these two types of cancellations, as well as the classical cancellation, are proved.


Knowledge Graph Embeddings and Explainable AI. Knowledge graph embeddings are now a widely adopted approach to knowledge representation in which entities and relationships are embedded in vector spaces. In this chapter, we introduce the reader to the concept of knowledge graph embeddings by explaining what they are, how they can be generated and how they can be evaluated. We summarize the state of the art in this field by describing the approaches that have been introduced to represent knowledge in the vector space. In relation to knowledge representation, we consider the problem of explainability, and discuss models and methods for explaining predictions obtained via knowledge graph embeddings.


Formal Modelling and Verification of Software Defined Network. In cloud computing, software defined network (SDN) gaining more attention due to its advantages in network configuration to improve network performance and network monitoring. SDN addresses an issue of static architecture in traditional networks by allowing centralised control of a network system. SDN contains centralised network intelligence module which separates a process of forwarding packets (data plane) from packet routing process (control plane). It is essential to ensure the correctness of SDN due to secure data transmitting in it. In this paper. Model checking is chosen to verify an SDN network. The Computation Tree Logic (CTL) and Linear Temporal Logic (LTL) used as a specification to express properties of an SDN. Then complete SDN structure is defined formally along with its Kripke structure. Finally, temporal properties are analysed against the SDN Kripke model to assure the properties of SDN is correct.


A note on second order linear functional equations in random normed spaces. In this paper, we apply the publication of Joung (2009) to derive a stability result for for the second order linear functional equation f(x) pf(x 1) qf(x 2) for all x in mathbb R , where f is a mapping from mathbb R into the induced random space of any Banach space. By relaxing the lower bound assumption, we also generalize the result of Jung (2009) on arbitrary random normed spaces with the minimum t norm. However, we need the monotonicity of the distribution in the lower bound assumption. By the properties of normal distributions, our main result can be applied.


Solving two parameter eigenvalue problems using an alternating method. We present a new approach to compute selected eigenvalues and eigenvectors of the two parameter eigenvalue problem. Our method requires computing generalized eigenvalue problems of the same size as the matrices of the initial two parameter eigenvalue problem. The method is applicable for right definite problems, possibly after performing an affine transformation. This includes a class of Helmholtz equations when separation of variables is applied. We provide a convergence proof for extremal eigenvalues and empirical evidence along with a local convergence proof for other eigenvalues.


Unmixing 2D HSQC NMR mixtures with beta NMF and sparsity. Nuclear Magnetic Resonance (NMR) spectroscopy is an efficient technique to analyze chemical mixtures in which one acquires spectra of the chemical mixtures along one ore more dimensions. One of the important issues is to efficiently analyze the composition of the mixture, this is a classical Blind Source Separation (BSS) problem. The poor resolution of NMR spectra and their large dimension call for a tailored BSS method. We propose in this paper a new variational formulation for BSS based on a beta divergence data fidelity term combined with sparsity promoting regularization functions. A majorization minimization strategy is developped to solve the problem and experiments on simulated and real 2D HSQC NMR data illustrate the interest and the effectiveness of the proposed method.


Existence of nonradial positive and nodal solutions to a critical Neumann problem in a cone. We study the critical Neumann problem begin equation begin cases Delta u u 2 2 u text in Sigma omega, quad frac partial u partial nu 0 text on partial Sigma omega, end cases end equation in the unbounded cone Sigma omega tx x in omega text and t 0 , where omega is an open connected subset of the unit sphere mathbb S N 1 in mathbb R N with smooth boundary, N geq 3 and 2 frac 2N N 2 . We assume that some local convexity condition at the boundary of the cone is satisfied. If omega is symmetric with respect to the north pole of mathbb S N 1 , we establish the existence of a nonradial sign changing solution. On the other hand, if the volume of the unitary bounded cone Sigma omega cap B 1(0) is large enough (but possibly smaller than half the volume of the unit ball B 1(0) in mathbb R N ), we establish the existence of a positive nonradial solution.


On the adjoint Markov policies in stochastic differential games. We consider time homogeneous uniformly nondegenerate stochastic differential games in domains and propose constructing varepsilon optimal strategies and policies by using adjoint Markov strategies and adjoint Markov policies which are actually time homogeneous Markov, however, relative not to the original process but to a couple of processes governed by a system consisting of the main original equation and of an adjoint stochastic equations of the same type as the main one. We show how to find varepsilon optimal strategies and policies in these classes by using the solvability in Sobolev spaces of not the original Isaacs equation but of its appropriate modification. We also give an example of a uniformly nondegenerate game where our assumptions are not satisfied and where we conjecture that there are no not only optimal Markov but even varepsilon optimal adjoint (time homogeneous) Markov strategies for one of the players.


Structure and isomorphisms of quantum generalized Heisenberg algebras. In 14 we introduced a new class of algebras, which we named textit quantum generalized Heisenberg algebras and which depend on a parameter q and two polynomials f,g . We have shown that this class includes all generalized Heisenberg algebras (as defined in 8 and 16 ) as well as generalized down up algebras (as defined in 3 and 7 ), but the parameters of freedom we allow give rise to many algebras which are in neither one of these two classes (if q neq 1 and , mathsf deg , f 1 ). Having classified their finite dimensional irreducible representations in 14 , in this paper we turn to their classification by isomorphism, the description of their automorphism groups and the study of ring theoretical properties like Gelfand Kirillov dimension and being Noetherian.


Exploiting Behavioral Side Channels in Observation Resilient Cognitive Authentication Schemes. Observation Resilient Authentication Schemes (ORAS) are a class of shared secret challenge response identification schemes where a user mentally computes the response via a cognitive function to authenticate herself such that eavesdroppers cannot readily extract the secret. Security evaluation of ORAS generally involves quantifying information leaked via observed challenge response pairs. However, little work has evaluated information leaked via human behavior while interacting with these schemes. A common way to achieve observation resilience is by including a modulus operation in the cognitive function. This minimizes the information leaked about the secret due to the many to one map from the set of possible secrets to a given response. In this work, we show that user behavior can be used as a side channel to obtain the secret in such ORAS. Specifically, the user's eye movement patterns and associated timing information can deduce whether a modulus operation was performed (a fundamental design element), to leak information about the secret. We further show that the secret can still be retrieved if the deduction is erroneous, a more likely case in practice. We treat the vulnerability analytically, and propose a generic attack algorithm that iteratively obtains the secret despite the "faulty" modulus information. We demonstrate the attack on five ORAS, and show that the secret can be retrieved with considerably less challenge response pairs than non side channel attacks (e.g., algebraic statistical attacks). In particular, our attack is applicable on Mod10, a one time pad based scheme, for which no non side channel attack exists. We field test our attack with a small scale eye tracking user study.


Note on Samelson products in exceptional Lie groups. We determine (non )triviality of Samelson products of inclusions of factors of the mod p decomposition of G (p) for (G,p) (E 7,5),(E 7,7),(E 8,7) . This completes the determination of (non )triviality of those Samelson products in p localized exceptional Lie groups when G has p torsion free homology.


Characteristics of a Plasma Source with adjustable multi pole line cusp geometry. Two magnetic configurations of Multi cusp Plasma Device (MPD) have been explored to obtain high quiescence level, large uniform plasma region with nearly flat mean density and temperature profiles. In particular, properties of plasma in a six pole six magnet (SPSM) and twelve pole six magnets (TPSM) cusp configurations are rigorously compared and reported here. It is found that more uniform plasma with nearly flat profiles is found in TPSM along with increased quiescence level. Findings are verified across various magnetic field strengths for both configurations.


Reducibility of Schr "odinger equation on a Zoll manifold with unbounded potential. In this article we prove a reducibility result for the linear Schr "odinger equation on a Zoll manifold with quasi periodic in time pseudo differential perturbation of order less or equal than 1 2 . As far as we know, this is the first reducibility results for an unbounded perturbation of a linear system which is not integrable.


PointDAN A Multi Scale 3D Domain Adaption Network for Point Cloud Representation. Domain Adaptation (DA) approaches achieved significant improvements in a wide range of machine learning and computer vision tasks (i.e., classification, detection, and segmentation). However, as far as we are aware, there are few methods yet to achieve domain adaptation directly on 3D point cloud data. The unique challenge of point cloud data lies in its abundant spatial geometric information, and the semantics of the whole object is contributed by including regional geometric structures. Specifically, most general purpose DA methods that struggle for global feature alignment and ignore local geometric information are not suitable for 3D domain alignment. In this paper, we propose a novel 3D Domain Adaptation Network for point cloud data (PointDAN). PointDAN jointly aligns the global and local features in multi level. For local alignment, we propose Self Adaptive (SA) node module with an adjusted receptive field to model the discriminative local structures for aligning domains. To represent hierarchically scaled features, node attention module is further introduced to weight the relationship of SA nodes across objects and domains. For global alignment, an adversarial training strategy is employed to learn and align global features across domains. Since there is no common evaluation benchmark for 3D point cloud DA scenario, we build a general benchmark (i.e., PointDA 10) extracted from three popular 3D object scene datasets (i.e., ModelNet, ShapeNet and ScanNet) for cross domain 3D objects classification fashion. Extensive experiments on PointDA 10 illustrate the superiority of our model over the state of the art general purpose DA methods.


Resurgence and Castelnuovo Mumford regularity of certain monomial curves in mathbb A 3 . Let mathfrak p be the defining ideal of the monomial curve mathcal C (2q 1, 2q 1 m, 2q 1 2m) in the affine space mathbb A k 3 parameterized by (x 2q 1 , x 2q 1 m , x 2q 1 2 m ) where gcd( 2q 1,m) 1 . In this paper we compute the resurgence of mathfrak p , the Waldschmidt constant of mathfrak p and the Castelnuovo Mumford regularity of the symbolic powers of mathfrak p .


Riemannian Newton CG Methods for Constructing a Positive Doubly Stochastic Matrix From Spectral Data. In this paper, we consider the inverse eigenvalue problem for the positive doubly stochastic matrices, which aims to construct a positive doubly stochastic matrix from the prescribed realizable spectral data. By using the real Schur decomposition, the inverse problem is written as a nonlinear matrix equation on a matrix product manifold. We propose monotone and nonmonotone Riemannian inexact Newton CG methods for solving the nonlinear matrix equation. The global and quadratic convergence of the proposed methods is established under some assumptions. We also provide invariant subspaces of the constructed solution to the inverse problem based on the computed real Schur decomposition. Finally, we report some numerical tests, including an application in digraph, to illustrate the effectiveness of the proposed methods.


Region Refinement Network for Salient Object Detection. Albeit intensively studied, false prediction and unclear boundaries are still major issues of salient object detection. In this paper, we propose a Region Refinement Network (RRN), which recurrently filters redundant information and explicitly models boundary information for saliency detection. Different from existing refinement methods, we propose a Region Refinement Module (RRM) that optimizes salient region prediction by incorporating supervised attention masks in the intermediate refinement stages. The module only brings a minor increase in model size and yet significantly reduces false predictions from the background. To further refine boundary areas, we propose a Boundary Refinement Loss (BRL) that adds extra supervision for better distinguishing foreground from background. BRL is parameter free and easy to train. We further observe that BRL helps retain the integrity in prediction by refining the boundary. Extensive experiments on saliency detection datasets show that our refinement module and loss bring significant improvement to the baseline and can be easily applied to different frameworks. We also demonstrate that our proposed model generalizes well to portrait segmentation and shadow detection tasks.


Valuing the quality option in agricultural commodity futures a Monte Carlo simulation based approach. Agricultural commodity futures are often settled by delivery. Quality options that allow the futures short to deliver one of several underlying assets are commonly used in such contracts to prevent manipulation. Inclusion of these options reduces the price of the futures contract and leads to degraded contract hedging performance. Valuation of these options is a first step in assessing the impact of the quality options embedded into a futures contract. This paper demonstrates a Monte Carlo simulation based approach to estimate the value of a quality option. In order to improve simulation efficiency, the technique of antithetic variables is used. This approach can help in the assessment of the impact of embedded quality options.


A family of matrix tree multijections. For a natural class of r times n integer matrices, we construct a non convex polytope which periodically tiles mathbb R n . From this tiling, we provide a family of geometrically meaningful maps from a generalized sandpile group to a set of generalized spanning trees which give multijective proofs for several higher dimensional matrix tree theorems. In particular, these multijections can be applied to graphs, regular matroids, cell complexes with a torsion free spanning forest, and representable arithmetic matroids with a multiplicity one basis. This generalizes a bijection given by Backman, Baker, and Yuen and extends work by Duval, Klivans, and Martin.


Multifractal analysis of weighted ergodic averages. We propose to study the multifractal behavior of weighted ergodic averages. Our study in this paper is concentrated on the symbolic dynamics. We introduce a thermodynamical formalism which leads to a multifractal spectrum. It is proved that this thermodynamical formalism applies to different kinds of dynamically defined weights, including stationary ergodic random weights, uniquely ergodic weights etc. But the validity of the thermodynamical formalism for very irregular weights, like M " o bius function, is an unsolved problem. The paper ends with some other unsolved problems.


Conditional Image Generation with One Vs All Classifier. This paper explores conditional image generation with a One Vs All classifier based on the Generative Adversarial Networks (GANs). Instead of the real fake discriminator used in vanilla GANs, we propose to extend the discriminator to a One Vs All classifier (GAN OVA) that can distinguish each input data to its category label. Specifically, we feed certain additional information as conditions to the generator and take the discriminator as a One Vs All classifier to identify each conditional category. Our model can be applied to different divergence or distances used to define the objective function, such as Jensen Shannon divergence and Earth Mover (or called Wasserstein 1) distance. We evaluate GAN OVAs on MNIST and CelebA HQ datasets, and the experimental results show that GAN OVAs make progress toward stable training over regular conditional GANs. Furthermore, GAN OVAs effectively accelerate the generation process of different classes and improves generation quality.


Satellite based Prediction of Forage Conditions for Livestock in Northern Kenya. This paper introduces the first dataset of satellite images labeled with forage quality by on the ground experts and provides proof of concept for applying computer vision methods to index based drought insurance. We also present the results of a collaborative benchmark tool used to crowdsource an accurate machine learning model on the dataset. Our methods significantly outperform the existing technology for an insurance program in Northern Kenya, suggesting that a computer vision based approach could substantially benefit pastoralists, whose exposure to droughts is severe and worsening with climate change.


Invariant measures on products and on the space of linear orders. Let M be an aleph 0 categorical structure and assume that M has no algebraicity and has weak elimination of imaginaries. Generalizing classical theorems of de Finetti and Ryll Nardzewski, we show that any ergodic, operatorname Aut (M) invariant measure on 0, 1 M is a product measure. We also investigate the action of operatorname Aut (M) on the compact space mathrm LO (M) of linear orders on M . If we assume moreover that the action operatorname Aut (M) curvearrowright M is transitive, we prove that the action operatorname Aut (M) curvearrowright mathrm LO (M) either has a fixed point or is uniquely ergodic.


SeeMoRe A Fault Tolerant Protocol for Hybrid Cloud Environments. Large scale data management systems utilize State Machine Replication to provide fault tolerance and to enhance performance. Fault tolerant protocols are extensively used in the distributed database infrastructure of large enterprises such as Google, Amazon, and Facebook, as well as permissioned blockchain systems like IBM's Hyperledger Fabric. However, and in spite of years of intensive research, existing fault tolerant protocols do not adequately address all the characteristics of distributed system applications. In particular, hybrid cloud environments consisting of private and public clouds are widely used by enterprises. However, fault tolerant protocols have not been adapted for such environments. In this paper, we introduce SeeMoRe, a hybrid State Machine Replication protocol to handle both crash and malicious failures in a public private cloud environment. SeeMoRe considers a private cloud consisting of nonmalicious nodes (either correct or crash) and a public cloud with both Byzantine faulty and correct nodes. SeeMoRe has three different modes which can be used depending on the private cloud load and the communication latency between the public and the private cloud. We also introduce a dynamic mode switching technique to transition from one mode to another. Furthermore, we evaluate SeeMoRe using a series of benchmarks. The experiments reveal that SeeMoRe's performance is close to the state of the art crash fault tolerant protocols while tolerating malicious failures.


Optimal Liquidation in a Mean reverting Portfolio. In this work we study a finite horizon optimal liquidation problem with multiplicative price impact in algorithmic trading, using market orders. We analyze the case when an agent is trading on a market with two financial assets, whose difference of log prices is modelled with a mean reverting process. The agent's task is to liquidate an initial position of shares of one of the two financial assets, without having the possibility of trading the other stock. The criterion to be optimized consists in maximising the expected final value of the agent, with a running inventory penalty. The main result of this paper consists in finding a classical solution of the Hamilton Jacobi Bellman (HJB) equation associated to this problem, which is proved to not coincide with the value function. However, we find the value function as a solution to the forward backward stochastic differential equation (FBSDE) associated to the problem. We provide numerical tests showing that the HJB and FBSDE solutions are close to each other and analysing performance of the described model. We also prove a verification theorem and a comparison principle for the viscosity solution to the HJB equation.


Efficient Deep Neural Networks. The success of deep neural networks (DNNs) is attributable to three factors increased compute capacity, more complex models, and more data. These factors, however, are not always present, especially for edge applications such as autonomous driving, augmented reality, and internet of things. Training DNNs requires a large amount of data, which is difficult to obtain. Edge devices such as mobile phones have limited compute capacity, and therefore, require specialized and efficient DNNs. However, due to the enormous design space and prohibitive training costs, designing efficient DNNs for different target devices is challenging. So the question is, with limited data, compute capacity, and model complexity, can we still successfully apply deep neural networks? This dissertation focuses on the above problems and improving the efficiency of deep neural networks at four levels. Model efficiency we designed neural networks for various computer vision tasks and achieved more than 10x faster speed and lower energy. Data efficiency we developed an advanced tool that enables 6.2x faster annotation of a LiDAR point cloud. We also leveraged domain adaptation to utilize simulated data, bypassing the need for real data. Hardware efficiency we co designed neural networks and hardware accelerators and achieved 11.6x faster inference. Design efficiency the process of finding the optimal neural networks is time consuming. Our automated neural architecture search algorithms discovered, using 421x lower computational cost than previous search methods, models with state of the art accuracy and efficiency.


STELA A Real Time Scene Text Detector with Learned Anchor. To achieve high coverage of target boxes, a normal strategy of conventional one stage anchor based detectors is to utilize multiple priors at each spatial position, especially in scene text detection tasks. In this work, we present a simple and intuitive method for multi oriented text detection where each location of feature maps only associates with one reference box. The idea is inspired from the twostage R CNN framework that can estimate the location of objects with any shape by using learned proposals. The aim of our method is to integrate this mechanism into a onestage detector and employ the learned anchor which is obtained through a regression operation to replace the original one into the final predictions. Based on RetinaNet, our method achieves competitive performances on several public benchmarks with a totally real time efficiency (26 5fps at 800p), which surpasses all of anchor based scene text detectors. In addition, with less attention on anchor design, we believe our method is easy to be applied on other analogous detection tasks. The code will publicly available at https github.com xhzdeng stela.


QualiBD Tool Implementation Details. This paper describes the tools, technologies, and frameworks used in the implementation of the QualiBD, a tool for modelling quality requirements for Big Data Software Applications.


Bresse Timoshenko type systems with thermodiffusion effects Well possedness, stability and numerical results. Bresse Timoshenko beam model with thermal, mass diffusion and theormoelastic effects is studied. We state and prove the well posedness of problem. The global existence and uniqueness of the solution is proved by using the classical Faedo Galerkin approximations along with two a priori estimates. We prove an exponential stability estimate for problem under an unusual assumption, and by using a multiplier technique in two different cases, with frictional damping in the angular rotation and with frictional damping in the vertical displacement. In numerical parts, we first obtained a numerical scheme for problem by P 1 finite element method for space discretization and implicit Euler scheme for time discretization. Then, we showed that the discrete energy decays, later a priori error estimates are established. Finally , some numerical simulations are presented.


On non negative solutions of SDDEs with an application to CARMA processes. This note provides a simple sufficient condition ensuring that solutions of stochastic delay differential equations (SDDEs) driven by subordinators are non negative. While, to the best of our knowledge, no simple non negativity conditions are available in the context of SDDEs, we compare our result to the literature within the subclass of invertible continuous time ARMA (CARMA) processes. In particular, we analyze why our condition cannot be necessary for CARMA( p,q ) processes when p 2 , and we show that there are various situations where our condition applies while existing results do not as soon as p geq 3 . Finally, we extend the result to a multidimensional setting.


General path integrals and stable SDEs. The theory of one dimensional stochastic differential equations driven by Brownian motion is classical and has been largely understood for several decades. For stochastic differential equations with jumps the picture is still incomplete, and even some of the most basic questions are only partially understood. In the present article we study existence and uniqueness of weak solutions to rm d Z t sigma(Z t ) rm d X t driven by a (symmetric) alpha stable L 'evy process, in the spirit of the classical Engelbert Schmidt time change approach. Extending and completing results of Zanzotto we derive a complete characterisation for existence und uniqueness of weak solutions for alpha in(0,1) . Our approach is not based on classical stochastic calculus arguments but on the general theory of Markov processes. We proof integral tests for finiteness of path integrals under minimal assumptions.


Games in Minkowski Spacetime. This paper contributes a new class of games called spacetime games with perfect information. In spacetime games, the agents make decisions at various positions in Minkowski spacetime. Spacetime games can be seen as the least common denominator of strategic games on the one hand, and dynamic games with perfect information on the other hand. Indeed, strategic games correspond to a configuration with only spacelike separated decisions ("different rooms"). Dynamic games with perfect information, on the other hand, correspond to timelike separated decisions ("in turn"). We show how to compute the strategic form and reduced strategic form of spacetime games. As a consequence, many existing solution concepts, such as Nash equilibria, rationalizability, individual rationality, etc, apply naturally to spacetime games. We introduce a canonical injection of the class of spacetime games with perfect information into the class of games in extensive form with imperfect information we provide a counterexample showing that this is a strict superset. This provides a novel interpretation of a large number of games in extensive form with imperfect information in terms of the theory of special relativity, where non singleton information sets arise from the finite speed of light. This framework can be a useful tool for reasoning in quantum foundations, where it is important whether decisions such as the choice of a measurement axis or the outcome of a measurement are spacelike or timelike separated. We look in particular at the special case of the Einstein Podolsky Rosen experiment with four decision points, and model a corresponding spacetime game structure.


Explicit harmonic morphisms and p harmonic functions on the compact Lie groups SU m n and Sp m n . In this work we construct new eigenfamilies on the compact semi simple Lie groups SU m n and Sp m n . These are then utilised to manufacture complex valued harmonic morphisms and proper p harmonic functions on these groups. This also provides explicit complex valued harmonic morphisms on the complex Grassmannians. All the above mentioned compact manifolds have the structure of a Riemannian symmetric space. Via a duality principle, we describe how these harmonic morphisms and p harmonic functions induce such solutions on the non compact Riemannian dual spaces.


The bridge number of arborescent links with many twigs. We prove the meridional rank conjecture for arborescent links associated to plane trees with the following property all branching points carry a straight branch to at least three leaves. The proof involves an upper bound on the bridge number in terms of the maximal number of link components of the underlying tree, valid for all arborescent links.


Using NIST Special Publications (SP) 800 171r2 and 800 172 800 172A to assess and evaluate the Cybersecurity posture of Information Systems in the Healthcare sector. This paper describes how NIST Special Publications (SP) 800 171r2 (Protecting Controlled but Unclassified Information in Nonfederal Systems and Organizations), SP.800 172 (Enhanced Security Requirements for Protecting Controlled Unclassified Information) and SP.800 172A (Assessing Enhanced Security Requirements for Controlled Unclassified Information) can be used to evaluate the cybersecurity posture of information systems and supporting frameworks relative to HIPAA and HITECH . It will demonstrate that provisions and baseline security requirements outlined in SP.800 171r2 and SP.800 172 172A for the protection of Controlled Unclassified Information (CUI) can be applied to Electronic Protected Health Information (ePHI). An explanation of how these publications align with HIPAA and how this alignment suffices for evaluating IT environment security will be given along with the process and procedure for performing such evaluation. Finally, the benefits of using this approach to support formal risk assessment will be presented.


Dynamic Walking with Compliance on a Cassie Bipedal Robot. The control of bipedal robotic walking remains a challenging problem in the domains of computation and experiment, due to the multi body dynamics and various sources of uncertainty. In recent years, there has been a rising trend towards model reduction and the design of intuitive controllers to overcome the gap between assumed model and reality. Despite its viability in practical implementation, this local representation of true dynamics naturally indicate limited scalibility towards more dynamical behaviors. With the goal of moving towards increasingly dynamic behaviors, we leverage the detailed full body dynamics to generate controllers for the robotic system which utilizes compliant elements in the passive dynamics. In this process, we present a feasible computation method that yields walking trajectories for a highly complex robotic system. Direct implementation of these results on physical hardware is also performed with minimal tuning and heuristics. We validate the suggested method by applying a consistent control scheme across simulation, optimization and experiment, the result is that the bipedal robot Cassie walks over a variety of indoor and outdoor terrains reliably.


Compactness of harmonic maps of surfaces with regular nodes. In this paper, we formulate and prove a general compactness theorem for harmonic maps using Deligne Mumford moduli space and families of curves. The main theorem shows that given a sequence of harmonic maps over a sequence of complex curves, there is a family of curves and a subsequence such that both the domains and the maps converge off the set of "non regular" nodes. This provides a sufficient condition for a neck having zero energy and zero length. As a corollary, the following known fact can be proved If all domains are diffeomorphic to S 2 , both energy identity and zero distance bubbling hold.


The e ne product over a commutative ring. We define the e ne product for the multiplicative group of polynomials and formal power series with coefficients on a commutative ring and unitary constant coefficient. This defines a commutative ring structure where multiplication is the additive structure and the e ne product is the multiplicative one. For polynomials with complex coefficients, the e ne product acts as a multiplicative convolution of their divisor. We study its algebraic properties, its relation to symmetric functions on an infinite number of variables, to tensor products, and Hecke operators. The exponential linearizes also the e ne product. The e ne product extends to rational functions and formal meromorphic functions. We also study the analytic properties over the complex numbers, and for entire functions. The e ne product respects Hadamard Weierstrass factorization and is related to the Hadamard product. The e ne product plays a central role in predicting the phenomenon of the "statistics on Riemann zeros" for Riemann zeta function and general Dirichlet L functions discovered by the author. It also gives reasons to believe in the Riemann Hypothesis as explained in the survey "Notes on the Riemann Hypothesis".


A construction of patterns with many critical points on topological tori. We consider reaction diffusion equations on closed surfaces in mathbb R 3 having genus 1 . Stable nonconstant stationary solutions are often called patterns. The purpose of this paper is to construct closed surfaces together with patterns having as many critical points as one wants.


Deep Reinforcement Learning for Active Human Pose Estimation. Most 3d human pose estimation methods assume that input be it images of a scene collected from one or several viewpoints, or from a video is given. Consequently, they focus on estimates leveraging prior knowledge and measurement by fusing information spatially and or temporally, whenever available. In this paper we address the problem of an active observer with freedom to move and explore the scene spatially in time freeze' mode and or temporally, by selecting informative viewpoints that improve its estimation accuracy. Towards this end, we introduce Pose DRL, a fully trainable deep reinforcement learning based active pose estimation architecture which learns to select appropriate views, in space and time, to feed an underlying monocular pose estimator. We evaluate our model using single and multi target estimators with strong result in both settings. Our system further learns automatic stopping conditions in time and transition functions to the next temporal processing step in videos. In extensive experiments with the Panoptic multi view setup, and for complex scenes containing multiple people, we show that our model learns to select viewpoints that yield significantly more accurate pose estimates compared to strong multi view baselines.


Quantum coupled wave theory of price formation in financial markets price measurement, dynamics and ergodicity. We explore nature of price formation in financial markets and develop a theory of bid and ask price dynamics in which the two prices form due to quantum chaotic interaction between buy and sell orders. In this model bid and ask prices are represented by eigenvalues of a 2x2 price operator corresponding to 'bid' and 'ask' eigenstates, while randomness of price operator results in price fluctuations that destroy oscillatory effects. We show that this theory adequately captures behavior of bid ask spread and allows to model bid and ask price dynamics in a coordinated way. We also discuss ergodicity properties of price formation and show how directional price movement occurs due to ergodicity violation in a quantum process instead of the commonly believed forces acting on price. This theory has wide range of applications such as trade execution modeling, large order pricing and risk valuation for illiquid securities.


Assessing the maturity of software testing services using CMMI SVC An industrial case study. Context While many companies conduct their software testing activities in house, many other companies outsource their software testing needs to other firms who act as software testing service providers. As a result, Testing as a Service (TaaS) has emerged as a strong service industry in the last several decades. In the context of software testing services, there could be various challenges (e.g., during the planning and service delivery phases) and, as a result, the quality of testing services is not always as expected. Objective It is important, for both providers and also customers of testing services, to assess the quality and maturity of test services and subsequently improve them. Method Motivated by a real industrial need in the context of several testing service providers, to assess the maturity of their software testing services, we chose the existing CMMI for Services maturity model (CMMI SVC), and conducted a case study using it in the context of two Turkish testing service providers. Results The case study results show that maturity appraisal of testing services using CMMI SVC was helpful for both companies and their test management teams by enabling them objectively assess the maturity of their testing services and also by pinpointing potential improvement areas. Conclusion We empirically observed that, after some minor customization, CMMI SVC is indeed a suitable model for maturity appraisal of testing services.


Tangled up in BLEU Reevaluating the Evaluation of Automatic Machine Translation Evaluation Metrics. Automatic metrics are fundamental for the development and evaluation of machine translation systems. Judging whether, and to what extent, automatic metrics concur with the gold standard of human evaluation is not a straightforward problem. We show that current methods for judging metrics are highly sensitive to the translations used for assessment, particularly the presence of outliers, which often leads to falsely confident conclusions about a metric's efficacy. Finally, we turn to pairwise system ranking, developing a method for thresholding performance improvement under an automatic metric against human judgements, which allows quantification of type I versus type II errors incurred, i.e., insignificant human differences in system quality that are accepted, and significant human differences that are rejected. Together, these findings suggest improvements to the protocols for metric evaluation and system performance evaluation in machine translation.


Learning Daily Calorie Intake Standard using a Mobile Game. Mobile games can contribute to learning at greater success. In this paper, we have developed and evaluated a novel educational game, named FoodCalorie, to learn the food calorie intake standards. Our game is aimed to learn the calorie values of various traditional Bangladeshi foods and the calorie intake standard that varies with age and gender. Our study confirms the finding of existing studies that game based learning can enhance the learning experience.


Tate blueshift and vanishing for Real oriented cohomology. Ando, Morava, and Sadofsky showed that the Tate construction for a trivial mathbb Z p action decreases the chromatic height of Johnson Wilson theory, and Greenlees and Sadofsky proved that the Tate construction for a trivial finite group action vanishes on Morava K theory. We prove C 2 equivariant enrichments of these results using the parametrized Tate construction. The C 2 fixed points of our results produce new blueshift and vanishing results for Real Johnson Wilson theories ER(n) and Real Morava K theories KR(n) , respectively, for all n . In particular, our blueshift results generalize Greenlees and May's Tate splitting of KO to all chromatic heights.


On Kuiper type theorems for uniform Roe algebras. Generalizing the case of an infinite discrete metric space of finite diameter, we say that a discrete metric space (X,d) is a Kuiper space, if the group of invertible elements of its uniform Roe algebra is norm contractible. Various sufficient conditions on (X,d) to be or not to be a Kuiper space are obtained.


Numerical time of flight analysis of the strong field photoeffect. Short time filtering of the photoionization amplitude extracted straight from the numerical solution of the time dependent Schr " o dinger equation (TDSE) is used to identify dominant pathways that form photoelectron spectra in strong fields. Thereby, the "black box nature" of TDSE solvers only giving the final spectrum is overcome, and simpler approaches, e.g., semi classical based on the strong field approximation, can be tested and improved. The approach also allows to suppress intercycle quantum interference between pathways removing patterns that are usually washed out in experiments.


Linearizing Combinators. In 2017, Bauer, Johnson, Osborne, Riehl, and Tebbe (BJORT) showed that the Abelian functor calculus provides an example of a Cartesian differential category. The definition of a Cartesian differential category is based on a differential combinator which directly formalizes the total derivative from multivariable calculus. However, in the aforementioned work the authors used techniques from Goodwillie's functor calculus to establish a linearization process from which they then derived a differential combinator. This raised the question of what the precise relationship between linearization and having a differential combinator might be. In this paper, we introduce the notion of a linearizing combinator which abstracts linearization in the Abelian functor calculus. We then use it to provide an alternative axiomatization of a Cartesian differential category. Every Cartesian differential category comes equipped with a canonical linearizing combinator obtained by differentiation at zero. Conversely, a differential combinator can be constructed a la BJORT when one has a system of partial linearizing combinators in each context. Thus, while linearizing combinators do provide an alternative axiomatization of Cartesian differential categories, an explicit notion of partial linearization is required. This is in contrast to the situation for differential combinators where partial differentiation is automatic in the presence of total differentiation. The ability to form a system of partial linearizing combinators from a total linearizing combinator, while not being possible in general, is possible when the setting is Cartesian closed.


Saliency Guided Attention Network for Image Sentence Matching. This paper studies the task of matching image and sentence, where learning appropriate representations across the multi modal data appears to be the main challenge. Unlike previous approaches that predominantly deploy symmetrical architecture to represent both modalities, we propose Saliency guided Attention Network (SAN) that asymmetrically employs visual and textual attention modules to learn the fine grained correlation intertwined between vision and language. The proposed SAN mainly includes three components saliency detector, Saliency weighted Visual Attention (SVA) module, and Saliency guided Textual Attention (STA) module. Concretely, the saliency detector provides the visual saliency information as the guidance for the two attention modules. SVA is designed to leverage the advantage of the saliency information to improve discrimination of visual representations. By fusing the visual information from SVA and textual information as a multi modal guidance, STA learns discriminative textual representations that are highly sensitive to visual clues. Extensive experiments demonstrate SAN can substantially improve the state of the art results on the benchmark Flickr30K and MSCOCO datasets by a large margin.


Deep Spatial Gradient and Temporal Depth Learning for Face Anti spoofing. Face anti spoofing is critical to the security of face recognition systems. Depth supervised learning has been proven as one of the most effective methods for face anti spoofing. Despite the great success, most previous works still formulate the problem as a single frame multi task one by simply augmenting the loss with depth, while neglecting the detailed fine grained information and the interplay between facial depths and moving patterns. In contrast, we design a new approach to detect presentation attacks from multiple frames based on two insights 1) detailed discriminative clues (e.g., spatial gradient magnitude) between living and spoofing face may be discarded through stacked vanilla convolutions, and 2) the dynamics of 3D moving faces provide important clues in detecting the spoofing faces. The proposed method is able to capture discriminative details via Residual Spatial Gradient Block (RSGB) and encode spatio temporal information from Spatio Temporal Propagation Module (STPM) efficiently. Moreover, a novel Contrastive Depth Loss is presented for more accurate depth supervision. To assess the efficacy of our method, we also collect a Double modal Anti spoofing Dataset (DMAD) which provides actual depth for each sample. The experiments demonstrate that the proposed approach achieves state of the art results on five benchmark datasets including OULU NPU, SiW, CASIA MFSD, Replay Attack, and the new DMAD. Codes will be available at https github.com clks wzz FAS SGTD.


Photoinduced Anomalous Coulomb Blockade and the Role of Triplet States in Electron Transport through an Irradiated Molecular Transistor II Effects of Electron Phonon Coupling and Vibrational Relaxation. We generalize our previous theory Nano Lett. textbf 18 , 5015 5023 (2018) to investigate the influence of electron phonon (e p) coupling and vibrational relaxation on photoinduced textit anomalous Coulomb blockade , which originates from the triplet states and the energy level alignment. We derive the master equation for an irradiated molecular transistor and obtain the relevant rates via the Redfield theory instead of the phenomenological Fermi golden rule approach. To explore the interplay between e p coupling and vibrational relaxation, we analyze the charge stability diagrams and the current voltage characteristics (both gate voltage and source drain bias voltage) under different e p coupling strengths in two extreme limits of vibrational relaxation (equilibrated and unequilibrated phonon regimes). From the perspective of energy level alignment, we choose four representative situations and derive the analytical formulas of the photoinduced current in the equilibrated regime. The analytical solution reveals a new type of photocurrent due to e p coupling that does not require the perfect energy level alignment between charged states and triplet states. In general, our study indicates that photoinduced current and anomalous Coulomb blockade caused by the triplet states are supposed to be experimentally observed.


A Three state Opinion Formation Model for Financial Markets. We propose a three state microscopic opinion formation model for the purpose of simulating the dynamics of financial markets. In order to mimic the heterogeneous composition of the mass of investors in a market, the agent based model considers two different types of traders noise traders and contrarians. Agents are represented as nodes in a network of interactions and they can assume any of three distinct possible states (e.g. buy, sell or remain inactive). The time evolution of the state of an agent is dictated by probabilistic dynamics that include both local and global influences. A noise trader is subject to local interactions, tending to assume the majority state of its nearest neighbors, whilst a contrarian is subject to a global interaction with the behavior of the market as a whole, tending to assume the state of the global minority of the market. The model exhibits the typical qualitative and quantitative features of real financial time series, including distributions of returns with heavy tails, volatility clustering and long time memory for the absolute values of the returns. The distributions of returns are fitted by means of coupled Gaussian distributions, quantitatively revealing transitions between leptokurtic, mesokurtic and platykurtic regimes in terms of a non linear statistical coupling which describes the complexity of the system.


Recurrent Graph Syntax Encoder for Neural Machine Translation. Syntax incorporated machine translation models have been proven successful in improving the model's reasoning and meaning preservation ability. In this paper, we propose a simple yet effective graph structured encoder, the Recurrent Graph Syntax Encoder, dubbed textbf RGSE , which enhances the ability to capture useful syntactic information. The RGSE is done over a standard encoder (recurrent or self attention encoder), regarding recurrent network units as graph nodes and injects syntactic dependencies as edges, such that RGSE models syntactic dependencies and sequential information ( textit i.e. , word order) simultaneously. Our approach achieves considerable improvements over several syntax aware NMT models in English Rightarrow German and English Rightarrow Czech translation tasks. And RGSE equipped big model obtains competitive result compared with the state of the art model in WMT14 En De task. Extensive analysis further verifies that RGSE could benefit long sentence modeling, and produces better translations.