On Tractability of Ulams Metric in Highier Dimensions and Dually Related Hierarchies. The Ulam's metric is the minimal number of moves consisting in removal of one element from a permutation and its subsequent reinsertion in different place, to go between two given permutations. Thet elements that are not moved create longest common subsequence of permutations. Aldous and Diaconis, in their paper, pointed that Ulam's metric had been introduced in the context of questions concerning sorting and tossing cards. In this paper we define and study Ulam's metric in highier dimensions for dimension one the considered object is a pair of permutations, for dimension k it is a pair of k tuples of permutations. Over encodings by k tuples of permutations we define two dually related hierarchies. Our very first motivation come from Murata at al. paper, in which pairs of permutations were used as representation of topological relation between rectangles packed into minimal area with application to VLSI physical design. Our results concern hardness, approximability, and parametrized complexity inside the hierarchies.


Cyclical lock down and the economic activity along the pandemic of COVID 19. The investigation focuses on an on off protocol for controlling the COVID 19 widespread. The protocol establishes a working period of 4 days for all the citizens, followed by 8 days of lock down. We further propose splitting people into smaller groups that undergo the on off protocol, but shifted in time. This procedure is expected to regularize the overall economic activity. Our results show that either the on of protocol and the splitting into groups reduces the amount of infected people. However, the latter seems to be better for economic reasons. Our simulations further show that the start up time is a key issue for the success of the implementation.


YOLOpeds Efficient Real Time Single Shot Pedestrian Detection for Smart Camera Applications. Deep Learning based object detectors can enhance the capabilities of smart camera systems in a wide spectrum of machine vision applications including video surveillance, autonomous driving, robots and drones, smart factory, and health monitoring. Pedestrian detection plays a key role in all these applications and deep learning can be used to construct accurate state of the art detectors. However, such complex paradigms do not scale easily and are not traditionally implemented in resource constrained smart cameras for on device processing which offers significant advantages in situations when real time monitoring and robustness are vital. Efficient neural networks can not only enable mobile applications and on device experiences but can also be a key enabler of privacy and security allowing a user to gain the benefits of neural networks without needing to send their data to the server to be evaluated. This work addresses the challenge of achieving a good trade off between accuracy and speed for efficient deployment of deep learning based pedestrian detection in smart camera applications. A computationally efficient architecture is introduced based on separable convolutions and proposes integrating dense connections across layers and multi scale feature fusion to improve representational capacity while decreasing the number of parameters and operations. In particular, the contributions of this work are the following 1) An efficient backbone combining multi scale feature operations, 2) a more elaborate loss function for improved localization, 3) an anchor less approach for detection, The proposed approach called YOLOpeds is evaluated using the PETS2009 surveillance dataset on 320x320 images. Overall, YOLOpeds provides real time sustained operation of over 30 frames per second with detection rates in the range of 86 outperforming existing deep learning models.


Convergence bounds for empirical nonlinear least squares. We consider best approximation problems in a nonlinear subset mathcal M of a Banach space of functions ( mathcal V , bullet ) . The norm is assumed to be a generalization of the L 2 norm for which only a weighted Monte Carlo estimate bullet n can be computed. The objective is to obtain an approximation v in mathcal M of an unknown function u in mathcal V by minimizing the empirical norm u v n . We consider this problem for general nonlinear subsets and establish error bounds for the empirical best approximation error. Our results are based on a restricted isometry property (RIP) which holds in probability and is independent of the nonlinear least squares setting. Several model classes are examined where analytical statements can be made about the RIP and the results are compared to existing sample complexity bounds from the literature. We find that for well studied model classes our general bound is weaker but exhibits many of the same properties as these specialized bounds. Notably, we demonstrate the advantage of an optimal sampling density (as known for linear spaces) for sets of functions with sparse representations.


Continuous dependence of an invariant measure on the jump rate of a piecewise deterministic Markov process. We investigate a piecewise deterministic Markov process, evolving on a Polish metric space, whose deterministic behaviour between random jumps is governed by some semi flow, and any state right after the jump is attained by a randomly selected continuous transformation. It is assumed that the jumps appear at random moments, which coincide with the jump times of a Poisson process with intensity lambda . The model of this type, although in a more general version, was examined in our previous papers, where we have shown, among others, that the Markov process under consideration possesses a unique invariant probability measure, say nu lambda . The aim of this paper is to prove that the map lambda mapsto nu lambda is continuous (in the topology of weak convergence of probability measures). The studied dynamical system is inspired by certain stochastic models for cell division and gene expression.


A Systems Thinking for Cybersecurity Modeling. Solving cybersecurity issues requires a holistic understanding of components, factors, structures and their interactions in cyberspace, but conventional modeling approaches view the field of cybersecurity by their boundaries so that we are still not clear to cybersecurity and its changes. In this paper, we attempt to discuss the application of systems thinking approaches to cybersecurity modeling. This paper reviews the systems thinking approaches and provides the systems theories and methods for tackling cybersecurity challenges, regarding relevant fields, associated impact factors and their interactions. Moreover, an illustrative example of systems thinking frameworks for cybersecurity modeling is developed to help broaden the mind in methodology, theory, technology and practice. This article concludes that systems thinking can be considered as one of the powerful tools of cybersecurity modeling to find, characterize, understand, evaluate and predict cybersecurity.


Semi supervisedly Co embedding Attributed Networks. Deep generative models (DGMs) have achieved remarkable advances. Semi supervised variational auto encoders (SVAE) as a classical DGM offer a principled framework to effectively generalize from small labelled data to large unlabelled ones, but it is difficult to incorporate rich unstructured relationships within the multiple heterogeneous entities. In this paper, to deal with the problem, we present a semi supervised co embedding model for attributed networks (SCAN) based on the generalized SVAE for heterogeneous data, which collaboratively learns low dimensional vector representations of both nodes and attributes for partially labelled attributed networks semi supervisedly. The node and attribute embeddings obtained in a unified manner by our SCAN can benefit for capturing not only the proximities between nodes but also the affinities between nodes and attributes. Moreover, our model also trains a discriminative network to learn the label predictive distribution of nodes. Experimental results on real world networks demonstrate that our model yields excellent performance in a number of applications such as attribute inference, user profiling and node classification compared to the state of the art baselines.


AS regular algebras from acyclic spherical helices. We discuss a construction of AS regular algebras from acyclic spherical helices, generalizing works of Bondal and Polishchuk BP93 and Van den Bergh VdB11 .


A Macro Micro Weakly supervised Framework for AS OCT Tissue Segmentation. Primary angle closure glaucoma (PACG) is the leading cause of irreversible blindness among Asian people. Early detection of PACG is essential, so as to provide timely treatment and minimize the vision loss. In the clinical practice, PACG is diagnosed by analyzing the angle between the cornea and iris with anterior segment optical coherence tomography (AS OCT). The rapid development of deep learning technologies provides the feasibility of building a computer aided system for the fast and accurate segmentation of cornea and iris tissues. However, the application of deep learning methods in the medical imaging field is still restricted by the lack of enough fully annotated samples. In this paper, we propose a novel framework to segment the target tissues accurately for the AS OCT images, by using the combination of weakly annotated images (majority) and fully annotated images (minority). The proposed framework consists of two models which provide reliable guidance for each other. In addition, uncertainty guided strategies are adopted to increase the accuracy and stability of the guidance. Detailed experiments on the publicly available AGE dataset demonstrate that the proposed framework outperforms the state of the art semi weakly supervised methods and has a comparable performance as the fully supervised method. Therefore, the proposed method is demonstrated to be effective in exploiting information contained in the weakly annotated images and has the capability to substantively relieve the annotation workload.


Efficient Generation of Different Topological Representations of Graphs Beyond Planarity. Beyond planarity focuses on combinatorial properties of classes of non planar graphs that allow for representations satisfying certain local geometric or topological constraints on their edge crossings. Beside the study of a specific graph class for its maximum edge density, another parameter that is often considered in the literature is the size of the largest complete or complete bipartite graph belonging to it. Overcoming the limitations of standard combinatorial arguments, we present a technique to systematically generate all non isomorphic topological representations of complete and complete bipartite graphs, taking into account the constraints of the specific class. As a proof of concept, we apply our technique to various beyond planarity classes and achieve new tight bounds for the aforementioned parameter.


iMER Iterative Process of Entity Relationship and Business Proces Models Extraction from the Requirements. Extracting conceptual models, e.g., entity relationship model or Business Process model, from software requirement document is an essential task in the software development life cycle. Business process model presents a clear picture of required system functionality. Operations in business process model together with the data entity consumed, help the software developers to understand the database design and operations to be implemented. Researchers have been aiming at automatic extraction of these artefacts from the requirement document. In this paper, we present an automated approach to extract the entity relationship and business process models from requirements, which are possibly in different formats such as general requirements, use case specification and user stories. Our approach is based on the efficient natural language processing techniques.


On the Gamma convergence of functionals defined over pairs of measures and energy measures. A novel general framework for the study of Gamma convergence of functionals defined over pairs of measures and energy measures is introduced. This theory allows us to identify the Gamma limit of these kind of functionals by knowing the Gamma limit of the underlining energies. In particular, the interaction between the functionals and the underlining energies results, in the case these latter converge to a non continuous energy, in an additional effect in the relaxation process. This study was motivated by a question in the context of epitaxial growth evolution with adatoms. Interesting cases of application of the general theory are also presented.


Wavefront manipulation based of the excitation of bound states in dielectric photonic crystals and bilayer metasurfaces. We present the study of bound surface modes sustained at the termination of truncated bulk dielectric photonic crystals and isolated metasurfaces of dielectric meta atoms. We discuss the origins of bound modes in the two systems and their relation. For both systems, we theoretically study and experimentally demonstrate wavefront manipulation, in particular directional emission, frequency splitting and beam collimation achieved by coupling of the bound states to radiation modes through leaky wave radiation mechanism using properly designed scattering gratings.


A Cubic analogue of the Friedlander Iwaniec spin over primes. In 1998 Friedlander and Iwaniec proved that there are infinitely many primes of the form a 2 b 4 . To show this they defined the spin of Gaussian integers by the Jacobi symbol, and one of the key ingredients in the proof was to show that the spin becomes equidistributed along Gaussian primes. To generalize this we define the cubic spin of ideals of mathbb Z zeta 12 mathbb Z zeta 3,i by using the cubic residue character on the Eisenstein integers mathbb Z zeta 3 . Our main theorem says that the cubic spin is equidistributed along prime ideals of mathbb Z zeta 12 . The proof of this follows closely along the lines of Friedlander and Iwaniec. The main new feature in our case is the infinite unit group, which means that we need to show that the definition of the cubic spin on the ring of integers lifts to a well defined function on the ideals. We also explain how the cubic spin arises if we consider primes of the form a 2 b 6 on the Eisenstein integers.


Balanced Independent and Dominating Sets on Colored Interval Graphs. We study two new versions of independent and dominating set problems on vertex colored interval graphs, namely f Balanced Independent Set ( f BIS) and f Balanced Dominating Set ( f BDS). Let G (V,E) be a vertex colored interval graph with a color assignment function gamma colon V rightarrow 1, ldots,k that maps all vertices in G onto k colors. A subset of vertices S subseteq V is called f balanced if S contains f vertices from each color class. In the f BIS and f BDS problems, the objective is to compute an independent set or a dominating set that is f balanced. We show that both problems are NP complete even on proper interval graphs. For the f BIS problem, we design two FPT algorithms, one parameterized by (f,k) for interval graphs and the other parameterized by the vertex cover number for general graphs. Moreover, for an optimization variant of BIS on interval graphs, we show that a simple greedy approach achieves an approximation ratio of 2 .


Extremal cases of Rapoport Zink spaces. We investigate qualitative properties of the underlying scheme of Rapoport Zink formal moduli spaces of p divisible groups, resp. Shtukas. We single out those cases when the dimension of this underlying scheme is zero, resp. those where the dimension is maximal possible. The model case for the first alternative is the Lubin Tate moduli space, and the model case for the second alternative is the Drinfeld moduli space. We exhibit a complete list in both cases.


Critical Impact of Social Networks Infodemic on Defeating Coronavirus COVID 19 Pandemic Twitter Based Study and Research Directions. News creation and consumption has been changing since the advent of social media. An estimated 2.95 billion people in 2019 used social media worldwide. The widespread of the Coronavirus COVID 19 resulted with a tsunami of social media. Most platforms were used to transmit relevant news, guidelines and precautions to people. According to WHO, uncontrolled conspiracy theories and propaganda are spreading faster than the COVID 19 pandemic itself, creating an infodemic and thus causing psychological panic, misleading medical advises, and economic disruption. Accordingly, discussions have been initiated with the objective of moderating all COVID 19 communications, except those initiated from trusted sources such as the WHO and authorized governmental entities. This paper presents a large scale study based on data mined from Twitter. Extensive analysis has been performed on approximately one million COVID 19 related tweets collected over a period of two months. Furthermore, the profiles of 288,000 users were analyzed including unique users profiles, meta data and tweets context. The study noted various interesting conclusions including the critical impact of the (1) exploitation of the COVID 19 crisis to redirect readers to irrelevant topics and (2) widespread of unauthentic medical precautions and information. Further data analysis revealed the importance of using social networks in a global pandemic crisis by relying on credible users with variety of occupations, content developers and influencers in specific fields. In this context, several insights and findings have been provided while elaborating computing and non computing implications and research directions for potential solutions and social networks management strategies during crisis periods.


The uniqueness of plethystic factorisation. We prove that a plethysm product of two Schur functions can be factorised uniquely and classify homogeneous and indecomposable plethysm products.


Posit NPB Assessing the Precision Improvement in HPC Scientific Applications. Floating point operations can significantly impact the accuracy and performance of scientific applications on large scale parallel systems. Recently, an emerging floating point format called Posit has attracted attention as an alternative to the standard IEEE floating point formats because it could enable higher precision than IEEE formats using the same number of bits. In this work, we first explored the feasibility of Posit encoding in representative HPC applications by providing a 32 bit Posit NAS Parallel Benchmark (NPB) suite. Then, we evaluate the accuracy improvement in different HPC kernels compared to the IEEE 754 format. Our results indicate that using Posit encoding achieves optimized precision, ranging from 0.6 to 1.4 decimal digit, for all tested kernels and proxy applications. Also, we quantified the overhead of the current software implementation of Posit encoding as 4x 19x that of IEEE 754 hardware implementation. Our study highlights the potential of hardware implementations of Posit to benefit a broad range of HPC applications.


On the Secrecy Performance of NOMA Systems with both External and Internal Eavesdroppers. Sharing resource blocks in NOMA systems provides more opportunity to the internal users to overhear the messages of the other users. Therefore, some sort of secrecy against the internal users in addition to the external eavesdroppers must be provided. In this paper, we investigate the secrecy performance of a two user NOMA system in existence of the external and internal passive eavesdroppers, where the far user acts as an internal eavesdropper and tries to overhear the message of the near user. Our system consists of a single antenna base station, two legitimate users and an external passive eavesdropper. We present the closed forms for the ergodic secrecy rates of the users. Moreover, to derive the secrecy outage probability (SOP) of the system, we use Gaussian Chebyshev quadrature method, which gives an approximation for the SOP. Numerical results show that this approximation is very close to the exact value of the SOP of the system. Finally, we eliminate the external eavesdropper and present the closed forms for the ergodic rate of the far user, the ergodic secrecy rate of the near user and also the SOP of the system.


Tangle Equations, the Jones conjecture, and quantum continued fractions. We study systems of 2 tangle equations N(X T 1) L 1, quad N(X T 2) L 2, which play an important role in the analysis of enzyme actions on DNA strands. We show the benefits of considering such systems in the context of framed tangles and, in particular, we conjecture that in this setting each such system has at most one solution X. We prove a version of this statement for rational tangles. More importantly, we establish a connection between systems of tangle equations and the Jones conjecture. Specifically, we show that the Jones conjecture implies that if a system of tangle equations has a rational solution then that solution is unique among all tangles. This result potentially opens a door to a purely topological line of attack on the Jones conjecture. Additionally, we relate systems of tangle equations to the Cosmetic Surgery Conjecture. Furthermore, we establish a number of properties of the Kauffman bracket ( T 0, T infty) of 2 tangles T for the purpose of the proofs of the above results, which are of their own independent interest. In particular, we show that the Kauffman bracket ratio Q(T) T infty T 0 quantizes continued fraction expansions of rationals. Furthermore, we prove that for algebraic tangles Q(T) determines the slope of incompressible surfaces in D 3 smallsetminus T .


Self Attentional Models for Lattice Inputs. Lattices are an efficient and effective method to encode ambiguity of upstream systems in natural language processing tasks, for example to compactly capture multiple speech recognition hypotheses, or to represent multiple linguistic analyses. Previous work has extended recurrent neural networks to model lattice inputs and achieved improvements in various tasks, but these models suffer from very slow computation speeds. This paper extends the recently proposed paradigm of self attention to handle lattice inputs. Self attention is a sequence modeling technique that relates inputs to one another by computing pairwise similarities and has gained popularity for both its strong results and its computational efficiency. To extend such models to handle lattices, we introduce probabilistic reachability masks that incorporate lattice structure into the model and support lattice scores if available. We also propose a method for adapting positional embeddings to lattice structures. We apply the proposed model to a speech translation task and find that it outperforms all examined baselines while being much faster to compute than previous neural lattice models during both training and inference.


Cascaded Models With Cyclic Feedback For Direct Speech Translation. Direct speech translation describes a scenario where only speech inputs and corresponding translations are available. Such data are notoriously limited. We present a technique that allows cascades of automatic speech recognition (ASR) and machine translation (MT) to exploit in domain direct speech translation data in addition to out of domain MT and ASR data. After pre training MT and ASR, we use a feedback cycle where the downstream performance of the MT system is used as a signal to improve the ASR system by self training, and the MT component is fine tuned on multiple ASR outputs, making it more tolerant towards spelling variations. A comparison to end to end speech translation using components of identical architecture and the same data shows gains of up to 3.8 BLEU points on LibriVoxDeEn and up to 5.1 BLEU points on CoVoST for German to English speech translation.


From Bad to Worse Airline Boarding Changes in Response to COVID 19. Airlines have introduced a back to front boarding process in response to the COVID 19 pandemic. It is motivated by the desire to reduce passengers' likelihood of passing close to seated passengers when they take their seats. However, our prior work on the risk of Ebola spread in airplanes suggested that the driving force for increased exposure to infection transmission risk is the clustering of passengers while waiting for others to stow their luggage and take their seats. In this work, we examine whether the new boarding processes lead to increased or decreased risk of infection spread. We also study the reasons behind the risk differences associated with different boarding processes. We accomplish this by simulating the new boarding processes using pedestrian dynamics and compare them against alternatives. Our results show that back to front boarding roughly doubles the infection exposure compared with random boarding. It also increases exposure by around 50 compared to a typical boarding process prior to the outbreak of COVID 19. While keeping middle seats empty yields a substantial reduction in exposure, our results show that the different boarding processes have similar relative strengths in this case as with middle seats occupied. We show that the increased exposure arises from the proximity between passengers moving in the aisle and while seated. Our results suggest that airlines either revert to their earlier boarding process or adopt the better random process.


Gauntlet Finding Bugs in Compilers for Programmable Packet Processing. Programmable packet processing devices such as programmable switches and network interface cards are becoming mainstream. These devices are configured in a domain specific language such as P4, using a compiler to translate packet processing programs into instructions for different targets. As networks with programmable devices become widespread, it is critical that these compilers be dependable. This paper considers the problem of finding bugs in compilers for packet processing in the context of P4 16. We introduce domain specific techniques to induce both abnormal termination of the compiler (crash bugs) and miscompilation (semantic bugs). We apply these techniques to (1) the open source P4 compiler (P4C) infrastructure, which serves as a common base for different P4 back ends (2) the P4 back end for the P4 reference software switch and (3) the P4 back end for the Barefoot Tofino switch. Across the 3 platforms, over 8 months of bug finding, our tool Gauntlet detected 96 new and distinct bugs (62 crash and 34 semantic), which we confirmed with the respective compiler developers. 54 have been fixed (31 crash and 23 semantic) the remaining have been assigned to a developer. Our bug finding efforts also led to 6 P4 specification changes. We have open sourced Gauntlet at p4gauntlet.github.io and it now runs within P4C's continuous integration pipeline.


Conditional Text Generation for Harmonious Human Machine Interaction. In recent years, with the development of deep learning, text generation technology has undergone great changes and provided many kinds of services for human beings, such as restaurant reservation and daily communication. The automatically generated text is becoming more and more fluent so researchers begin to consider more anthropomorphic text generation technology, that is the conditional text generation, including emotional text generation, personalized text generation, and so on. Conditional Text Generation (CTG) has thus become a research hotspot. As a promising research field, we find that many efforts have been paid to exploring it. Therefore, we aim to give a comprehensive review of the new research trends of CTG. We first summary several key techniques and illustrate the technical evolution route in the field of neural text generation, based on the concept model of CTG. We further make an investigation of existing CTG fields and propose several general learning models for CTG. Finally, we discuss the open issues and promising research directions of CTG.


Prism Removes Consensus Bottleneck for Smart Contracts. The performance of existing permissionless smart contract platforms such as Ethereum is limited by the consensus layer. Prism is a new proof of work consensus protocol that provably achieves throughput and latency up to physical limits while retaining the strong guarantees of the longest chain protocol. This paper reports experimental results from implementations of two smart contract virtual machines, EVM and MoveVM, on top of Prism and demonstrates that the consensus bottleneck has been removed. Code can be found at https github.com wgr523 prism smart contracts.


Height pairings of 1 motives. The purpose of this work is to generalize, in the context of 1 motives, the p adic height pairings constructed by B. Mazur and J. Tate on abelian varieties. Following their approach, we define a global pairing between the rational points of a 1 motive and its dual. We also provide local pairings between zero cycles and divisors on a curve, which is done by considering its Picard and Albanese 1 motives.


Comparison of open and solid falling retroreflector gravimeters. We study whether the optical properties of a solid glass retroreflector influence the value of the acceleration of gravity g determined by dropping both solid and open retroreflectors in an absolute ballistic gravimeter. The retroreflectors have equivalent optical centers and are dropped from the same height, at a fixed location, in the same gravimeter while recording time data corresponding to fixed fringe separation intervals of 400 fringes. The data for both types of retroreflectors are processed with commercial software, as well as with independently developed software based on a relativistic treatment of the phase difference between reference beam and test beams, and a realistic treatment of the effect of frequency modulation, with modulation index beta gg 1 , on the interference signal. After applying corrections for polar motion, barometric admittance, tides, and ocean loading we find agreement between the values of g determined with both types of retroreflectors, whether processed with commercial software or with our independently developed software. We suggest two procedures for computing relativistic corrections the two methods agree to better than .01 mu Gal.


Efficient Ensemble Model Generation for Uncertainty Estimation with Bayesian Approximation in Segmentation. Recent studies have shown that ensemble approaches could not only improve accuracy and but also estimate model uncertainty in deep learning. However, it requires a large number of parameters according to the increase of ensemble models for better prediction and uncertainty estimation. To address this issue, a generic and efficient segmentation framework to construct ensemble segmentation models is devised in this paper. In the proposed method, ensemble models can be efficiently generated by using the stochastic layer selection method. The ensemble models are trained to estimate uncertainty through Bayesian approximation. Moreover, to overcome its limitation from uncertain instances, we devise a new pixel wise uncertainty loss, which improves the predictive performance. To evaluate our method, comprehensive and comparative experiments have been conducted on two datasets. Experimental results show that the proposed method could provide useful uncertainty information by Bayesian approximation with the efficient ensemble model generation and improve the predictive performance.


Bayesian inference based process design and uncertainty analysis of simulated moving bed chromatographic systems. Prominent features of simulated moving bed (SMB) chromatography processes in the downstream processing is based on the determination of operating conditions. However, effects of different types of uncertainties have to be studied and analysed whenever the triangle theory or numerical optimization approaches are applied. In this study, a Bayesian inference based method is introduced to consider the uncertainty of operating conditions on the performance assessment, of a glucose fructose SMB unit under linear condition. A multiple chain Markov Chain Monte Carlo (MCMC) algorithm (i.e., Metropolis algorithm with delayed rejection and adjusted Metropolis) is applied to generate samples. The proposed method renders versatile information by constructing from the MCMC samples, e.g., posterior distributions, uncertainties, credible intervals of the operating conditions, and posterior predictive check and Pareto fronts between each pair of the performance indicators. Additionally, the MCMC samples can be mapped onto the (m text II , m text III ) and (m text IV , m text I ) plains to show the actually complete separation region under uncertainties. The proposed method is a convenient tool to find both optimal values and uncertainties of the operating conditions. Moreover, it is not limited to SMB processes under the linear isotherm and it should be more powerful in the nonlinear scenarios.


Event based Access to Historical Italian War Memoirs. The progressive digitization of historical archives provides new, often domain specific, textual resources that report on facts and events which have happened in the past among these, memoirs are a very common type of primary source. In this paper, we present an approach for extracting information from Italian historical war memoirs and turning it into structured knowledge. This is based on the semantic notions of events, participants and roles. We evaluate quantitatively each of the key steps of our approach and provide a graph based representation of the extracted knowledge, which allows to move between a Close and a Distant Reading of the collection.


Embedding Dimension Phenomena in Intersection Complete Codes. Two tantalizing invariants of a combinatorial code mathcal C subseteq 2 n are cdim ( mathcal C) and odim ( mathcal C) , the smallest dimension in which mathcal C can be realized by convex closed or open sets, respectively. Cruz, Giusti, Itskov, and Kronholm showed that for intersection complete codes mathcal C with m 1 maximal codewords, odim ( mathcal C) and cdim ( mathcal C) are both bounded above by max 2,m . Results of Lienkaemper, Shiu, and Woodstock imply that odim and cdim may differ, even for intersection complete codes. We add to the literature on open and closed embedding dimensions of intersection complete codes with the following results ( ) If mathcal C is a simplicial complex, then cdim ( mathcal C ) mbox odim ( mathcal C) , ( ) If mathcal C is intersection complete, then cdim ( mathcal C) le mbox odim ( mathcal C) , ( ) If mathcal C subseteq 2 n is intersection complete with n ge 2 , then cdim ( mathcal C) le min 2d 1, n 1 , where d is the dimension of the simplicial complex of mathcal C , and ( ) For each simplicial complex Delta subseteq 2 n with m ge 2 facets, the code mathcal S Delta ( Delta ast (n 1)) cup n subseteq 2 n 1 is intersection complete, has m 1 maximal codewords, and satisfies odim ( mathcal S Delta) m . In particular, for each n ge 3 there exists an intersection complete code mathcal C subseteq 2 n with odim ( mathcal C) binom n 1 lfloor (n 1) 2 rfloor . A key tool in our work is the study of sunflowers arrangements of convex open sets in which the sets simultaneously meet in a central region, and nowhere else. We use Tverberg's theorem to study the structure of " k flexible" sunflowers, and consequently obtain new lower bounds on odim ( mathcal C) for intersection complete codes mathcal C .


Learning to drive via Apprenticeship Learning and Deep Reinforcement Learning. With the implementation of reinforcement learning (RL) algorithms, current state of art autonomous vehicle technology have the potential to get closer to full automation. However, most of the applications have been limited to game domains or discrete action space which are far from the real world driving. Moreover, it is very tough to tune the parameters of reward mechanism since the driving styles vary a lot among the different users. For instance, an aggressive driver may prefer driving with high acceleration whereas some conservative drivers prefer a safer driving style. Therefore, we propose an apprenticeship learning in combination with deep reinforcement learning approach that allows the agent to learn the driving and stopping behaviors with continuous actions. We use gradient inverse reinforcement learning (GIRL) algorithm to recover the unknown reward function and employ REINFORCE as well as Deep Deterministic Policy Gradient algorithm (DDPG) to learn the optimal policy. The performance of our method is evaluated in simulation based scenario and the results demonstrate that the agent performs human like driving and even better in some aspects after training.


A Forensic Qualitative Analysis of Contributions to Wikipedia from Anonymity Seeking Users. By choice or by necessity, some contributors to commons based peer production sites use privacy protecting services to remain anonymous. As anonymity seekers, users of the Tor network have been cast both as ill intentioned vandals and as vulnerable populations concerned with their privacy. In this study, we use a dataset drawn from a corpus of Tor edits to Wikipedia to uncover the character of Tor users' contributions. We build in depth narrative descriptions of Tor users' actions and conduct a thematic analysis that places their editing activity into seven broad groups. We find that although their use of a privacy protecting service marks them as unusual within Wikipedia, the character of many Tor users' contributions is in line with the expectations and norms of Wikipedia. However, our themes point to several important places where lack of trust promotes disorder, and to contributions where risks to contributors, service providers, and communities are unaligned.


Inter scale energy transfer in turbulence from the viewpoint of subfilter scales. This brief is organized as follows. In Section 2 we introduce the filter scale energy equations that lead to the subfilter scale dissipation term P. We discuss the properties of the sources and sinks of kinetic energy, and identify our target features concerning an optimal inter scale energy transfer (ISET) term. A similar analysis is performed in Section 3 for the kinetic energy associated with the subfilter velocities, and a new ISET term T is introduced. Comparisons between T and P for different flows and for various filters are offered in Section 4 and Section 5. Finally, we present our conclusions in Section 6.


A mirror theorem for Gromov Witten theory without convexity. We prove a genus zero Givental style mirror theorem for all complete intersections in proper toric Deligne Mumford stacks, which provides an explicit slice called big I function on Givental's Lagrangian cone for such targets. In particular, we remove a technical assumption called convexity needed in previous quantum Lefschetz theorem.


Learning to Hash with Graph Neural Networks for Recommender Systems. Graph representation learning has attracted much attention in supporting high quality candidate search at scale. Despite its effectiveness in learning embedding vectors for objects in the user item interaction network, the computational costs to infer users' preferences in continuous embedding space are tremendous. In this work, we investigate the problem of hashing with graph neural networks (GNNs) for high quality retrieval, and propose a simple yet effective discrete representation learning framework to jointly learn continuous and discrete codes. Specifically, a deep hashing with GNNs (HashGNN) is presented, which consists of two components, a GNN encoder for learning node representations, and a hash layer for encoding representations to hash codes. The whole architecture is trained end to end by jointly optimizing two losses, i.e., reconstruction loss from reconstructing observed links, and ranking loss from preserving the relative ordering of hash codes. A novel discrete optimization strategy based on straight through estimator (STE) with guidance is proposed. The principal idea is to avoid gradient magnification in back propagation of STE with continuous embedding guidance, in which we begin from learning an easier network that mimic the continuous embedding and let it evolve during the training until it finally goes back to STE. Comprehensive experiments over three publicly available and one real world Alibaba company datasets demonstrate that our model not only can achieve comparable performance compared with its continuous counterpart but also runs multiple times faster during inference.


A Toeplitz like operator with rational matrix symbol having poles on the unit circle Fredholm properties. This paper concerns the analysis of an unbounded Toeplitz like operator generated by a rational matrix function having poles on the unit circle T. It extends the analysis of such operators generated by scalar rational functions with poles on T found in 11,12,13 . A Wiener Hopf type factorization of rational matrix functions with poles and zeroes on T is proved and then used to analyze the Fredholm properties of such Toeplitz like operators. A formula for the index, based on the factorization, is given. Furthermore, it is shown that the determinant of the matrix function having no zeroes on T is not sufficient for the Toeplitz like operator to be Fredholm, in contrast to the classical case.


Characterizing the Deep Neural Networks Inference Performance of Mobile Applications. Today's mobile applications are increasingly leveraging deep neural networks to provide novel features, such as image and speech recognitions. To use a pre trained deep neural network, mobile developers can either host it in a cloud server, referred to as cloud based inference, or ship it with their mobile application, referred to as on device inference. In this work, we investigate the inference performance of these two common approaches on both mobile devices and public clouds, using popular convolutional neural networks. Our measurement study suggests the need for both on device and cloud based inferences for supporting mobile applications. In particular, newer mobile devices is able to run mobile optimized CNN models in reasonable time. However, for older mobile devices or to use more complex CNN models, mobile applications should opt in for cloud based inference. We further demonstrate that variable network conditions can lead to poor cloud based inference end to end time. To support efficient cloud based inference, we propose a CNN model selection algorithm called CNNSelect that dynamically selects the most appropriate CNN model for each inference request, and adapts its selection to match different SLAs and execution time budgets that are caused by variable mobile environments. The key idea of CNNSelect is to make inference speed and accuracy trade offs at runtime using a set of CNN models. We demonstrated that CNNSelect smoothly improves inference accuracy while maintaining SLA attainment in 88.5 more cases than a greedy baseline.


Attainability property for a probabilistic target in Wasserstein spaces. In this paper we establish an attainability result for the minimum time function of a control problem in the space of probability measures endowed with Wasserstein distance. The dynamics is provided by a suitable controlled continuity equation, where we impose a nonlocal nonholonomic constraint on the driving vector field, which is assumed to be a Borel selection of a given set valued map. This model can be used to describe at a macroscopic level a so called emph multiagent system made of several possible interacting agents.


Exploring Evolving Plants as Interacting Particles in a Randomly Generated Heterogeneous Environment. We model evolution of plants in a world, made up of different locations, with multiple environments (mutually exclusive and collectively exhaustive subsets of locations). Each environment (landmass) has temperature, rainfall, and other attributes that directly affect plant growth and reproduction. Each plant has preferences for environment attributes. Depending on how suitable the environment is to the plants, seeds are released or death occurs. With every reproductive cycle, genetic mutations occur. To model competition, plants in compete for survival, and success is stochastically dependent on environmental fitness. Our model determines whether and how evolution occurs, and how the attributes of plants change and possibly converge over time in relation to the attributes of the environment.


Systoles and diameters of hyperbolic surfaces. In this article we explore the relationship between the systole and the diameter of closed hyperbolic orientable surfaces. We show that they satisfy a certain inequality, which can be used to deduce that their ratio has a (genus dependent) upper bound.


Degrees of Freedom of Cache Aided Wireless Cellular Networks. This work investigates the degrees of freedom (DoF) of a downlink cache aided cellular network where the locations of base stations (BSs) are modeled as a grid topology and users within a grid cell can only communicate with four nearby BSs. We adopt a cache placement method with uncoded prefetching tailored for the network with partial connectivity. According to the overlapped degree of cached contents among BSs, we propose transmission schemes with no BS cooperation, partial BS cooperation, and full BS cooperation, respectively, for different cache sizes. In specific, the common cached contents among BSs are utilized to cancel some undesired signals by interference neutralization while interference alignment is used to coordinate signals of distinct cached contents. Our achievable results indicate that the reciprocal of per user DoF of the cellular network decreases piecewise linearly with the normalized cache size mu at each BS, and the gain of BS caching is more significant for the small cache region. Under the given cache placement scheme, we also provide an upper bound of per user DoF and show that our achievable DoF is optimal when mu in left frac 1 2 ,1 right , and within an additive gap of frac 4 39 to the optimum when mu in left frac 1 4 , frac 1 2 right) .


A Boundary Based Out of Distribution Classifier for Generalized Zero Shot Learning. Generalized Zero Shot Learning (GZSL) is a challenging topic that has promising prospects in many realistic scenarios. Using a gating mechanism that discriminates the unseen samples from the seen samples can decompose the GZSL problem to a conventional Zero Shot Learning (ZSL) problem and a supervised classification problem. However, training the gate is usually challenging due to the lack of data in the unseen domain. To resolve this problem, in this paper, we propose a boundary based Out of Distribution (OOD) classifier which classifies the unseen and seen domains by only using seen samples for training. First, we learn a shared latent space on a unit hyper sphere where the latent distributions of visual features and semantic attributes are aligned class wisely. Then we find the boundary and the center of the manifold for each class. By leveraging the class centers and boundaries, the unseen samples can be separated from the seen samples. After that, we use two experts to classify the seen and unseen samples separately. We extensively validate our approach on five popular benchmark datasets including AWA1, AWA2, CUB, FLO and SUN. The experimental results demonstrate the advantages of our approach over state of the art methods.


Designing Cost and Energy Efficient Cell Free Massive MIMO Network with Fiber and FSO Fronthaul Links. The emerging cell free massive multiple input multiple output (CF mMIMO) is a promising scheme to tackle the capacity crunch in wireless networks. Designing the optimal fronthaul network in the CF mMIMIO is of utmost importance to deploy a cost and energy efficient network. In this paper, we present a framework to optimally design the fronthaul network of CF mMIMO utilizing optical fiber and free space optical (FSO) technologies. We study an uplink data transmission of the CF mMIMO network wherein each of the distributed access points (APs) is connected to a central processing unit (CPU) through a capacity limited fronthaul, which could be the optical fiber or FSO. Herein, we have derived achievable rates and studied the network's energy efficiency in the presence of power consumption models at the APs and fronthaul links. Although an optical fiber link has a larger capacity, it consumes less power and has a higher deployment cost than that of an FSO link. For a given total number of APs, the optimal number of optical fiber and FSO links and the optimal capacity coefficient for the optical fibers are derived to maximize the system's performance. Finally, the network's performance is investigated through numerical results to highlight the effects of different types of optical fronthaul links.


Remarks on the speeds of a class of random walks on the integers. In recent years, there has been an interest in deriving certain important probabilistic results as consequences of deterministic ones see for instance cite beig and cite acc . In this work, we continue on this path by deducing a well known equivalence between the speed of random walks on the integers and the growth of the size of their ranges. This result is an immediate consequence of the Kesten Spitzer Whitman theorem, and by appearances is probabilistic in nature, but we will show that it follows easily from an elementary deterministic result. We also investigate the common property of recurrent random walks of having speed zero, and show by example that this property need not be shared by deterministic sequences. However, if we consider the inter arrival times (times at which the sequence is equal to 0) then we find a sufficient deterministic condition for a sequence to have zero speed, and show that this can be used to derive several probabilistic results.


On the monomial reduction number of a monomial ideal in K x,y . The reduction number of monomial ideals in the polynomial K x,y is studied. We focus on ideals I for which J (x a,y b) is a reduction ideal. The computation of the reduction number amounts to solve linear inequalities. In some special cases the reduction number can be explicitly computed.


Mapping oscillating magnetic fields around rechargeable batteries. Power storage devices such as batteries are a crucial part of modern technology. The development and use of batteries has accelerated in the past decades, yet there are only a few techniques that allow gathering vital information from battery cells in a nonivasive fashion. A widely used technique to investigate batteries is electrical impedance spectroscopy (EIS), which provides information on how the impedance of a cell changes as a function of the frequency of applied alternating currents. Building on recent developments of inside out MRI (ioMRI), a technique is presented here which produces spatially resolved maps of the oscillating magnetic fields originating from the alternating electrical currents distributed within a cell. The technique works by using an MRI pulse sequence synchronized with a gated alternating current applied to the cell terminals. The approach is benchmarked with a current carrying wire coil, and demonstrated with commercial and prototype lithium ion cells. Marked changes in the fields are observed for different cell types.


Improving Train Track Safety using Drones, Computer Vision and Machine Learning. Millions of human casualties resulting from train accidents globally are caused by the inefficient, manual track inspections. Government agencies are seriously concerned about the safe operations of the rail industry after series of accidents reported across e USA and around the globe, mainly attributed to track defects. Casualties resulting from track defects result in billions of dollars loss in public and private investments and loss of revenue due to downtime, ultimately resulting in loss of the public's confidence. The manual, mundane, and expensive monitoring of rail track safety can be transform through the use of drones, computer vision, and machine learning. The primary goal of this study is to develop multiple algorithms that implement supervised and semi supervised learning that accurately analyze whether a track is safe or unsafe based on simulated training data of train tracks. This includes being able to develop a Convolutional Neural Network that can identify track defects using supervised learning without having to specify a particular algorithm for detecting those defects, and that the new model would both speed up and improve the quality of the track defect detection process, accompanied with a computer vision image processing algorithm. Our other goals included designing and building a prototype representation of train tracks to simulate track defects, to precisely and consistently conduct the visual inspection using drones. Ultimately, the goal demonstrates that the state of good repairs in railway tracks can be attained through the use of drones, computer vision and machine learning.


Learning Agile Locomotion via Adversarial Training. Developing controllers for agile locomotion is a long standing challenge for legged robots. Reinforcement learning (RL) and Evolution Strategy (ES) hold the promise of automating the design process of such controllers. However, dedicated and careful human effort is required to design training environments to promote agility. In this paper, we present a multi agent learning system, in which a quadruped robot (protagonist) learns to chase another robot (adversary) while the latter learns to escape. We find that this adversarial training process not only encourages agile behaviors but also effectively alleviates the laborious environment design effort. In contrast to prior works that used only one adversary, we find that training an ensemble of adversaries, each of which specializes in a different escaping strategy, is essential for the protagonist to master agility. Through extensive experiments, we show that the locomotion controller learned with adversarial training significantly outperforms carefully designed baselines.


Enumeration of associative magic squares of order 7. An associative magic square is a magic square such that the sum of any 2 cells at symmetric positions with respect to the center is constant. The total number of associative magic squares of order 7 is enormous, and thus, it is not realistic to obtain the number by simple backtracking. As a recent result, Artem Ripatti reported the number of semi magic squares of order 6 (the magic squares of 6x6 without diagonal sum conditions) in 2018. In this research, with reference to Ripatti's method of enumerating semi magic squares, we have calculated the total number of associative magic squares of order 7. There are exactly 1,125,154,039,419,854,784 associative magic squares of order 7, excluding symmetric patterns.


On some subspaces of the exterior algebra of a simple Lie algebra. In this article, we are interested in some subspaces of the exterior algebra of a simple Lie algebra g. In particular, we prove that some graded subspaces of degree d generate the g module d (g) for some integers d.


A Self Stabilizing Minimal k Grouping Algorithm. We consider the minimal k grouping problem given a graph G (V,E) and a constant k, partition G into subgraphs of diameter no greater than k, such that the union of any two subgraphs has diameter greater than k. We give a silent self stabilizing asynchronous distributed algorithm for this problem in the composite atomicity model of computation, assuming the network has unique process identifiers. Our algorithm works under the weakly fair daemon. The time complexity (i.e., the number of rounds to reach a legitimate configuration) of our algorithm is O(nD k) where n is the number of processes in the network and diam is the diameter of the network. The space complexity of each process is O((n n false )log n) where n false is the number of false identifiers, i.e., identifiers that do not match the identifier of any process, but which are stored in the local memory of at least one process at the initial configuration. Our algorithm guarantees that the number of groups is at most 2n k 1 after convergence. We also give a novel composition technique to concatenate a silent algorithm repeatedly, which we call loop composition.


Identifying Implicit Vulnerabilities through Personas as Goal Models. When used in requirements processes and tools, personas have the potential to identify vulnerabilities resulting from misalignment between user expectations and system goals. Typically, however, this potential is unfulfilled as personas and system goals are captured with different mindsets, by different teams, and for different purposes. If personas are visualised as goal models, it may be easier for stakeholders to see implications of their goals being satisfied or denied, and designers to incorporate the creation and analysis of such models into the broader RE tool chain. This paper outlines a tool supported approach for finding implicit vulnerabilities from user and system goals by reframing personas as social goal models. We illustrate this approach with a case study where previously hidden vulnerabilities based on human behaviour were identified.


Elephant random walks with delays. In the simple random walk the steps are independent, viz., the walker has no memory. In contrast, in the Elephant Random walk (ERW), which was introduced by Sch "utz and Trimper in 2004, the walker remembers the whole past, and the next step always depends on the whole path so far. One extension, as suggested in a recent paper by Bercu et al. (arXiv 1902.11220v1), is to allow for delays, that is, to put mass at zero. Our aim is to extend known result for the ordinary ERW to a Random Walk With Delays (ERWD).


Tag2Pix Line Art Colorization Using Text Tag With SECat and Changing Loss. Line art colorization is expensive and challenging to automate. A GAN approach is proposed, called Tag2Pix, of line art colorization which takes as input a grayscale line art and color tag information and produces a quality colored image. First, we present the Tag2Pix line art colorization dataset. A generator network is proposed which consists of convolutional layers to transform the input line art, a pre trained semantic extraction network, and an encoder for input color information. The discriminator is based on an auxiliary classifier GAN to classify the tag information as well as genuineness. In addition, we propose a novel network structure called SECat, which makes the generator properly colorize even small features such as eyes, and also suggest a novel two step training method where the generator and discriminator first learn the notion of object and shape and then, based on the learned notion, learn colorization, such as where and how to place which color. We present both quantitative and qualitative evaluations which prove the effectiveness of the proposed method.


Modeling Electrical Switching of Nonvolatile Phase Change Integrated Nanophotonic Structures with Graphene Heaters. Progress in integrated nanophotonics has enabled large scale programmable photonic integrated circuits (PICs) for general purpose electronic photonic systems on a chip. Relying on the weak, volatile thermo optic or electro optic effects, such systems usually exhibit limited reconfigurability along with high energy consumption and large footprints. These challenges can be addressed by resorting to chalcogenide phase change materials (PCMs) such as Ge2Sb2Te5 (GST) that provide substantial optical contrast in a self holding fashion upon phase transitions. However, current PCM based integrated photonic applications are limited to single devices or simple PICs due to the poor scalability of the optical or electrical self heating actuation approaches. Thermal conduction heating via external electrical heaters, instead, allows large scale integration and large area switching, but fast and energy efficient electrical control is yet to show. Here, we model electrical switching of GST clad integrated nanophotonic structures with graphene heaters based on the programmable GST on silicon platform. Thanks to the ultra low heat capacity and high in plane thermal conductivity of graphene, the proposed structures exhibit a high switching speed of 80 MHz and high energy efficiency of 19.2 aJ nm 3 (6.6 aJ nm 3) for crystallization (amorphization) while achieving complete phase transitions to ensure strong attenuation ( 6.46 dB micron) and optical phase ( 0.28 dB micron at 1550 nm) modulation. Compared with indium tin oxide and silicon p i n heaters, the structures with graphene heaters display two orders of magnitude higher figure of merits for heating and overall performance. Our work facilitates the analysis and understanding of the thermal conduction heating enabled phase transitions on PICs and supports the development of the future large scale PCM based electronic photonic systems.


Effects of numerical implementations of the impenetrability condition on non linear Stokes flow applications to ice dynamics. The basal sliding of glaciers and ice sheets can constitute a large part of the total observed ice velocity, in particular in dynamically active areas. It is therefore important to accurately represent this process in numerical models. The condition that the sliding velocity should be tangential to the bed is realized by imposing an impenetrability condition at the base. We study the, in glaciological literature used, numerical implementations of the impenetrability condition for non linear Stokes flow with Navier's slip on the boundary. Using the finite element method, we enforce impenetrability by a local rotation of the coordinate system (strong method), a Lagrange multiplier method enforcing zero average flow across each facet (weak method) and an approximative method that uses the pressure variable as a Lagrange multiplier for both incompressibility and impenetrability. An analysis of the latter shows that it relaxes the incompressibility constraint, but enforces impenetrability approximately if the pressure is close to the normal component of the stress at the bed. Comparing the methods numerically using a method of manufactured solutions unexpectedly leads to similar convergence results. However, we find that, for more realistic cases, in areas of high sliding or varying topography the velocity field simulated by the approximative method differs from that of the other methods by sim 1 (two dimensional flow) and 5 when compared to the strong method (three dimensional flow). In this study the strong method, which is the most commonly used in numerical ice sheet models, emerges as the preferred method due to its stable properties (compared to the weak method in three dimensions) and ability to well enforce the impenetrability condition.


Encode, Shuffle, Analyze Privacy Revisited Formalizations and Empirical Evaluation. Recently, a number of approaches and techniques have been introduced for reporting software statistics with strong privacy guarantees. These range from abstract algorithms to comprehensive systems with varying assumptions and built upon local differential privacy mechanisms and anonymity. Based on the Encode Shuffle Analyze (ESA) framework, notable results formally clarified large improvements in privacy guarantees without loss of utility by making reports anonymous. However, these results either comprise of systems with seemingly disparate mechanisms and attack models, or formal statements with little guidance to practitioners. Addressing this, we provide a formal treatment and offer prescriptive guidelines for privacy preserving reporting with anonymity. We revisit the ESA framework with a simple, abstract model of attackers as well as assumptions covering it and other proposed systems of anonymity. In light of new formal privacy bounds, we examine the limitations of sketch based encodings and ESA mechanisms such as data dependent crowds. We also demonstrate how the ESA notion of fragmentation (reporting data aspects in separate, unlinkable messages) improves privacy utility tradeoffs both in terms of local and central differential privacy guarantees. Finally, to help practitioners understand the applicability and limitations of privacy preserving reporting, we report on a large number of empirical experiments. We use real world datasets with heavy tailed or near flat distributions, which pose the greatest difficulty for our techniques in particular, we focus on data drawn from images that can be easily visualized in a way that highlights reconstruction errors. Showing the promise of the approach, and of independent interest, we also report on experiments using anonymous, privacy preserving reporting to train high accuracy deep neural networks on standard tasks MNIST and CIFAR 10.


Quantum (dual) Grassmann superalgebra as mathcal U q( mathfrak gl (m n)) module algebra and beyond. We introduce and define the quantum affine (m n) superspace (or say quantum Manin superspace) A q m n and its dual object, the quantum Grassmann superalgebra Omega q(m n) . Correspondingly, a quantum Weyl algebra mathcal W q(2(m n)) of (m n) type is introduced as the quantum differential operators (QDO for short) algebra textrm Diff q( Omega q) defined over Omega q(m n) , which is a smash product of the quantum differential Hopf algebra mathfrak D q(m n) (isomorphic to the bosonization of the quantum Manin superspace) and the quantum Grassmann superalgebra Omega q(m n) . An interested point of this approach here is that even though mathcal W q(2(m n)) itself is in general no longer a Hopf algebra, so are some interesting sub quotients existed inside. This point of view gives us one of main expected results, that is, the quantum (restricted) Grassmann superalgebra Omega q is made into the mathcal U q( mathfrak g) module (super)algebra structure, Omega q Omega q(m n) for q generic, or Omega q(m n, bold 1) for q root of unity, and mathfrak g mathfrak gl (m n) or mathfrak sl (m n) , the general or special linear Lie superalgebra. This QDO approach provides us with explicit realization models for some simple mathcal U q( mathfrak g) modules, together with the concrete information on their dimensions. Similar results hold for the quantum dual Grassmann superalgebra Omega q ! as mathcal U q( mathfrak g) module algebra.In the paper some examples of pointed Hopf algebras can arise from the QDOs, whose idea is an expansion of the spirit noted by Manin in cite Ma , cite Ma1 .


Distributed Task Replication for Vehicular Edge Computing Performance Analysis and Learning based Algorithm. In a vehicular edge computing (VEC) system, vehicles can share their surplus computation resources to provide cloud computing services. The highly dynamic environment of the vehicular network makes it challenging to guarantee the task offloading delay. To this end, we introduce task replication to the VEC system, where the replicas of a task are offloaded to multiple vehicles at the same time, and the task is completed upon the first response among replicas. First, the impact of the number of task replicas on the offloading delay is characterized, and the optimal number of task replicas is approximated in closed form. Based on the analytical result, we design a learning based task replication algorithm (LTRA) with combinatorial multi armed bandit theory, which works in a distributed manner and can automatically adapt itself to the dynamics of the VEC system. A realistic traffic scenario is used to evaluate the delay performance of the proposed algorithm. Results show that, under our simulation settings, LTRA with an optimized number of task replicas can reduce the average offloading delay by over 30 compared to the benchmark without task replication, and at the same time can improve the task completion ratio from 97 to 99.6 .


Robust aircraft conflict resolution under trajectory prediction uncertainty. We address the aircraft conflict resolution problem under trajectory prediction uncertainty. We consider that aircraft velocity vectors may be perturbed due to weather effects, such as wind, or measurement errors. Such perturbations may affect aircraft trajectory prediction which plays a key role in ensuring flight safety in air traffic control. Our goal is to solve the aircraft conflict resolution problem in the presence of such perturbations and guarantee that aircraft are separated for any realization of the uncertain data. We propose an uncertainty model wherein aircraft velocities are represented as random variables and the uncertainty set is assumed to be polyhedral. We consider a robust optimization approach and embed the proposed uncertainty model within state of the art mathematical programming formulations for aircraft conflict resolution. We then adopt the approach of Bertsimas and Sim (2004) to formulate the robust counterpart. We use the complex number reformulation and the constraint generation algorithm proposed by Dias et al. (2020a) to solve the resulting nonconvex optimization problem on benchmarking instances of the literature. Our numerical experiments reveal that perturbations of the order of pm 5 on aircraft velocities can be accounted for without significantly impacting the objective function compared to the deterministic case. Our tests also show that for greater levels of uncertainty, several instances fail to admit conflict free solutions, thus highlighting existing risk factors in aircraft conflict resolution. We attempt to explain this behavior by further analyzing pre and post optimization aircraft trajectories. Our findings show that most infeasible instances have both a relatively low total aircraft pairwise minimal distance and a high number of conflicts.


Losing Confidence in Quality Unspoken Evolution of Computer Vision Services. Recent advances in artificial intelligence (AI) and machine learning (ML), such as computer vision, are now available as intelligent services and their accessibility and simplicity is compelling. Multiple vendors now offer this technology as cloud services and developers want to leverage these advances to provide value to end users. However, there is no firm investigation into the maintenance and evolution risks arising from use of these intelligent services in particular, their behavioural consistency and transparency of their functionality. We evaluated the responses of three different intelligent services (specifically computer vision) over 11 months using 3 different data sets, verifying responses against the respective documentation and assessing evolution risk. We found that there are (1) inconsistencies in how these services behave (2) evolution risk in the responses and (3) a lack of clear communication that documents these risks and inconsistencies. We propose a set of recommendations to both developers and intelligent service providers to inform risk and assist maintainability.


Span effect on the turbulence nature of flow past a circular cylinder. Turbulent flow evolution and energy cascades are significantly different in two dimensional (2D) and three dimensional (3D) flows. Studies have investigated these differences in obstacle free turbulent flows, but solid boundaries have an important impact on the cross over between 3D to 2D turbulence dynamics. In this work, we investigate the span effect on the turbulence nature of flow past a circular cylinder at Re 10000. It is found that even for highly anisotropic geometries, 3D small scale structures detach from the walls. Additionally, the natural large scale rotation of the K 'arm 'an vortices rapidly two dimensionalises those structures if the span is 50 of the diameter or less. We show this is linked to the span being shorter than the Mode B instability wavelength. The conflicting 3D small scale structures and 2D K 'arm 'an vortices result in 2D and 3D turbulence dynamics which can coexist at certain locations of the wake depending on the domain geometric anisotropy.


A Concentration Inequality for the Facility Location Problem. We give a concentration inequality for a stochastic version of the facility location problem on the plane. We show the objective C n(X) min F subseteq 0,1 2 , F sum x in X min f in F x f is concentrated in an interval of length O(n 1 6 ) and mathbb E C n Theta(n 2 3 ) if the input X consists of n i.i.d. uniform points in the unit square. Our main tool is to use a suitable geometric quantity, previously used in the design of approximation algorithms for the facility location problem, to analyze a martingale process.


Analyses of protein cores reveal fundamental differences between solution and crystal structures. There have been several studies suggesting that protein structures solved by NMR spectroscopy and x ray crystallography show significant differences. To understand the origin of these differences, we assembled a database of high quality protein structures solved by both methods. We also find significant differences between NMR and crystal structures in the root mean square deviations of the C alpha atomic positions, identities of core amino acids, backbone and sidechain dihedral angles, and packing fraction of core residues. In contrast to prior studies, we identify the physical basis for these differences by modelling protein cores as jammed packings of amino acid shaped particles. We find that we can tune the jammed packing fraction by varying the degree of thermalization used to generate the packings. For an athermal protocol, we find that the average jammed packing fraction is identical to that observed in the cores of protein structures solved by x ray crystallography. In contrast, highly thermalized packing generation protocols yield jammed packing fractions that are even higher than those observed in NMR structures. These results indicate that thermalized systems can pack more densely than athermal systems, which suggests a physical basis for the structural differences between protein structures solved by NMR and x ray crystallography.


L p theory for a fluid structure interaction model. We consider a fluid structure interaction model for an incompressible fluid where the elastic response of the free boundary is given by a damped Kirchhoff plate model. Utilizing the Newton polygon approach, we first prove maximal regularity in L p Sobolev spaces for a linearized version. Based on this, we show existence and uniqueness of the strong solution of the nonlinear system for small data.


Time resolved formation of excited atomic and molecular states in XUV induced nanoplasmas in ammonia clusters. High intensity XUV radiation from a free electron (FEL) was used to create a nanoplasma inside ammonia clusters with the intent of studying the resulting electron ion interactions and their interplay with plasma evolution. In a plasma like state, electrons with kinetic energy lower than the local collective Coulomb potential of the positive ionic core are trapped in the cluster and take part in secondary processes (e.g. electron impact excitation ionization and electron ion recombination) which lead to subsequent excited and neutral molecular fragmentation. Using a time delayed UV laser, the dynamics of the excited atomic and molecular states are probed from 0.1 ps to 18 ps. We identify three different phases of molecular fragmentation that are clearly distinguished by the effect of the probe laser on the ionic and electronic yield. We propose a simple model to rationalize our data and further identify two separate channels leading to the formation of excited hydrogen.


Modeling Dispositional and Initial learned Trust in Automated Vehicles with Predictability and Explainability. Technological advances in the automotive industry are bringing automated driving closer to road use. However, one of the most important factors affecting public acceptance of automated vehicles (AVs) is the public's trust in AVs. Many factors can influence people's trust, including perception of risks and benefits, feelings, and knowledge of AVs. This study aims to use these factors to predict people's dispositional and initial learned trust in AVs using a survey study conducted with 1175 participants. For each participant, 23 features were extracted from the survey questions to capture his or her knowledge, perception, experience, behavioral assessment, and feelings about AVs. These features were then used as input to train an eXtreme Gradient Boosting (XGBoost) model to predict trust in AVs. With the help of SHapley Additive exPlanations (SHAP), we were able to interpret the trust predictions of XGBoost to further improve the explainability of the XGBoost model. Compared to traditional regression models and black box machine learning models, our findings show that this approach was powerful in providing a high level of explainability and predictability of trust in AVs, simultaneously.


Augmented Behavioral Cloning from Observation. Imitation from observation is a computational technique that teaches an agent on how to mimic the behavior of an expert by observing only the sequence of states from the expert demonstrations. Recent approaches learn the inverse dynamics of the environment and an imitation policy by interleaving epochs of both models while changing the demonstration data. However, such approaches often get stuck into sub optimal solutions that are distant from the expert, limiting their imitation effectiveness. We address this problem with a novel approach that overcomes the problem of reaching bad local minima by exploring (I) a self attention mechanism that better captures global features of the states and (ii) a sampling strategy that regulates the observations that are used for learning. We show empirically that our approach outperforms the state of the art approaches in four different environments by a large margin.


Efficient Black Box Identity Testing over Free Group Algebra. Hrube v s and Wigderson HW14 initiated the study of noncommutative arithmetic circuits with division computing a noncommutative rational function in the free skew field, and raised the question of rational identity testing. It is now known that the problem can be solved in deterministic polynomial time in the white box model for noncommutative formulas with inverses, and in randomized polynomial time in the black box model GGOW16, IQS18, DM18 , where the running time is polynomial in the size of the formula. The complexity of identity testing of noncommutative rational functions remains open in general (when the formula size is not polynomially bounded). We solve the problem for a natural special case. We consider polynomial expressions in the free group algebra mathbb F langle X, X 1 rangle where X x 1, x 2, ldots, x n , a subclass of rational expressions of inversion height one. Our main results are the following. 1. Given a degree d expression f in mathbb F langle X, X 1 rangle as a black box, we obtain a randomized text poly (n,d) algorithm to check whether f is an identically zero expression or not. We obtain this by generalizing the Amitsur Levitzki theorem AL50 to mathbb F langle X, X 1 rangle . This also yields a deterministic identity testing algorithm (and even an expression reconstruction algorithm) that is polynomial time in the sparsity of the input expression. 2. Given an expression f in mathbb F langle X, X 1 rangle of degree at most D , and sparsity s , as black box, we can check whether f is identically zero or not in randomized text poly (n, log s, log D) time.


Delocalized SPM rogue waves in normal dispersion cascaded supercontinuum generation. In the numerical modelling of cascaded mid infrared (IR) supercontinuum generation (SCG) we have studied how an ensemble of spectrally and temporally distributed solitons from the long wavelength part of an SC evolves and interacts when coupled into the normal dispersion regime of a highly nonlinear chalcogenide fiber. This has revealed a novel fundamental phenomenon the generation of a temporally and spectrally delocalized high energy rogue wave in the normal dispersion regime in the form of a strongly self phase modulation (SPM) broadened pulse. Along the local SPM shape the rogue wave is localized both temporally and spectrally. We demonstrate that this novel form of rogue wave is generated by inter pulse Raman amplification between the SPM lobes of the many pulses causing the initially most delayed pulse to swallow the energy of all the other pulses. We further demonstrate that this novel type of rogue wave generation is a key effect in efficient long wavelength mid IR SCG based on the cascading of SC spectra and demonstrate how the mid IR SC spectrum can be shaped by manipulating the rogue wave.


On a Mean Field Optimal Control Problem. In this paper we consider a mean field optimal control problem with an aggregation diffusion constraint, where agents interact through a potential, in the presence of a Gaussian noise term. Our analysis focuses on a PDE system coupling a Hamilton Jacobi and a Fokker Planck equation, describing the optimal control aspect of the problem and the evolution of the population of agents, respectively. The main contribution of the paper is a result on the existence of solutions for the aforementioned system. We notice this model is in close connection with the theory of mean field games systems. However, a distinctive feature concerns the nonlocal character of the interaction it affects the drift term in the Fokker Planck equation as well as the Hamiltonian of the system, leading to new difficulties to be addressed.


Conjugacy classes of groups of prime order in mathrm PGL k 1 ( mathbb C ) . Let mathbb C be the field of complex numbers. Let k be natural number with k geq 2 and let p be a rational prime. In this paper we count the number of conjugacy classes of admissible cyclic subgroups of mathrm PGL k 1 ( mathbb C ) of order p , where with admissible we intend those finite subgroups that can be contained in the automorphism group of a set of points in mathbb P k( mathbb C ) in general position and of cardinality n geq k 3 . We also describe a kind of association between the conjugacy classes of these groups and show a beautiful relation connecting this type of association and the association between point sets.


On Hermitian varieties in mathrm PG (6,q 2) . In this paper we characterize the non singular Hermitian variety mathcal H (6,q 2) of mathrm PG (6, q 2) , q neq2 among the irreducible hypersurfaces of degree q 1 in mathrm PG (6, q 2) not containing solids by the number of its points and the existence of a solid S meeting it in q 4 q 2 1 points.


Alternating Sign Hypermatrix Decompositions of Latin like Squares. To any n times n Latin square L , we may associate a unique sequence of mutually orthogonal permutation matrices P P 1, P 2, ..., P n such that L L(P) sum kP k . Brualdi and Dahl (2018) described a generalisation of a Latin square, called an alternating sign hypermatrix Latin like square (ASHL), by replacing P with an alternating sign hypermatrix (ASHM). An ASHM is an n times n times n (0,1, 1) hypermatrix in which the non zero elements in each row, column, and vertical line alternate in sign, beginning and ending with 1 . Since every sequence of n mutually orthogonal permutation matrices forms the planes of a unique n times n times n ASHM, this generalisation of Latin squares follows very naturally, with an ASHM A having corresponding ASHL L L(A) sum kA k , where A k is the k text th plane of A . This paper addresses some open problems posed in Brualdi and Dahl's article, firstly by characterising how pairs of ASHMs with the same corresponding ASHL relate to one another and providing a tight lower bound on n for which two n times n times n ASHMs can correspond to the same ASHL, and secondly by exploring the maximum number of times a particular integer may occur as an entry of an n times n ASHL. A general construction is given for an n times n ASHL with the same entry occurring lfloor frac n 2 4n 19 2 rfloor times, improving considerably on the previous best construction, which achieved the same entry occuring 2n times.


Data Importance Aware User Scheduling for Communication Efficient Edge Machine Learning. With the prevalence of intelligent mobile applications, edge learning is emerging as a promising technology for powering fast intelligence acquisition for edge devices from distributed data generated at the network edge. One critical task of edge learning is to efficiently utilize the limited radio resource to acquire data samples for model training at an edge server. In this paper, we develop a novel user scheduling algorithm for data acquisition in edge learning, called (data) importance aware scheduling. A key feature of this scheduling algorithm is that it takes into account the informativeness of data samples, besides communication reliability. Specifically, the scheduling decision is based on a data importance indicator (DII), elegantly incorporating two "important" metrics from communication and learning perspectives, i.e., the signal to noise ratio (SNR) and data uncertainty. We first derive an explicit expression for this indicator targeting the classic classifier of support vector machine (SVM), where the uncertainty of a data sample is measured by its distance to the decision boundary. Then, the result is extended to convolutional neural networks (CNN) by replacing the distance based uncertainty measure with the entropy. As demonstrated via experiments using real datasets, the proposed importance aware scheduling can exploit the two fold multi user diversity, namely the diversity in both the multiuser channels and the distributed data samples. This leads to faster model convergence than the conventional scheduling schemes that exploit only a single type of diversity.


Train No Evil Selective Masking for Task Guided Pre Training. Recently, pre trained language models mostly follow the pre train then fine tuning paradigm and have achieved great performance on various downstream tasks. However, since the pre training stage is typically task agnostic and the fine tuning stage usually suffers from insufficient supervised data, the models cannot always well capture the domain specific and task specific patterns. In this paper, we propose a three stage framework by adding a task guided pre training stage with selective masking between general pre training and fine tuning. In this stage, the model is trained by masked language modeling on in domain unsupervised data to learn domain specific patterns and we propose a novel selective masking strategy to learn task specific patterns. Specifically, we design a method to measure the importance of each token in sequences and selectively mask the important tokens. Experimental results on two sentiment analysis tasks show that our method can achieve comparable or even better performance with less than 50 of computation cost, which indicates our method is both effective and efficient. The source code of this paper can be obtained from https github.com thunlp SelectiveMasking.


Polarization based intensity correlation of polarization speckle. A new, different kind of intensity correlation, denoted as polarization based intensity correlation, is proposed and investigated to study the correlation between different polarization components of polarization speckle, which has non uniform spatial polarization distribution. It is shown both theoretically and experimentally that the range of the polarization based intensity correlation for a particular polarization component of the polarization speckle depends on the spatial average intensity of the speckles corresponding to that particular polarization component. The experimentally determined nature of the change of range of the intensity correlation for different polarization components, due to variation in the average intensity, is found to be matching well with the theoretical prediction. The existence of non zero correlation between two orthogonally polarized speckle patterns, filtered from a partially depolarized speckle pattern, is also observed. This study may be useful in exploiting the polarization based intensity correlation for different applications such as speckle cryptography etc.


Wave equation on general noncompact symmetric spaces. We establish sharp pointwise kernel estimates and dispersive properties for the wave equation on noncompact symmetric spaces of general rank. This is achieved by combining the stationary phase method and the Hadamard parametrix, and in particular, by introducing a subtle spectral decomposition, which allows us to overcome a well known difficulty in higher rank analysis, namely the fact that the Plancherel density is not a differential symbol in general. As consequences, we deduce the Strichartz inequality for a large family of admissible pairs and prove global well posedness results for the corresponding semilinear equation with low regularity data as on hyperbolic spaces.


Integral operators with rough kernels in variable Lebesgue spaces. In this paper we study integral operators with kernels begin equation K(x,y) k 1( x A 1y)...k m( x A my), end equation k i(x) frac Omega i(x) x n q i where Omega i mathbb R n to mathbb R are homogeneous functions of degree zero, satisfying a size and a Dini condition, A i are certain invertible matrices, and frac n q 1 dots frac n q m n alpha, 0 leq alpha n. We obtain the boundedness of this operator from L p( cdot) into L q( cdot) for frac 1 q( cdot) frac 1 p( cdot) frac alpha n , for certain exponent functions p satisfying weaker conditions than the classical log H "older conditions.


Deep Domain Adversarial Image Generation for Domain Generalisation. Machine learning models typically suffer from the domain shift problem when trained on a source dataset and evaluated on a target dataset of different distribution. To overcome this problem, domain generalisation (DG) methods aim to leverage data from multiple source domains so that a trained model can generalise to unseen domains. In this paper, we propose a novel DG approach based on emph Deep Domain Adversarial Image Generation (DDAIG). Specifically, DDAIG consists of three components, namely a label classifier, a domain classifier and a domain transformation network (DoTNet). The goal for DoTNet is to map the source training data to unseen domains. This is achieved by having a learning objective formulated to ensure that the generated data can be correctly classified by the label classifier while fooling the domain classifier. By augmenting the source training data with the generated unseen domain data, we can make the label classifier more robust to unknown domain changes. Extensive experiments on four DG datasets demonstrate the effectiveness of our approach.


ConFuzzius A Data Dependency Aware Hybrid Fuzzer for Smart Contracts. Smart contracts are Turing complete programs that are executed across a blockchain. Unlike traditional programs, once deployed, they cannot be modified. As smart contracts carry more value, they become more of an exciting target for attackers. Over the last years, they suffered from exploits costing millions of dollars due to simple programming mistakes. As a result, a variety of tools for detecting bugs have been proposed. Most of these tools rely on symbolic execution, which may yield false positives due to over approximation. Recently, many fuzzers have been proposed to detect bugs in smart contracts. However, these tend to be more effective in finding shallow bugs and less effective in finding bugs that lie deep in the execution, therefore achieving low code coverage and many false negatives. An alternative that has proven to achieve good results in traditional programs is hybrid fuzzing, a combination of symbolic execution and fuzzing. In this work, we study hybrid fuzzing on smart contracts and present ConFuzzius, the first hybrid fuzzer for smart contracts. ConFuzzius uses evolutionary fuzzing to exercise shallow parts of a smart contract and constraint solving to generate inputs that satisfy complex conditions that prevent evolutionary fuzzing from exploring deeper parts. Moreover, ConFuzzius leverages dynamic data dependency analysis to efficiently generate sequences of transactions that are more likely to result in contract states in which bugs may be hidden. We evaluate the effectiveness of ConFuzzius by comparing it with state of the art symbolic execution tools and fuzzers for smart contracts. Our evaluation on a curated dataset of 128 contracts and 21K real world contracts shows that our hybrid approach detects more bugs (up to 23 ) while outperforming state of the art in terms of code coverage (up to 69 ), and that data dependency analysis boosts bug detection up to 18 .


Degenerate elliptic problem with a singular nonlinearity. In this paper, we prove existence and regularity results for solutions of some nonlinear Dirichlet problems for an elliptic equation defined by a degenerate coercive operator and a singular right hand side. begin equation label 01 left begin array lll displaystyle mbox div ( a(x,u, nabla u)) displaystyle frac f u gamma mbox in Omega u 0 mbox in Omega u 0 mbox on delta Omega end array right. end equation where Omega is bounded open subset of I ! !R N (N geq2), gamma 0 and f is a nonnegative function that belongs to some Lebesgue space.


Quixo Is Solved. Quixo is a two player game played on a 5 times 5 grid where the players try to align five identical symbols. Specifics of the game require the usage of novel techniques. Using a combination of value iteration and backward induction, we propose the first complete analysis of the game. We describe memory efficient data structures and algorithmic optimizations that make the game solvable within reasonable time and space constraints. Our main conclusion is that Quixo is a Draw game. The paper also contains the analysis of smaller boards and presents some interesting states extracted from our computations.


Particle modeling of the spreading of Coronavirus Disease (COVID 19). By the end of July 2020, the COVID 19 pandemic had infected more than seventeen million people and had spread to almost all countries worldwide. In response, many countries all over the world have used different methods to reduce the infection rate, such as including case isolation, the closure of schools and universities, banning public events, and mostly forcing social distancing, including local and national lockdowns. We use a Monte Carlo (MC) based algorithm to predict the virus infection rate for different population densities using the most recent epidemic data in our work. We test the spread of the Coronavirus using three different lockdown models, and eight various combinations of constraints, which allow us to examine the efficiency of each model and constraint. In this paper, we have tested three different time cyclic patterns of no restrictions lockdown patterns. This model's main prediction is that a cyclic schedule of no restrictions lockdown that contains at least ten days of lockdown for each time cycle can help control the virus infection. In particular, this model reduces the infection rate when accompanied by social distancing and complete isolation of symptomatic patients.


Base Change Along the Frobenius Endomorphism and the Gorenstein Property. Let R be a local ring of positive characteristic and X a complex with nonzero finitely generated homology and finite injective dimension. We prove that if derived base change of X via the Frobenius (or more generally, via a contracting) endomorphism has finite injective dimension then R is Gorenstein.


Blind Two Dimensional Super Resolution in Multiple Input Single Output Linear Systems. In this paper, we consider a multiple input single output (MISO) linear time varying system whose output is a superposition of scaled and time frequency shifted versions of inputs. The goal of this paper is to determine system characteristics and input signals from the single output signal. More precisely, we want to recover the continuous time frequency shift pairs, the corresponding (complex valued) amplitudes and the input signals from only one output vector. This problem arises in a variety of applications such as radar imaging, microscopy, channel estimation and localization problems. While this problem is naturally ill posed, by constraining the unknown input waveforms to lie in separate known low dimensional subspaces, it becomes tractable. More explicitly, we propose a semidefinite program which exactly recovers time frequency shift pairs and input signals. We prove uniqueness and optimality of the solution to this program. Moreover, we provide a grid based approach which can significantly reduce computational complexity in exchange for adding a small gridding error. Numerical results confirm the ability of our proposed method to exactly recover the unknowns.


Chemical Reactions based Detection Mechanism for Molecular Communications. In molecular communications, the direct detection of signaling molecules may be challenging due to a lack of suitable sensors and interference in the environment. Motivated by research in molecular biology, we investigate an indirect detection mechanism using chemical reactions between the signaling molecules and a molecular probe to produce an easy to measure product at the receiver. We consider two implementations of the proposed detection mechanism, i.e., unrestricted probe movement and probes restricted to a volume around the receiver. The reaction diffusion equations describing the concentrations of the reactant and product molecules in the system are non linear and coupled, and cannot be solved in closed form. Therefore, we develop an efficient iterative algorithm by discretizing the time variable and solving for the space variables of the equations in each time step. Our results show that the concentrations of the product molecules and the signalling molecules share a similar characteristic over time, i.e., a single peak and a long tail. The peak and tail values of the product molecule concentration can be controlled by choosing probes with suitable parameters. By carefully choosing the molecular probe and optimizing the decision threshold, the BER can be improved significantly and outperform that of a direct detection system.


Interpolation and Sampling with Exponential Splines of Real Order. The existence of fundamental cardinal exponential B splines of positive real order sigma is established subject to two conditions on sigma and their construction is implemented. A sampling result for these fundamental cardinal exponential B splines is also presented.