Motivated exposition of the proof of the Tverberg Theorem. We present a motivated exposition of the proof of the following Tverberg Theorem For every integers d,r any (d 1)(r 1) 1 points in mathbb R d can be decomposed into r groups such that all the r convex hulls of the groups have a common point. The proof is by well known reduction to the B 'ar 'any Theorem. However, our exposition is easier to grasp because additional constructions (of an embedding mathbb R d subset mathbb R d 1 , of vectors varphi j,i and statement of the Bara 'ny Theorem) are not introduced in advance in a non motivated way, but naturally appear in an attempt to construct the required decomposition. This attempt is based on rewriting several equalities between vectors as one equality between vectors of higher dimension.


BanFakeNews A Dataset for Detecting Fake News in Bangla. Observing the damages that can be done by the rapid propagation of fake news in various sectors like politics and finance, automatic identification of fake news using linguistic analysis has drawn the attention of the research community. However, such methods are largely being developed for English where low resource languages remain out of the focus. But the risks spawned by fake and manipulative news are not confined by languages. In this work, we propose an annotated dataset of 50K news that can be used for building automated fake news detection systems for a low resource language like Bangla. Additionally, we provide an analysis of the dataset and develop a benchmark system with state of the art NLP techniques to identify Bangla fake news. To create this system, we explore traditional linguistic features and neural network based methods. We expect this dataset will be a valuable resource for building technologies to prevent the spreading of fake news and contribute in research with low resource languages.


Challenges and the next transformative steps in understanding plasma turbulence from the perspective of multi spacecraft measurements. We have become heavily reliant on electrical technologies, from power grids to GPS to wireless communication. Any disruption of these systems will have severe global consequences. A major natural hazard for such electrical disruption is caused by solar wind disturbances that have dramatic geospace impact.Estimates are that a solar storm of the magnitude of the 1859 Carrington Solar Superstorm would cause over 2 trillion in damage today. In July 23, 2012, we had a near miss of a solar Superstorm that could have broken the record of largest such storms at Earth. To enable pre emptive measures, developing accurate space weather forecasts is urgent. At the core of space weather forecasts is plasma physics, and kinetic turbulence, in particular. For example, the intense turbulence stirred up at the bow shock and foreshock have been shown to open up pathways for high velocity solar wind parcels to bypass the protective shield of the terrestrial magnetosphere and create disturbances in the ionosphere and lower atmosphere. A primary challenge in understanding kinetic turbulence and its global implications is its multi scale nature, spanning from electron scales to macro scales of the magnetosphere. Current four spacecraft missions with 3D formations, the Magnetospheric Multiscale (MMS) and Cluster, have made progress in our understanding of such turbulence. Yet the limitation of a fixed spacecraft formation size at a given time prohibits probing the multi scale nature as well as the dynamical evolution of the phenomena. A transformative leap in our understanding of turbulence is expected with in situ probes populating a 3D volume and forming multiple 'n hedrons (n 4)' in MHD to kinetic scales.


Fast Subgraph Matching by Exploiting Search Failures. Subgraph matching is a compute intensive problem that asks to enumerate all the isomorphic embeddings of a query graph within a data graph. This problem is generally solved with backtracking, which recursively evolves every possible partial embedding until it becomes an isomorphic embedding or is found unable to become it. While existing methods reduce the search space by analyzing graph structures before starting the backtracking, it is often ineffective for complex graphs. In this paper, we propose an efficient algorithm for subgraph matching that performs on the fly pruning during the backtracking. Our main idea is to learn from failure'. That is, our algorithm generates failure patterns when a partial embedding is found unable to become an isomorphic embedding. Then, in the subsequent process of the backtracking, our algorithm prunes partial embeddings matched with a failure pattern. This pruning does not change the result because failure patterns are designed to represent the conditions that never yield an isomorphic embedding. Additionally, we introduce an efficient representation of failure patterns for constant time pattern matching. The experimental results show that our method improves the performance by up to 10000 times than existing methods.


Where is the context? A critique of recent dialogue datasets. Recent dialogue datasets like MultiWOZ 2.1 and Taskmaster 1 constitute some of the most challenging tasks for present day dialogue models and, therefore, are widely used for system evaluation. We identify several issues with the above mentioned datasets, such as history independence, strong knowledge base dependence, and ambiguous system responses. Finally, we outline key desiderata for future datasets that we believe would be more suitable for the construction of conversational artificial intelligence.


On the l.c.m. of shifted Fibonacci numbers. Let (F n) n geq 1 be the sequence of Fibonacci numbers. Guy and Matiyasevich proved that begin equation log operatorname lcm (F 1, F 2, dots, F n) sim frac 3 log alpha pi 2 cdot n 2 quad text as n to infty, end equation where operatorname lcm is the least common multiple and alpha big(1 sqrt 5 ) 2 is the golden ratio. We prove that for every periodic sequence mathbf s (s n) n geq 1 in 1, 1 there exists an effectively computable rational number C mathbf s 0 such that begin equation log operatorname lcm (F 3 s 3, F 4 s 4, dots, F n s n) sim frac 3 log alpha pi 2 cdot C mathbf s cdot n 2 , quad text as n to infty . end equation Moreover, we show that if (s n) n geq 1 is a sequence of independent uniformly distributed random variables in 1, 1 then begin equation mathbb E big log operatorname lcm (F 3 s 3, F 4 s 4, dots, F n s n) big sim frac 3 log alpha pi 2 cdot frac 15 operatorname Li 2(1 16) 2 cdot n 2 , quad text as n to infty , end equation where operatorname Li 2 is the dilogarithm function.


Deep Neural Networks for Nonlinear Model Order Reduction of Unsteady Flows. Unsteady fluid systems are nonlinear high dimensional dynamical systems that may exhibit multiple complex phenomena both in time and space. Reduced Order Modeling (ROM) of fluid flows has been an active research topic in the recent decade with the primary goal to decompose complex flows to a set of features most important for future state prediction and control, typically using a dimensionality reduction technique. In this work, a novel data driven technique based on the power of deep neural networks for reduced order modeling of the unsteady fluid flows is introduced. An autoencoder network is used for nonlinear dimension reduction and feature extraction as an alternative for singular value decomposition (SVD). Then, the extracted features are used as an input for long short term memory network (LSTM) to predict the velocity field at future time instances. The proposed autoencoder LSTM method is compared with non intrusive reduced order models based on dynamic mode decomposition (DMD) and proper orthogonal decomposition (POD). Moreover, an autoencoder DMD algorithm is introduced for reduced order modeling, which uses the autoencoder network for dimensionality reduction rather than SVD rank truncation. Results show that the autoencoder LSTM method is considerably capable of predicting fluid flow evolution, where higher values for coefficient of determination R 2 are obtained using autoencoder LSTM compared to other models.


On the nonabelian cohomology with coefficients in a crossed module. This paper is concerned with the nonabelian cohomology of groups with coefficients in crossed modules. These objects were introduced by Dedecker and studied by Breen, Borovoi, Noohi and many others. In this paper we study several important objects that are classified by these cohomologies and for them we develop a theory similar to the Schreier obstruction theory of group extensions.


Partial Regularity for Harmonic Maps into Spheres at a Singular or Degenerate Free Boundary. We prove partial regularity of weakly stationary harmonic maps with (partially) free boundary data on manifolds where the domain metric may degenerate or become singular along the free boundary at the rate d alpha for the distance function d from the boundary.


Convergence of a finite element method on a Bakhvalov type mesh for a singularly perturbed convection diffusion equation in 2D. A finite element method of any order is applied on a Bakhvalov type mesh to solve a singularly perturbed convection diffusion equation in 2D, whose solution exhibits exponential boundary layers. A uniform convergence of (almost) optimal order is proved by means of a carefully defined interpolant.


Machine Learning in Airline Crew Pairing to Construct Initial Clusters for Dynamic Constraint Aggregation. The crew pairing problem (CPP) is generally modelled as a set partitioning problem where the flights have to be partitioned in pairings. A pairing is a sequence of flight legs separated by connection time and rest periods that starts and ends at the same base. Because of the extensive list of complex rules and regulations, determining whether a sequence of flights constitutes a feasible pairing can be quite difficult by itself, making CPP one of the hardest of the airline planning problems. In this paper, we first propose to improve the prototype Baseline solver of Desaulniers et al. (2020) by adding dynamic control strategies to obtain an efficient solver for large scale CPPs Commercial GENCOL DCA. These solvers are designed to aggregate the flights covering constraints to reduce the size of the problem. Then, we use machine learning (ML) to produce clusters of flights having a high probability of being performed consecutively by the same crew. The solver combines several advanced Operations Research techniques to assemble and modify these clusters, when necessary, to produce a good solution. We show, on monthly CPPs with up to 50 000 flights, that Commercial GENCOL DCA with clusters produced by ML based heuristics outperforms Baseline fed by initial clusters that are pairings of a solution obtained by rolling horizon with GENCOL. The reduction of solution cost averages between 6.8 and 8.52 , which is mainly due to the reduction in the cost of global constraints between 69.79 and 78.11 .


Comparison of arithmetic Brauer groups with geometric Brauer groups. Let X be a projective and smooth variety over a field k . The goal of this paper is to prove that the cokernel of the canonical map Br(X) to Br(X k s ) G k has a finite exponent. Both groups are natural invariants arising from consideration of the Tate conjecture of divisors over X .


Can AI Generate Love Advice? Toward Neural Answer Generation for Non Factoid Questions. Deep learning methods that extract answers for non factoid questions from QA sites are seen as critical since they can assist users in reaching their next decisions through conversations with AI systems. The current methods, however, have the following two problems (1) They can not understand the ambiguous use of words in the questions as word usage can strongly depend on the context. As a result, the accuracies of their answer selections are not good enough. (2) The current methods can only select from among the answers held by QA sites and can not generate new ones. Thus, they can not answer the questions that are somewhat different with those stored in QA sites. Our solution, Neural Answer Construction Model, tackles these problems as it (1) Incorporates the biases of semantics behind questions into word embeddings while also computing them regardless of the semantics. As a result, it can extract answers that suit the contexts of words used in the question as well as following the common usage of words across semantics. This improves the accuracy of answer selection. (2) Uses biLSTM to compute the embeddings of questions as well as those of the sentences often used to form answers. It then simultaneously learns the optimum combination of those sentences as well as the closeness between the question and those sentences. As a result, our model can construct an answer that corresponds to the situation that underlies the question it fills the gap between answer selection and generation and is the first model to move beyond the current simple answer selection model for non factoid QAs. Evaluations using datasets created for love advice stored in the Japanese QA site, Oshiete goo, indicate that our model achieves 20 higher accuracy in answer creation than the strong baselines. Our model is practical and has already been applied to the love advice service in Oshiete goo.


Cold Storage Data Archives More Than Just a Bunch of Tapes. The abundance of available sensor and derived data from large scientific experiments, such as earth observation programs, radio astronomy sky surveys, and high energy physics already exceeds the storage hardware globally fabricated per year. To that end, cold storage data archives are the often overlooked spearheads of modern big data analytics in scientific, data intensive application domains. While high performance data analytics has received much attention from the research community, the growing number of problems in designing and deploying cold storage archives has only received very little attention. In this paper, we take the first step towards bridging this gap in knowledge by presenting an analysis of four real world cold storage archives from three different application domains. In doing so, we highlight (i) workload characteristics that differentiate these archives from traditional, performance sensitive data analytics, (ii) design trade offs involved in building cold storage systems for these archives, and (iii) deployment trade offs with respect to migration to the public cloud. Based on our analysis, we discuss several other important research challenges that need to be addressed by the data management community.


Ribbon cobordisms between lens spaces. We determine when there exists a ribbon rational homology cobordism between two connected sums of lens spaces, i.e. one without 3 handles. In particular, we show that if a lens space L admits a ribbon rational homology cobordism to a different lens space, then L must be homeomorphic to L(n,1) , up to orientation reversal. As an application, we classify ribbon chi concordances between connected sums of 2 bridge links. Our work builds on Lisca's work on embeddings of linear lattices.


Applying Machine Learning Techniques for Caching in Edge Networks A Comprehensive Survey. Edge networking is a complex and dynamic computing paradigm that aims to push cloud resources closer to the end user improving responsiveness and reducing backhaul traffic. User mobility, preferences, and content popularity are the dominant dynamic features of edge networks. Temporal and social features of content, such as the number of views and likes are leveraged to estimate the popularity of content from a global perspective. However, such estimates should not be mapped to an edge network with particular social and geographic characteristics. In next generation edge networks, i.e., 5G and beyond 5G, machine learning techniques can be applied to predict content popularity based on user preferences, cluster users based on similar content interests, and optimize cache placement and replacement strategies provided a set of constraints and predictions about the state of the network. These applications of machine learning can help identify relevant content for an edge network. This article investigates the application of machine learning techniques for in network caching in edge networks. We survey recent state of the art literature and formulate a comprehensive taxonomy based on (a) machine learning technique (method, objective, and features), (b) caching strategy (policy, location, and replacement), and (c) edge network (type and delivery strategy). A comparative analysis of the state of the art literature is presented with respect to the parameters identified in the taxonomy. Moreover, we debate research challenges and future directions for optimal caching decisions and the application of machine learning in edge networks.


CobWeb A Research Prototype for Exploring User Bias in Political Fact Checking. The effect of user bias in fact checking has not been explored extensively from a user experience perspective. We estimate the user bias as a function of the user's perceived reputation of the news sources (e.g., a user with liberal beliefs may tend to trust liberal sources). We build an interface to communicate the role of estimated user bias in the context of a fact checking task. We also explore the utility of helping users visualize their detected level of bias. 80 of the users of our system find that the presence of an indicator for user bias is useful in judging the veracity of a political claim.


LIBRE The Multiple 3D LiDAR Dataset. In this work, we present LIBRE LiDAR Benchmarking and Reference, a first of its kind dataset featuring 10 different LiDAR sensors, covering a range of manufacturers, models, and laser configurations. Data captured independently from each sensor includes three different environments and configurations static targets, where objects were placed at known distances and measured from a fixed position within a controlled environment adverse weather, where static obstacles were measured from a moving vehicle, captured in a weather chamber where LiDARs were exposed to different conditions (fog, rain, strong light) and finally, dynamic traffic, where dynamic objects were captured from a vehicle driven on public urban roads, multiple times at different times of the day, and including supporting sensors such as cameras, infrared imaging, and odometry devices. LIBRE will contribute to the research community to (1) provide a means for a fair comparison of currently available LiDARs, and (2) facilitate the improvement of existing self driving vehicles and robotics related software, in terms of development and tuning of LiDAR based perception algorithms.


Introduction to Whitney Towers. These introductory notes on Whitney towers in 4 manifolds, as developed in collaboration with Jim Conant and Peter Teichner, are an expansion of three expository lectures given at the Winter Braids X conference February 2020 in Pisa, Italy. Topics presented include local manipulations of surfaces in 4 space, fundamental definitions related to Whitney towers and their associated trees, geometric Jacobi identities, the classification of order n twisted Whitney towers in the 4 ball and higher order Arf invariants, and low order Whitney towers on 2 spheres in 4 manifolds and related invariants.


Directed Homotopy in Non Positively Curved Spaces. A semantics of concurrent programs can be given using precubical sets, in order to study (higher) commutations between the actions, thus encoding the "geometry" of the space of possible executions of the program. Here, we study the particular case of programs using only mutexes, which are the most widely used synchronization primitive. We show that in this case, the resulting programs have non positive curvature, a notion that we introduce and study here for precubical sets, and can be thought of as an algebraic analogue of the well known one for metric spaces. Using this it, as well as categorical rewriting techniques, we are then able to show that directed and non directed homotopy coincide for directed paths in these precubical sets. Finally, we study the geometric realization of precubical sets in metric spaces, to show that our conditions on precubical sets actually coincide with those for metric spaces. Since the category of metric spaces is not cocomplete, we are lead to work with generalized metric spaces and study some of their properties.


securePrune Secure block pruning in UTXO based blockchains using Accumulators. In this paper, we propose a scheme called securePrune for reducing the storage space of a full node and synchronization time of bootstrapping nodes joining the Peer to Peer (P2P) network in an Unspent Transaction Outputs (UTXO) based blockchain like bitcoin using RSA accumulators. The size of the bitcoin blockchain is growing linearly with transactions. We propose a new block structure to represent the state of a blockchain also called UTXO set by including an accumulator of a state in the block header and proofs of knowledge for inclusion and deletion of the transactions of the current block in the block. In our scheme, the miners periodically release a snapshot of the blockchain state. The other full nodes in the network, securely prune the historical blocks after attaining the required number of confirmations for the snapshot block, which in turn confirms the snapshot of the state through an accumulator specified in the block header and proofs inside the block. The secure and periodic pruning of the old blocks, reduce the synchronization time for a new node joining into the network. The simulation results demonstrate a significant reduction in the storage space of a full node and bootstrapping cost of the new nodes.


Resolutions of surfaces with big cotangent bundle and A 2 singularities. We give a new criterion for when a resolution of a surface of general type with canonical singularities has big cotangent bundle and a new lower bound for the values of d for which there is a surface with big cotangent bundle that is deformation equivalent to a smooth hypersurface in mathbb P 3 of degree d .


User Interactive Machine Learning Model for Identifying Structural Relationships of Code Features. Traditional machine learning based intelligent systems assist users by learning patterns in data and making recommendations. However, these systems are limited in that the user has little means of understanding the rationale behind the systems suggestions, communicating their own understanding of patterns, or correcting system behavior. In this project, we outline a model for intelligent software based on a human computer feedback loop. The Machine Learning (ML) systems recommendations are reviewed by the user, and in turn, this information shapes the systems decision making. Our model was applied to developing an HTML editor that integrates ML with user interaction to ascertain structural relationships between HTML document features and apply them for code completion. The editor utilizes the ID3 algorithm to build decision trees, sequences of rules for predicting code the user will type. The editor displays the decision trees rules in the Interactive Rules Interface System (IRIS), which allows developers to prioritize, modify, or delete them. These interactions alter the data processed by ID3, providing the developer some control over the autocomplete system. Validation indicates that, absent user interaction, the ML model is able to predict tags with 78.4 percent accuracy, attributes with 62.9 percent accuracy, and values with 12.8 percent accuracy. Based off of the results of the user study, user interaction with the rules interface corrects feature relationships missed or mistaken by the automated process, enhancing autocomplete accuracy and developer productivity. Additionally, interaction is proven to help developers work with greater awareness of code patterns. Our research demonstrates the viability of a software integration of machine intelligence with human feedback.


Planted Models for the Densest k Subgraph Problem. Given an undirected graph G , the Densest k subgraph problem (DkS) asks to compute a set S subset V of cardinality left lvert S right rvert leq k such that the weight of edges inside S is maximized. This is a fundamental NP hard problem whose approximability, inspite of many decades of research, is yet to be settled. The current best known approximation algorithm due to Bhaskara et al. (2010) computes a mathcal O left( n 1 4 epsilon right) approximation in time n mathcal O left(1 epsilon right) , for any epsilon 0 . We ask what are some "easier" instances of this problem? We propose some natural semi random models of instances with a planted dense subgraph, and study approximation algorithms for computing the densest subgraph in them. These models are inspired by the semi random models of instances studied for various other graph problems such as the independent set problem, graph partitioning problems etc. For a large range of parameters of these models, we get significantly better approximation factors for the Densest k subgraph problem. Moreover, our algorithm recovers a large part of the planted solution.


Robust Long Term Object Tracking via Improved Discriminative Model Prediction. We propose an improved discriminative model prediction method for robust long term tracking based on a pre trained short term tracker. The baseline pre trained short term tracker is SuperDiMP which combines the bounding box regressor of PrDiMP with the standard DiMP classifier. Our tracker RLT DiMP improves SuperDiMP in the following three aspects (1) Uncertainty reduction using random erasing To make our model robust, we exploit an agreement from multiple images after erasing random small rectangular areas as a certainty. And then, we correct the tracking state of our model accordingly. (2) Random search with spatio temporal constraints we propose a robust random search method with a score penalty applied to prevent the problem of sudden detection at a distance. (3) Background augmentation for more discriminative feature learning We augment various backgrounds that are not included in the search area to train a more robust model in the background clutter. In experiments on the VOT LT2020 benchmark dataset, the proposed method achieves comparable performance to the state of the art long term trackers. The source code is available at https github.com bismex RLT DIMP.


Atmospheric pressure plasma jets applied to cancerology correlating electrical configurations with in vivo toxicity and therapeutic efficiency. Two atmospheric pressure plasma jet devices a plasma gun and a plasma Tesla jet are compared in terms of safety and therapeutic efficiency to reduce the tumor volume progression of cholangiocarcinoma, i.e. a rare and very aggressive cancer emerging in biliary tree. For this, a three steps methodology is carried out. First, the two APPJ have been benchmarked in regard to their electrical and physico chemical properties while interacting with material targets dielectric plate, liquid sample, metal plate and an equivalent electrical circuit of human body. The propagation properties of the ionization wave interacting with these targets are discussed, in particular the profile of the related pulsed atmospheric plasma streams. In a second step, a dermal toxicity survey is performed so as to define an experimental operating window where plasma parameters can be changed without damaging healthy skin of mice during their exposure to plasma and without inducing any electrical hazards (burnings, ventricular fibrillation). Optimal conditions are identified discarding the conditions where slight alterations may be evidenced by histology (e.g. prenecrotic aspect of keratinocytes, alterations in the collagen structure). Hence, for the two APPJ plasma parameters these conditions are as follow duty cycle 14 , repetition frequency 30 kHz, magnitude 7 kV, gap 10 mm and exposure time 1 min. In a third step, the two plasma jets are utilized on cholangiocarcinoma xenograft tumor model developed in immunodeficient mice. The two devices are safe and a significant therapeutic efficiency is demonstrated with the plasma Tesla. In conclusion, we have developed a safe cold atmospheric plasma device with antitumoral properties in preclinical model of cholangiocarcinoma, opening the path for new anticancer treatment opportunities.


Utilizing the Instability in Weakly Supervised Object Detection. Weakly supervised object detection (WSOD) focuses on training object detector with only image level annotations, and is challenging due to the gap between the supervision and the objective. Most of existing approaches model WSOD as a multiple instance learning (MIL) problem. However, we observe that the result of MIL based detector is unstable, i.e., the most confident bounding boxes change significantly when using different initializations. We quantitatively demonstrate the instability by introducing a metric to measure it, and empirically analyze the reason of instability. Although the instability seems harmful for detection task, we argue that it can be utilized to improve the performance by fusing the results of differently initialized detectors. To implement this idea, we propose an end to end framework with multiple detection branches, and introduce a simple fusion strategy. We further propose an orthogonal initialization method to increase the difference between detection branches. By utilizing the instability, we achieve 52.6 and 48.0 mAP on the challenging PASCAL VOC 2007 and 2012 datasets, which are both the new state of the arts.


SCDP Systematic Rateless Coding for Efficient Data Transport in Data Centres (Complete Version). In this paper we propose SCDP, a general purpose data transport protocol for data centres that, in contrast to all other protocols proposed to date, supports efficient one to many and many to one communication, which is extremely common in modern data centres. SCDP does so without compromising on efficiency for short and long unicast flows. SCDP achieves this by integrating RaptorQ codes with receiver driven data transport, packet trimming and Multi Level Feedback Queuing (MLFQ) (1) RaptorQ codes enable efficient one to many and many to one data transport (2) on top of RaptorQ codes, receiver driven flow control, in combination with in network packet trimming, enable efficient usage of network resources as well as multi path transport and packet spraying for all transport modes. Incast and Outcast are eliminated (3) the systematic nature of RaptorQ codes, in combination with MLFQ, enable fast, decoding free completion of short flows. We extensively evaluate SCDP in a wide range of simulated scenarios with realistic data centre workloads. For one to many and many to one transport sessions, SCDP performs significantly better compared to NDP and PIAS. For short and long unicast flows, SCDP performs equally well or better compared to NDP and PIAS.


A small step approach to multi trace checking against interactions. Interaction models describe the exchange of messages between the different components of distributed systems. We have previously defined a small step operational semantics for interaction models. The paper extends this work by presenting an approach for checking the validity of multi traces against interaction models. A multi trace is a collection of traces (sequences of emissions and receptions), each representing a local view of the same global execution of the distributed system. We have formally proven our approach, studied its complexity, and implemented it in a prototype tool. Finally, we discuss some observability issues when testing distributed systems via the analysis of multi traces.


On some classes of irreducible polynomials. The aim of the paper is to produce new families of irreducible polynomials, generalizing previous results in the area. One example of our general result is that for a near separated polynomial, i.e., polynomials of the form F(x,y) f 1(x)f 2(y) f 2(x)f 1(y) , then F(x,y) r is always irreducible for any constant r different from zero. We also provide the biggest known family of HIP polynomials in several variables. These are polynomials p(x 1, ldots,x n) in K x 1, ldots,x n over a zero characteristic field K such that p(h 1(x 1), ldots,h n(x n)) is irreducible over K for every n tuple h 1(x 1), ldots,h n(x n) of non constant one variable polynomials over K . The results can also be applied to fields of positive characteristic, with some modifications.


Deepening Hidden Representations from Pre trained Language Models. Transformer based pre trained language models have proven to be effective for learning contextualized language representation. However, current approaches only take advantage of the output of the encoder's final layer when fine tuning the downstream tasks. We argue that only taking single layer's output restricts the power of pre trained representation. Thus we deepen the representation learned by the model by fusing the hidden representation in terms of an explicit HIdden Representation Extractor (HIRE), which automatically absorbs the complementary representation with respect to the output from the final layer. Utilizing RoBERTa as the backbone encoder, our proposed improvement over the pre trained models is shown effective on multiple natural language understanding tasks and help our model rival with the state of the art models on the GLUE benchmark.


On the conjectures of Braverman Kazhdan. In this article we prove a conjecture of Braverman and Kazhdan in cite BK1 on acyclicity of rho Bessel sheaves on reductive groups in both ell adic and de Rham settings. We do so by establishing a vanishing conjecture proposed in cite C1 . As a corollary, we obtain a geometric construction of the non linear Fourier kernels for finite reductive groups as conjectured by Braverman and Kazhdan. The proof of the vanishing conjecture relies on the techniques developed in cite BFO on Drinfeld center of Harish Chandra bimodules and character D modules, and a construction of a class of character sheaves in mixed characteristic.


On Caristi fixed point theorem for set valued mappings. The aim of this paper is to discuss Penot's problem on a generalization of Caristi's fixed point theorem. We settle this problem in the negative and we present some new theorems on the existence of fixed points of set valued mappings in ordered metric spaces.


Microwave coherent spectroscopy of ultracold thulium atoms. Recently, the thulium atom was cooled down to the Bose Einstein condensation temperature, thus opening a pathway to quantum simulation with this atom. However, successful simulations require instruments to control and readout states of the atom as well as the ability to control the interaction between either different species or different states of the same type of species. In this paper, we provide an experimental demonstration of high fidelity (over 93 ) manipulation of the ground state magnetic sublevels of thulium, which utilizes a simple and efficient design of a microwave (MW) antenna. The coherence time and dephasing rate of the energetically highest hyperfine level of the ground state were also examined.


Learning aligned embeddings for semi supervised word translation using Maximum Mean Discrepancy. Word translation is an integral part of language translation. In machine translation, each language is considered a domain with its own word embedding. The alignment between word embeddings allows linking semantically equivalent words in multilingual contexts. Moreover, it offers a way to infer cross lingual meaning for words without a direct translation. Current methods for word embedding alignment are either supervised, i.e. they require known word pairs, or learn a cross domain transformation on fixed embeddings in an unsupervised way. Here we propose an end to end approach for word embedding alignment that does not require known word pairs. Our method, termed Word Alignment through MMD (WAM), learns embeddings that are aligned during sentence translation training using a localized Maximum Mean Discrepancy (MMD) constraint between the embeddings. We show that our method not only out performs unsupervised methods, but also supervised methods that train on known word translations.


Spatial Sampling Network for Fast Scene Understanding. We propose a network architecture to perform efficient scene understanding. This work presents three main novelties the first is an Improved Guided Upsampling Module that can replace in toto the decoder part in common semantic segmentation networks. Our second contribution is the introduction of a new module based on spatial sampling to perform Instance Segmentation. It provides a very fast instance segmentation, needing only thresholding as post processing step at inference time. Finally, we propose a novel efficient network design that includes the new modules and test it against different datasets for outdoor scene understanding. To our knowledge, our network is one of the themost efficient architectures for scene understanding published to date, furthermore being 8.6 more accurate than the fastest competitor on semantic segmentation and almost five times faster than the most efficient network for instance segmentation.


Bidirectional RNN based Few Shot Learning for 3D Medical Image Segmentation. Segmentation of organs of interest in 3D medical images is necessary for accurate diagnosis and longitudinal studies. Though recent advances using deep learning have shown success for many segmentation tasks, large datasets are required for high performance and the annotation process is both time consuming and labor intensive. In this paper, we propose a 3D few shot segmentation framework for accurate organ segmentation using limited training samples of the target organ annotation. To achieve this, a U Net like network is designed to predict segmentation by learning the relationship between 2D slices of support data and a query image, including a bidirectional gated recurrent unit (GRU) that learns consistency of encoded features between adjacent slices. Also, we introduce a transfer learning method to adapt the characteristics of the target image and organ by updating the model before testing with arbitrary support and query data sampled from the support data. We evaluate our proposed model using three 3D CT datasets with annotations of different organs. Our model yielded significantly improved performance over state of the art few shot segmentation models and was comparable to a fully supervised model trained with more target training data.


FoggySight A Scheme for Facial Lookup Privacy. Advances in deep learning algorithms have enabled better than human performance on face recognition tasks. In parallel, private companies have been scraping social media and other public websites that tie photos to identities and have built up large databases of labeled face images. Searches in these databases are now being offered as a service to law enforcement and others and carry a multitude of privacy risks for social media users. In this work, we tackle the problem of providing privacy from such face recognition systems. We propose and evaluate FoggySight, a solution that applies lessons learned from the adversarial examples literature to modify facial photos in a privacy preserving manner before they are uploaded to social media. FoggySight's core feature is a community protection strategy where users acting as protectors of privacy for others upload decoy photos generated by adversarial machine learning algorithms. We explore different settings for this scheme and find that it does enable protection of facial privacy including against a facial recognition service with unknown internals.


Classifying the classifier dissecting the weight space of neural networks. This paper presents an empirical study on the weights of neural networks, where we interpret each model as a point in a high dimensional space the neural weight space. To explore the complex structure of this space, we sample from a diverse selection of training variations (dataset, optimization procedure, architecture, etc.) of neural network classifiers, and train a large number of models to represent the weight space. Then, we use a machine learning approach for analyzing and extracting information from this space. Most centrally, we train a number of novel deep meta classifiers with the objective of classifying different properties of the training setup by identifying their footprints in the weight space. Thus, the meta classifiers probe for patterns induced by hyper parameters, so that we can quantify how much, where, and when these are encoded through the optimization process. This provides a novel and complementary view for explainable AI, and we show how meta classifiers can reveal a great deal of information about the training setup and optimization, by only considering a small subset of randomly selected consecutive weights. To promote further research on the weight space, we release the neural weight space (NWS) dataset a collection of 320K weight snapshots from 16K individually trained deep neural networks.


A new look at random projections of the cube and general product measures. A strong law of large numbers for d dimensional random projections of the n dimensional cube is derived. It shows that with respect to the Hausdorff distance a properly normalized random projection of 1,1 n onto mathbb R d almost surely converges to a centered d dimensional Euclidean ball of radius sqrt 2 pi , as n to infty . For every point inside this ball we determine the asymptotic number of vertices and the volume of the part of the cube projected close' to this point. Moreover, large deviations for random projections of general product measures are studied. Let nu otimes n be the n fold product measure of a Borel probability measure nu on mathbb R , and let I be uniformly distributed on the Stiefel manifold of orthogonal d frames in mathbb R n . It is shown that the sequence of random measures nu otimes n circ(n 1 2 I ) 1 , n in mathbb N , satisfies a large deviations principle with probability 1 . The rate function is explicitly identified in terms of the moment generating function of nu . At the heart of the proofs lies a transition trick which allows to replace the uniform projection by the Gaussian one. A number of concrete examples are discussed as well, including the uniform distributions on the cube 1,1 n and the discrete cube 1,1 n as a special cases.


Resource Analysis driven by (Conditional) Termination Proofs. When programs feature a complex control flow, existing techniques for resource analysis produce cost relation systems (CRS) whose cost functions retain the complex flow of the program and, consequently, might not be solvable into closed form upper bounds. This paper presents a novel approach to resource analysis that is driven by the result of a termination analysis. The fundamental idea is that the termination proof encapsulates the flows of the program which are relevant for the cost computation so that, by driving the generation of the CRS using the termination proof, we produce a linearly bounded CRS (LB CRS). A LB CRS is composed of cost functions that are guaranteed to be locally bounded by linear ranking functions and thus greatly simplify the process of CRS solving. We have built a new resource analysis tool, named MaxCore, that is guided by the VeryMax termination analyzer and uses CoFloCo and PUBS as CRS solvers. Our experimental results on the set of benchmarks from the Complexity and Termination Competition 2019 for C Integer programs show that MaxCore outperforms all other resource analysis tools. Under consideration for acceptance in TPLP.


Modeling the Epidemic Outbreak and Dynamics of COVID 19 in Croatia. The paper deals with a modeling of the ongoing epidemic caused by Coronavirus disease 2019 (COVID 19) on the closed territory of the Republic of Croatia. Using the official public information on the number of confirmed infected, recovered and deceased individuals, the modified SEIR compartmental model is developed to describe the underlying dynamics of the epidemic. Fitted modified SEIR model provides the prediction of the disease progression in the near future, considering strict control interventions by means of social distancing and quarantine for infected and at risk individuals introduced at the beginning of COVID 19 spread on February, 25th by Croatian Ministry of Health. Assuming the accuracy of provided data and satisfactory representativeness of the model used, the basic reproduction number is derived. Obtained results portray potential positive developments and justify the stringent precautionary measures introduced by the Ministry of Health.


Novel High Throughput Decoding Algorithms for Product and Staircase Codes based on Error and Erasure Decoding. Product codes (PCs) and staircase codes (SCCs) are conventionally decoded based on bounded distance decoding (BDD) of the component codes and iterating between row and column decoders. The performance of iterative BDD (iBDD) can be improved using soft aided (hybrid) algorithms. Among these, iBDD with combined reliability (iBDD CR) has been recently proposed for PCs, yielding sizeable performance gains at the expense of a minor increase in complexity compared to iBDD. In this paper, we first extend iBDD CR to SCCs. We then propose two novel decoding algorithms for PCs and SCCs which improve upon iBDD CR. The new algorithms use an extra decoding attempt based on error and erasure decoding of the component codes. The proposed algorithms require only the exchange of hard messages between component decoders, making them an attractive solution for ultra high throughput fiber optic systems. Simulation results show that our algorithms based on two decoding attempts achieve gains of up to 0.88 dB for both PCs and SCCs. This corresponds to a 33 optical reach enhancement over iBDD with bit interleaved coded modulation using 256 quadrature amplitude modulation.


comp syn Perceptually Grounded Word Embeddings with Color. Popular approaches to natural language processing create word embeddings based on textual co occurrence patterns, but often ignore embodied, sensory aspects of language. Here, we introduce the Python package comp syn, which provides grounded word embeddings based on the perceptually uniform color distributions of Google Image search results. We demonstrate that comp syn significantly enriches models of distributional semantics. In particular, we show that (1) comp syn predicts human judgments of word concreteness with greater accuracy and in a more interpretable fashion than word2vec using low dimensional word color embeddings, and (2) comp syn performs comparably to word2vec on a metaphorical vs. literal word pair classification task. comp syn is open source on PyPi and is compatible with mainstream machine learning Python packages. Our package release includes word color embeddings for over 40,000 English words, each associated with crowd sourced word concreteness judgments.


Alternating minimization algorithms for graph regularized tensor completion. We consider a low rank tensor completion (LRTC) problem which aims to recover a tensor from incomplete observations. LRTC plays an important role in many applications such as signal processing, computer vision, machine learning, and neuroscience. A widely used approach is to combine the tensor completion data fitting term with a regularizer based on a convex relaxation of the multilinear ranks of the tensor. For the data fitting function, we model the tensor variable by using the Canonical Polyadic (CP) decomposition and for the low rank promoting regularization function, we consider a graph Laplacian based function which exploits correlations between the rows of the matrix unfoldings. For solving our LRTC model, we propose an efficient alternating minimization algorithm. Furthermore, based on the Kurdyka L ojasiewicz property, we show that the sequence generated by the proposed algorithm globally converges to a critical point of the objective function. Besides, an alternating direction method of multipliers algorithm is also developed for the LRTC model. Extensive numerical experiments on synthetic and real data indicate that the proposed algorithms are effective and efficient.


Empirical Study on the Benefits of Multiobjectivization for Solving Single Objective Problems. When dealing with continuous single objective problems, multimodality poses one of the biggest difficulties for global optimization. Local optima are often preventing algorithms from making progress and thus pose a severe threat. In this paper we analyze how single objective optimization can benefit from multiobjectivization by considering an additional objective. With the use of a sophisticated visualization technique based on the multi objective gradients, the properties of the arising multi objective landscapes are illustrated and examined. We will empirically show that the multi objective optimizer MOGSA is able to exploit these properties to overcome local traps. The performance of MOGSA is assessed on a testbed of several functions provided by the COCO platform. The results are compared to the local optimizer Nelder Mead.


Normal completions of toric varieties over rank one valuation rings and completions of Gamma admissible fans. We show that any normal toric variety over a rank one valuation ring admits an equivariant open embedding in a normal toric variety which is proper over the valuation ring, after a base change by a finite extension of valuation rings. If the value group Gamma is discrete or divisible then no base change is needed. We give explicit examples which show that existing methods do not produce such normal equivariant completions. Our approach is combinatorial and proceeds by showing that Gamma admissible fans admit Gamma admissible completions. In order to show this we prove a combinatorial analog of noetherian reduction which we believe will be of independent interest.


Vision at A Glance Interplay between Fine and Coarse Information Processing Pathways. Object recognition is often viewed as a feedforward, bottom up process in machine learning, but in real neural systems, object recognition is a complicated process which involves the interplay between two signal pathways. One is the parvocellular pathway (P pathway), which is slow and extracts fine features of objects the other is the magnocellular pathway (M pathway), which is fast and extracts coarse features of objects. It has been suggested that the interplay between the two pathways endows the neural system with the capacity of processing visual information rapidly, adaptively, and robustly. However, the underlying computational mechanisms remain largely unknown. In this study, we build a computational model to elucidate the computational advantages associated with the interactions between two pathways. Our model consists of two convolution neural networks one mimics the P pathway, referred to as FineNet, which is deep, has small size kernels, and receives detailed visual inputs the other mimics the M pathway, referred to as CoarseNet, which is shallow, has large size kernels, and receives low pass filtered or binarized visual inputs. The two pathways interact with each other via a Restricted Boltzmann Machine. We find that 1) FineNet can teach CoarseNet through imitation and improve its performance considerably 2) CoarseNet can improve the noise robustness of FineNet through association 3) the output of CoarseNet can serve as a cognitive bias to improve the performance of FineNet. We hope that this study will provide insight into understanding visual information processing and inspire the development of new object recognition architectures.


MASS UMAP Fast and accurate analog ensemble search in weather radar archive. The use of analogs similar weather patterns for weather forecasting and analysis is an established method in meteorology. The most challenging aspect of using this approach in the context of operational radar applications is to be able to perform a fast and accurate search for similar spatiotemporal precipitation patterns in a large archive of historical records. In this context, sequential pairwise search is too slow and computationally expensive. Here we propose an architecture to significantly speed up spatiotemporal analog retrieval by combining nonlinear geometric dimensionality reduction (UMAP) with the fastest known Euclidean search algorithm for time series (MASS) to find radar analogs in constant time, independently of the desired temporal length to match and the number of extracted analogs. We compare UMAP with Principal component analysis (PCA) and show that UMAP outperforms PCA for spatial MSE analog search with proper settings. Moreover, we show that MASS is 20 times faster than brute force search on the UMAP embeddings space. We test the architecture on a real dataset and show that it enables precise and fast operational analog ensemble search through more than 2 years of radar archive in less than 5 seconds on a single workstation.


Approaches of large scale images recognition with more than 50,000 categoris. Though current CV models have been able to achieve high levels of accuracy on small scale images classification dataset with hundreds or thousands of categories, many models become infeasible in computational or space consumption when it comes to large scale dataset with more than 50,000 categories. In this paper, we provide a viable solution for classifying large scale species datasets using traditional CV techniques such as.features extraction and processing, BOVW(Bag of Visual Words) and some statistical learning technics like Mini Batch K Means,SVM which are used in our works. And then mixed with a neural network model. When applying these techniques, we have done some optimization in time and memory consumption, so that it can be feasible for large scale dataset. And we also use some technics to reduce the impact of mislabeling data. We use a dataset with more than 50, 000 categories, and all operations are done on common computer with l 6GB RAM and a CPU of 3. OGHz. Our contributions are 1) analysis what problems may meet in the training processes, and presents several feasible ways to solve these problems. 2) Make traditional CV models combined with neural network models provide some feasible scenarios for training large scale classified datasets within the constraints of time and spatial resources.


Complexity aspects of local minima and related notions. We consider the notions of (i) critical points, (ii) second order points, (iii) local minima, and (iv) strict local minima for multivariate polynomials. For each type of point, and as a function of the degree of the polynomial, we study the complexity of deciding (1) if a given point is of that type, and (2) if a polynomial has a point of that type. Our results characterize the complexity of these two questions for all degrees left open by prior literature. Our main contributions reveal that many of these questions turn out to be tractable for cubic polynomials. In particular, we present an efficiently checkable necessary and sufficient condition for local minimality of a point for a cubic polynomial. We also show that a local minimum of a cubic polynomial can be efficiently found by solving semidefinite programs of size linear in the number of variables. By contrast, we show that it is strongly NP hard to decide if a cubic polynomial has a critical point. We also prove that the set of second order points of any cubic polynomial is a spectrahedron, and conversely that any spectrahedron is the projection of the set of second order points of a cubic polynomial. In our final section, we briefly present a potential application of finding local minima of cubic polynomials to the design of a third order Newton method.


Computability of finite quotients of finitely generated groups. We study systematically groups whose marked finite quotients form a recursive set. We give several definitions, and prove basic properties of this class of groups, and in particular emphasize the link between the growth of the depth function and solvability of the word problem. We give examples of infinitely presented groups whose finite quotients can be effectively enumerated. Finally, our main result is that a residually finite group can be even not recursively presented and still have computable finite quotients, and that, on the other hand, it can have solvable word problem while still not having computable finite quotients.


Immune Fingerprinting through Repertoire Similarity. Immune repertoires provide a unique fingerprint reflecting the immune history of individuals, with potential applications in precision medicine. However, the question of how personal that information is and how it can be used to identify individuals has not been explored. Here, we show that individuals can be uniquely identified from repertoires of just a few thousands lymphocytes. We present "Immprint," a classifier using an information theoretic measure of repertoire similarity to distinguish pairs of repertoire samples coming from the same versus different individuals. Using published T cell receptor repertoires and statistical modeling, we tested its ability to identify individuals with great accuracy, including identical twins, by computing false positive and false negative rates 10 6 from samples composed of 10,000 T cells. We verified through longitudinal datasets and simulations that the method is robust to acute infections and the passage of time. These results emphasize the private and personal nature of repertoire data.


Time fractional stochastic differential equation with random jumps. We prove the well posedness of variable order time fractional stochastic differential equations with jumps. Using a truncating argument, we do not assume any condition on the initial distribution and the integrability of the large jump term even though the solution is non Markovian. To get moment estimates, some extra assumptions are needed. As an application of moment estimates, we prove the H "older regularity of the solutions.


Blockchain Powered Software Defined Network Enabled Networking Infrastructure for Cloud Management. Cloud architecture has become a valuable solution for different applications, such as big data analytics, due to its high degree of availability, scalability and strategic value. However, there still remain challenges in managing cloud architecture, in areas such as cloud security. In this paper, we exploit software defined networking (SDN) and blockchain technologies to secure cloud management platforms from a networking perspective. We develop a blockchain powered SDN enabled networking infrastructure in which the integration between blockchain based security and autonomy management layer and multi controller SDN networking layer is defined to enhance the integrity of the control and management messages. Furthermore, our proposed networking infrastructure also enables the autonomous bandwidth provisioning to enhance the availability of cloud architecture. In the simulation section, we evaluate the performance of our proposed blockchain powered SDN enabled networking infrastructure by considering different scenarios.


Coin flipper at eHealth KD Challenge 2019 Voting LSTMs for Key Phrases and Semantic Relation Identification Applied to Spanish eHealth Texts. This paper describes our approach presented for the eHealth KD 2019 challenge. Our participation was aimed at testing how far we could go using generic tools for Text Processing but, at the same time, using common optimization techniques in the field of Data Mining. The architecture proposed for both tasks of the challenge is a standard stacked 2 layer bi LSTM. The main particularities of our approach are (a) The use of a surrogate function of F1 as loss function to close the gap between the minimization function and the evaluation metric, and (b) The generation of an ensemble of models for generating predictions by majority vote. Our system ranked second with an F1 score of 62.18 in the main task by a narrow margin with the winner that scored 63.94 .


Multi Channel Graph Neural Network for Entity Alignment. Entity alignment typically suffers from the issues of structural heterogeneity and limited seed alignments. In this paper, we propose a novel Multi channel Graph Neural Network model (MuGNN) to learn alignment oriented knowledge graph (KG) embeddings by robustly encoding two KGs via multiple channels. Each channel encodes KGs via different relation weighting schemes with respect to self attention towards KG completion and cross KG attention for pruning exclusive entities respectively, which are further combined via pooling techniques. Moreover, we also infer and transfer rule knowledge for completing two KGs consistently. MuGNN is expected to reconcile the structural differences of two KGs, and thus make better use of seed alignments. Extensive experiments on five publicly available datasets demonstrate our superior performance (5 Hits 1 up on average).


Infinite Horizon Stochastic Impulse Control with Delay and Random Coefficients. We study a class of infinite horizon impulse control problems with execution delay when the dynamics of the system is described by a general adapted stochastic process. The problem is solved by means of probabilistic tools relying on the notion of Snell envelope and infinite horizon reflected backward stochastic differential equations. This allows us to establish the existence of an optimal strategy over all admissible strategies.


A Topological Application of Labelled Natural Deduction. We use a labelled deduction system based on the concept of computational paths (sequences of rewrites) as equalities between two terms of the same type. We also define a term rewriting system that is used to make computations between these computational paths, establishing equalities between equalities. We then proceed to show the main result here using this system to obtain the calculation of the fundamental group of the circle, of the torus and the real projective plane.


Cross domain Face Presentation Attack Detection via Multi domain Disentangled Representation Learning. Face presentation attack detection (PAD) has been an urgent problem to be solved in the face recognition systems. Conventional approaches usually assume the testing and training are within the same domain as a result, they may not generalize well into unseen scenarios because the representations learned for PAD may overfit to the subjects in the training set. In light of this, we propose an efficient disentangled representation learning for cross domain face PAD. Our approach consists of disentangled representation learning (DR Net) and multi domain learning (MD Net). DR Net learns a pair of encoders via generative models that can disentangle PAD informative features from subject discriminative features. The disentangled features from different domains are fed to MD Net which learns domain independent features for the final cross domain face PAD task. Extensive experiments on several public datasets validate the effectiveness of the proposed approach for cross domain PAD.


Attentive Deep Regression Networks for Real Time Visual Face Tracking in Video Surveillance. Visual face tracking is one of the most important tasks in video surveillance systems. However, due to the variations in pose, scale, expression, and illumination it is considered to be a difficult task. Recent studies show that deep learning methods have a significant potential in object tracking tasks and adaptive feature selection methods can boost their performance. Motivated by these, we propose an end to end attentive deep learning based tracker, that is build on top of the state of the art GOTURN tracker, for the task of real time visual face tracking in video surveillance. Our method outperforms the state of the art GOTURN and IVT trackers by very large margins and it achieves speeds that are very far beyond the requirements of real time tracking. Additionally, to overcome the scarce data problem in visual face tracking, we also provide bounding box annotations for the G1 and G2 sets of ChokePoint dataset and make it suitable for further studies in face tracking under surveillance conditions.


On inverse submonoids of the monoid of almost monotone injective co finite partial selfmaps of positive integers. In this paper we study submonoids of the monoid mathscr I infty , Rsh ! ! ! nearrow ( mathbb N ) of almost monotone injective co finite partial selfmaps of positive integers mathbb N . Let mathscr I infty ! nearrow ( mathbb N ) be a submonoid of mathscr I infty , Rsh ! ! ! nearrow ( mathbb N ) which consists of cofinite monotone partial bijections of mathbb N and mathscr C mathbb N be a subsemigroup mathscr I infty , Rsh ! ! ! nearrow ( mathbb N ) which is generated by the partial shift n mapsto n 1 and its inverse partial map. We show that every automorphism of a full inverse subsemigroup of mathscr I infty ! nearrow ( mathbb N ) which contains the semigroup mathscr C mathbb N is the identity map. We construct a submonoid mathbf I mathbb N infty underline 1 of mathscr I infty , Rsh ! ! ! nearrow ( mathbb N ) with the following property if S is an inverse submonoid of mathscr I infty , Rsh ! ! ! nearrow ( mathbb N ) such that S contains mathbf I mathbb N infty underline 1 as a submonoid, then every non identity congruence mathfrak C on S is a group congruence. We show that if S is an inverse submonoid of mathscr I infty , Rsh ! ! ! nearrow ( mathbb N ) such that S contains mathscr C mathbb N as a submonoid then S is simple and the quotient semigroup S mathfrak C mathbf mg , where mathfrak C mathbf mg is minimum group congruence on S , is isomorphic to the additive group of integers. Also, we study topologizations of inverse submonoids of mathscr I infty , Rsh ! ! ! nearrow ( mathbb N ) which contain mathscr C mathbb N and embeddings of such semigroups into compact like topological semigroups.


On zero sum free sequences contained in random subsets of finite cyclic groups. Let C n be a cyclic group of order n . A sequence S of length ell over C n is a sequence S a 1 boldsymbol cdot a 2 boldsymbol cdot ldots boldsymbol cdot a ell of ell elements in C n , where a repetition of elements is allowed and their order is disregarded. We say that S is a zero sum sequence if Sigma i 1 ell a i 0 and that S is a zero sum free sequence if S contains no zero sum subsequence. Let R be a random subset of C n obtained by choosing each element in C n independently with probability p . Let N R n 1 k be the number of zero sum free sequences of length n 1 k in R . Also, let N R n 1 k,d be the number of zero sum free sequences of length n 1 k having d distinct elements in R . We obtain the expectation of N R n 1 k and N R n 1 k,d for 0 leq k leq big lfloor frac n 3 big rfloor . We also show a concentration result on N R n 1 k and N R n 1 k,d when k is fixed.


New Rank Records For Elliptic Curves Having Rational Torsion. We present rank record breaking elliptic curves having torsion subgroups Z 2Z, Z 3Z, Z 4Z, Z 6Z, and Z 7Z.


An Algorithm for the Separation Preserving Transition of Clusterings. The separability of clusters is one of the most desired properties in clustering. There is a wide range of settings in which different clusterings of the same data set appear. We are interested in applications where there is a need for an explicit, gradual transition of one separable clustering into another one. This transition should be a sequence of simple, natural steps that upholds separability of the clusters throughout. We design an algorithm for such a transition. We exploit the intimate connection of separability and linear programming over bounded shape partition and transportation polytopes separable clusterings lie on the boundary of partition polytopes, form a subset of the vertices of the corresponding transportation polytopes, and circuits of both polytopes are readily interpreted as sequential or cyclical exchanges of items between clusters. This allows for a natural approach to achieve the desired transition through a combination of two walks an edge walk between two so called radial clusterings in a transportation polytope, computed through an adaptation of classical tools of sensitivity analysis and parametric programming and a walk from a separable clustering to a corresponding radial clustering, computed through a tailored, iterative routine updating cluster sizes and re optimizing the cluster assignment of items.


Exclusive Hierarchical Decoding for Deep Keyphrase Generation. Keyphrase generation (KG) aims to summarize the main ideas of a document into a set of keyphrases. A new setting is recently introduced into this problem, in which, given a document, the model needs to predict a set of keyphrases and simultaneously determine the appropriate number of keyphrases to produce. Previous work in this setting employs a sequential decoding process to generate keyphrases. However, such a decoding method ignores the intrinsic hierarchical compositionality existing in the keyphrase set of a document. Moreover, previous work tends to generate duplicated keyphrases, which wastes time and computing resources. To overcome these limitations, we propose an exclusive hierarchical decoding framework that includes a hierarchical decoding process and either a soft or a hard exclusion mechanism. The hierarchical decoding process is to explicitly model the hierarchical compositionality of a keyphrase set. Both the soft and the hard exclusion mechanisms keep track of previously predicted keyphrases within a window size to enhance the diversity of the generated keyphrases. Extensive experiments on multiple KG benchmark datasets demonstrate the effectiveness of our method to generate less duplicated and more accurate keyphrases.


Regularity for parabolic systems with critical growth in the gradient and applications. Motivated by problems arising in geometric flows, we prove several regularity results for systems of local and nonlocal equations, adapting to the parabolic case a neat argument due to Caffarelli. The geometric motivation of this work comes from recent works arising in the theory harmonic maps with free boundary in particular. We prove H "older regularity of weak solutions.


Polarimetric Multi View Inverse Rendering. A polarization camera has great potential for 3D reconstruction since the angle of polarization (AoP) of reflected light is related to an object's surface normal. In this paper, we propose a novel 3D reconstruction method called Polarimetric Multi View Inverse Rendering (Polarimetric MVIR) that effectively exploits geometric, photometric, and polarimetric cues extracted from input multi view color polarization images. We first estimate camera poses and an initial 3D model by geometric reconstruction with a standard structure from motion and multi view stereo pipeline. We then refine the initial model by optimizing photometric and polarimetric rendering errors using multi view RGB and AoP images, where we propose a novel polarimetric rendering cost function that enables us to effectively constrain each estimated surface vertex's normal while considering four possible ambiguous azimuth angles revealed from the AoP measurement. Experimental results using both synthetic and real data demonstrate that our Polarimetric MVIR can reconstruct a detailed 3D shape without assuming a specific polarized reflection depending on the material.


Second order analysis of an optimal control problem in a phase field tumor growth model with singular potentials and chemotaxis. This paper concerns a distributed optimal control problem for a tumor growth model of Cahn Hilliard type including chemotaxis with possibly singular potentials, where the control and state variables are nonlinearly coupled. First, we discuss the weak well posedness of the system under very general assumptions for the potentials, which may be singular and nonsmooth. Then, we establish the strong well posedness of the system in a reduced setting, which however admits the logarithmic potential this analysis will lay the foundation for the study of the corresponding optimal control problem. Concerning the optimization problem, we address the existence of minimizers and establish both first order necessary and second order sufficient conditions for optimality. The mathematically challenging second order analysis is completely performed here, after showing that the solution mapping is twice continuously differentiable between suitable Banach spaces via the implicit function theorem. Then, we completely identify the second order Fr 'echet derivative of the control to state operator and carry out a thorough and detailed investigation about the related properties.


LNMap Departures from Isomorphic Assumption in Bilingual Lexicon Induction Through Non Linear Mapping in Latent Space. Most of the successful and predominant methods for bilingual lexicon induction (BLI) are mapping based, where a linear mapping function is learned with the assumption that the word embedding spaces of different languages exhibit similar geometric structures (i.e., approximately isomorphic). However, several recent studies have criticized this simplified assumption showing that it does not hold in general even for closely related languages. In this work, we propose a novel semi supervised method to learn cross lingual word embeddings for BLI. Our model is independent of the isomorphic assumption and uses nonlinear mapping in the latent space of two independently trained auto encoders. Through extensive experiments on fifteen (15) different language pairs (in both directions) comprising resource rich and low resource languages from two different datasets, we demonstrate that our method outperforms existing models by a good margin. Ablation studies show the importance of different model components and the necessity of non linear mapping.


Deformations of Higher Page Analogues of partial bar partial Manifolds. We extend the notion of essential deformations from the case of the Iwasawa manifold, for which they were introduced recently by the first named author, to the general case of page 1 partial bar partial manifolds that were jointly introduced very recently by all three authors. We go on to obtain an analogue of the unobstructedness theorem of Bogomolov, Tian and Todorov for page 1 partial bar partial manifolds. As applications of this discussion, we study the small deformations of certain Nakamura solvmanifolds and reinterpret the cases of the Iwasawa manifold and its 5 dimensional analogue from this standpoint.


Signaling in Bayesian Network Congestion Games the Subtle Power of Symmetry. Network congestion games are a well understood model of multi agent strategic interactions. Despite their ubiquitous applications, it is not clear whether it is possible to design information structures to ameliorate the overall experience of the network users. We focus on Bayesian games with atomic players, where network vagaries are modeled via a (random) state of nature which determines the costs incurred by the players. A third party entity the sender can observe the realized state of the network and exploit this additional information to send a signal to each player. A natural question is the following is it possible for an informed sender to reduce the overall social cost via the strategic provision of information to players who update their beliefs rationally? The paper focuses on the problem of computing optimal ex ante persuasive signaling schemes, showing that symmetry is a crucial property for its solution. Indeed, we show that an optimal ex ante persuasive signaling scheme can be computed in polynomial time when players are symmetric and have affine cost functions. Moreover, the problem becomes NP hard when players are asymmetric, even in non Bayesian settings.


Modeling Document Interactions for Learning to Rank with Regularized Self Attention. Learning to rank is an important task that has been successfully deployed in many real world information retrieval systems. Most existing methods compute relevance judgments of documents independently, without holistically considering the entire set of competing documents. In this paper, we explore modeling documents interactions with self attention based neural networks. Although self attention networks have achieved state of the art results in many NLP tasks, we find empirically that self attention provides little benefit over baseline neural learning to rank architecture. To improve the learning of self attention weights, We propose simple yet effective regularization terms designed to model interactions between documents. Evaluations on publicly available Learning to Rank (LETOR) datasets show that training self attention network with our proposed regularization terms can significantly outperform existing learning to rank methods.


A Lanczos like method for non autonomous linear ordinary differential equations. The time ordered exponential is defined as the function that solves a system of coupled first order linear differential equations with generally non constant coefficients. In spite of being at the heart of much system dynamics, control theory, and model reduction problems, the time ordered exponential function remains elusively difficult to evaluate. The Lanczos algorithm is a (symbolic) algorithm capable of evaluating it by producing a tridiagonalization of the original differential system. In this paper, we explain how the Lanczos algorithm is built from a generalization of Krylov subspaces, and we prove crucial properties, such as the matching moment property. A strategy for its numerical implementation is also outlined and will be subject of future investigation.


Depth Estimation from Monocular Images and Sparse Radar Data. In this paper, we explore the possibility of achieving a more accurate depth estimation by fusing monocular images and Radar points using a deep neural network. We give a comprehensive study of the fusion between RGB images and Radar measurements from different aspects and proposed a working solution based on the observations. We find that the noise existing in Radar measurements is one of the main key reasons that prevents one from applying the existing fusion methods developed for LiDAR data and images to the new fusion problem between Radar data and images. The experiments are conducted on the nuScenes dataset, which is one of the first datasets which features Camera, Radar, and LiDAR recordings in diverse scenes and weather conditions. Extensive experiments demonstrate that our method outperforms existing fusion methods. We also provide detailed ablation studies to show the effectiveness of each component in our method.


The Adaptability and Challenges of Autonomous Vehicles to Pedestrians in Urban China. China is the world's largest automotive market and is ambitious for autonomous vehicles (AVs) development. As one of the key goals of AVs, pedestrian safety is an important issue in China. Despite the rapid development of driverless technologies in recent years, there is a lack of researches on the adaptability of AVs to pedestrians. To fill the gap, this study would discuss the adaptability of current driverless technologies to China urban pedestrians by reviewing the latest researches. The paper firstly analyzed typical Chinese pedestrian behaviors and summarized the safety demands of pedestrians for AVs through articles and open database data, which are worked as the evaluation criteria. Then, corresponding driverless technologies are carefully reviewed. Finally, the adaptability would be given combining the above analyses. Our review found that autonomous vehicles have trouble in the occluded pedestrian environment and Chinese pedestrians do not accept AVs well. And more explorations should be conducted on standard human machine interaction, interaction information overload avoidance, occluded pedestrians detection and nation based receptivity research. The conclusions are very useful for motor corporations and driverless car researchers to place more attention on the complexity of the Chinese pedestrian environment, for transportation experts to protect pedestrian safety in the context of AVs, and for governors to think about making new pedestrians policies to welcome the upcoming driverless cars.


Quant Bust 2020. We explain in a nontechnical fashion why dollar neutral quant trading strategies, such as equities Statistical Arbitrage, suffered substantial losses (drawdowns) during the COVID 19 market selloff. We discuss (i) why these strategies work during "normal" times (ii) the market regimes when they work best and (iii) their limitations and the reasons for why they "break" during extreme market events. An accompanying appendix (with a link to freely accessible source code) includes backtests for various strategies, which put flesh on and illustrate the discussion in the main text.


Equivariant Morse theory on Vietoris Rips complexes universal spaces for proper actions. We formalize an equivariant version of Bestvina Brady discrete Morse theory, and apply it to Vietoris Rips complexes in order to exhibit finite universal spaces for proper actions for all asymptotically CAT(0) groups.


Backdoor Attacks on the DNN Interpretation System. Interpretability is crucial to understand the inner workings of deep neural networks (DNNs) and many interpretation methods generate saliency maps that highlight parts of the input image that contribute the most to the prediction made by the DNN. In this paper we design a backdoor attack that alters the saliency map produced by the network for an input image only with injected trigger that is invisible to the naked eye while maintaining the prediction accuracy. The attack relies on injecting poisoned data with a trigger into the training data set. The saliency maps are incorporated in the penalty term of the objective function that is used to train a deep model and its influence on model training is conditioned upon the presence of a trigger. We design two types of attacks targeted attack that enforces a specific modification of the saliency map and untargeted attack when the importance scores of the top pixels from the original saliency map are significantly reduced. We perform empirical evaluation of the proposed backdoor attacks on gradient based and gradient free interpretation methods for a variety of deep learning architectures. We show that our attacks constitute a serious security threat when deploying deep learning models developed by untrusty sources. Finally, in the Supplement we demonstrate that the proposed methodology can be used in an inverted setting, where the correct saliency map can be obtained only in the presence of a trigger (key), effectively making the interpretation system available only to selected users.


5G New Radio Unlicensed Challenges and Evaluation. To meet the high demand for mobile data, the Third Generation Partnership Project (3GPP) established a set of standards known as 5G New Radio (5G NR). The architecture of 5G NR includes a flexible radio access network and a core network. 3GPP has also been working on a new radio access technology, called 5G NR Unlicensed (5G NR U), which aims at extending 5G NR to unlicensed bands. In this paper, we give an overview of the most recent 5G NR U design elements and discuss potential concerns, including fair coexistence with other unlicensed technologies such as Wi Fi. We use simulations to study coexistence between Wi Fi and 5G NR U systems. Our evaluation indicates that NR U often achieves higher throughput and lower delay than Wi Fi (802.11ac). The two systems experience different buffer occupancies and spectrum utilization statistics. We also discuss the improvements that NR U offers over LTE Licensed Assisted Access (LTE LAA).


Robin A Web Security Tool. Thanks to the advance of technology, all kinds of applications are becoming more complete and capable of performing complex tasks that save much of our time. But to perform these tasks, applications require that some personal information are shared, for example credit card, bank accounts, email addresses, etc. All these data must be transferred securely between the final user and the institution application. Nonetheless, several applications might contain residual flaws that may be explored by criminals in order to steal users data. Hence, to help information security professionals and developers to perform penetration tests (pentests) on web applications, this paper presents Robin A Web Security Tool. The tool is also applied to a real case study in which a very dangerous vulnerability was found. This vulnerability is also described in this paper.


Qualitative Multi Objective Reachability for Ordered Branching MDPs. We study qualitative multi objective reachability problems for Ordered Branching Markov Decision Processes (OBMDPs), or equivalently context free MDPs, building on prior results for single target reachability on Branching Markov Decision Processes (BMDPs). We provide two separate algorithms for "almost sure" and "limit sure" multi target reachability for OBMDPs. Specifically, given an OBMDP, mathcal A , given a starting non terminal, and given a set of target non terminals K of size k K , our first algorithm decides whether the supremum probability, of generating a tree that contains every target non terminal in set K , is 1 . Our second algorithm decides whether there is a strategy for the player to almost surely (with probability 1 ) generate a tree that contains every target non terminal in set K . The two separate algorithms are needed we show that indeed, in this context, "almost sure" not "limit sure" for multi target reachability, meaning that there are OBMDPs for which the player may not have any strategy to achieve probability exactly 1 of reaching all targets in set K in the same generated tree, but may have a sequence of strategies that achieve probability arbitrarily close to 1 . Both algorithms run in time 2 O(k) cdot mathcal A O(1) , where mathcal A is the total bit encoding length of the given OBMDP, mathcal A . Hence they run in polynomial time when k is fixed, and are fixed parameter tractable with respect to k . Moreover, we show that even the qualitative almost sure (and limit sure) multi target reachability decision problem is in general NP hard, when the size k of the set K of target non terminals is not fixed.


Separate and Attend in Personal Email Search. In personal email search, user queries often impose different requirements on different aspects of the retrieved emails. For example, the query "my recent flight to the US" requires emails to be ranked based on both textual contents and recency of the email documents, while other queries such as "medical history" do not impose any constraints on the recency of the email. Recent deep learning to rank models for personal email search often directly concatenate dense numerical features (e.g., document age) with embedded sparse features (e.g., n gram embeddings). In this paper, we first show with a set of experiments on synthetic datasets that direct concatenation of dense and sparse features does not lead to the optimal search performance of deep neural ranking models. To effectively incorporate both sparse and dense email features into personal email search ranking, we propose a novel neural model, SepAttn. SepAttn first builds two separate neural models to learn from sparse and dense features respectively, and then applies an attention mechanism at the prediction level to derive the final prediction from these two models. We conduct a comprehensive set of experiments on a large scale email search dataset, and demonstrate that our SepAttn model consistently improves the search quality over the baseline models.


The compression semigroup of the dual Vinberg cone. We investigate the semigroup associated to the dual Vinberg cone and prove its triple and Ol'shanski u i polar decompositions. Moreover, we show that the semigroup does not have the contraction property with respect to the canonical Riemannian metric on the cone.


A generalization of the 3d distance theorem. Let P be a positive rational number. Call a function f mathbb R rightarrow mathbb R to have textit finite gaps property mod P if the following holds for any positive irrational alpha and positive integer M , when the values of f(m alpha) , 1 leq m leq M , are inserted mod P into the interval 0,P) and arranged in increasing order, the number of distinct gaps between successive terms is bounded by a constant k f which depends only on f . In this note, we prove a generalization of the 3d distance theorem of Chung and Graham. As a consequence, we show that a piecewise linear map with rational slopes and having only finitely many non differentiable points has finite gaps property mod P . We also show that if f is distance to the nearest integer function, then it has finite gaps property mod 1 with k f leq6 .


A Framework and DataSet for Bugs in Ethereum Smart Contracts. Ethereum is the largest blockchain platform that supports smart contracts. Users deploy smart contracts by publishing the smart contract's bytecode to the blockchain. Since the data in the blockchain cannot be modified, even if these contracts contain bugs, it is not possible to patch deployed smart contracts with code updates. Moreover, there is currently neither a comprehensive classification framework for Ethereum smart contract bugs, nor detailed criteria for detecting bugs in smart contracts, making it difficult for developers to fully understand the negative effects of bugs and design new approaches to detect bugs. In this paper, to fill the gap, we first collect as many smart contract bugs as possible from multiple sources and divide these bugs into 9 categories by extending the IEEE Standard Classification for Software Anomalies. Then, we design the criteria for detecting each kind of bugs, and construct a dataset of smart contracts covering all kinds of bugs. With our framework and dataset, developers can learn smart contract bugs and develop new tools to detect and locate bugs in smart contracts. Moreover, we evaluate the state of the art tools for smart contract analysis with our dataset and obtain some interesting findings 1) Mythril, Slither and Remix are the most worthwhile combination of analysis tools. 2) There are still 10 kinds of bugs that cannot be detected by any analysis tool.


A Performance Perspective on Web Optimized Protocol Stacks TCP TLS HTTP 2 vs. QUIC. Existing performance comparisons of QUIC and TCP compared an optimized QUIC to an unoptimized TCP stack. By neglecting available TCP improvements inherently included in QUIC, comparisons do not shed light on the performance of current web stacks. In this paper, we can show that tuning TCP parameters is not negligible and directly yields significant improvements. Nevertheless, QUIC still outperforms even our tuned variant of TCP. This performance advantage is mostly caused by QUIC's reduced RTT design during connection establishment, and, in case of lossy networks due to its ability to circumvent head of line blocking.


Performance benefits of Intel(R) OptaneTM DC persistent memory for the parallel processing of large neuroimaging data. Open access neuroimaging datasets have reached petabyte scale, and continue to grow. The ability to leverage the entirety of these datasets is limited to a restricted number of labs with both the capacity and infrastructure to process the data. Whereas Big Data engines have significantly reduced application performance penalties with respect to data movement, their applied strategies (e.g. data locality, in memory computing and lazy evaluation) are not necessarily practical within neuroimaging workflows where intermediary results may need to be materialized to shared storage for post processing analysis. In this paper we evaluate the performance advantage brought by Intel(R) OptaneTM DC persistent memory for the processing of large neuroimaging datasets using the two available configurations modes Memory mode and App Direct mode. We employ a synthetic algorithm on the 76 GiB and 603 GiB BigBrain, as well as apply a standard neuroimaging application on the Consortium for Reliability and Reproducibility (CoRR) dataset using 25 and 96 parallel processes in both cases. Our results show that the performance of applications leveraging persistent memory is superior to that of other storage devices,with the exception of DRAM. This is the case in both Memory and App Direct mode and irrespective of the amount of data and parallelism. Furthermore, persistent memory in App Direct mode is believed to benefit from the use of DRAM as a cache for writing when output data is significantly smaller than available memory. We believe the use of persistent memory will be beneficial to both neuroimaging applications running on HPC or visualization of large, high resolution images.


Train Where the Data is A Case for Bandwidth Efficient Coded Training. Training a machine learning model is both compute and data intensive. Most of the model training is performed on high performance compute nodes and the training data is stored near these nodes for faster training. But there is a growing interest in enabling training near the data. For instance, mobile devices are rich sources of training data. It may not be feasible to consolidate the data from mobile devices into a cloud service, due to bandwidth and data privacy reasons. Training at mobile devices is however fraught with challenges. First mobile devices may join or leave the distributed setting, either voluntarily or due to environmental uncertainties, such as lack of power. Tolerating uncertainties is critical to the success of distributed mobile training. One proactive approach to tolerate computational uncertainty is to store data in a coded format and perform training on coded data. Encoding data is a challenging task since erasure codes require multiple devices to exchange their data to create a coded data partition, which places a significant bandwidth constraint. Furthermore, coded computing traditionally relied on a central node to encode and distribute data to all the worker nodes, which is not practical in a distributed mobile setting. In this paper, we tackle the uncertainty in distributed mobile training using a bandwidth efficient encoding strategy. We use a Random Linear Network coding (RLNC) which reduces the need to exchange data partitions across all participating mobile devices, while at the same time preserving the property of coded computing to tolerate uncertainties. We implement gradient descent for logistic regression and SVM to evaluate the effectiveness of our mobile training framework. We demonstrate a 50 reduction in total required communication bandwidth compared to MDS coded computation, one of the popular erasure codes.


On the uniform K stability for some asymptotically log del Pezzo surfaces. Motivated by the problem for the existence of K "ahler Einstein edge metrics, Cheltsov and Rubinstein conjectured the K polystability of asymptotically log Fano varieties with small cone angles when the anti log canonical divisors are not big. Cheltsov, Rubinstein and Zhang proved it affirmatively in dimension 2 with irreducible boundaries except for the type ( operatorname I.9B. n) with 1 leq n leq 6 . Unfortunately, recently, Fujita, Liu, S "u ss, Zhang and Zhuang showed the non K polystability for some members of type ( operatorname I.9B. 1) and for some members of type ( operatorname I.9B. 2) . In this article, we show that Cheltsov Rubinstein's problem is true for all of the remaining cases. More precisely, we explicitly compute the delta invariant for asymptotically log del Pezzo surfaces of type ( operatorname I.9B. n) for all n geq 1 with small cone angles. As a consequence, we finish Cheltsov Rubinstein's problem in dimension 2 with irreducible boundaries.


A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling. In Business Process Management (BPM), process modelling has been solved in various ways. However, there are no commonly accepted modelling tools (languages). Some of them are criticized for their inability to capture both the lifecycle, informational and organizational models of processes. For some others, process modelling is generally done using a single graph this does not facilitate modularity, maintenance and scalability. In addition, some of these languages are very general hence, their application to specific domain processes (such as administrative processes) is very complex. In this paper, we present a new language and a new methodology, dedicated to administrative process modelling. This language is based on a variant of attributed grammars and is able to capture the lifecycle, informational and organizational models of such processes. Also, it proposes a simple graphical formalism allowing to model each process's execution scenario as an annotated tree (modularity). In the new language, a particular emphasis is put on modelling (using "views") the perceptions that actors have on processes and their data.


Controllable Enhancements of Wi Fi Signals at Desired Locations Without Extra Energy Using Programmable Metasurface. We present for the first time an experimental demonstration on the energy allocation of commodity Wi Fi signals in a programmable and inexpensive way. To that end, we design an electronically programmable phase binary coding metasurface, working at the 2.4GHz Wi Fi frequency band, to manipulate dynamically and arbitrarily the spatial distribution of commodity Wi Fi signals. Meanwhile, an efficient algorithm is developed to find the optimal coding sequence of the programmable metasurface such that the spatial energy of commodity Wi Fi signals can be instantly controlled in a desirable way. Selected experimental results based on an IEEE 802.11n commercial Wi Fi protocol have been provided to demonstrate the performance of the developed proof of concept system in enhancing the commodity Wi Fi signals dynamically and arbitrarily. It could be expected that the proposed strategy will pave a promising way for wireless communications, future smart home, and so on.


Proceedings of the CHI 2019 Workshop on New Directions for the IoT Automate, Share, Build, and Care. This volume represents the proceedings of the CHI 2019 Workshop on New Directions for the IoT Automate, Share, Build, and Care.