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

Pre-M Phase-promoting Factor Associates with Annulate Lamellae in Xenopus Oocytes and Egg Extracts

We have used complementary biochemical and in vivo approaches to study the compartmentalization of M phase-promoting factor (MPF) in prophase Xenopus eggs and oocytes. We first examined the distribution of MPF (Cdc2/CyclinB2) and membranous organelles in high-speed extracts of Xenopus eggs made during mitotic prophase. These extracts were found to lack mitochondria, Golgi membranes, and most endoplasmic reticulum (ER) but to contain the bulk of the pre-MPF pool. This pre-MPF could be pelleted by further centrifugation along with components necessary to activate it. On activation, Cdc2/CyclinB2 moved into the soluble fraction. Electron microscopy and Western blot analysis showed that the pre-MPF pellet contained a specific ER subdomain comprising "annulate lamellae" (AL): stacked ER membranes highly enriched in nuclear pores. Colocalization of pre-MPF with AL was demonstrated by anti-CyclinB2 immunofluorescence in prophase oocytes, in which AL are positioned close to the vegetal surface. Green fluorescent protein-CyclinB2 expressed in oocytes also localized at AL. These data suggest that inactive MPF associates with nuclear envelope components just before activation. This association may explain why nuclei and centrosomes stimulate MPF activation and provide a mechanism for targeting of MPF to some of its key substrates

A Theory for the High-T_c Cuprates: Anomalous Normal-State and Spectroscopic Properties, Phase Diagram, and Pairing

A theory of highly correlated layered superconducting materials isapplied for the cuprates. Differently from an independent-electron approximation, their low-energy excitations are approached in terms of auxiliary particles representing combinations of atomic-like electron configurations, where the introduction of a Lagrange Bose field enables treating them as bosons or fermions. The energy spectrum of this field accounts for the tendency of hole-doped cuprates to form stripe-like inhomogeneities. Consequently, it induces a different analytical behavior for auxiliary particles corresponding to "antinodal" and "nodal" electrons, enabling the existence of different pairing temperatures at T^* and T_c. This theory correctly describes the observed phase diagram of the cuprates, including the non-Fermi-liquid to FL crossover in the normal state, the existence of Fermi arcs below T^* and of a "marginal-FL" critical behavior above it. The qualitative anomalous behavior of numerous physical quantities is accounted for, including kink- and waterfall-like spectral features, the drop in the scattering rates below T^* and more radically below T_c, and an effective increase in the density of carriers with T and \omega, reflected in transport, optical and other properties. Also is explained the correspondence between T_c, the resonance-mode energy, and the "nodal gap".Comment: 28 pages, 7 figure

Reducing the environmental impact of surgery on a global scale: systematic review and co-prioritization with healthcare workers in 132 countries

Background Healthcare cannot achieve net-zero carbon without addressing operating theatres. The aim of this study was to prioritize feasible interventions to reduce the environmental impact of operating theatres. Methods This study adopted a four-phase Delphi consensus co-prioritization methodology. In phase 1, a systematic review of published interventions and global consultation of perioperative healthcare professionals were used to longlist interventions. In phase 2, iterative thematic analysis consolidated comparable interventions into a shortlist. In phase 3, the shortlist was co-prioritized based on patient and clinician views on acceptability, feasibility, and safety. In phase 4, ranked lists of interventions were presented by their relevance to high-income countries and low–middle-income countries. Results In phase 1, 43 interventions were identified, which had low uptake in practice according to 3042 professionals globally. In phase 2, a shortlist of 15 intervention domains was generated. In phase 3, interventions were deemed acceptable for more than 90 per cent of patients except for reducing general anaesthesia (84 per cent) and re-sterilization of ‘single-use’ consumables (86 per cent). In phase 4, the top three shortlisted interventions for high-income countries were: introducing recycling; reducing use of anaesthetic gases; and appropriate clinical waste processing. In phase 4, the top three shortlisted interventions for low–middle-income countries were: introducing reusable surgical devices; reducing use of consumables; and reducing the use of general anaesthesia. Conclusion This is a step toward environmentally sustainable operating environments with actionable interventions applicable to both high– and low–middle–income countries

Asynchronous Stream Processing with S-Net

© The Author(s) 2010. This article is published with open access at Springerlink.comWe present the rationale and design of S-Net, a coordination language for asynchronous stream processing. The language achieves a near-complete separation between the application code, written in any conventional programming language, and the coordination/communication code written in S-Net. Our approach supports a component technology with flexible software reuse. No extension of the conventional language is required. The interface between S-Net and the application code is in terms of one additional library function. The application code is componentised and presented to S-Net as a set of components, called boxes, each encapsulating a single tuple-to-tuple function. Apart from the boxes defined using an external compute language, S-Net features two built-in boxes: one for network housekeeping and one for data-flow style synchronisation. Streaming network composition under S-Net is based on four network combinators, which have both deterministic and nondeterministic versions. Flexible software reuse is comprehensive, with the box interfaces and even the network structure being subject to subtyping. We propose an inheritance mechanism, named flow inheritance, that is specifically geared towards stream processing. The paper summarises the essential language constructs and type concepts and gives a short application example.Peer reviewe