Findings of the 2016 WMT Shared Task on Cross lingual Pronoun Prediction. We describe the design, the evaluation setup, and the results of the 2016 WMT shared task on cross lingual pronoun prediction. This is a classification task in which participants are asked to provide predictions on what pronoun class label should replace a placeholder value in the target language text, provided in lemmatised and PoS tagged form. We provided four subtasks, for the English French and English German language pairs, in both directions. Eleven teams participated in the shared task nine for the English French subtask, five for French English, nine for English German, and six for German English. Most of the submissions outperformed two strong language model based baseline systems, with systems using deep recurrent neural networks outperforming those using other architectures for most language pairs.


Self Dual Skew Cyclic Codes over mathbb F q u mathbb F q . In this paper, we give conditions for the existence of Hermitian self dual Theta cyclic and Theta negacyclic codes over the finite chain ring mathbb F q u mathbb F q . By defining a Gray map from R mathbb F q u mathbb F q to mathbb F q 2 , we prove that the Gray images of skew cyclic codes of odd length n over R with even characteristic are equivalent to skew quasi twisted codes of length 2n over mathbb F q of index 2 . We also extend an algorithm of Boucher and Ulmer cite BF3 to construct self dual skew cyclic codes based on the least common left multiples of non commutative polynomials over mathbb F q u mathbb F q .


Rethinking Text Segmentation A Novel Dataset and A Text Specific Refinement Approach. Text segmentation is a prerequisite in many real world text related tasks, e.g., text style transfer, and scene text removal. However, facing the lack of high quality datasets and dedicated investigations, this critical prerequisite has been left as an assumption in many works, and has been largely overlooked by current research. To bridge this gap, we proposed TextSeg, a large scale fine annotated text dataset with six types of annotations word and character wise bounding polygons, masks and transcriptions. We also introduce Text Refinement Network (TexRNet), a novel text segmentation approach that adapts to the unique properties of text, e.g. non convex boundary, diverse texture, etc., which often impose burdens on traditional segmentation models. In our TexRNet, we propose text specific network designs to address such challenges, including key features pooling and attention based similarity checking. We also introduce trimap and discriminator losses that show significant improvement on text segmentation. Extensive experiments are carried out on both our TextSeg dataset and other existing datasets. We demonstrate that TexRNet consistently improves text segmentation performance by nearly 2 compared to other state of the art segmentation methods. Our dataset and code will be made available at https github.com SHI Labs Rethinking Text Segmentation.


Control of droplet evaporation on smooth chemical patterns. We investigate the evaporation of a two dimensional droplet on a solid surface. The solid is flat but with smooth chemical variations that lead to a space dependent local contact angle. We perform a detailed bifurcation analysis of the equilibrium properties of the droplet as its size is changed, observing the emergence of a hierarchy of bifurcations that strongly depends on the particular underlying chemical pattern. Symmetric and periodic patterns lead to a sequence of pitchfork and saddle node bifurcations that make stable solutions to become saddle nodes. Under dynamic conditions, this change instability suggests that any perturbation in the system can make the droplet to shift laterally while relaxing to the nearest stable point, as is confirmed by numerical computations of the Cahn Hilliard and Navier Stokes system of equations. We also consider patterns with an amplitude gradient that creates a set of disconnected stable branches in the solution space, leading to a continuous change of the droplet's location upon evaporation.


On large scale genre classification in symbolically encoded music by automatic identification of repeating patterns. The importance of repetitions in music is well known. In this paper, we study music repetitions in the context of effective and efficient automatic genre classification in large scale music databases. We aim at enhancing the access and organization of pieces of music in Digital Libraries by allowing automatic categorization of entire collections by considering only their musical content. We handover to the public a set of genre specific patterns to support research in musicology. The patterns can be used, for instance, to explore and analyze the relations between musical genres. There are many existing algorithms that could be used to identify and extract repeating patterns in symbolically encoded music. In our case, the extracted patterns are used as representations of the pieces of music on the underlying corpus and, consecutively, to train and evaluate a classifier to automatically identify genres. In this paper, we apply two very fast algorithms enabling us to experiment on large and diverse corpora. Thus, we are able to find patterns with strong discrimination power that can be used in various applications. We carried out experiments on a corpus containing over 40,000 MIDI files annotated with at least one genre. The experiments suggest that our approach is scalable and capable of dealing with real world size music collections.


Graph Fairing Convolutional Networks for Anomaly Detection. Graph convolution is a fundamental building block for many deep neural networks on graph structured data. In this paper, we introduce a simple, yet very effective graph convolutional network with skip connections for semi supervised anomaly detection. The proposed multi layer network architecture is theoretically motivated by the concept of implicit fairing in geometry processing, and comprises a graph convolution module for aggregating information from immediate node neighbors and a skip connection module for combining layer wise neighborhood representations. In addition to capturing information from distant graph nodes through skip connections between the network's layers, our approach exploits both the graph structure and node features for learning discriminative node representations. The effectiveness of our model is demonstrated through extensive experiments on five benchmark datasets, achieving better or comparable anomaly detection results against strong baseline methods.


Visual Grounding in Video for Unsupervised Word Translation. There are thousands of actively spoken languages on Earth, but a single visual world. Grounding in this visual world has the potential to bridge the gap between all these languages. Our goal is to use visual grounding to improve unsupervised word mapping between languages. The key idea is to establish a common visual representation between two languages by learning embeddings from unpaired instructional videos narrated in the native language. Given this shared embedding we demonstrate that (i) we can map words between the languages, particularly the 'visual' words (ii) that the shared embedding provides a good initialization for existing unsupervised text based word translation techniques, forming the basis for our proposed hybrid visual text mapping algorithm, MUVE and (iii) our approach achieves superior performance by addressing the shortcomings of text based methods it is more robust, handles datasets with less commonality, and is applicable to low resource languages. We apply these methods to translate words from English to French, Korean, and Japanese all without any parallel corpora and simply by watching many videos of people speaking while doing things.


Go with the FLOW Visualizing spatiotemporal dynamics in optical widefield calcium imaging. Widefield calcium imaging has recently emerged as a powerful experimental technique to record coordinated large scale brain activity. These measurements present a unique opportunity to characterize spatiotemporal coherent structures that underlie neural activity across many regions of the brain. In this work, we leverage analytic techniques from fluid dynamics to develop a visualization framework that highlights features of flow across the cortex, mapping wave fronts that may be correlated with behavioral events. First, we transform the time series of widefield calcium images into time varying vector fields using optic flow. Next, we extract concise diagrams summarizing the dynamics, which we refer to as FLOW (flow lines in optical widefield imaging) portraits. These FLOW portraits provide an intuitive map of dynamic calcium activity, including regions of initiation and termination, as well as the direction and extent of activity spread. To extract these structures, we use the finite time Lyapunov exponent (FTLE) technique developed to analyze time varying manifolds in unsteady fluids. Importantly, our approach captures coherent structures that are poorly represented by traditional modal decomposition techniques. We demonstrate the application of FLOW portraits on three simple synthetic datasets and two widefield calcium imaging datasets, including cortical waves in the developing mouse and spontaneous cortical activity in an adult mouse.


Embarrassingly Simple Unsupervised Aspect Extraction. We present a simple but effective method for aspect identification in sentiment analysis. Our unsupervised method only requires word embeddings and a POS tagger, and is therefore straightforward to apply to new domains and languages. We introduce Contrastive Attention (CAt), a novel single head attention mechanism based on an RBF kernel, which gives a considerable boost in performance and makes the model interpretable. Previous work relied on syntactic features and complex neural models. We show that given the simplicity of current benchmark datasets for aspect extraction, such complex models are not needed. The code to reproduce the experiments reported in this paper is available at https github.com clips cat


Overview of the TREC 2019 Fair Ranking Track. The goal of the TREC Fair Ranking track was to develop a benchmark for evaluating retrieval systems in terms of fairness to different content providers in addition to classic notions of relevance. As part of the benchmark, we defined standardized fairness metrics with evaluation protocols and released a dataset for the fair ranking problem. The 2019 task focused on reranking academic paper abstracts given a query. The objective was to fairly represent relevant authors from several groups that were unknown at the system submission time. Thus, the track emphasized the development of systems which have robust performance across a variety of group definitions. Participants were provided with querylog data (queries, documents, and relevance) from Semantic Scholar. This paper presents an overview of the track, including the task definition, descriptions of the data and the annotation process, as well as a comparison of the performance of submitted systems.


On counting centralizer subgroups of symmetric groups. Let S 2m be the symmetric group, h (1 2)(3 4) cdots(2m 1 2m) and H C(h) . We consider the structure of gHg 1 cap H for any g in S 2m . We prove the permutations g which makes gHg 1 cap H have size of polynomial in m have density zero.


Time response of a microring resonator to a rectangular pulse in different coupling regimes. We discuss the analytical temporal response of a microring resonator excited through a bus waveguide by an optical rectangular pulse. Finite difference time domain (FDTD) simulations illustrate the analytical solution and help in understanding the meaning of the different coupling regimes. In addition, we show that the temporal dynamics allows determing the coupling regime while the commonly used spectral characterization in the stationary regime does not. We also take advantage of the simulation to highlight the phase shift between the input and the output signals in the different coupling regimes. Finally, measurements on a Si3N4 microring resonator are performed and analyzed in the case of under coupling regime to illustrate how the time response study leads to the Q factor determination.


Towards Particle Resolved Accuracy in Euler Lagrange Simulations of Multiphase Flow Using Machine Learning and Pairwise Interaction Extended Point particle (PIEP) Approximation. This study presents two different machine learning approaches for the modeling of hydrodynamic force on particles in a particle laden multiphase flow. Results from particle resolved direct numerical simulations (PR DNS) of flow over a random array of stationary particles for eight combinations of particle Reynolds number ( Re ) and volume fraction ( phi ) are used in the development of the models. The first approach follows a two step process. In the first flow prediction step, the perturbation flow due to a particle is obtained as an axisymmetric superposable wake using linear regression. In the second force prediction step, the force on a particle is evaluated in terms of the perturbation flow induced by all its neighbors using the generalized Fax 'en form of the force expression. In the second approach, the force data on all the particles from the PR DNS simulations is used to develop an artificial neural network (ANN) model for direct prediction of force on a particle. Due to the unavoidable limitation on the number of fully resolved particles in the PR DNS simulations, direct force prediction with the ANN model tends to over fit the data and performs poorly in the prediction of test data. In contrast, due to the millions of grid points used in the PR DNS simulations, accurate flow prediction is possible, which then allows accurate prediction of particle force. This hybridization of multiphase physics and machine learning is particularly important, since it blends the strength of each, and the resulting pairwise interaction extended point particle (PIEP) model cannot be developed by either physics or machine learning alone.


Fine Grained Complexity of Regular Expression Pattern Matching and Membership. The currently fastest algorithm for regular expression pattern matching and membership improves the classical O(nm) time algorithm by a factor of about log 3 2 n. Instead of focussing on general patterns we analyse homogeneous patterns of bounded depth in this work. For them a classification splitting the types in easy (strongly sub quadratic) and hard (essentially quadratic time under SETH) is known. We take a very fine grained look at the hard pattern types from this classification and show a dichotomy few types allow super poly logarithmic improvements while the algorithms for the other pattern types can only be improved by a constant number of log factors, assuming the Formula SAT Hypothesis.


Towards Playing Full MOBA Games with Deep Reinforcement Learning. MOBA games, e.g., Honor of Kings, League of Legends, and Dota 2, pose grand challenges to AI systems such as multi agent, enormous state action space, complex action control, etc. Developing AI for playing MOBA games has raised much attention accordingly. However, existing work falls short in handling the raw game complexity caused by the explosion of agent combinations, i.e., lineups, when expanding the hero pool in case that OpenAI's Dota AI limits the play to a pool of only 17 heroes. As a result, full MOBA games without restrictions are far from being mastered by any existing AI system. In this paper, we propose a MOBA AI learning paradigm that methodologically enables playing full MOBA games with deep reinforcement learning. Specifically, we develop a combination of novel and existing learning techniques, including curriculum self play learning, policy distillation, off policy adaption, multi head value estimation, and Monte Carlo tree search, in training and playing a large pool of heroes, meanwhile addressing the scalability issue skillfully. Tested on Honor of Kings, a popular MOBA game, we show how to build superhuman AI agents that can defeat top esports players. The superiority of our AI is demonstrated by the first large scale performance test of MOBA AI agent in the literature.


Diagnostics Examples from lepton linacs and FELs. There is a big gap between the charming principles ideas and the real implementation of a diagnostic. In this lecture we review some details that make the difference between a good and bad measurement, highlighting also the relation between the measured quantities and the real ones.


A bounded noise mechanism for differential privacy. We present an asymptotically optimal ( epsilon, delta) differentially private mechanism for answering multiple, adaptively asked, Delta sensitive queries, settling the conjecture of Steinke and Ullman 2020 . Our algorithm has a significant advantage that it adds independent bounded noise to each query, thus providing an absolute error bound. Additionally, we apply our algorithm in adaptive data analysis, obtaining an improved guarantee for answering multiple queries regarding some underlying distribution using a finite sample. Numerical computations show that the bounded noise mechanism outperforms the Gaussian mechanism in many standard settings.


Leveraging lightweight blockchain to establish data integrity for surveillance cameras. The video footage produced by the surveillance cameras is an important evidence to support criminal investigations. Video evidence can be sourced from public (trusted) as well as private (untrusted) surveillance systems. This raises the issue of establishing integrity and auditability for information provided by the untrusted video sources. In this paper, we focus on a airport ecosystem, where multiple entities with varying levels of trust are involved in producing and exchanging video surveillance information. We present a framework to ensure the data integrity of the stored videos, allowing authorities to validate whether video footage has not been tampered. Our proposal uses a lightweight blockchain technology to store the video metadata as blockchain transactions to support the validation of video integrity. The proposed framework also ensures video auditability and non repudiation. Our evaluations show that the overhead introduced by employing the blockchain to create and query the transactions introduces a very minor latency of a few milliseconds.


Knowledge distillation via adaptive instance normalization. This paper addresses the problem of model compression via knowledge distillation. To this end, we propose a new knowledge distillation method based on transferring feature statistics, specifically the channel wise mean and variance, from the teacher to the student. Our method goes beyond the standard way of enforcing the mean and variance of the student to be similar to those of the teacher through an L 2 loss, which we found it to be of limited effectiveness. Specifically, we propose a new loss based on adaptive instance normalization to effectively transfer the feature statistics. The main idea is to transfer the learned statistics back to the teacher via adaptive instance normalization (conditioned on the student) and let the teacher network "evaluate" via a loss whether the statistics learned by the student are reliably transferred. We show that our distillation method outperforms other state of the art distillation methods over a large set of experimental settings including different (a) network architectures, (b) teacher student capacities, (c) datasets, and (d) domains.


Book Embeddings of Nonplanar Graphs with Small Faces in Few Pages. An embedding of a graph in a book, called book embedding, consists of a linear ordering of its vertices along the spine of the book and an assignment of its edges to the pages of the book, so that no two edges on the same page cross. The book thickness of a graph is the minimum number of pages over all its book embeddings. For planar graphs, a fundamental result is due to Yannakakis, who proposed an algorithm to compute embeddings of planar graphs in books with four pages. Our main contribution is a technique that generalizes this result to a much wider family of nonplanar graphs, which is characterized by a biconnected skeleton of crossing free edges whose faces have bounded degree. Notably, this family includes all 1 planar, all optimal 2 planar, and all k map (with bounded k) graphs as subgraphs. We prove that this family of graphs has bounded book thickness, and as a corollary, we obtain the first constant upper bound for the book thickness of optimal 2 planar and k map graphs.


An Attestation Architecture for Blockchain Networks. If blockchain networks are to become the building blocks of the infrastructure for the future digital economy, then several challenges related to the resiliency and survivability of blockchain networks need to be addressed. The survivability of a blockchain network is influenced by the diversity of its nodes. Trustworthy device level attestations permits nodes in a blockchain network to provide truthful evidence regarding their current configuration, operational state, keying material and other system attributes. In the current work we review the recent developments towards a standard attestation architecture and evidence conveyance protocols. We explore the applicability and benefits of a standard attestation architecture to blockchain networks. Finally, we discuss a number of open challenges related to node attestations that has arisen due to changing model of blockchain network deployments, such as the use virtualization and containerization technologies for nodes in cloud infrastructures.


Trimming the permutahedron to extend the parking space. Berget and Rhoades asked whether the permutation representation obtained by the action of S n 1 on parking functions of length n 1 can be extended to a permutation action of S n . We answer this question in the affirmative. We realize our module in two different ways. The first description involves binary Lyndon words and the second involves the action of the symmetric group on the lattice points of the trimmed standard permutahedron.


Bridging Information Security and Environmental Criminology Research to Better Mitigate Cybercrime. Cybercrime is a complex phenomenon that spans both technical and human aspects. As such, two disjoint areas have been studying the problem from separate angles the information security community and the environmental criminology one. Despite the large body of work produced by these communities in the past years, the two research efforts have largely remained disjoint, with researchers on one side not benefitting from the advancements proposed by the other. In this paper, we argue that it would be beneficial for the information security community to look at the theories and systematic frameworks developed in environmental criminology to develop better mitigations against cybercrime. To this end, we provide an overview of the research from environmental criminology and how it has been applied to cybercrime. We then survey some of the research proposed in the information security domain, drawing explicit parallels between the proposed mitigations and environmental criminology theories, and presenting some examples of new mitigations against cybercrime. Finally, we discuss the concept of cyberplaces and propose a framework in order to define them. We discuss this as a potential research direction, taking into account both fields of research, in the hope of broadening interdisciplinary efforts in cybercrime research


Universality for random permutations and some other groups. We present some Markovian approaches to prove universality results for some functions on the symmetric group. Some of those statistics are already studied in Kammoun, 2018, 2020 but not the general case. We prove, in particular, that the number of occurrences of a vincular patterns satisfies a CLT for conjugation invariant random permutations with few cycles and we improve the results already known for the longest increasing subsequence. The second approach is a suggestion of a generalization to other random permutations and other sets having a similar structure than the symmetric group.


Extension theorem and representation formula in non axially symmetric domains for slice regular functions. Slice analysis is a generalization of the theory of holomorphic functions of one complex variable to quaternions. Among the new phenomena which appear in this context, there is the fact that the convergence domain of f(q) Sigma n in mathbb N (q p) n a n , given by a sigma ball Sigma(p,r) , is not open in mathbb H unless p in mathbb R . This motivates us to investigate, in this article, what is a natural topology for slice regular functions. It turns out that the natural topology is the so called slice topology, which is different from the Euclidean topology and nicely adapts to the slice structure of quaternions. We extend the function theory of slice regular functions to any domains in the slice topology. Many fundamental results in the classical slice analysis for axially symmetric domains fail in our general setting. We can even construct a counterexample to show that a slice regular function in a domain cannot be extended to an axially symmetric domain. In order to provide positive results we need to consider so called path slice functions instead of slice functions. Along this line, we can establish an extension theorem and a representation formula in a slice domain.


Realizing long radio frequency quadrupole accelerators with multiple shorter and independent cavities. It is well known that the tuning of a long radio frequency quadrupole accelerator is demanding. This study investigated how to realize efficient long RFQ accelerators with multiple shorter and independent cavities. From the RF point of view, the use of shorter cavities has many advantages e.g. enlarged mode separation and simplified RF tuning, but the beam matching between cavities will become an issue, especially at high current and low energy. Taking a more than 9 m long, high current machine as an example, this paper presents the design concepts and methods leading to good beam quality and high beam transmission throughout a multi stage RFQ accelerator.


Dynamic proofs of retrievability with low server storage. Proofs of Retrievability (PoRs) are protocols which allow a client to store data remotely and to efficiently ensure, via audits, that the entirety of that data is still intact. A dynamic PoR system also supports efficient retrieval and update of any small portion of the data. We propose new, simple protocols for dynamic PoR that are designed for practical efficiency, trading decreased persistent storage for increased server computation, and show in fact that this tradeoff is inherent via a lower bound proof of time space for any PoR scheme. Notably, ours is the first dynamic PoR which does not require any special encoding of the data stored on the server, meaning it can be trivially composed with any database service or with existing techniques for encryption or redundancy. Our implementation and deployment on Google Cloud Platform demonstrates our solution is scalable for example, auditing a 1TB file takes just less than 5 minutes and costs less than 0.08 USD. We also present several further enhancements, reducing the amount of client storage, or the communication bandwidth, or allowing public verifiability, wherein any untrusted third party may conduct an audit.


Tracking the rotation of a birefringent crystal from speckle shift measurement. The random intensity distribution observed due to the propagation of a coherent beam of light through a scattering medium is known as a speckle pattern. The interaction of the speckles with a birefringent crystal, here, YVO4 results in the e ray and o ray speckles. It is observed that the e ray and o ray speckles experience an angular shift with the rotation of the crystal and the shift depends on the rotation angle of the crystal. It is also found that the rate of the shift is different for e ray and o ray speckles, and is independent of the topological charge of the beam incident on the scattering medium. The observed rate of shift of the speckle pattern is found to be same as that of the e ray and o ray beams. It is experimentally demonstrated that the rotation of a birefringent crystal can be tracked very accurately from the speckle shift measurement.


Linear rather than exponential decay a mathematical model and underlying mechanisms. Some populations, such as red blood cells (RBCs), exhibit a pattern of population decline that is closer to linear rather than exponential, which has proven to be unexpectedly challenging to describe with a single simple mathematical model. Here we show that a sub exponential model of population extinction can approximate very well the experimental curves of RBC extinction, and that one possible mechanism underlying sub exponential decay is population heterogeneity with respect to death rates of individuals. We further show that a sub exponential model of population decline can be derived within the frameworks of frequency dependent model of population extinction if there exists heterogeneity with respect to mortality rates such that their initial distribution is the Gamma distribution. Notably, specific biological mechanisms that may result in linear pattern of population decay may be different depending on the specific biological system however, in the end they must converge to individual death rates being different within the population, since uniform death rates would result in exponential population decline. As such, the proposed model is not intended to describe the complex dynamics of RBC biology but instead can provide a way to phenomenologically describe linear decay of population size. We briefly discuss the potential utility of this model for describing effects of drugs that may cause RBC depletion and conclude with a suggestion that this tool can provide a lens for discovering linear extinction patterns in other populations, which may have previously been overlooked.


Volatility Forecasting with 1 dimensional CNNs via transfer learning. Volatility is a natural risk measure in finance as it quantifies the variation of stock prices. A frequently considered problem in mathematical finance is to forecast different estimates of volatility. What makes it promising to use deep learning methods for the prediction of volatility is the fact, that stock price returns satisfy some common properties, referred to as stylized facts'. Also, the amount of data used can be high, favoring the application of neural networks. We used 10 years of daily prices for hundreds of frequently traded stocks, and compared different CNN architectures some networks use only the considered stock, but we tried out a construction which, for training, uses much more series, but not the considered stocks. Essentially, this is an application of transfer learning, and its performance turns out to be much better in terms of prediction error. We also compare our dilated causal CNNs to the classical ARIMA method using an automatic model selection procedure.


Hidden in Plain Sight Obfuscated Strings Threatening Your Privacy. String obfuscation is an established technique used by proprietary, closed source applications to protect intellectual property. Furthermore, it is also frequently used to hide spyware or malware in applications. In both cases, the techniques range from bit manipulation over XOR operations to AES encryption. However, string obfuscation techniques tools suffer from one shared weakness They generally have to embed the necessary logic to deobfuscate strings into the app code. In this paper, we show that most of the string obfuscation techniques found in malicious and benign applications for Android can easily be broken in an automated fashion. We developed StringHound, an open source tool that uses novel techniques that identify obfuscated strings and reconstruct the originals using slicing. We evaluated StringHound on both benign and malicious Android apps. In summary, we deobfuscate almost 30 times more obfuscated strings than other string deobfuscation tools. Additionally, we analyzed 100,000 Google Play Store apps and found multiple obfuscated strings that hide vulnerable cryptographic usages, insecure internet accesses, API keys, hard coded passwords, and exploitation of privileges without the awareness of the developer. Furthermore, our analysis reveals that not only malware uses string obfuscation but also benign apps make extensive use of string obfuscation.


Generation of Consistent Sets of Multi Label Classification Rules with a Multi Objective Evolutionary Algorithm. Multi label classification consists in classifying an instance into two or more classes simultaneously. It is a very challenging task present in many real world applications, such as classification of biology, image, video, audio, and text. Recently, the interest in interpretable classification models has grown, partially as a consequence of regulations such as the General Data Protection Regulation. In this context, we propose a multi objective evolutionary algorithm that generates multiple rule based multi label classification models, allowing users to choose among models that offer different compromises between predictive power and interpretability. An important contribution of this work is that different from most algorithms, which usually generate models based on lists (ordered collections) of rules, our algorithm generates models based on sets (unordered collections) of rules, increasing interpretability. Also, by employing a conflict avoidance algorithm during the rule creation, every rule within a given model is guaranteed to be consistent with every other rule in the same model. Thus, no conflict resolution strategy is required, evolving simpler models. We conducted experiments on synthetic and real world datasets and compared our results with state of the art algorithms in terms of predictive performance (F Score) and interpretability (model size), and demonstrate that our best models had comparable F Score and smaller model sizes.


Design and Experimental Validation of a Software Defined Radio Access Network Testbed with Slicing Support. Network slicing is a fundamental feature of 5G systems to partition a single network into a number of segregated logical networks, each optimized for a particular type of service, or dedicated to a particular customer or application. The realization of network slicing is particularly challenging in the Radio Access Network (RAN) part, where multiple slices can be multiplexed over the same radio channel and Radio Resource Management (RRM) functions shall be used to split the cell radio resources and achieve the expected behaviour per slice. In this context, this paper describes the key design and implementation aspects of a Software Defined RAN (SD RAN) experimental testbed with slicing support. The testbed has been designed consistently with the slicing capabilities and related management framework established by 3GPP in Release 15. The testbed is used to demonstrate the provisioning of RAN slices (e.g. preparation, commissioning and activation phases) and the operation of the implemented RRM functionality for slice aware admission control and scheduling.


Modular affine Hecke category and regular unipotent centralizer, I. In this paper we provide, under some mild explicit assumptions, a geometric description of the category of representations of the centralizer of a regular unipotent element in a reductive algebraic group in terms of perverse sheaves on the Langlands dual affine flag variety. This equivalence is suggested and motivated by the "geometric Langlands" philosophy.


Upper and Lower Bounds for Competitive Group Testing. We consider competitive algorithms for adaptive group testing problems. In the first part of the paper, we develop an algorithm with competitive constant c 1.452 thus improving the up to now best known algorithms with constants 1.5 epsilon from 2003. In the second part, we prove the first nontrivial lower bound for competitive constants, namely that c is always larger than 1.31.


Unimodality of the Expectation of Betti Numbers for Bernoulli Random Quota Complexes. We study certain random simplicial complexes, called random quota complexes. A quota complex on N 1 weighted vertices is constructed by adding an n simplex if the sum of the weights of the vertices is below a given quota, q . In this paper, the weights of the vertices are chosen i.i.d. with a Bernoulli distribution. The main result of this paper is that the expectation of the m textrm th Betti number, i.e., the dimension of the m textrm th homology group, is unimodal in m .


First bronze statue of Prof. Hideki Yukawa in Kochi. The first bronze statue of Prof. Hideki Yukawa, the first Nobel Prize laureate in Japan, is found to have been built in March 1954 in the Yasu elementary school in the countryside of Kochi pref cture in Shikoku Island, Japan. It is also found that the bust sculpture was unveiled with the attendance of Prof. Yukawa and his wife, who were invited by the local people, soon after their coming back to Japan from USA where they stayed for five years for research. This bust bronze statue was contributed by the local people of the elementary school more than 32 years earlier than the well known one of Prof. Yukawa built in 1986 by the Yukawa foundation in front of the Yukawa Hall, Yukawa Institute for Theoretical Physics, Kyoto University in Kyoto city. Why the statue was built in Kochi is unveiled and the historical background is discussed.


Gradient Induced Co Saliency Detection. Co saliency detection (Co SOD) aims to segment the common salient foreground in a group of relevant images. In this paper, inspired by human behavior, we propose a gradient induced co saliency detection (GICD) method. We first abstract a consensus representation for the grouped images in the embedding space then, by comparing the single image with consensus representation, we utilize the feedback gradient information to induce more attention to the discriminative co salient features. In addition, due to the lack of Co SOD training data, we design a jigsaw training strategy, with which Co SOD networks can be trained on general saliency datasets without extra pixel level annotations. To evaluate the performance of Co SOD methods on discovering the co salient object among multiple foregrounds, we construct a challenging CoCA dataset, where each image contains at least one extraneous foreground along with the co salient object. Experiments demonstrate that our GICD achieves state of the art performance. Our codes and dataset are available at https mmcheng.net gicd .


Humans learn too Better Human AI Interaction using Optimized Human Inputs. Humans rely more and more on systems with AI components. The AI community typically treats human inputs as a given and optimizes AI models only. This thinking is one sided and it neglects the fact that humans can learn, too. In this work, human inputs are optimized for better interaction with an AI model while keeping the model fixed. The optimized inputs are accompanied by instructions on how to create them. They allow humans to save time and cut on errors, while keeping required changes to original inputs limited. We propose continuous and discrete optimization methods modifying samples in an iterative fashion. Our quantitative and qualitative evaluation including a human study on different hand generated inputs shows that the generated proposals lead to lower error rates, require less effort to create and differ only modestly from the original samples.


Budgeted Training Rethinking Deep Neural Network Training Under Resource Constraints. In most practical settings and theoretical analyses, one assumes that a model can be trained until convergence. However, the growing complexity of machine learning datasets and models may violate such assumptions. Indeed, current approaches for hyper parameter tuning and neural architecture search tend to be limited by practical resource constraints. Therefore, we introduce a formal setting for studying training under the non asymptotic, resource constrained regime, i.e., budgeted training. We analyze the following problem "given a dataset, algorithm, and fixed resource budget, what is the best achievable performance?" We focus on the number of optimization iterations as the representative resource. Under such a setting, we show that it is critical to adjust the learning rate schedule according to the given budget. Among budget aware learning schedules, we find simple linear decay to be both robust and high performing. We support our claim through extensive experiments with state of the art models on ImageNet (image classification), Kinetics (video classification), MS COCO (object detection and instance segmentation), and Cityscapes (semantic segmentation). We also analyze our results and find that the key to a good schedule is budgeted convergence, a phenomenon whereby the gradient vanishes at the end of each allowed budget. We also revisit existing approaches for fast convergence and show that budget aware learning schedules readily outperform such approaches under (the practical but under explored) budgeted training setting.


Two constructions of asymptotically optimal codebooks via the trace functions. In this paper, we present two new constructions of complex codebooks with multiplicative characters, additive characters and trace functions over finite fields, and determine the maximal cross correlation amplitude of these codebooks. We prove that the codebooks we constructed are asymptotically optimal with respect to the Welch bound. Moreover, in the first construction, we generalize the result in 28 . In the second construction, we generalize the results in 12 , we can achieve Welch bound for any odd prime p, we also derive the whole distribution of their inner products. The parameters of these codebooks are new.


Exponential decay for negative feedback loop with distributed delay. We derive sufficient conditions for exponential decay of solutions of the delay negative feedback equation with distributed delay. The conditions are written in terms of exponential moments of the distribution. Our method only uses elementary tools of calculus and is robust towards possible extensions to more complex settings, in particular, systems of delay differential equations. We illustrate the applicability of the method to particular distributions Dirac delta, Gamma distribution, uniform and truncated normal distributions.


Workflow Automation for Cyber Physical System Development Processes. Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever increasing demands for improved performance, reduced cost, and more system autonomy. Each engineering discipline commonly relies on domain specific modeling languages, and analysis and execution of these models is often automated with appropriate tooling. However, integration between these heterogeneous models and tools is often lacking, and most of the burden for inter operation of these tools is placed on system developers. To address this problem, we introduce a workflow modeling language for the automation of complex CPS development processes and implement a platform for execution of these models in the Assurance based Learning enabled CPS (ALC) Toolchain. Several illustrative examples are provided which show how these workflow models are able to automate many time consuming integration tasks previously performed manually by system developers.


Dynamics of Kresling Origami Deployment. Origami inspired structures have a rich design space, offering new opportunities for the development of deployable systems that undergo large and complex yet predictable shape transformations. There has been growing interest in such structural systems that can extend uniaxially into tubes and booms. The Kresling origami pattern, which arises from the twist buckling of a thin cylinder and can exhibit multistability, offers great potential for this purpose. However, much remains to be understood regarding the characteristics of Kresling origami deployment. Prior studies have been limited to Kresling structures' kinematics, quasi static mechanics, or low amplitude wave responses, while their dynamic behaviors with large shape change during deployment remain unexplored. These dynamics are critical to the system design and control processes, but are complex due to the strong nonlinearity, bistability, and potential for off axis motions. To advance the state of the art, this research seeks to uncover the deployment dynamics of Kresling structures with various system geometries and operating strategies. A full, six degree of freedom model is developed and employed to provide insight into the axial and off axis dynamic responses, revealing that the variation of key geometric parameters may lead to regions with qualitatively distinct mechanical responses. Results illustrate the sensitivity of dynamic deployment to changes in initial condition and small variations in geometric design. Further, analyses show how certain geometries and configurations affect the stiffness of various axial and off axis deformation modes, offering guidance on the design of systems that deploy effectively while mitigating the effects of off axis disturbances. Overall, the research outcomes suggest the strong potential of Kresling based designs for deployable systems with robust and tunable performance.


An Enumerative Approach to P W . The P W conjecture identifies the perverse filtration of the Hitchin system on the cohomology of the moduli space of Higgs bundles with the weight filtration of the corresponding character variety. In this paper, we introduce an enumerative approach to to this problem our technique only uses the structure of the equivariant intersection numbers on the moduli space of Higgs bundles, and little information about the topology of the Hitchin map. In the rank 2 case, starting from the known intersection numbers of the moduli of stable bundles, we derive the equivariant intersection numbers on the Higgs moduli, and then verify the top perversity part of our enumerative P W statement for even tautological classes. A key in this calculation is the existence of polynomial solutions to the Discrete Heat Equation satisfying particular vanishing properties. For odd classes, we derive a determinantal criterion for the enumerative P W .


A white box analysis on the writer independent dichotomy transformation applied to offline handwritten signature verification. High number of writers, small number of training samples per writer with high intra class variability and heavily imbalanced class distributions are among the challenges and difficulties of the offline Handwritten Signature Verification (HSV) problem. A good alternative to tackle these issues is to use a writer independent (WI) framework. In WI systems, a single model is trained to perform signature verification for all writers from a dissimilarity space generated by the dichotomy transformation. Among the advantages of this framework is its scalability to deal with some of these challenges and its ease in managing new writers, and hence of being used in a transfer learning context. In this work, we present a white box analysis of this approach highlighting how it handles the challenges, the dynamic selection of references through fusion function, and its application for transfer learning. All the analyses are carried out at the instance level using the instance hardness (IH) measure. The experimental results show that, using the IH analysis, we were able to characterize "good" and "bad" quality skilled forgeries as well as the frontier region between positive and negative samples. This enables futures investigations on methods for improving discrimination between genuine signatures and skilled forgeries by considering these characterizations.


A Novel Method to Generate Key Dependent S Boxes with Identical Algebraic Properties. The s box plays the vital role of creating confusion between the ciphertext and secret key in any cryptosystem, and is the only nonlinear component in many block ciphers. Dynamic s boxes, as compared to static, improve entropy of the system, hence leading to better resistance against linear and differential attacks. It was shown in 2 that while incorporating dynamic s boxes in cryptosystems is sufficiently secure, they do not keep non linearity invariant. This work provides an algorithmic scheme to generate key dependent dynamic n times n clone s boxes having the same algebraic properties namely bijection, nonlinearity, the strict avalanche criterion (SAC), the output bits independence criterion (BIC) as of the initial seed s box. The method is based on group action of symmetric group S n and a subgroup S 2 n respectively on columns and rows of Boolean functions ( GF(2 n) to GF(2) ) of s box. Invariance of the bijection, nonlinearity, SAC, and BIC for the generated clone copies is proved. As illustration, examples are provided for n 8 and n 4 along with comparison of the algebraic properties of the clone and initial seed s box. The proposed method is an extension of 3,4,5,6 which involved group action of S 8 only on columns of Boolean functions ( GF(2 8) to GF(2) ) of s box. For n 4 , we have used an initial 4 times 4 s box constructed by Carlisle Adams and Stafford Tavares 7 to generated (4!) 2 clone copies. For n 8 , it can be seen 3,4,5,6 that the number of clone copies that can be constructed by permuting the columns is 8! . For each column permutation, the proposed method enables to generate 8! clone copies by permuting the rows.


Cooperative Pilot Spoofing in MU MIMO Systems. In this letter, we consider downlink transmission of a multiuser multiple input multiple output (MU MIMO) system with zero forcing (ZF) precoders in the presence of multiple attackers. We propose a cooperative pilot spoofing attack (CPSA), where the attackers collaboratively impair the channel estimations in the uplink channel training phase, aiming at deteriorating the downlink throughput of the whole cell. We first evaluate the impacts of CPSA on the channel estimation and the downlink ZF precoding design, and then we derive an analytical expression for the achievable downlink sum rate. Furthermore, we investigate the optimal attack strategy to minimize the achievable downlink sum rate. We show that the optimization problem under consideration is a convex one so the global optimum could be obtained conveniently. Numerical results show that the CPSA attack results in a severe performance deterioration with the increase in the attacking power and the number of attackers.


Gap results for free boundary CMC surfaces in conformally Euclidean three balls. In this work, we consider M ( mathbb B 3 r, bar g ) as the Euclidean three ball with radius r equipped with the metric bar g e 2h left langle , right rangle conformal to the Euclidean metric. We show that if a free boundary CMC surface Sigma in M satisfies a pinching condition on the length of the traceless second fundamental tensor which involves the support function of Sigma , the positional conformal vector field vec x and its potential function sigma, then either Sigma is a disk or Sigma is an annulus rotationally symmetric. In a particular case, we construct an example of minimal surface with strictly convex boundary in M , when M is the Gaussian space, that illustrate our results. These results extend to the CMC case and to many others different conformally Euclidean spaces the main result obtained by Haizhong Li and Changwei Xiong.


Rectangular diagrams of surfaces the basic moves. In earlier papers we introduced a representation of isotopy classes of compact surfaces embedded in the three sphere by so called rectangular diagrams. The formalism proved useful for comparing Legendrian knots. The aim of this paper is to prove a Reidemeister type theorem for rectangular diagrams of surfaces.


Optimization of Graph Total Variation via Active Set based Combinatorial Reconditioning. Structured convex optimization on weighted graphs finds numerous applications in machine learning and computer vision. In this work, we propose a novel adaptive preconditioning strategy for proximal algorithms on this problem class. Our preconditioner is driven by a sharp analysis of the local linear convergence rate depending on the "active set" at the current iterate. We show that nested forest decomposition of the inactive edges yields a guaranteed local linear convergence rate. Further, we propose a practical greedy heuristic which realizes such nested decompositions and show in several numerical experiments that our reconditioning strategy, when applied to proximal gradient or primal dual hybrid gradient algorithm, achieves competitive performances. Our results suggest that local convergence analysis can serve as a guideline for selecting variable metrics in proximal algorithms.


Deeply Matting based Dual Generative Adversarial Network for Image and Document Label Supervision. Although many methods have been proposed to deal with nature image super resolution (SR) and get impressive performance, the text images SR is not good due to their ignorance of document images. In this paper, we propose a matting based dual generative adversarial network (mdGAN) for document image SR. Firstly, the input image is decomposed into document text, foreground and background layers using deep image matting. Then two parallel branches are constructed to recover text boundary information and color information respectively. Furthermore, in order to improve the restoration accuracy of characters in output image, we use the input image's corresponding ground truth text label as extra supervise information to refine the two branch networks during training. Experiments on real text images demonstrate that our method outperforms several state of the art methods quantitatively and qualitatively.


Temporal Pyramid Network for Pedestrian Trajectory Prediction with Multi Supervision. Predicting human motion behavior in a crowd is important for many applications, ranging from the natural navigation of autonomous vehicles to intelligent security systems of video surveillance. All the previous works model and predict the trajectory with a single resolution, which is rather inefficient and difficult to simultaneously exploit the long range information (e.g., the destination of the trajectory), and the short range information (e.g., the walking direction and speed at a certain time) of the motion behavior. In this paper, we propose a temporal pyramid network for pedestrian trajectory prediction through a squeeze modulation and a dilation modulation. Our hierarchical framework builds a feature pyramid with increasingly richer temporal information from top to bottom, which can better capture the motion behavior at various tempos. Furthermore, we propose a coarse to fine fusion strategy with multi supervision. By progressively merging the top coarse features of global context to the bottom fine features of rich local context, our method can fully exploit both the long range and short range information of the trajectory. Experimental results on several benchmarks demonstrate the superiority of our method.


Data science and the art of modelling. Datacentric enthusiasm is growing strong across a variety of domains. Whilst data science asks unquestionably exciting scientific questions, we argue that its contributions should not be extrapolated from the scientific context in which they originate. In particular we suggest that the simple minded idea to the effect that data can be seen as a replacement for scientific modelling is not tenable. By recalling some well known examples from dynamical systems we conclude that data science performs at its best when coupled with the subtle art of modelling.


Large deviations built on max stability. In this paper, we show that the basic results in large deviations theory hold for general monetary risk measures, which satisfy the crucial property of max stability. A max stable monetary risk measure fulfills a lattice homomorphism property, and satisfies under a suitable tightness condition the Laplace Principle (LP), that is, admits a dual representation with affine convex conjugate. By replacing asymptotic concentration of probability by concentration of risk, we formulate a Large Deviation Principle (LDP) for max stable monetary risk measures, and show its equivalence to the LP. In particular, the special case of the asymptotic entropic risk measure corresponds to the classical Varadhan Bryc equivalence between the LDP and LP. The main results are illustrated by the asymptotic shortfall risk measure.


Persistence Curves A canonical framework for summarizing persistence diagrams. Persistence diagrams are one of the main tools in the field of Topological Data Analysis (TDA). They contain fruitful information about the shape of data. The use of machine learning algorithms on the space of persistence diagrams proves to be challenging as the space lacks an inner product. For that reason, transforming these diagrams in a way that is compatible with machine learning is an important topic currently researched in TDA. In this paper, our main contribution consists of three components. First, we develop a general and unifying framework of vectorizing diagrams that we call the textit Persistence Curves (PCs), and show that several well known summaries, such as Persistence Landscapes, fall under the PC framework. Second, we propose several new summaries based on PC framework and provide a theoretical foundation for their stability analysis. Finally, we apply proposed PCs to two applications texture classification and determining the parameters of a discrete dynamical system their performances are competitive with other TDA methods.


Proof of two supercongruences by the Wilf Zeilberger method. In this paper, we prove two supercongruences by the Wilf Zeilberger method. One of them is, for any prime p 3 , begin align sum n 0 (p 1) 2 frac 3n 1 ( 8) n binom 2n n 3 equiv p left( frac 1 p right) frac p 3 4 left( frac2p right)E p 3 left( frac14 right) pmod p 4 , end align where left( frac cdot p right) stands for the Legendre symbol, and E n (x) are the Euler polynomials. This congruence confirms a conjecture of Sun cite (2.18) sun numb 2019 with n 1 .


Singularities of the dual varieties associated to exterior representations 1. Dual Grassmannian. For a given irreducible projective variety X , the closure of the set of all hyperplanes containing tangents to X is the projectively dual variety X vee . We study the singular locus of projectively dual varieties of certain Segre Pl " u cker embeddings in series of papers. In this work we give a classification of the irreducible components of the singular locus of the dual Grassmannian. Basically, it admits two components cusp type and node type which are degeneracies of a certain Hessian matrix, and the closure of the set of tangent planes having more than one critical point, respectively. In particular we reproduce the result about the normality of the dual Grassmannian varieties.


Kirkman Systems that Attain the Upper Bound on the Minimum Block Sum, for Access Balancing in Distributed Storage. We study a class of combinatorial designs called Kirkman systems, and we show that infinitely many Kirkman systems are well distributed in a precise sense. Steiner triple systems of order n can achieve a minimum block sum of n . Kirkman triple systems form parallel classes from the blocks of Steiner triple systems. We prove that there are an infinite number of Kirkman triple systems that have a minimum block sum of n . We expand this to quadruple systems. These concepts can then be applied to distributed storage to spread data across the servers, and servers across locations, using Kirkman triple systems, while having data well distributed by popularity, measured by the minimum block sum.


Measuring Generalisation to Unseen Viewpoints, Articulations, Shapes and Objects for 3D Hand Pose Estimation under Hand Object Interaction. We study how well different types of approaches generalise in the task of 3D hand pose estimation under single hand scenarios and hand object interaction. We show that the accuracy of state of the art methods can drop, and that they fail mostly on poses absent from the training set. Unfortunately, since the space of hand poses is highly dimensional, it is inherently not feasible to cover the whole space densely, despite recent efforts in collecting large scale training datasets. This sampling problem is even more severe when hands are interacting with objects and or inputs are RGB rather than depth images, as RGB images also vary with lighting conditions and colors. To address these issues, we designed a public challenge (HANDS'19) to evaluate the abilities of current 3D hand pose estimators (HPEs) to interpolate and extrapolate the poses of a training set. More exactly, HANDS'19 is designed (a) to evaluate the influence of both depth and color modalities on 3D hand pose estimation, under the presence or absence of objects (b) to assess the generalisation abilities w.r.t. four main axes shapes, articulations, viewpoints, and objects (c) to explore the use of a synthetic hand model to fill the gaps of current datasets. Through the challenge, the overall accuracy has dramatically improved over the baseline, especially on extrapolation tasks, from 27mm to 13mm mean joint error. Our analyses highlight the impacts of Data pre processing, ensemble approaches, the use of a parametric 3D hand model (MANO), and different HPE methods backbones.


Two steps at a time taking GAN training in stride with Tseng's method. Motivated by the training of Generative Adversarial Networks (GANs), we study methods for solving minimax problems with additional nonsmooth regularizers. We do so by employing emph monotone operator theory, in particular the emph Forward Backward Forward (FBF) method, which avoids the known issue of limit cycling by correcting each update by a second gradient evaluation. Furthermore, we propose a seemingly new scheme which recycles old gradients to mitigate the additional computational cost. In doing so we rediscover a known method, related to emph Optimistic Gradient Descent Ascent (OGDA) . For both schemes we prove novel convergence rates for convex concave minimax problems via a unifying approach. The derived error bounds are in terms of the gap function for the ergodic iterates. For the deterministic and the stochastic problem we show a convergence rate of mathcal O (1 k) and mathcal O (1 sqrt k ) , respectively. We complement our theoretical results with empirical improvements in the training of Wasserstein GANs on the CIFAR10 dataset.


Strong Exciton Photon Coupling in Large Area MoSe 2 and WSe 2 Heterostructures Fabricated from Two Dimensional Materials Grown by Chemical Vapor Deposition. Two dimensional semiconducting transition metal dichalcogenides embedded in optical microcavities in the strong exciton photon coupling regime may lead to promising applications in spin and valley addressable polaritonic logic gates and circuits. One significant obstacle for their realization is the inherent lack of scalability associated with the mechanical exfoliation commonly used for fabrication of two dimensional materials and their heterostructures. Chemical vapor deposition offers an alternative scalable fabrication method for both monolayer semiconductors and other two dimensional materials, such as hexagonal boron nitride. Observation of the strong light matter coupling in chemical vapor grown transition metal dichalcogenides has been demonstrated so far in a handful of experiments with monolayer molybdenum disulfide and tungsten disulfide. Here we instead demonstrate the strong exciton photon coupling in microcavities comprising large area transition metal dichalcogenide hexagonal boron nitride heterostructures made from chemical vapor deposition grown molybdenum diselenide and tungsten diselenide encapsulated on one or both sides in continuous few layer boron nitride films also grown by chemical vapor deposition. These transition metal dichalcogenide hexagonal boron nitride heterostructures show high optical quality comparable with mechanically exfoliated samples, allowing operation in the strong coupling regime in a wide range of temperatures down to 4 Kelvin in tunable and monolithic microcavities, and demonstrating the possibility to successfully develop large area transition metal dichalcogenide based polariton devices.


Higher Auslander's formula. Let mathcal M be a small n abelian category. We show that the category of finitely presented functors mod mathcal M modulo the subcategory of effaceable functors mod 0 mathcal M has an n cluster tilting subcategory which is equivalent to mathcal M . This gives a higher dimensional version of Auslander's formula.


Theta lifting for tempered representations of real unitary groups. We study the theta lifting for real unitary groups and completely determine the theta lifts of tempered representations. In particular, we show that the theta lifts of (limits of) discrete series representations can be expressed as cohomologically induced representations in the weakly fair range. This extends a result of J. S. Li in the case of discrete series representations with sufficiently regular infinitesimal character, whose theta lifts can be expressed as cohomologically induced representations in the good range.


Assessing the Helpfulness of Review Content for Explaining Recommendations. Despite the maturity already achieved by recommender systems algorithms, little is known about how to obtain and provide users with a proper rationale for a recommendation. Transparency and effectiveness of recommender systems may be increased when explanations are provided. In particular, identifying of helpful argumentative content from reviews can be leveraged to generate textual explanations. In this paper, we investigate the reasons why a review might be considered helpful, and show that the perception of credibility and convincingness mediates the relationship between helpfulness and the perception of objectivity and relevant aspects addressed. Our findings led us to suggest an argumentbased approach to automatically extracting helpful content from hotel reviews, a domain that differs from those that best fit classical argumentation theories.


On the Phases of a Complex Matrix. In this paper, we define the phases of a complex sectorial matrix to be its canonical angles, which are uniquely determined from a sectorial decomposition of the matrix. Various properties of matrix phases are studied, including those of compressions, Schur complements, matrix products, and sums. In particular, by exploiting a notion known as the compound numerical range, we establish a majorization relation between the phases of the eigenvalues of AB and the phases of A and B . This is then applied to investigate the rank of I AB with phase information of A and B , which plays a crucial role in feedback stability analysis. A pair of problems banded sectorial matrix completion and decomposition is studied. The phases of the Kronecker and Hadamard products are also discussed.


Packing under Convex Quadratic Constraints. We consider a general class of binary packing problems with a convex quadratic knapsack constraint. We prove that these problems are APX hard to approximate and present constant factor approximation algorithms based upon three different algorithmic techniques (1) a rounding technique tailored to a convex relaxation in conjunction with a non convex relaxation whose approximation ratio equals the golden ratio (2) a greedy strategy (3) a randomized rounding leading to an approximation algorithm for the more general case with multiple convex quadratic constraints. We further show that a combination of the first two strategies can be used to yield a monotone algorithm leading to a strategyproof mechanism for a game theoretic variant of the problem. Finally, we present a computational study of the empirical approximation of the three algorithms for problem instances arising in the context of real world gas transport networks.


An upper bound for the clique number using clique ceiling numbers. In this article we present the idea of clique ceiling numbers of the vertices of a given graph that has a universal vertex. We follow up with a polynomial time algorithm to compute an upper bound for the clique number of such a graph using clique ceiling numbers. We compare this algorithm with some upper bound formulas for the clique number.


Weierstrass points at irregular cusps. In this paper, we prove that all irregular cusps on X 1(N) of genus geq2 are Weierstrass points except for X 1(18) . Also, for any positive integer N of the form p 2M with a prime p and a positive integer M , we obtain some results for when the irregular cusps of X 0(N) equivalent to left( begin smallmatrix 1 p end smallmatrix right) are Weierstrass points or not.


Wide angle spectrally selective absorbers and thermal emitters based on inverse opals. Engineered optical absorbers are of substantial interest for applications ranging from stray light reduction to energy conversion. We demonstrate a large area (centimeter scale) metamaterial that features near unity frequency selective absorption in the mid infrared wavelength range. The metamaterial comprises a self assembled porous structure known as an inverse opal, here made of silica. The structure's large volume fraction of voids, together with the vibrational resonances of silica in the mid infrared spectral range, reduce the metamaterial's refractive index to close to that of air and introduce considerable optical absorption. As a result, the frequency selective structure efficiently absorbs incident light of both polarizations even at very oblique incidence angles. The absorber remains stable at high temperatures (measured up to 900 degrees C), enabling its operation as a frequency selective thermal emitter. The excellent performance of this absorber emitter and ease of fabrication make it a promising surface coating for passive radiative cooling, laser safety, and other large area applications.


Bertrand's postulate and the existence of finite fields. This is an expository note discussing how the Erdos Ramanujan proof of Bertrand's postulate may be adapted to show the existence of finite fields.


Efficient Similarity aware Compression to Reduce Bit writes in Non Volatile Main Memory for Image based Applications. Image bitmaps have been widely used in in memory applications, which consume lots of storage space and energy. Compared with legacy DRAM, non volatile memories (NVMs) are suitable for bitmap storage due to the salient features in capacity and power savings. However, NVMs suffer from higher latency and energy consumption in writes compared with reads. Although compressing data in write accesses to NVMs on the fly reduces the bit writes in NVMs, existing precise or approximate compression schemes show limited performance improvements for data of bitmaps, due to the irregular data patterns and variance in data. We observe that the data containing bitmaps show the pixel level similarity due to the analogous contents in adjacent pixels. By exploiting the pixel level similarity, we propose SimCom, an efficient similarity aware compression scheme in hardware layer, to compress data for each write access on the fly. The idea behind SimCom is to compress continuous similar words into the pairs of base words with runs. With the aid of domain knowledge of images, SimCom adaptively selects an appropriate compression mode to achieve an efficient trade off between image quality and memory performance. We implement SimCom on GEM5 with NVMain and evaluate the performance with real world workloads. Our results demonstrate that SimCom reduces 33.0 , 34.8 write latency and saves 28.3 , 29.0 energy than state of the art FPC and BDI with minor quality loss of 3 .


Warning Signs in Communicating the Machine Learning Detection Results of Misinformation with Individuals. With the prevalence of misinformation online, researchers have focused on developing various machine learning algorithms to detect fake news. However, users' perception of machine learning outcomes and related behaviors have been widely ignored. Hence, this paper proposed to bridge this gap by studying how to pass the detection results of machine learning to the users, and aid their decisions in handling misinformation. An online experiment was conducted, to evaluate the effect of the proposed machine learning warning sign against a control condition. We examined participants' detection and sharing of news. The data showed that warning sign's effects on participants' trust toward the fake news were not significant. However, we found that people's uncertainty about the authenticity of the news dropped with the presence of the machine learning warning sign. We also found that social media experience had effects on users' trust toward the fake news, and age and social media experience had effects on users' sharing decision. Therefore, the results indicate that there are many factors worth studying that affect people's trust in the news. Moreover, the warning sign in communicating machine learning detection results is different from ordinary warnings and needs more detailed research and design. These findings hold important implications for the design of machine learning warnings.


Robin spectrum two disks maximize the third eigenvalue. The third eigenvalue of the Robin Laplacian on a simply connected planar domain of given area is bounded above by the third eigenvalue of a disjoint union of two disks, provided the Robin parameter lies in a certain range and is scaled in each case by the length of the boundary. Equality is achieved when the domain degenerates suitably to the two disks.


Transport under advective trapping. Advective trapping occurs when solute enters low velocity zones in heterogeneous porous media. Classical local modeling approaches combine the impact of slow advection and diffusion into a hydrodynamic dispersion coefficient and many temporally non local approaches lump these mechanisms into a single memory function. This joint treatment makes parameterization difficult and thus prediction of large scale transport a challenge. Here we investigate the mechanisms of advective trapping and their impact on transport in media composed of a high conductivity background and isolated low permeability inclusions. Breakthrough curves show that effective transport changes from a streamtube like behavior to genuine random trapping as the degree of disorder of the inclusion arrangement increases. We upscale this behavior using a Lagrangian view point, in which idealized solute particles transition over a fixed distance at random advection times combined with Poissonian advective trapping events. We discuss the mathematical formulation of the upscaled model in the continuous time random walk and mobile immobile mass transfer frameworks, and derive a model for large scale solute non Fickian dispersion. These findings give new insight into transport in highly heterogeneous media.


Optimal ratcheting of dividends in a Brownian risk model. We study the problem of optimal dividend payout from a surplus process governed by Brownian motion with drift under the additional constraint of ratcheting, i.e. the dividend rate can never decrease. We solve the resulting two dimensional optimal control problem, identifying the value function to be the unique viscosity solution of the corresponding Hamilton Jacobi Bellman equation. For finitely many admissible dividend rates we prove that threshold strategies are optimal, and for any finite continuum of admissible dividend rates we establish the varepsilon optimality of curve strategies. This work is a counterpart of Albrecher et al. (2020), where the ratcheting problem was studied for a compound Poisson surplus process with drift. In the present Brownian setup, calculus of variation techniques allow to obtain a much more explicit analysis and description of the optimal dividend strategies. We also give some numerical illustrations of the optimality results.


Conjecture A and mu invariant for Selmer groups of supersingular elliptic curves. Let p be an odd prime and let E be an elliptic curve defined over a number field F with good reduction at primes above p . In this survey article, we give an overview of some of the important results proven for the fine Selmer group and the signed Selmer groups over cyclotomic towers as well as the signed Selmer groups over mathbb Z p 2 extensions of an imaginary quadratic field where p splits completely. We only discuss the algebraic aspects of these objects through Iwasawa theory. We also attempt to give some of the recent results implying the vanishing of the mu invariant under the hypothesis of Conjecture A. Moreover, we draw an analogy between the classical Selmer group in the ordinary reduction case and that of the signed Selmer groups of Kobayashi in the supersingular reduction case. We highlight properties of signed Selmer groups (when E has good supersingular reduction) which are completely analogous to the classical Selmer group (when E has good ordinary reduction). In this survey paper, we do not present any proofs, however we have tried to give references of the discussed results for the interested reader.


ReAD A Regional Anomaly Detection Framework Based on Dynamic Partition. The detection of the abnormal area from urban data is a significant research problem. However, to the best of our knowledge, previous methods designed on spatio temporal anomalies are road based or grid based, which usually causes the data sparsity problem and affects the detection results. In this paper, we proposed a dynamic region partition method to address the above issues. Besides, we proposed an unsupervised REgional Anomaly Detection framework (ReAD) to detect abnormal regions with arbitrary shapes by jointly considering spatial and temporal properties. Specifically, the proposed framework first generate regions via a dynamic region partition method. It keeps that observations in the same region have adjacent locations and similar non spatial attribute readings, and could alleviate data sparsity and heterogeneity compared with the grid based approach. Then, an anomaly metric will be calculated for each region by a regional divergence calculation method. The abnormal regions could be finally detected by a weighted approach or a wavy approach according to the different scenario. Experiments on both the simulated dataset and real world applications demonstrate the effectiveness and practicability of the proposed framework.


A short note on Manin Mumford. We give a short proof of Manin Mumford in the multiplicative group based on the pigeon hole principle and the so called structure theorem for anomalous subvarieties. The arguments appear to be new and perhaps applicable in other situations.


Magnetic helicity signature and its role in regulating magnetic energy spectra and proton temperatures in the solar wind. In a previous paper, we found that proton temperatures are clearly associated with the proton scale turbulence in the solar wind, and magnetic helicity signature appears to be an important indicator in the association. Based on 15 years of in situ measurements, the present paper further investigates the magnetic helicity of solar wind turbulence and its role in regulating magnetic energy spectra and proton temperatures. Results show that the presence of the helicity signature is very common in solar wind turbulence at scales 0.3 lesssim k rho p lesssim 1 , with k being the wavenumber and rho p the proton gyroradius. The sign of the helicity is mostly positive, indicating the dominance of right handed polarization of the turbulence. The helicity magnitude usually increases with k and beta parallel p (the proton parallel beta) when k rho p and beta parallel p are less than unity. As helicity magnitude increases, the power index of the energy spectrum becomes more negative, and the proton temperatures T perp p and T parallel p rise significantly, where T perp p and T parallel p are the perpendicular and parallel temperatures with respect to the background magnetic field. In particular, the rise of T perp p is faster than T parallel p when beta parallel p 1 is satisfied. The faster rise of T perp p with the helicity magnitude may be interpreted as the result of the preferentially perpendicular heating of solar wind protons by kinetic Alfv 'en wave (KAW) turbulence.


Probabilistic Top k Dominating Query Monitoring over Multiple Uncertain IoT Data Streams in Edge Computing Environments. Extracting the valuable features and information in Big Data has become one of the important research issues in Data Science. In most Internet of Things (IoT) applications, the collected data are uncertain and imprecise due to sensor device variations or transmission errors. In addition, the sensing data may change as time evolves. We refer an uncertain data stream as a dataset that has velocity, veracity, and volume properties simultaneously. This paper employs the parallelism in edge computing environments to facilitate the top k dominating query process over multiple uncertain IoT data streams. The challenges of this problem include how to quickly update the result for processing uncertainty and reduce the computation cost as well as provide highly accurate results. By referring to the related existing papers for certain data, we provide an effective probabilistic top k dominating query process on uncertain data streams, which can be parallelized easily. After discussing the properties of the proposed approach, we validate our methods through the complexity analysis and extensive simulated experiments. In comparison with the existing works, the experimental results indicate that our method can improve almost 60 computation time, reduce nearly 20 communication cost between servers, and provide highly accurate results in most scenarios.


KarNet An Efficient Boolean Function Simplifier. Many approaches such as Quine McCluskey algorithm, Karnaugh map solving, Petrick's method and McBoole's method have been devised to simplify Boolean expressions in order to optimize hardware implementation of digital circuits. However, the algorithmic implementations of these methods are hard coded and also their computation time is proportional to the number of minterms involved in the expression. In this paper, we propose KarNet, where the ability of Convolutional Neural Networks to model relationships between various cell locations and values by capturing spatial dependencies is exploited to solve Karnaugh maps. In order to do so, a Karnaugh map is represented as an image signal, where each cell is considered as a pixel. Experimental results show that the computation time of KarNet is independent of the number of minterms and is of the order of one hundredth to one tenth that of the rule based methods. KarNet being a learned system is found to achieve nearly a hundred percent accuracy, precision, and recall. We train KarNet to solve four variable Karnaugh maps and also show that a similar method can be applied on Karnaugh maps with more variables. Finally, we show a way to build a fully accurate and computationally fast system using KarNet.


Universal chosen ciphertext attack for a family of image encryption schemes. During the past decades, there is a great popularity employing nonlinear dynamics and permutation substitution architecture for image encryption. There are three primary procedures in such encryption schemes, the key schedule module for producing encryption factors, permutation for image scrambling and substitution for pixel modification. Under the assumption of chosen ciphertext attack, we evaluate the security of a class of image ciphers which adopts pixel level permutation and modular addition for substitution. It is mathematically revealed that the mapping from differentials of ciphertexts to those of plaintexts are linear and has nothing to do with the key schedules, permutation techniques and encryption rounds. Moreover, a universal chosen ciphertext attack is proposed and validated. Experimental results demonstrate that the plaintexts can be directly reconstructed without any security key or encryption elements. Related cryptographic discussions are also given.


From Simulation to Real World Maneuver Execution using Deep Reinforcement Learning. Deep Reinforcement Learning has proved to be able to solve many control tasks in different fields, but the behavior of these systems is not always as expected when deployed in real world scenarios. This is mainly due to the lack of domain adaptation between simulated and real world data together with the absence of distinction between train and test datasets. In this work, we investigate these problems in the autonomous driving field, especially for a maneuver planning module for roundabout insertions. In particular, we present a system based on multiple environments in which agents are trained simultaneously, evaluating the behavior of the model in different scenarios. Finally, we analyze techniques aimed at reducing the gap between simulated and real world data showing that this increased the generalization capabilities of the system both on unseen and real world scenarios.


On the complexity of acyclic modules in automata networks. Modules were introduced as an extension of Boolean automata networks. They have inputs which are used in the computation said modules perform, and can be used to wire modules with each other. In the present paper we extend this new formalism and study the specific case of acyclic modules. These modules prove to be well described in their limit behavior by functions called output functions. We provide other results that offer an upper bound on the number of attractors in an acyclic module when wired recursively into an automata network, alongside a diversity of complexity results around the difficulty of deciding the existence of cycles depending on the number of inputs and the size of said cycle.


Cosheaf Representations of Relations and Dowker Complexes. The Dowker complex is an abstract simplicial complex that is constructed from a binary relation in a straightforward way. Although there are two ways to perform this construction vertices for the complex are either the rows or the columns of the matrix representing the relation the two constructions are homotopy equivalent. This article shows that the construction of a Dowker complex from a relation is a non faithful covariant functor. Furthermore, we show that this functor can be made faithful by enriching the construction into a cosheaf on the Dowker complex. The cosheaf can be summarized by an integer weight function on the Dowker complex that is a complete isomorphism invariant for the relation. The cosheaf representation of a relation actually embodies both Dowker complexes, and we construct a duality functor that exchanges the two complexes. Finally, we explore a different cosheaf that detects the failure of the Dowker complex itself to be a faithful functor.


Brauer and Etale Homotopy Obstructions to Rational Points on Open Covers. In 2010, Poonen gave the first example of failure of the local global principle that cannot be explained by Skorobogatov's 'etale Brauer Manin obstruction. Motivated by this example, we show that the Brauer Manin obstruction detects non existence of rational points on a sufficiently fine Zariski open cover of any variety over an imaginary quadratic or totally real field. We provide some evidence for why this is expected to happen more generally over any number field, some of which relates to the section conjecture in anabelian geometry. We then prove a result about the behavior of the 'etale Brauer obstruction in fibrations of varieties using the 'etale homotopy obstruction of Harpaz and the second author. We finally use that result and other techniques to further analyze Poonen's example in light of our general results.


Disentangled Planning and Control in Vision Based Robotics via Reward Machines. In this work we augment a Deep Q Learning agent with a Reward Machine (DQRM) to increase speed of learning vision based policies for robot tasks, and overcome some of the limitations of DQN that prevent it from converging to good quality policies. A reward machine (RM) is a finite state machine that decomposes a task into a discrete planning graph and equips the agent with a reward function to guide it toward task completion. The reward machine can be used for both reward shaping, and informing the policy what abstract state it is currently at. An abstract state is a high level simplification of the current state, defined in terms of task relevant features. These two supervisory signals of reward shaping and knowledge of current abstract state coming from the reward machine complement each other and can both be used to improve policy performance as demonstrated on several vision based robotic pick and place tasks. Particularly for vision based robotics applications, it is often easier to build a reward machine than to try and get a policy to learn the task without this structure.


Design Theory and some Forbidden Configurations. In this paper we relate t designs to a forbidden configuration problem in extremal set theory. Let 1 t 0 l denote a column of t 1's on top of l 0's. We assume t l. Let q. (1 t 0 l) denote the (t l)xq matrix consisting of t rows of q 1's and l rows of q 0's. We consider extremal problems for matrices avoiding certain submatrices. Let A be a (0,1) matrix forbidding any (t l)x( lambda 2) submatrix ( lambda 2). (1 t 0 l) . Assume A is m rowed and only columns of sum t 1,t 2,... ,m l are allowed to be repeated. Assume that A has the maximum number of columns subject to the given restrictions. Assume m is sufficiently large. Then A has each column of sum 0,1,... ,t and m l 1,m l 2,..., m exactly once and, given the appropriate divisibility condition, the columns of sum t 1 correspond to a t design with block size t 1 and parameter lambda and there are no other columns. The proof derives a basic upper bound on the number of columns of A by a pigeonhole argument and then a careful argument, for large m, reduces the bound by a substantial amount down to the value given by design based constructions. We extend in a few directions.


Edge based analysis of networks Curvatures of graphs and hypergraphs. The relations, rather than the elements, constitute the structure of networks. We therefore develop a systematic approach to the analysis of networks, modelled as graphs or hypergraphs, that is based on structural properties of (hyper)edges, instead of vertices. For that purpose, we utilize so called network curvatures. These curvatures quantify the local structural properties of (hyper)edges, that is, how, and how well, they are connected to others. In the case of directed networks, they assess the input they receive and the output they produce, and relations between them. With those tools, we can investigate biological networks. As examples, we apply our methods here to protein protein interaction, transcriptional regulatory and metabolic networks.


Learning Pixel Representations for Generic Segmentation. Deep learning approaches to generic (non semantic) segmentation have so far been indirect and relied on edge detection. This is in contrast to semantic segmentation, where DNNs are applied directly. We propose an alternative approach called Deep Generic Segmentation (DGS) and try to follow the path used for semantic segmentation. Our main contribution is a new method for learning a pixel wise representation that reflects segment relatedness. This representation is combined with a CRF to yield the segmentation algorithm. We show that we are able to learn meaningful representations that improve segmentation quality and that the representations themselves achieve state of the art segment similarity scores. The segmentation results are competitive and promising.


Novel Bounded Binary Addition Tree Algorithm for Binary State Network Reliability Problems. Many network applications are based on binary state networks, where each component has one of two states success or failure. Efficient algorithms to evaluate binary state network reliability are continually being developed. Reliability estimates the probability of the success state and is an effective and popular evaluation technique for binary state networks. Binary addition tree (BAT) algorithms are frequently used to calculate the efficiency and reliability of binary state networks. In this study, we propose a novel, bounded BAT algorithm that employs three novel concepts the first connected vector, the last disconnected vector, and super vectors. These vectors and the calculations of their occurrent probabilities narrow the search space and simplify the probability calculations to reduce the run time of the algorithm. Moreover, we show that replacing each undirected arc with two directed arcs, which is required in traditional direct methods, is unnecessary in the proposed algorithm. We call this novel concept the undirected vectors. The performance of the proposed bounded BAT algorithm was verified experimentally by solving a benchmark set of problems.


Covariance free Partial Least Squares An Incremental Dimensionality Reduction Method. Dimensionality reduction plays an important role in computer vision problems since it reduces computational cost and is often capable of yielding more discriminative data representation. In this context, Partial Least Squares (PLS) has presented notable results in tasks such as image classification and neural network optimization. However, PLS is infeasible on large datasets, such as ImageNet, because it requires all the data to be in memory in advance, which is often impractical due to hardware limitations. Additionally, this requirement prevents us from employing PLS on streaming applications where the data are being continuously generated. Motivated by this, we propose a novel incremental PLS, named Covariance free Incremental Partial Least Squares (CIPLS), which learns a low dimensional representation of the data using a single sample at a time. In contrast to other state of the art approaches, instead of adopting a partially discriminative or SGD based model, we extend Nonlinear Iterative Partial Least Squares (NIPALS) the standard algorithm used to compute PLS for incremental processing. Among the advantages of this approach are the preservation of discriminative information across all components, the possibility of employing its score matrices for feature selection, and its computational efficiency. We validate CIPLS on face verification and image classification tasks, where it outperforms several other incremental dimensionality reduction techniques. In the context of feature selection, CIPLS achieves comparable results when compared to state of the art techniques.


An improved lower bound of Heilbronn's triangle problem. Using the method of compression we improve on the current lower bound of Heilbronn's triangle problem. In particular, by letting Delta(s) denotes the minimal area of the triangle induced by s points in a unit disc. Then we have the lower bound begin align Delta(s) gg frac log s s sqrt s . nonumber end align


DCO Analyzer Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios. To ensure interoperability and the correct behavior of heterogeneous distributed systems in key scenarios, it is important to conduct automated integration tests, based on distributed test components (called local testers) that are deployed close to the system components to simulate inputs from the environment and monitor the interactions with the environment and other system components. We say that a distributed test scenario is locally controllable and locally observable if test inputs can be decided locally and conformance errors can be detected locally by the local testers, without the need for exchanging coordination messages between the test components during test execution (which may reduce the responsiveness and fault detection capability of the test harness). DCO Analyzer is the first tool that checks if distributed test scenarios specified by means of UML sequence diagrams exhibit those properties, and automatically determines a minimum number of coordination messages to enforce them.


Adaptive Weighted Discriminator for Training Generative Adversarial Networks. Generative adversarial network (GAN) has become one of the most important neural network models for classical unsupervised machine learning. A variety of discriminator loss functions have been developed to train GAN's discriminators and they all have a common structure a sum of real and fake losses that only depends on the actual and generated data respectively. One challenge associated with an equally weighted sum of two losses is that the training may benefit one loss but harm the other, which we show causes instability and mode collapse. In this paper, we introduce a new family of discriminator loss functions that adopts a weighted sum of real and fake parts, which we call adaptive weighted loss functions or aw loss functions. Using the gradients of the real and fake parts of the loss, we can adaptively choose weights to train a discriminator in the direction that benefits the GAN's stability. Our method can be potentially applied to any discriminator model with a loss that is a sum of the real and fake parts. Experiments validated the effectiveness of our loss functions on an unconditional image generation task, improving the baseline results by a significant margin on CIFAR 10, STL 10, and CIFAR 100 datasets in Inception Scores and FID.