The FaceChannel A Light weight Deep Neural Network for Facial Expression Recognition. Current state of the art models for automatic FER are based on very deep neural networks that are difficult to train. This makes it challenging to adapt these models to changing conditions, a requirement from FER models given the subjective nature of affect perception and understanding. In this paper, we address this problem by formalizing the FaceChannel, a light weight neural network that has much fewer parameters than common deep neural networks. We perform a series of experiments on different benchmark datasets to demonstrate how the FaceChannel achieves a comparable, if not better, performance, as compared to the current state of the art in FER.


Quality of Service (QoS) Modelling in Federated Cloud Computing. Building around the idea of a large scale server infrastructure with a potentially large number of tailored resources, which are capable of interacting to facilitate the deployment, adaptation, and support of services, cloud computing needs to frequently reschedule and manage various application tasks in order to accommodate the requests of a wide range and number of users. One of the challenges of cloud computing is to support and manage Quality of Service (QoS) by designing efficient techniques for the allocation of tasks between users and the cloud virtual resources, as well as assigning virtual resources to the cloud physical resources. The migration of virtual resources across physical resources is another challenge that requires considerable attention especially in federated cloud computing environments wherein, providers might be willing to offer their unused resources as a service to the federation (cooperative allocation) and pull back these resources for their own use when they are needed (competitive allocation). This paper revisits the issue of QoS in cloud computing by formulating and presenting i) a multi QoS task allocation model for the assignment of tasks to virtual machines and ii) a virtual machine migration model for a federated cloud computing environment by considering cases where resource providers are operating in cooperative or competitive mode. A new differential evolution (DE) based binding policy for task allocation and a novel virtual machine model are proposed as solutions for the problem of QoS support in federated cloud environments. The experimental results show that the proposed solutions improved the quality of service in the cloud computing environment and reveal the relative advantages of operating a mixed cooperation and competition model in a federated cloud environment.


A frame semantics based approach to comparative study of digitized corpus. in this paper, we present a corpus linguistics based approach applied to analyzing digitized classical multilingual novels and narrative texts, from a semantic point of view. Digitized novels such as "the hobbit (Tolkien J. R. R., 1937)" and "the hound of the Baskervilles (Doyle A. C. 1901 1902)", which were widely translated to dozens of languages, provide rich materials for analyzing languages differences from several perspectives and within a number of disciplines like linguistics, philosophy and cognitive science. Taking motion events conceptualization as a case study, this paper, focus on the morphologic, syntactic, and semantic annotation process of English Arabic aligned corpus created from a digitized novels, in order to re examine the linguistic encodings of motion events in English and Arabic in terms of Frame Semantics. The present study argues that differences in motion events conceptualization across languages can be described with frame structure and frame to frame relations.


The Performance of Machine and Deep Learning Classifiers in Detecting Zero Day Vulnerabilities. The detection of zero day attacks and vulnerabilities is a challenging problem. It is of utmost importance for network administrators to identify them with high accuracy. The higher the accuracy is, the more robust the defense mechanism will be. In an ideal scenario (i.e., 100 accuracy) the system can detect zero day malware without being concerned about mistakenly tagging benign files as malware or enabling disruptive malicious code running as none malicious ones. This paper investigates different machine learning algorithms to find out how well they can detect zero day malware. Through the examination of 34 machine deep learning classifiers, we found that the random forest classifier offered the best accuracy. The paper poses several research questions regarding the performance of machine and deep learning algorithms when detecting zero day malware with zero rates for false positive and false negative.


Closed Loop Neural Interfaces with Embedded Machine Learning. Neural interfaces capable of multi site electrical recording, on site signal classification, and closed loop therapy are critical for the diagnosis and treatment of neurological disorders. However, deploying machine learning algorithms on low power neural devices is challenging, given the tight constraints on computational and memory resources for such devices. In this paper, we review the recent developments in embedding machine learning in neural interfaces, with a focus on design trade offs and hardware efficiency. We also present our optimized tree based model for low power and memory efficient classification of neural signal in brain implants. Using energy aware learning and model compression, we show that the proposed oblique trees can outperform conventional machine learning models in applications such as seizure or tremor detection and motor decoding.


Extreme Value Preserving Networks. Recent evidence shows that convolutional neural networks (CNNs) are biased towards textures so that CNNs are non robust to adversarial perturbations over textures, while traditional robust visual features like SIFT (scale invariant feature transforms) are designed to be robust across a substantial range of affine distortion, addition of noise, etc with the mimic of human perception nature. This paper aims to leverage good properties of SIFT to renovate CNN architectures towards better accuracy and robustness. We borrow the scale space extreme value idea from SIFT, and propose extreme value preserving networks (EVPNets). Experiments demonstrate that EVPNets can achieve similar or better accuracy than conventional CNNs, while achieving much better robustness on a set of adversarial attacks (FGSM,PGD,etc) even without adversarial training.


The Taint Rabbit Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. Generic taint analysis is a pivotal technique in software security. However, it suffers from staggeringly high overhead. In this paper, we explore the hypothesis whether just in time (JIT) generation of fast paths for tracking taint can enhance the performance. To this end, we present the Taint Rabbit, which supports highly customizable user defined taint policies and combines a JIT with fast context switching. Our experimental results suggest that this combination outperforms notable existing implementations of generic taint analysis and bridges the performance gap to specialized trackers. For instance, Dytan incurs an average overhead of 237x, while the Taint Rabbit achieves 1.7x on the same set of benchmarks. This compares favorably to the 1.5x overhead delivered by the bitwise, non generic, taint engine LibDFT.


Gliding vertex on the horizontal bounding box for multi oriented object detection. Object detection has recently experienced substantial progress. Yet, the widely adopted horizontal bounding box representation is not appropriate for ubiquitous oriented objects such as objects in aerial images and scene texts. In this paper, we propose a simple yet effective framework to detect multi oriented objects. Instead of directly regressing the four vertices, we glide the vertex of the horizontal bounding box on each corresponding side to accurately describe a multi oriented object. Specifically, We regress four length ratios characterizing the relative gliding offset on each corresponding side. This may facilitate the offset learning and avoid the confusion issue of sequential label points for oriented objects. To further remedy the confusion issue for nearly horizontal objects, we also introduce an obliquity factor based on area ratio between the object and its horizontal bounding box, guiding the selection of horizontal or oriented detection for each object. We add these five extra target variables to the regression head of faster R CNN, which requires ignorable extra computation time. Extensive experimental results demonstrate that without bells and whistles, the proposed method achieves superior performances on multiple multi oriented object detection benchmarks including object detection in aerial images, scene text detection, pedestrian detection in fisheye images.


On Dualization over Distributive Lattices. Given a partially order set (poset) P , and a pair of families of ideals cI and filters cF in P such that each pair (I,F) in cI times cF has a non empty intersection, the dualization problem over P is to check whether there is an ideal X in P which intersects every member of cF and does not contain any member of cI . Equivalently, the problem is to check for a distributive lattice L L(P) , given by the poset P of its set of joint irreducibles, and two given antichains cA, cB subseteq L such that no a in cA is dominated by any b in cB , whether cA and cB cover (by domination) the entire lattice. We show that the problem can be solved in quasi polynomial time in the sizes of P , cA and cB , thus answering an open question in cite BK17 . As an application, we show that minimal infrequent closed sets of attributes in a rational database, with respect to a given implication base of maximum premise size of one, can be enumerated in incremental quasi polynomial time.


SoK Chasing Accuracy and Privacy, and Catching Both in Differentially Private Histogram Publication. Histograms and synthetic data are of key importance in data analysis. However, researchers have shown that even aggregated data such as histograms, containing no obvious sensitive attributes, can result in privacy leakage. To enable data analysis, a strong notion of privacy is required to avoid risking unintended privacy violations. Such a strong notion of privacy is differential privacy, a statistical notion of privacy that makes privacy leakage quantifiable. The caveat regarding differential privacy is that while it has strong guarantees for privacy, privacy comes at a cost of accuracy. Despite this trade off being a central and important issue in the adoption of differential privacy, there exists a gap in the literature regarding providing an understanding of the trade off and how to address it appropriately. Through a systematic literature review (SLR), we investigate the state of the art within accuracy improving differentially private algorithms for histogram and synthetic data publishing. Our contribution is two fold 1) we identify trends and connections in the contributions to the field of differential privacy for histograms and synthetic data and 2) we provide an understanding of the privacy accuracy trade off challenge by crystallizing different dimensions to accuracy improvement. Accordingly, we position and visualize the ideas in relation to each other and external work, and deconstruct each algorithm to examine the building blocks separately with the aim of pinpointing which dimension of accuracy improvement each technique approach is targeting. Hence, this systematization of knowledge (SoK) provides an understanding of in which dimensions and how accuracy improvement can be pursued without sacrificing privacy.


The colour of forcing statistics in resolvent analyses of turbulent channel flows. The cross spectral density (CSD) of the non linear forcing in resolvent analyses is here quantified for the first time for turbulent channel flows. Direct numerical simulations (DNS) at Re tau 179 and Re tau 543 are performed. The CSDs are computed for highly energetic structures typical of buffer layer and large scale motions, for different temporal frequencies. The CSD of the non linear forcing is shown not to be uncorrelated (white) in space, which implies the forcing is structured. Since the non linear forcing is non solenoidal by construction and the velocity of an incompressible flow is affected only by the solenoidal part of the forcing, this solenoidal part is evaluated. It is shown that the solenoidal part of the non linear forcing is the combination of oblique streamwise vortices and a streamwise component which counteract each other, as in a destructive interference. It is shown that a rank 2 approximation of the forcing, with only the most energetic SPOD (spectral proper orthogonal decomposition) modes, leads to the bulk of the response. The projections of the non linear forcing onto the right singular vectors of the resolvent are evaluated. The left singular vectors of the resolvent associated with very low magnitude singular values are non negligible since the non linear forcing term has a non negligible projection onto the linear sub optimals of resolvent analysis. The same projections are computed when the forcing is modelled with an eddy viscosity approach. It is clarified that this modelling improves the accuracy of the prediction since the projections are closer to those associated with the non linear forcing from DNS data.


Learning to Detect 3D Reflection Symmetry for Single View Reconstruction. 3D reconstruction from a single RGB image is a challenging problem in computer vision. Previous methods are usually solely data driven, which lead to inaccurate 3D shape recovery and limited generalization capability. In this work, we focus on object level 3D reconstruction and present a geometry based end to end deep learning framework that first detects the mirror plane of reflection symmetry that commonly exists in man made objects and then predicts depth maps by finding the intra image pixel wise correspondence of the symmetry. Our method fully utilizes the geometric cues from symmetry during the test time by building plane sweep cost volumes, a powerful tool that has been used in multi view stereopsis. To our knowledge, this is the first work that uses the concept of cost volumes in the setting of single image 3D reconstruction. We conduct extensive experiments on the ShapeNet dataset and find that our reconstruction method significantly outperforms the previous state of the art single view 3D reconstruction networks in term of the accuracy of camera poses and depth maps, without requiring objects being completely symmetric. Code is available at https github.com zhou13 symmetrynet.


Homogenization of the Allen Cahn equation with periodic mobility. We analyze the sharp interface limit for the Allen Cahn equation with an anisotropic, spatially periodic mobility coefficient and prove that the large scale behavior of interfaces is determined by mean curvature flow with an effective mobility. Formally, the result follows from the asymptotics developed by Barles and Souganidis for bistable reaction diffusion equations with periodic coefficients. However, we show that the corresponding cell problem is actually ill posed when the normal direction is rational. To circumvent this issue, a number of new ideas are needed, both in the construction of mesoscopic sub and supersolutions controlling the large scale behavior of interfaces and in the proof that the interfaces obtained in the limit are actually described by the effective equation.


Exploring Auxiliary Context Discrete Semantic Transfer Hashing for Scalable Image Retrieval. Unsupervised hashing can desirably support scalable content based image retrieval (SCBIR) for its appealing advantages of semantic label independence, memory and search efficiency. However, the learned hash codes are embedded with limited discriminative semantics due to the intrinsic limitation of image representation. To address the problem, in this paper, we propose a novel hashing approach, dubbed as emph Discrete Semantic Transfer Hashing (DSTH). The key idea is to emph directly augment the semantics of discrete image hash codes by exploring auxiliary contextual modalities. To this end, a unified hashing framework is formulated to simultaneously preserve visual similarities of images and perform semantic transfer from contextual modalities. Further, to guarantee direct semantic transfer and avoid information loss, we explicitly impose the discrete constraint, bit uncorrelation constraint and bit balance constraint on hash codes. A novel and effective discrete optimization method based on augmented Lagrangian multiplier is developed to iteratively solve the optimization problem. The whole learning process has linear computation complexity and desirable scalability. Experiments on three benchmark datasets demonstrate the superiority of DSTH compared with several state of the art approaches.


Spectrum Flexible Secure Broadcast Ranging. Secure ranging is poised to play a critical role in several emerging applications such as self driving cars, unmanned aerial systems, wireless IoT devices, and augmented reality. In this paper, we propose a design of a secure broadcast ranging systems with unique features and techniques. Its spectral flexibility, and low power short ranging bursts enable co existence with existing systems such as in the 2.4GHz ISM band. We exploit a set of RF techniques such as upsampling and successive interference cancellation to achieve high accuracy and scalability to tens of reflectors even when operating over narrow bands of spectrum. We demonstrate that it can be implemented on popular SDR platforms FPGA and or hosts (with minimal FPGA modifications). The protocol design, and cryptographically generated detected signals, and randomized timing of transmissions, provide stealth and security against denial of service, sniffing, and distance manipulation attacks. Through extensive experimental evaluations (and simulations for scalability to over 100 reflectors) we demonstrate an accuracy below 20cm on a wide range of SNR (as low as 0dB), spectrum 25MHz 100MHz, with bursts as short as 5us.


Towards multiobjective optimization and control of smart grids. The rapid uptake of renewable energy sources in the electricity grid leads to a demand in load shaping and flexibility. Energy storage devices such as batteries are a key element to provide solutions to these tasks. However, typically a trade off between the performance related goal of load shaping and the objective of having flexibility in store for auxiliary services, which is for example linked to robustness and resilience of the grid, can be observed. We propose to make use of the concept of Pareto optimality in order to resolve this issue in a multiobjective framework. In particular, we analyse the Pareto frontier and quantify the trade off between the non aligned objectives to properly balance them.


Notes on motivic infinite loop space theory. In fall of 2019, the Thursday Seminar at Harvard University studied motivic infinite loop space theory. As part of this, the authors gave a series of talks outlining the main theorems of the theory, together with their proofs, in the case of infinite perfect fields. These are our extended notes on these talks.


A Functional Decomposition of Finite Bandwidth Reproducing Kernel Hilbert Spaces. In this work, we consider "finite bandwidth" reproducing kernel Hilbert spaces which have orthonormal bases of the form f n(z) z n prod j 1 J left( 1 a n w j z right) , where w 1 ,w 2, ldots w J are distinct points on the circle mathbb T and a n is a sequence of complex numbers with limit 1 . We provide general conditions based on a matrix recursion that guarantee such spaces contain a functional multiple of the Hardy space. Then we apply this general method to obtain strong results for finite bandwidth spaces when lim n rightarrow infty n (1 a n) p . In particular, we show that point evaluation can be extended boundedly to precisely J additional points on mathbb T and we obtain an explicit functional decomposition of these spaces for p 1 2 in analogy with a previous result in the tridiagonal case due to Adams and McGuire. We also prove that multiplication by z is a bounded operator on these spaces and that they contain the polynomials.


Existence of Solutions to a Diffusive Shallow Medium Equation. In this article we establish the existence of weak solutions to the shallow medium equation. We proceed by an approximation argument. First we truncate the coefficients of the equation from above and below. Then we prove convergence of the solutions of the truncated problem to a solution to the original equation.


On cardinal characteristics associated with the strong measure zero ideal. Let mathcal SN be the strong measure zero sigma ideal. We prove a result providing bounds for mathrm cof ( mathcal SN ) which implies Yorioka's characterization of the cofinality of the strong measure zero. In addition, we use forcing matrix iterations to construct a model of ZFC that satisfies mathrm add ( mathcal SN ) mathrm cov ( mathcal SN ) mathrm non ( mathcal SN ) mathrm cof ( mathcal SN ) .


Pragmatically Informative Text Generation. We improve the informativeness of models for conditional text generation using techniques from computational pragmatics. These techniques formulate language production as a game between speakers and listeners, in which a speaker should generate output text that a listener can use to correctly identify the original input that the text describes. While such approaches are widely used in cognitive science and grounded language learning, they have received less attention for more standard language generation tasks. We consider two pragmatic modeling methods for text generation one where pragmatics is imposed by information preservation, and another where pragmatics is imposed by explicit modeling of distractors. We find that these methods improve the performance of strong existing systems for abstractive summarization and generation from structured meaning representations.


Freely adjoining monoidal duals. Given a monoidal category mathscr C with an object J , we construct a monoidal category mathscr C J vee by freely adjoining a right dual J vee to J . We show that the canonical strong monoidal functor Omega mathscr C to mathscr C J vee provides the unit for a biadjunction with the forgetful 2 functor from the 2 category of monoidal categories with a distinguished dual pair to the 2 category of monoidal categories with a distinguished object. We show that Omega mathscr C to mathscr C J vee is fully faithful and provide coend formulas for homs of the form mathscr C J vee (U, Omega A) and mathscr C J vee ( Omega A,U) for A in mathscr C and U in mathscr C J vee . If mathbb N denotes the free strict monoidal category on a single generating object 1 then mathbb N 1 vee is the free monoidal category mathrm Dpr containing a dual pair dashv of objects. As we have the monoidal pseudopushout mathscr C J vee simeq mathrm Dpr mathbb N mathscr C , it is of interest to have an explicit model of mathrm Dpr we provide both geometric and combinatorial models. We show that the (algebraist's) simplicial category Delta is a monoidal full subcategory of mathrm Dpr and explain the relationship with the free 2 category mathrm Adj containing an adjunction. We describe a generalization of mathrm Dpr which includes, for example, a combinatorial model mathrm Dseq for the free monoidal category containing a duality sequence X 0 dashv X 1 dashv X 2 dashv dots of objects. Actually, mathrm Dpr is a monoidal full subcategory of mathrm Dseq .


Cyclotomic Identity Testing and Applications. We consider the cyclotomic identity testing (CIT) problem given a polynomial f(x 1, ldots,x k) , decide whether f( zeta n e 1 , ldots, zeta n e k ) is zero, where zeta n e 2 pi i n is a primitive complex n th root of unity and e 1, ldots,e k are integers, represented in binary. When f is given by an algebraic circuit, we give a randomized polynomial time algorithm for CIT assuming the generalised Riemann hypothesis (GRH), and show that the problem is in coNP unconditionally. When f is given by a circuit of polynomially bounded degree, we give a randomized NC algorithm. In case f is a linear form we show that the problem lies in NC. Towards understanding when CIT can be solved in deterministic polynomial time, we consider so called diagonal depth 3 circuits, i.e., polynomials f sum i 1 m g i d i , where g i is a linear form and d i a positive integer given in unary. We observe that a polynomial time algorithm for CIT on this class would yield a sub exponential time algorithm for polynomial identity testing. However, assuming GRH, we show that if the linear forms g i are all identical then CIT can be solved in polynomial time. Finally, we use our results to give a new proof that equality of compressed strings, i.e., strings presented using context free grammars, can be decided in randomized NC.


Protection numbers in simply generated trees and P 'olya trees. We determine the limit of the expected value and the variance of the protection number of the root in simply generated trees, in P 'olya trees, and in unlabelled non plane binary trees, when the number of vertices tends to infinity. Moreover, we compute expectation and variance of the protection number of a randomly chosen vertex in all those tree classes. We obtain exact formulas as sum representations, where the obtained sums are rapidly converging and therefore allowing an efficient numerical computation of high accuracy. Most proofs are based on a singularity analysis of generating functions.


Can You Explain That? Lucid Explanations Help Human AI Collaborative Image Retrieval. While there have been many proposals on making AI algorithms explainable, few have attempted to evaluate the impact of AI generated explanations on human performance in conducting human AI collaborative tasks. To bridge the gap, we propose a Twenty Questions style collaborative image retrieval game, Explanation assisted Guess Which (ExAG), as a method of evaluating the efficacy of explanations (visual evidence or textual justification) in the context of Visual Question Answering (VQA). In our proposed ExAG, a human user needs to guess a secret image picked by the VQA agent by asking natural language questions to it. We show that overall, when AI explains its answers, users succeed more often in guessing the secret image correctly. Notably, a few correct explanations can readily improve human performance when VQA answers are mostly incorrect as compared to no explanation games. Furthermore, we also show that while explanations rated as "helpful" significantly improve human performance, "incorrect" and "unhelpful" explanations can degrade performance as compared to no explanation games. Our experiments, therefore, demonstrate that ExAG is an effective means to evaluate the efficacy of AI generated explanations on a human AI collaborative task.


A second order face centred finite volume method on general meshes with automatic mesh adaptation. A second order face centred finite volume strategy on general meshes is proposed. The method uses a mixed formulation in which a constant approximation of the unknown is computed on the faces of the mesh. Such information is then used to solve a set of problems, independent cell by cell, to retrieve the local values of the solution and its gradient. The main novelty of this approach is the introduction of a new basis function, utilised for the linear approximation of the primal variable in each cell. Contrary to the commonly used nodal basis, the proposed basis is suitable for computations on general meshes, including meshes with different cell types. The resulting approach provides second order accuracy for the solution and first order for its gradient, without the need of reconstruction procedures, is robust in the incompressible limit and insensitive to cell distortion and stretching. The second order accuracy of the solution is exploited to devise an automatic mesh adaptivity strategy. An efficient error indicator is obtained from the computation of one extra local problem, independent cell by cell, and is used to drive mesh adaptivity. Numerical examples illustrating the approximation properties of the method and of the mesh adaptivity procedure are presented. The potential of the proposed method with automatic mesh adaptation is demonstrated in the context of microfluidics.


Ergodic theory of affine isometric actions on Hilbert spaces. The classical Gaussian functor associates to every orthogonal representation of a locally compact group G a probability measure preserving action of G called a Gaussian action. In this paper, we generalize this construction by associating to every affine isometric action of G on a Hilbert space, a one parameter family of nonsingular Gaussian actions whose ergodic properties are related in a very subtle way to the geometry of the original action. We show that these nonsingular Gaussian actions exhibit a phase transition phenomenon and we relate it to new quantitative invariants for affine isometric actions. We use the Patterson Sullivan theory as well as Lyons Pemantle work on tree indexed random walks in order to give a precise description of this phase transition for affine isometric actions of groups acting on trees. We also show that every locally compact group without property (T) admits a nonsingular Gaussian that is free, weakly mixing and of stable type mathrm III 1 .


Physics Guided Recurrent Graph Networks for Predicting Flow and Temperature in River Networks. This paper proposes a physics guided machine learning approach that combines advanced machine learning models and physics based models to improve the prediction of water flow and temperature in river networks. We first build a recurrent graph network model to capture the interactions among multiple segments in the river network. Then we present a pre training technique which transfers knowledge from physics based models to initialize the machine learning model and learn the physics of streamflow and thermodynamics. We also propose a new loss function that balances the performance over different river segments. We demonstrate the effectiveness of the proposed method in predicting temperature and streamflow in a subset of the Delaware River Basin. In particular, we show that the proposed method brings a 33 14 improvement over the state of the art physics based model and 24 14 over traditional machine learning models (e.g., Long Short Term Memory Neural Network) in temperature streamflow prediction using very sparse (0.1 ) observation data for training. The proposed method has also been shown to produce better performance when generalized to different seasons or river segments with different streamflow ranges.


Security Smells in Android. The ubiquity of smartphones, and their very broad capabilities and usage, make the security of these devices tremendously important. Unfortunately, despite all progress in security and privacy mechanisms, vulnerabilities continue to proliferate. Research has shown that many vulnerabilities are due to insecure programming practices. However, each study has often dealt with a specific issue, making the results less actionable for practitioners. To promote secure programming practices, we have reviewed related research, and identified avoidable vulnerabilities in Android run devices and the "security code smells" that indicate their presence. In particular, we explain the vulnerabilities, their corresponding smells, and we discuss how they could be eliminated or mitigated during development. Moreover, we develop a lightweight static analysis tool and discuss the extent to which it successfully detects several vulnerabilities in about 46,000 apps hosted by the official Android market.


Using Reinforcement Learning to Herd a Robotic Swarm to a Target Distribution. In this paper, we present a reinforcement learning approach to designing a control policy for a "leader" agent that herds a swarm of "follower" agents, via repulsive interactions, as quickly as possible to a target probability distribution over a strongly connected graph. The leader control policy is a function of the swarm distribution, which evolves over time according to a mean field model in the form of an ordinary difference equation. The dependence of the policy on agent populations at each graph vertex, rather than on individual agent activity, simplifies the observations required by the leader and enables the control strategy to scale with the number of agents. Two Temporal Difference learning algorithms, SARSA and Q Learning, are used to generate the leader control policy based on the follower agent distribution and the leader's location on the graph. A simulation environment corresponding to a grid graph with 4 vertices was used to train and validate the control policies for follower agent populations ranging from 10 to 100. Finally, the control policies trained on 100 simulated agents were used to successfully redistribute a physical swarm of 10 small robots to a target distribution among 4 spatial regions.


Dirichlet type extensions of Euler sums. In this paper, we study the alternating Euler T sums and S sums, which are infinite series involving (alternating) odd harmonic numbers, and have similar forms and close relations to the Dirichlet beta functions. By using the method of residue computations, we establish the explicit formulas for the (alternating) linear and quadratic Euler T sums and S sums, from which, the parity theorems of Hoffman's double and triple t values and Kaneko Tsumura's double and triple T values are further obtained. As supplements, we also show that the linear T sums and S sums are expressible in terms of colored multiple zeta values. Some interesting consequences and illustrative examples are presented.


Gamma factors of level zero supercuspidal representations. We give an explicit formula for the twisted gamma factor for a pair of irreducible supercuspidal representations of level zero. We also obtain an explicit formula for the unramified base change of level zero supercuspidal representations.


Regions of existence for a class of nonlinear diffusion type problems. The regions of existence are established for a class of two point nonlinear diffusion type boundary value problems (NDBVP) begin eqnarray label abst intr 1 s''(x) ns'(x) frac m x s'(x) f(x,s), qquad m 0, n in mathbb R , qquad x in(0,1), label abst intr 2 s'(0) 0, qquad a 1 s(1) a 2 s'(1) C, end eqnarray where a 1 0, a 2 geq0, C in mathbb R . These problems arise very frequently in many branches of engineering, applied mathematics, astronomy, biological system and modern science (see cite Gatica1989, GRAY1980, Baxley1991, Chandershekhar1939, Duggan1986, Chambre1952 ). By using the concept of upper and lower solutions with monotone constructive technique, we derive some sufficient conditions for existence in the regions where frac partial f partial s geq0 and frac partial f partial s leq0 . Theoretical methods are applied for a set of problems which arise in real life.


Bounds on the Secrecy Outage Probability for Dependent Fading Channels. The amount of sensitive data, which is transmitted wirelessly will increase with future technologies. This raises many questions about secure data transmission. Besides cryptography, information theoretic security gained increasing attention over the recent years. Among others, it deals with the problem of secure data transmission on the physical layer to a legitimate receiver (Bob) in the presence of an eavesdropper (Eve). In this work, we investigate upper and lower bounds on the secrecy outage probability for slowly fading wiretap channels with an arbitrary dependency structure between the fading channels to Bob and Eve. Both cases of absence of channel state information at the transmitter (CSI T) and availability of CSI T of only the main channel to the legitimate receiver are considered. Furthermore, we derive explicit expressions for the upper and lower bounds for Rayleigh fading and compare them to the case of independent channels. The joint distribution of the legitimate and eavesdropper channels has a tremendous impact on the achievable secrecy outage probability. The bounds enable developing guaranteed secrecy schemes by only measuring the marginal channel distributions.


Partial observations and conservation laws Grey box modeling in biotechnology and optogenetics. Developing accurate dynamical system models from physical insight or data can be impeded when only partial observations of the system state are available. Here, we combine conservation laws used in physics and engineering with artificial neural networks to construct "grey box" system models that make accurate predictions even with limited information. These models use a time delay embedding (c.f., Takens embedding theorem) to reconstruct effect of the intrinsic states, and can be used for multiscale systems where macroscopic balance equations depend on unmeasured micro meso scale phenomena. By incorporating physics knowledge into the neural network architecture, we regularize variables and may train the model more accurately on smaller data sets than black box neural network models. We present numerical examples from biotechnology, including a continuous bioreactor actuated using light through optogenetics (an emerging technology in synthetic biology) where the effect of unmeasured intracellular information is recovered from the histories of the measured macroscopic variables.


Evolving Nano Particle Cancer Treatments with Multiple Particle Types. Evolutionary algorithms have long been used for optimization problems where the appropriate size of solutions is unclear a priori. The applicability of this methodology is here investigated on the problem of designing a nano particle (NP) based drug delivery system targeting cancer tumours. Utilizing a treatment comprising of multiple types of NPs is expected to be more effective due to the higher complexity of the treatment. This paper begins by utilizing the well known NK model to explore the effects of fitness landscape ruggedness upon the evolution of genome length and, hence, solution complexity. The size of a novel sequence and the absence or presence of sequence deletion are also considered. Results show that whilst landscape ruggedness can alter the dynamics of the process, it does not hinder the evolution of genome length. These findings are then explored within the aforementioned real world problem. In the first known instance, treatments with multiple types of NPs are used simultaneously, via an agent based open source physics based cell simulator. The results suggest that utilizing multiple types of NPs is more efficient when the solution space is explored with the evolutionary techniques under a predefined computational budget.


Pricing Reliability Options under different electricity prices' regimes. Reliability Options are capacity remuneration mechanisms aimed at enhancing security of supply in electricity systems. They can be framed as call options on electricity sold by power producers to System Operators. This paper provides a comprehensive mathematical treatment of Reliability Options. Their value is first derived by means of closed form pricing formulae, which are obtained under several assumptions about the dynamics of electricity prices and strike prices. Then, the value of the Reliability Option is simulated under a real market calibration, using data of the Italian power market. We finally perform sensitivity analyses to highlight the impact of the level and volatility of both power and strike price, of the mean reversion speeds and of the correlation coefficient on the Reliability Options' value.


On invariants of surfaces in the 3 sphere. In this paper we study isotopy classes of closed connected orientable surfaces in the standard 3 sphere. Such a surface splits the 3 sphere into two compact connected submanifolds, and by using their Heegaard splittings, we obtain a 2 component handlebody link. In this paper, we first show that the equivalence class of such a 2 component handlebody link up to attaching trivial 1 handles can recover the original surface. Therefore, we can reduce the study of surfaces in the 3 sphere to that of 2 component handlebody links up to stabilizations. Then, by using G families of quandles, we construct invariants of 2 component handlebody links up to attaching trivial 1 handles, which lead to invariants of surfaces in the 3 sphere. In order to see the effectiveness of our invariants, we will also show that our invariants can distinguish certain explicit surfaces in the 3 sphere.


A Cooperative Coordination Solver for Travelling Thief Problems. The travelling thief problem (TTP) is a representative of multi component optimisation problems with interacting components. TTP combines the knapsack problem (KP) and the travelling salesman problem (TSP). A thief performs a cyclic tour through a set of cities, and pursuant to a collection plan, collects a subset of items into a rented knapsack with finite capacity. The aim is to maximise profit while minimising renting cost. Existing TTP solvers typically solve the KP and TSP components in an interleaved manner the solution of one component is kept fixed while the solution of the other component is modified. This suggests low coordination between solving the two components, possibly leading to low quality TTP solutions. The 2 OPT heuristic is often used for solving the TSP component, which reverses a segment in the tour. Within TTP, 2 OPT does not take into account the collection plan, which can result in a lower objective value. This in turn can result in the tour modification to be rejected by a solver. We propose an expanded form of 2 OPT to change the collection plan in coordination with tour modification. Items regarded as less profitable and collected in cities located earlier in the reversed segment are substituted by items that tend to be more profitable and not collected in cities located later in the reversed segment. The collection plan is further changed through a modified form of the hill climbing bit flip search, where changes in the collection state are only permitted for boundary items, which are defined as lowest profitable collected items or highest profitable uncollected items. This restriction reduces the time spent on the KP component, allowing more tours to be evaluated by the TSP component within a time budget. The proposed approaches form the basis of a new cooperative coordination solver, which is shown to outperform several state of the art TTP solvers.


Deep Atrous Guided Filter for Image Restoration in Under Display Cameras. Under Display Cameras present a promising opportunity for phone manufacturers to achieve bezel free displays by positioning the camera behind semi transparent OLED screens. Unfortunately, such imaging systems suffer from severe image degradation due to light attenuation and diffraction effects. In this work, we present Deep Atrous Guided Filter (DAGF), a two stage, end to end approach for image restoration in UDC systems. A Low Resolution Network first restores image quality at low resolution, which is subsequently used by the Guided Filter Network as a filtering input to produce a high resolution output. Besides the initial downsampling, our low resolution network uses multiple, parallel atrous convolutions to preserve spatial resolution and emulates multi scale processing. Our approach's ability to directly train on megapixel images results in significant performance improvement. We additionally propose a simple simulation scheme to pre train our model and boost performance. Our overall framework ranks 2nd and 5th in the RLQ TOD'20 UDC Challenge for POLED and TOLED displays, respectively.


The genomic consequences of hybridization. In the past decade, advances in genome sequencing have allowed researchers to uncover the history of hybridization in diverse groups of species, including our own. Although the field has made impressive progress in documenting the extent of natural hybridization, both historical and recent, there are still many unanswered questions about its genetic and evolutionary consequences. Recent work has suggested that the outcomes of hybridization in the genome may be in part predictable, but many open questions about the nature of selection on hybrids and the biological variables that shape such selection have hampered progress in this area. We discuss what is known about the mechanisms that drive changes in ancestry in the genome after hybridization, highlight major unresolved questions, and discuss their implications for the predictability of genome evolution after hybridization.


Limited memory predictors based on polynomial approximation of periodic exponents. The paper presents transfer functions for limited memory time invariant linear integral predictors for continuous time processes such that the corresponding predicting kernels have bounded support. It is shown that processes with exponentially decaying Fourier transforms are predictable with these predictors in some weak sense, meaning that convolution integrals over the future times can be approximated by causal convolutions over past times. For a given predicting horizon, the predictors are based on polynomial approximation of a periodic exponent (complex sinusoid) in a weighted L 2 space.


Computing Volumes of Adjacency Polytopes via Draconian Sequences. Adjacency polytopes appear naturally in the study of nonlinear emergent phenomena in complex networks. The "PQ type" adjacency polytope, denoted nabla mathrm PQ G and which is the focus of this work, encodes rich combinatorial information about power flow solutions in sparse power networks that are studied in electric engineering. Of particular importance is the normalized volume of such an adjacency polytope, which provides an upper bound on the number of distinct power flow solutions. In this article we show that the problem of computing normalized volumes for nabla mathrm PQ G can be rephrased as counting D(G) draconian sequences where D(G) is a certain bipartite graph associated to the network. We prove recurrences for all networks with connectivity at most 1 and, for 2 connected graphs under certain restrictions, we give recurrences for subdividing an edge and taking the join of an edge with a new vertex. Together, these recurrences imply a simple, non recursive formula for the normalized volume of nabla mathrm PQ G when G is part of a large class of outerplanar graphs we conjecture that the formula holds for all outerplanar graphs. Explicit formulas for several other (non outerplanar) classes are given. Further, we identify several important classes of graphs G which are planar but not outerplanar that are worth additional study.


L1 ROC and R2 ROC L1 and R2 based Reduced Over Collocation methods for parametrized nonlinear partial differential equations. The onerous task of repeatedly resolving certain parametrized partial differential equations (pPDEs) in, e.g. the optimization context, makes it imperative to design vastly more efficient numerical solvers without sacrificing any accuracy. The reduced basis method (RBM) presents itself as such an option. With a mathematically rigorous error estimator, RBM seeks a surrogate solution in a carefully built subspace of the parameter induced high fidelity solution manifold. It can improve efficiency by several orders of magnitudes leveraging an offline online decomposition procedure. However, this decomposition, usually through the empirical interpolation method (EIM) when the PDE is nonlinear or its parameter dependence nonaffine, is either challenging to implement, or severely degrading to the online efficiency. In this paper, we augment and extend the EIM approach in the context of solving pPDEs in two different ways, resulting in the Reduced Over Collocation methods (ROC). These are stable and capable of avoiding the efficiency degradation inherent to a direct application of EIM. There are two ingredients of these methods. First is a strategy to collocate at about twice as many locations as the number of bases for the surrogate space. The second is an efficient approach for the strategic selection of the parameter values to build the reduced solution space for which we study two choices, a recent empirical L1 approach and a new indicator based on the reduced residual. Together, these two ingredients render the schemes, L1 ROC and R2 ROC, online efficient and immune from the efficiency degradation of EIM for nonlinear and nonaffine problems offline and online. Numerical tests on three different families of nonlinear problems demonstrate the high efficiency and accuracy of these new algorithms and their superior stability performance.


Persistence and exit times for some additive functionals of skew Bessel processes. Let X be some homogeneous additive functional of a skew Bessel process Y. In this note, we compute the asymptotics of the first passage time of X to some fixed level b, and study the position of Y when X exits a bounded interval a, b . As a by product, we obtain the probability that X reaches the level b before the level a. Our results extend some previous works on additive functionals of Brownian motion by Isozaki and Kotani for the persistence problem, and by Lachal for the exit time problem.


Variable Length Memory Chains characterization of stationary probability measures. Variable Length Memory Chains (VLMC), which are generalizations of finite order Markov chains, turn out to be an essential tool to modelize random sequences in many domains, as well as an interesting object in contemporary probability theory. The question of the existence of stationary probability measures leads us to introduce a key combinatorial structure for words produced by a VLMC the Longest Internal Suffix. This notion allows us to state a necessary and sufficient condition for a general VLMC to admit a unique invariant probability measure. This condition turns out to get a much simpler form for a subclass of VLMC the stable VLMC. This natural subclass, unlike the general case, enjoys a renewal property. Namely, a stable VLMC induces a semi Markov chain on an at most countable state space. Unfortunately, this discrete time renewal process does not contain the whole information of the VLMC, preventing the study of a stable VLMC to be reduced to the study of its induced semi Markov chain. For a subclass of stable VLMC, the convergence in distribution of a VLMC towards its stationary probability measure is established. Finally, finite state space semi Markov chains turn out to be very special stable VLMC, shedding some new light on their limit distributions.


Estimate of number of simplices of triangulations of Lie groups. We present estimates of number of simplices of given dimension of classical compact Lie groups. As in the previous work cite GMP2 the approach is a combination of an estimate of number of vertices with a use of valuation of the covering type by cohomological argument of cite GMP and application of the recent versions of the Lower Bound Theorem of combinatorial topology. For the case of exceptional Lie groups we made a complete calculation using the description of their cohomology rings given by the first and third author. For infinite increasing series of Lie groups of growing dimension d the rate of growth of number of simplices of highest dimension is given which extends onto the case of simplices of (fixed) codimension d i .


HRDNet High resolution Detection Network for Small Objects. Small object detection is challenging because small objects do not contain detailed information and may even disappear in the deep network. Usually, feeding high resolution images into a network can alleviate this issue. However, simply enlarging the resolution will cause more problems, such as that, it aggravates the large variant of object scale and introduces unbearable computation cost. To keep the benefits of high resolution images without bringing up new problems, we proposed the High Resolution Detection Network (HRDNet). HRDNet takes multiple resolution inputs using multi depth backbones. To fully take advantage of multiple features, we proposed Multi Depth Image Pyramid Network (MD IPN) and Multi Scale Feature Pyramid Network (MS FPN) in HRDNet. MD IPN maintains multiple position information using multiple depth backbones. Specifically, high resolution input will be fed into a shallow network to reserve more positional information and reducing the computational cost while low resolution input will be fed into a deep network to extract more semantics. By extracting various features from high to low resolutions, the MD IPN is able to improve the performance of small object detection as well as maintaining the performance of middle and large objects. MS FPN is proposed to align and fuse multi scale feature groups generated by MD IPN to reduce the information imbalance between these multi scale multi level features. Extensive experiments and ablation studies are conducted on the standard benchmark dataset MS COCO2017, Pascal VOC2007 2012 and a typical small object dataset, VisDrone 2019. Notably, our proposed HRDNet achieves the state of the art on these datasets and it performs better on small objects.


Sampled Data Control of the Stefan System. This paper presents results for the sampled data boundary feedback control to the Stefan problem. The Stefan problem represents a liquid solid phase change phenomenon which describes the time evolution of a material's temperature profile and the interface position. First, we consider the sampled data control for the one phase Stefan problem by assuming that the solid phase temperature is maintained at the equilibrium melting temperature. We apply Zero Order Hold (ZOH) to the nominal continuous time control law developed in 23 which is designed to drive the liquid solid interface position to a desired setpoint. Provided that the control gain is bounded by the inverse of the upper diameter of the sampling schedule, we prove that the closed loop system under the sampled data control law satisfies some conditions required to validate the physical model, and the system's origin is globally exponentially stable in the spatial L 2 norm. Analogous results for the two phase Stefan problem which incorporates the dynamics of both liquid and solid phases with moving interface position are obtained by applying the proposed procedure to the nominal control law for the two phase problem developed in 30 . Numerical simulation illustrates the desired performance of the control law implemented to vary at each sampling time and keep constant during the period.


(Bounded) Traveling Combustion Fronts With Degenerate Kinetics. We consider the propagation of a flame front in a solid periodic medium. The model is governed by a free boundary system in which the front's velocity depends on the temperature via a kinetic rate which may degenerate. We show the existence of travelling wave solutions which are bounded and global. Previous results by the same authors (cf. Alibaud, Namah, On the propagation of a periodic flame front by an Arrhenius kinetic, it Interfaces Free Bound., 2017) were obtained for essentially positively lower bounded kinetics or eventually which have some very weak degeneracy. Here we consider general degenerate kinetics, including in particular those of Arrhenius type which are commonly used in physics.


On metric regularity of Reed Muller codes. In this work we study metric properties of the well known family of binary Reed Muller codes. Let A be an arbitrary subset of the Boolean cube, and widehat A be the metric complement of A the set of all vectors of the Boolean cube at the maximal possible distance from A . If the metric complement of widehat A coincides with A , then the set A is called a it metrically regular set . The problem of investigating metrically regular sets appeared when studying it bent functions , which have important applications in cryptography and coding theory and are also one of the earliest examples of a metrically regular set. In this work we describe metric complements and establish the metric regularity of the codes mathcal RM (0,m) and mathcal RM (k,m) for k geqslant m 3 . Additionally, the metric regularity of the codes mathcal RM (1,5) and mathcal RM (2,6) is proved. Combined with previous results by Tokareva N. (2012) concerning duality of affine and bent functions, this establishes the metric regularity of most Reed Muller codes with known covering radius. It is conjectured that all Reed Muller codes are metrically regular.


Zeta functions over finite fields An exposition of Dwork's methods. The paper reviews Dwork's p adic analytic methods used in the Weil Conjectures. The first two chapters review a version of his proof of the rationality conjecture. The rest of the paper is devoted to Dwork's original cohomological methods, along with some p adic functional analysis. The last chapter applies what is developed to an example of Dwork's family of hypersurfaces.


KeyGuard Using Selective Encryption to Mitigate Keylogging in Third Party IME. As mobile devices become ubiquitous, people around the world have enjoyed the convenience they have brought to our lives. At the same time, the increasing security threats that rise from using mobile devices not only have caught attention from cyber security agencies but also have become a valid concern for mobile users. Keylogging is one of the mobile security threats caused by using insecure third party IME (input method editor) applications. Keylogging, as the name suggests, keeps track of user rq s key events performed on the device and stores all the events in a log. The log could include highly sensitive data such as credit card number, social security number, and passwords. This paper presents a novel solution by intercepting the keystroke events triggered by a user and encrypting them before sending them to the third party IME, making the third party IME unable to log what the users actually entered on the screen. Input will be decrypted when showing on text view on the underlying app. This solution addresses the fundamental reason why an IME may leak sensitive information since an IME will no longer have access to the user rq s actual sensitive information, which will greatly reduce the chance of leaking sensitive information by using a third party IME while maintaining the functionalities of the third party IME at the same time.


Compactifications of cluster varieties and convexity. In GHKK18 , Gross Hacking Keel Kontsevich discuss compactifications of cluster varieties from "positive subsets" in the real tropicalization of the mirror. To be more precise, let mathfrak D be the scattering diagram of a cluster variety V (of either type mathcal A or mathcal X ), and let S be a closed subset of left(V vee right) text trop ( mathbb R ) the ambient space of mathfrak D . The set S is positive if the theta functions corresponding to the integral points of S and its mathbb N dilations define an mathbb N graded subalgebra of Gamma(V, mathcal O V) x . In particular, a positive set S defines a compactification of V through a Proj construction applied to the corresponding mathbb N graded algebra. In this paper we give a natural convexity notion for subsets of mathfrak D , called "broken line convexity", and show that a set is positive if and only if it is broken line convex. The combinatorial criterion of broken line convexity provides a tractable way to construct positive subsets of mathfrak D , or to check positivity of a given subset.


Nonsmooth Composite Matrix Optimization Strong Regularity, Constraint Nondegeneracy and Beyond. The nonsmooth composite matrix optimization problem (CMatOP), in particular, the matrix norm minimization problem, is a generalization of the matrix conic programming problem with wide applications in numerical linear algebra, computational statistics and engineering. This paper is devoted to the characterization of the strong regularity for the CMatOP via the generalized strong second order sufficient condition and constraint nondegeneracy for problems with nonsmooth objective functions. The derived result supplements the existing characterization of the strong regularity for the constrained optimization problems with twice continuously differentiable data.


Euclidean Artin Tits groups are acylindrically hyperbolic. In this paper we show the statement in the title. To any Garside group of finite type, Wiest and the author associated a hyperbolic graph called the emph additional length graph and they used it to show that central quotients of Artin Tits groups of spherical type are acylindrically hyperbolic. In general, a euclidean Artin Tits group is not emph a priori a Garside group but McCammond and Sulway have shown that it embeds into an emph infinite type Garside group which they call a emph crystallographic Garside group . We associate a emph hyperbolic additional length graph to this crystallographic Garside group and we exhibit elements of the euclidean Artin Tits group which act loxodromically and WPD on this hyperbolic graph.


Implementation of muon pair production in PHITS and verification by comparing with the muon shielding experiment at SLAC. We implemented a model of muon pair production through a real photon in PHITS and compared our calculations with data of the muon shielding experiment conducted at SLAC to verify the validity of the implemented model. Our predictions of the muon fluence induced by electrons are in good agreement with the experimental data. To understand the known differences between the calculations of the muon fluence, which have been determined using other Monte Carlo codes, we quantitatively evaluate the fluctuations in the Monte Carlo results due to systematic errors in multiple Coulomb scattering, differences in the approximation methods and energy loss models, and whether incoherent production is considered.


Investigation of HZE particle fluxes as a space radiation hazard for future Mars missions. Manned Mars missions planned in the near future of very low solar activity period and hence higher than acceptable radiation doses due mainly to the Galactic Cosmic Rays (GCR), would require special techniques and technological development for maintaining good health of the astronauts. The present study is an attempt to make an assessment and characterise the coming years in terms of solar activity and space radiation environment especially due to the abundance of highly energetic heavy ions (known as HZE charged particles). These HZE particle fluxes constitute a major hazard to the astronauts and also to the critical electronic components of the spacecraft. Recent data on the HZE species (from B to Ni) obtained from ACE spacecraft shows a clear enhancement of the particle fluxes between the solar cycle 23 and solar cycle 24 (between SSN peaks 2002 and 2014) due to the persisting low sunspot numbers of the latter cycle. The peak values of these cosmic ray fluxes occur with a time lag of about a year of the corresponding minimum value of the sunspots of a particular 11 year cycle which is pseudo periodic in nature. This is demonstrated by the Fourier and Wavelet transform analyses of the long duration (1700 2018) yearly mean sunspot number data. The same time series data is also used to train a Hybrid Regression Neural Network (HRNN) model to generate the predicted yearly mean sunspot numbers for the solar cycle 25 (2019 2031). The wavelet analysis of this new series of annual sunspot numbers including the predictions up to the end of 2031 shows a clear trend of continuation of the low solar activity and hence continuation of very high HZE fluxes prevailing in Solar cycle 24 into the solar cycle 25 and perhaps beyond.


Evolution of Interfaces for the Nonlinear Double Degenerate Parabolic Equation of Turbulent Filtration with Absorption. II. Fast Diffusion Case. We prove the short time asymptotic formula for the interfaces and local solutions near the interfaces for the nonlinear double degenerate reaction diffusion equation of turbulent filtration with fast diffusion and strong absorption u t ( (u m ) x p 1 (u m ) x) x bu beta , , 0 mp 1, , beta 0. Full classification is pursued in terms of the nonlinearity parameters m, p, beta and asymptotics of the initial function near its support. In the case of an infinite speed of propagation of the interface, the asymptotic behavior of the local solution is classified at infinity. A full classification of the short time behavior of the interface function and the local solution near the interface for the slow diffusion case ( mp 1 ) was presented in textit Abdulla et al., Math. Comput. Simul., 153(2018), 59 82 .


Financial ratios and stock returns reappraised through a topological data analysis lens. Firm financials are well established as return predictors, being the inspiration for a large set of anomalies in the asset pricing literature. Employing topological data analysis we revisit the question of association between seven of the most commonly studied financial ratios and stock returns. Specifically the TDA Ball Mapper algorithm is applied to visualise the point cloud of financial ratios as an abstract two dimensional graph readily allowing for identification of interdependencies between factors. These relationships are seldom monotonic, opportunities for investors to profitably exploit this knowledge provided by TDA abound. Clear potential offered by the tools of TDA to shed new light on asset pricing models is demonstrated. Scope for benefit is limited only by the availability of information to the analyst.


Good Motive but Bad Design Why ARM MPU Has Become an Outcast in Embedded Systems. As more and more embedded devices are connected to the Internet, leading to the emergence of Internet of Things (IoT), previously less tested (and insecure) devices are exposed to miscreants. To prevent them from being compromised, the memory protection unit (MPU), which is readily available on many devices, has the potential to become a free lunch for the defenders. To our surprise, the MPU is seldom used by real world products. The reasons are multi fold. While there are non technical reasons such as compatibility issues, more importantly, we found that MPU brings virtually no security enhancement at the expense of decreased performance and responsiveness. In this work, we investigate the MPU adoption in major real time operating systems (RTOSs), in particular, the FreeRTOS, and try to pinpoint the fundamental reasons to explain why MPU is not favored. We hope our findings can inspire new remedial solutions to change the situation. We also review the latest MPU design and provide technical suggestions to build more secure embedded systems.


Towards Metric Temporal Answer Set Programming. We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set Programming. In analogy to previous extensions of ASP with constructs from Linear Temporal and Dynamic Logic, we accomplish this in the setting of the logic of Here and There and its non monotonic extension, called Equilibrium Logic. More precisely, we develop our logic on the same semantic underpinnings as its predecessors and thus use a simple time domain of bounded time steps. This allows us to compare all variants in a uniform framework and ultimately combine them in a common implementation.


Photon Acceleration in a Flying Focus. A high intensity laser pulse propagating through a medium triggers an ionization front that can accelerate and frequency upshift the photons of a second pulse. The maximum upshift is ultimately limited by the accelerated photons outpacing the ionization front or the ionizing pulse refracting from the plasma. Here we apply the flying focus a moving focal point resulting from a chirped laser pulse focused by a chromatic lens to overcome these limitations. Theory and simulations demonstrate that the ionization front produced by a flying focus can frequency upshift an ultrashort optical pulse to the extreme ultraviolet over a centimeter of propagation. An analytic model of the upshift predicts that this scheme could be scaled to a novel table top source of spatially coherent x rays.


Analysis of dysautonomia in patients with Chagas Cardiomyopathy. Chagas disease American trypanosomiasis is caused by a flagellated parasite trypanosoma cruzi, transmitted by an insect of the genus Triatoma and also by blood transfusions. In Latin America the number of infected people is approximately 6 million, with a population exposed to the risk of infection of 550000. It is our interest to develop a non invasive, low cost methodology, capable of detecting any alteration early on cardiaca produced by T. cruzi. We analyzed the 24 hour RR records in patients with ECG abnormalities (CH2), patients without ECG alterations (CH1) who had positive serological findings for Chagas disease and healthy (Control) matched by sex and age. We found significant differences between the Control, CH1 and CH2 groups that show dysautonomy and enervation of the autonomic nervous system.


The Colliding Reciprocal Dance Problem A Mitigation Strategy with Application to Automotive Active Safety Systems. A reciprocal dance occurs when two mobile agents attempt to pass each other but incompatible interaction models result in repeated attempts to take mutually blocking actions. Often, such a situation simply results in deadlock. But in systems with significant inertial constraints, it can result in collision. This abstract presents this colliding variant of the reciprocal dance, how it arises, and a mitigation strategy that can improve safety without sacrificing flexibility. A demonstration of the concept is provided in the context of automotive active safety.


Analytic lifts of operator concave functions. The motivation behind this paper is threefold. Firstly, to study, characterize and realize operator concavity along with its applications to operator monotonicity of free functions on operator domains that are not assumed to be matrix convex. Secondly, to use the obtained Schur complement based representation formulas to analytically extend operator means of probability measures and to emphasize their study through random variables. Thirdly, to obtain these results in a decent generality. That is, for domains in arbitrary tensor product spaces of the form mathcal A otimes mathcal B (E) , where mathcal A is a Banach space and mathcal B (E) denotes the bounded linear operators over a Hilbert space E . Our arguments also apply when mathcal A is merely a locally convex space.


Pose from Shape Deep Pose Estimation for Arbitrary 3D Objects. Most deep pose estimation methods need to be trained for specific object instances or categories. In this work we propose a completely generic deep pose estimation approach, which does not require the network to have been trained on relevant categories, nor objects in a category to have a canonical pose. We believe this is a crucial step to design robotic systems that can interact with new objects in the wild not belonging to a predefined category. Our main insight is to dynamically condition pose estimation with a representation of the 3D shape of the target object. More precisely, we train a Convolutional Neural Network that takes as input both a test image and a 3D model, and outputs the relative 3D pose of the object in the input image with respect to the 3D model. We demonstrate that our method boosts performances for supervised category pose estimation on standard benchmarks, namely Pascal3D , ObjectNet3D and Pix3D, on which we provide results superior to the state of the art. More importantly, we show that our network trained on everyday man made objects from ShapeNet generalizes without any additional training to completely new types of 3D objects by providing results on the LINEMOD dataset as well as on natural entities such as animals from ImageNet.


Experimental Interference Robustness Evaluation of IEEE 802.15.4 2015 OQPSK DSSS and SUN OFDM Physical Layers. In this paper, we experimentally evaluate and compare the robustness against interference of the OQPSK DSSS (Offset Quadrature Phase Shift Keying Direct Sequence Spread Spectrum) and the SUN OFDM (Smart Utility Network Orthogonal Frequency Division Multiplexing) physical layers, as defined in the IEEE 802.15.4 2015 standard. The objective of this study is to provide a comprehensive analysis of the impact different types of interference produce on these modulations, in terms of the resulting PDR (Packet Delivery Ratio) and depending on the length of the packet being transmitted. The results show that the SUN OFDM physical layer provides significant benefits compared to the ubiquitous OQPSK DSSS in terms of interference robustness, regardless of the interference type and the packet length. Overall, this demonstrates the suitability of choosing the SUN OFDM physical layer when deploying low power wireless networks in industrial scenarios, specially taking into consideration the possibility of trading off robustness and spectrum efficiency depending on the application requirements.


Constructing non semisimple modular categories with relative monoidal centers. This paper is a contribution to the construction of non semisimple modular categories. We establish when M "uger centralizers inside non semisimple modular categories are also modular. As a consequence, we obtain conditions under which relative monoidal centers give (non semisimple) modular categories, and we also show that examples include representation categories of small quantum groups. We further derive conditions under which representations of more general quantum groups, braided Drinfeld doubles of Nichols algebras of diagonal type, give (non semisimple) modular categories.


Online Revenue Maximization for Server Pricing. Efficient and truthful mechanisms to price resources on remote servers machines has been the subject of much work in recent years due to the importance of the cloud market. This paper considers revenue maximization in the online stochastic setting with non preemptive jobs and a unit capacity server. One agent job arrives at every time step, with parameters drawn from an underlying unknown distribution. We design a posted price mechanism which can be efficiently computed, and is revenue optimal in expectation and in retrospect, up to additive error. The prices are posted prior to learning the agent's type, and the computed pricing scheme is deterministic, depending only on the length of the allotted time interval and on the earliest time the server is available. If the distribution of agent's type is only learned from observing the jobs that are executed, we prove that a polynomial number of samples is sufficient to obtain a near optimal truthful pricing strategy.


Symbol Spotting on Digital Architectural Floor Plans Using a Deep Learning based Framework. This papers focuses on symbol spotting on real world digital architectural floor plans with a deep learning (DL) based framework. Traditional on the fly symbol spotting methods are unable to address the semantic challenge of graphical notation variability, i.e. low intra class symbol similarity, an issue that is particularly important in architectural floor plan analysis. The presence of occlusion and clutter, characteristic of real world plans, along with a varying graphical symbol complexity from almost trivial to highly complex, also pose challenges to existing spotting methods. In this paper, we address all of the above issues by leveraging recent advances in DL and adapting an object detection framework based on the You Only Look Once (YOLO) architecture. We propose a training strategy based on tiles, avoiding many issues particular to DL based object detection networks related to the relative small size of symbols compared to entire floor plans, aspect ratios, and data augmentation. Experiments on real world floor plans demonstrate that our method successfully detects architectural symbols with low intra class similarity and of variable graphical complexity, even in the presence of heavy occlusion and clutter. Additional experiments on the public SESYD dataset confirm that our proposed approach can deal with various degradation and noise levels and outperforms other symbol spotting methods.


Laboratory application of sampling approaches to inverse scattering. This study presents an experimental investigation of the recently established generalized linear sampling method (GLSM) for non destructive evaluation of damage in elastic materials. To this end, ultrasonic shear waves are generated in a prismatic slab of charcoal granite featuring a discontinuity interface induced by the three point bending (3PB). The interaction of probing waves with the 3PB induced damage gives rise to transient velocity responses measured on the sample's boundary by a 3D scanning laser Doppler vibrometer. Thus obtained waveform data are then carefully processed to retrieve the associated spectra of scattered displacement fields. On deploying multifrequency sensory data, the GLSM indicators are computed and their counterparts associated with the classical linear sampling method (LSM) for comparative analysis. Verified with in situ observations, the GLSM map successfully exposes the support of hidden scatterers in the specimen with a remarkable clarity and resolution compared to its predecessor LSM. It is further shown that the GLSM remains robust for sparse and partial aperture data inversion, thanks to its rigorous formulation. For completeness, the one sided reconstruction by both indicators is investigated.


Predicting Subjective Features of Questions of QA Websites using BERT. Community Question Answering websites, such as StackOverflow and Quora, expect users to follow specific guidelines in order to maintain content quality. These systems mainly rely on community reports for assessing contents, which has serious problems such as the slow handling of violations, the loss of normal and experienced users' time, the low quality of some reports, and discouraging feedback to new users. Therefore, with the overall goal of providing solutions for automating moderation actions in Q A websites, we aim to provide a model to predict 20 quality or subjective aspects of questions in QA websites. To this end, we used data gathered by the CrowdSource team at Google Research in 2019 and a fine tuned pre trained BERT model on our problem. Based on the evaluation by Mean Squared Error (MSE), the model achieved a value of 0.046 after 2 epochs of training, which did not improve substantially in the next ones. Results confirm that by simple fine tuning, we can achieve accurate models in little time and on less amount of data.


Toward an Affective Touch Robot Subjective and Physiological Evaluation of Gentle Stroke Motion Using a Human Imitation Hand. Affective touch offers positive psychological and physiological benefits such as the mitigation of stress and pain. If a robot could realize human like affective touch, it would open up new application areas, including supporting care work. In this research, we focused on the gentle stroking motion of a robot to evoke the same emotions that human touch would evoke in other words, an affective touch robot. We propose a robot that is able to gently stroke the back of a human using our designed human imitation hand. To evaluate the emotional effects of this affective touch, we compared the results of a combination of two agents (the human imitation hand and the human hand), at two stroke speeds (3 and 30 cm s). The results of the subjective and physiological evaluations highlighted the following three findings 1) the subjects evaluated strokes similarly with regard to the stroke speed of the human and human imitation hand, in both the subjective and physiological evaluations 2) the subjects felt greater pleasure and arousal at the faster stroke rate (30 cm s rather than 3 cm s) and 3) poorer fitting of the human imitation hand due to the bending of the back had a negative emotional effect on the subjects.


Strategy Proof Mechanisms for Facility Location at Limited Locations. Facility location problems often permit facilities to be located at any position. But what if this is not the case in practice? What if facilities can only be located at particular locations like a highway exit or close to a bus stop? We consider here the impact of such constraints on the location of facilities on the performance of strategy proof mechanisms for locating facilities.We study four different performance objectives the total distance agents must travel to their closest facility, the maximum distance any agent must travel to their closest facility, and the utilitarian and egalitarian welfare.We show that constraining facilities to a limited set of locations makes all four objectives harder to approximate in general.


Relative expander entropy in the presence of a two sided obstacle and applications. We study a notion of relative entropy motivated by self expanders of mean curvature flow. In particular, we obtain the existence of this quantity for arbitrary hypersurfaces trapped between two disjoint self expanders asymptotic to the same cone. This allows us to begin to develop the variational theory for the relative entropy functional for the associated obstacle problem. We also obtain a version of the forward monotonicity formula for mean curvature flow proposed by Ilmanen.


Magnetic (quasi )modular forms. A (folklore?) conjecture states that no holomorphic modular form F( tau) sum n 1 infty a nq n in q mathbb Z q exists, where q e 2 pi i tau , such that its anti derivative sum n 1 infty a nq n n has integral coefficients in the q expansion. A recent observation of Broadhurst and Zudilin, rigorously accomplished by Li and Neururer, led to examples of meromorphic modular forms possessing the integrality property. In this note we investigate the arithmetic phenomenon from a systematic perspective and discuss related transcendental extensions of the differentially closed ring of quasi modular forms.


Model reduction with pole zero placement and high order moment matching. In this paper, we compute a low order approximation of a system of large order n that matches nu moments of order j i of the transfer function, at nu interpolation points, has ell poles and k zeros fixed and also matches nu ( ell k) moments of order j i 1 , where j i 1 is the multiplicity of the i th interpolation point. We derive explicit linear systems in the free parameters to simultaneously achieve the required pole zero placement and match the desired high order moments. We compute the closed form of the free parameters that meet the constraints, as the solution of a nu order linear system. Furthermore, for data driven model reduction, we generalize the construction of the Loewner matrices to include the data and the imposed pole and higher order moment constraints. The resulting approximations achieve a trade off between the good norm approximation and the preservation of the dynamics of the original system in a region of interest.


Horus Using Sensor Fusion to Combine Infrastructure and On board Sensing to Improve Autonomous Vehicle Safety. Studies predict that demand for autonomous vehicles will increase tenfold between 2019 and 2026. However, recent high profile accidents have significantly impacted consumer confidence in this technology. The cause for many of these accidents can be traced back to the inability of these vehicles to correctly sense the impending danger. In response, manufacturers have been improving the already extensive on vehicle sensor packages to ensure that the system always has access to the data necessary to ensure safe navigation. However, these sensor packages only provide a view from the vehicle's perspective and, as a result, autonomous vehicles still require frequent human intervention to ensure safety. To address this issue, I developed a system, called Horus, that combines on vehicle and infrastructure based sensors to provide a more complete view of the environment, including areas not visible from the vehicle. I built a small scale experimental testbed as a proof of concept. My measurements of the impact of sensor failures showed that even short outages (1 second) at slow speeds (25 km hr scaled velocity) prevents vehicles that rely on on vehicle sensors from navigating properly. My experiments also showed that Horus dramatically improves driving safety and that the sensor fusion algorithm selected plays a significant role in the quality of the navigation. With just a pair of infrastructure sensors, Horus could tolerate sensors that fail 40 of the time and still navigate safely. These results are a promising first step towards safer autonomous vehicles.


Well posedness and global in time behavior for L p mild solutions to the Navier Stokes equation on the hyperbolic space. We study mild solutions to the Navier Stokes equation on the n dimensional hyperbolic space mathbb H n , n geq 2 . We use dispersive and smoothing estimates proved by Pierfelice on a class of complete Riemannian manifolds to extend the Fujita Kato theory of mild solutions from mathbb R n to mathbb H n . This includes well posedness results for L n initial data and L n cap L p initial data for 1 p n , global in time results for small initial data, and time decay results for the L n and L p norms of both u and nabla u . Due to the additional exponential time decay offered on mathbb H n , we are able to simplify the proofs of the L n and L p norm decay results as compared to the Euclidean setting. Additionally, we are able to show that mild solutions on mathbb H n belong to a wider range of space time L rL q spaces than is known for Euclidean space, and that the L n norm of a global solution decays to zero as t goes to infinity on mathbb H n , which was a question left open by Kato for mathbb R n , n geq 3 . As a necessary part of our work, we extend to mathbb H n known facts in Euclidean space concerning the strong continuity and contractivity of the semigroup generated by the Laplacian. Also, we establish necessary boundedness and commutation properties for a certain projection operator in the setting of mathbb H n using spectral theory. This work, together with Pierfelice's, contributes to providing a full Fujita Kato theory on mathbb H n .


Estimating tropospheric and stratospheric winds using infrasound from explosions. The receiver to source backazimuth of atmospheric infrasound signals is biased when cross winds are present along the propagation path. Infrasound from 598 surface explosions from over 30 years in northern Finland is measured with high spatial resolution on an array 178 km almost due North. The array is situated in the classical shadow zone distance from the explosions. However, strong infrasound is almost always observed, which is most plausibly due to partial reflections from stratospheric altitudes. The most probable propagation paths are subject to both tropospheric and stratospheric cross winds, and our wave propagation modelling yields good correspondence between the observed backazimuth deviation and cross winds from the ERA Interim reanalysis product. We demonstrate that atmospheric cross winds can be estimated directly from infrasound data using propagation time and backazimuth deviation observations. We find these cross wind estimates to be in good agreement with the ERA Interim reanalysis.


PSD2 Explainable AI Model for Credit Scoring. The aim of this project is to develop and test advanced analytical methods to improve the prediction accuracy of Credit Risk Models, preserving at the same time the model interpretability. In particular, the project focuses on applying an explainable machine learning model to bank related databases. The input data were obtained from open data. Over the total proven models, CatBoost has shown the highest performance. The algorithm implementation produces a GINI of 0.68 after tuning the hyper parameters. SHAP package is used to provide a global and local interpretation of the model predictions to formulate a human comprehensive approach to understanding the decision maker algorithm. The 20 most important features are selected using the Shapley values to present a full human understandable model that reveals how the attributes of an individual are related to its model prediction.


Energy Efficient UAV Backscatter Communication with Joint Trajectory Design and Resource Optimization. Backscatter communication which enables wireless powered backscatter devices (BDs) to transmit information by reflecting incident signals, is an energy and cost efficient communication technology for Internet of Things. This paper considers an unmanned aerial vehicle (UAV) assisted backscatter communication network (UBCN) consisting of multiple BDs and carrier emitters (CEs) on the ground as well as a UAV. A communicate while fly scheme is first designed, in which the BDs illuminated by their associated CEs transmit information to the flying UAV in a time division multiple access manner. Considering the critical issue of the UAV's limited on board energy and the CEs' transmission energy, we maximize the energy efficiency (EE) of the UBCN by jointly optimizing the UAV's trajectory, the BDs' scheduling, and the CEs' transmission power, subject to the BDs' throughput constraints and harvested energy constraints, as well as other practical constraints. Furthermore, we propose an iterative algorithm based on the block coordinated decent method to solve the formulated mixed integer non convex problem, in each iteration of which the variables are alternatively optimized by leveraging the cutting plane technique, the Dinkelbach's method and the successive convex approximation technique. Also, the convergence and complexity of the proposed algorithm are analyzed. Finally, simulation results show that the proposed communicate while fly scheme achieves significant EE gains compared with the benchmark hover and fly scheme. Useful insights on the optimal trajectory design and resource allocation are also obtained.


Cutoff profiles for quantum L ' e vy processes and quantum random transpositions. We consider a natural analogue of Brownian motion on free orthogonal quantum groups and prove that it exhibits a cutoff at time N ln(N) . Then, we study the induced classical process on the real line and compute its atoms and density. This enables us to find the cutoff profile, which involves free Poisson distributions and the semi circle law. We prove similar results for quantum permutations and quantum random transpositions.


Representative Discriminative Learning for Open set Land Cover Classification of Satellite Imagery. Land cover classification of satellite imagery is an important step toward analyzing the Earth's surface. Existing models assume a closed set setting where both the training and testing classes belong to the same label set. However, due to the unique characteristics of satellite imagery with an extremely vast area of versatile cover materials, the training data are bound to be non representative. In this paper, we study the problem of open set land cover classification that identifies the samples belonging to unknown classes during testing, while maintaining performance on known classes. Although inherently a classification problem, both representative and discriminative aspects of data need to be exploited in order to better distinguish unknown classes from known. We propose a representative discriminative open set recognition (RDOSR) framework, which 1) projects data from the raw image space to the embedding feature space that facilitates differentiating similar classes, and further 2) enhances both the representative and discriminative capacity through transformation to a so called abundance space. Experiments on multiple satellite benchmarks demonstrate the effectiveness of the proposed method. We also show the generality of the proposed approach by achieving promising results on open set classification tasks using RGB images.


Optimal quantization for discrete distributions. In this paper, we first determine the optimal sets of n means and the n th quantization errors for all 1 leq n leq 6 for two nonuniform discrete distributions with support the set 1, 2, 3, 4, 5, 6 . Then, for a probability distribution P with support frac 1n n in mathbb N associated with a mass function f , given by f(x) frac 1 2 k if x frac 1 k for k in mathbb N , and zero otherwise, we determine the optimal sets of n means and the n th quantization errors for all positive integers up to n 300 . Further, for a probability distribution P with support the set mathbb N of natural number associated with a mass function f , given by f(x) frac 1 2 k if x k for k in mathbb N , and zero otherwise, we determine the optimal sets of n means and the n th quantization errors for all positive integers n . At last we discuss for a discrete distribution, if the optimal sets are given, how to obtain the probability distributions.


Learning Dense Rewards for Contact Rich Manipulation Tasks. Rewards play a crucial role in reinforcement learning. To arrive at the desired policy, the design of a suitable reward function often requires significant domain expertise as well as trial and error. Here, we aim to minimize the effort involved in designing reward functions for contact rich manipulation tasks. In particular, we provide an approach capable of extracting dense reward functions algorithmically from robots' high dimensional observations, such as images and tactile feedback. In contrast to state of the art high dimensional reward learning methodologies, our approach does not leverage adversarial training, and is thus less prone to the associated training instabilities. Instead, our approach learns rewards by estimating task progress in a self supervised manner. We demonstrate the effectiveness and efficiency of our approach on two contact rich manipulation tasks, namely, peg in hole and USB insertion. The experimental results indicate that the policies trained with the learned reward function achieves better performance and faster convergence compared to the baselines.


What's happening in traditional and inquiry based introductory labs? An integrative analysis at a large research university. There is a growing recognition of the need to replace "cookbook" style introductory labs with more meaningful learning experiences. To identify the strengths and weaknesses of a mix of cookbook style and inquiry based labs, an introductory lab course currently being reformed was observed following a reflexive ethnographic protocol and pre and post E CLASS surveys were administered. We analyzed data to identify shortcomings of the current labs and to determine areas for improvement.


A note on degenerate gamma random variables. In this paper, we introduce the degenerate gamma random variables which are connected with the degenerate gamma functions and the degenerate exponential functions, and deduce the expectation and variance of those random variables.


RESA Recurrent Feature Shift Aggregator for Lane Detection. Lane detection is one of the most important tasks in self driving. Due to various complex scenarios (e.g., severe occlusion, ambiguous lanes, etc.) and the sparse supervisory signals inherent in lane annotations, lane detection task is still challenging. Thus, it is difficult for the ordinary convolutional neural network (CNN) to train in general scenes to catch subtle lane feature from the raw image. In this paper, we present a novel module named REcurrent Feature Shift Aggregator (RESA) to enrich lane feature after preliminary feature extraction with an ordinary CNN. RESA takes advantage of strong shape priors of lanes and captures spatial relationships of pixels across rows and columns. It shifts sliced feature map recurrently in vertical and horizontal directions and enables each pixel to gather global information. RESA can conjecture lanes accurately in challenging scenarios with weak appearance clues by aggregating sliced feature map. Moreover, we propose a Bilateral Up Sampling Decoder that combines coarse grained and fine detailed features in the up sampling stage. It can recover the low resolution feature map into pixel wise prediction meticulously. Our method achieves state of the art results on two popular lane detection benchmarks (CULane and Tusimple). Code has been made available at https github.com ZJULearning resa.


Checking Robustness Against Snapshot Isolation. Transactional access to databases is an important abstraction allowing programmers to consider blocks of actions (transactions) as executing in isolation. The strongest consistency model is em serializability , which ensures the atomicity abstraction of transactions executing over a sequentially consistent memory. Since ensuring serializability carries a significant penalty on availability, modern databases provide weaker consistency models, one of the most prominent being emph snapshot isolation . In general, the correctness of a program relying on serializable transactions may be broken when using weaker models. However, certain programs may also be insensitive to consistency relaxations, i.e., all their properties holding under serializability are preserved even when they are executed over a weak consistent database and without additional synchronization. In this paper, we address the issue of verifying if a given program is em robust against snapshot isolation , i.e., all its behaviors are serializable even if it is executed over a database ensuring snapshot isolation. We show that this verification problem is polynomial time reducible to a state reachability problem in transactional programs over a sequentially consistent shared memory. This reduction opens the door to the reuse of the classic verification technology for reasoning about weakly consistent programs. In particular, we show that it can be used to derive a proof technique based on Lipton's reduction theory that allows to prove programs robust.