A new approach (extra vertex) and generalization of Shoelace Algorithm usage in convex polygon (Point in Polygon). In this paper we aim to bring new approach into usage of Shoelace Algorithm for area calculation in convex polygons on Cartesian coordinate system, with concentration on point in polygon concept. Generalization of usage of the concept will be proposed for line segment and polygons. Testing of new method will be done using Python language. Results of tests show that the new approach is more effective than the current one.


Hermite reduction and a Waring's problem for integral quadratic forms over number fields. We generalize the Hermite Korkin Zolotarev (HKZ) reduction theory of positive definite quadratic forms over mathbb Q and its balanced version introduced recently by Beli Chan Icaza Liu to positive definite quadratic forms over a totally real number field K . We apply the balanced HKZ reduction theory to study the growth of the em g invariants of the ring of integers of K . More precisely, for each positive integer n , let mathcal O be the ring of integers of K and g mathcal O (n) be the smallest integer such that every sum of squares of n ary mathcal O linear forms must be a sum of g mathcal O (n) squares of n ary mathcal O linear forms. We show that when K has class number 1, the growth of g mathcal O (n) is at most an exponential of sqrt n . This extends the recent result obtained by Beli Chan Icaza Liu on the growth of g mathbb Z (n) and gives the first sub exponential upper bound for g mathcal O (n) for rings of integers mathcal O other than mathbb Z .


Lectures on complex hyperbolic Kleinian groups. These are lectures on discrete groups of isometries of complex hyperbolic spaces, aimed to discuss interactions between the function theory on complex hyperbolic manifolds and the theory of discrete groups.


Rescaled entropy of cellular automata. For a d dimensional cellular automaton with d ge 1 we introduce a rescaled entropy which estimates the growth rate of the entropy at small scales by generalizing previous approaches 1, 9 . We also define a notion of Lyapunov exponent and proves a Ruelle inequality as already established for d 1 in 16, 15 . Finally we generalize the entropy formula for 1 dimensional permutative cellular automata 18 to the rescaled entropy in higher dimensions. This last result extends recent works 17 of Shinoda and Tsukamoto dealing with the metric mean dimensions of two dimensional symbolic dynamics.


All lines on a smooth cubic surface in terms of three skew lines. Jordan showed that the incidence variety of a smooth cubic surface containing 27 lines has solvable Galois group over the incidence variety of a smooth cubic surface containing 3 skew lines. As noted by Harris, it follows that for any smooth cubic surface, there exist formulas for all 27 lines in terms of any 3 skew lines. In response to a question of Farb, we compute these formulas explicitly. We also discuss how these formulas relate to Schl "afli's count of lines on real smooth cubic surfaces.


The evolution of lying in well mixed populations. Lies can have profoundly negative consequences for individuals, groups, and even for societies. Understanding how lying evolves and when it proliferates is therefore of significant importance for our personal and societal well being. To that effect, we here study the sender receiver game in well mixed populations with methods of statistical physics. We use the Monte Carlo method to determine the stationary frequencies of liars and believers for four different lie types. We consider altruistic white lies that favor the receiver at a cost to the sender, black lies that favor the sender at a cost to the receiver, spiteful lies that harm both the sender and the receiver, and Pareto white lies that favor both the sender and the receiver. We find that spiteful lies give rise to trivial behavior, where senders quickly learn that their best strategy is to send a truthful message, whilst receivers likewise quickly learn that their best strategy is to believe the sender's message. For altruistic white lies and black lies, we find that most senders lie while most receivers do not believe the sender's message, but the exact frequencies of liars and non believers depend significantly on the payoffs, and they also evolve non monotonically before reaching the stationary state. Lastly, for Pareto white lies we observe the most complex dynamics, with the possibility of both lying and believing evolving with all frequencies between 0 and 1 in dependence on the payoffs. We discuss the implications of these results for moral behavior in human experiments.


How to Improve AI Tools (by Adding in SE Knowledge) Experiments with the TimeLIME Defect Reduction Tool. AI algorithms are being used with increased frequency in SE research and practice. Such algorithms are usually commissioned and certified using data from outside the SE domain. Can we assume that such algorithms can be used ''off the shelf'' (i.e. with no modifications)? To say that another way, are there special features of SE problems that suggest a different and better way to use AI tools? To answer these questions, this paper reports experiments with TimeLIME, a variant of the LIME explanation algorithm from KDD'16. LIME can offer recommendations on how to change static code attributes in order to reduce the number of defects in the next software release. That version of LIME used an internal weighting tool to decide what attributes to include exclude in those recommendations. TimeLIME improves on that weighting scheme using the following SE knowledge software comes in releases an implausible change to software is something that has never been changed in prior releases so it is better to use plausible changes, i.e. changes with some precedent in the prior releases. By restricting recommendations to just the frequently changed attributes, TimeLIME can produce (a) dramatically better explanations of what causes defects and (b) much better recommendations on how to fix buggy code. Apart from these specific results about defect reduction and TimeLIME, the more general point of this paper is that our community should be more careful about using off the shelf AI tools, without first applying SE knowledge. As shown here, it may not be a complex matter to apply that knowledge. Further, once that SE knowledge is applied, this can result in dramatically better systems.


Fredholm theory of families of discrete dynamical systems and its applications to bifurcation theory. In a previous work, we proved an index theorem for families of asymptotically hyperbolic discrete dynamical systems and obtained applications to bifurcation theory. A weaker and far more common assumption than asymptotic hyperbolicity is the existence of an exponential dichotomy. In this paper we generalize all our previous results to the latter setting, which requires substantial modifications of our arguments. In addition, we generalize previous results on continuity and differentiability of Nemitski operators for discrete dynamical systems to obtain even better bifurcation results.


Central limit theorems for elliptic curves and modular forms with smooth weight functions. The second and third named authors (arXiv 1705.04115) established a Central Limit Theorem for the error term in the Sato Tate law for families of modular forms. This method was adapted to families of elliptic curves in by the first and second named authors (arXiv 1705.09229). In this context, a Central Limit Theorem was established only under a strong hypothesis going beyond the Riemann Hypothesis. In the present paper, we consider a smoothed version of the Sato Tate conjecture, which allows us to overcome several limitations. In particular, for the smoothed version, we are able to establish a Central Limit Theorem for much smaller families of modular forms, and we succeed in proving a theorem of this type for families of elliptic curves under the Riemann Hypothesis for L functions associated to Hecke eigenforms for the full modular group.


A Sketch Based System for Human Guided Constrained Object Manipulation. In this paper, we present an easy to use sketch based interface to extract geometries and generate affordance files from 3D point clouds for robot object interaction tasks. Using our system, even novice users can perform robot task planning by employing such sketch tools. Our focus in this paper is employing human in the loop approach to assist in the generation of more accurate affordance templates and guidance of robot through the task execution process. Since we do not employ any unsupervised learning to generate affordance templates, our system performs much faster and is more versatile for template generation. Our system is based on the extraction of geometries for generalized cylindrical and cuboid shapes, after extracting the geometries, affordances are generated for objects by applying simple sketches. We evaluated our technique by asking users to define affordances by employing sketches on the 3D scenes of a door handle and a drawer handle and used the resulting extracted affordance template files to perform the tasks of turning a door handle and opening a drawer by the robot.


On limit spaces of Riemannian manifolds with volume and integral curvature bounds. The regularity of limit spaces of Riemannian manifolds with L p curvature bounds, p n 2 , is investigated under no apriori non collapsing assumption. A regular subset, defined by a local volume growth condition for a limit measure, is shown to carry the structure of a Riemannian manifold. One consequence of this is a compactness theorem for Riemannian manifolds with L p curvature bounds and an a priori volume growth assumption in the pointed Cheeger Gromov topology. A different notion of convergence is also studied, which replaces the exhaustion by balls in the pointed Cheeger Gromov topology with an exhaustion by volume non collapsed regions. Assuming in addition a lower bound on the Ricci curvature, the compactness theorem is extended to this topology. Moreover, we study how a convergent sequence of manifolds disconnects topologically in the limit. In two dimensions, building on results of Shioya, the structure of limit spaces is described in detail it is seen to be a union of an incomplete Riemannian surface and 1 dimensional length spaces.


Stiefel Whitney Classes for Real representations of mathrm GL 2( mathbb F q) . We compute the total Stiefel Whitney class for a real representation pi of mathrm GL 2( mathbb F q) , where q is odd. The obstruction class of pi is defined to be the Stiefel Whitney class of lowest positive degree that does not vanish. We provide an expression for the obstruction class of pi in terms of its character values if det pi 1 .


Hypergeometric rational approximations to zeta(4) . We give a new hypergeometric construction of rational approximations to zeta(4) , which absorbs the earlier one from 2003 based on Bailey's 9F 8 hypergeometric integrals. With the novel ingredients we are able to get a better control of arithmetic and produce a record irrationality measure for zeta(4) .


Holonomy groups of compact flat solvmanifolds. This article is concerned with the study of the holonomy group of flat solvmanifolds. It is known that the holonomy group of a flat solvmanifold is abelian we give an elementary proof of this fact and moreover we prove that any finite abelian group is the holonomy group of a flat solvmanifold. Furthermore, we show that the minimal dimension of a flat solvmanifold with holonomy group mathbb Z n coincides with the minimal dimension of a compact flat manifold with holonomy group mathbb Z n . Finally, we give the possible holonomy groups of flat solvmanifolds in dimensions 3, 4, 5 and 6 exhibiting in the latter case a general construction to show examples of non cyclic holonomy groups.


Error analysis for a finite difference scheme for axisymmetric mean curvature flow of genus 0 surfaces. We consider a finite difference approximation of mean curvature flow for axisymmetric surfaces of genus zero. A careful treatment of the degeneracy at the axis of rotation for the one dimensional partial differential equation for a parameterization of the generating curve allows us to prove error bounds with respect to discrete L 2 and H 1 norms for a fully discrete approximation. The theoretical results are confirmed with the help of numerical convergence experiments. We also present numerical simulations for some genus 0 surfaces, including for a non embedded self shrinker for mean curvature flow.


On optimal weak algebraic manipulation detection codes and weighted external difference families. This paper provides a combinatorial characterization of weak algebraic manipulation detection (AMD) codes via a kind of generalized external difference families called bounded standard weighted external difference families (BSWEDFs). By means of this characterization, we improve a known lower bound on the maximum probability of successful tampering for the adversary's all possible strategies in weak AMD codes. We clarify the relationship between weak AMD codes and BSWEDFs with various properties. We also propose several explicit constructions for BSWEDFs, some of which can generate new optimal weak AMD codes.


NICER Aesthetic Image Enhancement with Humans in the Loop. Fully or semi automatic image enhancement software helps users to increase the visual appeal of photos and does not require in depth knowledge of manual image editing. However, fully automatic approaches usually enhance the image in a black box manner that does not give the user any control over the optimization process, possibly leading to edited images that do not subjectively appeal to the user. Semi automatic methods mostly allow for controlling which pre defined editing step is taken, which restricts the users in their creativity and ability to make detailed adjustments, such as brightness or contrast. We argue that incorporating user preferences by guiding an automated enhancement method simplifies image editing and increases the enhancement's focus on the user. This work thus proposes the Neural Image Correction Enhancement Routine (NICER), a neural network based approach to no reference image enhancement in a fully , semi automatic or fully manual process that is interactive and user centered. NICER iteratively adjusts image editing parameters in order to maximize an aesthetic score based on image style and content. Users can modify these parameters at any time and guide the optimization process towards a desired direction. This interactive workflow is a novelty in the field of human computer interaction for image enhancement tasks. In a user study, we show that NICER can improve image aesthetics without user interaction and that allowing user interaction leads to diverse enhancement outcomes that are strongly preferred over the unedited image. We make our code publicly available to facilitate further research in this direction.


Toward a mathematical theory of the crystallographic phase retrieval problem. Motivated by the X ray crystallography technology to determine the atomic structure of biological molecules, we study the crystallographic phase retrieval problem, arguably the leading and hardest phase retrieval setup. This problem entails recovering a K sparse signal of length N from its Fourier magnitude or, equivalently, from its periodic auto correlation. Specifically, this work focuses on the fundamental question of uniqueness what is the maximal sparsity level K N that allows unique mapping between a signal and its Fourier magnitude, up to intrinsic symmetries. We design a systemic computational technique to affirm uniqueness for any specific pair (K,N), and establish the following conjecture the Fourier magnitude determines a generic signal uniquely, up to intrinsic symmetries, as long as K N 2. Based on group theoretic considerations and an additional computational technique, we formulate a second conjecture if K N 2, then for any signal the set of solutions to the crystallographic phase retrieval problem has measure zero in the set of all signals with a given Fourier magnitude. Together, these conjectures constitute the first attempt to establish a mathematical theory for the crystallographic phase retrieval problem.


Matsushima Lichnerowicz type theorems of Lie algebra of automorphisms of generalized K "ahler manifolds of symplectic type. In K "ahler geometry, Fujiki Donaldson show that the scalar curvature arises as the moment map for Hamiltonian diffeomorphisms. In generalized K "ahler geometry, one does not have suitable notions of Levi Civita connection and curvature, however there still exists a precise framework for a moment map and the scalar curvature is defined as the moment map. Then a fundamental question is to understand the existence or non existence of generalized K "ahler structures with constant scalar curvature. In the paper, we study the Lie algebra of automorphisms of a generalized complex manifold. We assume that H 1 (M) 0 . Then we show that the Lie algebra of the automorphisms is a reductive Lie algebra if a generalized complex manifold admits a generalized K "ahler structure of symplectic type with constant scalar curvature. This is a generalization of Matsushima and Lichnerowicz theorem in K "ahler geometry. We explicitly calculate the Lie algebra of the automorphisms of a generalized complex structure given by a cubic curve on Bbb C P 2 . Cubic curves are classified into nine cases (see Figure. 1 9 ). In the three cases as in Figures. 7, 8 and 9, the Lie algebra of the automorphisms is not reductive and there is an obstruction to the existence of generalized K "ahler structures of symplectic type with constant scalar curvature in the three cases. We also discuss deformations starting from an ordinary K "ahler manifold (X, omega) with constant scalar curvature and show that nontrivial generalized K "ahler structures of symplectic type with constant scalar curvature arise as deformations if the Lie algebra of automorphisms of X is trivial.


Leaf segmentation through the classification of edges. We present an approach to leaf level segmentation of images of Arabidopsis thaliana plants based upon detected edges. We introduce a novel approach to edge classification, which forms an important part of a method to both count the leaves and establish the leaf area of a growing plant from images obtained in a high throughput phenotyping system. Our technique uses a relatively shallow convolutional neural network to classify image edges as background, plant edge, leaf on leaf edge or internal leaf noise. The edges themselves were found using the Canny edge detector and the classified edges can be used with simple image processing techniques to generate a region based segmentation in which the leaves are distinct. This approach is strong at distinguishing occluding pairs of leaves where one leaf is largely hidden, a situation which has proved troublesome for plant image analysis systems in the past. In addition, we introduce the publicly available plant image dataset that was used for this work.


Tropical Data Science. Phylogenomics is a new field which applies to tools in phylogenetics to genome data. Due to a new technology and increasing amount of data, we face new challenges to analyze them over a space of phylogenetic trees. Because a space of phylogenetic trees with a fixed set of labels on leaves is not Euclidean, we cannot simply apply tools in data science. In this paper we survey some new developments of machine learning models using tropical geometry to analyze a set of phylogenetic trees over a tree space.


Applying deep reinforcement learning to active flow control in turbulent conditions. Machine learning has recently become a promising technique in fluid mechanics, especially for active flow control (AFC) applications. A recent work J. Fluid Mech. (2019), vol. 865, pp. 281 302 has demonstrated the feasibility and effectiveness of deep reinforcement learning (DRL) in performing AFC over a circular cylinder at Re 100 , i.e., in the laminar flow regime. As a follow up study, we investigate the same AFC problem at an intermediate Reynolds number, i.e., Re 1000 , where the turbulence in the flow poses great challenges to the control. The results show that the DRL agent can still find effective control strategies, but requires much more episodes in the learning. A remarkable drag reduction of around 30 is achieved, which is accompanied by elongation of the recirculation bubble and reduction of turbulent fluctuations in the cylinder wake. To our best knowledge, this study is the first successful application of DRL to AFC in weak turbulent conditions. It therefore sets a new milestone in progressing towards AFC in strong turbulent flows.


Parabolic approximation of quasilinear wave equations with applications in nonlinear acoustics. This work deals with the convergence analysis of parabolic perturbations to quasilinear wave equations on smooth bounded domains. In particular, we consider wave equations with nonlinearities of quadratic type, which cover the two classical models of nonlinear acoustics, the Westervelt and Kuznetsov equations. By employing a high order energy analysis, we obtain convergence of their solutions to the corresponding inviscid equations' solutions in the standard energy norm with a linear rate, assuming small data and a sufficiently short time. The smallness of initial data can, however, be imposed in a lower order norm than the one needed in the energy analysis. It arises only from ensuring the non degeneracy of the studied wave equations. In addition, we address the open questions of local well posedness of the two classical models on bounded domains with a non negative, possibly vanishing sound diffusivity.


Model Checking Software Defined Networks with Flow Entries that Time Out (version with appendix). Software defined networking (SDN) enables advanced operation and management of network deployments through (virtually) centralised, programmable controllers, which deploy network functionality by installing rules in the flow tables of network switches. Although this is a powerful abstraction, buggy controller functionality could lead to severe service disruption and security loopholes, motivating the need for (semi )automated tools to find, or even verify absence of, bugs. Model checking SDNs has been proposed in the literature, but none of the existing approaches can support dynamic network deployments, where flow entries expire due to timeouts. This is necessary for automatically refreshing (and eliminating stale) state in the network (termed as soft state in the network protocol design nomenclature), which is important for scaling up applications or recovering from failures. In this paper, we extend our model (MoCS) to deal with timeouts of flow table entries, thus supporting soft state in the network. Optimisations are proposed that are tailored to this extension. We evaluate the performance of the proposed model in UPPAAL using a load balancer and firewall in network topologies of varying size.


Special cycles on unitary Shimura varieties with minuscule parahoric level structure. In this paper, we formulate conjectural formulas for the arithmetic intersection numbers of special cycles on unitary Shimura varieties with minuscule parahoric level structure. Also, we prove that these conjectures are compatible with all known results.


Robust inertial sensing with point source atom interferometry for interferograms spanning a partial period. Point source atom interferometry (PSI) uses the velocity distribution in a cold atom cloud to simultaneously measure one axis of acceleration and two axes of rotation from the phase, orientation, and period of atomic interference fringe images. For practical applications in inertial sensing and precision measurement, it is important to be able to measure a wide range of system rotation rates, corresponding to interferograms with far less than one full interference fringe to very many fringes. The interferogram analysis techniques used previously for PSI are not sensitive to low rotation rates, which generates less one full interference fringe across the cloud, limiting the dynamic range of the instrument. We introduce an experimental method, new to atom interferometry and closely related to optical phase shifting interferometry, that is effective in extracting rotation values from signals consisting of fractional fringes as well as many fringes without prior knowledge of the rotation rate. Our method uses four interferograms, each with a controlled Raman laser phase shift, to reconstruct the underlying atomic interferometer phase map.


Notions of numerical Iitaka dimension do not coincide. Let X be a smooth projective variety. The Iitaka dimension of a divisor D is an important invariant, but it does not only depend on the numerical class of D . However, there are several definitions of numerical Iitaka dimension'', depending only on the numerical class. In this note, we show that there exists a pseuodoeffective mathbb R divisor for which these invariants take different values. The key is the construction of an example of a pseudoeffective mathbb R divisor D for which h 0(X, lfloor m D rfloor A) is bounded above and below by multiples of m 3 2 for any sufficiently ample A .


From Dataset Recycling to Multi Property Extraction and Beyond. This paper investigates various Transformer architectures on the WikiReading Information Extraction and Machine Reading Comprehension dataset. The proposed dual source model outperforms the current state of the art by a large margin. Next, we introduce WikiReading Recycled a newly developed public dataset and the task of multiple property extraction. It uses the same data as WikiReading but does not inherit its predecessor's identified disadvantages. In addition, we provide a human annotated test set with diagnostic subsets for a detailed analysis of model performance.


Structure theorems for operators associated with two domains related to mu synthesis. A commuting tuple of n operators (S 1, dots, S n 1 , P) defined on a Hilbert space mathcal H , for which the closed symmetrized polydisc Gamma n left left( sum i 1 n z i, sum limits 1 leq i j leq n z iz j, dots, prod i 1 n z i right) z i leq 1, i 1, dots, n right is a spectral set is called a Gamma n contraction. Also a triple of commuting operators (A,B,P) for which the closed tetrablock overline mathbb E is a spectral set is called an mathbb E contraction, where mathbb E (x 1,x 2,x 3) in mathbb C 3 , , 1 zx 1 wx 2 zwx 3 neq 0 quad forall z, w in overline mathbb D . There are several decomposition theorems for contraction operators in the literature due to Sz. Nagy, Foias, Levan, Kubrusly, Foguel and few others which reveal structural information of a contraction. In this article, we obtain analogues of six such major theorems for both Gamma n contractions and mathbb E contractions. In each of these decomposition theorems, the underlying Hilbert space admits a unique orthogonal decomposition which is provided by the last component P . The central role in determining the structure of a Gamma n contraction or an mathbb E contraction is played by positivity of some certain operator pencils and the existence of a unique operator tuple associated with a Gamma n contraction or an mathbb E contraction.


Brain inspired self organization with cellular neuromorphic computing for multimodal unsupervised learning. Cortical plasticity is one of the main features that enable our ability to learn and adapt in our environment. Indeed, the cerebral cortex self organizes itself through structural and synaptic plasticity mechanisms that are very likely at the basis of an extremely interesting characteristic of the human brain development the multimodal association. In spite of the diversity of the sensory modalities, like sight, sound and touch, the brain arrives at the same concepts (convergence). Moreover, biological observations show that one modality can activate the internal representation of another modality when both are correlated (divergence). In this work, we propose the Reentrant Self Organizing Map (ReSOM), a brain inspired neural system based on the reentry theory using Self Organizing Maps and Hebbian like learning. We propose and compare different computational methods for unsupervised learning and inference, then quantify the gain of the ReSOM in a multimodal classification task. The divergence mechanism is used to label one modality based on the other, while the convergence mechanism is used to improve the overall accuracy of the system. We perform our experiments on a constructed written spoken digits database and a DVS EMG hand gestures database. The proposed model is implemented on a cellular neuromorphic architecture that enables distributed computing with local connectivity. We show the gain of the so called hardware plasticity induced by the ReSOM, where the system's topology is not fixed by the user but learned along the system's experience through self organization.


Creeping flow of micropolar fluid through a swarm of cylindrical cells with porous layer (membrane). The flow of micropolar fluid through a membrane modeled as a swarm of solid cylindrical particles with porous layer using the cell model technique is considered. The flow is directed perpendicular to the axis of the cylinders. Boundary value problem involves traditional conditions of velocities and stresses continuity, no stress and no couple stress no spin condition on hypothetical cell surface. The problem was solved analytically. The influence of micropolar and porous medium parameters on hydrodynamic permeability of a membrane has been studied.


Simple Unsupervised Similarity Based Aspect Extraction. In the context of sentiment analysis, there has been growing interest in performing a finer granularity analysis focusing on the specific aspects of the entities being evaluated. This is the goal of Aspect Based Sentiment Analysis (ABSA) which basically involves two tasks aspect extraction and polarity detection. The first task is responsible for discovering the aspects mentioned in the review text and the second task assigns a sentiment orientation (positive, negative, or neutral) to that aspect. Currently, the state of the art in ABSA consists of the application of deep learning methods such as recurrent, convolutional and attention neural networks. The limitation of these techniques is that they require a lot of training data and are computationally expensive. In this paper, we propose a simple approach called SUAEx for aspect extraction. SUAEx is unsupervised and relies solely on the similarity of word embeddings. Experimental results on datasets from three different domains have shown that SUAEx achieves results that can outperform the state of the art attention based approach at a fraction of the time.


Reporting on Decision Making Algorithms and some Related Ethical Questions. Companies report on their financial performance for decades. More recently they have also started to report on their environmental impact and their social responsibility. The latest trend is now to deliver one single integrated report where all stakeholders of the company can easily connect all facets of the business with their impact considered in a broad sense. The main purpose of this integrated approach is to avoid delivering data related to disconnected silos, which consequently makes it very difficult to globally assess the overall performance of an entity or a business line. In this paper, we focus on how companies report on risks and ethical issues related to the increasing use of Artificial Intelligence (AI). We explain some of these risks and potential issues. Next, we identify some recent initiatives by various stakeholders to define a global ethical framework for AI. Finally, we illustrate with four cases that companies are very shy to report on these facets of AI.


Neural Symbolic Reasoning over Knowledge Graph for Multi stage Explainable Recommendation. Recent work on recommender systems has considered external knowledge graphs as valuable sources of information, not only to produce better recommendations but also to provide explanations of why the recommended items were chosen. Pure rule based symbolic methods provide a transparent reasoning process over knowledge graph but lack generalization ability to unseen examples, while deep learning models enhance powerful feature representation ability but are hard to interpret. Moreover, direct reasoning over large scale knowledge graph can be costly due to the huge search space of pathfinding. We approach the problem through a novel coarse to fine neural symbolic reasoning method called NSER. It first generates a coarse grained explanation to capture abstract user behavioral pattern, followed by a fined grained explanation accompanying with explicit reasoning paths and recommendations inferred from knowledge graph. We extensively experiment on four real world datasets and observe substantial gains of recommendation performance compared with state of the art methods as well as more diversified explanations in different granularity.


On the Tur 'an number of the blow up of the hexagon. The r blowup of a graph F , denoted by F r , is the graph obtained by replacing the vertices and edges of F with independent sets of size r and copies of K r,r , respectively. For bipartite graphs F , very little is known about the order of magnitude of the Tur 'an number of F r . In this paper we prove that mathrm ex (n,C 6 2 ) O(n 5 3 ) and, more generally, for any positive integer t , mathrm ex (n, theta 3,t 2 ) O(n 5 3 ) . This is tight when t is sufficiently large.


Adwords in a Panorama. Three decades ago, Karp, Vazirani, and Vazirani (STOC 1990) defined the online matching problem and gave an optimal 1 frac 1 e approx 0.632 competitive algorithm. Fifteen years later, Mehta, Saberi, Vazirani, and Vazirani (FOCS 2005) introduced the first generalization called AdWords driven by online advertising and obtained the optimal 1 frac 1 e competitive ratio in the special case of small bids. It has been open ever since whether there is an algorithm for general bids better than the 0.5 competitive greedy algorithm. This paper presents a 0.5016 competitive algorithm for AdWords, answering this open question on the positive end. The algorithm builds on several ingredients, including a combination of the online primal dual framework and the configuration linear program of matching problems recently explored by Huang and Zhang (STOC 2020), a novel formulation of AdWords which we call the panorama view, and a generalization of the online correlated selection by Fahrbach, Huang, Tao, and Zadimorghaddam (FOCS 2020) which we call the panoramic online correlated selection.


Variations on the proximate order. The concept of proximate order is widely used in the theories of entire, meromorphic, subharmonic and plurisubharmonic functions. We give a general interpretation of this concept as a proximate growth function relative to a model growth function. If a function is the proximate growth function with respect to the identity function on the positive semi axis, then the logarithm of this function is the classical proximate order. Our definition uses only one condition. This form of definition is also new for the classical proximate order.


On p adic actions raising dimension by 2. Raymond and Wiliams constructed an action of the p adic integers on an n dimensional compactum, n 1, with the orbit space of dimension n 2. The author earlier presented a simplified approach for constructing such an action. In this paper we generalize this approach to show that for every n 1, an (n 2) dimensional compactum X can be obtained as the orbit space of an action of the p adic integers on an n dimensional compactum if and only if the cohomological dimension of X with coefficients in Z 1 p is at most n.


Contextualising and Aligning Security Metrics and Business Objectives a GQM based Methodology. Pre defined security metrics suffer from the problem of contextualisation, i.e. a lack of adaptability to particular organisational contexts domain, technical infrastructure, stakeholders, business process, etc. Adapting metrics to an organisational context is essential (1) for the metrics to align with business requirements (2) for decision makers to maintain relevant security goals based on measurements from the field. In this paper we propose SYMBIOSIS, a methodology that defines a goal elicitation and refinement process mapping business objectives to security measurement goals via the use of systematic templates that capture relevant context elements (business goals, purpose, stakeholders, system scope). The novel contribution of SYMBIOSIS is the well defined process, which enforces that (1) metrics align with business objectives via a top down derivation that refines top level business objectives to a manageable granularity (2) the impact of metrics on business objectives is explicitly traced via a bottom up feedback mechanism, allowing an incremental approach where feedback from metrics influences business goals, and vice versa. In this paper, we discuss the findings from applying SYMBIOSIS to three case studies of known security incidents. Our analysis shows how the aforementioned pitfalls of security metrics development processes affected the outcome of these high profile security incidents and how SYMBIOSIS addresses such issues.


Invariant translators of the Solvable group. We classify the translators to the mean curvature flow in the three dimensional solvable group Sol 3 that are invariant under the action of a one parameter group of isometries of the ambient space. In particular we show that Sol 3 admits graphical translators defined on a half plane, in contrast with a rigidity result of Shahriyari for translators in the Euclidean space. Moreover we exhibit some non existence results.


Quadrature Domains and the Real Quadratic Family. We study several classes of holomorphic dynamical systems associated with quadrature domains. Our main result is that real symmetric polynomials in the principal hyperbolic component of the Mandelbrot set can be conformally mated with a congruence subgroup of textrm PSL (2, mathbb Z ) , and that this conformal mating is the Schwarz function of a simply connected quadrature domain.


Scalable interdigitated photoconductive emitters for the electrical modulation of terahertz beams with arbitrary linear polarization. A multi element interdigitated photoconductive emitter for broadband THz polarization rotation is proposed and experimentally verified. The device consists of separate pixels for the emission of horizontally and vertically polarized THz radiation. The broadband (0.3 5.0THz) nature of the device is demonstrated, and the polarization angle of the generated far field THz radiation is shown to be readily controlled by varying the relative bias voltage applied to the horizontally and vertically emitting pixels. The device is scalable in design, and with its simple method of polarization rotation it allows the modulation of the generated THz polarization at rates significantly faster than those achievable in ellipsometry systems based on mechanically rotating components.


Concentration inequalities for functionals of Poisson cylinder processes. Random union sets Z associated with stationary Poisson processes of k cylinders in mathbb R d are considered. Under general conditions on the typical cylinder base a concentration inequality for the volume of Z restricted to a compact window is derived. Assuming convexity of the typical cylinder base and isotropy of Z a concentration inequality for intrinsic volumes of arbitrary order is established. A number of special cases are discussed, for example the case when the cylinder bases arise from a random rotation of a fixed convex body. Also the situation of expanding windows is studied. Special attention is payed to the case k 0 , which corresponds to the classical Boolean model.


Current Limitations in Cyberbullying Detection on Evaluation Criteria, Reproducibility, and Data Scarcity. The detection of online cyberbullying has seen an increase in societal importance, popularity in research, and available open data. Nevertheless, while computational power and affordability of resources continue to increase, the access restrictions on high quality data limit the applicability of state of the art techniques. Consequently, much of the recent research uses small, heterogeneous datasets, without a thorough evaluation of applicability. In this paper, we further illustrate these issues, as we (i) evaluate many publicly available resources for this task and demonstrate difficulties with data collection. These predominantly yield small datasets that fail to capture the required complex social dynamics and impede direct comparison of progress. We (ii) conduct an extensive set of experiments that indicate a general lack of cross domain generalization of classifiers trained on these sources, and openly provide this framework to replicate and extend our evaluation criteria. Finally, we (iii) present an effective crowdsourcing method simulating real life bullying scenarios in a lab setting generates plausible data that can be effectively used to enrich real data. This largely circumvents the restrictions on data that can be collected, and increases classifier performance. We believe these contributions can aid in improving the empirical practices of future research in the field.


Edge tracking in spatially developing boundary layer flows. Recent progress in understanding subcritical transition to turbulence is based on the concept of the edge, the manifold separating the basins of attraction of the laminar and the turbulent state. Originally developed in numerical studies of parallel shear flows with a linearly stable base flow, this concept is adapted here to the case of a spatially developing Blasius boundary layer. Longer time horizons fundamentally change the nature of the problem due to the loss of stability of the base flow due to Tollmien Schlichting (TS) waves. We demonstrate, using a moving box technique, that efficient long time tracking of edge trajectories is possible for the parameter range relevant to bypass transition, even if the asymptotic state itself remains out of reach. The flow along the edge trajectory features streak switching observed for the first time in the Blasius boundary layer. At long enough times, TS waves co exist with the coherent structure characteristic of edge trajectories. In this situation we suggest a reinterpretation of the edge as a manifold dividing the state space between the two main types of boundary layer transition, i.e. bypass transition and classical transition.


Partial wave analysis of multiphoton ionization of sodium by femtosecond laser pulses of 800 nm wavelength in over the barrier ionization regime. Multiphoton ionization of sodium by laser pulses of 800 nm wavelength and 57 fs duration is studied in the range of laser peak intensities belonging to over the barrier ionization regime. Photoelectron momentum distributions (PMD) and the energy spectra are determined numerically by solving the time dependent Schr "odinger equation. The calculated spectra agree well with the spectra obtained experimentally by Hart et al. Phys. Rev. A 93, 063426 (2016) . The contributions of photoelectrons with different values of the orbital quantum number in the PMD are determined by expanding the photoelectron wave function in terms of partial waves. Partial wave analysis of the spectral peaks related to Freeman resonances has shown that each peak has photoelectron contributions from different ionization channels which are characterized by different photoelectron energies and different symmetries of released photoelectron wave packets. These findings are justified by calculating the populations of excited states during the pulse. Our analysis indicates that the contribution of specific ionization channels in the total photoelectron yield might be selectively increased by varying to some extent the values of pulse parameters used here.


A Spatial Markov Chain Cellular Automata Model for the Spread of Viruses. We consider a Spatial Markov Chain model for the spread of viruses. The model is based on the principle to represent a graph connecting nodes, which represent humans. The vertices between the nodes represent relations between humans. In this way, a graph is connected in which the likelihood of infectious spread from person to person is determined by the intensity of interpersonal contact. Infectious transfer is determined by chance. The model is extended to incorporate various lockdown scenarios.


Some new rational Gushel fourfolds. We provide explicit equations and parameterizations of some new rational Gushel Mukai fourfolds of special type.


Clue Cross modal Coherence Modeling for Caption Generation. We use coherence relations inspired by computational models of discourse to study the information needs and goals of image captioning. Using an annotation protocol specifically devised for capturing image caption coherence relations, we annotate 10,000 instances from publicly available image caption pairs. We introduce a new task for learning inferences in imagery and text, coherence relation prediction, and show that these coherence annotations can be exploited to learn relation classifiers as an intermediary step, and also train coherence aware, controllable image captioning models. The results show a dramatic improvement in the consistency and quality of the generated captions with respect to information needs specified via coherence relations.


A generalised log determinant regularizer for online semi definite programming and its applications. We consider a variant of online semi definite programming problem (OSDP) The decision space consists of semi definite matrices with bounded Gamma trace norm, which is a generalization of trace norm defined by a positive definite matrix Gamma. To solve this problem, we utilise the follow the regularized leader algorithm with a Gamma dependent log determinant regularizer. Then we apply our generalised setting and our proposed algorithm to online matrix completion(OMC) and online similarity prediction with side information. In particular, we reduce the online matrix completion problem to the generalised OSDP problem, and the side information is represented as the Gamma matrix. Hence, due to our regret bound for the generalised OSDP, we obtain an optimal mistake bound for the OMC by removing the logarithmic factor.


A C0 interior penalty finite element method for flexoelectricity. We propose a mathcal C 0 Interior Penalty Method (C0 IPM) for the computational modelling of flexoelectricity, with application also to strain gradient elasticity, as a simplified case. Standard high order mathcal C 0 finite element approximations, with nodal basis, are considered. The proposed C0 IPM formulation involves second derivatives in the interior of the elements, plus integrals on the mesh faces (sides in 2D), that impose mathcal C 1 continuity of the displacement in weak form. The formulation is stable for large enough interior penalty parameter, which can be estimated solving an eigenvalue problem. The applicability and convergence of the method is demonstrated with 2D and 3D numerical examples.


Faster algorithms for cograph edge modification problems. In the Cograph Deletion (resp., Cograph Editing) problem the input is a graph G and an integer k , and the goal is to decide whether there is a set of edges of size at most k whose removal from G (resp., removal and addition to G ) results in a graph that does not contain an induced path with four vertices. In this paper we give algorithms for Cograph Deletion and Cograph Editing whose running times are O (2.303 k) and O (4.329 k) , respectively.


Shortest Path Algorithms between Theory and Practice. Utilizing graph algorithms is a common activity in computer science. Algorithms that perform computations on large graphs are not always efficient. This work investigates the Single Source Shortest Path (SSSP) problem, which is considered to be one of the most important and most studied graph problems. This thesis contains a review of the SSSP problem in both theory and practice. In addition, it discusses a new single source shortest path algorithm that achieves the same O(n cdot m) time bound as the traditional Bellman Ford Moore algorithm but outperforms it and other state of the art algorithms in practice. The work is comprised of three parts. The first discusses some basic shortest path and negative cycle detection algorithms in literature from the theoretical and practical point of view. The second contains a discussion of a new algorithm for the single source shortest path problem that outperforms most state of the art algorithms for several well known families of graphs. The main idea behind the proposed algorithm is to select the fewest most effective vertices to scan. We also propose a discussion of correctness, termination, and the proof of the worst case time bound of the proposed algorithm. This section also suggests two different implementations for the proposed algorithm, the first runs faster while the second performs a fewer number of operations. Finally, an extensive computational study of the different shortest paths algorithms is conducted. The results are proposed using a new evaluation metric for shortest path algorithms. A discussion of outcomes, strengths, and weaknesses of the various shortest path algorithms are also included in this work.


Learning Multi dimensional Indexes. Scanning and filtering over multi dimensional tables are key operations in modern analytical database engines. To optimize the performance of these operations, databases often create clustered indexes over a single dimension or multi dimensional indexes such as R trees, or use complex sort orders (e.g., Z ordering). However, these schemes are often hard to tune and their performance is inconsistent across different datasets and queries. In this paper, we introduce Flood, a multi dimensional in memory index that automatically adapts itself to a particular dataset and workload by jointly optimizing the index structure and data storage. Flood achieves up to three orders of magnitude faster performance for range scans with predicates than state of the art multi dimensional indexes or sort orders on real world datasets and workloads. Our work serves as a building block towards an end to end learned database system.


Large d 33 Piezoelectric Polymer Composites For RF Acoustic Resonators. While piezoelectric transduction enables designing acoustic resonators operating at multi GHz frequencies, the deposition of piezoelectric materials typically requires high temperature processes and specific crystallographic orientation of substrates, thus imposing a limitation on materials that could be used. In this paper we present a piezoelectrically transduced thickness mode acoustic resonator that employs piezoelectric (PMNPT) nanoparticles embedded in a polymer (SU8) matrix. This composite material is deposited using standard resist spin coaters and is thus compatible with a variety of substrates. The device presented here uses a double side polished single crystal silicon wafer as the low loss acoustic substrate for the resonator and 1.7 mu m thick SU8 PMNPT composite film as the actuator, and exhibits large effective piezoelectric coefficient (d 33 ) of 216pm V , and we experimentally demonstrate efficient transduction of acoustic resonances at frequencies up to 1.5GHz .


Fano Schemes of Complete Intersections in Toric Varieties. We study Fano schemes F k(X) for complete intersections X in a projective toric variety Y subset mathbb P n . Our strategy is to decompose F k(X) into closed subschemes based on the irreducible decomposition of F k(Y) as studied by Ilten and Zotine. We define the expected dimension for these subschemes, which always gives a lower bound on the actual dimension. Under additional assumptions, we show that these subschemes are non empty and smooth of the expected dimension. Using tools from intersection theory, we can apply these results to count the number of linear subspaces in X when the expected dimension of F k(X) is zero.


A Benchmark Corpus and Neural Approach for Sanskrit Derivative Nouns Analysis. This paper presents first benchmark corpus of Sanskrit Pratyaya (suffix) and inflectional words (padas) formed due to suffixes along with neural network based approaches to process the formation and splitting of inflectional words. Inflectional words spans the primary and secondary derivative nouns as the scope of current work. Pratyayas are an important dimension of morphological analysis of Sanskrit texts. There have been Sanskrit Computational Linguistics tools for processing and analyzing Sanskrit texts. Unfortunately there has not been any work to standardize validate these tools specifically for derivative nouns analysis. In this work, we prepared a Sanskrit suffix benchmark corpus called Pratyaya Kosh to evaluate the performance of tools. We also present our own neural approach for derivative nouns analysis while evaluating the same on most prominent Sanskrit Morphological Analysis tools. This benchmark will be freely dedicated and available to researchers worldwide and we hope it will motivate all to improve morphological analysis in Sanskrit Language.


Spherical objects, transitivity and auto equivalences of Kodaira cycles via gentle algebras. This paper studies the class of spherical objects over any Kodaira n cycle of projective lines and provides a parametrization of their isomorphism classes in terms of closed curves on the n punctured torus without self intersections. Employing recent results on gentle algebras, we derive a topological model for the bounded derived category of any Kodaira cycle. The groups of triangle auto equivalences of these categories are computed and are shown to act transitively on isomorphism classes of spherical objects. This answers a question by Polishchuk and extends earlier results by Burban Kreussler and Lekili Polishchuk. The description of auto equivalences is further used to establish faithfulness of a mapping class group action defined by Sibilla. The final part describes the closed curves which correspond to vector bundles and simple vector bundles. This leads to an alternative proof of a result by Bodnarchuk Drozd Greuel which states that simple vector bundles on cycles of projective lines are uniquely determined by their multi degree, rank and determinant. As a by product we obtain a closed formula for the cyclic sequence of any simple vector bundle on C n as introduced by Burban Drozd Greuel.


Global Optima is not Limit Computable. We study the limit computability of finding a global optimum of a continuous function. We give a short proof to show that the problem of checking whether a point is a global minimum is not limit computable. Thereby showing the same for the problem of finding a global minimum. In the next part, we give an algorithm that converges to the global minima when a lower bound on the size of the basin of attraction of the global minima is known. We prove the convergence of this algorithm and provide some numerical experiments.


Group ring based public key cryptosystems. In this paper, we propose two cryptosystems based on group rings and existing cryptosystem. First one is Elliptic ElGamal type group ring public key cryptosystem whose security is greater than security of cryptosystems based on elliptic curves discrete logarithmic problem (ECDLP). Second is ElGamal type group ring public key cryptosystem, which is analogous to ElGamal public key cryptosystem but has comparatively greater security. Examples are also given for both the proposed cryptosystems.


Document Structure Extraction using Prior based High Resolution Hierarchical Semantic Segmentation. Structure extraction from document images has been a long standing research topic due to its high impact on a wide range of practical applications. In this paper, we share our findings on employing a hierarchical semantic segmentation network for this task of structure extraction. We propose a prior based deep hierarchical CNN network architecture that enables document structure extraction using very high resolution(1800 x 1000) images. We divide the document image into overlapping horizontal strips such that the network segments a strip and uses its prediction mask as prior for predicting the segmentation of the subsequent strip. We perform experiments establishing the effectiveness of our strip based network architecture through ablation methods and comparison with low resolution variations. Further, to demonstrate our network's capabilities, we train it on only one type of documents (Forms) and achieve state of the art results over other general document datasets. We introduce our new human annotated forms dataset and show that our method significantly outperforms different segmentation baselines on this dataset in extracting hierarchical structures. Our method is currently being used in Adobe's AEM Forms for automated conversion of paper and PDF forms to modern HTML based forms.


A positive combinatorial formula for symplectic Kostka Foulkes polynomials I Rows. We prove a conjecture of Lecouvey, which proposes a closed, positive combinatorial formula for symplectic Kostka Foulkes polynomials, in the case of rows of arbitrary weight. To show this, we construct a new algorithm for computing cocyclage in terms of which the conjecture is described. Our algorithm is free of local constraints, which were the main obstacle in Lecouvey's original construction. In particular, we show that our model is governed by the situation in type A. This approach works for arbitrary weight and we expect it to lead to a proof of the conjecture in full generality.


RPCs and readout system for the neutrino detector of the SHiP experiment. SHiP (Search for Hidden Particles) is a proposed experiment to be installed at CERN, with the aim of exploring the high intensity beam frontier to investigate the so called Hidden sector. Since the SPS proton beam interacting with the SHiP high density target is expected to produce a large neutrino flux, the experiment will also study neutrino physics with unprecedented statistics. A dedicated Scattering and Neutrino Detector (SND) is thus being designed. It consists of a nuclear emulsion target and a tracking fibres detector in magnetic field followed by a Muon Identification System. The Muon System is composed of iron filters interleaved with tracking planes, instrumented with Resistive Plate Chambers (RPCs) operated in avalanche mode. Each plane consists of three gaps readout by two planes of perpendicular strips. The RPC readout electronics is being developed. It is based on the use of front end Field Programmable Gate Arrays (FPGAs) connected to a concentration system, transmitting data serially at high speed via optical link to the data acquisition and control system. A small scale prototype of the SHiP Muon Identification System, with five RPC planes consisting of one large gap each, has been produced and exposed at CERN H4 in a test beam.


A non isotropic free transmission problem governed by quasi linear operators. We study a free transmission problem in which solution minimizes a functional with different definitions in positive and negative phase of function. We prove some asymptotic regularity results when the jumps of the diffusion coefficients gets smaller along the free boundary. At last, we see a measure theoretic result related to the free boundary.


Structured Cospans. One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and outputs. Given a functor L colon mathsf A to mathsf X , a structured cospan is a diagram in mathsf X of the form L(a) rightarrow x leftarrow L(b) . If mathsf A and mathsf X have finite colimits and L is a left adjoint, we obtain a symmetric monoidal category whose objects are those of mathsf A and whose morphisms are isomorphism classes of structured cospans. This is a hypergraph category. However, it arises from a more fundamental structure a symmetric monoidal double category where the horizontal 1 cells are structured cospans. We show how structured cospans solve certain problems in the closely related formalism of "decorated cospans", and explain how they work in some examples electrical circuits, Petri nets, and chemical reaction networks.


On the Effectiveness of the Pooling Methods for Biomedical Relation Extraction with Deep Learning. Deep learning models have achieved state of the art performances on many relation extraction datasets. A common element in these deep learning models involves the pooling mechanisms where a sequence of hidden vectors is aggregated to generate a single representation vector, serving as the features to perform prediction for RE. Unfortunately, the models in the literature tend to employ different strategies to perform pooling for RE, leading to the challenge to determine the best pooling mechanism for this problem, especially in the biomedical domain. In order to answer this question, in this work, we conduct a comprehensive study to evaluate the effectiveness of different pooling mechanisms for the deep learning models in biomedical RE. The experimental results suggest that dependency based pooling is the best pooling strategy for RE in the biomedical domain, yielding the state of the art performance on two benchmark datasets for this problem.


RSS Net Weakly Supervised Multi Class Semantic Segmentation with FMCW Radar. This paper presents an efficient annotation procedure and an application thereof to end to end, rich semantic segmentation of the sensed environment using FMCW scanning radar. We advocate radar over the traditional sensors used for this task as it operates at longer ranges and is substantially more robust to adverse weather and illumination conditions. We avoid laborious manual labelling by exploiting the largest radar focused urban autonomy dataset collected to date, correlating radar scans with RGB cameras and LiDAR sensors, for which semantic segmentation is an already consolidated procedure. The training procedure leverages a state of the art natural image segmentation system which is publicly available and as such, in contrast to previous approaches, allows for the production of copious labels for the radar stream by incorporating four camera and two LiDAR streams. Additionally, the losses are computed taking into account labels to the radar sensor horizon by accumulating LiDAR returns along a pose chain ahead and behind of the current vehicle position. Finally, we present the network with multi channel radar scan inputs in order to deal with ephemeral and dynamic scene objects.


Unique continuation properties for one dimensional higher order Schr " o dinger equations. We study two types of unique continuation properties for the higher order Schr " o dinger equation with potential i partial tu ( Delta x) mu V(t,x)u, quad(t,x) in mathbb R 1 n , ,2 leq m in mathbb N . The first one says if u has certain exponential decay at two times, then u equiv0 , and this result is sharp by constructing critical non trivial solutions. The second one says if u equiv0 in an arbitrary half space of mathbb R 1 n , then u equiv0 identically. The uniqueness theorems are given when n 1 , but we also prove partial results when n in mathbb N for their own interests. Possibility or obstacles to proving these unique continuation properties in higher spatial dimensions are also discussed.


A BSDE Approach to Stochastic Differential Games Involving Impulse Controls and HJBI Equation. This paper focuses on zero sum stochastic differential games in the framework of forward backward stochastic differential equations on a finite time horizon with both players adopting impulse controls. By means of BSDE methods, in particular that of the notion from Peng's stochastic textit backward semigroups , we prove a dynamic programming principle for both the upper and the lower value functions of the game. The upper and the lower value functions are then shown to be the unique viscosity solutions of the Hamilton Jacobi Bellman Isaacs equations with a double obstacle. As a consequence, the uniqueness implies that the upper and lower value functions coincide and the game admits a value.


Actuator Placement under Structural Controllability using Forward and Reverse Greedy Algorithms. Actuator placement is an active field of research which has received significant attention for its applications in complex dynamical networks. In this paper, we study the problem of finding a set of actuator placements minimizing the metric that measures the average energy consumed for state transfer by the controller, while satisfying a structural controllability requirement and a cardinality constraint on the number of actuators allowed. As no computationally efficient methods are known to solve such combinatorial set function optimization problems, two greedy algorithms, forward and reverse, are proposed to obtain approximate solutions. We first show that the constraint sets these algorithms explore can be characterized by matroids. We then obtain performance guarantees for the forward and reverse greedy algorithms applied to the general class of matroid optimization problems by exploiting properties of the objective function such as the submodularity ratio and the curvature. Finally, we propose feasibility check methods for both algorithms based on maximum flow problems on certain auxiliary graphs originating from the network graph. Our results are verified with case studies over large networks.


On the set of points of zero torsion for negative torsion maps of the annulus. For negative torsion maps on the annulus we show that on every mathcal C 1 essential curve there is at least one point of zero torsion. As an outcome, we deduce that the Hausdorff dimension of the set of points of zero torsion is greater or equal 1. As a byproduct, we obtain a Birkhoff's theorem like result for mathcal C 1 essential curves in the framework of negative torsion maps.


Smale endomorphisms over graph directed Markov systems. We study Smale skew product endomorphisms (introduced in 27 ) now over countable graph directed Markov systems, and we prove the exact dimensionality of conditional measures in fibers, and then the global exact dimensionality of the equilibrium measure itself. Our results apply to large classes of systems and have many applications. They apply for instance to natural extensions of graph directed Markov systems. Another application is to skew products over parabolic systems. We give also applications in ergodic number theory, for example to the continued fraction expansion, and the backward fractions expansion. In the end we obtain a general formula for the Hausdorff (and pointwise) dimension of equilibrium measures with respect to the induced maps of natural extensions mathcal T beta of beta maps T beta , for arbitrary beta 1 .


On numbers satisfying Robin's inequality, properties of the next counterexample and improved specific bounds. Define s (n) n 1 sigma (n) ( sigma (n) sum d n d ) and omega(n) is the number of prime divisors of n . One of the properties of s plays a central role s (p a) s (q b) if p q are prime numbers, with no special condition on a, b other than a, b geqslant 1 . This result, combined with the Multiplicity Permutation theorem, will help us establish properties of the next counterexample (say c ) to Robin's inequality s (n) e gamma log log n . The number c is superabundant, and omega(c) must be greater than a number close to one billion. In addition, the ratio p omega (c) log c has a lower and upper bound. At most omega(c) 14 multiplicity parameters are greater than 1 . Last but not least, we apply simple methods to sharpen Robin's inequality for various categories of numbers.


Mathematical simulation of package delivery optimization using a combination of carriers. A variety of goods and services in the contemporary world requires permanent improvement of services e commerce platform performance. Modern society is so deeply integrated with mail deliveries, purchasing of goods and services online, that makes competition between service and good providers a key selection factor. As long as logistic, timely, and cost effective delivery plays important part authors decided to analyze possible ways of improvements in the current field, especially for regions distantly located from popular distribution centers. Considering both fast and lazy delivery the factor of costs is playing an important role for each end user. Given work proposes a simulation that analyses the current cost of delivery for e commerce orders in the context of delivery by the Supplier Fleet, World Wide delivery service fleet, and possible vendor drop ship and checks of the alternative ways can be used to minimize the costs. The main object of investigation is focused around mid and small businesses living far from big distribution centers (except edge cases like lighthouses, edge rocks with very limited accessibility) but actively using e commerce solutions for daily activities fulfillment. Authors analyzed and proposed a solution for the problem of cost optimization for packages delivery for long distance deliveries using a combination of paths delivered by supplier fleets, worldwide and local carriers. Data models and Add ons of contemporary Enterprise Resource Planning systems were used, and additional development is proposed in the perspective of the flow selection change. The experiment is based on data sources of the United States companies using a wide range of carriers for delivery services and uses the data sources of the real companies however, it applies repetitive simulations to analyze variances in obtained solutions.


Using Arabic Tweets to Understand Drug Selling Behaviors. Twitter is a popular platform for e commerce in the Arab region including the sale of illegal goods and services. Social media platforms present multiple opportunities to mine information about behaviors pertaining to both illicit and pharmaceutical drugs and likewise to legal prescription drugs sold without a prescription, i.e., illegally. Recognized as a public health risk, the sale and use of illegal drugs, counterfeit versions of legal drugs, and legal drugs sold without a prescription constitute a widespread problem that is reflected in and facilitated by social media. Twitter provides a crucial resource for monitoring legal and illegal drug sales in order to support the larger goal of finding ways to protect patient safety. We collected our dataset using Arabic keywords. We then categorized the data using four machine learning classifiers. Based on a comparison of the respective results, we assessed the accuracy of each classifier in predicting two important considerations in analysing the extent to which drugs are available on social media references to drugs for sale and the legality illegality of the drugs thus advertised. For predicting tweets selling drugs, Support Vector Machine, yielded the highest accuracy rate (96 ), whereas for predicting the legality of the advertised drugs, the Naive Bayes, classifier yielded the highest accuracy rate (85 ).


Conditional Analysis for Key Value Data with Local Differential Privacy. Local differential privacy (LDP) has been deemed as the de facto measure for privacy preserving distributed data collection and analysis. Recently, researchers have extended LDP to the basic data type in NoSQL systems the key value data, and show its feasibilities in mean estimation and frequency estimation. In this paper, we develop a set of new perturbation mechanisms for key value data collection and analysis under the strong model of local differential privacy. Since many modern machine learning tasks rely on the availability of conditional probability or the marginal statistics, we then propose the conditional frequency estimation method for key analysis and the conditional mean estimation for value analysis in key value data. The released statistics with conditions can further be used in learning tasks. Extensive experiments of frequency and mean estimation on both synthetic and real world datasets validate the effectiveness and accuracy of the proposed key value perturbation mechanisms against the state of art competitors.


Formule de Plancherel sur GL n times GL n backslash GL 2n . Let F be a non archimedian local field and H n(F) the Shalika subgroup of GL 2n (F) . We prove an explicit Plancherel formula for H n(F) backslash GL 2n (F) using the theory of Jacquet Shalika of zeta functions and we deduce Plancherel decompositions for H n(F) backslash GL 2n (F) and GL n (F) times GL n (F) backslash GL 2n (F) .


On Some Aspects of Pseudonorm Compact and Montel Operators on Locally Solid Vector Lattices. Unbounded convergences have been applied successfully to locally solid topologies on vector lattices. In the present paper, we first expose several properties of various classes of Riesz pseudonorms on vector lattices. We accomplish this by abstracting some generalities of the norm of an AM space with strong norm unit to locally solid topologies induced by a pseudonorm. By using these classes of pseudonorms, we study compactness properties of operators (not necessarily linear) between locally solid (not necessarily Hausdorff) topologies. We study new classes of operators such as pseudonorm compact, pseudo semicompact and pseudo AM compact operators as well as the classical Montel operators.


Maximal operator in Dunkl Fofana spaces. We generalize Wiener amalgam spaces by using Dunkl translation instead of the classical one, and we give some relationship between these spaces, Dunkl Lebesgue spaces and Dunkl Morrey spaces. We prove that the Hardy Litlewood maximal function associated with the Dunkl operators is bounded on these generalized Dunkl Morrey spaces.


Error Analysis for Quadtree Type Mesh Coarsening Algorithms Adapted to Pixelized Heterogeneous Microstructures. Pixel and voxel based representations of microstructures obtained from tomographic imaging methods is an established standard in computational materials science. The corresponding highly resolved, uniform discretitization in numerical analysis is adequate to accurately describe the geometry of interfaces and defects in microstructures and, therefore, to capture the physical processes in these regions of interest. For the defect free interior of phases and grains however, the high resolution is in view of only weakly varying field properties not necessary such that mesh coarsening in these regions can improve efficiency without severe losses of accuracy in simulations. The present work proposes two different variants of adaptive, quadtree based mesh coarsening algorithms applied to pixelized images that serves the purpose of a preprocessor for consecutive finite element analyses, here, in the context of numerical homogenization. Error analysis is carried out on the microscale by error estimation which itself is assessed by true error computation. A modified stress recovery scheme for a superconvergent error estimator is proposed which overcomes the deficits of the standard recovery scheme for nodal stress computation in cases of interfaces with stiffness jump. By virtue of error analysis the improved efficiency by the reduction of unknowns is put into relation to the increase of the discretization error. This quantitative analysis sets a rational basis for decisions on favorable meshes having the best trade off between accuracy and efficiency as will be underpinned by various examples.


Spatio temporal variation of temperature for the recent 40 years in Lhasa. It was all known that Lhasa went through a high temperature of 30.8 circ C in late June 2019, which hit record highs. To better understand the reasons, based on observations recorded at automatic weather stations in Lhasa, we studied the characteristics of temperature variation at multiple time scales using the linear trend method, Mann Kendall mutation test, morlet wavelet analysis, R S analysis and so on. The results showed that (a) The annual mean temperature (AMT) is rising at a rate of 0.5 circ C 10yr, and the average temperature for different seasons also increased significantly, especially in winter. (b) Although there was an intersection in 1995, we found that AMT, did not pass the reliability test of significance level alpha 0.05, this means there are no abrupt changes for AMT, the values are 7.97 circ C and 9.15 circ C respectively before and after the intersection point. (c) AMT has a periodic oscillation for 18 25yr and 25 32yr based on a mass of data and the wavelet variance diagrams in Lhasa. AMT has a main cycle of 28yr, cyclic Patterns of temperature changes in spring, summer and autumn is similar to AMT, but it is relatively complex in winter. (d) The Hurst index of AMT and different seasons demonstrates that the temperature are likely to continue to rise in the future in Lhasa.


Strong Pseudo Primes to Base 2. In this work, we add an additional condition to strong pseudo prime test to base 2. Then, we provide theoretical and heuristics evidences showing that the resulting algorithm catches all composite numbers. Our method is based on the structure of singular cubics' Jacobian groups on which we also define an effective addition algorithm.


Towards Persona Based Empathetic Conversational Models. Empathetic conversational models have been shown to improve user satisfaction and task outcomes in numerous domains. In Psychology, persona has been shown to be highly correlated to personality, which in turn influences empathy. In addition, our empirical analysis also suggests that persona plays an important role in empathetic conversations. To this end, we propose a new task towards persona based empathetic conversations and present the first empirical study on the impact of persona on empathetic responding. Specifically, we first present a novel large scale multi domain dataset for persona based empathetic conversations. We then propose CoBERT, an efficient BERT based response selection model that obtains the state of the art performance on our dataset. Finally, we conduct extensive experiments to investigate the impact of persona on empathetic responding. Notably, our results show that persona improves empathetic responding more when CoBERT is trained on empathetic conversations than non empathetic ones, establishing an empirical link between persona and empathy in human conversations.


Customizable Architecture Search for Semantic Segmentation. In this paper, we propose a Customizable Architecture Search (CAS) approach to automatically generate a network architecture for semantic image segmentation. The generated network consists of a sequence of stacked computation cells. A computation cell is represented as a directed acyclic graph, in which each node is a hidden representation (i.e., feature map) and each edge is associated with an operation (e.g., convolution and pooling), which transforms data to a new layer. During the training, the CAS algorithm explores the search space for an optimized computation cell to build a network. The cells of the same type share one architecture but with different weights. In real applications, however, an optimization may need to be conducted under some constraints such as GPU time and model size. To this end, a cost corresponding to the constraint will be assigned to each operation. When an operation is selected during the search, its associated cost will be added to the objective. As a result, our CAS is able to search an optimized architecture with customized constraints. The approach has been thoroughly evaluated on Cityscapes and CamVid datasets, and demonstrates superior performance over several state of the art techniques. More remarkably, our CAS achieves 72.3 mIoU on the Cityscapes dataset with speed of 108 FPS on an Nvidia TitanXp GPU.


A TDMA like Access Scheme with Splitting Request and Transmission for Vehicular Networks. In this paper, we consider safety message transmission in a dense vehicular network. With increasing vehicular network density, the collision rate increases when multiple vehicles transmit safety messages simultaneously. To address this issue, we propose a request transmission split time division multiple access (TDMA) scheme, referred to as RTS TDMA. In our scheme, we divide a frame into three phases, i.e., a contention access phase, a broadcast feedback phase, and a contention free transmission phase. Each vehicle selects a repetition rate according to a given probability distribution and repeats the transmission of its request packet to improve the reliability of the request. In addition, a roadside unit acts as the coordinator and uses a successive interference cancellation technique to resolve request collisions. RTS TDMA also reduces the request time percentage by containing only the vehicle identity in each request packet. Both theoretical analysis and numerical results verify that the RTS TDMA scheme can provide higher throughput than the coded slotted ALOHA scheme.


Microlocal regularity of nonlinear PDE in quasi homogeneous Fourier Lebesgue spaces. We study the continuity in weighted Fourier Lebesgue spaces for a class of pseudodifferential operators, whose symbol has finite Fourier Lebesgue regularity with respect to x and satisfies a quasi homogeneous decay of derivatives with respect to the xi variable. Applications to Fourier Lebesgue microlocal regularity of linear and nonlinear partial differential equations are given.


mathcal B 1 classes of DeGiorgi Ladyzhenskaya Ural'tseva and their applications to elliptic and parabolic equations with generalized Orlicz growth conditions. We introduce elliptic and parabolic mathcal B 1 classes that generalize the well known mathfrak B p classes of DeGiorgi, Ladyzhenskaya and Ural'tseva with p 1 . New classes are applied to prove pointwise continuity of solutions of elliptic and parabolic equations with nonstandard growth conditions. Our considerations cover new cases of variable exponent and (p, q) phase growth including the ,,singular degenerate'' parabolic case p 2 q .


Nonsplit conics in the reduction of an arithmetic curve. For an algebraic function field F K and a discrete valuation v of K with perfect residue field k , we bound the number of discrete valuations on F extending v whose residue fields are algebraic function fields of genus zero over k but not ruled. Assuming that K is relatively algebraically closed in F , we find that the number of nonruled residually transcendental extensions of v to F is bounded by mathfrak g 1 where mathfrak g is the genus of F K . An application to sums of squares in function fields of curves over mathbb R ( !(t) !) is presented.


Self Similar Grooving Solutions to the Mullins' Equation. In 1957, Mullins proposed surface diffusion motion as a model for thermal grooving. By adopting a small slope approximation, he reduced the model to the Mullins' linear surface diffusion equation, begin equation nonumber ( rm ME ) quad quad y t B y xxxx 0, end equation known also more simply as the Mullins' equation. Mullins sought self similar solutions to (ME) for planar initial conditions, prescribing boundary conditions at the thermal groove, as well as far field decay. He found explicit series solutions which are routinely used in analyzing thermal grooving to this day. While (ME) and the small slope approximation are physically reasonable, Mullins' choice of boundary conditions is not always appropriate. Here we present an in depth study of self similar solutions to the Mullins' equation for general self similar boundary conditions, explicitly identifying four linearly independent solutions defined on mathbb R setminus 0 among these four solutions, two exhibit unbounded growth and two exhibit asymptotic decay, far from the origin. We indicate how the full set of solutions can be used in analyzing the effective boundary conditions from experimental profiles and in evaluating the governing physical parameters.


A Meta Learning Approach for Graph Representation Learning in Multi Task Settings. Graph Neural Networks (GNNs) are a framework for graph representation learning, where a model learns to generate low dimensional node embeddings that encapsulate structural and feature related information. GNNs are usually trained in an end to end fashion, leading to highly specialized node embeddings. However, generating node embeddings that can be used to perform multiple tasks (with performance comparable to single task models) is an open problem. We propose a novel meta learning strategy capable of producing multi task node embeddings. Our method avoids the difficulties arising when learning to perform multiple tasks concurrently by, instead, learning to quickly (i.e. with a few steps of gradient descent) adapt to multiple tasks singularly. We show that the embeddings produced by our method can be used to perform multiple tasks with comparable or higher performance than classically trained models. Our method is model agnostic and task agnostic, thus applicable to a wide variety of multi task domains.


A tractable case of the Turing automorphism problem bi uniformly E 0 invariant Cantor homeomorphisms. A function F 2 omega to 2 omega is an E 0 isomorphism if for all x,y in 2 omega , we have xE 0y iff f(x)E 0 f(y) , where xE 0y iff( exists a)( forall n ge b) x(n) y(n) . If such witnesses a for xE 0 y and for f(x)E 0 f(y) depend on each other but not on x , y , then F is called bi uniform. It is shown that a homeomorphism of Cantor space which is a bi uniform E 0 isomorphism can induce only the trivial automorphism of the Turing degrees.


Mathematical modeling of variability in intracellular signaling. Cellular signaling is essential in information processing and decision making. Therefore, a variety of experimental approaches have been developed to study signaling on bulk and single cell level. Single cell measurements of signaling molecules demonstrated a substantial cell to cell variability, raising questions about its causes and mechanisms and about how cell populations cope with or exploit cellular heterogeneity. To gain insights from single cell signaling data, analysis and modeling approaches have been introduced. This review discusses these modeling approaches, with a focus on recent advances in the development and calibration of mechanistic models. Additionally, it outlines current and future challenges.


Geodesic complexity for non geodesic spaces. We define the notion of near geodesic between points of a metric space when no geodesic exists, and use this to extend Recio Mitter's notion of geodesic complexity to non geodesic spaces. This has potential application to topological robotics. We determine explicit near geodesics and geodesic complexity in a variety of cases.


The Ethical Dilemma when (not) Setting up Cost based Decision Rules in Semantic Segmentation. Neural networks for semantic segmentation can be seen as statistical models that provide for each pixel of one image a probability distribution on predefined classes. The predicted class is then usually obtained by the maximum a posteriori probability (MAP) which is known as Bayes rule in decision theory. From decision theory we also know that the Bayes rule is optimal regarding the simple symmetric cost function. Therefore, it weights each type of confusion between two different classes equally, e.g., given images of urban street scenes there is no distinction in the cost function if the network confuses a person with a street or a building with a tree. Intuitively, there might be confusions of classes that are more important to avoid than others. In this work, we want to raise awareness of the possibility of explicitly defining confusion costs and the associated ethical difficulties if it comes down to providing numbers. We define two cost functions from different extreme perspectives, an egoistic and an altruistic one, and show how safety relevant quantities like precision recall and (segment wise) false positive negative rate change when interpolating between MAP, egoistic and altruistic decision rules.


Non RLL DC Balance based on a Pre scrambled Polar Encoder for Beacon based Visible Light Communication Systems. Current flicker mitigation (or DC balance) solutions based on run length limited (RLL) decoding algorithms are high in complexity, suffer from reduced code rates, or are limited in application to hard decoding forward error correction (FEC) decoders. Fortunately, non RLL DC balance solutions can overcome the drawbacks of RLL based algorithms, but they meet some difficulties in system latency, low code rate or inferior error correction performance. Recently, non RLL flicker mitigation solution based on Polar code has proved to be a most optimal approach due to its natural equal probabilities of short runs of 1's and 0's with high error correction performance. However, we found that this solution can only maintain DC balance only when the data frame length is sufficiently long. Therefore, these solutions are not suitable for using in beacon based visible light communication (VLC) systems, which usually transmit ID information in small size data frames. In this paper, we introduce a flicker mitigation solution designed for beacon based VLC systems that combines a simple pre scrambler with a (256 158) non systematic polar encoder.


Using Depth for Pixel Wise Detection of Adversarial Attacks in Crowd Counting. State of the art methods for counting people in crowded scenes rely on deep networks to estimate crowd density. While effective, deep learning approaches are vulnerable to adversarial attacks, which, in a crowd counting context, can lead to serious security issues. However, attack and defense mechanisms have been virtually unexplored in regression tasks, let alone for crowd density estimation. In this paper, we investigate the effectiveness of existing attack strategies on crowd counting networks, and introduce a simple yet effective pixel wise detection mechanism. It builds on the intuition that, when attacking a multitask network, in our case estimating crowd density and scene depth, both outputs will be perturbed, and thus the second one can be used for detection purposes. We will demonstrate that this significantly outperforms heuristic and uncertainty based strategies.


A regularity criterion in weak spaces to Boussinesq equations. In this paper, we study regularity of weak solutions to the incompressible Boussinesq equations in mathbb R 3 times (0,T) . The main goal is to establish the regularity criterion in terms of one velocity component and the gradient of temperature in Lorentz spaces.


Nonequilibrium Green's functions for functional connectivity in the brain. A theoretical framework describing the set of interactions between neurons in the brain, or functional connectivity, should include dynamical functions representing the propagation of signal from one neuron to another. Green's functions and response functions are natural candidates for this but, while they are conceptually very useful, they are usually defined only for linear time translationally invariant systems. The brain, instead, behaves nonlinearly and in a time dependent way. Here, we use nonequilibrium Green's functions to describe the time dependent functional connectivity of a continuous variable network of neurons. We show how the connectivity is related to the measurable response functions, and provide two illustrative examples via numerical calculations, inspired from textit C. elegans .


Author Impact Evaluations, Predictions, and Challenges. Author impact evaluation and prediction play a key role in determining rewards, funding, and promotion. In this paper, we first introduce the background of author impact evaluation and prediction. Then, we review recent developments of author impact evaluation, including data collection, data pre processing, data analysis, feature selection, algorithm design, and algorithm evaluation. Thirdly, we provide an in depth literature review on author impact predictive models and common evaluation metrics. Finally, we look into the representative research issues, including author impact inflation, unified evaluation standards, academic success gene, identification of the origins of hot streaks, and higher order academic networks analysis. This paper should help the researchers obtain a broader understanding in author impact evaluation and prediction, and provides future research directions.


Stability theorems for some Kruskal Katona type results. The classical Kruskal Katona theorem gives a tight upper bound for the size of an r uniform hypergraph mathcal H as a function of the size of its shadow. Its stability version was obtained by Keevash who proved that if the size of mathcal H is close to the maximum, then mathcal H is structurally close to a complete r uniform hypergraph. We prove similar stability results for two classes of hypergraphs whose extremal properties have been investigated by many researchers the cancellative hypergraphs and hypergraphs without expansion of cliques.


The Hilbert Schinzel specialization property. We establish a version "over the ring" of the celebrated Hilbert Irreducibility Theorem. Given finitely many polynomials in k n variables, with coefficients in mathbb Z , of positive degree in the last n variables, we show that if they are irreducible over mathbb Z and satisfy a necessary "Schinzel condition", then the first k variables can be specialized in a Zariski dense subset of mathbb Z k in such a way that irreducibility over mathbb Z is preserved for the polynomials in the remaining n variables. The Schinzel condition, which comes from the Schinzel Hypothesis, is that, when specializing the first k variables in mathbb Z k , the product of the polynomials should not always be divisible by some common prime number. Our result also improves on a "coprime" version of the Schinzel Hypothesis under some Schinzel condition, coprime polynomials assume coprime values. We prove our results over many other rings than mathbb Z , e.g. UFDs and Dedekind domains for the last one.


The elliptic function rm dn 3 of Shen. We analyze the elliptic function rm dn 3 introduced by Li Chien Shen, contributing to the Ramanujan theory of elliptic functions in signature three. A famous hypergeometric identity emerges from our analysis.


Bayesian optimization of a free electron laser. The Linac Coherent Light Source changes configurations multiple times per day, necessitating fast tuning strategies to reduce setup time for successive experiments. To this end, we employ a Bayesian approach to transport optics tuning to optimize groups of quadrupole magnets. We use a Gaussian process to provide a probabilistic model of the machine response with respect to control parameters from a modest number of samples. Subsequent samples are selected during optimization using a statistical test combining the model prediction and uncertainty. The model parameters are fit from archived scans, and correlations between devices are added from a simple beam transport model. The result is a sample efficient optimization routine, which we show significantly outperforms existing optimizers.


On a quarantine model of coronavirus infection and data analysis. Attempts to curb the spread of coronavirus by introducing strict quarantine measures apparently have different effect in different countries while the number of new cases has reportedly decreased in China and South Korea, it still exhibit significant growth in Italy and other countries across Europe. In this brief note, we endeavour to assess the efficiency of quarantine measures by means of mathematical modelling. Instead of the classical SIR model, we introduce a new model of infection progression under the assumption that all infected individual are isolated after the incubation period in such a way that they cannot infect other people. Disease progression in this model is determined by the basic reproduction number mathcal R 0 (the number of newly infected individuals during the incubation period), which is different compared to that for the standard SIR model. If mathcal R 0 1 , then the number of latently infected individuals exponentially grows. However, if mathcal R 0 1 (e.g. due to quarantine measures and contact restrictions imposed by public authorities), then the number of infected decays exponentially. We then consider the available data on the disease development in different countries to show that there are three possible patterns growth dynamics, growth decays dynamics, and patchy dynamics (growth decay growth). Analysis of the data in China and Korea shows that the peak of infection (maximum of daily cases) is reached about 10 days after the restricting measures are introduced. During this period of time, the growth rate of the total number of infected was gradually decreasing. However, the growth rate remains exponential in Italy. Arguably, it suggests that the introduced quarantine is not sufficient and stricter measures are needed.


A new (and optimal) result for boundedness of solution of a quasilinear chemotaxis haptotaxis model (with logistic source). This article deals with an initial boundary value problem for the coupled chemotaxis haptotaxis system with nonlinear diffusion left begin array ll u t nabla cdot( D(u) nabla u) chi nabla cdot(u nabla v) xi nabla cdot(u nabla w) mu u(1 u w), x in Omega, t 0, tau v t Delta v v u, quad x in Omega, t 0, w t vw, quad x in Omega, t 0, end array right. under homogeneous Neumann boundary conditions in a smooth bounded domain Omega subset mathbb R N(N geq1) , where tau in 0,1 and chi , xi and mu are given nonnegative parameters. As far as we know, this situation provides the first bf rigorous result which (precisely) gives the relationship between m, xi, chi and mu that yields to the boundedness of the solutions. Moreover, these results thereby significantly extending results of previous results of several authors (see Remarks 1.1 and 1.2) and some optimal results are obtained.


On a construction of quasi Einstein shearfree spacetimes. In this article we prove that a certain class of it smooth Sasakian manifolds admits lifts to 4 dimensional quasi Einstein shearfree spacetimes of Petrov type II or D. This is related to an analogous result by Hill, Lewandowski and Nurowski cite HLN for general it real analytic CR manifolds. In particular, this holds for all tubular CR manifolds. Furthermore, we show that any Sasakian manifold with underlying K "ahler Einstein manifold with non zero Einstein constant has a lift to a shearfree Einstein metric of Petrov type II or D.