On the Complexity of Temporal-Logic Path Checking

Given a formula in a temporal logic such as LTL or MTL, a fundamental problem is the complexity of evaluating the formula on a given finite word. For LTL, the complexity of this task was recently shown to be in NC. In this paper, we present an NC algorithm for MTL, a quantitative (or metric) extension of LTL, and give an NCC algorithm for UTL, the unary fragment of LTL. At the time of writing, MTL is the most expressive logic with an NC path-checking algorithm, and UTL is the most expressive fragment of LTL with a more efficient path-checking algorithm than for full LTL (subject to standard complexity-theoretic assumptions). We then establish a connection between LTL path checking and planar circuits, which we exploit to show that any further progress in determining the precise complexity of LTL path checking would immediately entail more efficient evaluation algorithms than are known for a certain class of planar circuits. The connection further implies that the complexity of LTL path checking depends on the Boolean connectives allowed: adding Boolean exclusive or yields a temporal logic with P-complete path-checking problem

First Long-Time Airborne Fungal Spores Study in Dublin, Ireland (1978–1980)

Ambient fungal spores within the atmosphere can contribute to a range of negative human, animal and plant health conditions and diseases. However, trends in fungal spore seasonality, species prevalence, and geographical origin have been significantly understudied in Ireland. Previously unpublished data from the late 1970s have recently been collected and analysed to establish historical fungal spore trends/characteristics for Dublin. Historical spore concentrations were largely dominated by Alternaria, Ascospores, Basidiospores, Botrytis, Cladosporium, Erysiphe and Rusts. The main fungal spore season for Dublin commenced in April with the fructification of Scopulariopsis and Ganoderma. However, the vast majority of other spore types did not reach peak spore release until late summer. The correlation between ambient spore concentration, and meteorological parameters was examined using Multivariable Regression Tree (MRT) analysis. The notable correlations found for fungal spore concentrations tended to involve temperature-based parameters. The use of a non-parametric wind regression was also employed to determine the potential geographical origin of ambient fungal spores. The impact of wind direction, and high windspeed on fungal spores was established, ultimately highlighting the importance of studying and monitoring fungal spores within Ireland, rather than attempting to rely on data from other regions, as most fungal spores collected in Dublin appeared to originate from within the island

Interestingness of traces in declarative process mining: The janus LTLPf Approach

Declarative process mining is the set of techniques aimed at extracting behavioural constraints from event logs. These constraints are inherently of a reactive nature, in that their activation restricts the occurrence of other activities. In this way, they are prone to the principle of ex falso quod libet: they can be satisfied even when not activated. As a consequence, constraints can be mined that are hardly interesting to users or even potentially misleading. In this paper, we build on the observation that users typically read and write temporal constraints as if-statements with an explicit indication of the activation condition. Our approach is called Janus, because it permits the specification and verification of reactive constraints that, upon activation, look forward into the future and backwards into the past of a trace. Reactive constraints are expressed using Linear-time Temporal Logic with Past on Finite Traces (LTLp f). To mine them out of event logs, we devise a time bi-directional valuation technique based on triplets of automata operating in an on-line fashion. Our solution proves efficient, being at most quadratic w.r.t. trace length, and effective in recognising interestingness of discovered constraints

Airborne Fungal Spore Review, New Advances and Automatisation

Fungal spores make up a significant portion of Primary Biological Aerosol Particles (PBAPs) with large quantities of such particles noted in the air. Fungal particles are of interest because of their potential to affect the health of both plants and humans. They are omnipresent in the atmosphere year-round, with concentrations varying due to meteorological parameters and location. Equally, differences between indoor and outdoor fungal spore concentrations and dispersal play an important role in occupational health. This review attempts to summarise the different spore sampling methods, identify the most important spore types in terms of negative effects on crops and the public, the factors affecting their growth/dispersal, and different methods of predicting fungal spore concentrations currently in use

Prevalence and number of Salmonella in retail pork sausages

The aim of this study was to assess the prevalence of Salmonella in Irish pork sausage at retail level. Samples, comprising branded prepacked sausages, loose sausages from supermarket meat counters and butcher shops, were collected from selected retail sites in four cities from October to December 2001 and from June to August 2002. A 3-tube Most Probable Number (MPN) method was used to enumerate Salmonella in a selected number of samples, which were positive by enrichment. Salmonella serotypes were detected in 4.4% and 1.7% of samples at each of the respective sampling periods; a level similar to those reported in other U.S. and U.K. studies. Limited results available on enumeration suggest that contamination rates were low. This study revealed that Salmonella are present in a proportion of Irish sausages and further risk analysis work is necessary in order to quantify the risk posed to public health. Keywords: control programme, enumeration, serology, bacteriology, food safety

BreastScreen Australia monitoring report 1998–1999 and 1999–2000

This report is the fourth annual report based on key program activity, performance and outcome indicators to monitor the achievements of the BreastScreen Australia Program. The report presents the most recent information on participation in breast screening, cancer detection, program sensitivity and recall to assessment and rescreening rates

Impact of chronic consumption of dairy products varying in fatty acid composition on postprandial lipid responses: preliminary insights from the RESET study

Impact of chronic consumption of dairy products varying in fatty acid composition on postprandial lipid responses: preliminary insights from the RESET stud

Clinical supervision: A panacea for missed care

© 2020 John Wiley & Sons Ltd Aim: Clinical supervision is proposed as a solution-focused approach that supports nurses in busy health care environments, helping address the mounting incidents of missed care. Background: The pervasive nature of missed nursing care is concerning. The growing body of evidence on missed care predominantly focuses on types and causes. However, the effectiveness of solution-focused interventions used to reduce incidents of missed care has received less attention. Methods: Drawing on the literature, it is proposed that clinical supervision supports personal and professional development, positive working environments and quality patient care outcomes, and therefore reduces missed care incidents. Results: Clinical supervision fosters a supportive working environment where opportunities to critically reflect on caring values are provided, commitment to improving standards of care is nurtured, and courage to challenge care standards is encouraged. Conclusion: In an era of reports highlighting declining standards of nursing care and a wealth of evidence highlighting the benefits of clinical supervision, it remains underused in many areas of nursing. Implications for Nursing Management: Nurse managers need to recognize the value of clinical supervision in improving standards of nursing care and assume leadership in its successful implementation

Unhealthy food and beverage consumption during childhood and risk of cardiometabolic disease: a systematic review of prospective cohort studies

Background Global consumption of unhealthy foods, including ultra-processed foods (UPFs) and sugar-sweetened beverages (SSBs), has increased substantially among pediatric populations. Suboptimal diet during early life can track into adulthood, alongside risk factors for cardiometabolic disease. Objective To inform the development of updated WHO guiding principles for complementary feeding of infants and young children, this systematic review sought to examine the association between unhealthy food consumption during childhood and cardiometabolic risk biomarkers. Methods PubMed (Medline), EMBASE, and Cochrane CENTRAL were systematically searched, with no language restriction, up to 10 March 2022. Inclusion criteria were randomized controlled trials (RCTs), non-RCTs, and longitudinal cohort studies; children aged ≤10.9 y at exposure; studies reporting greater consumption of unhealthy foods and beverages (defined using nutrient- and food-based approaches) than no or low consumption; studies assessing critical nonanthropometric cardiometabolic disease risk outcomes (blood lipid profile, glycemic control, or blood pressure). Results Of 30,021 identified citations, 11 articles from 8 longitudinal cohort studies were included. Six studies focused on exposure to unhealthy foods or UPF, and 4 focused on SSB only. Methodological heterogeneity was too high across studies to meta-analyze effect estimates. A narrative synthesis of quantitative data revealed that exposure to unhealthy foods and beverages, specifically NOVA-defined UPF, in children of preschool age may be associated with a worse blood lipid and blood pressure profile in later childhood (Grading of Recommendations Assessment, Development, and Evaluation [GRADE]: low and very low certainty, respectively). No associations were evident between SSB consumption and blood lipids, glycemic control, or blood pressure (GRADE: all low certainty). Conclusions No definitive conclusion can be made because of quality of the data. More high-quality studies that purposefully assess the effects of unhealthy food and beverage exposure during childhood on cardiometabolic risk outcomes are needed. This protocol was registered at https://www.crd.york.ac.uk/PROSPERO/ as CRD42020218109