Relation Liftings on Preorders and Posets

The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that these results extend to the enriched setting, if we replace sets by posets or preorders. Preservation of weak pullbacks becomes preservation of exact lax squares. As an application we present Moss's coalgebraic over posets

Evaluation of bioluminescence-based assays of anti-malarial drug activity

Transgenic Plasmodium falciparum expressing luciferase offers an attractive bioluminescence-based assay platform for the investigation of the pharmacological properties of anti-malarial drugs. Here a side-by-side comparison of bioluminescence and fluorescence-based assays, utilizing a luciferase reporter cassette that confers a strong temporal pattern of luciferase expression during the S-phase of intraerythrocytic development, is reported

Investigation of the antibiofilm capacity of peptide-modified stainless steel

Biofilm formation on surfaces is an important research topic in ship tribology and medical implants. In this study, dopamine and two types of synthetic peptides were designed and attached to 304 stainless steel surfaces, aiming to inhibit the formation of biofilms. A combinatory surface modification procedure was applied in which dopamine was used as a coupling agent, allowing a strong binding ability with the two peptides. X-ray photoelectron spectroscopy (XPS), elemental analysis, contact angle measurement and surface roughness test were used to evaluate the efficiency of the peptide modification. An antibiofilm assay against Staphylococcus aureus was conducted to validate the antibiofilm capacity of the peptide-modified stainless steel samples. XPS analysis confirmed that the optimal dopamine concentration was 40 µg ml−1 in the coupling reaction. Element analysis showed that dopamine and the peptides had bound to the steel surfaces. The robustness assay of the modified surface demonstrated that most peptide molecules had bound on the surface of the stainless steel firmly. The contact angle of the modified surfaces was significantly changed. Modified steel samples exhibited improved antibiofilm properties in comparison to untreated and dopamine-only counterpart, with the peptide 1 modification displaying the best antibiofilm effect. The modified surfaces showed antibacterial capacity. The antibiofilm capacity of the modified surfaces was also surface topography sensitive. The steel sample surfaces polished with 600# sandpaper exhibited stronger antibiofilm capacity than those polished with other types of sandpapers after peptide modification. These findings present valuable information for future antifouling material research

Implementing a 48 h EWTD-compliant rota for junior doctors in the UK does not compromise patients’ safety : assessor-blind pilot comparison

Background: There are currently no field data about the effect of implementing European Working Time Directive (EWTD)-compliant rotas in a medical setting. Surveys of doctors’ subjective opinions on shift work have not provided reliable objective data with which to evaluate its efficacy. Aim: We therefore studied the effects on patient's safety and doctors’ work-sleep patterns of implementing an EWTD-compliant 48 h work week in a single-blind intervention study carried out over a 12-week period at the University Hospitals Coventry & Warwickshire NHS Trust. We hypothesized that medical error rates would be reduced following the new rota. Methods: Nineteen junior doctors, nine studied while working an intervention schedule of <48 h per week and 10 studied while working traditional weeks of <56 h scheduled hours in medical wards. Work hours and sleep duration were recorded daily. Rate of medical errors (per 1000 patient-days), identified using an established active surveillance methodology, were compared for the Intervention and Traditional wards. Two senior physicians blinded to rota independently rated all suspected errors. Results: Average scheduled work hours were significantly lower on the intervention schedule [43.2 (SD 7.7) (range 26.0–60.0) vs. 52.4 (11.2) (30.0–77.0) h/week; P < 0.001], and there was a non-significant trend for increased total sleep time per day [7.26 (0.36) vs. 6.75 (0.40) h; P = 0.095]. During a total of 4782 patient-days involving 481 admissions, 32.7% fewer total medical errors occurred during the intervention than during the traditional rota (27.6 vs. 41.0 per 1000 patient-days, P = 0.006), including 82.6% fewer intercepted potential adverse events (1.2 vs. 6.9 per 1000 patient-days, P = 0.002) and 31.4% fewer non-intercepted potential adverse events (16.6 vs. 24.2 per 1000 patient-days, P = 0.067). Doctors reported worse educational opportunities on the intervention rota. Conclusions: Whilst concerns remain regarding reduced educational opportunities, our study supports the hypothesis that a 48 h work week coupled with targeted efforts to improve sleep hygiene improves patient safety

Finding Data Should be Easier than Finding Oil

The competitiveness of modern enterprises heavily depends on their ability to make the right business decisions by relying on efficient and timely analysis of the right business critical data. In large and data intensive companies such as Equinor, a Norwegian multinational oil and gas company with more than 20,000 employees, gathering such data is not a trivial task due to the growing size and complexity of corporate information sources. As a result, the data gathering task is often the most time-consuming part of the decision making process, in particular when it comes to the work processes of Equinor's exploration geologists that should find in a timely manner new exploitable accumulations of oil or gas in given areas by analysing data about these areas. In this work we present our experience in addressing this data challenge tast at Equinor. We have developed and deployed at Equinor a semantic data access system that relies on the Ontology Based Data Access (OBDA) approach. Our system is based on our solid theoretical contributions and has been extensively evaluated at Equinor

Development of NanoLuc-PEST expressing Leishmania mexicana as a new drug discovery tool for axenic- and intramacrophage-based assays

The protozoan parasite Leishmania causes leishmaniasis; a spectrum of diseases of which there are an estimated 1 million new cases each year. Current treatments are toxic, expensive, difficult to administer, and resistance to them is emerging. New therapeutics are urgently needed, however, screening the infective amastigote form of the parasite is challenging. Only certain species can be differentiated into axenic amastigotes, and compound activity against these does not always correlate with efficacy against the parasite in its intracellular niche. Methods used to assess compound efficacy on intracellular amastigotes often rely on microscopy-based assays. These are laborious, require specialist equipment and can only determine parasite burden, not parasite viability. We have addressed this clear need in the anti-leishmanial drug discovery process by producing a transgenic L. Mexicana cell line that expresses the luciferase NanoLuc-PEST. We tested the sensitivity and versatility of this transgenic strain, in comparison with strains expressing NanoLuc and the red-shifted firefly luciferase. We then compared the NanoLuc-PEST luciferase to the current methods in both axenic and intramacrophage amastigotes following treatment with a supralethal dose of Amphotericin B. NanoLuc-PEST was a more dynamic indicator of cell viability due to its high turnover rate and high signal:background ratio. This, coupled with its sensitivity in the intramacrophage assay, led us to validate the NanoLuc-PEST expressing cell line using the MMV Pathogen Box in a two-step process: i) identify hits against axenic amastigotes, ii) screen these hits using our bioluminescence-based intramacrophage assay. The data obtained from this highlights the potential of compounds active against M. tuberculosis to be re-purposed for use against Leishmania. Our transgenic L. Mexicana cell line is therefore a highly sensitive and dynamic system suitable for Leishmania drug discovery in axenic and intramacrophage amastigote models

Micromechanical finite element analyses of fire retardant woven fabric composites at elevated temperatures using unit cells at multiple length scales

This paper presents a micromechanical Finite Element (FE) model developed to predict the effective mechanical properties of glass fibre-reinforced (woven fabric) polymer composites with/without fire retardant particulate additives at elevated temperatures. The elevated mechanical properties of glass fibre-reinforced epoxy composites with/without fire retardants were predicted using three unit cells of varying length scales in micromechanical FE analysis. Theoretically predictions of flexural behaviour of these fibre-reinforced polymer composites at elevated temperatures were satisfactorily validated against experimentally measured data. The numerical model developed herein was then used for the prediction of other mechanical properties of fibre-reinforced polymer composites that would have been difficult to collect at elevated temperatures. Micromechanical FE models such as the one contained in this paper are useful to architectural engineers as they can be used to guide the design and qualification of new engineering composites that satisfy stringent Building codes in fire prone engineering applications

Automated Synthesis of Tableau Calculi

This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method guarantees that the generated rules form a calculus which is sound and constructively complete. If the logic can be shown to admit finite filtration with respect to a well-defined first-order semantics then adding a general blocking mechanism provides a terminating tableau calculus. The process of generating tableau rules can be completely automated and produces, together with the blocking mechanism, an automated procedure for generating tableau decision procedures. For illustration we show the workability of the approach for a description logic with transitive roles and propositional intuitionistic logic.Comment: 32 page

Arithmetically Cohen-Macaulay Bundles on complete intersection varieties of sufficiently high multidegree

Recently it has been proved that any arithmetically Cohen-Macaulay (ACM) bundle of rank two on a general, smooth hypersurface of degree at least three and dimension at least four is a sum of line bundles. When the dimension of the hypersurface is three, a similar result is true provided the degree of the hypersurface is at least six. We extend these results to complete intersection subvarieties by proving that any ACM bundle of rank two on a general, smooth complete intersection subvariety of sufficiently high multi-degree and dimension at least four splits. We also obtain partial results in the case of threefolds.Comment: 15 page