2,823 research outputs found
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
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
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
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
- âŠ