Reasoning About a Simulated Printer Case Investigation with Forensic Lucid

In this work we model the ACME (a fictitious company name) "printer case incident" and make its specification in Forensic Lucid, a Lucid- and intensional-logic-based programming language for cyberforensic analysis and event reconstruction specification. The printer case involves a dispute between two parties that was previously solved using the finite-state automata (FSA) approach, and is now re-done in a more usable way in Forensic Lucid. Our simulation is based on the said case modeling by encoding concepts like evidence and the related witness accounts as an evidential statement context in a Forensic Lucid program, which is an input to the transition function that models the possible deductions in the case. We then invoke the transition function (actually its reverse) with the evidential statement context to see if the evidence we encoded agrees with one's claims and then attempt to reconstruct the sequence of events that may explain the claim or disprove it.Comment: 18 pages, 3 figures, 7 listings, TOC, index; this article closely relates to arXiv:0906.0049 and arXiv:0904.3789 but to remain stand-alone repeats some of the background and introductory content; abstract presented at HSC'09 and the full updated paper at ICDF2C'11. This is an updated/edited version after ICDF2C proceedings with more references and correction

Decision-making in percutaneous coronary intervention: a survey

<p>Abstract</p> <p>Background</p> <p>Few researchers have examined the perceptions of physicians referring cases for angiography regarding the degree to which collaboration occurs during percutaneous coronary intervention (PCI) decision-making. We sought to determine perceptions of physicians concerning their involvement in PCI decisions in cases they had referred to the cardiac catheterization laboratory at a major academic medical center.</p> <p>Methods</p> <p>An anonymous survey was mailed to internal medicine faculty members at a major academic medical center. The survey elicited whether responders perceived that they were included in decision-making regarding PCI, and whether they considered such collaboration to be the best process of decision-making.</p> <p>Results</p> <p>Of the 378 surveys mailed, 35% (133) were returned. Among responding non-cardiologists, 89% indicated that in most cases, PCI decisions were made solely by the interventionalist at the time of the angiogram. Among cardiologists, 92% indicated that they discussed the findings with the interventionalist prior to any PCI decisions. When asked what they considered the best process by which PCI decisions are made, 66% of non-cardiologists answered that they would prefer collaboration between either themselves or a non-interventional cardiologist and the interventionalist. Among cardiologists, 95% agreed that a collaborative approach is best.</p> <p>Conclusion</p> <p>Both non-cardiologists and cardiologists felt that involving another decision-maker, either the referring physician or a non-interventional cardiologist, would be the best way to make PCI decisions. Among cardiologists, there was more concordance between what they believed was the best process for making decisions regarding PCI and what they perceived to be the actual process.</p

Changes in the number of new takeaway food outlets associated with adoption of management zones around schools: A natural experimental evaluation in England

© 2024 The Author(s). Published by Elsevier Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (CC BY), https://creativecommons.org/licenses/by/4.0/By the end of 2017, 35 local authorities (LAs) across England had adopted takeaway management zones (or “exclusion zones”) around schools as a means to curb proliferation of new takeaways. In this nationwide, natural experimental study, we evaluated the impact of management zones on takeaway retail, including unintended displacement of takeaways to areas immediately beyond management zones, and impacts on chain fast-food outlets. We used uncontrolled interrupted time series analyses to estimate changes from up to six years pre- and post-adoption of takeaway management zones around schools. We evaluated three outcomes: mean number of new takeaways within management zones (and by three identified sub-types: full management, town centre exempt and time management zones); mean number on the periphery of management zones (i.e. within an additional 100 m of the edge of zones); and presence of new chain fast-food outlets within management zones. For 26 LAs, we observed an overall decrease in the number of new takeaways opening within management zones. Six years post-intervention, we observed 0.83 (95% CI -0.30, −1.03) fewer new outlets opening per LA than would have been expected in absence of the intervention, equivalent to an 81.0% (95% CI -29.1, −100) reduction in the number of new outlets. Cumulatively, 12 (54%) fewer new takeaways opened than would have been expected over the six-year post-intervention period. When stratified by policy type, effects were most prominent for full management zones and town centre exempt zones. Estimates of intervention effects on numbers of new takeaways on the periphery of management zones, and on the presence of new chain fast-food outlets within management zones, did not meet statistical significance. Our findings suggest that management zone policies were able to demonstrably curb the proliferation of new takeaways. Modelling studies are required to measure the possible population health impacts associated with this change.Peer reviewe

Aerial strategies advance volcanic gas measurements at inaccessible, strongly degassing volcanoes

Volcanic emissions are a critical pathway in Earth's carbon cycle. Here, we show that aerial measurements of volcanic gases using unoccupied aerial systems (UAS) transform our ability to measure and monitor plumes remotely and to constrain global volatile fluxes from volcanoes. Combining multi-scale measurements from ground-based remote sensing, long-range aerial sampling, and satellites, we present comprehensive gas fluxes-3760 ± [600, 310] tons day-1CO2and 5150 ± [730, 340] tons day-1SO2-for a strong yet previously uncharacterized volcanic emitter: Manam, Papua New Guinea. The CO2/ST ratio of 1.07 ± 0.06 suggests a modest slab sediment contribution to the sub-arc mantle. We find that aerial strategies reduce uncertainties associated with ground-based remote sensing of SO2flux and enable near-real-time measurements of plume chemistry and carbon isotope composition. Our data emphasize the need to account for time averaging of temporal variability in volcanic gas emissions in global flux estimates

Aerial strategies advance volcanic gas measurements at inaccessible, strongly degassing volcanoes.

Volcanic emissions are a critical pathway in Earth's carbon cycle. Here, we show that aerial measurements of volcanic gases using unoccupied aerial systems (UAS) transform our ability to measure and monitor plumes remotely and to constrain global volatile fluxes from volcanoes. Combining multi-scale measurements from ground-based remote sensing, long-range aerial sampling, and satellites, we present comprehensive gas fluxes-3760 ± [600, 310] tons day-1 CO2 and 5150 ± [730, 340] tons day-1 SO2-for a strong yet previously uncharacterized volcanic emitter: Manam, Papua New Guinea. The CO2/ST ratio of 1.07 ± 0.06 suggests a modest slab sediment contribution to the sub-arc mantle. We find that aerial strategies reduce uncertainties associated with ground-based remote sensing of SO2 flux and enable near-real-time measurements of plume chemistry and carbon isotope composition. Our data emphasize the need to account for time averaging of temporal variability in volcanic gas emissions in global flux estimates

Aerial strategies advance volcanic gas measurements at inaccessible, strongly degassing volcanoes

Volcanic emissions are a critical pathway in Earth’s carbon cycle. Here, we show that aerial measurements of volcanic gases using unoccupied aerial systems (UAS) transform our ability to measure and monitor plumes remotely and to constrain global volatile fluxes from volcanoes. Combining multi-scale measurements from ground-based remote sensing, long-range aerial sampling, and satellites, we present comprehensive gas fluxes—3760 ± [600, 310] tons day−1 CO2 and 5150 ± [730, 340] tons day−1 SO2—for a strong yet previously uncharacterized volcanic emitter: Manam, Papua New Guinea. The CO2/ST ratio of 1.07 ± 0.06 suggests a modest slab sediment contribution to the sub-arc mantle. We find that aerial strategies reduce uncertainties associated with ground-based remote sensing of SO2 flux and enable near–real-time measurements of plume chemistry and carbon isotope composition. Our data emphasize the need to account for time averaging of temporal variability in volcanic gas emissions in global flux estimates

“Actually there is a brain in there”: uncovering complexity in pathways through education for young adults who have been in care

Internationally, research has highlighted disruption to the educational trajectories of young people in care, documenting concern about upheaval and poor educational outcomes. We present findings from English data arising from qualitative longitudinal research with care experienced people (16-32 years) who were also in education, employment or training. The analysis extends understanding of the experiences of those who achieve educational ‘success’, including those who followed non-linear trajectories. The need for a flexible education system, and leaving care entitlements, which take into account the disruption experienced by young people in care and the consequent possibility of delayed educational pathways, is discussed

Aerial strategies advance volcanic gas measurements at inaccessible, strongly degassing volcanoes

Volcanic emissions are a critical pathway in Earth’s carbon cycle. Here, we show that aerial measurements of volcanic gases using unoccupied aerial systems (UAS) transform our ability to measure and monitor plumes remotely and to constrain global volatile fluxes from volcanoes. Combining multi-scale measurements from ground-based remote sensing, long-range aerial sampling, and satellites, we present comprehensive gas fluxes—3760 ± [600, 310] tons day−1 CO2 and 5150 ± [730, 340] tons day−1 SO2—for a strong yet previously uncharacterized volcanic emitter: Manam, Papua New Guinea. The CO2/ST ratio of 1.07 ± 0.06 suggests a modest slab sediment contribution to the sub-arc mantle. We find that aerial strategies reduce uncertainties associated with ground-based remote sensing of SO2 flux and enable near–real-time measurements of plume chemistry and carbon isotope composition. Our data emphasize the need to account for time averaging of temporal variability in volcanic gas emissions in global flux estimates