Graphical Reasoning in Compact Closed Categories for Quantum Computation

Compact closed categories provide a foundational formalism for a variety of important domains, including quantum computation. These categories have a natural visualisation as a form of graphs. We present a formalism for equational reasoning about such graphs and develop this into a generic proof system with a fixed logical kernel for equational reasoning about compact closed categories. Automating this reasoning process is motivated by the slow and error prone nature of manual graph manipulation. A salient feature of our system is that it provides a formal and declarative account of derived results that can include `ellipses'-style notation. We illustrate the framework by instantiating it for a graphical language of quantum computation and show how this can be used to perform symbolic computation.Comment: 21 pages, 9 figures. This is the journal version of the paper published at AIS

Declaraciones de enfermeras hospitalarias de la década del ochenta: ayuda para la comprensión de la enfermería actual

This study is part of a more extensive project that aims to rescue significant aspects related to the evolution of nursing care from 1950s until 1990s.This study was developed using the technique of oral declaration by active and retired registered nurses, in the context of a school-hospital from the interior of the São Paulo State. The present study particularizes the outcomes regarding to 1980s. As result becomes evident the undertaken effort by nurses in the struggle for profession's recognition and prestige; intense and deep transformations related to nurse's new roles as leadership of the nursinf staff and members of the medical team.Este estudo é parte de um projeto mais amplo que visa resgatar aspectos significativos relacionados à evolução da assistência de enfermagem nas décadas de 50 a 90. Este resgate é feito através da técnica de depoimentos orais de enfermeiros em exercício e aposentados, no contexto de um Hospital Escola do interior paulista. O presente estudo particulariza os resultados obtidos, referentes à década de 80. Como resultado evidencia-se o esforço empreendido pelos enfermeiros na luta pelo reconhecimento e prestígio da profissão, as transformações intensas e profundas aos novos papéis da enfermeira enquanto líder e membro da equipe médica.El estudio es parte de um projecto más ámplio con el intento de rescatar aspectos significativos relacionados a la evolución de la asistencia de enfermería en las décadas de 50 a 90. La capitación se há realizado a traves de la técnica de depoimentos orales de los enfermeros en ejercício de la profesión, en le contexto de un Hospital Escuela del interior del Estado de São Paulo. El presente estudio particulariza los resultados obtenidos, referentes a la década de 80. Como resultados se evidencian el esfuerzo imprimido por las enfermeras en la lucha por el reconocimiento y prestigio de la profésion. Las transformaciones intensas y profundas relacionadas a los nuevos roles de la enfermera como líder de los trabajadores de enfermería y miembro del grupo de la Salud

Is the pharmacy profession innovative enough?: meeting the needs of Australian residents with chronic conditions and their carers using the nominal group technique

Background Community pharmacies are ideally located as a source of support for people with chronic conditions. Yet, we have limited insight into what innovative pharmacy services would support this consumer group to manage their condition/s. The aim of this study was to identify what innovations people with chronic conditions and their carers want from their ideal community pharmacy, and compare with what pharmacists and pharmacy support staff think consumers want. Methods We elicited ideas using the nominal group technique. Participants included people with chronic conditions, unpaid carers, pharmacists and pharmacy support staff, in four regions of Australia. Themes were identified via thematic analysis using the constant comparison method. Results Fifteen consumer/carer, four pharmacist and two pharmacy support staff groups were conducted. Two overarching themes were identified: extended scope of practice for the pharmacist and new or improved pharmacy services. The most innovative role for Australian pharmacists was medication continuance, within a limited time-frame. Consumers and carers wanted improved access to pharmacists, but this did not necessarily align with a faster or automated dispensing service. Other ideas included streamlined access to prescriptions via medication reminders, electronic prescriptions and a chronic illness card. Conclusions This study provides further support for extending the pharmacist’s role in medication continuance, particularly as it represents the consumer’s voice. How this is done, or the methods used, needs to optimise patient safety. A range of innovative strategies were proposed and Australian community pharmacies should advocate for and implement innovative approaches to improve access and ensure continuity of care

Internal and external cooling methods and their effect on body temperature, thermal perception and dexterity

© 2018 The Authors. Published by PLOS. This is an open access article available under a Creative Commons licence. The published version can be accessed at the following link on the publisher’s website: https://doi.org/10.1371/journal.pone.0191416© 2018 Maley et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Objective The present study aimed to compare a range of cooling methods possibly utilised by occupational workers, focusing on their effect on body temperature, perception and manual dexterity. Methods Ten male participants completed eight trials involving 30 min of seated rest followed by 30 min of cooling or control of no cooling (CON) (34C, 58% relative humidity). The cooling methods utilised were: ice cooling vest (CV0), phase change cooling vest melting at 14C (CV14), evaporative cooling vest (CVEV), arm immersion in 10C water (AI), portable water-perfused suit (WPS), heliox inhalation (HE) and ice slushy ingestion (SL). Immediately before and after cooling, participants were assessed for fine (Purdue pegboard task) and gross (grip and pinch strength) manual dexterity. Rectal and skin temperature, as well as thermal sensation and comfort, were monitored throughout. Results Compared with CON, SL was the only method to reduce rectal temperature (P = 0.012). All externally applied cooling methods reduced skin temperature (P0.05). Conclusion The present study observed that ice ingestion or ice applied to the skin produced the greatest effect on rectal and skin temperature, respectively. AI should not be utilised if workers require subsequent fine manual dexterity. These results will help inform future studies investigating appropriate pre-cooling methods for the occupational worker.This project is financially supported by the US Government through the Technical Support Working Group within the Combating Terrorism Technical Support Office.Published versio

Facing the Beast Apart Together: Fear in Boys and Girls after Processing Information about Novel Animals Individually or in a Duo

In this experimental study, we made an attempt to examine gender-related peer influences on childhood fear. Nine- to 12-year-old boys and girls were provided with ambiguous and positive information about novel animals and then asked to provide a subjective fear rating of the animals under two conditions: fear of one animal was assessed individually by the child on its own, whereas fear of the other animal was measured after a brief discussion on fear-related issues with a same-gender peer. Results indicated that children who completed the FBQ after a discussion with a same-gender peer displayed lower fear beliefs scores than children who completed the questionnaire fully on their own. This fear-suppression effect was mainly evident in boys after hearing ambiguous information about the novel animals. The implications of these findings are briefly discussed

Moderate and heavy metabolic stress interval training improve arterial stiffness and heart rate dynamics in humans

Traditional continuous aerobic exercise training attenuates age-related increases of arterial stiffness, however, training studies have not determined whether metabolic stress impacts these favourable effects. Twenty untrained healthy participants (n = 11 heavy metabolic stress interval training, n = 9 moderate metabolic stress interval training) completed 6 weeks of moderate or heavy intensity interval training matched for total work and exercise duration. Carotid artery stiffness, blood pressure contour analysis, and linear and non-linear heart rate variability were assessed before and following training. Overall, carotid arterial stiffness was reduced (p  0.05). This study demonstrates the effectiveness of interval training at improving arterial stiffness and autonomic function, however, the metabolic stress was not a mediator of this effect. In addition, these changes were also independent of improvements in aerobic capacity, which were only induced by training that involved a high metabolic stress

Investigation of Neuronal Cell Type-Specific Gene Expression of Ca(2+)/Calmodulin-dependent Protein Kinase II.

The promoter activity of the rat Ca(2+)/calmodulin-dependent protein kinase II gene was analyzed using the luciferase reporter gene in neuronal and non-neuronal cell lines. Neuronal cell type-specific promoter activity was found in the 5'-flanking region of α and β isoform genes of the kinase. Silencer elements were also found further upstream of promoter regions. A brain-specific protein bound to the DNA sequence of the 5'-flanking region of the gene was found by gel mobility shift analysis in the nuclear extract of the rat brain, including the cerebellum, forebrain, and brainstem, but not in that of non-neuronal tissues, including liver, kidney and spleen. The luciferase expression system and gel shift analysis can be used as an additional and better index by which to monitor gene expression in most cell types