On Differential Properties of Multifunctions Defined Implicitly by Set Valued Inclusions. In the present paper, several properties concerning generalized derivatives of multifunctions implicitly defined by set valued inclusions are studied by techniques of variational analysis. Set valued inclusions are problems formalizing the robust fulfilment of cone constraint systems, whose data are affected by a "crude knowledge" of uncertain elements, so they can not be casted in traditional generalized equations. The focus of this study in on the first order behaviour of the solution mapping associated with a parameterized set valued inclusion, starting with Lipschitzian properties and then considering its graphical derivative. In particular, a condition for the Aubin continuity of the solution mapping is established in terms of outer prederivative of the set valued mapping defining the inclusion. A large class of parameterized set valued inculsions is singled out, whose solution mapping turns out to be convex. Some relevant consequences on the graphical derivative are explored. In the absence of that, formulae for the inner and outer approximation of the graphical derivative are provided by means of prederivatives of the problem data. A representation useful to calculate the coderivative of the solution mapping is also obtained via the subdifferential of a merit function.


Invariant Generalized Complex Structures on Partial Flag Manifolds. The aim of this paper is to classify all invariant generalized complex structure on a partial flag manifold mathbb F Theta with at most four isotropy summands. To classify them all we proved that an invariant generalized almost complex structure on mathbb F Theta is constant' in each component of the isotropy representation.


A method based on encryption and node rating for securing the RPL protocol communications in the IoT ecosystem. Internet of Things (IoT) provides the possibility for milliards of devices throughout the world to communicate with each other, and data is collected autonomously. The big data generated by the devices should be managed securely. Due to security challenges, like malicious nodes, many approaches cannot respond to these concerns. In this paper, a robust hybrid method, including encryption, is used as an efficient approach for resolving the RPL protocol concerns so that the devices are connected securely. Therefore, the proposed DSH RPL method for securing the RPL protocol comprises the four following phases The first phase creates a reliable RPL. The second phase detects the sinkhole attack. The third phase quarantines the detected malicious node, and the fourth phase transmits data through encryption. The simulation results show that the DSH RPL reduces the false positive rate more than 18.2 and 23.1 , and reduces the false negative rate more than 16.1 and 22.78 , it also increases the packet delivery rate more than 19.68 and 25.32 and increases the detection rate more than 26 and 31 compared to SecTrust RPL and IBOOS RPL.


Uniform Scattering of Robots on Alternate Nodes of a Grid. In this paper, we propose a distributed algorithm to uniformly scatter the robots along a grid, with robots on alternate nodes of this grid distribution. These homogeneous, autonomous mobile robots place themselves equidistant apart on the grid, which can be required for guarding or covering a geographical area by the robots. The robots operate by executing cycles of the states "look compute move". In the look phase, it looks to see the position of the other robots in the compute phase, it computes a destination to move to and then in the move phase, it moves to that computed destination. They do not interact by message passing and can recollect neither the past actions nor the looked data from the previous cycle, i.e., oblivious. The robots are semi synchronous, anonymous and have unlimited visibility. Eventually, the robots uniformly distribute themselves on alternate nodes of a grid, leaving the adjacent nodes of the grid vacant. The algorithm presented also assures no collision or deadlock among the robots.


A new approach to gaps between zeta zeros. We study the value distribution of Dirichlet polynomials on the critical line Re(s) tfrac 1 2 . As a consequence, we prove a corollary on small consecutive gaps between zeros of the Riemann zeta function. We also examine the distribution of zeros under the so called alternative hypothesis and present a new approach to the problem of gaps between the zeros.


InfleCS Clustering Free Energy Landscapes with Gaussian Mixtures. Free energy landscapes provide insights into conformational ensembles of biomolecules. In order to analyze these landscapes and elucidate mechanisms underlying conformational changes, there is a need to extract metastable states with limited noise. This has remained a formidable task, despite a plethora of existing clustering methods. We present InfleCS, a novel method for extracting well defined core states from free energy landscapes. The method is based on a Gaussian mixture free energy estimator and exploits the shape of the estimated density landscape. The core states that naturally arise from the clustering allow for detailed characterization of the conformational ensemble. The clustering quality is evaluated on three toy models with different properties, where the method is shown to consistently outperform other conventional and state of the art clustering methods. Finally, the method is applied to a temperature enhanced molecular dynamics simulation of Ca2 bound Calmodulin. Through the free energy landscape, we discover a pathway between a canonical and a compact state, revealing conformational changes driven by electrostatic interactions.


An Study of The Role of Software Project Manger in the Outcome of the Project. This paper describes an in depth analysis of successful and unsuccessful software Projects and the Role of Software Project Mangers in that success. One of the main reason in software project success is manager. Software houses are investing too much in this regard but the average ratio of software project failure is on the high side. Project managers experience, technical knowledge, and skills are not good enough for success in general. In this paper we have conducted a survey related to the approached used by different project managers, their methods and techniques, and the success ratio of their projects, and the steps they took during their projects. We will explore the core reasons of software project success and then will suggest key steps to be taken by the software project managers to deliver a successful software project.


The global existence issue for the compressible Euler system with Poisson or Helmholtz couplings. We consider the Cauchy problem for the barotropic Euler system coupled to Helmholtz or Poisson equations, in the whole space. We assume that the initial density is small enough, and that the initial velocity is close to some reference vector field u0 such that the spectrum of Du0 is bounded away from zero. We prove the existence of a global unique solution with (fractional) Sobolev regularity, and algebraic time decay estimates. Our work extends the papers by D. Serre and M. Grassin 20, 21, 43 dedicated to the compressible Euler system without coupling and integer regularity exponents.


Learning in two player games between transparent opponents. We consider a scenario in which two reinforcement learning agents repeatedly play a matrix game against each other and update their parameters after each round. The agents' decision making is transparent to each other, which allows each agent to predict how their opponent will play against them. To prevent an infinite regress of both agents recursively predicting each other indefinitely, each agent is required to give an opponent independent response with some probability at least epsilon. Transparency also allows each agent to anticipate and shape the other agent's gradient step, i.e. to move to regions of parameter space in which the opponent's gradient points in a direction favourable to them. We study the resulting dynamics experimentally, using two algorithms from previous literature (LOLA and SOS) for opponent aware learning. We find that the combination of mutually transparent decision making and opponent aware learning robustly leads to mutual cooperation in a single shot prisoner's dilemma. In a game of chicken, in which both agents try to manoeuvre their opponent towards their preferred equilibrium, converging to a mutually beneficial outcome turns out to be much harder, and opponent aware learning can even lead to worst case outcomes for both agents. This highlights the need to develop opponent aware learning algorithms that achieve acceptable outcomes in social dilemmas involving an equilibrium selection problem.


Bluetooth Smartphone Apps Are they the most private and effective solution for COVID 19 contact tracing?. Many digital solutions mainly involving Bluetooth technology are being proposed for Contact Tracing Apps (CTA) to reduce the spread of COVID 19. Concerns have been raised regarding privacy, consent, uptake required in a given population, and the degree to which use of CTAs can impact individual behaviours. However, very few groups have taken a holistic approach and presented a combined solution. None has presented their CTA in such a way as to ensure that even the most suggestible member of our community does not become complacent and assume that CTA operates as an invisible shield, making us and our families impenetrable or immune to the disease. We propose to build on some of the digital solutions already under development that, with addition of a Bayesian model that predicts likelihood for infection supplemented by traditional symptom and contact tracing, that can enable us to reach 90 of a population. When combined with an effective communication strategy and social distancing, we believe solutions like the one proposed here can have a very beneficial effect on containing the spread of this pandemic.


AMReX Block Structured Adaptive Mesh Refinement for Multiphysics Applications. Block structured adaptive mesh refinement (AMR) provides the basis for the temporal and spatial discretization strategy for a number of ECP applications in the areas of accelerator design, additive manufacturing, astrophysics, combustion, cosmology, multiphase flow, and wind plant modelling. AMReX is a software framework that provides a unified infrastructure with the functionality needed for these and other AMR applications to be able to effectively and efficiently utilize machines from laptops to exascale architectures. AMR reduces the computational cost and memory footprint compared to a uniform mesh while preserving accurate descriptions of different physical processes in complex multi physics algorithms. AMReX supports algorithms that solve systems of partial differential equations (PDEs) in simple or complex geometries, and those that use particles and or particle mesh operations to represent component physical processes. In this paper, we will discuss the core elements of the AMReX framework such as data containers and iterators as well as several specialized operations to meet the needs of the application projects. In addition we will highlight the strategy that the AMReX team is pursuing to achieve highly performant code across a range of accelerator based architectures for a variety of different applications.


Componentwise linearity of projective varieties with almost maximal degree. The degree of a projective subscheme has an upper bound in term of the codimension and the reduction number. If a projective variety has an almost maximal degree, that is, the degree equals to the upper bound minus one, then its Betti table has been described explicitly. We build on this work by showing that for most of such varieties, the defining ideals are componentwise linear and in particular the componentwise linearity is suitable for classifying the Betti tables of such varieties. As an application, we compute the Betti table of all varieties with almost maximal degree and componentwise linear resolution.


A Note on Deepfake Detection with Low Resources. Deepfakes are videos that include changes, quite often substituting face of a portrayed individual with a different face using neural networks. Even though the technology gained its popularity as a carrier of jokes and parodies it raises a serious threat to ones security via biometric impersonation or besmearing. In this paper we present two methods that allow detecting Deepfakes for a user without significant computational power. In particular, we enhance MesoNet by replacing the original activation functions allowing a nearly 1 improvement as well as increasing the consistency of the results. Moreover, we introduced and verified a new activation function Pish that at the cost of slight time overhead allows even higher consistency. Additionally, we present a preliminary results of Deepfake detection method based on Local Feature Descriptors (LFD), that allows setting up the system even faster and without resorting to GPU computation. Our method achieved Equal Error Rate of 0.28, with both accuracy and recall exceeding 0.7.


A Comprehensive Study of Bloated Dependencies in the Maven Ecosystem. Build automation tools and package managers have a profound influence on software development. They facilitate the reuse of third party libraries, support a clear separation between the application's code and its external dependencies, and automate several software development tasks. However, the wide adoption of these tools introduces new challenges related to dependency management. In this paper, we propose an original study of one such challenge the emergence of bloated dependencies. Bloated dependencies are libraries that the build tool packages with the application's compiled code but that are actually not necessary to build and run the application. This phenomenon artificially grows the size of the built binary and increases maintenance effort. We propose a tool, called DepClean, to analyze the presence of bloated dependencies in Maven artifacts. We analyze 9,639 Java artifacts hosted on Maven Central, which include a total of 723,444 dependency relationships. Our key result is that 75.1 of the analyzed dependency relationships are bloated. In other words, it is feasible to reduce the number of dependencies of Maven artifacts up to 1 4 of its current count. We also perform a qualitative study with 30 notable open source projects. Our results indicate that developers pay attention to their dependencies and are willing to remove bloated dependencies 18 21 answered pull requests were accepted and merged by developers, removing 131 dependencies in total.


Porous carbon nanowire array for highly sensitive, biocompatible, reproducible surface enhanced Raman spectroscopy. Surface enhanced Raman spectroscopy (SERS) is a powerful tool for vibrational spectroscopy as it provides several orders of magnitude higher sensitivity than inherently weak spontaneous Raman scattering by exciting localized surface plasmon resonance (LSPR) on metal substrates. However, SERS is not very reliable, especially for use in life sciences, since it sacrifices reproducibility and biocompatibility due to its strong dependence on "hot spots" and large photothermal heat generation. Here we report a metal free (i.e., LSPR free), topologically tailored nanostructure composed of porous carbon nanowires in an array as a SERS substrate that addresses the decades old problem. Specifically, it offers not only high signal enhancement due to its strong broadband charge transfer resonance, but also extraordinarily high reproducibility or substrate to substrate, spot to spot, sample to sample, and time to time consistency in SERS spectrum due to the absence of hot spots and high compatibility to biomolecules due to its fluorescence quenching and negligible denaturation capabilities. These excellent properties make SERS suitable for practical use in diverse biomedical applications.


Deciding whether a Lattice has an Orthonormal Basis is in co NP. We show that the problem of deciding whether a given Euclidean lattice L has an orthonormal basis is in NP and co NP. Since this is equivalent to saying that L is isomorphic to the standard integer lattice, this problem is a special form of the Lattice Isomorphism Problem, which is known to be in the complexity class SZK.


Properties of the LWR model with time delay. In this article, we investigate theoretical and numerical properties of the first order Lighthill Whitham Richards (LWR) traffic flow model with time delay. Since standard results from the literature are not directly applicable to the delayed model, we mainly focus on the numerical analysis of the proposed finite difference discretization. The simulation results also show that the delay model is able to capture Stop Go waves.


The classification of ERP G2 structures on Lie groups. A complete classification of left invariant closed G2 structures on Lie groups which are extremally Ricci pinched, up to equivalence and scaling, is obtained. There are five of them, they are defined on five different completely solvable Lie groups and the G2 structure is exact in all cases except one, given by the only example in which the Lie group is unimodular.


Backtesting the predictability of COVID 19. The advent of the COVID 19 pandemic has instigated unprecedented changes in many countries around the globe, putting a significant burden on the health sectors, affecting the macro economic conditions, and altering social interactions amongst the population. In response, the academic community has produced multiple forecasting models, approaches and algorithms to best predict the different indicators of COVID 19, such as the number of confirmed infected cases. Yet, researchers had little to no historical information about the pandemic at their disposal in order to inform their forecasting methods. Our work studies the predictive performance of models at various stages of the pandemic to better understand their fundamental uncertainty and the impact of data availability on such forecasts. We use historical data of COVID 19 infections from 253 regions from the period of 22nd January 2020 until 22nd June 2020 to predict, through a rolling window backtesting framework, the cumulative number of infected cases for the next 7 and 28 days. We implement three simple models to track the root mean squared logarithmic error in this 6 month span, a baseline model that always predicts the last known value of the cumulative confirmed cases, a power growth model and an epidemiological model called SEIRD. Prediction errors are substantially higher in early stages of the pandemic, resulting from limited data. Throughout the course of the pandemic, errors regress slowly, but steadily. The more confirmed cases a country exhibits at any point in time, the lower the error in forecasting future confirmed cases. We emphasize the significance of having a rigorous backtesting framework to accurately assess the predictive power of such models at any point in time during the outbreak which in turn can be used to assign the right level of certainty to these forecasts and facilitate better planning.