Immutable Log Storage as a Service on Private and Public Blockchains. Service Level Agreements (SLA) are employed to ensure the performance of Cloud solutions. When a component fails, the importance of logs increases significantly. All departments may turn to logs to determine the cause of the issue and find the party at fault. The party at fault may be motivated to tamper with the logs to hide their role. We argue that the critical nature of Cloud logs calls for immutability and verification mechanism without the presence of a single trusted party. This paper proposes such a mechanism by describing a blockchain based log storage system, called Logchain, which can be integrated with existing private and public blockchain solutions. Logchain uses the immutability feature of blockchain to provide a tamper resistance platform for log storage. Additionally, we propose a hierarchical structure to address blockchains' scalability issues. To validate the mechanism, we integrate Logchain into Ethereum and IBM Blockchain. We show that the solution is scalable and perform the analysis of the cost of ownership to help a reader select an implementation that would address their needs. The Logchain's scalability improvement on a blockchain is achieved without any alteration of blockchains' fundamental architecture. As shown in this work, it can function on private and public blockchains and, therefore, can be a suitable alternative for organizations that need a secure, immutable log storage platform.


Being Fast Means Being Chatty The Local Information Cost of Graph Spanners. We introduce a new measure for quantifying the amount of information that the nodes in a network need to learn to jointly solve a graph problem. We show that the local information cost ( textsf LIC ) presents a natural lower bound on the communication complexity of distributed algorithms. For the synchronous CONGEST KT1 model, where each node has initial knowledge of its neighbors' IDs, we prove that Omega( textsf LIC gamma(P) log tau log n) bits are required for solving a graph problem P with a tau round algorithm that errs with probability at most gamma . Our result is the first lower bound that yields a general trade off between communication and time for graph problems in the CONGEST KT1 model. We demonstrate how to apply the local information cost by deriving a lower bound on the communication complexity of computing a (2t 1) spanner that consists of at most O(n 1 1 t epsilon ) edges, where epsilon Theta(1 t 2) . Our main result is that any O( textsf poly (n)) time algorithm must send at least tilde Omega((1 t 2) n 1 1 2t ) bits in the CONGEST model under the KT1 assumption. Previously, only a trivial lower bound of tilde Omega(n) bits was known for this problem. A consequence of our lower bound is that achieving both time and communication optimality is impossible when designing a distributed spanner algorithm. In light of the work of King, Kutten, and Thorup (PODC 2015), this shows that computing a minimum spanning tree can be done significantly faster than finding a spanner when considering algorithms with tilde O(n) communication complexity. Our result also implies time complexity lower bounds for constructing a spanner in the node congested clique of Augustine et al. (2019) and in the push pull gossip model with limited bandwidth.


Quasi Branch and Bound for Smooth Global Optimization. Quasi branch and bound is a recently introduced generalization of branch and bound, where lower bounds are replaced by a relaxed notion of quasi lower bounds, required to be lower bounds only for sub cubes containing a minimizer. This paper is devoted to studying the possible benefits of this approach, for the problem of minimizing a smooth function over a cube. This is accomplished by suggesting two quasi branch and bound algorithms, qBnB(2) and qBnB(3), that compare favorably with alternative branch and bound algorithms. The first algorithm we propose, qBnB(2), achieves second order convergence based only on a bound on second derivatives, without requiring calculation of derivatives. As such, this algorithm is suitable for derivative free optimization, for which typical algorithms such as Lipschitz optimization only have first order convergence and so suffer from limited accuracy due to the clustering problem. Additionally, qBnB(2) is provably more efficient than the second order Lipschitz gradient algorithm which does require exact calculation of gradients. The second algorithm we propose, qBnB(3), has third order convergence and finite termination. In contrast with BnB algorithms with similar guarantees who typically compute lower bounds via solving relatively time consuming convex optimization problems, calculation of qBnB(3) bounds only requires solving a small number of Newton iterations. Our experiments verify the potential of both these methods in comparison with state of the art branch and bound algorithms.


Long run risk sensitive impulse control. In this paper we consider long run risk sensitive average cost impulse control applied to a continuous time Feller Markov process. Using the probabilistic approach, we show how to get a solution to a suitable continuous time Bellman equation and link it with the impulse control problem. The optimal strategy for the underlying problem is constructed as a limit of dyadic impulse strategies by exploiting regularity properties of the linked risk sensitive optimal stopping value functions. In particular, this shows that the discretized setting could be used to approximate near optimal strategies for the underlying continuous time control problem, which facilitates the usage of the standard approximation tools. For completeness, we present examples of processes that could be embedded into our framework.


Inferring and Learning Multi Robot Policies by Observing an Expert. We present a technique for learning how to solve a multi robot mission that requires interaction with an external environment by observing an expert system executing the same mission. We define the expert system as a team of robots equipped with a library of controllers, each designed to solve a specific task, supervised by an expert policy that appropriately selects controllers based on the states of robots and environment. The objective is for an un trained team of robots (i.e., imitator system) equipped with the same library of controllers, but agnostic to the expert policy, to execute the mission, with performances comparable to those of the expert system. From un annotated observations of the expert system, a multi hypothesis filtering technique is used to estimate individual controllers executed by the expert policy. Then, the history of estimated controllers and environmental states is used to train a neural network policy for the imitator system. Considering a perimeter protection scenario on a team of differential drive robots, we show that the learned policy endows the imitator system with performances comparable to those of the expert system.


Multifaceted 4D Feature Segmentation and Extraction in Point and Field based Datasets. The use of large scale multifaceted data is common in a wide variety of scientific applications. In many cases, this multifaceted data takes the form of a field based (Eulerian) and point trajectory based (Lagrangian) representation as each has a unique set of advantages in characterizing a system of study. Furthermore, studying the increasing scale and complexity of these multifaceted datasets is limited by perceptual ability and available computational resources, necessitating sophisticated data reduction and feature extraction techniques. In this work, we present a new 4D feature segmentation extraction scheme that can operate on both the field and point trajectory data types simultaneously. The resulting features are time varying data subsets that have both a field and point based component, and were extracted based on underlying patterns from both data types. This enables researchers to better explore both the spatial and temporal interplay between the two data representations and study underlying phenomena from new perspectives. We parallelize our approach using GPU acceleration and apply it to real world multifaceted datasets to illustrate the types of features that can be extracted and explored.


Asymptotic Analysis of Transport Equation in Bounded Domains. Consider neutron transport equations in 3D convex domains with in flow boundary. We mainly study the asymptotic limits as the Knudsen number epsilon rightarrow 0 . Using Hilbert expansion, we rigorously justify that the solution of steady problem converges to that of the Laplace's equation, and the solution of unsteady problem converges to that of the heat equation. The proof relies on a detailed analysis on the boundary layer effect with geometric correction. This problem can be formulated in many different settings, and the above one is probably the most physically significant and most mathematically challenging. We have to utilize almost all methods and techniques we developed in a series of papers in the past decade, and bring novel ideas to treat the new complications. The difficulty mainly comes from three sources 3D domain, boundary layer regularity, and time dependence. To fully solve this problem, we introduce several techniques (1) boundary layer with geometric correction (2) remainder estimates with L 2 L 2m L infty framework boundary layer decomposition.


Hybrid Planning for Dynamic Multimodal Stochastic Shortest Paths. Sequential decision problems in applications such as manipulation in warehouses, multi step meal preparation, and routing in autonomous vehicle networks often involve reasoning about uncertainty, planning over discrete modes as well as continuous states, and reacting to dynamic updates. To formalize such problems generally, we introduce a class of Markov Decision Processes (MDPs) called Dynamic Multimodal Stochastic Shortest Paths (DMSSPs). Much of the work in these domains solves deterministic variants, which can yield poor results when the uncertainty has downstream effects. We develop a Hybrid Stochastic Planning (HSP) algorithm, which uses domain agnostic abstractions to efficiently unify heuristic search for planning over discrete modes, approximate dynamic programming for stochastic planning over continuous states, and hierarchical interleaved planning and execution. In the domain of autonomous multimodal routing, HSP obtains significantly higher quality solutions than a state of the art Upper Confidence Trees algorithm and a two level Receding Horizon Control algorithm.


Unsupervised Pre trained, Texture Aware And Lightweight Model for Deep Learning Based Iris Recognition Under Limited Annotated Data. In this paper, we present a texture aware lightweight deep learning framework for iris recognition. Our contributions are primarily three fold. Firstly, to address the dearth of labelled iris data, we propose a reconstruction loss guided unsupervised pre training stage followed by supervised refinement. This drives the network weights to focus on discriminative iris texture patterns. Next, we propose several texture aware improvisations inside a Convolution Neural Net to better leverage iris textures. Finally, we show that our systematic training and architectural choices enable us to design an efficient framework with upto 100X fewer parameters than contemporary deep learning baselines yet achieve better recognition performance for within and cross dataset evaluations.


Optimal step length for the Newton method near the minimum of a self concordant function. In path following methods for conic programming knowledge of the performance of the (damped) Newton method at finite distances from the minimizer of a self concordant function is crucial for the tuning of the parameters of the method. The available bounds on the progress and the step length to be used are based on conservative relations between the Hessians at different points and are hence sub optimal. In this contribution we use methods of optimal control theory to compute the optimal step length of the Newton method on the class of self concordant functions, as a function of the initial Newton decrement, and the resulting worst case decrease of the decrement. The exact bounds are expressed in terms of solutions of ordinary differential equations which cannot be integrated explicitly. We provide approximate numerical and analytic expressions which are accurate enough for use in optimization methods. As an application, the neighbourhood of the central path in which the iterates of path following methods are required to stay can be enlarged, enabling faster progress along the central path during each iteration and hence fewer iterations to achieve a given accuracy.


Multi user Communication in Difficult Interference. The co channel interference (CCI) is one of the major impairments in wireless communication. CCI typically reduces the reliability of wireless communication links, but the difficult CCI which is no more or less strong to the desired signals destroys wireless links despite having myriad of CCI mitigation methods. It is shown in this paper that M QAM (Quadrature Amplitude Modulation) or similar modulation schemes which modulate information both in in phase and quadrature phase are particularly vulnerable to difficult CCI. Despite well known shortcomings, it is shown in this paper that M PAM or similar schemes that use a single dimension for modulation provides an important mean for difficult CCI mitigation.


The second descent obstruction and gerbes. We extend the notion of rational points and cohomological obstructions on varieties to categories fibred in groupoids. We also establish the generalized theory of descent by torsors. Then we interpret the obstruction given by the second cohomology of abelian sheaves in terms of categorical points of gerbes, analogue to descent by torsors. As an application, we construct some composite obstructions not larger than the descent obstruction. We also propose some new kinds of obstructions including the derived obstruction, which has good behavior under a product and is also not larger than the descent obstruction.


C Vectors and Non Self Crossing Curves for Acyclic Quivers of Finite Type. Let Q be an acyclic quiver and k be an algebraically closed field. The indecomposable exceptional modules of the path algebra kQ have been widely studied. The real Schur roots of the root system associated to Q are the dimension vectors of the indecomposable exceptional modules. It has been shown in N 'ajera Ch 'avez A., Int. Math. Res. Not. 2015 (2015), 1590 1600 that for acyclic quivers, the set of positive c vectors and the set of real Schur roots coincide. To give a diagrammatic description of c vectors, K H. Lee and K. Lee conjectured that for acyclic quivers, the set of c vectors and the set of roots corresponding to non self crossing admissible curves are equivalent as sets Exp. Math., to appear, arXiv 1703.09113 . In Adv. Math. 340 (2018), 855 882 , A. Felikson and P. Tumarkin proved this conjecture for 2 complete quivers. In this paper, we prove a revised version of Lee Lee conjecture for acyclic quivers of type A , D , and E 6 and E 7 .


Populations in environments with a soft carrying capacity are eventually extinct. Consider a population whose size changes stepwise by its members reproducing or dying (disappearing), but is otherwise quite general. Denote the initial (non random) size by Z 0 and the size of the n th change by C n , n 1, 2, ldots . Population sizes hence develop successively as Z 1 Z 0 C 1, Z 2 Z 1 C 2 and so on, indefinitely or until there are no further size changes, due to extinction. Extinction is thus assumed final, so that Z n 0 implies that Z n 1 0 , without there being any other finite absorbing class of population sizes. We make no assumptions about the time durations between the successive changes. In the real world, or more specific models, those may be of varying length, depending upon individual life span distributions and their interdependencies, the age distribution at hand and intervening circumstances. Changes may have quite varying distributions. The basic assumption is that there is a em carrying capacity , i.e. a non negative number K such that the conditional expectation of the change, given the complete past history, is non positive whenever the population exceeds the carrying capacity. Further, to avoid unnecessary technicalities, we assume that the change C n equals 1 (one individual dying) with a conditional (given the past) probability uniformly bounded away from 0. It is a simple and not very restrictive way to avoid parity phenomena, it is related to irreducibility in Markov settings. The straightforward, but in contents and implications far reaching, consequence is that all such populations must die out. Mathematically, it follows by a submartingale convergence property and positive probability of reaching the absorbing extinction state.


Deep Complementary Joint Model for Complex Scene Registration and Few shot Segmentation on Medical Images. Deep learning based medical image registration and segmentation joint models utilize the complementarity (augmentation data or weakly supervised data from registration, region constraints from segmentation) to bring mutual improvement in complex scene and few shot situation. However, further adoption of the joint models are hindered 1) the diversity of augmentation data is reduced limiting the further enhancement of segmentation, 2) misaligned regions in weakly supervised data disturb the training process, 3) lack of label based region constraints in few shot situation limits the registration performance. We propose a novel Deep Complementary Joint Model (DeepRS) for complex scene registration and few shot segmentation. We embed a perturbation factor in the registration to increase the activity of deformation thus maintaining the augmentation data diversity. We take a pixel wise discriminator to extract alignment confidence maps which highlight aligned regions in weakly supervised data so the misaligned regions' disturbance will be suppressed via weighting. The outputs from segmentation model are utilized to implement deep based region constraints thus relieving the label requirements and bringing fine registration. Extensive experiments on the CT dataset of MM WHS 2017 Challenge show great advantages of our DeepRS that outperforms the existing state of the art models.


Automatic Optimizations for Stream based Monitoring Languages. Runtime monitors that are specified in a stream based monitoring language tend to be easier to understand, maintain, and reuse than those written in a standard programming language. Because of their formal semantics, such specification languages are also a natural choice for safety critical applications. Unlike for standard programming languages, there is, however, so far very little support for automatic code optimization. In this paper, we present the first collection of code transformations for the stream based monitoring language RTLola. We show that classic compiler optimizations, such as Sparse Conditional Constant Propagation and Common Subexpression Elimination, can be adapted to monitoring specifications. We also develop new transformations Pacing Type Refinement and Filter Refinement which exploit the specific modular structure of RTLola as well as the implementation freedom afforded by a declarative specification language. We demonstrate the significant impact of the code transformations on benchmarks from the monitoring of unmanned aircraft systems (UAS).


On the Einstein condition for Lorentzian 3 manifolds. It is well known that in Lorentzian geometry there are no compact spherical space forms in dimension 3, this means there are no closed Einstein 3 manifolds with positive Einstein constant. We generalize this fact here, by proving that there are also no closed Lorentzian 3 manifolds (M,g) whose Ricci tensor satisfies text Ric fg (f lambda)T flat otimes T flat , for any unit timelike vector field T , any positive constant lambda , and any smooth function f that never takes the values 0, lambda . (Observe that this reduces to the positive Einstein case when f lambda .) We show that there is no such obstruction if lambda is negative. Finally, the "borderline" case lambda 0 is also examined we show that if lambda 0 and f 0 , then (M,g) must be isometric to ( mathbb S 1 ! times !N, dt 2 oplus h) with (N,h) a Riemannian manifold.


On the Benefits of Populations on the Exploitation Speed of Standard Steady State Genetic Algorithms. It is generally accepted that populations are useful for the global exploration of multi modal optimisation problems. Indeed, several theoretical results are available showing such advantages over single trajectory search heuristics. In this paper we provide evidence that evolving populations via crossover and mutation may also benefit the optimisation time for hillclimbing unimodal functions. In particular, we prove bounds on the expected runtime of the standard ( mu 1) GA for OneMax that are lower than its unary black box complexity and decrease in the leading constant with the population size up to mu O( sqrt log n ) . Our analysis suggests that the optimal mutation strategy is to flip two bits most of the time. To achieve the results we provide two interesting contributions to the theory of randomised search heuristics 1) A novel application of drift analysis which compares absorption times of different Markov chains without defining an explicit potential function. 2) The inversion of fundamental matrices to calculate the absorption times of the Markov chains. The latter strategy was previously proposed in the literature but to the best of our knowledge this is the first time is has been used to show non trivial bounds on expected runtimes.


Strongly Normalizing Higher Order Relational Queries. Language integrated query is a popular and powerful programming construct allowing database queries and ordinary program code to interoperate seamlessly and safely. Language integrated query techniques rely on classical results about the nested relational calculus stating that its queries can be algorithmically translated to SQL, as long as their result type is a flat relation. Cooper and others advocated higher order nested relational calculi as a basis for language integrated queries in functional languages such as Links and F . However, the translation of higher order relational queries to SQL relies on a rewrite system for which no strong normalization proof has been published a previous proof attempt does not deal correctly with rewrite rules that duplicate subterms. This paper fills the gap in the literature, explaining the difficulty with the previous attempt, and showing how to extend the top top lifting approach of Lindley and Stark to accommodate duplicating rewrites. We also show how to extend the proof to a recently introduced calculus for heterogeneous queries mixing set and multiset semantics.


Corrigendum On subadditivity of the logarithmic Kodaira dimension. John Lesieutre constructed an example satisfying kappa sigma ne kappa nu . This says that the proof of the inequalities in Theorems 1.3, 1.9, and Remark 3.8 in O. Fujino, On subadditivity of the logarithmic Kodaira dimension, J. Math. Soc. Japan 69 (2017), no. 4, 1565 1581 is insufficient. We claim that some weaker inequalities still hold true and they are sufficient for various applications.


Exploring Partial Intrinsic and Extrinsic Symmetry in 3D Medical Imaging. We present a novel methodology to detect imperfect bilateral symmetry in CT of human anatomy. In this paper, the structurally symmetric nature of the pelvic bone is explored and is used to provide interventional image augmentation for treatment of unilateral fractures in patients with traumatic injuries. The mathematical basis of our solution is on the incorporation of attributes and characteristics that satisfy the properties of intrinsic and extrinsic symmetry and are robust to outliers. In the first step, feature points that satisfy intrinsic symmetry are automatically detected in the M "obius space defined on the CT data. These features are then pruned via a two stage RANSAC to attain correspondences that satisfy also the extrinsic symmetry. Then, a disparity function based on Tukey's biweight robust estimator is introduced and minimized to identify a symmetry plane parametrization that yields maximum contralateral similarity. Finally, a novel regularization term is introduced to enhance similarity between bone density histograms across the partial symmetry plane, relying on the important biological observation that, even if injured, the dislocated bone segments remain within the body. Our extensive evaluations on various cases of common fracture types demonstrate the validity of the novel concepts and the robustness and accuracy of the proposed method.


Vis a Vis Visual Exploration of Visualization Source Code Evolution. Developing an algorithm for a visualization prototype often involves the direct comparison of different development stages and design decisions, and even minor modifications may dramatically affect the results. While existing development tools provide visualizations for gaining general insight into performance and structural aspects of the source code, they neglect the central importance of result images unique to graphical algorithms. In this paper, we present a novel approach that enables visualization programmers to simultaneously explore the evolution of their algorithm during the development phase together with its corresponding visual outcomes by providing an automatically updating meta visualization. Our interactive system allows for the direct comparison of all development states on both the visual and the source code level, by providing easy to use navigation and comparison tools. The on the fly construction of difference images, source code differences, and a visual representation of the source code structure further enhance the user's insight into the states' interconnected changes over time. Our solution is accessible via a web based interface that provides GPU accelerated live execution of C and GLSL code, as well as supporting a domain specific programming language for scientific visualization.


Assisted Probe Positioning for Ultrasound Guided Radiotherapy Using Image Sequence Classification. Effective transperineal ultrasound image guidance in prostate external beam radiotherapy requires consistent alignment between probe and prostate at each session during patient set up. Probe placement and ultrasound image inter pretation are manual tasks contingent upon operator skill, leading to interoperator uncertainties that degrade radiotherapy precision. We demonstrate a method for ensuring accurate probe placement through joint classification of images and probe position data. Using a multi input multi task algorithm, spatial coordinate data from an optically tracked ultrasound probe is combined with an image clas sifier using a recurrent neural network to generate two sets of predictions in real time. The first set identifies relevant prostate anatomy visible in the field of view using the classes outside prostate, prostate periphery, prostate centre. The second set recommends a probe angular adjustment to achieve alignment between the probe and prostate centre with the classes move left, move right, stop. The algo rithm was trained and tested on 9,743 clinical images from 61 treatment sessions across 32 patients. We evaluated classification accuracy against class labels de rived from three experienced observers at 2 3 and 3 3 agreement thresholds. For images with unanimous consensus between observers, anatomical classification accuracy was 97.2 and probe adjustment accuracy was 94.9 . The algorithm identified optimal probe alignment within a mean (standard deviation) range of 3.7 circ (1.2 circ ) from angle labels with full observer consensus, comparable to the 2.8 circ (2.6 circ ) mean interobserver range. We propose such an algorithm could assist ra diotherapy practitioners with limited experience of ultrasound image interpreta tion by providing effective real time feedback during patient set up.


Algebraic geometry of Lie bialgebras defined by solutions of the classical Yang Baxter equation. This paper is devoted to algebro geometric study of infinite dimensional Lie bialgebras, which arise from solutions of the classical Yang Baxter equation. We regard trigonometric solutions of this equation as twists of the standard Lie bialgebra cobracket on an appropriate affine Lie algebra and work out the corresponding theory of Manin triples, putting it into an algebro geometric context. As a consequence of this approach, we prove that any trigonometric solution of the classical Yang Baxter equation arises from an appropriate algebro geometric datum. The developed theory is illustrated by some concrete examples.


Towards One Dollar Robots An Integrated Design and Fabrication Strategy for Electromechanical Systems. To improve the accessibility of robotics, we propose a design and fabrication strategy to build low cost electromechanical systems for robotic devices. Our method, based on origami inspired cut and fold and E textiles techniques, aims at minimizing the resources for robot creation. Specifically, we explore techniques to create robots with the resources restricted to single layer sheets (e.g. polyester film) and conductive sewing threads. To demonstrate our strategy's feasibility, these techniques are successfully integrated into an electromechanical oscillator (about 0.40 USD), which can generate electrical oscillation under constant current power and potentially be used as a simple robot controller in lieu of additional external electronics.


A Closer Look at the Robustness of Vision and Language Pre trained Models. Large scale pre trained multimodal transformers, such as ViLBERT and UNITER, have propelled the state of the art in vision and language (V L) research to a new level. Although achieving impressive performance on standard tasks, to date, it still remains unclear how robust these pre trained models are. To investigate, we conduct a host of thorough evaluations on existing pre trained models over 4 different types of V L specific model robustness (i) Linguistic Variation (ii) Logical Reasoning (iii) Visual Content Manipulation and (iv) Answer Distribution Shift. Interestingly, by standard model finetuning, pre trained V L models already exhibit better robustness than many task specific state of the art methods. To further enhance model robustness, we propose Mango, a generic and efficient approach that learns a Multimodal Adversarial Noise GeneratOr in the embedding space to fool pre trained V L models. Differing from previous studies focused on one specific type of robustness, Mango is task agnostic, and enables universal performance lift for pre trained models over diverse tasks designed to evaluate broad aspects of robustness. Comprehensive experiments demonstrate that Mango achieves new state of the art on 7 out of 9 robustness benchmarks, surpassing existing methods by a significant margin. As the first comprehensive study on V L robustness, this work puts robustness of pre trained models into sharper focus, pointing new directions for future study.


The perturbation analysis of nonconvex low rank matrix robust recovery. In this paper, we bring forward a completely perturbed nonconvex Schatten p minimization to address a model of completely perturbed low rank matrix recovery. The paper that based on the restricted isometry property generalizes the investigation to a complete perturbation model thinking over not only noise but also perturbation, gives the restricted isometry property condition that guarantees the recovery of low rank matrix and the corresponding reconstruction error bound. In particular, the analysis of the result reveals that in the case that p decreases 0 and a 1 for the complete perturbation and low rank matrix, the condition is the optimal sufficient condition delta 2r 1 cite Recht et al 2010 . The numerical experiments are conducted to show better performance, and provides outperformance of the nonconvex Schatten p minimization method comparing with the convex nuclear norm minimization approach in the completely perturbed scenario.


Polarization in Attraction Repulsion Models. This paper introduces a model for opinion dynamics, where at each time step, randomly selected agents see their opinions modeled as scalars in 0,1 evolve depending on a local interaction function. In the classical Bounded Confidence Model, agents opinions get attracted when they are close enough. The proposed model extends this by adding a repulsion component, which models the effect of opinions getting further pushed away when dissimilar enough. With this repulsion component added, and under a repulsion attraction cleavage assumption, it is shown that a new stable configuration emerges beyond the classical consensus configuration, namely the polarization configuration. More specifically, it is shown that total consensus and total polarization are the only two possible limiting configurations. The paper further provides an analysis of the infinite population regime in dimension 1 and higher, with a phase transition phenomenon conjectured and backed heuristically.


Are You Looking? Grounding to Multiple Modalities in Vision and Language Navigation. Vision and Language Navigation (VLN) requires grounding instructions, such as "turn right and stop at the door", to routes in a visual environment. The actual grounding can connect language to the environment through multiple modalities, e.g. "stop at the door" might ground into visual objects, while "turn right" might rely only on the geometric structure of a route. We investigate where the natural language empirically grounds under two recent state of the art VLN models. Surprisingly, we discover that visual features may actually hurt these models models which only use route structure, ablating visual features, outperform their visual counterparts in unseen new environments on the benchmark Room to Room dataset. To better use all the available modalities, we propose to decompose the grounding procedure into a set of expert models with access to different modalities (including object detections) and ensemble them at prediction time, improving the performance of state of the art models on the VLN task.


Integrated Process Planning and Scheduling in Commercial Smart Kitchens. This paper describes the possibility of applying a generic, cloud based Optimisation as a Service facility to food cooking planning and scheduling in a commercial kitchen. We propose a chromosome encoding and customisation of the classic MOEA D multi objective genetic algorithm. The applicability of the proposed approach is evaluated experimentally for two scenarios different with respect to the number of cooking appliances and the amount of the ordered food. The proposed system managed to determine the trade offs between cooking time, energy dissipation and food quality.


Automatic Generation of Pull Request Descriptions. Enabled by the pull based development model, developers can easily contribute to a project through pull requests (PRs). When creating a PR, developers can add a free form description to describe what changes are made in this PR and or why. Such a description is helpful for reviewers and other developers to gain a quick understanding of the PR without touching the details and may reduce the possibility of the PR being ignored or rejected. However, developers sometimes neglect to write descriptions for PRs. For example, in our collected dataset with over 333K PRs, more than 34 of the PR descriptions are empty. To alleviate this problem, we propose an approach to automatically generate PR descriptions based on the commit messages and the added source code comments in the PRs. We regard this problem as a text summarization problem and solve it using a novel sequence to sequence model. To cope with out of vocabulary words in software artifacts and bridge the gap between the training loss function of the sequence to sequence model and the evaluation metric ROUGE, which has been shown to correspond to human evaluation, we integrate the pointer generator and directly optimize for ROUGE using reinforcement learning and a special loss function. We build a dataset with over 41K PRs and evaluate our approach on this dataset through ROUGE and a human evaluation. Our evaluation results show that our approach outperforms two baselines by significant margins.


Generalizing from a Few Examples A Survey on Few Shot Learning. Machine learning has been highly successful in data intensive applications but is often hampered when the data set is small. Recently, Few Shot Learning (FSL) is proposed to tackle this problem. Using prior knowledge, FSL can rapidly generalize to new tasks containing only a few samples with supervised information. In this paper, we conduct a thorough survey to fully understand FSL. Starting from a formal definition of FSL, we distinguish FSL from several relevant machine learning problems. We then point out that the core issue in FSL is that the empirical risk minimized is unreliable. Based on how prior knowledge can be used to handle this core issue, we categorize FSL methods from three perspectives (i) data, which uses prior knowledge to augment the supervised experience (ii) model, which uses prior knowledge to reduce the size of the hypothesis space and (iii) algorithm, which uses prior knowledge to alter the search for the best hypothesis in the given hypothesis space. With this taxonomy, we review and discuss the pros and cons of each category. Promising directions, in the aspects of the FSL problem setups, techniques, applications and theories, are also proposed to provide insights for future research.


Abstract Vergleichsstellens "atze for preordered semifields and semirings I. Real algebra is usually thought of as the study of certain kinds of preorders on fields and rings. Among its core themes are the separation theorems known as Positivstellens "atze. However, there is a nascent subfield of real algebra which studies preordered semirings and semifields, which is motivated by applications to probability, graph theory and theoretical computer science, among others. Here, we contribute to this subfield by developing a number of foundational results for it, with two abstract Vergleichsstellens "atze being our main theorems. Our first Vergleichsstellensatz states that every semifield preorder is the intersection of its total extensions. We apply this to derive our second main result, a Vergleichsstellensatz for certain non Archimedean preordered semirings in which the homomorphisms to the tropical reals play an important role. We show how this result recovers the existing Vergleichsstellensatz of Strassen and (through the latter) the classical Positivstellensatz of Krivine Kadison Dubois.


Scalar Curvature Splittings I Minimal Factors. Scalar curvature constraints can be studied by means of splitting procedures. The success of this strategy depends on the control we can get on its splitting factors. We introduce canonical so called minimal splitting factors. They have positive scalar curvature while other properties strongly resemble those of area minimizing hypersurfaces. This includes the presence of Poincare, Sobolev and isoperimetric inequalities and the fact that singular points admit tangent cones but now with positive scalar curvature.


Difference families, skew Hadamard matrices, and Critical groups of doubly regular tournaments. In this paper we investigate the structure of the critical groups of doubly regular tournaments (DRTs) associated with skew Hadamard difference families (SDFs) with one, two, or four blocks. Brown and Reid found the existence of a skew Hadamard matrix of order n 1 to be equivalent to the existence of a DRT on n vertices. A well known construction of a skew Hadamard matrix order n is by constructing skew Hadamard difference sets in abelian groups of order n 1 . The Paley skew Hadamard matrix is an example of one such construction. Szekeres and Whiteman constructed skew Hadamard matrices from skew Hadamard difference families with two blocks. Wallis and Whiteman constructed skew Hadamard matrices from skew Hadamard difference families with four blocks. In this paper we consider the critical groups of DRTs associated with skew Hadamard matrices constructed from skew Hadamard difference families with one, two or four blocks. We compute the critical groups of DRTs associated with skew Hadamard difference families with two or four blocks. We also compute the critical group of the Paley tournament and show that this tournament is inequivalent to the other DRTs we considered. Consequently we prove that the associated skew Hadamard matrices are not equivalent.


An Analytic Application of Geometric Invariant Theory. Given a compact K "ahler manifold, Geometric Invariant Theory is applied to construct analytic GIT quotients that are local models for a classifying space of (poly)stable holomorphic vector bundles containing the coarse moduli space of stable bundles as an open subspace. For local models invariant generalized Weil Petersson forms exist on the parameter spaces, which are restrictions of symplectic forms on smooth ambient spaces. If the underlying K "ahler manifold is of Hodge type, then the Weil Petersson form on the moduli space of stable vector bundles is known to be the Chern form of a certain determinant line bundle equipped with a Quillen metric. It gives rise to a holomorphic line bundle on the classifying GIT space together with a continuous hermitian metric.


Agglomeration Based Geometric Multigrid Solvers for Compact Discontinuous Galerkin Discretizations on Unstructured Meshes. We present a geometric multigrid solver for the Compact Discontinuous Galerkin method through building a hierarchy of coarser meshes using a simple agglomeration method which handles arbitrary element shapes and dimensions. The method is easily extendable to other discontinuous Galerkin discretizations, including the Local DG method and the Interior Penalty method. We demonstrate excellent solver performance for Poisson's equation, provided a flux formulation is used for the operator coarsening and a suitable switch function chosen for the numerical fluxes.


Privacy Enhancing Fall Detection from Remote Sensor Data Using Multi Party Computation. Motion based fall detection systems are concerned with detecting falls from vulnerable users, which is typically performed by classifying measurements from a body worn inertial measurement unit (IMU) using machine learning. Such systems, however, necessitate the collection of high resolution measurements that may violate users' privacy, such as revealing their gait, activities of daily living (ADLs), and relative position using dead reckoning. In this paper, we investigate the application of multi party computation (MPC) to IMU based fall detection for protecting device measurement confidentiality. Our system is evaluated in a cloud based setting that precludes parties from learning the underlying data using multiple, disparate cloud instances deployed in three geographical configurations. Using a publicly available dataset, we demonstrate that MPC based fall detection from IMU measurements is practical while achieving state of the art error rates. In the best case, our system executes in 365.2 milliseconds, which falls well within the required time window for on device data acquisition (750ms).


Time Series Modeling for Dream Team in Fantasy Premier League. The performance of football players in English Premier League varies largely from season to season and for different teams. It is evident that a method capable of forecasting and analyzing the future of these players on field antics shall assist the management to a great extent. In a simulated environment like the Fantasy Premier League, enthusiasts from all over the world participate and manage the players catalogue for the entire season. Due to the dynamic nature of points system, there is no known approach for the formulation of a dream team. This study aims to tackle this problem by using a hybrid of Autoregressive Integrated Moving Average (ARIMA) and Recurrent Neural Networks (RNNs) for time series prediction of player points and subsequent maximization of total points using Linear Programming (LPP). Given the player points for the past three seasons, the predictions have been made for the current season by modeling differently for ARIMA and RNN, and then creating an ensemble of the same. Prior to that, proper data preprocessing techniques were deployed to enhance the efficacy of the prepared model. Constraints on the type of players like goalkeepers, defenders, midfielders and forwards along with the total budget were effectively optimized using LPP approach. The validation of the proposed team was done with the performance in upcoming season, where the players outperform as expected, and helped in strengthening the feasibility of the solution. Likewise, the proposed approach can be extended to English Premier League by official managers on field.


Effect of thermal ions on fluid nonlinear frequency shift of ion acoustic waves in multi ion species plasmas. A model of the fluid nonlinear frequency shift of ion acoustic waves (IAWs) in multi ion species plasmas is presented, which considers the effect of ion temperature. Because the thermal ion exists in plasmas in inertial confinement fusion (ICF) and also solar wind, which should be considered in nonlinear frequency shift of IAWs. However, the existing models Berger et al., Physics of Plasmas 20, 032107 (2013) Q. S. Feng et al., Phys. Rev. E 94, 023205 (2016) just consider the cold ion fluid models. This complete theory considering multi ion species and thermal ions will calculate the frequency of the large amplitude nonlinear IAWs more accurately, especially the slow mode with high ion temperature, which will have wide application in space physics and inertial confinement fusion.


Information Source Finding in Networks Querying with Budgets. In this paper, we study a problem of detecting the source of diffused information by querying individuals, given a sample snapshot of the information diffusion graph, where two queries are asked em (i) whether the respondent is the source or not, and em (ii) if not, which neighbor spreads the information to the respondent. We consider the case when respondents may not always be truthful and some cost is taken for each query. Our goal is to quantify the necessary and sufficient budgets to achieve the detection probability 1 delta for any given 0 delta 1. To this end, we study two types of algorithms adaptive and non adaptive ones, each of which corresponds to whether we adaptively select the next respondents based on the answers of the previous respondents or not. We first provide the information theoretic lower bounds for the necessary budgets in both algorithm types. In terms of the sufficient budgets, we propose two practical estimation algorithms, each of non adaptive and adaptive types, and for each algorithm, we quantitatively analyze the budget which ensures 1 delta detection accuracy. This theoretical analysis not only quantifies the budgets needed by practical estimation algorithms achieving a given target detection accuracy in finding the diffusion source, but also enables us to quantitatively characterize the amount of extra budget required in non adaptive type of estimation, refereed to as em adaptivity gap . We validate our theoretical findings over synthetic and real world social network topologies.


The Dual Information Bottleneck. The Information Bottleneck (IB) framework is a general characterization of optimal representations obtained using a principled approach for balancing accuracy and complexity. Here we present a new framework, the Dual Information Bottleneck (dualIB), which resolves some of the known drawbacks of the IB. We provide a theoretical analysis of the dualIB framework (i) solving for the structure of its solutions (ii) unraveling its superiority in optimizing the mean prediction error exponent and (iii) demonstrating its ability to preserve exponential forms of the original distribution. To approach large scale problems, we present a novel variational formulation of the dualIB for Deep Neural Networks. In experiments on several data sets, we compare it to a variational form of the IB. This exposes superior Information Plane properties of the dualIB and its potential in improvement of the error.


physics.comp-ph cs.NA math.NA physics.geo-ph

Real World Oceanographic Simulations on the GPU using a Two Dimensional Finite Volume Scheme. In this work, we take a modern high resolution finite volume scheme for solving the rotational shallow water equations and extend it with features required to run real world ocean simulations. Our contributions include a spatially varying north vector and Coriolis term required for large scale domains, moving wet dry fronts, a static land mask, bottom shear stress, wind forcing, boundary conditions for nesting in a global model, and an efficient model reformulation that makes it well suited for massively parallel implementations. Our model order is verified using a grid convergence test, and we show numerical experiments using three different sections along the coast of Norway based on data originating from operational forecasts run at the Norwegian Meteorological Institute. Our simulation framework shows perfect weak scaling on a modern P100 GPU, and is capable of providing tidal wave forecasts that are very close to the operational model at a fraction of the cost. All source code and data used in this work are publicly available under open licenses.


Generating Large Scale Trajectories Efficiently using Double Descriptions of Polynomials. For quadrotor trajectory planning, describing a polynomial trajectory through coefficients and end derivatives both enjoy their own convenience in energy minimization. We name them double descriptions of polynomial trajectories. The transformation between them, causing most of the inefficiency and instability, is formally analyzed in this paper. Leveraging its analytic structure, we design a linear complexity scheme for both jerk snap minimization and parameter gradient evaluation, which possesses efficiency, stability, flexibility, and scalability. With the help of our scheme, generating an energy optimal (minimum snap) trajectory only costs 1 mu s per piece at the scale up to 1,000,000 pieces. Moreover, generating large scale energy time optimal trajectories is also accelerated by an order of magnitude against conventional methods.


Permanency and bifurcations of bounded solutions near homocilincs with symetric eigenvalues. we consider a system with homoclinic orbit, We decompose the corresponding variational equation on the space of solutions and provide sufficient conditions for the permanency of homoclinic in the space of C 1 vector fields. We also provide new sufficient conditions for the persistence and multiple bifurcations of the bounded solutions nearby. our results can be verified numerically and do not meet the limitations of classic methods (like Melnikon integrals and Poincare map)


An Empirical Study of Information Flows in Real World JavaScript. Information flow analysis prevents secret or untrusted data from flowing into public or trusted sinks. Existing mechanisms cover a wide array of options, ranging from lightweight taint analysis to heavyweight information flow control that also considers implicit flows. Dynamic analysis, which is particularly popular for languages such as JavaScript, faces the question whether to invest in analyzing flows caused by not executing a particular branch, so called hidden implicit flows. This paper addresses the questions how common different kinds of flows are in real world programs, how important these flows are to enforce security policies, and how costly it is to consider these flows. We address these questions in an empirical study that analyzes 56 real world JavaScript programs that suffer from various security problems, such as code injection vulnerabilities, denial of service vulnerabilities, memory leaks, and privacy leaks. The study is based on a state of the art dynamic information flow analysis and a formalization of its core. We find that implicit flows are expensive to track in terms of permissiveness, label creep, and runtime overhead. We find a lightweight taint analysis to be sufficient for most of the studied security problems, while for some privacy related code, observable tracking is sometimes required. In contrast, we do not find any evidence that tracking hidden implicit flows reveals otherwise missed security problems. Our results help security analysts and analysis designers to understand the cost benefit tradeoffs of information flow analysis and provide empirical evidence that analyzing implicit flows in a cost effective way is a relevant problem.


Information parity in complex networks. A growing interest in complex networks theory results in an ongoing demand for new analytical tools. We propose a novel measure based on information theory that provides a new perspective for a better understanding of networked systems Termed "information parity," it quantifies the consonance of influence among nodes with respect to the whole network architecture. Considering the statistics of geodesic distances, information parity detects how similar a pair of nodes can influence and be influenced by the network. This allows us to quantify the quality of information gathered by the nodes. To demonstrate the method's potential, we evaluate a social network and human brain networks. Our results indicate that emerging phenomena like an ideological orientation of nodes in a social network is severely influenced by their information parities. We also show that anatomical brain networks have a greater information parity in inter hemispheric correspondent regions placed near the sagittal plane. Finally, functional networks have, on average, greater information parity for inter hemispheric correspondent regions in comparison to the whole network. We find that a pair of regions with high information parity exhibits higher correlation, suggesting that the functional correlations between cortical regions can be partially explained by the symmetry of their overall influences of the whole brain.


Improvements and Extensions on Metaphor Detection. Metaphors are ubiquitous in human language. The metaphor detection task (MD) aims at detecting and interpreting metaphors from written language, which is crucial in natural language understanding (NLU) research. In this paper, we introduce a pre trained Transformer based model into MD. Our model outperforms the previous state of the art models by large margins in our evaluations, with relative improvements on the F 1 score from 5.33 to 28.39 . Second, we extend MD to a classification task about the metaphoricity of an entire piece of text to make MD applicable in more general NLU scenes. Finally, we clean up the improper or outdated annotations in one of the MD benchmark datasets and re benchmark it with our Transformer based model. This approach could be applied to other existing MD datasets as well, since the metaphoricity annotations in these benchmark datasets may be outdated. Future research efforts are also necessary to build an up to date and well annotated dataset consisting of longer and more complex texts.


Second and Third Order Asymptotics of the Continuous Time Poisson Channel. The paper derives the optimal second order coding rate for the continuous time Poisson channel. We also obtain bounds on the third order coding rate. This is the first instance of a second order result for a continuous time channel. The converse proof hinges on a novel construction of an output distribution induced by Wyner's discretized channel and the construction of an appropriate epsilon net of the input probability simplex. While the achievability proof follows the general program to prove the third order term for non singular discrete memoryless channels put forth by Polyanskiy, several non standard techniques such as new definitions and bounds on the probabilities of typical sets using logarithmic Sobolev inequalities are employed to handle the continuous nature of the channel.


A Simple Dynamization of Trapezoidal Point Location in Planar Subdivisions. We study how to dynamize the Trapezoidal Search Tree a well known randomized point location structure for planar subdivisions of kinetic line segments. Our approach naturally extends incremental leaf level insertions to recursive methods and allows adaptation for the online setting. Moreover, the dynamization carries over to the Trapezoidal Search DAG, offering a linear sized data structure with logarithmic point location costs as a by product. On a set S of non crossing segments, each update performs expected mathcal O ( log 2 S ) operations. We demonstrate the practicality of our method with an open source implementation, based on the Computational Geometry Algorithms Library, and experiments on the update performance.


Spin mapping approach for nonadiabatic molecular dynamics. We propose a trajectory based method for simulating nonadiabatic dynamics in molecular systems with two coupled electronic states. Employing a quantum mechanically exact mapping of the two level problem to a spin 1 2 coherent state, we construct a classical phase space of a spin vector constrained to a spherical surface with a radius consistent with the quantum magnitude of the spin. In contrast with the singly excited harmonic oscillator basis used in Meyer Miller Stock Thoss (MMST) mapping, the theory requires no additional projection operators onto the space of physical states. When treated under a quasiclassical approximation, we show that the resulting dynamics is equivalent to that generated by the MMST Hamiltonian. What differs is the value of the zero point energy parameter as well as the initial distribution and the measurement operators. For various spin boson models the results of our method are seen to be a significant improvement compared to both standard Ehrenfest dynamics and linearized semiclassical MMST mapping, without adding any computational complexity.


Learning the energy curvature versus particle number in approximate density functionals. The average energy curvature as a function of the particle number is a molecule specific quantity, which measures the deviation of a given functional from the exact conditions of density functional theory (DFT). Related to the lack of derivative discontinuity in approximate exchange correlation potentials, the information about the curvature has been successfully used to restore the physical meaning of Kohn Sham orbital eigenvalues and to develop non empirical tuning and correction schemes for density functional approximations. In this work, we propose the construction of a machine learning framework targeting the average energy curvature between the neutral and the radical cation state of thousands of small organic molecules (QM7 database). The applicability of the model is demonstrated in the context of system specific gamma tuning of the LC omega PBE functional and validated against the molecular first ionization potentials at equation of motion (EOM) coupled cluster references. In addition, we propose a local version of the non linear regression model and demonstrate its transferability and predictive power by determining the optimal range separation parameter for two large molecules relevant to the field of hole transporting materials. Finally, we explore the underlying structure of the QM7 database with the t SNE dimensionality reduction algorithm and identify structural and compositional patterns that promote the deviation from the piecewise linearity condition.


Using Natural Language Processing to Develop an Automated Orthodontic Diagnostic System. We work on the task of automatically designing a treatment plan from the findings included in the medical certificate written by the dentist. To develop an artificial intelligence system that deals with free form certificates written by dentists, we annotate the findings and utilized the natural language processing approach. As a result of the experiment using 990 certificates, 0.585 F1 score was achieved for the task of extracting orthodontic problems from findings, and 0.584 correlation coefficient with the human ranking was achieved for the treatment prioritization task.


Metadynamics of paths. We present a method to sample reactive pathways via biased molecular dynamics simulations in trajectory space. We show that the use of enhanced sampling techniques enables unconstrained exploration of multiple reaction routes. Time correlation functions are conveniently computed via reweighted averages along a single trajectory and kinetic rates are accessed at no additional cost. These abilities are illustrated analyzing a model potential and the umbrella inversion of NH 3 in water. The algorithm allows a parallel implementation and promises to be a powerful tool for the study of rare events.


The modulus of p variation and its applications. In this note, we introduce the notion of modulus of p variation for a function of a real variable, and show that it serves in at least two important problems, namely, the uniform convergence of Fourier series and computation of certain K functionals. To be more specific, let nu be a nondecreasing concave sequence of positive real numbers and 1 leq p infty . Using our new tool, we first define a Banach space, denoted V p nu , that is intermediate between the Wiener class BV p and L infty , and prove that it satisfies a Helly type selection principle. We also prove that the Peetre K functional for the couple (L infty,BV p) can be expressed in terms of the modulus of p variation. Next, we obtain equivalent sharp conditions for the uniform convergence of the Fourier series of all functions in each of the classes V p nu and H omega cap V p nu , where omega is a modulus of continuity and H omega denotes its associated Lipschitz class. Finally, we establish optimal embeddings into V p nu of various spaces of functions of generalized bounded variation. As a by product of these latter results, we infer embedding results for certain symmetric sequence spaces.


Routing and Scheduling of Network Flows with Deadlines and Discrete Capacity Allocation. Joint scheduling and routing of data flows with deadline constraints in communication networks has been attracting research interest. This type of problem distinguishes from conventional multicommodity flows due to the presence of the time dimension. In this paper, we address a flow routing and scheduling problem with delivery deadline, where the assignment of link capacity occurs in discrete units. Discrete capacity allocation is motivated by applications in communication systems, where it is common to have a base unit of capacity (e.g., wavelength channel in optical communications). We present and prove complexity results of the problem. Next, we give an optimization formulation based on a time slicing approach (TSA), which amounts to a discretization of the time into time slices to enable to formulate the deadline constraints. We then derive an effective reformulation of the problem, via which a column generation algorithm (CGA) is developed. In addition, we propose a simple and fast Max Flow based Algorithm (MFA). We use a number of network and traffic scenarios to study various performance aspects of the algorithms.


Efficient Saliency Maps for Explainable AI. We describe an explainable AI saliency map method for use with deep convolutional neural networks (CNN) that is much more efficient than popular fine resolution gradient methods. It is also quantitatively similar or better in accuracy. Our technique works by measuring information at the end of each network scale which is then combined into a single saliency map. We describe how saliency measures can be made more efficient by exploiting Saliency Map Order Equivalence. We visualize individual scale layer contributions by using a Layer Ordered Visualization of Information. This provides an interesting comparison of scale information contributions within the network not provided by other saliency map methods. Using our method instead of Guided Backprop, coarse resolution class activation methods such as Grad CAM and Grad CAM seem to yield demonstrably superior results without sacrificing speed. This will make fine resolution saliency methods feasible on resource limited platforms such as robots, cell phones, low cost industrial devices, astronomy and satellite imagery.


Stochastic physics of species extinctions in a large population. Species extinction is a core process that affects the diversity of life on Earth. Competition between species in a population is considered by ecological niche based theories as a key factor leading to different severity of species extinctions. There are population dynamics models that describe a simple and easily understandable mechanism for resource competition. However, these models can not efficiently characterize and quantify new emergent extinctions in a large population appearing due to environmental forcing. To address this issue we develop a stochastic physics inspired approach to analyze how environmental forcing influences the severity of species extinctions in such models. This approach is based on the large deviations theory of stochastic processes (the Freidlin Wentzell theory). We show that there are three possible fundamentally different scenarios of extinctions, which we call catastrophic extinctions, asymmetric ones, and extinctions with exponentially small probabilities. The realization of those scenarios depends on environmental noise properties and the boundaries of niches, which define the domain, where species survive. Furthermore, we describe a hysteresis effect in species extinction showing that fluctuations can lead to dramatic consequences even if an averaged resource supply is sufficient to support population survival. Our stochastic physics inspired approach generalizes niche theory by accounting environmental forcing and will be useful to find, by available data, which environmental perturbations may induce extinctions.


Chromodynamic multi relaxation time lattice Boltzmann scheme for fluids with density difference. We develop, after Dellar (P. J. Dellar, Phys. Rev. E. 65, 036309 (2002), J. Comput. Phys. 190, pp351 (2003)), a multiple relaxation time (MRT), chromodynamic, multi component lattice Boltzmann equation (MCLBE) scheme for simulation of isothermal, immiscible fluid flow with a density contrast. It is based on Lishchuk's method (J. U. Brackbill, D. B. Kothe and C. Zemach, J. Comp. Phys. 100, 335 354 (1992), S. V. Lishchuk, C. M. Care and I. Halliday, Phys. Rev. E. 67(3), 036701(2), (2003)) and the segregation of d'Ortona et al. (U. D'Ortona, D. Salin, M. Cieplak, R. B. Rybka and J. R. Banavar Phys. Rev. E. 51, 3718, (1995)). We focus on fundamental model verifiability but do relate some of our data to that from previous approaches, due to Ba et al. (Y. Ba, H. Liu, Q. Li, Q. Kang and J. Sun, Phys. Rev. E 94, 023310 (2016)) and earlier Liu et al. (H. Liu, A. J. Valocchi and Q. Kang, Phys. Rev. E 85, 046309 (2012)), who pioneered large density difference chromodynamic MCLBE and showed the practical benefits of a MRT collision model. Specifically, we test the extent to which chromodynamic MCLBE MRT schemes comply with the kinematic condition of mutual impenetrability and the continuous traction condition by developing analytical benchmarking flows. We conclude that our data, taken with those of Ba et al., verify the utility of MRT chromodynamic MCLBE.


Symbolic power containments in singular rings in positive characteristic. The containment problem for symbolic and ordinary powers of ideals asks for what values of a and b we have I (a) subseteq I b . Over a regular ring, a result by Ein Lazarsfeld Smith, Hochster Huneke, and Ma Schwede partially answers this question, but the containments it provides are not always best possible. In particular, a tighter containment conjectured by Harbourne has been shown to hold for interesting classes of ideals although it does not hold in general. In this paper, we develop a Fedder (respectively, Glassbrenner) type criterion for F purity (respectively, strong F regularity) for ideals of finite projective dimension over F finite Gorenstein rings and use our criteria to extend the prime characteristic results of Grifo Huneke to singular ambient rings. For ideals of infinite projective dimension, we prove that a variation of the containment still holds, in the spirit of work by Hochster Huneke and Takagi.


Design of Internet of Things Based Controller for Direct Current Motors. It is known that internet have been widespread in many areas of life and enabled machines to communicate each other. The terms of Internet of Things (IoT) has emerged as a result of networks consist of machines and equipment that work independent of operator and communicate each other. Sensors, embedded systems, communication technologies and data storage systems like clouds create wide area networks that can communicate and share data. In this study, the application of the IoT on a low speed mechanical benchmark driven by a direct current motor has been designed. It is aimed to keep the motor speed fixed at desired value according to the changings occurs depending on varying the pressure acting on the actuators. In presented study, a speed control is performed by establishing a modeling and simulation mechanism that will give the closest results to the real system.


Clinical Concept Extraction for Document Level Coding. The text of clinical notes can be a valuable source of patient information and clinical assessments. Historically, the primary approach for exploiting clinical notes has been information extraction linking spans of text to concepts in a detailed domain ontology. However, recent work has demonstrated the potential of supervised machine learning to extract document level codes directly from the raw text of clinical notes. We propose to bridge the gap between the two approaches with two novel syntheses (1) treating extracted concepts as features, which are used to supplement or replace the text of the note (2) treating extracted concepts as labels, which are used to learn a better representation of the text. Unfortunately, the resulting concepts do not yield performance gains on the document level clinical coding task. We explore possible explanations and future research directions.


Well posedness of Stochastic 2D Hydrodynamics type Systems with Multiplicative L 'evy Noises. We establish the existence and uniqueness of solutions to an abstract nonlinear equation driven by a multiplicative noise of L 'evy type, which covers many hydrodynamical models including 2D Navier Stokes equations, 2D MHD equations, the 2D Magnetic Bernard problem, and several Shell models of turbulence. In the existing literature on this topic, besides the classical Lipschitz and one sided linear growth conditions, other assumptions, which might be untypical, are also required on the coefficients of the stochastic perturbations. This paper is to get rid of these untypical assumptions. Our assumption on the coefficients of stochastic perturbations is new even for the Wiener cases, and in some sense, is shown to be quite sharp. A new cutting off argument and energy estimation procedure play an important role in establishing the existence and uniqueness under this assumption.


A Note On The Popularity of Stochastic Optimization Algorithms in Different Fields A Quantitative Analysis from 2007 to 2017. Stochastic optimization algorithms are often used to solve complex large scale optimization problems in various fields. To date, there have been a number of stochastic optimization algorithms such as Genetic Algorithm, Cuckoo Search, Tabu Search, Simulated Annealing, Particle Swarm Optimization, Ant Colony Optimization, etc. Each algorithm has some advantages and disadvantages. Currently, there is no study that can help researchers to choose the most popular optimization algorithm to deal with the problems in different research fields. In this note, a quantitative analysis of the popularity of 14 stochastic optimization algorithms in 18 different research fields in the last ten years from 2007 to 2017 is provided. This quantitative analysis can help researchers practitioners select the best optimization algorithm to solve complex large scale optimization problems in the fields of Engineering, Computer science, Operations research, Mathematics, Physics, Chemistry, Automation control systems, Materials science, Energy fuels, Mechanics, Telecommunications, Thermodynamics, Optics, Environmental sciences ecology, Water resources, Transportation, Construction building technology, and Robotics.


FAST LIO A Fast, Robust LiDAR inertial Odometry Package by Tightly Coupled Iterated Kalman Filter. This paper presents a computationally efficient and robust LiDAR inertial odometry framework. We fuse LiDAR feature points with IMU data using a tightly coupled iterated extended Kalman filter to allow robust navigation in fast motion, noisy or cluttered environments where degeneration occurs. To lower the computation load in the presence of large number of measurements, we present a new formula to compute the Kalman gain. The new formula has computation load depending on the state dimension instead of the measurement dimension. The proposed method and its implementation are tested in various indoor and outdoor environments. In all tests, our method produces reliable navigation results in real time running on a quadrotor onboard computer, it fuses more than 1,200 effective feature points in a scan and completes all iterations of an iEKF step within 25 ms. Our codes are open sourced on Github.


On the Separability of Parallel MISO Broadcast Channels Under Partial CSIT A Degrees of Freedom Region Perspective. We study the K user, M subchannel parallel multiple input single output (MISO) broadcast channel (BC) under arbitrary levels of partial channel state information at the transmitter (CSIT). We show that the parallel subchannels constituting this setting are separable from a degrees of freedom (DoF) region perspective if and only if the partial CSIT pattern is totally ordered. This total order condition corresponds to users abiding by the same order, with respect to their CSIT quality levels, in each of the parallel subchannels. For instance, let alpha k l and alpha j l be the CSIT quality parameters for users k and j over subchannel l . Under total order, having alpha k l geq alpha j l implies that alpha k m geq alpha j m holds for every subchannel m . In this case, the entire DoF region is achievable using simple separate coding, where a single subchannel type transmission scheme is employed in each subchannel. To show this separability result, we first derive an outer bound for the DoF region by extending the aligned image sets approach of Davoodi and Jafar to the considered setting. We then show that this outer bound coincides with the inner bound achieved through separate coding, given by the Minkowski sum of M single subchannel DoF regions, under the total order condition, hence settling the if part of the main theorem. To prove the only if part of the theorem, we identify a set of DoF tuples achievable through joint coding across subchannels, yet not achievable through separate coding whenever the total order condition is violated. Moreover, we also highlight the implications of our main result on the design of CSIT feedback schemes for multi carrier multi antenna wireless networks.


Covert Identification over Binary Input Discrete Memoryless Channels. This paper considers the covert identification problem in which a sender aims to reliably convey an identification (ID) message to a set of receivers via a binary input discrete memoryless channel (BDMC), and simultaneously to guarantee that the communication is covert with respect to a warden who monitors the communication via another independent BDMC. We prove a square root law for the covert identification problem. This states that an ID message of size exp( exp( Theta( sqrt n ))) can be transmitted over n channel uses. We then characterize the exact pre constant in the Theta(.) notation. This constant is referred to as the covert identification capacity. We show that it equals the recently developed covert capacity in the standard covert communication problem, and somewhat surprisingly, the covert identification capacity can be achieved without any shared key between the sender and receivers. The achievability proof relies on a random coding argument with pulse position modulation (PPM), coupled with a second stage which performs code refinements. The converse proof relies on an expurgation argument as well as results for channel resolvability with stringent input constraints.


Transfer Learning for Protein Structure Classification at Low Resolution. Structure determination is key to understanding protein function at a molecular level. Whilst significant advances have been made in predicting structure and function from amino acid sequence, researchers must still rely on expensive, time consuming analytical methods to visualise detailed protein conformation. In this study, we demonstrate that it is possible to make accurate ( geq 80 ) predictions of protein class and architecture from structures determined at low ( 3A) resolution, using a deep convolutional neural network trained on high resolution ( leq 3A) structures represented as 2D matrices. Thus, we provide proof of concept for high speed, low cost protein structure classification at low resolution, and a basis for extension to prediction of function. We investigate the impact of the input representation on classification performance, showing that side chain information may not be necessary for fine grained structure predictions. Finally, we confirm that high resolution, low resolution and NMR determined structures inhabit a common feature space, and thus provide a theoretical foundation for boosting with single image super resolution.


Positive Trust Balance for Self Driving Car Deployment. The crucial decision about when self driving cars are ready to deploy is likely to be made with insufficient lagging metric data to provide high confidence in an acceptable safety outcome. A Positive Trust Balance approach can help with making a responsible deployment decision despite this uncertainty. With this approach, a reasonable initial expectation of safety is based on a combination of a practicable amount of testing, engineering rigor, safety culture, and a strong commitment to use post deployment operational feedback to further reduce uncertainty. This can enable faster deployment than would be required by more traditional safety approaches by reducing the confidence necessary at time of deployment in exchange for a more stringent requirement for Safety Performance Indicator (SPI) field feedback in the context of a strong safety culture.


Logarithmic concavity for morphisms of matroids. Morphisms of matroids are combinatorial abstractions of linear maps and graph homomorphisms. We introduce the notion of basis for morphisms of matroids, and show that its generating function is strongly log concave. As a consequence, we obtain a generalization of Mason's conjecture on the f vectors of independent subsets of matroids to arbitrary morphisms of matroids. To establish this, we define multivariate Tutte polynomials of morphisms of matroids, and show that they are Lorentzian in the sense of BH19 for sufficiently small positive parameters.


Robust nonconforming virtual element methods for general fourth order problems with varying coefficients. We present a class of nonconforming virtual element methods for general fourth order partial differential equations in two dimensions. We develop a generic approach for constructing the necessary projection operators and virtual element spaces. Optimal error estimates in the energy norm are provided for general linear fourth order problems with varying coefficients. We also discuss fourth order perturbation problems and present a novel nonconforming scheme which is uniformly convergent with respect to the perturbation parameter without requiring an enlargement of the space. Numerical tests are carried out to verify the theoretical results. We conclude with a brief discussion on how our approach can easily be applied to nonlinear fourth order problems.


Secret key agreement from correlated data, with no prior information. A fundamental question that has been studied in cryptography and in information theory is whether two parties can communicate confidentially using exclusively an open channel. We consider the model in which the two parties hold inputs that are correlated in a certain sense. This model has been studied extensively in information theory, and communication protocols have been designed which exploit the correlation to extract from the inputs a shared secret key. However, all the existing protocols are not universal in the sense that they require that the two parties also know some attributes of the correlation. In other words, they require that each party knows something about the other party's input. We present a protocol that does not require any prior additional information. It uses space bounded Kolmogorov complexity to measure correlation and it allows the two legal parties to obtain a common key that looks random to an eavesdropper that observes the communication and is restricted to use a bounded amount of space for the attack. Thus the protocol achieves complexity theoretical security, but it does not use any unproven result from computational complexity. On the negative side, the protocol is not efficient in the sense that the computation of the two legal parties uses more space than the space allowed to the adversary.


Lonely Points in Simplices. Given a lattice L in Z m and a subset A of R m, we say that a point in A is lonely if it is not equivalent modulo L to another point of A. We are interested in identifying lonely points for specific choices of L when A is a dilated standard simplex, and in conditions on L which ensure that the number of lonely points is unbounded as the simplex dilation goes to infinity.


Temporal Smoothing for 3D Human Pose Estimation and Localization for Occluded People. In multi person pose estimation actors can be heavily occluded, even become fully invisible behind another person. While temporal methods can still predict a reasonable estimation for a temporarily disappeared pose using past and future frames, they exhibit large errors nevertheless. We present an energy minimization approach to generate smooth, valid trajectories in time, bridging gaps in visibility. We show that it is better than other interpolation based approaches and achieves state of the art results. In addition, we present the synthetic MuCo Temp dataset, a temporal extension of the MuCo 3DHP dataset. Our code is made publicly available.


Implementation of temporal ptychography algorithm, I 2 PIE, for improved single beam coherent anti Stokes Raman scattering measurements. We present an improvement on the signal to background of single beam coherent anti Stokes Raman scattering (SB CARS) spectroscopy measurements for systems employing ultrafast supercontinuum sources based on all normal dispersion photonic crystal fibers. Improvements to the signal to background arise in the use of a new pulse reconstruction algorithm based on temporal ptychography, I 2 PIE. A simple SB CARS strategy is used to measure the spectrum of para xylene, where the supercontinuum pulses used are compressed using multiphoton intrapulse interference phase scan (MIIPS) and, for the first time to the best of our knowledge, I 2 PIE using the same single beam setup. With the I 2 PIE implementation, the signal to background is improved by nearly a factor of 4 in comparison with MIIPS. More notably, the integrated SB CARS spectral intensity is increased by a factor of 6.5.


Automorphisms of character varieties. We show that the algebraic automorphism group of the SL(2,C) character variety of a closed orientable surface with negative Euler characteristic is a finite extension of its mapping class group. Along the way, we provide a simple characterization of the valuations on the character algebra coming from measured laminations.


Stability Control of Walking Biped Robots based on Total Momentum. Principle Equation of Motion (for walkers) is derived that later results in introducing two piecewise continuous dynamical systems namely Simplified Walking Model (SWM) and Complete Walking Model (CWM) which both describe the behavior of walker with emphasis on the motion in horizontal plane. By making some realistic assumptions based on human natural walking, a simplified equation of motion named Step to Step Equation of Walking is formulated. By imposing repetition condition on this equation, we reach to a significant finding named Simple and Compound Motion Cycles as general solutions of steady walking. Among motion cycles, Simple Forward Motion Cycle represents normal walking pattern. These cycles have marginal stability that in practice cause the motion to diverge exponentially even under slight disturbance. By defining stabilization of walking as guidance of a motion initiated from arbitrary initial states to a desired motion cycle and controlling the motion about it, two major strategies are presented for stability control of the walkers 1) Continuous altering of Center of Pressure (CoP) within support polygon, and 2) Continual planning of the step length and duration. Using these two strategies and based on Simplified Walking Model (SWM), four methods of stability control named generally as Motion Cycle Stabilizers are proposed and their theoretical aspects are inspected. To consider the strengths and weaknesses of the proposed stabilizers on Complete Model of Walking (CWM), some simulations are performed on a physical model with realistic constraints. to overcome the deficiencies of the Stabilizers, method of Optimal Stability Control is proposed to complete the solution. Simulations show that the proposed approach for stabilization of biped walkers provides us with a more robust solution compared to traditional approaches and maximally guarantee the stability of walkers.


Situationally Induced Impairments and Disabilities Research. Research has shown that various environmental factors impact smartphone interaction and lead to Situationally Induced Impairments and Disabilities. In this work we discuss the importance of thoroughly understanding the effects of these situational impairments on smartphone interaction. We argue that systematic investigation of the effects of different situational impairments is quintessential for conducting successful research in the field of SIIDs that might lead to building appropriate sensing, modelling, and adapting techniques. We also provide insights for future work identifying potential directions to conduct research in SIIDs.


On the axisymmetric metric generated by a rotating perfect fluid with the vacuum boundary. We consider the equations for the coefficients of stationary rotating axisymmetric metrics governed by the Einstein Euler equations, that is, the Einstein equations together with the energy momentum tensor of a barotropic perfect fluid. Although the reduced system of equations for the potentials in the co rotating co ordinate system is known, we derive the system of equations for potentials in the so called zero angular momentum observer co ordinate system. We newly give a proof of the equivalence between the reduced system and the full system of Einstein equations. It is done under the assumption that the angular velocity is constant on the support of the density. Also the consistency of the equations of the system is analyzed. On this basic theory we construct on the whole space the stationary asymptotically flat metric generated by a slowly rotating compactly supported perfect fluid with vacuum boundary.


Asymmetric Choi Davis inequalities. Let Phi be a unital positive linear map and let A be a positive invertible operator. We prove that there exist partial isometries U and V such that Phi(f(A)) Phi(A) Phi(g(A)) leq U Phi(f(A)Ag(A))U and left Phi left(f(A) right) r Phi(A) r Phi left(g(A) right) r right leq V Phi left(f(A) r A rg(A) r right)V hold under some mild operator convex conditions and some positive numbers r . Further, we show that if f 2 is operator concave, then Phi(f(A)) Phi(A) leq Phi(Af(A)). In addition, we give some counterparts to the asymmetric Choi Davis inequality and asymmetric Kadison inequality. Our results extend some inequalities due to Bourin Ricard and Furuta.


Roundtrip Spanners with (2k 1) Stretch. A roundtrip spanner of a directed graph G is a subgraph of G preserving roundtrip distances approximately for all pairs of vertices. Despite extensive research, there is still a small stretch gap between roundtrip spanners in directed graphs and undirected graphs. For a directed graph with real edge weights in 1,W , we first propose a new deterministic algorithm that constructs a roundtrip spanner with (2k 1) stretch and O(k n 1 1 k log (nW)) edges for every integer k 1 , then remove the dependence of size on W to give a roundtrip spanner with (2k 1) stretch and O(k n 1 1 k log n) edges. While keeping the edge size small, our result improves the previous 2k epsilon stretch roundtrip spanners in directed graphs Roditty, Thorup, Zwick'02 Zhu, Lam'18 , and almost matches the undirected (2k 1) spanner with O(n 1 1 k ) edges Alth "ofer et al. '93 when k is a constant, which is optimal under Erd "os conjecture.


Small eigenvalues of random 3 manifolds. We show that for every g geq 2 there exists a number c(g) 0 such that the smallest positive eigenvalue of a random closed 3 manifold M of Heegaard genus g is at most c(g) rm vol (M) 2 .


Existence of Non Obvious Divergent Trajectories in homogeneous spaces. We prove a modified version for a conjecture of Weiss from 2004. Let G be a semisimple real algebraic group defined over mathbb Q , Gamma be an arithmetic subgroup of G . A trajectory in G Gamma is divergent if eventually it leaves every compact subset, and is obvious divergent if there is a finite collection of algebraic data which cause the divergence. Let A be a diagonalizable subgroup of G of positive dimension. We show that if the projection of A to any mathbb Q factor of G is of small enough dimension (relatively to the mathbb Q rank of the mathbb Q factor), then there are non obvious divergent trajectories for the action of A on G Gamma .


Toward a Generalization Metric for Deep Generative Models. Measuring the generalization capacity of Deep Generative Models (DGMs) is difficult because of the curse of dimensionality. Evaluation metrics for DGMs such as Inception Score, Fr 'echet Inception Distance, Precision Recall, and Neural Net Divergence try to estimate the distance between the generated distribution and the target distribution using a polynomial number of samples. These metrics are the target of researchers when designing new models. Despite the claims, it is still unclear how well can they measure the generalization capacity of a generative model. In this paper, we investigate the capacity of these metrics in measuring the generalization capacity. We introduce a framework for comparing the robustness of evaluation metrics. We show that better scores in these metrics do not imply better generalization. They can be fooled easily by a generator that memorizes a small subset of the training set. We propose a fix to the NND metric to make it more robust to noise in the generated data. Toward building a robust metric for generalization, we propose to apply the Minimum Description Length principle to the problem of evaluating DGMs. We develop an efficient method for estimating the complexity of Generative Latent Variable Models (GLVMs). Experimental results show that our metric can effectively detect training set memorization and distinguish GLVMs of different generalization capacities. Source code is available at https github.com htt210 GeneralizationMetricGAN.


Modularized Textual Grounding for Counterfactual Resilience. Computer Vision applications often require a textual grounding module with precision, interpretability, and resilience to counterfactual inputs queries. To achieve high grounding precision, current textual grounding methods heavily rely on large scale training data with manual annotations at the pixel level. Such annotations are expensive to obtain and thus severely narrow the model's scope of real world applications. Moreover, most of these methods sacrifice interpretability, generalizability, and they neglect the importance of being resilient to counterfactual inputs. To address these issues, we propose a visual grounding system which is 1) end to end trainable in a weakly supervised fashion with only image level annotations, and 2) counterfactually resilient owing to the modular design. Specifically, we decompose textual descriptions into three levels entity, semantic attribute, color information, and perform compositional grounding progressively. We validate our model through a series of experiments and demonstrate its improvement over the state of the art methods. In particular, our model's performance not only surpasses other weakly un supervised methods and even approaches the strongly supervised ones, but also is interpretable for decision making and performs much better in face of counterfactual classes than all the others.


An improved nonlinear FastEuler AHRS estimation based on the SVDCKF algorithm. In this paper, we present a Singular Value Decomposition Cubature Kalman Filter(SVDCKF) fusion algorithm based on the improved nonlinear FastEuler Attitude and Heading Reference and System(AHRS) estimation model for small UAV attitude. The contributions of this work are the derivation of the low cost IMU MAG integrated AHRS model combined with the quaternion attitude determination, and use the FastEuler to correct the gyroscope attitude update, which can increase the real time solution. In addition, the SVDCKF algorithm is fused the various raw sensors data in order to improve the filter accuracy compared with the CKF. The simulation and experiment results demonstrate the proposed algorithm has the more excellent attitude solution accuracy compared with the CKF in the low and high dynamic flight conditions.


Effects of misalignment on response uniformity of SiPM on tile technology for highly granular calorimeters. The SiPM on tile technology, consisting of plastic scintillator tiles with typical sizes of a few cm 2 mounted on top of SiPMs, has been developed within the CALICE collaboration to enable automatized mass production of active elements for scintillator based highly granular calorimeters. We present a study of the impact of misalignment of the scintillator tile with respect to the photon sensor on the response uniformity and on the absolute light yield for square, hexagonal and rhomboidal scintillator tiles of different sizes. A misalignment results in the formation of a dipole asymmetry of the spatial distribution of the light yield, with a magnitude that scales linearly with the size of the displacement, while the average light yield over the full active area of the tile is not affected. These results provide guidance for the definition of tolerances for the production and assembly of large calorimeter systems, showing that an alignment precision of approximately 500 mu m or better allows to limit the impact to acceptable levels.


Properties of Complete Noncompact Warped Product Gradient Yamabe Solitons. In this paper, we look for properties of gradient Yamabe solitons on top of warped product manifolds. Utilizing the maximum principle, we find lower bound estimates for both the potential function of the soliton and the scalar curvature of the warped product. By slightly modifying Li Yau's technique so that we can handle drifting Laplacians, we were able to find three different gradient estimates for the warping function, one for each sign of the scalar curvature of the fiber manifold. As an application, we exhibit a nonexistence theorem for gradient Yamabe solitons possessing certain metric properties on the base of the warped product.


Binomial Coefficients in a Row of Pascal's Triangle from Extension of Power of Eleven Newton's Unfinished Work. The aim of this paper is to find a general formula to generate any row of Pascal's triangle as an extension of the concept of left(11 right) n . In this study, the visualization of each row of Pascal's triangle has been presented by extending the concept of the power of 11 to the power of 101, 1001, 10001, and so on. We briefly discuss how our proposed concept works for any n by inserting an appropriate number of zeros between 1 and 1 (eleven), that is the concept of left(11 right) n has been extended to left(1 Theta1 right) n , where Theta represents the number of zeros. We have proposed a formula for obtaining the value of Theta . The proposed concept has been verified with Pascal's triangle and matched successfully. Finally, Pascal's triangle for a large n has been presented considering the 51 text st row as an example.


Dynamical complexity measure to distinguish organized from disorganized dynamics. We propose a metric to characterize the complex behavior of a dynamical system and to distinguish between organized and disorganized complexity. The approach combines two quantities that separately assess the degree of unpredictability of the dynamics and the lack of describability of the structure in the Poincar 'e plane constructed from a given time series. As for the former, we use the permutation entropy S rm p , while for the later, we introduce an indicator, the em structurality Delta , which accounts for the fraction of visited points in the Poincar 'e plane. The complexity measure thus defined as the sum of those two components is validated by classifying in the ( S rm p , Delta ) space the complexity of several benchmark dissipative and conservative dynamical systems. As an application, we show how the metric can be used as a powerful biomarker for different cardiac pathologies and to distinguish the dynamical complexity of two electrochemical dissolutions.