Nets, relations and linking diagrams

In recent work, the author and others have studied compositional algebras of Petri nets. Here we consider mathematical aspects of the pure linking algebras that underly them. We characterise composition of nets without places as the composition of spans over appropriate categories of relations, and study the underlying algebraic structures.Comment: 15 pages, Proceedings of 5th Conference on Algebra and Coalgebra in Computer Science (CALCO), Warsaw, Poland, 3-6 September 201

Environment and classical channels in categorical quantum mechanics

We present a both simple and comprehensive graphical calculus for quantum computing. In particular, we axiomatize the notion of an environment, which together with the earlier introduced axiomatic notion of classical structure enables us to define classical channels, quantum measurements and classical control. If we moreover adjoin the earlier introduced axiomatic notion of complementarity, we obtain sufficient structural power for constructive representation and correctness derivation of typical quantum informatic protocols.Comment: 26 pages, many pics; this third version has substantially more explanations than previous ones; Journal reference is of short 14 page version; Proceedings of the 19th EACSL Annual Conference on Computer Science Logic (CSL), Lecture Notes in Computer Science 6247, Springer-Verlag (2010

Interacting Frobenius Algebras are Hopf

Theories featuring the interaction between a Frobenius algebra and a Hopf algebra have recently appeared in several areas in computer science: concurrent programming, control theory, and quantum computing, among others. Bonchi, Sobocinski, and Zanasi (2014) have shown that, given a suitable distributive law, a pair of Hopf algebras forms two Frobenius algebras. Here we take the opposite approach, and show that interacting Frobenius algebras form Hopf algebras. We generalise (BSZ 2014) by including non-trivial dynamics of the underlying object---the so-called phase group---and investigate the effects of finite dimensionality of the underlying model. We recover the system of Bonchi et al as a subtheory in the prime power dimensional case, but the more general theory does not arise from a distributive law.Comment: 32 pages; submitte

Simulated ecology-driven sympatric speciation

We introduce a multi-locus genetically acquired phenotype, submitted to mutations and with selective value, in an age-structured model for biological aging. This phenotype describes a single-trait effect of the environment on an individual, and we study the resulting distribution of this trait among the population. In particular, our simulations show that the appearance of a double phenotypic attractor in the ecology induces the emergence of a stable polymorphism, as observed in the Galapagos finches. In the presence of this polymorphism, the simulations generate short-term speciation, when mating preferences are also allowed to suffer mutations and acquire selective value.Comment: 11 pages, 5 figures, 1 table, uses package RevTe

The epidemiology of traumatic brain injuries sustained by children under 10 years of age presenting to a tertiary hospital in Soweto, South Africa

Background. Traumatic brain injury (TBI) in the paediatric population is a significant contributor to death and disability worldwide. In sub-Saharan Africa, death and disability from TBI are still superseded by infectious disease. Mechanisms of injury differ by region and socioeconomics, but in general, falls, road traffic collisions (RTCs), being ‘struck by/against objects’ and non-accidental injuries (NAIs) are responsible for most cases.Objectives. To: (i) quantify the burden of TBI in terms of demographics, causes and severity; (ii) explore resource utilisation regarding length of stay, computed tomography (CT) brain scan use and multidisciplinary participation; (iii) interrogate possible temporal patterns of injury; and (iv) thus identify potential targets for community-based prevention strategies.Methods. In a 5-year retrospective review of all children aged <10 years admitted with TBI between September 2013 and August 2018, demographics, date of injury, mechanism of injury, severity of TBI based on the Glasgow Coma Scale, and requirement for a CT brain scan were collected for each patient. Outcomes were reported as discharge, transfer or death. Outcomes for children sustaining isolated TBI were compared with those for children sustaining TBI with polytrauma.Results. A total of 2 153 patients were included, with a mean (standard deviation) age of 4.6 (2.7) years and a male/female ratio of 1.7:1. RTCs were the most frequent cause of injury at 59% (80% of these were pedestrian-vehicle collisions), followed by falls at 24%. Mild TBIs accounted for 87% of admissions, moderate injuries for 6%, and severe injuries for 7%. Polytrauma was associated with increased severity of TBI. The cohort had a 2.3% mortality. NAIs accounted for 6% of injuries and carried a 4% mortality. The median (interquartile range) duration of hospitalisation was 1 (1 - 3) days, ranging from <24 hours to 132 days. CT scans were performed on 43% of admitted patients, and 48% of patients had consultations with another medical or allied medical discipline. Injuries were more frequent during the summer months and over weekends. Infants aged <1 year were identified as a group particularly vulnerable to injury, specifically NAI.Conclusions. Paediatric TBI was demonstrated to be a resource-intensive public health concern. From the results, we identified potential primary prevention targets that could perhaps be incorporated into broader community-based intervention programmes. We also identified a need to study long-term consequences of mild TBI further in our paediatric population

Use of Single Board Computers as Smart Sensors in the Manufacturing Industry

The continuously growing presence of cyber-physical systems in the industry, especially in the field of processes automation and control, represents the paradigm of the so called fourth industrial revolution, in which the systems are smarter, faster and more optimized by means of artificial intelligence, control systems and sensors networks. The presence of ICT and automation systems guarantees energy and other resources efficiency along the whole value chain of industrial processes. Especially important is the case of the smart sensors, in which a conventional sensor is equipped with interfacing methodologies for signal processing and decision making. In this article the capabilities of using a single board computer as a smart sensor are explored.Postprint (published version

Generalised Compositional Theories and Diagrammatic Reasoning

This chapter provides an introduction to the use of diagrammatic language, or perhaps more accurately, diagrammatic calculus, in quantum information and quantum foundations. We illustrate the use of diagrammatic calculus in one particular case, namely the study of complementarity and non-locality, two fundamental concepts of quantum theory whose relationship we explore in later part of this chapter. The diagrammatic calculus that we are concerned with here is not merely an illustrative tool, but it has both (i) a conceptual physical backbone, which allows it to act as a foundation for diverse physical theories, and (ii) a genuine mathematical underpinning, permitting one to relate it to standard mathematical structures.Comment: To appear as a Springer book chapter chapter, edited by G. Chirabella, R. Spekken

Picturing classical and quantum Bayesian inference

We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum Bayesian inference wherein one considers density operators rather than probability distributions as representative of degrees of belief. The diagrammatic framework is stated in the graphical language of symmetric monoidal categories and of compact structures and Frobenius structures therein, in which Bayesian inversion boils down to transposition with respect to an appropriate compact structure. We characterize classical Bayesian inference in terms of a graphical property and demonstrate that our approach eliminates some purely conventional elements that appear in common representations thereof, such as whether degrees of belief are represented by probabilities or entropic quantities. We also introduce a quantum-like calculus wherein the Frobenius structure is noncommutative and show that it can accommodate Leifer's calculus of `conditional density operators'. The notion of conditional independence is also generalized to our graphical setting and we make some preliminary connections to the theory of Bayesian networks. Finally, we demonstrate how to construct a graphical Bayesian calculus within any dagger compact category.Comment: 38 pages, lots of picture