Spectral Numerical Mode Matching Method for 3D Layered Multi Region Structures. The spectral numerical mode matching (SNMM) method is developed to simulate the 3D layered multi region structures. The SNMM method is a semi analytical solver having the properties of dimensionality reduction to reduce computational costs it is especially useful for microwave and optical integrated circuits where fabrication is often done in a layered structure. Furthermore, at some layer interfaces, very thin surfaces such as good conductor surfaces and metasurfaces can be deposited to achieve desired properties such as high absorbance and or anomalous reflection refraction. In this work, the 3D SNMM method is further extended from a single interface to multiple layers so that the electromagnetic propagation and scattering in the longitudinal direction is treated analytically through reflection and transmission matrices by using the eigenmode expansions in the transverse directions. Therefore, it effectively reduces the original 3D problem into a series of 2D eigenvalue problems for periodic structures. We apply this method to characterize metasurfaces and lithography models, and show that the SNMM method is especially efficient when the longitudinal layer thicknesses are large compared with wavelength. Numerical experiments indicate that the SNMM method is highly efficient and accurate for the metasurfaces and the lithography models.


Parallelisms and Translations of (Affine) SL(2,q) Unitals. Unitals can be obtained as closures of affine unitals via parallelisms. The isomorphism type of the closure depends on the chosen parallelism, which need not be unique. For affine operatorname SL (2,q) unitals, we introduce a class of parallelisms for odd order and one for square order. Translations are automorphisms of unitals, fixing each block through a given center. For each of the known parallelisms of affine operatorname SL (2,q) unitals, we compute all possible translations with centers on the block at infinity.


Face Detection in Camera Captured Images of Identity Documents under Challenging Conditions. Benefiting from the advance of deep convolutional neural network approaches (CNNs), many face detection algorithms have achieved state of the art performance in terms of accuracy and very high speed in unconstrained applications. However, due to the lack of public datasets and due to the variation of the orientation of face images, the complex background and lighting, defocus and the varying illumination of camera captured images, face detection on identity documents under unconstrained environments has not been sufficiently studied. To address this problem more efficiently, we survey three state of the art face detection methods based on general images, i.e. Cascade CNN, MTCNN and PCN, for face detection in camera captured images of identity documents, given different image quality assessments. For that, The MIDV 500 dataset, which is the largest and most challenging dataset for identity documents, is used to evaluate the three methods. The evaluation results show the performance and the limitations of the current methods for face detection on identity documents under the wild complex environments. These results show that the face detection task in camera captured images of identity documents is challenging, providing a space to improve in the future works.


Active localization of multiple targets using noisy relative measurements. Consider a mobile robot tasked with localizing targets at unknown locations by obtaining relative measurements. The observations can be bearing or range measurements. How should the robot move so as to localize the targets and minimize the uncertainty in their locations as quickly as possible? Most existing approaches are either greedy in nature or rely on accurate initial estimates. We formulate this path planning problem as an unsupervised learning problem where the measurements are aggregated using a Bayesian histogram filter. The robot learns to minimize the total uncertainty of each target in the shortest amount of time using the current measurement and an aggregate representation of the current belief state. We analyze our method in a series of experiments where we show that our method outperforms a standard greedy approach. In addition, its performance is also comparable to an offline algorithm which has access to the true location of the targets.


Tail risk forecasting using Bayesian realized EGARCH models. This paper develops a Bayesian framework for the realized exponential generalized autoregressive conditional heteroskedasticity (realized EGARCH) model, which can incorporate multiple realized volatility measures for the modelling of a return series. The realized EGARCH model is extended by adopting a standardized Student t and a standardized skewed Student t distribution for the return equation. Different types of realized measures, such as sub sampled realized variance, sub sampled realized range, and realized kernel, are considered in the paper. The Bayesian Markov chain Monte Carlo (MCMC) estimation employs the robust adaptive Metropolis algorithm (RAM) in the burn in period and the standard random walk Metropolis in the sample period. The Bayesian estimators show more favourable results than maximum likelihood estimators in a simulation study. We test the proposed models with several indices to forecast one step ahead Value at Risk (VaR) and Expected Shortfall (ES) over a period of 1000 days. Rigorous tail risk forecast evaluations show that the realized EGARCH models employing the standardized skewed Student t distribution and incorporating sub sampled realized range are favored, compared to a range of models.


A Projection based Augmented Reality for Elderly People with Dementia. As aging societies grow, researchers are actively studying care systems concerning the life and diseases of the elderly. Among these diseases, dementia makes it difficult to maintain daily life due to the degradation of cognitive functioning, memory, and reasoning, as well as the ability to perform actions. Moreover, dementia does not have a perfect cure, though therapy and care can slow its onset and provide patients with physical and mental support. In this paper, we developed a projection based augmented reality system robot that can cover 360 degrees of space. We also propose an application that supports continuous monitoring of dementia patients to address the difficulties they face in daily life. The system is also designed to provide therapy applications, such as entertainment and spatial art, to provide mental care aids for the patients.


Curves on K3 surfaces. We complete the remaining cases of the conjecture predicting existence of infinitely many rational curves on K3 surfaces in characteristic zero, prove almost all cases in positive characteristic and improve the proofs of the previously known cases. To achieve this, we introduce two new techniques in the deformation theory of curves on K3 surfaces. Regeneration, a process opposite to specialisation, which preserves the geometric genus and does not require the class of the curve to extend, and the marked point trick, which allows a controlled degeneration of rational curves to integral ones in certain situations. Combining the two proves existence of integral curves of unbounded degree of any geometric genus g for any projective K3 surface in characteristic zero.


Cache Allocations for Consecutive Requests of Categorized Contents Service Provider's Perspective. In wireless caching networks, a user generally has a concrete purpose of consuming contents in a certain preferred category, and requests multiple contents in sequence. While most existing research on wireless caching and delivery has focused only on one shot requests, the popularity distribution of contents requested consecutively is definitely different from the one shot request and has been not considered. Also, especially from the perspective of the service provider, it is advantageous for users to consume as many contents as possible. Thus, this paper proposes two cache allocation policies for categorized contents and consecutive user demands, which maximize 1) the cache hit rate and 2) the number of consecutive content consumption, respectively. Numerical results show how categorized contents and consecutive content requests have impacts on the cache allocation.


Orbital angular momentum transfer via spontaneously generated coherence. We study the orbital angular momentum (OAM) transfer from a weak Laguerre Gaussian (LG) field to a weak plane wave in two closed loop three level V type atomic systems. In the first scheme, the atomic system has two non degenerate upper levels which the corresponding transition is excited by a microwave plane wave. It is analytically shown that the microwave field induces an OAM transfer from an LG field to a generated third field. In the second scheme, we consider a three level V type atomic system with two near degenerate excited states and study the effect of the quantum interference due to the spontaneous emission on the OAM transfer. It is found that the spontaneously generated coherence (SGC) induces the OAM transfer from the LG field to the weak planar field, while the OAM transfer does not occur in the absence of the SGC. The suggested models prepare a rather simple method for the OAM transfer which can be used in quantum information processing and data storage.


Quasi convex subsets and the farthest direction in Alexandrov spaces with lower curvature bound. This paper aims to give a further study on quasi convex subsets in Alexandrov spaces with lower curvature bound which are introduced in SSW . We first provide new insights on quasi convex subsets (Theorem A and Corollary C), and then as applications of them we explore more properties of quasi convex subsets.


The sharp Adams type inequalities in the hyperbolic spaces under the Lorentz Sobolev norms. Let 2 leq m n and q in (1, infty) , we denote by W mL frac nm,q ( mathbb H n) the Lorentz Sobolev space of order m in the hyperbolic space mathbb H n . In this paper, we establish the following Adams inequality in the Lorentz Sobolev space W m L frac nm,q ( mathbb H n) sup u in W mL frac nm,q ( mathbb H n), , nabla g m u frac nm,q leq 1 int mathbb H n Phi frac nm,q big( beta n,m frac q q 1 u frac q q 1 big) dV g infty for q in (1, infty) if m is even, and q in (1,n m) if m is odd, where beta n,m q (q 1) is the sharp exponent in the Adams inequality under Lorentz Sobolev norm in the Euclidean space. To our knowledge, much less is known about the Adams inequality under the Lorentz Sobolev norm in the hyperbolic spaces. We also prove an improved Adams inequality under the Lorentz Sobolev norm provided that q geq 2n (n 1) if m is even and 2n (n 1) leq q leq frac nm if m is odd, sup u in W mL frac nm,q ( mathbb H n), , nabla g m u frac nm,q q lambda u frac nm,q q leq 1 int mathbb H n Phi frac nm,q big( beta n,m frac q q 1 u frac q q 1 big) dV g infty for any 0 lambda C(n,m,n m) q where C(n,m,n m) q is the sharp constant in the Lorentz Poincar 'e inequality. Finally, we establish a Hardy Adams inequality in the unit ball when m geq 3 , n geq 2m 1 and q geq 2n (n 1) if m is even and 2n (n 1) leq q leq n m if m is odd sup u in W mL frac nm,q ( mathbb H n), , nabla g m u frac nm,q q C(n,m, frac nm) q u frac nm,q q leq 1 int mathbb B n exp big( beta n,m frac q q 1 u frac q q 1 big) dx infty.


Two Body Problem Collaborative Visual Task Completion. Collaboration is a necessary skill to perform tasks that are beyond one agent's capabilities. Addressed extensively in both conventional and modern AI, multi agent collaboration has often been studied in the context of simple grid worlds. We argue that there are inherently visual aspects to collaboration which should be studied in visually rich environments. A key element in collaboration is communication that can be either explicit, through messages, or implicit, through perception of the other agents and the visual world. Learning to collaborate in a visual environment entails learning (1) to perform the task, (2) when and what to communicate, and (3) how to act based on these communications and the perception of the visual world. In this paper we study the problem of learning to collaborate directly from pixels in AI2 THOR and demonstrate the benefits of explicit and implicit modes of communication to perform visual tasks. Refer to our project page for more details https prior.allenai.org projects two body problem


Quantitative John Nirenberg inequalities at different scales. We provide an abstract estimate of the form f f Q, mu X left(Q, frac mathrm d mu Y(Q) right) leq c( mu,Y) psi(X) f mathrm BMO ( mathrm d mu) for all cubes Q in mathbb R n and every function f in mathrm BMO ( mathrm d mu) , where mu is a doubling measure in mathbb R n , Y is some positive functional defined on cubes, cdot X left(Q, frac mathrm d w w(Q) right) is a sufficiently good quasi norm and c( mu,Y) and psi(X) are positive constants depending on mu and Y , and X , respectively. That abstract scheme allows us to recover the sharp estimate f f Q, mu L p left(Q, frac mathrm d mu(x) mu(Q) right) leq c( mu)p f mathrm BMO ( mathrm d mu) , qquad p geq1 for every cube Q and every f in mathrm BMO ( mathrm d mu) , which is known to be equivalent to the John Nirenberg inequality, and also enables us to obtain quantitative counterparts when L p is replaced by suitable strong and weak Orlicz spaces and L p( cdot) spaces. Besides the aforementioned results we also generalize Theorem 1.2 in OPRRR20 to the setting of doubling measures and obtain a new characterization of Muckenhoupt's A infty weights.


Convergence of Probability Densities using Approximate Models for Forward and Inverse Problems in Uncertainty Quantification Extensions to L p . A previous study analyzed the convergence of probability densities for forward and inverse problems when a sequence of approximate maps between model inputs and outputs converges in L infty . This work generalizes the analysis to cases where the approximate maps converge in L p for any 1 leq p infty . Specifically, under the assumption that the approximate maps converge in L p , the convergence of probability density functions solving either forward or inverse problems is proven in L q where the value of 1 leq q infty may even be greater than p in certain cases. This greatly expands the applicability of the previous results to commonly used methods for approximating models (such as polynomial chaos expansions) that only guarantee L p convergence for some 1 leq p infty . Several numerical examples are also included along with numerical diagnostics of solutions and verification of assumptions made in the analysis.


On the free energy density of factor models on biregular graphs. Let h(0),h(1), dots,h(k) be a symmetric concave sequence. For a (d,k) biregular factor graph G and x in 0,1 V , we define the Hamiltonian H G(x) sum f in F h left( sum v in partial f x v right), where V is the set of variable nodes, F is the set of factor nodes. We prove that if (G n) is a large girth sequence of (d,k) biregular factor graphs, then the free energy density of G n converges. The limiting free energy density is given by the Bethe approximation.


Research in Global Software Engineering A Systematic Snapshot. This paper reports our extended analysis of the recent literature addressing global software engineering (GSE), using a new Systematic Snapshot Mapping (SSM) technique. The primary purpose of this work is to understand what issues are being addressed and how research is being carried out in GSE and comparatively, what work is not being conducted. We carried out the analysis in two stages. In the first stage we analyzed 275 papers published between January 2011 and June 2012, and in the second stage we augmented our analysis by considering a further 26 papers (from the 2013 International Conference on Global Software Engineering (ICGSE'13). Our results reveal that, currently, GSE studies are focused on management and infrastructure related factors, using principally evaluative research approaches. Most of the studies are conducted at the organizational level, mainly using methods such as interviews, surveys, field studies and case studies. The USA, India and China are major players in GSE, with USA India collaborations being the most frequently studied, followed by USA China. While a considerable number of GSE related studies have been published since January 2011 they are currently quite narrowly focused, on exploratory research and explanatory theories, and the critical research paradigm has been untouched. An absence of formulative research, experimentation and simulation, and a related focus on evaluative approaches, all suggest that existing tools, methods and approaches from related fields are being tested in the GSE context, even though these may not be inherently applicable to the additional scale and complexity of GSE.


Digital Landscape of COVID 19 Testing Challenges and Opportunities. The COVID 19 Pandemic has left a devastating trail all over the world, in terms of loss of lives, economic decline, travel restrictions, trade deficit, and collapsing economy including real estate, job loss, loss of health benefits, the decline in quality of access to care and services and overall quality of life. Immunization from the anticipated vaccines will not be the stand alone guideline that will help surpass the pandemic and return to normalcy. Four pillars of effective public health intervention include diagnostic testing for both asymptomatic and symptomatic individuals, contact tracing, quarantine of individuals with symptoms or who are exposed to COVID 19, and maintaining strict hygiene standards at the individual and community level. Digital technology, currently being used for COVID 19 testing include certain mobile apps, web dashboards, and online self assessment tools. Herein, we look into various digital solutions adapted by communities across universities, businesses, and other organizations. We summarize the challenges experienced using these tools in terms of quality of information, privacy, and user centric issues. Despite numerous digital solutions available and being developed, many vary in terms of information being shared in terms of both quality and quantity, which can be overwhelming to the users. Understanding the testing landscape through a digital lens will give a clear insight into the multiple challenges that we face including data privacy, cost, and miscommunication. It is the destiny of digitalization to navigate testing for COVID 19. Block chain based systems can be used for privacy preservation and ensuring ownership of the data to remain with the user. Another solution involves having digital health passports with relevant and correct information. In this early draft, we summarize the challenges and propose possible solutions to address the same.


Iterative method of generating artificial context free grammars. Grammatical inference is a machine learning area, whose fundamentals are built around learning sets. At present, real life data and examples from manually crafted grammars are used to test their learning performance. This paper aims to present a method of generating artificial context free grammars with their optimal learning sets, which could be successfully applied as a benchmarking tool for empirical grammar inference methods.


Traduction des Grammaires Cat 'egorielles de Lambek dans les Grammaires Cat 'egorielles Abstraites. Lambek Grammars (LG) are a computational modelling of natural language, based on non commutative compositional types. It has been widely studied, especially for languages where the syntax plays a major role (like English). The goal of this internship report is to demonstrate that every Lambek Grammar can be, not entirely but efficiently, expressed in Abstract Categorial Grammars (ACG). The latter is a novel modelling based on higher order signature homomorphisms (using lambda calculus), aiming at uniting the currently used models. The main idea is to transform the type rewriting system of LGs into that of Context Free Grammars (CFG) by erasing introduction and elimination rules and generating enough axioms so that the cut rule suffices. This iterative approach preserves the derivations and enables us to stop the possible infinite generative process at any step. Although the underlying algorithm was not fully implemented, this proof provides another argument in favour of the relevance of ACGs in Natural Language Processing.


Modeling the Complexity and Descriptive Adequacy of Construction Grammars. This paper uses the Minimum Description Length paradigm to model the complexity of CxGs (operationalized as the encoding size of a grammar) alongside their descriptive adequacy (operationalized as the encoding size of a corpus given a grammar). These two quantities are combined to measure the quality of potential CxGs against unannotated corpora, supporting discovery device CxGs for English, Spanish, French, German, and Italian. The results show (i) that these grammars provide significant generalizations as measured using compression and (ii) that more complex CxGs with access to multiple levels of representation provide greater generalizations than single representation CxGs.


Serverless seismic imaging in the cloud. This abstract presents a serverless approach to seismic imaging in the cloud based on high throughput containerized batch processing, event driven computations and a domain specific language compiler for solving the underlying wave equations. A 3D case study on Azure demonstrates that this approach allows reducing the operating cost of up to a factor of 6, making the cloud a viable alternative to on premise HPC clusters for seismic imaging.


RadixSpline A Single Pass Learned Index. Recent research has shown that learned models can outperform state of the art index structures in size and lookup performance. While this is a very promising result, existing learned structures are often cumbersome to implement and are slow to build. In fact, most approaches that we are aware of require multiple training passes over the data. We introduce RadixSpline (RS), a learned index that can be built in a single pass over the data and is competitive with state of the art learned index models, like RMI, in size and lookup performance. We evaluate RS using the SOSD benchmark and show that it achieves competitive results on all datasets, despite the fact that it only has two parameters.


Replicator mutator dynamics of linguistic convergence and divergence. People tend to align their use of language to the linguistic behaviour of their own ingroup and to simultaneously diverge from the language use of outgroups. This paper proposes to model this phenomenon of sociolinguistic identity maintenance as an evolutionary game in which individuals play the field and the dynamics are supplied by a multi population extension of the replicator mutator equation. Using linearization, the stabilities of all dynamic equilibria of the game in its fully symmetric two population special case are found. The model is then applied to an empirical test case from adolescent sociolinguistic behaviour. It is found that the empirically attested population state corresponds to one of a number of stable equilibria of the game under an independently plausible value of a parameter controlling the rate of linguistic mutations. An asymmetric three population extension of the game, explored with numerical solution methods, furthermore predicts to which specific equilibrium the system converges.


Graphene Polyurethane Coatings for Deformable Conductors and Electromagnetic Interference Shielding. Electrically conductive, polymeric materials that maintain their conductivity even when under significant mechanical deformation are needed for actuator electrodes, conformable electromagnetic shielding, stretchable tactile sensors and flexible energy storage. The challenge for these materials is that the percolated, electrically conductive networks tend to separate even at low strains, leading to significant piezoresistance. Herein, deformable conductors were fabricated by spray coating a nitrile substrate with a graphene elastomer solution. The coatings showed only slight increase in electrical resistance after thousands of bending cycles and repeated folding unfolding events. The deformable conductors doubled their electrical resistance at 12 strain and were washable without changing their electrical properties. The conductivity strain behaviour was modelled by considering the nanofiller separation upon deformation. To boost the conductivity at higher strains, the production process was adapted by stretching the nitrile substrate before spraying, after which it was released. This adaption meant that the electrical resistance doubled at 25 strain. The electrical resistance was found sufficiently low to give a 1.9 dB mu m shielding in the 8 12 GHz electromagnetic band. The physical and electrical properties, including the EM screening, of the flexible conductors, were found to deteriorate upon cycling but could be recovered through reheating the coating.


Finite Hyperfields of Order n leq 5 . In this paper, the author introduces the concept and basic properties of finite (commutative) hyperfields. Also, the author shows that, up to isomorphism, there are exactly 2 hyperfields of order 2 5 hyperfields of order 3 7 hyperfields of order 4 27 hyperfields of order 5. Those hyperfields could be first hand materials for those who are doing relevant researches.


Coordinatizing Data With Lens Spaces and Persistent Cohomology. We introduce here a framework to construct coordinates in emph finite Lens spaces for data with nontrivial 1 dimensional mathbb Z q persistent cohomology, q geq 3 . Said coordinates are defined on an open neighborhood of the data, yet constructed with only a small subset of landmarks. We also introduce a dimensionality reduction scheme in S 2n 1 mathbb Z q (Lens PCA mathsf LPCA ), and demonstrate the efficacy of the pipeline PH 1( cdot mathbb Z q) class Rightarrow S 2n 1 mathbb Z q coordinates Rightarrow mathsf LPCA , for nonlinear (topological) dimensionality reduction.


Learned Decimation for Neural Belief Propagation Decoders. We introduce a two stage decimation process to improve the performance of neural belief propagation (NBP), recently introduced by Nachmani et al., for short low density parity check (LDPC) codes. In the first stage, we build a list by iterating between a conventional NBP decoder and guessing the least reliable bit. The second stage iterates between a conventional NBP decoder and learned decimation, where we use a neural network to decide the decimation value for each bit. For a (128,64) LDPC code, the proposed NBP with decimation outperforms NBP decoding by 0.75 dB and performs within 1 dB from maximum likelihood decoding at a block error rate of 10 4 .


Strong and weak (1, 2) homotopies on knot projections and new invariants. Every second flat Reidemeister move of knot projections can be decomposed into two types thorough an inverse or direct self tangency modification, respectively called strong or weak, when orientations of the knot projections are arbitrarily provided. Further, we introduce the notions of strong and weak (1, 2) homotopies we define that two knot projections are strongly (resp. weakly) (1, 2) homotopic if and only if two knot projections are related by a finite sequence of first and strong (resp. weak) second flat Reidemeister moves. This paper gives a new necessary and sufficient condition that two knot projections are not strongly (1, 2) homotopic. Similarly, we obtain a new necessary and sufficient condition in the weak (1, 2) homotopy case. We also define a new integer valued strong (1, 2) homotopy invariant. Using it, we show that the set of the non trivial prime knot projections without 1 gons that can be trivialized under strong (1, 2) homotopy is disjoint from that of weak (1, 2) homotopy. We also investigate topological properties of the new invariant and give its generalization, a comparison of our invariants and Arnold invariants, and a table of invariants.


A noisy opinion formation model with two opposing mass media. Processes of individual attitude formation and their macroscopic consequences have become an intriguing research topic, and agent based models of opinion formation have been proposed to understand this phenomenon. This study conducted an agent based simulation and examined the role of mass media in a noisy opinion formation process, where opinion heterogeneity is preserved by a weak intensity of assimilation and errors accompanying opinion modifications. In a computational model, agents conformed to their neighbours' opinions in social networks. In addition, each agent tended to be influenced by one of a two external agents with fixed opinions, that is, mass media that take opposite positions on an opinion spectrum. The simulation results demonstrated that a small probability of interactions with mass media reduces opinion heterogeneity even with extreme mass media position values. However, a large frequency of interactions with mass media increases opinion heterogeneity. Accordingly, intermediate assimilation strength achieves the least heterogeneous opinion distribution. The influence of mass media dampens the effects of network topology. Our simulation implies that mass media can play qualitatively different roles depending on their positions and intensity of influence.


Determinantal and Pfaffian identities for ninth variation skew Schur functions and Q functions. Recently Okada defined algebraically ninth variation skew Q functions, in parallel to Macdonald's ninth variation skew Schur functions. Here we introduce a skew shifted tableaux definition of these ninth variation skew Q functions, and prove by means of a non intersecting lattice path model a Pfaffian outside decomposition result in the form of a ninth variation version of Hamel's Pfaffian outside decomposition identity. As corollaries to this we derive Pfaffian identities generalizing those of Josefiak Pragacz, Nimmo, and most recently Okada. As a preamble to this we present a parallel development based on (unshifted) semistandard tableaux that leads to a ninth variation version of the outside decomposition determinantal identity of Hamel and Goulden. In this case the corollaries we offer include determinantal identities generalizing the Schur and skew Schur function identities of Jacobi Trudi, Giambelli, Lascoux Pragacz, Stembridge, and Okada.


Separability vs. robustness of Orlicz spaces financial and economic perspectives. We investigate robust Orlicz spaces as a generalisation of robust L p spaces. Two constructions of such spaces are distinguished, a top down approach and a bottom up approach. We show that separability of robust Orlicz spaces or their subspaces has very strong implications in terms of the dominatedness of the set of priors and the lack of order completeness. Our results have subtle implications for the field of robust finance. For instance, norm closures of bounded continuous functions with respect to the worst case L p norm, as considered in the G framework, lead to spaces which are lattice isomorphic to a sublattice of a classical L 1 space lacking, however, any form of order completeness. We further show that the topological spanning power of options is always limited under nondominated uncertainty.


Style Variation as a Vantage Point for Code Switching. Code Switching (CS) is a common phenomenon observed in several bilingual and multilingual communities, thereby attaining prevalence in digital and social media platforms. This increasing prominence demands the need to model CS languages for critical downstream tasks. A major problem in this domain is the dearth of annotated data and a substantial corpora to train large scale neural models. Generating vast amounts of quality text assists several down stream tasks that heavily rely on language modeling such as speech recognition, text to speech synthesis etc,. We present a novel vantage point of CS to be style variations between both the participating languages. Our approach does not need any external annotations such as lexical language ids. It mainly relies on easily obtainable monolingual corpora without any parallel alignment and a limited set of naturally CS sentences. We propose a two stage generative adversarial training approach where the first stage generates competitive negative examples for CS and the second stage generates more realistic CS sentences. We present our experiments on the following pairs of languages Spanish English, Mandarin English, Hindi English and Arabic French. We show that the trends in metrics for generated CS move closer to real CS data in each of the above language pairs through the dual stage training process. We believe this viewpoint of CS as style variations opens new perspectives for modeling various tasks in CS text.


Method for Customizable Automated Tagging Addressing the Problem of Over tagging and Under tagging Text Documents. Using author provided tags to predict tags for a new document often results in the overgeneration of tags. In the case where the author doesn't provide any tags, our documents face the severe under tagging issue. In this paper, we present a method to generate a universal set of tags that can be applied widely to a large document corpus. Using IBM Watson's NLU service, first, we collect keywords phrases that we call "complex document tags" from 8,854 popular reports in the corpus. We apply LDA model over these complex document tags to generate a set of 765 unique "simple tags". In applying the tags to a corpus of documents, we run each document through the IBM Watson NLU and apply appropriate simple tags. Using only 765 simple tags, our method allows us to tag 87,397 out of 88,583 total documents in the corpus with at least one tag. About 92.1 of the total 87,397 documents are also determined to be sufficiently tagged. In the end, we discuss the performance of our method and its limitations.


Towards Practical Encrypted Network Traffic Pattern Matching for Secure Middleboxes. Network Function Virtualisation (NFV) advances the adoption of composable software middleboxes. Accordingly, cloud data centres become major NFV vendors for enterprise traffic processing. Due to the privacy concern of traffic redirection to the cloud, secure middlebox systems (e.g., BlindBox) draw much attention they can process encrypted packets against encrypted rules directly. However, most of the existing systems supporting pattern matching based network functions require the enterprise gateway to tokenise packet payloads via sliding windows. Such tokenisation induces a considerable communication overhead, which can be over 100 times to the packet size. To overcome this bottleneck, in this paper, we propose the first bandwidth efficient encrypted pattern matching protocol for secure middleboxes. We resort to a primitive called symmetric hidden vector encryption (SHVE), and propose a variant of it, aka SHVE , to achieve constant and moderate communication cost. To speed up, we devise encrypted filters to reduce the number of accesses to SHVE during matching highly. We formalise the security of our proposed protocol and conduct comprehensive evaluations over real world rulesets and traffic dumps. The results show that our design can inspect a packet over 20k rules within 100 mu s. Compared to prior work, it brings a saving of 94 in bandwidth consumption.


Verifying Safety Properties of Inductively Defined Parameterized Systems. We introduce a term algebra as a new formal specification language for the coordinating architectures of distributed systems consisting of a finite yet unbounded number of components. The language allows to describe infinite sets of systems whose coordination between components share the same pattern, using inductive definitions similar to the ones used to describe algebraic data types or recursive data structures. Further, we give a verification method for the parametric systems described in this language, relying on the automatic synthesis of structural invariants that enable proving general safety properties (mutual exclusion, absence of deadlocks). The invariants are defined using the WSkS fragment of the monadic second order logic, known to be decidable by a classical automata logic connection. This reduces the safety verification problem to checking satisfiability of a WSkS formula.


Designing a Socio Technical Business Process for Analyzing Information Quality Requirements Experience Report. Although many BPs involve critical activities that demand high quality information for their successful enactment, most available BP approaches focus mainly on control flow, and either ignore the Information Quality (IQ) perspective or consider it as a mere technical issue, instead of a social and organizational one. This leaves a BP subject to different types of social and organizational IQ vulnerabilities that may negatively impact, or even abort the BP enactment. To tackle this problem, a Socio Technical BP (STBP), namely a Workflow net with Actors (WFA net) has been developed. WFA net allows for capturing IQ requirements in their social and organizational context. This paper reports on the experience gained, findings and lessons learned while developing the WFA net.


Pose estimation and bin picking for deformable products. Robotic systems in manufacturing applications commonly assume known object geometry and appearance. This simplifies the task for the 3D perception algorithms and allows the manipulation to be more deterministic. However, those approaches are not easily transferable to the agricultural and food domains due to the variability and deformability of natural food. We demonstrate an approach applied to poultry products that allows picking up a whole chicken from an unordered bin using a suction cup gripper, estimating its pose using a Deep Learning approach, and placing it in a canonical orientation where it can be further processed. Our robotic system was experimentally evaluated and is able to generalize to object variations and achieves high accuracy on bin picking and pose estimation tasks in a real world environment.


Precedence thinness in graphs. Interval and proper interval graphs are very well known graph classes, for which there is a wide literature. As a consequence, some generalizations of interval graphs have been proposed, in which graphs in general are expressed in terms of k interval graphs, by splitting the graph in some special way. As a recent example of such an approach, the classes of k thin and proper k thin graphs have been introduced generalizing interval and proper interval graphs, respectively. The complexity of the recognition of each of these classes is still open, even for fixed k geq 2 . In this work, we introduce a subclass of k thin graphs (resp. proper k thin graphs), called precedence k thin graphs (resp. precedence proper k thin graphs). Concerning partitioned precedence k thin graphs, we present a polynomial time recognition algorithm based on PQ trees. With respect to partitioned precedence proper k thin graphs, we prove that the related recognition problem is NP complete for an arbitrary k and polynomial time solvable when k is fixed. Moreover, we present a characterization for these classes based on threshold graphs.


Metamaterial enhancement of metal halide perovskite luminescence. Metal halide perovskites are rapidly emerging as solution processable optical materials for light emitting applications. Here we adopt a plasmonic metamaterial approach to enhance photoluminescence emission and extraction of methylammonium lead iodide (MAPbI3) thin films, based on the Purcell effect. We show that hybridization of the active metal halide film with resonant nanoscale sized slits carved into a gold film can yield more than one order of magnitude enhancement of luminescence intensity, and nearly threefold reduction of luminescence lifetime. This shows the effectiveness of resonant nanostructures in controlling metal halide perovskite light emission properties over a tunable spectral range, a viable approach toward highly efficient perovskite light emitting devices and single photon emitters.


Combining the Runge approximation and the Whitney embedding theorem in hybrid imaging. This paper addresses enforcing non vanishing constraints for solutions to a second order elliptic partial differential equation by appropriate choices of boundary conditions. We show that, in dimension d geq2 , under suitable regularity assumptions, the family of 2d solutions such that their Jacobian has maximal rank in the domain is both open and dense. The case of less regular coefficients is also addressed, together with other constraints, which are relevant for applications to recent hybrid imaging modalities. Our approach is based on the combination of the Runge approximation property and the Whitney projection argument Greene and Wu, Ann. Inst. Fourier (Grenoble), 25(1, vii) 215 235, 1975 . The method is very general, and can be used in other settings.


There is no Enriques surface over the integers. We show that there is no family of Enriques surfaces over the ring of integers. This extends non existence results of Minkowski for families of finite 'etale schemes, of Tate and Ogg for families of elliptic curves, and of Fontaine for families of abelian varieties and more general smooth proper schemes with certain restrictions on Hodge numbers. Our main idea is to study the local system of numerical classes of invertible sheaves. Among other things, our result also hinges on the Weil Conjectures, Lang's classification of rational elliptic surfaces in characteristic two, the theory of exceptional Enriques surfaces due to Ekedahl and Shepherd Barron, some recent results on the base of their versal deformation, Shioda's theory of Mordell Weil lattices, and an extensive combinatorial study for the pairwise interaction of genus one fibrations.


A verified equivalent circuit model for slotwaveguide modulators. We formulate and experimentally validate an equivalent circuit model based on distributed elements to describe the electric and electro optic (EO) properties of travellingwave silicon organic hybrid (SOH) slot waveguide modulators. The model allows to reliably predict the small signal EO frequency response of the modulators exploiting purely electrical measurements of the frequency dependent RF transmission characteristics. We experimentally verify the validity of our model, and we formulate design guidelines for an optimum trade off between optical loss due to free carrier absorption (FCA), electro optic bandwidth, and pi voltage of SOH slot waveguide modulators.


Unpredictable Strings. A novel notion of unpredictable strings is revealed and utilized to define deterministic unpredictable sequences on a finite number of symbols. We prove the first law of large strings for random processes in discrete time, which confirms that there exists the uncountable set of unpredictable realizations. The hypothesis on the second law of large strings is formulated, which is relative to the Bernoulli theorem. Theoretical and numerical backgrounds for the laws are provided.


A Particle Method without Remeshing. We propose a simple tweak to a recently developed regularisation scheme for particle methods. This allows us to chose the particle spacing h proportional to the regularisation length sigma and achieve optimal error bounds of the form mathcal O ( sigma n) , n in mathbb N , without any need of remeshing. We prove this result for the linear advection equation but also carry out high order experiments on the full Navier Stokes equations. In our experiments the particle methods proved to be highly accurate, long term stable, and competitive with discontinuous Galerkin methods.


Accelerated Zeroth Order and First Order Momentum Methods from Mini to Minimax Optimization. In the paper, we propose a class of accelerated zeroth order and first order momentum methods for both nonconvex mini optimization and minimax optimization. Specifically, we propose a new accelerated zeroth order momentum (Acc ZOM) method for black box mini optimization where only function values can be obtained. Moreover, we prove that our Acc ZOM method achieves a lower query complexity of tilde O (d 3 4 epsilon 3 ) for finding an epsilon stationary point, which improves the best known result by a factor of O(d 1 4 ) where d denotes the variable dimension. In particular, our Acc ZOM does not need large batches required in the existing zeroth order stochastic algorithms. Meanwhile, we propose an accelerated zeroth order momentum descent ascent (Acc ZOMDA) method for black box minimax optimization, where only function values can be obtained. Our Acc ZOMDA obtains a low query complexity of tilde O ((d 1 d 2) 3 4 kappa y 4.5 epsilon 3 ) without requiring large batches for finding an epsilon stationary point, where d 1 and d 2 denote variable dimensions and kappa y is condition number. Moreover, we propose an accelerated first order momentum descent ascent (Acc MDA) method for minimax optimization, whose explicit gradients are accessible. Our Acc MDA achieves a low gradient complexity of tilde O ( kappa y 4.5 epsilon 3 ) without requiring large batches for finding an epsilon stationary point. In particular, our Acc MDA can obtain a lower gradient complexity of tilde O ( kappa y 2.5 epsilon 3 ) with a batch size O( kappa y 4) , which improves the best known result by a factor of O( kappa y 1 2 ) . Extensive experimental results on black box adversarial attack to deep neural networks and poisoning attack to logistic regression demonstrate efficiency of our algorithms.


Linearly Involved Generalized Moreau Enhanced Models and Their Proximal Splitting Algorithm under Overall Convexity Condition. The convex envelopes of the direct discrete measures, for the sparsity of vectors or for the low rankness of matrices, have been utilized extensively as practical penalties in order to compute a globally optimal solution of the corresponding regularized least squares models. Motivated mainly by the ideas in Zhang'10, Selesnick'17, Yin, Parekh, Selesnick'19 to exploit nonconvex penalties in the regularized least squares models without losing their overall convexities, this paper presents the Linearly involved Generalized Moreau Enhanced (LiGME) model as a unified extension of such utilizations of nonconvex penalties. The proposed model can admit multiple nonconvex penalties without losing its overall convexity and thus is applicable to much broader scenarios in the sparsity rank aware signal processing. Under the general overall convexity condition of the LiGME model, we also present a novel proximal splitting type algorithm of guaranteed convergence to a globally optimal solution. Numerical experiments in typical examples of the sparsity rank aware signal processing demonstrate the effectiveness of the LiGME models and the proposed proximal splitting algorithm.


Controlled g frames in Hilbert C modules. To improve the numerical efficiency of iterative algorithms for inverting the frame operator, the controlled frame was introduced by Balazs et al. cite Balazs , and has since been given more importance. In this paper, we introduce the concept of controlled g frames in Hilbert C modules. We establish the equivalent condition for controlled g frame using operator theoretic approach. We investigate some operator theoretic characterizations of controlled g frames and controlled g Bessel sequences. We also established the relationship between g frames and controlled g frames in Hilbert C modules. At the end we prove some perturbation results on controlled g frames.


Matching Drivers to Riders A Two stage Robust Approach. Matching demand (riders) to supply (drivers) efficiently is a fundamental problem for ride sharing platforms who need to match the riders (almost) as soon as the request arrives with only partial knowledge about future ride requests. A myopic approach that computes an optimal matching for current requests ignoring future uncertainty can be highly sub optimal. In this paper, we consider a two stage robust optimization framework for this matching problem where future demand uncertainty is modeled using a set of demand scenarios (specified explicitly or implicitly). The goal is to match the current request to drivers (in the first stage) so that the cost of first stage matching and the worst case cost over all scenarios for the second stage matching is minimized. We show that the two stage robust matching is NP hard under various cost functions and present constant approximation algorithms for different settings of our two stage problem. Furthermore, we test our algorithms on real life taxi data from the city of Shenzhen and show that they substantially improve upon myopic solutions and reduce the maximum wait time of the second stage riders by an average of 30 in our experimental results.


On Recurrent Neural Networks for Sequence based Processing in Communications. In this work, we analyze the capabilities and practical limitations of neural networks (NNs) for sequence based signal processing which can be seen as an omnipresent property in almost any modern communication systems. In particular, we train multiple state of the art recurrent neural network (RNN) structures to learn how to decode convolutional codes allowing a clear benchmarking with the corresponding maximum likelihood (ML) Viterbi decoder. We examine the decoding performance for various kinds of NN architectures, beginning with classical types like feedforward layers and gated recurrent unit (GRU) layers, up to more recently introduced architectures such as temporal convolutional networks (TCNs) and differentiable neural computers (DNCs) with external memory. As a key limitation, it turns out that the training complexity increases exponentially with the length of the encoding memory nu and, thus, practically limits the achievable bit error rate (BER) performance. To overcome this limitation, we introduce a new training method by gradually increasing the number of ones within the training sequences, i.e., we constrain the amount of possible training sequences in the beginning until first convergence. By consecutively adding more and more possible sequences to the training set, we finally achieve training success in cases that did not converge before via naive training. Further, we show that our network can learn to jointly detect and decode a quadrature phase shift keying (QPSK) modulated code with sub optimal (anti Gray) labeling in one shot at a performance that would require iterations between demapper and decoder in classic detection schemes.


Poles of triple product L functions involving monomial representations. In this paper, we study the order of the pole of the triple tensor product L functions L(s, pi 1 times pi 2 times pi 3, otimes 3) for cuspidal automorphic representations pi i of mathrm GL n i ( mathbb A F) in the setting where one of the pi i is a monomial representation. In the view of Brauer theory, this is a natural setting to consider. The results provided in this paper give crucial examples that can be used as a point of reference for Langlands' beyond endoscopy proposal.


Inducing strong convergence of trajectories in dynamical systems associated to monotone inclusions with composite structure. In this work we investigate dynamical systems designed to approach the solution sets of inclusion problems involving the sum of two maximally monotone operators. Our aim is to design methods which guarantee strong convergence of trajectories towards the minimum norm solution of the underlying monotone inclusion problem. To that end, we investigate in detail the asymptotic behavior of dynamical systems perturbed by a Tikhonov regularization where either the maximally monotone operators themselves, or the vector field of the dynamical system is regularized. In both cases we prove strong convergence of the trajectories towards minimum norm solutions to an underlying monotone inclusion problem, and we illustrate numerically qualitative differences between these two complementary regularization strategies. The so constructed dynamical systems are either of Krasnoselskii Mann, of forward backward type or of forward backward forward type, and with the help of injected regularization we demonstrate seminal results on the strong convergence of Hilbert space valued evolutions designed to solve monotone inclusion and equilibrium problems.


Simplicity of spectrum for certain multidimensional continued fraction algorithms. In the current paper we prove simplicity for the spectrum of Lyapunov exponents for triangle sequence and Selmer algorithm in dimension 3. We introduce a strategy that can be applied for a wide class of Markovian MCF.


Tree Neural Networks in HOL4. We present an implementation of tree neural networks within the proof assistant HOL4. Their architecture makes them naturally suited for approximating functions whose domain is a set of formulas. We measure the performance of our implementation and compare it with other machine learning predictors on the tasks of evaluating arithmetical expressions and estimating the truth of propositional formulas.


A Comparison of Inquiry Based Conceptual Feedback vs. Traditional Detailed Feedback Mechanisms in Software Testing Education An Empirical Investigation. The feedback provided by current testing education tools about the deficiencies in a student's test suite either mimics industry code coverage tools or lists specific instructor test cases that are missing from the student's test suite. While useful in some sense, these types of feedback are akin to revealing the solution to the problem, which can inadvertently encourage students to pursue a trial and error approach to testing, rather than using a more systematic approach that encourages learning. In addition to not teaching students why their test suite is inadequate, this type of feedback may motivate students to become dependent on the feedback rather than thinking for themselves. To address this deficiency, there is an opportunity to investigate alternative feedback mechanisms that include a positive reinforcement of testing concepts. We argue that using an inquiry based learning approach is better than simply providing the answers. To facilitate this type of learning, we present Testing Tutor, a web based assignment submission platform that supports different levels of testing pedagogy via a customizable feedback engine. We evaluated the impact of the different types of feedback through an empirical study in two sophomore level courses. We use Testing Tutor to provide students with different types of feedback, either traditional detailed code coverage feedback or inquiry based learning conceptual feedback, and compare the effects. The results show that students that receive conceptual feedback had higher code coverage (by different measures), fewer redundant test cases, and higher programming grades than the students who receive traditional code coverage feedback.


Computational multiscale methods for first order wave equation using mixed CEM GMsFEM. In this paper, we consider a pressure velocity formulation of the heterogeneous wave equation and employ the constraint energy minimizing generalized multiscale finite element method (CEM GMsFEM) to solve this problem. The proposed method provides a flexible framework to construct crucial multiscale basis functions for approximating the pressure and velocity. These basis functions are constructed by solving a class of local auxiliary optimization problems over the eigenspaces that contain local information on the heterogeneity. Techniques of oversampling are adapted to enhance the computational performance. The first order convergence of the proposed method is proved and illustrated by several numerical tests.


A Geometrical Branch and Price (GEOM BP) Algorithm for Big Bin Packing Problems. Bin packing problem examines the minimum number of identical bins needed to pack a set of items of various weights. This problem arises in various areas of the artificial intelligence demanding derivation of the exact solutions in the shortest amount of time. Employing branch and bound and column generation techniques to derive the exact solutions to this problem, usually requires designation of problem specific branching rules compatible with the nature of the polluted pricing sub problem of column generation. In this work, we present a new approach to deal with the forbidden bins which handles two dimensional knapsack problems. Furthermore, a set of diving criteria are introduced which emphasize the importance of the geometrical features of the bins. It is further shown that efficiency of the column generation technique could significantly get improved using an implicit sectional pricing scheme. The proposed algorithm outperforms the current state of the art algorithms in number of the benchmark instances solved in less than one minute.


Enhancing reinforcement learning by a finite reward response filter with a case study in intelligent structural control. In many reinforcement learning (RL) problems, it takes some time until a taken action by the agent reaches its maximum effect on the environment and consequently the agent receives the reward corresponding to that action by a delay called action effect delay. Such delays reduce the performance of the learning algorithm and increase the computational costs, as the reinforcement learning agent values the immediate rewards more than the future reward that is more related to the taken action. This paper addresses this issue by introducing an applicable enhanced Q learning method in which at the beginning of the learning phase, the agent takes a single action and builds a function that reflects the environments response to that action, called the reflexive gamma function. During the training phase, the agent utilizes the created reflexive gamma function to update the Q values. We have applied the developed method to a structural control problem in which the goal of the agent is to reduce the vibrations of a building subjected to earthquake excitations with a specified delay. Seismic control problems are considered as a complex task in structural engineering because of the stochastic and unpredictable nature of earthquakes and the complex behavior of the structure. Three scenarios are presented to study the effects of zero, medium, and long action effect delays and the performance of the Enhanced method is compared to the standard Q learning method. Both RL methods use neural network to learn to estimate the state action value function that is used to control the structure. The results show that the enhanced method significantly outperforms the performance of the original method in all cases, and also improves the stability of the algorithm in dealing with action effect delays.


On the uniruled Voisin divisor on the LLSvS variety. Let Y be a smooth cubic fourfold, F be its Fano variety of lines and Z be its associated LLSvS variety, parametrizing families of twisted cubics and some of their degenerations. In this short note, we show that the divisor of singular cubic surfaces on Z has two irreducible components, one of which coincides with the uniruled branch divisor of a resolution of the Voisin map F times F dashrightarrow Z .


Distilling a Deep Neural Network into a Takagi Sugeno Kang Fuzzy Inference System. Deep neural networks (DNNs) demonstrate great success in classification tasks. However, they act as black boxes and we don't know how they make decisions in a particular classification task. To this end, we propose to distill the knowledge from a DNN into a fuzzy inference system (FIS), which is Takagi Sugeno Kang (TSK) type in this paper. The model has the capability to express the knowledge acquired by a DNN based on fuzzy rules, thus explaining a particular decision much easier. Knowledge distillation (KD) is applied to create a TSK type FIS that generalizes better than one directly from the training data, which is guaranteed through experiments in this paper. To further improve the performances, we modify the baseline method of KD and obtain good results.


robo gym An Open Source Toolkit for Distributed Deep Reinforcement Learning on Real and Simulated Robots. Applying Deep Reinforcement Learning (DRL) to complex tasks in the field of robotics has proven to be very successful in the recent years. However, most of the publications focus either on applying it to a task in simulation or to a task in a real world setup. Although there are great examples of combining the two worlds with the help of transfer learning, it often requires a lot of additional work and fine tuning to make the setup work effectively. In order to increase the use of DRL with real robots and reduce the gap between simulation and real world robotics, we propose an open source toolkit robo gym. We demonstrate a unified setup for simulation and real environments which enables a seamless transfer from training in simulation to application on the robot. We showcase the capabilities and the effectiveness of the framework with two real world applications featuring industrial robots a mobile robot and a robot arm. The distributed capabilities of the framework enable several advantages like using distributed algorithms, separating the workload of simulation and training on different physical machines as well as enabling the future opportunity to train in simulation and real world at the same time. Finally we offer an overview and comparison of robo gym with other frequently used state of the art DRL frameworks.


When AWGN based Denoiser Meets Real Noises. Discriminative learning based image denoisers have achieved promising performance on synthetic noises such as Additive White Gaussian Noise (AWGN). The synthetic noises adopted in most previous work are pixel independent, but real noises are mostly spatially channel correlated and spatially channel variant. This domain gap yields unsatisfied performance on images with real noises if the model is only trained with AWGN. In this paper, we propose a novel approach to boost the performance of a real image denoiser which is trained only with synthetic pixel independent noise data dominated by AWGN. First, we train a deep model that consists of a noise estimator and a denoiser with mixed AWGN and Random Value Impulse Noise (RVIN). We then investigate Pixel shuffle Down sampling (PD) strategy to adapt the trained model to real noises. Extensive experiments demonstrate the effectiveness and generalization of the proposed approach. Notably, our method achieves state of the art performance on real sRGB images in the DND benchmark among models trained with synthetic noises. Codes are available at https github.com yzhouas PD Denoising pytorch.


Clasper Concordance, Whitney towers and repeating Milnor invariants. We show that for each k in mathbb N , a link L subset S 3 bounds a degree k Whitney tower in the 4 ball if and only if it is emph C k concordant to the unlink. This means that L is obtained from the unlink by a finite sequence of concordances and degree k clasper surgeries. In our construction the trees associated to the Whitney towers coincide with the trees associated to the claspers. As a corollary to our previous obstruction theory for Whitney towers in the 4 ball, it follows that the C k concordance filtration of links is classified in terms of Milnor invariants, higher order Sato Levine and Arf invariants. Using a new notion of k repeating twisted Whitney towers, we also classify a natural generalization of the notion of link homotopy, called twisted emph self C k concordance , in terms of k repeating Milnor invariants and k repeating Arf invariants.


Quasihyperbolic Metric Universal Covers. We present a simple analytical proof that the natural metric universal cover of a quasihyperbolic planar domain is a complete Hadamard metric space.


Stability of tangent bundles on smooth toric Picard rank 2 varieties and surfaces. We give a combinatorial criterion for the tangent bundle on a smooth toric variety to be stable with respect to a given polarisation in terms of the corresponding lattice polytope. Furthermore, we show that for a smooth toric surface and a smooth toric variety of Picard rank 2, there exists an ample line bundle with respect to which the tangent bundle is stable if and only if it is an iterated blow up of projective space.


A phase field model of frictional shear fracture in geologic materials. Geologic shear fractures such as faults and slip surfaces involve marked friction along the discontinuities as they are subjected to significant confining pressures. This friction plays a critical role in the growth of these shear fractures, as revealed by the fracture mechanics theory of Palmer and Rice decades ago. In this paper, we develop a novel phase field model of shear fracture in pressure sensitive geomaterials, honoring the role of friction in the fracture propagation mechanism. Building on a recently proposed phase field method for frictional interfaces, we formulate a set of governing equations for different contact conditions (or lack thereof) in which frictional energy dissipation emerges in the crack driving force during slip. We then derive the degradation function and the threshold fracture energy of the phase field model such that the stress strain behavior is insensitive to the length parameter for phase field regularization. This derivation procedure extends a methodology used in recent phase field models of cohesive tensile fracture to shear fracture in frictional materials in which peak and residual strengths coexist and evolve by confining pressure. The resulting phase field formulation is demonstrably consistent with the theory of Palmer and Rice. Numerical examples showcase that the proposed phase field model is a physically sound and numerically efficient method for simulating shear fracture processes in geologic materials, such as faulting and slip surface growth.


Long Working Distance Apodized Grating Coupler. We design a focusing grating coupler by a simultaneous apodization of the filling factor and the period. In addition to in plane focusing to the input waveguide providing a total length of less than 70 mu m, a further apodization of the curvature allows out of plane focusing into a fiber set 150 mu m away from the grating surface. The design is proposed for novel semiconductor on insulator waveguides such as GaInP. The coupling efficiency is calculated from two dimensional simulation which is about 45 .


Automatic extrinsic calibration between a camera and a 3D Lidar using 3D point and plane correspondences. This paper proposes an automated method to obtain the extrinsic calibration parameters between a camera and a 3D lidar with as low as 16 beams. We use a checkerboard as a reference to obtain features of interest in both sensor frames. The calibration board centre point and normal vector are automatically extracted from the lidar point cloud by exploiting the geometry of the board. The corresponding features in the camera image are obtained from the camera's extrinsic matrix. We explain the reasons behind selecting these features, and why they are more robust compared to other possibilities. To obtain the optimal extrinsic parameters, we choose a genetic algorithm to address the highly non linear state space. The process is automated after defining the bounds of the 3D experimental region relative to the lidar, and the true board dimensions. In addition, the camera is assumed to be intrinsically calibrated. Our method requires a minimum of 3 checkerboard poses, and the calibration accuracy is demonstrated by evaluating our algorithm using real world and simulated features.


Locally unipotent invariant measures and limit distribution of a sequence of polynomial trajectories on homogeneous spaces. Let G be a Lie group and Gamma be a lattice in G . We introduce the notion of locally unipotent invariant measures on G Gamma . We then prove that under some conditions, the limit measure supported on the image of polynomial trajectories on G Gamma is locally unipotent invariant, thus give a partial answer to an equidistribution problem for higher dimensional polynomial trajectories on homogeneous spaces, which was raised by Shah in cite shah1994limit . The proof relies on Ratner's measure classification theorem, linearization technique for polynomial trajectories near singular sets and a twisting technique of Shah.


Sequential Deep Learning for Credit Risk Monitoring with Tabular Financial Data. Machine learning plays an essential role in preventing financial losses in the banking industry. Perhaps the most pertinent prediction task that can result in billions of dollars in losses each year is the assessment of credit risk (i.e., the risk of default on debt). Today, much of the gains from machine learning to predict credit risk are driven by gradient boosted decision tree models. However, these gains begin to plateau without the addition of expensive new data sources or highly engineered features. In this paper, we present our attempts to create a novel approach to assessing credit risk using deep learning that does not rely on new model inputs. We propose a new credit card transaction sampling technique to use with deep recurrent and causal convolution based neural networks that exploits long historical sequences of financial data without costly resource requirements. We show that our sequential deep learning approach using a temporal convolutional network outperformed the benchmark non sequential tree based model, achieving significant financial savings and earlier detection of credit risk. We also demonstrate the potential for our approach to be used in a production environment, where our sampling technique allows for sequences to be stored efficiently in memory and used for fast online learning and inference.


Sublinear preferential attachment combined with the growing number of choices. We prove almost sure convergence of the maximum degree in an evolving graph model combining a growing number of local choices with sublinear preferential attachment. At each step in the growth of the graph, a new vertex is introduced. Then we draw a random number of edges from it to existing vertices, chosen independently by the following rule. For each edge, we consider a sample of the growing size of vertices chosen with probabilities proportional to the sublinear function of their degrees. Then new vertex attaches to the vertex with the highest degree from the sample. Depending on the growth rate of the sample and the sublinear function, the maximum degree could be of the sublinear order, of the linear order or having almost all edges drawing to it. The prove using various stochastic approximation processes and a large deviation approach.


Topological properties of Lorenz maps derived from unimodal maps. A symmetric Lorenz map is obtain by flipping'' one of the two branches of a symmetric unimodal map. We use this to derive a Sharkovsky like theorem for symmetric Lorenz maps, and also to find cases where the unimodal map restricted to the critical omega limit set is conjugate to a Sturmian shift. This has connections with properties of unimodal inverse limit spaces embedded as attractors of some planar homeomorphisms.


Global generalized solutions to a forager exploiter model with superlinear degradation and their eventual regularity properties. In this article we consider a cascaded taxis model for two proliferating and degrading species which thrive on the same nutrient but orient their movement according to different schemes. In particular, we assume the first group, the foragers, to orient their movement directly along an increasing gradient of the food density, while the second group, the exploiters, instead track higher densities of the forager group. Specifically, we will investigate an initial boundary value problem for a prototypical forager exploiter model of the form begin align left begin array r , c , l quad l quad l quad l , c u t Delta u nabla cdot big(u nabla w big) f(u), x in Omega, t 0, v t Delta v nabla cdot big(v nabla u big) g(v), x in Omega, t 0, w t Delta w (u v)w mu w r(x,t), x in Omega, t 0, end array right. end align in a smoothly bounded domain Omega subset mathbb R 2 , where mu geq 0 , r in C 1( bar Omega times 0, infty)) cap L infty ! left( Omega times(0, infty) right) is nonnegative and the functions f,g in C 1 ! left( 0, infty) right) are assumed to satisfy f(0) geq0 , g(0) geq0 as well as k f s alpha l f leq f(s) leq K f s alpha L f text and k g s beta l g leq g(s) leq K g s beta L g quad text for s geq0, respectively, with constants alpha, beta 1 , k f,K f,k g,K g 0 and l f,L f,l g,L g geq0 and alpha, beta 1 . Assuming that alpha 1 sqrt 2 , min alpha, beta frac alpha 1 alpha 1 and that r satisfies certain structural conditions we establish the global solvability of this system with respect to a suitable generalized solution concept and then, for the more restrictive case of alpha, beta 1 sqrt 2 and mu 0 , investigate an eventual regularity effect driven by the decay of the nutrient density w .


Reduction and lifting problem for differential forms on Berkovich curves. Given a complete real valued field k of residue characteristic zero, we study properties of a differential form omega on a smooth proper k analytic curve X . In particular, we associate to (X, omega) a natural tropical reduction datum combining tropical data of (X, omega) and algebra geometric reduction data over the residue field widetilde k . We show that this datum satisfies natural compatibility condition, and prove a lifting theorem asserting that any compatible tropical reduction datum lifts to an actual pair (X, omega) . In particular, we obtain a short proof of the main result of a work BCGGM20 by Bainbridge, Chen, Gendron, Grushevsky, and M "oller.


Declarative Semantics of the Hybrid Constraint Language HydLa. Hybrid systems are dynamical systems with continuous evolution of states and discrete evolution of states and governing equations. We have worked on the design and implementation of HydLa, a constraint based modeling language for hybrid systems, with a view to the proper handling of uncertainties and the integration of simulation and verification. HydLa's constraint hierarchies facilitate the description of constraints with adequate strength, but its semantical foundations are not obvious due to the interaction of various language constructs. This paper gives the declarative semantics of HydLa and discusses its properties and consequences by means of examples.


Multiple Private Key Generation for Continuous Memoryless Sources with A Helper. We propose a method to study the secrecy constraints in key generation problems where side information might be present at untrusted users. Our method is inspired by a recent work of Hayashi and Tan who used the R 'enyi divergence as the secrecy measure to study the output statistics of applying hash functions to a random sequence. By generalizing the achievability result of Hayashi and Tan to the multi terminal case, we obtain the output statistics of applying hash functions to multiple random sequences, which turn out to be an important tool in the achievability proof of strong secrecy capacity regions of key generation problems with side information at untrusted users. To illustrate the power of our method, we derive the capacity region of the multiple private key generation problem with an untrusted helper for continuous memoryless sources under Markov conditions. The converse proof of our result follows by generalizing a result of Nitinawarat and Narayan to the case with side information at untrusted users.


Designing a Novel Method for Personalizing Recommendations to Decrease Plastic Pollution. Third world countries tend to have a higher share of plastic waste that is inadequately managed while the First world countries have higher plastic waste generation per person. A difference in the characteristics of plastic pollution depending on the country's standing results in varying optimal recommendations for users. Through Big Text and OSOME meme analysis, I constructed a list with optimal recommendations for First World and Third World countries. Based on the list, I designed a User Interface wit Google Apps Scripts that provide personalized recommendations based on the country's standing and user's preferred difficulty and reassessed the code based on the six qualities of code. The purpose of the User Interface is to aid people who wish to help solve plastic pollution by offering a set of personalized tasks for each user and keeping their progress accountable through a point tracking system. With a significant number of users, the application could eventually contribute to solving the problem of plastic pollution.


On the intermediate dimensions of Bedford McMullen carpets. The intermediate dimensions of a set Lambda , elsewhere denoted by dim theta Lambda , interpolates between its Hausdorff and box dimensions using the parameter theta in 0,1 . Determining a precise formula for dim theta Lambda is particularly challenging when Lambda is a Bedford McMullen carpet with distinct Hausdorff and box dimension. In this direction, answering a question of Fraser, we show that dim theta Lambda is strictly less than the box dimension of Lambda for every theta 1 , moreover, the derivative of the upper bound is strictly positive at theta 1 . We also improve on the lower bound obtained by Falconer, Fraser and Kempton.


Domain Adaptation for Image Dehazing. Image dehazing using learning based methods has achieved state of the art performance in recent years. However, most existing methods train a dehazing model on synthetic hazy images, which are less able to generalize well to real hazy images due to domain shift. To address this issue, we propose a domain adaptation paradigm, which consists of an image translation module and two image dehazing modules. Specifically, we first apply a bidirectional translation network to bridge the gap between the synthetic and real domains by translating images from one domain to another. And then, we use images before and after translation to train the proposed two image dehazing networks with a consistency constraint. In this phase, we incorporate the real hazy image into the dehazing training via exploiting the properties of the clear image (e.g., dark channel prior and image gradient smoothing) to further improve the domain adaptivity. By training image translation and dehazing network in an end to end manner, we can obtain better effects of both image translation and dehazing. Experimental results on both synthetic and real world images demonstrate that our model performs favorably against the state of the art dehazing algorithms.


An Inequality for Coefficients of the Real rooted Polynomials. In this paper, we prove that if f(x) sum k 0 n n choose k a kx k is a polynomial with real zeros only, then the sequence a k k 0 n satisfies the following inequalities a k 1 2(1 sqrt 1 c k ) 2 a k 2 leq(a k 1 2 a ka k 2 ) (a k 2 a k 1 a k 1 ) leq a k 1 2(1 sqrt 1 c k ) 2 a k 2 , where c k a ka k 2 a k 1 2 . This inequality holds for the coefficients of the Riemann xi function, the ultraspherical, Laguerre and Hermite polynomials, and the partition function. Moreover, as a corollary, for the partition function p(n) , we prove that p(n) 2 p(n 1)p(n 1) is increasing for n geq 55 . We also find that for a positive and log concave sequence a k k geq 0 , the inequality a k 2 a k leq (a k 1 2 a ka k 2 ) (a k 2 a k 1 a k 1 ) leq a k 1 a k 1 is the sufficient condition for both the 2 log concavity and the higher order Tur 'a n inequalities of a k k geq 0 . It is easy to verify that if a k 2 geq ra k 1 a k 1 , where r geq 2 , then the sequence a k k geq 0 satisfies this inequality.


Discretized Fast Slow Systems with Canards in Two Dimensions. We study the problem of preservation of maximal canards for time discretized fast slow systems with canard fold points. In order to ensure such preservation, certain favorable structure preserving properties of the discretization scheme are required. Conventional schemes do not possess such properties. We perform a detailed analysis for an unconventional discretization scheme due to Kahan. The analysis uses the blow up method to deal with the loss of normal hyperbolicity at the canard point. We show that the structure preserving properties of the Kahan discretization for quadratic vector fields imply a similar result as in continuous time, guaranteeing the occurrence of maximal canards between attracting and repelling slow manifolds upon variation of a bifurcation parameter. The proof is based on a Melnikov computation along an invariant separating curve, which organizes the dynamics of the map similarly to the ODE problem.


OPAL Offline Primitive Discovery for Accelerating Offline Reinforcement Learning. Reinforcement learning (RL) has achieved impressive performance in a variety of online settings in which an agent's ability to query the environment for transitions and rewards is effectively unlimited. However, in many practical applications, the situation is reversed an agent may have access to large amounts of undirected offline experience data, while access to the online environment is severely limited. In this work, we focus on this offline setting. Our main insight is that, when presented with offline data composed of a variety of behaviors, an effective way to leverage this data is to extract a continuous space of recurring and temporally extended primitive behaviors before using these primitives for downstream task learning. Primitives extracted in this way serve two purposes they delineate the behaviors that are supported by the data from those that are not, making them useful for avoiding distributional shift in offline RL and they provide a degree of temporal abstraction, which reduces the effective horizon yielding better learning in theory, and improved offline RL in practice. In addition to benefiting offline policy optimization, we show that performing offline primitive learning in this way can also be leveraged for improving few shot imitation learning as well as exploration and transfer in online RL on a variety of benchmark domains. Visualizations are available at https sites.google.com view opal iclr


Ping pong partitions and locally discrete groups of real analytic circle diffeomorphisms, I Construction. Following the recent advances in the study of groups of circle diffeomorphisms, we describe an efficient way of classifying the topological dynamics of locally discrete, finitely generated, virtually free subgroups of the group mathsf Diff omega ( mathbb S 1) of orientation preserving real analytic circle diffeomorphisms, which include all subgroups of mathsf Diff omega ( mathbb S 1) acting with an invariant Cantor set. An important tool that we develop, of independent interest, is the extension of classical ping pong lemma to actions of fundamental groups of graphs of groups. Our main motivation is an old conjecture by P. R. Dippolito Ann. Math. 107 (1978), 403 453 from foliation theory, which we solve in this restricted but significant setting this and other consequences of the classification will be treated in more detail in a companion work.


Novel Corona virus Disease infection in Tunisia Mathematical model and the impact of the quarantine strategy. In this paper, we propose a new model for the dynamics of COVID 19 infections. Our approach consists of seven phenotypes the susceptible humans, exposed humans, infectious humans, the recovered humans, the quarantine population, the recovered exposed and deceased population. We proved first through mathematical approach the positivity, boundness and existence of a solution to considered model. We also studied the existence of the disease free equilibrium and corresp onding stability. Hence, the actual reproduction number was calculated . We analyzed the dependence of basic reproductions R 0 on the confidence of our model. Our work shows, in particular, that the disease will decrease out if the number of reproduction was less than one. Moreover, the impact of the quarantine strategies to reduce the spread of this disease is discussed. The theoretical results are validated by some numerical simulations of the system of the epidemic's differential equations.


Broken bricks and the pick up sticks problem. We generalize the well known broken stick problem in several ways, including a discrete "brick" analogue and a sequential "pick up sticks bricks" version. The limit behavior of the broken brick problem gives a combinatorial proof of the broken stick problem. The pick up version gives a variation on those scenarios, and we conclude by showing a greater context namely, that the broken stick brick problem and the pick up sticks bricks problem are two extremes in a family of interesting, and largely open, questions.


A Survey on Centrality Metrics and Their Implications in Network Resilience. Centrality metrics have been used in various networks, such as communication, social, biological, geographic, or contact networks. In particular, they have been used in order to study and analyze targeted attack behaviors and investigated their effect on network resilience. Although a rich volume of centrality metrics has been developed for decades, a limited set of centrality metrics have been commonly in use. This paper aims to introduce various existing centrality metrics and discuss their applicabilities and performance based on the results obtained from extensive simulation experiments to encourage their use in solving various computing and engineering problems in networks.


Computing the norm of nonnegative matrices and the log Sobolev constant of Markov chains. We analyze the global convergence of the power iterates for the computation of a general mixed subordinate matrix norm. We prove a new global convergence theorem for a class of entrywise nonnegative matrices that generalizes and improves a well known results for mixed subordinate ell p matrix norms. In particular, exploiting the Birkoff Hopf contraction ratio of nonnegative matrices, we obtain novel and explicit global convergence guarantees for a range of matrix norms whose computation has been recently proven to be NP hard in the general case, including the case of mixed subordinate norms induced by the vector norms made by the sum of different ell p norms of subsets of entries. Finally, we use the new results combined with hypercontractive inequalities to prove a new lower bound on the logarithmic Sobolev constant of a Markov chain.


Gluck twisting roll spun knots. We show that the smooth homotopy 4 sphere obtained by Gluck twisting the m twist n roll spin of any unknotting number one knot is diffeomorphic to the standard 4 sphere, for any pair of integers (m,n). It follows as a corollary that an infinite collection of twisted doubles of Gompf's infinite order corks are standard.


Numerical radii of accretive matrices. The numerical radius of a matrix is a scalar quantity that has many applications in the study of matrix analysis. Due to the difficulty in computing the numerical radius, inequalities bounding it have received a considerable attention in the literature. In this article, we present many new bounds for the numerical radius of accretive matrices. The importance of this study is the presence of a new approach that treats a specific class of matrices, namely the accretive ones. The new bounds provide a new set of inequalities, some of which can be considered as refinements of other existing ones, while others present new insight to some known results for positive matrices.


Disentangling and Unifying Graph Convolutions for Skeleton Based Action Recognition. Spatial temporal graphs have been widely used by skeleton based action recognition algorithms to model human action dynamics. To capture robust movement patterns from these graphs, long range and multi scale context aggregation and spatial temporal dependency modeling are critical aspects of a powerful feature extractor. However, existing methods have limitations in achieving (1) unbiased long range joint relationship modeling under multi scale operators and (2) unobstructed cross spacetime information flow for capturing complex spatial temporal dependencies. In this work, we present (1) a simple method to disentangle multi scale graph convolutions and (2) a unified spatial temporal graph convolutional operator named G3D. The proposed multi scale aggregation scheme disentangles the importance of nodes in different neighborhoods for effective long range modeling. The proposed G3D module leverages dense cross spacetime edges as skip connections for direct information propagation across the spatial temporal graph. By coupling these proposals, we develop a powerful feature extractor named MS G3D based on which our model outperforms previous state of the art methods on three large scale datasets NTU RGB D 60, NTU RGB D 120, and Kinetics Skeleton 400.


Remarks on very basic slc trivial fibrations. We study very basic slc trivial fibrations. We show that restricting on any lc center of a very basic slc trivial fibration, its moduli part is numerically trivial if and only if it is mathbb Q linearly trivial. We then prove that abundance conjecture for very basic slc trivial fibrations holds true in dimension two when the moduli part is mathbb Q Cartier. As an application, we prove that the log canonical ring of a projective plt pair with Kodaira dimension 3 is finitely generated.


Twisted cotangent bundles of Hyperk "ahler manifolds. Let X be a Hyperk "ahler manifold, and let H be an ample divisor on X . We give a lower bound in terms of the Beauville Bogomolov form q(H) for the twisted cotangent bundle Omega X otimes H to be pseudoeffective. If X is deformation equivalent to the Hilbert scheme of a K3 surface the lower bound can be written down explicitly and we study its optimality.


XSS Vulnerabilities in Cloud Application Add Ons. Cloud application add ons are microservices that extend the functionality of the core applications. Many application vendors have opened their APIs for third party developers and created marketplaces for add ons (also add ins or apps). This is a relatively new phenomenon, and its effects on the application security have not been widely studied. It seems likely that some of the add ons have lower code quality than the core applications themselves and, thus, may bring in security vulnerabilities. We found that many such add ons are vulnerable to cross site scripting (XSS). The attacker can take advantage of the document sharing and messaging features of the cloud applications to send malicious input to them. The vulnerable add ons then execute client side JavaScript from the carefully crafted malicious input. In a major analysis effort, we systematically studied 300 add ons for three popular application suites, namely Microsoft Office Online, G Suite and Shopify, and discovered a significant percentage of vulnerable add ons in each marketplace. We present the results of this study, as well as analyze the add on architectures to understand how the XSS vulnerabilities can be exploited and how the threat can be mitigated.


Unpaired Thermal to Visible Spectrum Transfer using Adversarial Training. Thermal Infrared (TIR) cameras are gaining popularity in many computer vision applications due to their ability to operate under low light conditions. Images produced by TIR cameras are usually difficult for humans to perceive visually, which limits their usability. Several methods in the literature were proposed to address this problem by transforming TIR images into realistic visible spectrum (VIS) images. However, existing TIR VIS datasets suffer from imperfect alignment between TIR VIS image pairs which degrades the performance of supervised methods. We tackle this problem by learning this transformation using an unsupervised Generative Adversarial Network (GAN) which trains on unpaired TIR and VIS images. When trained and evaluated on KAIST MS dataset, our proposed methods was shown to produce significantly more realistic and sharp VIS images than the existing state of the art supervised methods. In addition, our proposed method was shown to generalize very well when evaluated on a new dataset of new environments.


Optimal Algorithm for the Planar Two Center Problem. In this paper, we consider the emph planar two center problem Given a set S of n points in the plane, the goal is to find two smallest congruent disks whose union contains all points of S . We present an O(n log n) time algorithm for the planar two center problem. This matches the best known lower bound of Omega(n log n) as well as improving the previously best known algorithms which takes O(n log 2 n) time.


Integration and Simulation of Bivariate Projective Cauchy Distributions within Arbitrary Polygonal Domains. Consider a uniform variate on the unit upper half sphere of dimension d . It is known that the straight line projection through the center of the unit sphere onto the plane above it distributes this variate according to a d dimensional projective Cauchy distribution. In this work, we leverage the geometry of this construction in dimension d 2 to derive new properties for the bivariate projective Cauchy distribution. Specifically, we reveal via geometric intuitions that integrating and simulating a bivariate projective Cauchy distribution within an arbitrary domain translates into respectively measuring and sampling the solid angle subtended by the geometry of this domain as seen from the origin of the unit sphere. To make this result practical for, e.g., generating truncated variants of the bivariate projective Cauchy distribution, we extend it in two respects. First, we provide a generalization to Cauchy distributions parameterized by location scale correlation coefficients. Second, we provide a specialization to polygonal domains, which leads to closed form expressions. We provide a complete MATLAB implementation for the case of triangular domains, and briefly discuss the case of elliptical domains and how to further extend our results to bivariate Student distributions.


Tur 'an problems for Edge ordered graphs. In this paper we initiate a systematic study of the Tur 'an problem for edge ordered graphs. A simple graph is called textit edge ordered , if its edges are linearly ordered. An isomorphism between edge ordered graphs must respect the edge order. A subgraph of an edge ordered graph is itself an edge ordered graph with the induced edge order. We say that an edge ordered graph G textit avoids another edge ordered graph H , if no subgraph of G is isomorphic to H . The textit Tur 'an number of an edge ordered graph H is the maximum number of edges in an edge ordered graph on n vertices that avoids H . We study this problem in general, and establish an Erd H o s Stone Simonovits type theorem for edge ordered graphs we discover that the relevant parameter for the Tur 'an number of an edge ordered graph is its textit order chromatic number . We establish several important properties of this parameter. We also study Tur 'an numbers of edge ordered paths, star forests and the cycle of length four. We make strong connections to Davenport Schinzel theory, the theory of forbidden submatrices, and show an application in Discrete Geometry.


Extension of QSQH theory of scale interaction in near wall turbulence to all velocity components. The QSQH theory is extended to all three velocity components taking into account the fluctuations of the direction of the large scale component of the wall friction. This effect is found to be significant. It explains the large sensitivity of the fluctuations of longitudinal and spanwise velocities to variations in the Reynolds number in comparison with the sensitivity of the mean velocity, the Reynolds stress, and the wall normal velocity fluctuations. The analysis shows that the variation of the longitudinal velocity fluctuations with the Reynolds number is dominated by the variation of the amplitude and wall normal scale modulation of the universal mean velocity profile by the outer, large scale, Reynolds number dependent motions. The variation of spanwise velocity fluctuations is dominated by the fluctuations of the direction of the large scale component of the wall friction. The Reynolds number dependence of the other second moments is not dominated by these mechanisms because the mean wall normal velocity and the mean spanwise velocity are zero. Explicit relationships between the differences in the second moments of velocity in any two high Reynolds number near wall flows were derived. The comparisons gave a satisfactory agreement for the root mean square of the wall parallel velocity components in the range of the distances from the wall where modulation by large scale motions dominates. Relationships between the differences of the constants of the logarithmic law, the shape of the mean velocity profile, and the differences of the second moments of velocity caused by the differences in large scale motions were derived and estimated quantitatively.


KOSMOS Knowledge graph Oriented Social media and Mainstream media Overview System. We introduce KOSMOS, a knowledge retrieval system based on the constructed knowledge graph of social media and mainstream media documents. The system first identifies key events from the documents at each time frame through clustering, extracting a document to represent each cluster, then describing the document in terms of 5W1H (Who, What, When, Where, Why, How). The event centric knowledge graph is enhanced by relation triplets and entity disambiguation from the representative document. This knowledge retrieval is supported by a web interface that presents a graph visualisation of related nodes and relevant articles based on a user query. The interface facilitates understanding relationships between events reported in mainstream and social media journalism through the KOSMOS information extraction pipeline, which is valuable to understand media slant and public opinions. Finally, we explore a use case in extracting events and relations from documents to understand the media and community's view to the 2020 COVID19 pandemic.