On the standing waves for the X ray free electron laser Schr " o dinger equation. In this paper, we are concerned with the standing waves for the following nonlinear Schr " o dinger equation i partial t psi Delta psi b 2(x 1 2 x 2 2) psi frac lambda 1 x psi lambda 2( cdot 1 ast psi 2) psi lambda 3 psi p psi, (t,x) in mathbb R times mathbb R 3, where 0 p 4 . We mainly study the existence and stability instability properties of standing waves for this equation, in two cases the first one is that no magnetic potential is involved, (i.e. b 0 in the equation) and the second one is that b neq 0 . To be precise, in the first case, by considering a minimization problem on a suitable Pohozaev manifold we prove the existence of ground states, and show further that all ground state standing waves are strongly unstable by blow up in finite time. Moreover, by making use of the ideas of their proofs, we are able to prove the existence and instability of normalized solutions, whose proofs seem to be new, compared with the studies of normalized solutions in the existing literature. In the second case, the situation is more difficult to be treated, due to the additional term of the partial harmonic potential. We manage to prove the existence of stable standing waves for p in (0,4) and with some assumptions on the coefficients, where solutions are obtained as global minimizers if p in (0, frac 4 3 , and as local minimizers if p in frac 4 3 , 4) . In the mass critical and supercritical cases p in frac 4 3 , 4) , we establish the variational characterization of the ground states on a suitable manifold which is different from the one neither of the Nehari type nor of the Pohozaev type, and then prove the existence of ground states. Finally under some assumptions on omega and p , we prove that the ground state standing waves are strongly unstable.


On Poincare polynomials of shuffle algebra representations. In this paper we study some combinatorial properties of the shuffle algebra S q 1 ,q 2 with two complex parameters and, in particular, obtain the Hilbert series for S q 1 ,q 2 I , where I is the ideal generated by z lambda for both generic q 1 ,q 2 and satisfying the relation q 1 a q 2 b 1 with a, b in mathbb N .


ERNIE M Enhanced Multilingual Representation by Aligning Cross lingual Semantics with Monolingual Corpora. Recent studies have demonstrated that pre trained cross lingual models achieve impressive performance in downstream cross lingual tasks. This improvement benefits from learning a large amount of monolingual and parallel corpora. Although it is generally acknowledged that parallel corpora are critical for improving the model performance, existing methods are often constrained by the size of parallel corpora, especially for low resource languages. In this paper, we propose ERNIE M, a new training method that encourages the model to align the representation of multiple languages with monolingual corpora, to overcome the constraint that the parallel corpus size places on the model performance. Our key insight is to integrate back translation into the pre training process. We generate pseudo parallel sentence pairs on a monolingual corpus to enable the learning of semantic alignments between different languages, thereby enhancing the semantic modeling of cross lingual models. Experimental results show that ERNIE M outperforms existing cross lingual models and delivers new state of the art results in various cross lingual downstream tasks.


AdvHat Real world adversarial attack on ArcFace Face ID system. In this paper we propose a novel easily reproducible technique to attack the best public Face ID system ArcFace in different shooting conditions. To create an attack, we print the rectangular paper sticker on a common color printer and put it on the hat. The adversarial sticker is prepared with a novel algorithm for off plane transformations of the image which imitates sticker location on the hat. Such an approach confuses the state of the art public Face ID model LResNet100E IR, ArcFace ms1m refine v2 and is transferable to other Face ID models.


Laboratory Study of Wave Attenuation by Mangrove Forest. Coastal vegetation can dissipate the energy of storm surge and tsunami, which serves a natural barrier for coastal protection. The experimental study of waves mangroves interaction was carried out to evaluate the efficiency of wave attenuation by vegetation (WDV). In particular, the model mangrove consisted of a flexible canopy and a rigid stem to imitate natural Rhizophora better. It considered the effect of various wave conditions including incident wave height ( H i ) and wave period ( T ) as well as plant characteristics including submergence ratio ( alpha ) and stem density ( N ), respectively. Then, the exponential wave decay coefficient ( K i ) was applied to determine the performance of WDV. It showed that larger H i , alpha and smaller T induced greater wave decay. To quantify WDV, a new analytical model was proposed considering the change of stem arrangement and wave parameters along the vegetation. Further, the drag coefficient, C D of mangrove forest was analytical calibrated by this model, and made a comparison with the previous model. Based on this model, the relationships between C D and some non dimensional parameters, e.g. Reynolds number, mathop rm Re nolimits , Keulegan Carpenter number, KC and Ursell number, U r were established to evaluate and predict the wave decay. Especially, it showed a better correlation relationship than the previous model, and the predicted results showed a good agreement with the experimental data.


A Code specific Conservative Model for the Failure Rate of Bit flipping Decoding of LDPC Codes with Cryptographic Applications. Characterizing the decoding failure rate of iteratively decoded Low and Moderate Density Parity Check (LDPC MDPC) codes is paramount to build cryptosystems based on them, able to achieve indistinguishability under adaptive chosen ciphertext attacks. In this paper, we provide a statistical worst case analysis of our proposed iterative decoder obtained through a simple modification of the classic in place bit flipping decoder. This worst case analysis allows both to derive the worst case behaviour of an LDPC MDPC code picked among the family with the same length, rate and number of parity checks, and a code specific bound on the decoding failure rate. The former result allows us to build a code based cryptosystem enjoying the delta correctness property required by IND CCA2 constructions, while the latter result allows us to discard code instances which may have a decoding failure rate significantly different from the average one (i.e., representing weak keys), should they be picked during the key generation procedure.


DistDGL Distributed Graph Neural Network Training for Billion Scale Graphs. Graph neural networks (GNN) have shown great success in learning from graph structured data. They are widely used in various applications, such as recommendation, fraud detection, and search. In these domains, the graphs are typically large, containing hundreds of millions of nodes and several billions of edges. To tackle this challenge, we develop DistDGL, a system for training GNNs in a mini batch fashion on a cluster of machines. DistDGL is based on the Deep Graph Library (DGL), a popular GNN development framework. DistDGL distributes the graph and its associated data (initial features and embeddings) across the machines and uses this distribution to derive a computational decomposition by following an owner compute rule. DistDGL follows a synchronous training approach and allows ego networks forming the mini batches to include non local nodes. To minimize the overheads associated with distributed computations, DistDGL uses a high quality and light weight min cut graph partitioning algorithm along with multiple balancing constraints. This allows it to reduce communication overheads and statically balance the computations. It further reduces the communication by replicating halo nodes and by using sparse embedding updates. The combination of these design choices allows DistDGL to train high quality models while achieving high parallel efficiency and memory scalability. We demonstrate our optimizations on both inductive and transductive GNN models. Our results show that DistDGL achieves linear speedup without compromising model accuracy and requires only 13 seconds to complete a training epoch for a graph with 100 million nodes and 3 billion edges on a cluster with 16 machines. DistDGL is now publicly available as part of DGL https github.com dmlc dgl tree master python dgl distributed.


A brief history of the origin of domesticated date palms. The study of the origins of crops is of interest from both a fundamental evolutionary understanding viewpoint, and from an applied agricultural technology perspective. The date palm (Phoenix dactylifera L.) is the iconic fruit crop of hot and arid regions of North Africa and the Middle East, producing sugar rich fruits, known as dates. There are many different cultivars each with distinctive fruit traits, and there are many wild Phoenix species too, which in total form a complex of related species. The understanding of plant domestication involves multiple disciplines, including phylogeography, population genetics and archaeology. In the past decade, they have prompted new discoveries on the evolutionary history of date palm, but a complete understanding of its origins remains to be elucidated, along with the genetic architecture of its domestication syndrome. In this chapter, we review the current state of the art regarding the origins of the domesticated date palm. We first discuss whether date palms are domesticated, and highlight how they diverge from their wild Phoenix relatives. We then outline patterns in the population genetic and archaeobotanical data, and review different models for the origins of domesticated date palms by highlighting sources of evidence that are either consistent or inconsistent with each model. We then review the process of date palm domestication, and emphasize the human activities that have prompted its domestication. We particularly focus on the evolution of fruit traits.


Trees, dendrites, and the Cannon Thurston map. When 1 H G Q 1 is a short exact sequence of three infinite, word hyperbolic groups, Mahan Mitra (Mj) has shown that the inclusion map from H to G extends continuously to a map between the Gromov boundaries of H and G. This boundary map is known as the Cannon Thurston map. In this context, Mitra associates to every point z in the Gromov boundary of Q an "ending lamination" on H which consists of pairs of distinct points in the boundary of H. We prove that for each such z, the quotient of the Gromov boundary of H by the equivalence relation generated by this ending lamination is a dendrite, that is, a tree like topological space. This result generalizes the work of Kapovich Lustig and Dowdall Kapovich Taylor, who prove that in the case where H is a free group and Q is a convex cocompact purely atoroidal subgroup of Out(F N), one can identify the resultant quotient space with a certain mathbb R tree in the boundary of Culler Vogtmann's Outer space.


A fibre Smart Displacement Based (FSDB) beam element for the nonlinear analysis of R C members. Beam finite elements for non linear plastic analysis of beam like structures are formulated according to Displacement Based (DB) or Force Based (FB) approaches. DB formulations rely on modelling the displacement field by means of displacement shape functions. Despite the greater simplicity of DB over FB approaches, the latter provide more accurate responses requiring a coarser mesh. To fill the existent gap between the two approaches the improvement of the DB formulation without the introduction of mesh refinement is needed. To this aim the authors recently provided a contribution to the improvement of the DB approach by proposing new enriched adaptive displacement shape functions leading to the Smart Displacement Based (SDB) beam element. In this paper the SDB element is extended to include the axial force bending moment interaction, crucial for the analysis of r c cross sections. The proposed extension requires the formulation of discontinuous axial displacement shape functions dependent on the diffusion of plastic deformations. The stiffness matrix of the extended smart element is provided explicitly and shown to be dependent on the displacement shape functions updating. The axial force bending moment interaction is approached by means of a fibre discretisation of the r c cross section. The extended element, addressed as Fibre Smart Displacement Based (FSDB) beam element, is shown to be accurate and furthermore accompanied by the proposal of an optional procedure to verify strong equilibrium of the axial force along the beam element, which is usually not accomplished by DB beam elements. Given a fixed mesh discretisation the performance of the FSDB beam element is compared with the DB approach to show the better accuracy of the proposed element.


Linear independence in linear systems on elliptic curves. Let E be an elliptic curve, with identity O , and let C be a cyclic subgroup of odd order N , over an algebraically closed field k with operatorname char k nmid N . For P in C , let s P be a rational function with divisor N cdot P N cdot O . We ask whether the N functions s P are linearly independent. For generic (E,C) , we prove that the answer is yes. We bound the number of exceptional (E,C) when N is a prime by using the geometry of the universal generalized elliptic curve over X 1(N) . The problem can be recast in terms of sections of an arbitrary degree N line bundle on E .


On the Security of Pixel Based Image Encryption for Privacy Preserving Deep Neural Networks. This paper aims to evaluate the safety of a pixel based image encryption method, which has been proposed to apply images with no visual information to deep neural networks (DNN), in terms of robustness against ciphertext only attacks (COA). In addition, we propose a novel DNN based COA that aims to reconstruct the visual information of encrypted images. The effectiveness of the proposed attack is evaluated under two encryption key conditions same encryption key, and different encryption keys. The results show that the proposed attack can recover the visual information of the encrypted images if images are encrypted under same encryption key. Otherwise, the pixel based image encryption method has robustness against COA.


On Meta Distribution and Local Delay for Cache Enabled Networks with Random DTX Analysis and Optimization. A fine grained analysis of the cache enabled networks is crucial for system design. In this paper, we focus on the meta distribution of the signal to interference ratio (SIR) for the cache enabled networks where the locations of the base stations (BSs) are modeled as a Poisson point process (PPP). With the application of the random caching and the random discontinuous transmission (DTX) schemes, we derive the moments of the conditional successful transmission probability (STP), the exact meta distribution and its beta approximation by utilizing stochastic geometry. The closed form expressions of the mean and variance of the local delay (i.e., the network jitter) are also derived. We then consider the maximization of the mean STP and the minimization of the average system transmission delay by jointly optimizing the caching probability and the BS active probability. Finally, the numerical results demonstrate the superiority of the proposed optimization schemes over the existing caching strategies and reveal the impacts of the key network parameters on the cache enabled networks in terms of mean STP, STP variance, meta distribution, mean local delay and network jitter.


What's Live? Understanding Distributed Consensus. Distributed consensus algorithms such as Paxos have been studied extensively. They all use the same definition of safety. Liveness is especially important in practice despite well known theoretical impossibility results. However, many different liveness properties and assumptions have been stated, and there are no systematic comparisons for better understanding of these properties. This paper systematically studies and compares different liveness properties stated for over 30 prominent consensus algorithms and variants. We introduce a precise high level language and formally specify these properties in the language. We then create a hierarchy of liveness properties combining two hierarchies of the assumptions used and a hierarchy of the assertions made, and compare the strengths and weaknesses of algorithms that ensure these properties. Our formal specifications and systematic comparisons led to the discovery of a range of problems in various stated liveness properties, from too weak assumptions for which no liveness assertions can hold, to too strong assumptions making it trivial to achieve the assertions. We also developed TLA specifications of these liveness properties, and we use model checking of execution steps to illustrate liveness patterns for Paxos.


On the complexity of finding large odd induced subgraphs and odd colorings. We study the complexity of the problems of finding, given a graph G , a largest induced subgraph of G with all degrees odd (called an odd subgraph), and the smallest number of odd subgraphs that partition V(G) . We call these parameters sf mos (G) and chi sf odd (G) , respectively. We prove that deciding whether chi sf odd (G) leq q is polynomial time solvable if q leq 2 , and NP complete otherwise. We provide algorithms in time 2 O( sf rw ) cdot n O(1) and 2 O(q cdot sf rw ) cdot n O(1) to compute sf mos (G) and to decide whether chi sf odd (G) leq q on n vertex graphs of rank width at most sf rw , respectively, and we prove that the dependency on rank width is asymptotically optimal under the ETH. Finally, we give some tight bounds for these parameters on restricted graph classes or in relation to other parameters.


On Secondary Atomization and blockage of surrogate cough droplets in single and multi layer face masks. By now it is well understood that the usage of facemasks provides protection from transmission of viral loads through exhalation and inhalation of respiratory droplets. Therefore, during the current Covid 19 pandemic the usage of face masks is strongly recommended by health officials. Although three layer masks are generally advised for usage, many commonly available or homemade masks contain only single and double layers. In this study, we show through detailed physics based analyses and high speed imaging that high momentum cough droplets on impingement on single and double layer masks can lead to significant partial penetration and more importantly atomization into numerous much smaller daughter droplets, thereby increasing the total population of the aerosol, which can remain suspended for a longer time. The possibility of secondary atomization of high momentum cough droplets due to impingement, hydrodynamic focusing and extrusion through the microscale pores in the fibrous network of the mask has not been explored before. However, this unique mode of aerosol generation poses a finite risk of infection as shown in this work. We also demonstrate that in single layer masks close to 70 of a given droplet volume is atomized and only 30 is trapped within the fibers. The entrapped volume is close to 90 for double layer masks which still allows some atomization into smaller droplets. We however found that a triple layer surgical mask permits negligible penetration and hence should be effective in preventing disease transmission.


CR submanifolds of the nearly K " ahler mathbb S 3 times mathbb S 3 characterised by properties of the almost product structure. In a previous paper, the authors together with L. Vrancken initiated the study of 3 dimensional CR submanifolds of the nearly K " ahler homogeneous mathbb S 3 times mathbb S 3 . As is shown by Butruille this is one of only four homogeneous 6 dimensional nearly K "ahler manifolds. Besides its almost complex structure J it also admits a canonical almost product structure P . Along a 3 dimensional CR submanifold the tangent space of mathbb S 3 times mathbb S 3 can be naturally split as the orthogonal sum of three 2 dimensional vector bundles mathcal D 1 , mathcal D 2 and mathcal D 3 . We study the CR submanifolds in relation to the behavior of the almost product structure on these vector bundles.


Reconstruction of the collision kernel in the nonlinear Boltzmann equation. We consider an inverse problem for the Boltzmann equation with nonlinear collision operator in dimensions n geq 2 . We show that the kinetic collision kernel can be uniquely determined from the incoming to outgoing mappings on the boundary of the domain provided that the kernel satisfies a monotonicity condition. Furthermore, a reconstruction formula is also derived. The key methodology is based on the higher order linearization scheme to reduce a nonlinear equation into simpler linear equations by introducing multiple small parameters into the original equation.


Critical Thinking for Language Models. This paper takes a first step towards a critical thinking curriculum for neural auto regressive language models. We introduce a synthetic corpus of deductively valid arguments, and generate artificial argumentative texts to train and evaluate GPT 2. Significant transfer learning effects can be observed Training a model on three simple core schemes allows it to accurately complete conclusions of different, and more complex types of arguments, too. The language models generalize the core argument schemes in a correct way. Moreover, we obtain consistent and promising results for NLU benchmarks. In particular, pre training on the argument schemes raises zero shot accuracy on the GLUE diagnostics by up to 15 percentage points. The findings suggest that intermediary pre training on texts that exemplify basic reasoning abilities (such as typically covered in critical thinking textbooks) might help language models to acquire a broad range of reasoning skills. The synthetic argumentative texts presented in this paper are a promising starting point for building such a "critical thinking curriculum for language models."


A variation of Broyden Class methods using Householder adaptive transforms. In this work we introduce and study novel Quasi Newton minimization methods based on a Hessian approximation Broyden Class textit type updating scheme, where a suitable matrix tilde B k is updated instead of the current Hessian approximation B k . We identify conditions which imply the convergence of the algorithm and, if exact line search is chosen, its quadratic termination. By a remarkable connection between the projection operation and Krylov spaces, such conditions can be ensured using low complexity matrices tilde B k obtained projecting B k onto algebras of matrices diagonalized by products of two or three Householder matrices adaptively chosen step by step. Extended experimental tests show that the introduction of the adaptive criterion, which theoretically guarantees the convergence, considerably improves the robustness of the minimization schemes when compared with a non adaptive choice moreover, they show that the proposed methods could be particularly suitable to solve large scale problems where L BFGS performs poorly.


RDF 1.1 Knowledge Representation and Data Integration Language for the Web. Resource Description Framework (RDF) can seen as a solution in today's landscape of knowledge representation research. An RDF language has symmetrical features because subjects and objects in triples can be interchangeably used. Moreover, the regularity and symmetry of the RDF language allow knowledge representation that is easily processed by machines, and because its structure is similar to natural languages, it is reasonably readable for people. RDF provides some useful features for generalized knowledge representation. Its distributed nature, due to its identifier grounding in IRIs, naturally scales to the size of the Web. However, its use is often hidden from view and is, therefore, one of the less well known of the knowledge representation frameworks. Therefore, we summarise RDF v1.0 and v1.1 to broaden its audience within the knowledge representation community. This article reviews current approaches, tools, and applications for mapping from relational databases to RDF and from XML to RDF. We discuss RDF serializations, including formats with support for multiple graphs and we analyze RDF compression proposals. Finally, we present a summarized formal definition of RDF 1.1 that provides additional insights into the modeling of reification, blank nodes, and entailments.


Protein Fold Family Recognition From Unassigned Residual Dipolar Coupling Data. Despite many advances in computational modeling of protein structures, these methods have not been widely utilized by experimental structural biologists. Two major obstacles are preventing the transition from a purely experimental to a purely computational mode of protein structure determination. The first problem is that most computational methods need a large library of computed structures that span a large variety of protein fold families, while structural genomics initiatives have slowed in their ability to provide novel protein folds in recent years. The second problem is an unwillingness to trust computational models that have no experimental backing. In this paper we test a potential solution to these problems that we have called Probability Density Profile Analysis (PDPA) that utilizes unassigned residual dipolar coupling data that are relatively cheap to acquire from NMR experiments.


D2D Assisted Beamforming for Coded Caching. Device to device (D2D) aided beamforming for coded caching is considered in finite signal to noise ratio regime. A novel beamforming scheme is proposed where the local cache content exchange among nearby users is exploited. The transmission is split into two phases local D2D content exchange and downlink transmission. In the D2D phase, users can autonomously share content with the adjacent users. The downlink phase utilizes multicast beamforming to simultaneously serve all users to fulfill the remaining content requests. We first explain the main procedure via two simple examples and then present the general formulation. Furthermore, D2D transmission scenarios and conditions useful for minimizing the overall delivery time are identified. We also investigate the benefits of using D2D transmission for decreasing the transceiver complexity of multicast beamforming. By exploiting the direct D2D exchange of file fragments, the common multicasting rate for delivering the remaining file fragments in the downlink phase is increased providing greatly enhanced overall content delivery performance.


Well posedness for energy critical nonlinear Schr "odinger equation on waveguide manifold. In this article, we utilize the scale invariant Strichartz estimate on waveguide which is developed recently by Barron cite Barron based on Bourgain Demeter l 2 decoupling method cite BD to give a unified and simpler treatment of well posedness results for energy critical nonlinear Schr "odinger equation on waveguide when the whole dimension is three and four.


Explicit approximations for option prices via Malliavin calculus for the Stochastic Verhulst volatility model. We consider explicit approximations for European put option prices within the Stochastic Verhulst model with time dependent parameters, where the volatility process follows the dynamics dV t kappa t ( theta t V t) V t dt lambda t V t dB t . Our methodology involves writing the put option price as an expectation of a Black Scholes formula, reparameterising the volatility process and then performing a number of expansions. The difficulties faced are computing a number of expectations induced by the expansion procedure explicitly. We do this by appealing to techniques from Malliavin calculus. Moreover, we deduce that our methodology extends to models with more general drift and diffusion coefficients for the volatility process. We obtain the explicit representation of the form of the error generated by the expansion procedure, and we provide sufficient ingredients in order to obtain a meaningful bound. Under the assumption of piecewise constant parameters, our approximation formulas become closed form, and moreover we are able to establish a fast calibration scheme. Furthermore, we perform a numerical sensitivity analysis to investigate the quality of our approximation formula in the Stochastic Verhulst model, and show that the errors are well within the acceptable range for application purposes.


Non wellfounded sets in homotopy type theory. Aczel's anti foundation axiom (AFA) is an alternative dual axiom to the usual axiom of foundation in set theory. This article constructs a model of AFA in homotopy type theory. Like the previous model of AFA in type theory, by Lindstr "om (1989), we use M types, but rather than forming a setoid, we identify a subtype where the identity type is the correct notion of equality. We show that this model is dual to the model previously described in the HoTT book being the final coalgebra, as opposed to the initial algebra, of the powerset operation. The results presented here are being formalised in Agda as part of a bigger project of formalising set theory on the basis of homotopy type theory. The development repository can be found at https git.app.uib.no hott hott set theory and the project has homepage https hakon.gylterud.net research iterative .


Cohen Macaulay modules over the plane curve singularity of type T 36 . For a wide class of Cohen Macaulay modules over the local ring of the plane curve singularity of type T 36 we describe explicitly the corresponding matrix factorizations. The calculations are based on the technique of matrix problems, in particular, representations of bunches of chains.


On the regularity of Ricci flows coming out of metric spaces. We consider smooth, not necessarily complete, Ricci flows, (M,g(t)) t in (0,T) with mathrm Ric (g(t)) geq 1 and mathrm Rm (g(t)) leq c t for all t in (0 ,T) coming out of metric spaces (M,d 0) in the sense that (M,d(g(t)), x 0) to (M,d 0, x 0) as t searrow 0 in the pointed Gromov Hausdorff sense. In the case that B g(t) (x 0,1) Subset M for all t in (0,T) and d 0 is generated by a smooth Riemannian metric in distance coordinates, we show using Ricci harmonic map heat flow, that there is a corresponding smooth solution tilde g(t) t in (0,T) to the delta Ricci DeTurck flow on an Euclidean ball mathbb B r (p 0) subset mathbb R n , which can be extended to a smooth solution defined for t in 0,T) . We further show, that this implies that the original solution g can be extended to a smooth solution on B d 0 (x 0,r 2) for t in 0,T) , in view of the method of Hamilton.


ALET (Automated Labeling of Equipment and Tools) A Dataset, a Baseline and a Usecase for Tool Detection in the Wild. Robots collaborating with humans in realistic environments will need to be able to detect the tools that can be used and manipulated. However, there is no available dataset or study that addresses this challenge in real settings. In this paper, we fill this gap by providing an extensive dataset (METU ALET) for detecting farming, gardening, office, stonemasonry, vehicle, woodworking and workshop tools. The scenes correspond to sophisticated environments with or without humans using the tools. The scenes we consider introduce several challenges for object detection, including the small scale of the tools, their articulated nature, occlusion, inter class invariance, etc. Moreover, we train and compare several state of the art deep object detectors (including Faster R CNN, Cascade R CNN, RepPoint and RetinaNet) on our dataset. We observe that the detectors have difficulty in detecting especially small scale tools or tools that are visually similar to parts of other tools. This in turn supports the importance of our dataset and paper. With the dataset, the code and the trained models, our work provides a basis for further research into tools and their use in robotics applications.


A distribution dependent analysis of open field test movies. Although the open field test has been widely used, its reliability and compatibility are frequently questioned. Although many indicating parameters were introduced for this test, they did not take data distributions into consideration. This oversight may have caused the problems mentioned above. Here, an exploratory approach for the analysis of video records of tests of elderly mice was taken that described the distributions using the least number of parameters. First, the locomotor activity of the animals was separated into two clusters dash and search. The accelerations found in each of the clusters were distributed normally. The speed and the duration of the clusters exhibited an exponential distribution. Although the exponential model includes a single parameter, an additional parameter that indicated instability of the behaviour was required in many cases for fitting to the data. As this instability parameter exhibited an inverse correlation with speed, the function of the brain that maintained stability would be required for a better performance. According to the distributions, the travel distance, which has been regarded as an important indicator, was not a robust estimator of the animals' condition.


Numeric solution of systems of nonlinear Volterra integral equations of the first kind with discontinuous kernels. The systems of nonlinear Volterra integral equations of the first kind with jump discontinuous kernels are studied. The iterative numerical method for such nonlinear systems is proposed. Proposed method employs the modified Newton Kantorovich iterative process for the integral operators linearization. On each step of the iterative process the linear system of integral equations is obtained and resolved using the discontinuity driven piecewise constant approximation of the exact solution. The convergence theorem is proved. The polynomial collocation technique is also applied to solve such systems as the alternative method. The accuracy of proposed numerical methods is discussed. The model examples are examined in order to demonstrate the efficiency of proposed numerical methods and illustrate the constructed theory.


Stabilized explicit Adams type methods. In this work we present explicit Adams type multistep methods with extended stability interval, which are analogous to the stabilized Chebyshev Runge Kutta methods. It is proved that for any k geq 1 there exists an explicit k step Adams type method of order one with stability interval of length 2k . The first order methods have remarkably simple expressions for their coefficients and error constant. A damped modification of these methods is derived. In general case to construct a k step method of order p it is necessary to solve a constrained optimization problem in which the objective function and p constraints are second degree polynomials in k variables. We calculate higher order methods up to order six numerically and perform some numerical experiments to confirm the accuracy and stability of the methods.


Catch Me If You Can Using Power Analysis to Identify HPC Activity. Monitoring users on large computing platforms such as high performance computing (HPC) and cloud computing systems is non trivial. Utilities such as process viewers provide limited insight into what users are running, due to granularity limitation, and other sources of data, such as system call tracing, can impose significant operational overhead. However, despite technical and procedural measures, instances of users abusing valuable HPC resources for personal gains have been documented in the past cite hpcbitmine , and systems that are open to large numbers of loosely verified users from around the world are at risk of abuse. In this paper, we show how electrical power consumption data from an HPC platform can be used to identify what programs are executed. The intuition is that during execution, programs exhibit various patterns of CPU and memory activity. These patterns are reflected in the power consumption of the system and can be used to identify programs running. We test our approach on an HPC rack at Lawrence Berkeley National Laboratory using a variety of scientific benchmarks. Among other interesting observations, our results show that by monitoring the power consumption of an HPC rack, it is possible to identify if particular programs are running with precision up to and recall of 95 even in noisy scenarios.


Kobayashi non hyperbolicity of Calabi Yau manifolds via mirror symmetry. A compact complex manifold is Kobayashi non hyperbolic if there exists an entire curve on it. Using mirror symmetry we establish that there are (possibly singular) elliptic or rational curves on any Calabi Yau manifold X , whose mirror dual check X exists and is not "Hodge degenerate", therefore proving that X is Kobayashi non hyperbolic. We are not aware of any higher dimensional simply connected Calabi Yau manifolds that satisfy the "Hodge degenerate" condition.


Learning Fast Adaptation with Meta Strategy Optimization. The ability to walk in new scenarios is a key milestone on the path toward real world applications of legged robots. In this work, we introduce Meta Strategy Optimization, a meta learning algorithm for training policies with latent variable inputs that can quickly adapt to new scenarios with a handful of trials in the target environment. The key idea behind MSO is to expose the same adaptation process, Strategy Optimization (SO), to both the training and testing phases. This allows MSO to effectively learn locomotion skills as well as a latent space that is suitable for fast adaptation. We evaluate our method on a real quadruped robot and demonstrate successful adaptation in various scenarios, including sim to real transfer, walking with a weakened motor, or climbing up a slope. Furthermore, we quantitatively analyze the generalization capability of the trained policy in simulated environments. Both real and simulated experiments show that our method outperforms previous methods in adaptation to novel tasks.


The Poisson saturation of coregular submanifolds. This paper is devoted to coregular submanifolds in Poisson geometry. We show that their local Poisson saturation is an embedded Poisson submanifold, and we give a normal form for this Poisson submanifold around the coregular submanifold. This result recovers the normal form around Poisson transversals, and it yields Poisson versions of some normal form rigidity results around constant rank submanifolds in symplectic geometry. As an application, we prove a uniqueness result concerning coisotropic embeddings of Dirac manifolds in Poisson manifolds. We also show how our results generalize to the setting of coregular submanifolds in Dirac geometry.


A Novel Task Oriented Text Corpus in Silent Speech Recognition and its Natural Language Generation Construction Method. Millions of people with severe speech disorders around the world may regain their communication capabilities through techniques of silent speech recognition (SSR). Using electroencephalography (EEG) as a biomarker for speech decoding has been popular for SSR. However, the lack of SSR text corpus has impeded the development of this technique. Here, we construct a novel task oriented text corpus, which is utilized in the field of SSR. In the process of construction, we propose a task oriented hybrid construction method based on natural language generation algorithm. The algorithm focuses on the strategy of data to text generation, and has two advantages including linguistic quality and high diversity. These two advantages use template based method and deep neural networks respectively. In an SSR experiment with the generated text corpus, analysis results show that the performance of our hybrid construction method outperforms the pure method such as template based natural language generation or neural natural language generation models.


Reinforced Wasserstein Training for Severity Aware Semantic Segmentation in Autonomous Driving. Semantic segmentation is important for many real world systems, e.g., autonomous vehicles, which predict the class of each pixel. Recently, deep networks achieved significant progress w.r.t. the mean Intersection over Union (mIoU) with the cross entropy loss. However, the cross entropy loss can essentially ignore the difference of severity for an autonomous car with different wrong prediction mistakes. For example, predicting the car to the road is much more servery than recognize it as the bus. Targeting for this difficulty, we develop a Wasserstein training framework to explore the inter class correlation by defining its ground metric as misclassification severity. The ground metric of Wasserstein distance can be pre defined following the experience on a specific task. From the optimization perspective, we further propose to set the ground metric as an increasing function of the pre defined ground metric. Furthermore, an adaptively learning scheme of the ground matrix is proposed to utilize the high fidelity CARLA simulator. Specifically, we follow a reinforcement alternative learning scheme. The experiments on both CamVid and Cityscapes datasets evidenced the effectiveness of our Wasserstein loss. The SegNet, ENet, FCN and Deeplab networks can be adapted following a plug in manner. We achieve significant improvements on the predefined important classes, and much longer continuous playtime in our simulator.


Spatial Reuse in IEEE 802.11ax WLANs. Dealing with massively crowded scenarios is one of the most ambitious goals of next generation wireless networks. With this goal in mind, the IEEE 802.11ax amendment includes, among other techniques, the Spatial Reuse (SR) operation. The SR operation encompasses a set of unprecedented techniques that are expected to significantly boost Wireless Local Area Networks (WLANs) performance in dense environments . In particular, the main objective of the SR operation is to maximize the utilization of the medium by increasing the number of parallel transmissions. Nevertheless, due to the novelty of the operation, its performance gains remain largely unknown. In this paper, we first provide a gentle tutorial of the SR operation included in the IEEE 802.11ax. Then, we analytically model SR and delve into the new kinds of MAC level interactions among network devices. Finally, we provide a simulation driven analysis to showcase the potential of SR in various deployments, comprising different network densities and traffic loads. Our results show that the SR operation can significantly improve the medium utilization, especially in scenarios under high interference conditions. Moreover, our results demonstrate the non intrusive design characteristic of SR, which allows enhancing the number of simultaneous transmissions with a low impact on the environment. We conclude the paper by giving some thoughts on the main challenges and limitations of the IEEE 802.11ax SR operation, including research gaps and future directions.


Unsupervised Domain Adaptation by Uncertain Feature Alignment. Unsupervised domain adaptation (UDA) deals with the adaptation of models from a given source domain with labeled data to an unlabeled target domain. In this paper, we utilize the inherent prediction uncertainty of a model to accomplish the domain adaptation task. The uncertainty is measured by Monte Carlo dropout and used for our proposed Uncertainty based Filtering and Feature Alignment (UFAL) that combines an Uncertain Feature Loss (UFL) function and an Uncertainty Based Filtering (UBF) approach for alignment of features in Euclidean space. Our method surpasses recently proposed architectures and achieves state of the art results on multiple challenging datasets. Code is available on the project website.


Can We Learn Heuristics For Graphical Model Inference Using Reinforcement Learning?. Combinatorial optimization is frequently used in computer vision. For instance, in applications like semantic segmentation, human pose estimation and action recognition, programs are formulated for solving inference in Conditional Random Fields (CRFs) to produce a structured output that is consistent with visual features of the image. However, solving inference in CRFs is in general intractable, and approximation methods are computationally demanding and limited to unary, pairwise and hand crafted forms of higher order potentials. In this paper, we show that we can learn program heuristics, i.e., policies, for solving inference in higher order CRFs for the task of semantic segmentation, using reinforcement learning. Our method solves inference tasks efficiently without imposing any constraints on the form of the potentials. We show compelling results on the Pascal VOC and MOTS datasets.


Nanoscale detection of metastable states in porous and granular media. Microseismicity in subsurface geologic environments, such as sandstone gas reservoirs, is expected in the presence of liquid or gas injection. Although difficult to predict, the potential for microseismic events is important to field scale projects, such as geologic storage of CO2 whereby the gas is injected into natural sandstone formations. We conjecture that a primary factor causing microseismicity is the existence of metastable states in granular porous medium and provide experimental evidence for its validity. External perturbation trigger abrupt relaxation events, which, with a certain probability, can grow into macroscopic microseismic events. Here the triggering perturbation is produced by cooling to a cryogenic temperature. As the "sensor" for the abrupt relaxation events we use thin Al films deposited on the sandstone surface. We show that as the temperature is varied, the films' resistance exhibits sharp jumps, which we attribute to mechanical restructuring or microfractures in the fabric of the sandstone. We checked the superconducting characteristics of the Al thin films on the sandstone and found microwave induced Shapiro steps on the voltage current diagrams. Such quantized steps provide indicates that the film is made of a network of nanobridges, which makes it ever more sensitive to abrupt relaxation events occurring in the substrate, i.e., in the underlying sandstone.


Interplay between diffusion anisotropy and mesh skewness in Hybrid High Order schemes. We explore the effects of mesh skewness on the accuracy of standard Hybrid High Order (HHO) schemes for anisotropic diffusion equations. After defining a notion of regular skewed mesh sequences, which allows, e.g., for elements that become more and more elongated during mesh refinement, we establish an error estimate in which we precisely track the dependency of the local multiplicative constants in terms of the diffusion tensor and mesh skewness. This dependency makes explicit an interplay between the local diffusion properties and the distortion of the elements. We then provide several numerical results to assess the practical convergence properties of HHO for highly anisotropic diffusion or highly distorted meshes. These tests indicate a more robust behaviour than the theoretical estimate indicates.


Cascaded Rotational Doppler Effect. We propose and substantiate experimentally the cascaded rotational Doppler effect for interactions of spinning objects with light carrying angular momentum. Based on the law of parity conservation for electromagnetic interactions, we reveal that the frequency shift can be doubled through cascading two rotational Doppler processes which are mirror imaged to each other. This effect is further experimentally verified with a rotating half wave plate, and the mirror imaging process is achieved by reflecting the frequency shifted circularly polarized wave upon a mirror with a quarter wave plate in front of it. The mirror symmetry and thus parity conservation guarantees that this doubled frequency shift can be further multiplied with more successive mirror imaging conjugations, with photons carrying spin and or orbital angular momentum, which could be widely applied for detection of rotating systems ranging from molecules to celestial bodies with high precision and sensitivity.


On the striated regularity for the 2D anisotropic Boussinesq system. In this paper, we investigate the global existence and uniqueness of strong solutions to 2D Boussinesq system with anisotropic thermal diffusion or anisotropic viscosity and with striated initial data. Using the key idea of Chemin to solve 2 D vortex patch of ideal fluid, namely the striated regularity can help to bound the gradient of the velocity, we can prove the global well posedness of the Boussinesq system with anisotropic thermal diffusion with initial vorticity being discontinuous across some smooth interface. In the case of an anisotropic horizontal viscosity we can study the propagation of the striated regularity for the smooth temperature patches problem.


Regular partitions of gentle graphs. Szemeredi's Regularity Lemma is a very useful tool of extremal combinatorics. Recently, several refinements of this seminal result were obtained for special, more structured classes of graphs. We survey these results in their rich combinatorial context. In particular, we stress the link to the theory of (structural) sparsity, which leads to alternative proofs, refinements and solutions of open problems. It is interesting to note that many of these classes present challenging problems. Nevertheless, from the point of view of regularity lemma type statements, they appear as "gentle" classes.


Joint Optimization of Service Caching Placement and Computation Offloading in Mobile Edge Computing Systems. In mobile edge computing (MEC) systems, edge service caching refers to pre storing the necessary programs for executing computation tasks at MEC servers. At resource constrained edge servers, service caching placement is in general a complicated problem that highly correlates to the offloading decisions of computation tasks. In this paper, we consider a single edge server that assists a mobile user (MU) in executing a sequence of computation tasks. In particular, the MU can run its customized programs at the edge server, while the server can selectively cache the previously generated programs for future service reuse. To minimize the computation delay and energy consumption of the MU, we formulate a mixed integer non linear programming (MINLP) that jointly optimizes the service caching placement, computation offloading, and system resource allocation. We first derive the closed form expressions of the optimal resource allocation, and subsequently transform the MINLP into an equivalent pure 0 1 integer linear programming (ILP). To further reduce the complexity in solving the ILP, we exploit the underlying structures in optimal solutions, and devise a reduced complexity alternating minimization technique to update the caching placement and offloading decision alternately. Simulations show that the proposed techniques achieve substantial resource savings compared to other representative benchmark methods.


On Eagleson's theorem in the non stationary setup. The classical Eagleson's theorem states that if appropriately normalized Birkhoff sums generated by a measurable function and a probability preserving transformation converge in distribution, then they also converge in distribution with respect to any probability measure which is absolutely continuous with respect to the invariant one. In this short note we prove several versions of Eagleson's theorem for some classes of non stationary stochastic processes which satisfy certain type of decay of correlations.


Convergence of stationary radial basis function schemes for evolution equations. We establish precise convergence rates for semi discrete schemes based on Radial Basis Function interpolation, as well as approximate approximation results for such schemes. Our schemes use stationary interpolation on regular grids, with basis functions from a general class of functions generalizing one introduced earlier by M. Buhmann. Our results apply to parabolic equations such as the heat equation or Kolmogorov Fokker Planck equations associated to L 'evy processes, but also to certain hyperbolic equations.


Reconstructing a single head formula to facilitate logical forgetting. Logical forgetting may take exponential time in general, but it does not when its input is a single head propositional definite Horn formula. Single head means that no variable is the head of multiple clauses. An algorithm to make a formula single head if possible is shown. It improves over a previous one by being complete it always finds a single head formula equivalent to the given one if any.


Offline Reinforcement Learning from Images with Latent Space Models. Offline reinforcement learning (RL) refers to the problem of learning policies from a static dataset of environment interactions. Offline RL enables extensive use and re use of historical datasets, while also alleviating safety concerns associated with online exploration, thereby expanding the real world applicability of RL. Most prior work in offline RL has focused on tasks with compact state representations. However, the ability to learn directly from rich observation spaces like images is critical for real world applications such as robotics. In this work, we build on recent advances in model based algorithms for offline RL, and extend them to high dimensional visual observation spaces. Model based offline RL algorithms have achieved state of the art results in state based tasks and have strong theoretical guarantees. However, they rely crucially on the ability to quantify uncertainty in the model predictions, which is particularly challenging with image observations. To overcome this challenge, we propose to learn a latent state dynamics model, and represent the uncertainty in the latent space. Our approach is both tractable in practice and corresponds to maximizing a lower bound of the ELBO in the unknown POMDP. In experiments on a range of challenging image based locomotion and manipulation tasks, we find that our algorithm significantly outperforms previous offline model free RL methods as well as state of the art online visual model based RL methods. Moreover, we also find that our approach excels on an image based drawer closing task on a real robot using a pre existing dataset. All results including videos can be found online at https sites.google.com view lompo .


Agent based (BDI) modeling for automation of penetration testing. Penetration testing (or pentesting) is one of the widely used and important methodologies to assess the security of computer systems and networks. Traditional pentesting relies on the domain expert knowledge and requires considerable human effort all of which incurs a high cost. The automation can significantly improve the efficiency, availability and lower the cost of penetration testing. Existing approaches to the automation include those which map vulnerability scanner results to the corresponding exploit tools, and those addressing the pentesting as a planning problem expressed in terms of attack graphs. Due to mainly non interactive processing, such solutions can deal effectively only with static and simple targets. In this paper, we propose an automated penetration testing approach based on the belief desire intention (BDI) agent model, which is central in the research on agent based processing in that it deals interactively with dynamic, uncertain and complex environments. Penetration testing actions are defined as a series of BDI plans and the BDI reasoning cycle is used to represent the penetration testing process. The model is extensible and new plans can be added, once they have been elicited from the human experts. We report on the results of testing of proof of concept BDI based penetration testing tool in the simulated environment.


Learning Probabilistic Multi Modal Actor Models for Vision Based Robotic Grasping. Many previous works approach vision based robotic grasping by training a value network that evaluates grasp proposals. These approaches require an optimization process at run time to infer the best action from the value network. As a result, the inference time grows exponentially as the dimension of action space increases. We propose an alternative method, by directly training a neural density model to approximate the conditional distribution of successful grasp poses from the input images. We construct a neural network that combines Gaussian mixture and normalizing flows, which is able to represent multi modal, complex probability distributions. We demonstrate on both simulation and real robot that the proposed actor model achieves similar performance compared to the value network using the Cross Entropy Method (CEM) for inference, on top down grasping with a 4 dimensional action space. Our actor model reduces the inference time by 3 times compared to the state of the art CEM method. We believe that actor models will play an important role when scaling up these approaches to higher dimensional action spaces.


Response Selection for Multi Party Conversations with Dynamic Topic Tracking. While participants in a multi party multi turn conversation simultaneously engage in multiple conversation topics, existing response selection methods are developed mainly focusing on a two party single conversation scenario. Hence, the prolongation and transition of conversation topics are ignored by current methods. In this work, we frame response selection as a dynamic topic tracking task to match the topic between the response and relevant conversation context. With this new formulation, we propose a novel multi task learning framework that supports efficient encoding through large pretrained models with only two utterances at once to perform dynamic topic disentanglement and response selection. We also propose Topic BERT an essential pretraining step to embed topic information into BERT with self supervised learning. Experimental results on the DSTC 8 Ubuntu IRC dataset show state of the art results in response selection and topic disentanglement tasks outperforming existing methods by a good margin.


Load balancing mechanisms in fog computing A systematic review. Recently, fog computing has been introduced as a modern distributed paradigm and complement to cloud computing to provide services. Fog system extends storing and computing to the edge of the network, which can solve the problem about service computing of the delay sensitive applications remarkably besides enabling the location awareness and mobility support. Load balancing is an important aspect of fog networks that avoids a situation with some under loaded or overloaded fog nodes. Quality of Service (QoS) parameters such as resource utilization, throughput, cost, response time, performance, and energy consumption can be improved with load balancing. In recent years, some researches in load balancing techniques in fog networks have been carried out, but there is no systematic review to consolidate these studies. This article reviews the load balancing mechanisms systematically in fog computing in four classifications, including approximate, exact, fundamental, and hybrid methods (published between 2013 and August 2020). Also, this article investigates load balancing metrics with all advantages and disadvantages related to chosen load balancing mechanisms in fog networks. The evaluation techniques and tools applied for each reviewed study are explored as well. Additionally, the essential open challenges and future trends of these mechanisms are discussed.


Expected difference of order statistics in terms of hazard rate. If the hazard rate frac F'(x) 1 F(x) is increasing (in x ), then mathbb E , ( X n n X n 1 n ) is decreasing (in n ), and moreover, completely monotone.


Product Image Recognition with Guidance Learning and Noisy Supervision. This paper considers recognizing products from daily photos, which is an important problem in real world applications but also challenging due to background clutters, category diversities, noisy labels, etc. We address this problem by two contributions. First, we introduce a novel large scale product image dataset, termed as Product 90. Instead of collecting product images by labor and time intensive image capturing, we take advantage of the web and download images from the reviews of several e commerce websites where the images are casually captured by consumers. Labels are assigned automatically by the categories of e commerce websites. Totally the Product 90 consists of more than 140K images with 90 categories. Due to the fact that consumers may upload unrelated images, it is inevitable that our Product 90 introduces noisy labels. As the second contribution, we develop a simple yet efficient textit guidance learning (GL) method for training convolutional neural networks (CNNs) with noisy supervision. The GL method first trains an initial teacher network with the full noisy dataset, and then trains a target student network with both large scale noisy set and small manually verified clean set in a multi task manner. Specifically, in the stage of student network training, the large scale noisy data is supervised by its guidance knowledge which is the combination of its given noisy label and the soften label from the teacher network. We conduct extensive experiments on our Products 90 and public datasets, namely Food101, Food 101N, and Clothing1M. Our guidance learning method achieves performance superior to state of the art methods on these datasets.


PGST a Polyglot Gender Style Transfer method. Recent developments in Text Style Transfer have led this field to be more highlighted than ever. The task of transferring an input's style to another is accompanied by plenty of challenges (e.g., fluency and content preservation) that need to be taken care of. In this research, we introduce PGST, a novel polyglot text style transfer approach in the gender domain, composed of different constitutive elements. In contrast to prior studies, it is feasible to apply a style transfer method in multiple languages by fulfilling our method's predefined elements. We have proceeded with a pre trained word embedding for token replacement purposes, a character based token classifier for gender exchange purposes, and a beam search algorithm for extracting the most fluent combination. Since different approaches are introduced in our research, we determine a trade off value for evaluating different models' success in faking our gender identification model with transferred text. To demonstrate our method's multilingual applicability, we applied our method on both English and Persian corpora and ended up defeating our proposed gender identification model by 45.6 and 39.2 , respectively. While this research's focus is not limited to a specific language, our obtained evaluation results are highly competitive in an analogy among English state of the art methods.


Inclusion and validation of electronic stopping in the open source LAMMPS code. Electronic stopping (ES) of energetic atoms is not taken care of by the interatomic potentials used in molecular dynamics (MD) simulations when simulating collision cascades. The Lindhard Scharff (LS) formula for electronic stopping is therefore included as a drag term for energetic atoms in the open source large scale atomic molecular massively parallel simulator (LAMMPS) code. In order to validate the ES implementation, MD simulations of collision cascades at primary knock on atom (PKA) energies of 5, 10 and 20 keV are carried out in W and Fe in 100 random directions. The total ES losses from the MD simulations show energy straggling due to the stochastic nature of the phenomena. Thelosses due to ES are compared with that predicted by theNorgett Robinson Torrens (NRT) model to validate our implementation. It is seenthat the root mean square deviation of ES losses from the MD implementation is around 10 for both W and Fe compared to the NRT model. The velocity threshold above which electronic stopping is important is explored. The effect of ES on the number of defects in collision cascades is presented for Fe and W.


Comparison of Casimir forces and electrostatics from conductive SiC Si C and Ru surfaces. Comprehensive knowledge of Casimir forces and associated electrostatics from conductive SiC and Ru surfaces can be essential in diverse areas ranging from micro nanodevice operation in harsh environments to multilayer coatings in advanced lithography technologies. Hence, the Casimir force was measured between an Au coated microsphere and N doped SiC samples with Si and C terminated faces, and the results were compared with the measurements using the same microsphere and a metallic Ruthenium surface. Electrostatic calibration showed that the Si and C faces behave differently with a nearly 0.6 0.7 V difference in the contact potentials V0Si C. We attribute this to a higher incorporation of N on the C terminated face in the near surface region resulting in the formation of NOx and an increased work function compared to the Si terminated surface which is in agreement with x ray photoelectron spectroscopy data. Notably, the contact potential of the SiC C face was closer to the metallic Ru Au system. However, the measured optical properties of the SiC Si C terminated surfaces with ellipsometry did not show any substantial differences indicating that the effective depth of the Si C terminating surface layers are significantly smaller than the photon penetration depth not leading to any differences in the calculated forces via Lifshitz theory. Nonetheless, the measured Casimir forces, after compensation of the electrostatics contributions, showed differences between the Si C faces, whereas the comparison with the Lifshitz theory prediction shows better agreement for the SiC Si face. Finally, comparison of the Casimir forces below 40 nm separations between the SiC Si C and Ru surfaces indicated that the short range roughness effects on the Casimir force increase in magnitude with increasing metallic behavior of the plate surface.


Discrete SIR model on a homogeneous tree and its continuous limit. This paper concerns a stochastic Susceptible Infected Recovered (SIR) model for the spread of infectious disease on a homogeneous tree. Under general assumptions on infection rates and recovery times we derive the distribution of the time it takes for a susceptible individual to get infected in terms of a solution of a non linear integral equation. Then we study the discrete model in the limit when the vertex degree of the tree tends to infinity, and the infection rates are appropriately scaled. We show that in this limit our result for the discrete model implies an equation for the susceptible population compartment. This is a master equation in the sense that both the infectious and the recovered compartments can be explicitly expressed in terms of its solution. In other words, the master equation implies a continuous SIR model for the joint time evolution of all three population compartments. The obtained continuous SIR model can be naturally interpreted in terms of interaction between compartments and provides a flexible technical framework for modeling the spread of infectious disease in a homogeneous population.


SNF Serverless Network Functions. It is increasingly common to outsource network functions (NFs) to the cloud. However, no cloud providers offer NFs as a Service (NFaaS) that allows users to run custom NFs. Our work addresses how a cloud provider can offer NFaaS. We use the emerging serverless computing paradigm as it has the right building blocks usage based billing, convenient event driven programming model and automatic compute elasticity. Towards this end, we identify two core limitations of existing serverless platforms to support demanding stateful NFs coupling of the billing and work assignment granularities, and state sharing via an external store. We develop a novel NFaaS framework, SNF, that overcomes these issues using two ideas. SNF allocates work at the granularity of flowlets observed in network traffic, whereas billing and programming occur on the basis of packets. SNF embellishes serverless platforms with ephemeral state that lasts for the duration of the flowlet and supports high performance state operations between compute units in a peer to peer manner. We present algorithms for work allocation and state maintenance, and demonstrate that our SNF prototype dynamically adapts compute resources for various stateful NFs based on traffic demand at very fine time scales, with minimal overheads.


Some more twisted Hilbert spaces. We provide three new examples of twisted Hilbert spaces by considering properties that are "close" to Hilbert. We denote them Z( mathcal J) , Z( mathcal S 2) and Z( mathcal T s 2) . The first space is asymptotically Hilbertian but not weak Hilbert. On the opposite side, Z( mathcal S 2) and Z( mathcal T s 2) are not asymptotically Hilbertian. Moreover, the space Z( mathcal T s 2) is a HAPpy space and the technique to prove it gives a "twisted" version of a theorem of Johnson and Szankowski (Ann. of Math. 176 1987 2001, 2012). This is, we can construct a nontrivial twisted Hilbert space such that the isomorphism constant from its n dimensional subspaces to ell 2 n grows to infinity as slowly as we wish when n to infty .


Class incremental learning survey and performance evaluation on image classification. For future learning systems incremental learning is desirable, because it allows for efficient resource usage by eliminating the need to retrain from scratch at the arrival of new data reduced memory usage by preventing or limiting the amount of data required to be stored also important when privacy limitations are imposed and learning that more closely resembles human learning. The main challenge for incremental learning is catastrophic forgetting, which refers to the precipitous drop in performance on previously learned tasks after learning a new one. Incremental learning of deep neural networks has seen explosive growth in recent years. Initial work focused on task incremental learning, where a task ID is provided at inference time. Recently, we have seen a shift towards class incremental learning where the learner must discriminate at inference time between all classes seen in previous tasks without recourse to a task ID. In this paper, we provide a complete survey of existing class incremental learning methods for image classification, and in particular we perform an extensive experimental evaluation on thirteen class incremental methods. We consider several new experimental scenarios, including a comparison of class incremental methods on multiple large scale image classification datasets, investigation into small and large domain shifts, and comparison of various network architectures.


Effective team onboarding in Agile software development techniques and goals. Context It is not uncommon for a new team member to join an existing Agile software development team, even after development has started. This new team member faces a number of challenges before they are integrated into the team and can contribute productively to team progress. Ideally, each newcomer should be supported in this transition through an effective team onboarding program, although prior evidence suggests that this is challenging for many organisations. Objective We seek to understand how Agile teams address the challenge of team onboarding in order to inform future onboarding design. Method We conducted an interview survey of eleven participants from eight organisations to investigate what onboarding activities are common across Agile software development teams. We also identify common goals of onboarding from a synthesis of literature. A repertory grid instrument is used to map the contributions of onboarding techniques to onboarding goals. Results Our study reveals that a broad range of team onboarding techniques, both formal and informal, are used in practice. It also shows that particular techniques that have high contributions to a given goal or set of goals. Conclusions In presenting a set of onboarding goals to consider and an evidence based mechanism for selecting techniques to achieve the desired goals it is expected that this study will contribute to better informed onboarding design and planning. An increase in practitioner awareness of the options for supporting new team members is also an expected outcome.


Quasi Newton's method in the class gradient defined high curvature subspace. Classification problems using deep learning have been shown to have a high curvature subspace in the loss landscape equal in dimension to the number of classes. Moreover, this subspace corresponds to the subspace spanned by the logit gradients for each class. An obvious strategy to speed up optimisation would be to use Newton's method in the high curvature subspace and stochastic gradient descent in the co space. We show that a naive implementation actually slows down convergence and we speculate why this might be.


Primary ideals and their differential equations. An ideal in a polynomial ring encodes a system of linear partial differential equations with constant coefficients. Primary decomposition organizes the solutions to the PDE. This paper develops a novel structure theory for primary ideals in a polynomial ring. We characterize primary ideals in terms of PDE, punctual Hilbert schemes, relative Weyl algebras, and the join construction. Solving the PDE described by a primary ideal amounts to computing Noetherian operators in the sense of Ehrenpreis and Palamodov. We develop new algorithms for this task, and we present efficient implementations.


Additive double character sums over some structured sets and applications. We study additive double character sums over two subsets of a finite field. We show that if there is a suitable rational self map of small degree of a set D , then this set contains a large subset U for which the standard bound on the absolute value of the character sum over U and any subset C (which satisfies some restrictions on its size C ) can be improved. Examples of such suitable self maps are inversion and squaring. Then we apply this new bound to trace products and sum product equations and improve results of the first author and of Gyarmati and S 'ark "ozy.


Question Classification with Deep Contextualized Transformer. The latest work for Question and Answer problems is to use the Stanford Parse Tree. We build on prior work and develop a new method to handle the Question and Answer problem with the Deep Contextualized Transformer to manage some aberrant expressions. We also conduct extensive evaluations of the SQuAD and SwDA dataset and show significant improvement over QA problem classification of industry needs. We also investigate the impact of different models for the accuracy and efficiency of the problem answers. It shows that our new method is more effective for solving QA problems with higher accuracy


Non concave expected utility optimization with uncertain time horizon. We consider an expected utility maximization problem where the utility function is not necessarily concave and the time horizon is uncertain. We establish a necessary and sufficient condition for the optimality for general non concave utility function in a complete financial market. We show that the general concavification approach of the utility function to deal with non concavity, while being still applicable when the time horizon is a stopping time with respect to the financial market filtration, leads to sub optimality when the time horizon is independent of the financial risk, and hence can not be directly applied. For the latter case, we suggest a recursive procedure which is based on the dynamic programming principle. We illustrate our findings by carrying out a multi period numerical analysis for optimal investment problem under a convex option compensation scheme with random time horizon. We observe that the distribution of the non concave portfolio in both certain and uncertain random time horizon is right skewed with a long right tail, indicating that the investor expects frequent small losses and a few large gains from the investment. While the (certain) average time horizon portfolio at a premature stopping date is unimodal, the random time horizon portfolio is multimodal distributed which provides the investor a certain flexibility of switching between the local maximizers, depending on the market performance. The multimodal structure with multiple peaks of different heights can be explained by the concavification procedure, whereas the distribution of the time horizon has significant impact on the amplitude between the modes.


Interplay of social distancing and border restrictions for pandemics (COVID 19) via the epidemic Renormalisation Group framework. We demonstrate that the epidemic renormalisation group approach to pandemics provides an effective and simple way to investigate the dynamics of disease transmission and spreading across different regions of the world. The framework also allows for reliable projections on the impact of travel limitations and social distancing measures on global epidemic spread. We test and calibrate it on reported cases while unveiling the mechanism that governs the delay in the relative peaks of newly infected cases among different regions of the globe. We discover that social distancing measures are more effective than travel limitations across borders in delaying the epidemic peak. We further provide the link to compartmental models such as the simplistic and time honoured SIR like models. We also show how to generalise the framework to account for the interactions across several regions of the world, replacing or complementing large scale simulations.


The exceptional zero phenomenon for elliptic units. The exceptional zero phenomenon has been widely studied in the realm of p adic L functions, where the starting point lies in the foundational work of Mazur, Tate and Teitelbaum. This phenomenon also appears in the study of Euler systems, which comes as no surprise given the interaction between these two settings. When this occurs, one is led to study higher order derivatives of the Euler system in order to extract the arithmetic information which is usually encoded in the explicit reciprocity laws. In this work, we focus on the elliptic units of an imaginary quadratic field and study this exceptional zero phenomenon, proving an explicit formula relating the logarithm of a it derived elliptic unit either to special values of Katz's two variable p adic L function or to its derivatives. Further, we interpret this fact in terms of an mathcal L invariant, and relate this result to other approaches to the exceptional zero phenomenon concerning Heegner points and Beilinson Flach elements.


Nature Inspired Optimization Algorithms Challenges and Open Problems. Many problems in science and engineering can be formulated as optimization problems, subject to complex nonlinear constraints. The solutions of highly nonlinear problems usually require sophisticated optimization algorithms, and traditional algorithms may struggle to deal with such problems. A current trend is to use nature inspired algorithms due to their flexibility and effectiveness. However, there are some key issues concerning nature inspired computation and swarm intelligence. This paper provides an in depth review of some recent nature inspired algorithms with the emphasis on their search mechanisms and mathematical foundations. Some challenging issues are identified and five open problems are highlighted, concerning the analysis of algorithmic convergence and stability, parameter tuning, mathematical framework, role of benchmarking and scalability. These problems are discussed with the directions for future research.


Toric one skeletons for complexity one spaces. A complexity one space is a compact symplectic manifold (M, omega) endowed with an effective Hamiltonian action of a torus T of dimension frac 1 2 dim(M) 1 . In this note we prove that for a certain class of complexity one spaces the Poincar 'e dual of the Chern class c n 1 can be represented by a collection of frac n 2 chi(M) symplectic embedded 2 spheres, where chi(M) is the Euler characteristic of M and dim(M) 2n . We call such a collection a toric one skeleton. The classification of complexity one spaces is an important subject in symplectic geometry. A nice subcategory of those spaces are the ones which are monotone. The existence of a toric one skeleton is a useful tool to understand six dimensional monotone complexity one spaces. In particular, we will show that the existence of a toric one skeleton for such a space implies that the second Betti number of M is at most seven. This is a simple application of results by Sabatini Sepe and Lindsay Panov.


Learning to Cache Distributed Coded Caching in a Cellular Network With Correlated Demands. Design of distributed caching mechanisms is considered as an active area of research due to its promising solution in reducing data load in the backhaul link of a cellular network. In this paper, the problem of distributed content caching in a small cell Base Stations (sBSs) wireless network that maximizes the cache hit performance is considered. Most of the existing works focus on static demands, however, here, data at each sBS is considered to be correlated across time and sBSs. The caching strategy is assumed to be a weighted combination of past caching strategies. A high probability generalization guarantees on the performance of the proposed caching strategy is derived. The theoretical guarantee provides following insights on obtaining the caching strategy (i) run regret minimization at each sBS to obtain a sequence of caching strategies across time, and (ii) maximize an estimate of the bound to obtain a set of weights for the caching strategy which depends on the discrepancy. Also, theoretical guarantee on the performance of the LRFU caching strategy is derived. Further, federated learning based heuristic caching algorithm is also proposed. Finally, it is shown through simulations using Movie Lens dataset that the proposed algorithm significantly outperforms LRFU algorithm.


Equidistribution of primitive lattices in mathbb R n . We count primitive lattices of rank d inside mathbb Z n as their covolume tends to infinity, with respect to certain parameters of such lattices. These parameters include, for example, the subsapce that a lattice spans, namely its projection to the Grassmannian its homothety class and its equivalence class modulo rescaling and rotation, often referred to as a shape. We add to a prior work of Schmidt by allowing sets in the spaces of parameters that are general enough to conclude joint equidistribution of these parameters. In addition to the primitive d lattices themselves, we also consider their orthogonal complements in mathbb Z n , and show that the equidistribution occurs jointly for primitive lattices and their orthogonal complements. Finally, our asymptotic formulas for the number of primitive lattices include an explicit error term.


Induced Disjoint Paths in AT free Graphs. Paths P 1, ldots,P k in a graph G (V,E) are mutually induced if any two distinct P i and P j have neither common vertices nor adjacent vertices (except perhaps their end vertices). The Induced Disjoint Paths problem is to decide if a graph G with k pairs of specified vertices (s i,t i) contains k mutually induced paths P i such that each P i connects s i and t i . This is a classical graph problem that is NP complete even for k 2 . We study it for AT free graphs. Unlike its subclasses of permutation graphs and cocomparability graphs, the class of AT free graphs has no geometric intersection model. However, by a new, structural analysis of the behaviour of Induced Disjoint Paths for AT free graphs, we prove that it can be solved in polynomial time for AT free graphs even when k is part of the input. This is in contrast to the situation for other well known graph classes, such as planar graphs, claw free graphs, or more recently, (theta,wheel) free graphs, for which such a result only holds if k is fixed. As a consequence of our main result, the problem of deciding if a given AT free graph contains a fixed graph H as an induced topological minor admits a polynomial time algorithm. In addition, we show that such an algorithm is essentially optimal by proving that the problem is W 1 hard with parameter V H , even on a subclass of AT free graph, namely cobipartite graphs. We also show that the problems k in a Path and k in a Tree are polynomial time solvable on AT free graphs even if k is part of the input. These problems are to test if a graph has an induced path or induced tree, respectively, spanning k given vertices.


Hypergraph Isomorphism for Groups with Restricted Composition Factors. We consider the isomorphism problem for hypergraphs taking as input two hypergraphs over the same set of vertices V and a permutation group Gamma over domain V , and asking whether there is a permutation gamma in Gamma that proves the two hypergraphs to be isomorphic. We show that for input groups, all of whose composition factors are isomorphic to a subgroup of the symmetric group on d points, this problem can be solved in time (n m) O(( log d) c ) for some absolute constant c where n denotes the number of vertices and m the number of hyperedges. In particular, this gives the currently fastest isomorphism test for hypergraphs in general. The previous best algorithm for this problem due to Schweitzer and Wiebking (STOC 2019) runs in time n O(d) m O(1) . As an application of this result, we obtain, for example, an algorithm testing isomorphism of graphs excluding K 3,h ( h geq 3 ) as a minor in time n O(( log h) c ) . In particular, this gives an isomorphism test for graphs of Euler genus at most g running in time n O(( log g) c ) .


A Two Stage Generalized Block Orthogonal Matching Pursuit (TSGBOMP) Algorithm. Recovery of an unknown sparse signal from a few of its projections is the key objective of compressed sensing. Often one comes across signals that are not ordinarily sparse but are sparse blockwise. Existing block sparse recovery algorithms like BOMP make the assumption of uniform block size and known block boundaries, which are, however, not very practical in many applications. This paper addresses this problem and proposes a two step procedure, where the first stage is a coarse block location identification stage while the second stage carries out finer localization of a non zero cluster within the window selected in the first stage. A detailed convergence analysis of the proposed algorithm is carried out by first defining the so called pseudoblock interleaved block RIP of the given generalized block sparse signal and then imposing upper bounds on the corresponding RIC. We also extend the analysis for complex vector as well as matrix entries where it turns out that the extension is non trivial and requires special care. Furthermore, assuming real Gaussian sensing matrix entries, we find a lower bound on the probability that the derived recovery bounds are satisfied. The lower bound suggests that there are sets of parameters such that the derived bound is satisfied with high probability. Simulation results confirm significantly improved performance of the proposed algorithm as compared to BOMP.


P adic L functions in universal deformation families. We construct examples of p adic L functions over universal deformation spaces for GL(2). We formulate a conjecture predicting that the natural parameter spaces for p adic L functions are not the usual eigenvarieties (parametrising nearly ordinary families of automorphic representations), but other, larger spaces depending on a choice of a parabolic subgroup, which we call "big parabolic eigenvarieties".


Mutable Locks Combining the Best of Spin and Sleep Locks. In this article we present Mutable Locks, a synchronization construct with the same execution semantic of traditional locks (such as spin locks or sleep locks), but with a self tuned optimized trade off between responsiveness in the access to a just released critical section and CPU time usage during threads' wait phases. It tackles the need for modern synchronization supports, in the era of multi core machines, whose runtime behavior should be optimized along multiple dimensions (performance vs resource consumption) with no intervention by the application programmer. Our proposal is intended for exploitation in generic concurrent applications where scarce or none knowledge is available about the underlying software hardware stack and the actual workload, an adverse scenario for static choices between spinning and sleeping faced by mutable locks just thanks to their hybrid waiting phases and self tuning capabilities.


Modeling the Evolution of Retina Neural Network. Vital to primary visual processing, retinal circuitry shows many similar structures across a very broad array of species, both vertebrate and non vertebrate, especially functional components such as lateral inhibition. This surprisingly conservative pattern raises a question of how evolution leads to it, and whether there is any alternative that can also prompt helpful preprocessing. Here we design a method using genetic algorithm that, with many degrees of freedom, leads to architectures whose functions are similar to biological retina, as well as effective alternatives that are different in structures and functions. We compare this model to natural evolution and discuss how our framework can come into goal driven search and sustainable enhancement of neural network models in machine learning.


Automated Assignment of Backbone Resonances Using Residual Dipolar Couplings Acquired from a Protein with Known Structure. Resonance assignment is a critical first step in the investigation of protein structures using NMR spectroscopy. The development of assignment methods that require less experimental data is possible with prior knowledge of the macromolecular structure. Automated methods of performing the task of resonance assignment can significantly reduce the financial cost and time requirement for protein structure determination. Such methods can also be beneficial in validating a protein's solution state structure. Here we present a new approach to the assignment problem. Our approach uses only RDC data to assign backbone resonances. It provides simultaneous order tensor estimation and assignment. Our approach compares independent order tensor estimates to determine when the correct order tensor has been found. We demonstrate the algorithm's viability using simulated data from the protein domain 1A1Z.


Universal polynomials for counts of secant planes to projective curves. In this article we provide another method for obtaining explicit formulas yielding counts of secant planes to a projective curve. We formulate the problem in terms of Segre classes of suitable bundles over the symmetric product of the curve and take advantage of the result of Ellingsrud, G "ottsche, and Lehn concerning the structure of integrals of polynomials in Chern classes of tautological bundles over Hilbert schemes of points. We use this to set up a recursion starting from the easy to compute case of the projective line.


Continuous Time Systems for Solving 0 1 Integer Linear Programming Feasibility Problems. The 0 1 integer linear programming feasibility problem is an important NP complete problem. This paper proposes a continuous time dynamical system for solving that problem without getting trapped in non solution local minima. First, the problem is transformed to an easier form in linear time. Then, we propose an "impulse algorithm" to escape from local traps and show its performance is better than randomization for escaping traps. Second, we present the time to solution distribution of the impulse algorithm and compare it with exhaustive search to see its advantages. Third, we show that the fractional size of the basin of attraction of the global minimum is significantly larger than 2 N , the corresponding discrete probability for exhaustive search. Finally, we conduct a case study to show that the location of the basin is independent of different dimensions. These findings reveal a better way to solve the 0 1 integer linear programming feasibility problem continuously and show that its cost could be less than discrete methods in average cases.


The minimizers of the p frame potential. For any positive real number p , the p frame potential of N unit vectors X mathbf x 1, ldots, mathbf x N subset mathbb R d is defined as rm FP p,N,d (X) sum i neq j langle mathbf x i, mathbf x j rangle p . In this paper, we focus on the special case N d 1 and establish the unique minimizer of rm FP p,d 1,d for p in (0,2) . Our results completely solve the minimization problem of p frame potential when N d 1 , which confirms a conjecture posed by Chen, Gonzales, Goodman, Kang and Okoudjou.


On the star critical Ramsey number of a forest versus complete graphs. Let G and G 1, G 2, ldots , G t be given graphs. By G rightarrow (G 1, G 2, ldots , G t) we mean if the edges of G are arbitrarily colored by t colors, then for some i , 1 leq i leq t , the spanning subgraph of G whose edges are colored with the i th color, contains a copy of G i . The Ramsey number R(G 1, G 2, ldots, G t) is the smallest positive integer n such that K n rightarrow (G 1, G 2, ldots , G t) and the size Ramsey number hat R (G 1, G 2, ldots , G t) is defined as min E(G) G rightarrow (G 1, G 2, ldots , G t) . Also, for given graphs G 1, G 2, ldots , G t with r R(G 1, G 2, ldots , G t) , the star critical Ramsey number R (G 1, G 2, ldots , G t) is defined as min delta(G) G subseteq K r, G rightarrow (G 1, G 2, ldots , G t) . In this paper, the Ramsey number and also the star critical Ramsey number of a forest versus any number of complete graphs will be computed exactly in terms of the Ramsey number of complete graphs. As a result, the computed star critical Ramsey number is used to give a tight bound for the size Ramsey number of a forest versus a complete graph.


A Chinese Text Classification Method With Low Hardware Requirement Based on Improved Model Concatenation. In order to improve the accuracy performance of Chinese text classification models with low hardware requirements, an improved concatenation based model is designed in this paper, which is a concatenation of 5 different sub models, including TextCNN, LSTM, and Bi LSTM. Compared with the existing ensemble learning method, for a text classification mission, this model's accuracy is 2 higher. Meanwhile, the hardware requirements of this model are much lower than the BERT based model.


Data Visualization Practitioners' Perspectives on Chartjunk. Chartjunk is a popular yet contentious topic. Previous studies have shown that extreme minimalism is not always best, and that visual embellishments can be useful depending on the context. While more knowledge is being developed regarding the effects of embellishments on users, less attention has been given to the perspectives of practitioners regarding how they design with embellishments. We conducted semi structured interviews with 20 data visualization practitioners, investigating how they understand chartjunk and the factors that influence how and when they make use of embellishments. Our investigation uncovers a broad and pluralistic understanding of chartjunk among practitioners, and foregrounds a variety of personal and situated factors that influence the use of chartjunk beyond context. We highlight the personal nature of design practice, and discuss the need for more practice led research to better understand the ways in which concepts like chartjunk are interpreted and used by practitioners.


Stochasticity induced stabilization in ecology and evolution a new synthesis. The ability of random environmental variation to stabilize competitor coexistence was pointed out long ago and, in recent years, has received considerable attention. Analyses have focused on variations in the log abundances of species, with mean logarithmic growth rates when rare, mathbb E r , used as metrics for persistence. However, invasion probabilities and the times to extinction are not single valued functions of mathbb E r and, in some cases, decrease as mathbb E r increases. Here, we present a synthesis of stochasticity induced stabilization (SIS) phenomena based on the ratio between the expected arithmetic growth mu and its variance g . When the diffusion approximation holds, explicit formulas for invasion probabilities and persistence times are single valued, monotonic functions of mu g . The storage effect in the lottery model, together with other well known examples drawn from population genetics, microbiology and ecology (including discrete and continuous dynamics, with overlapping and non overlapping generations), are placed together, reviewed, and explained within this new, transparent theoretical framework. We also clarify the relationships between life history strategies and SIS, and study the dynamics of extinction when SIS fails.


Boosted High Order Harmonics from Electron Density Singularity Formed at the Relativistic Laser Bow Wave. We demonstrate coherent hard electromagnetic radiation generation from reflection by the electron density singularity formed at the relativistic bow wave in laser plasma via particle in cell simulations. Wake and bow waves driven by an intense laser pulse form an electron density singularity at the laser pulse front where they join. A counter propagating laser pulse is reflected at the electron density modulations moving with relativistic velocity. The reflected electromagnetic pulse is compressed and its frequency is upshifted. Its frequency spectrum contains relativistic harmonics of the driver pulse frequency generated at the bow wave front, all upshifted with the same factor as the fundamental mode of the incident light.