Cartoons by Pace

A coloring book adopted from drawings in the 1903 Sibyl (the University yearbook), with additional information about the professors, pulled from the Otterbein University Archive. by E. J. Pace (class of 1905). 18 pages, 8 ½” x 11”.https://digitalcommons.otterbein.edu/coloring/1002/thumbnail.jp

Detection of conflicts in electronic contracts

Today’s trend towards service-oriented architectures, in which different decoupled services distributed not only on different machines within a single organisation but also outside of it, provides new challenges for reliability and trust. Since an organisation may need to execute code provided by third parties, it requires mechanisms to protect itself. One of such mechanisms is the use of contracts. Since services are frequently composed of different subservices, each with its own contract, there is a need to guarantee that each single contract is conflict-free. Moreover, one needs to ensure that the conjunction of all the contracts is also conflict-free —meaning that the contracts will never lead to conflicting or contradictory normative directives.peer-reviewe

Neuroimaging of structural pathology and connectomics in traumatic brain injury: Toward personalized outcome prediction.

Recent contributions to the body of knowledge on traumatic brain injury (TBI) favor the view that multimodal neuroimaging using structural and functional magnetic resonance imaging (MRI and fMRI, respectively) as well as diffusion tensor imaging (DTI) has excellent potential to identify novel biomarkers and predictors of TBI outcome. This is particularly the case when such methods are appropriately combined with volumetric/morphometric analysis of brain structures and with the exploration of TBI-related changes in brain network properties at the level of the connectome. In this context, our present review summarizes recent developments on the roles of these two techniques in the search for novel structural neuroimaging biomarkers that have TBI outcome prognostication value. The themes being explored cover notable trends in this area of research, including (1) the role of advanced MRI processing methods in the analysis of structural pathology, (2) the use of brain connectomics and network analysis to identify outcome biomarkers, and (3) the application of multivariate statistics to predict outcome using neuroimaging metrics. The goal of the review is to draw the community's attention to these recent advances on TBI outcome prediction methods and to encourage the development of new methodologies whereby structural neuroimaging can be used to identify biomarkers of TBI outcome

Model checking concurrent assembly algorithms

Model checking has been used in various domains, to enable automatic verification of properties for a given model. Especially in cases when the correctness of the the model is not evident due to the complex nature of the description, model checking can be an indispensable tool. One such domain is the use of concurrent assembly algorithms for lowlevel synchronisation, which can be notoriously difficult to check their correctness or even test. In this paper we look at this domain, and explore the use of model-checking in verifying a number of such algorithms, such as barrier synchronisation and wait-free CSP channel communication. We tackle the state explosion problem inherent in model checking by making use of abstraction techniques to remove rendundant information in the the model, and partial-order techniques to remove redundant interleavings of actions. Finally, we also investigate the use of structural induction to reason about families of systems of arbitrary size. Making use of symmetry and induction, we verify algorithms with an unbounded number of identical participating tasks.peer-reviewe

Conflict analysis of deontic contracts

Industry is currently pushing towards Service Oriented Architecture where code execution is not limited to the organisational borders but may extend outside of the organisation to which the sources are typically not accessible. In order to protect the interests of the organisation contracts are used which can be seen as a list of obligations, permissions and prohibitions. The composition of different services with different con- tracts, and the combination of service contracts with local contracts can give rise to conflicts, exposing the need for automatic techniques for contract analysis. In this paper we investigate how conflict analysis can be performed automatically for contracts specified in the contract language CL.peer-reviewe

Identification of an HNF1A p.Gly292fs frameshift mutation presenting as diabetes during pregnancy in a Maltese family

The diagnosis of maturity onset diabetes of the young (MODY) is a challenging process in view of the extensive clinical and genetic heterogeneity of the disease. Mutations in the gene encoding hepatocyte nuclear factor 1α (HNF1A) are responsible for most forms of monogenic diabetes in Northern European populations. Genetic analysis through a combination of whole exome sequencing and Sanger sequencing in three Maltese siblings and their father identified a rare duplication/frameshift mutation in exon 4 of HNF1A that lies within a known mutational hotspot in this gene. In this report, we provide the first description of an HNF1A-MODY3 phenotype in a Maltese family. The findings reported are relevant and new to a regional population, where the epidemiology of atypical diabetes has never been studied before. This report is of clinical interest as it highlights how monogenic diabetes can be misdiagnosed as either type 1, type 2, or gestational diabetes. It also reinforces the need for a better characterisation of monogenic diabetes in Mediterranean countries, particularly in island populations such as Malta with a high prevalence of diabetes.peer-reviewe

Reduced leukocyte mitochondrial copy number in metabolic syndrome and metabolically healthy obesity

Objective: This study aimed to investigate the associations between peripheral blood leukocyte mitochondrial copy number, metabolic syndrome, and adiposity-related body composition phenotypes in a high prevalence population. Methods: A single center cross-sectional study was conducted, consisting of 521 middle-aged subjects of Maltese-Caucasian ethnicity. Participants were stratified according to the presence of metabolic syndrome and different metabolic health definitions based on NCEP-ATP III criteria. Relative leukocyte mitochondrial DNA copy number was determined by quantitative polymerase chain reaction and corrected for leukocyte and platelet count. The associations between mitochondrial copy number and metabolic syndrome components was evaluated and adjusted for age and gender. Results: Significant negative correlations between mtDNA copy number and BMI, waist circumference, triglyceride levels, fasting plasma glucose, HbA1c, HOMA-IR and hsCRP were observed, along with a positive correlation with HDL-C levels. Mitochondrial copy number was lower in individuals with metabolic syndrome. When compared to metabolically healthy normal weight subjects, a reduction in mtDNA copy number was observed in both the metabolically healthy and unhealthy obese categories. Conclusion: Our data supports the association between reduced leukocyte mtDNA copy number, obesity, and metabolic syndrome. This investigation expands on the spectrum of associations between mtDNA copy number and metabolic phenotypes in different populations and underpins the role of mitochondrial dysfunction in the development and progression of metabolic syndrome and its components.peer-reviewe

Automatic conflict detection on contracts

Partially supported by the Nordunet3 project COSoDIS: “Contract-Oriented Software Development for Internet Services”.Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions and prohibitions of the different actors, can be used to protect the interests of the organisations engaged in such service exchange. However, the potentially dynamic composition of services with different contracts, and the combination of service contracts with local contracts can give rise to unexpected conflicts, exposing the need for automatic techniques for contract analysis. In this paper we look at automatic analysis techniques for contracts written in the contract language CL. We present a trace semantics of CL suitable for conflict analysis, and a decision procedure for detecting conflicts (together with its proof of soundness, completeness and termination). We also discuss its implementation and look into the applications of the contract analysis approach we present. These techniques are applied to a small case study of an airline check-in desk.peer-reviewe

Predictors of correct technique in patients using pressurized metered dose inhalers

Background: Correct inhaler technique is recommended by guidelines for optimum asthma care. The objective of the study is to determine real life predictors of correct pressurized metered dose inhaler (pMDI) technique in Asthma and COPD patients. Methods: Two hundred eight adult patients aged 18+ from respiratory outpatients (69.2%) and the community on regular pMDI for a diagnosis of Asthma (78.9%) or COPD, were recruited. A questionnaire containing 31 possible predictors was administered and pMDI technique with or without spacer was observed by trained researchers on 12 point steps, of which 4 were considered critical. Results: 23.1% of patients had no errors in inhaler technique and 32.2% had no critical errors. Patients had a median of 10 correct steps (IQR9-11), and 3(IQR2-4) correct critical steps. Using binary logistic regression the predictors of 10 correct steps were, other healthcare professional (pharmacist, nurse, physiotherapist) explained OR 3.73(1.63–8.54, p = 0.001), male gender 2.70(1.35–5.39, p = 0.004), self-score 1–10 1.21(1.05–1.39, p = 0.007), spacer use 0.38(0.19–0.79, p = 0.007), inhaled steroid 3.71(1.34–10.25, p = 0.01), heart disease 0.31(0.13–0.77, p = 0.01), pneumococcal vaccine 2.48(1.0–6.15, p = 0.043), education level 1–4 1.44(1.00–2.06, p = 0.05) and respiratory physician explained 0–7 times, 1.11(0.99–1.26, p = 0.08). Using ordinal logistic regression, predictors for correct critical steps 0–4, were: technique self-score 1–10 1.2(1.05–1.42, p = 0.006), inhaled corticosteroid use 2.78(1.1–7.31, p = 0.03) and education level 1–4 1.41(1.02–1.95, p = 0.03 Times respiratory physician explained inhaler technique 0–7 1.1(0.98–1.24, p = 0.1), married status 1.55(0.85–2.82, p= 0.15), hypercholesterolaemia 0.52(0.25–1.01, p = 0.054) and male gender 1.76(0.97–3.18, p = 0.06). Conclusions: Known predictors of correct pMDI use, such as gender and education level were confirmed, while age and concomitant use of dry powder inhaler were not. Pneumococcal vaccination and awareness of steroid side effects were possible novel positive predictors, while the use of a spacer and co-morbidity with heart disease were found to be negative predictors. Patients’ self-assessment correlated well with actual performance. This information may be useful in defining approaches to optimize inhaler techniques which are so susceptible to human error.peer-reviewe