The Role of Deontic Logic in the Specification of Information Systems

In this paper we discuss the role that deontic logic plays in the specification of information systems, either because constraints on the systems directly concern norms or, and even more importantly, system constraints are considered ideal but violable (so-called `soft¿ constraints).\ud To overcome the traditional problems with deontic logic (the so-called paradoxes), we first state the importance of distinguishing between ought-to-be and ought-to-do constraints and next focus on the most severe paradox, the so-called Chisholm paradox, involving contrary-to-duty norms. We present a multi-modal extension of standard deontic logic (SDL) to represent the ought-to-be version of the Chisholm set properly. For the ought-to-do variant we employ a reduction to dynamic logic, and show how the Chisholm set can be treated adequately in this setting. Finally we discuss a way of integrating both ought-to-be and ought-to-do reasoning, enabling one to draw conclusions from ought-to-be constraints to ought-to-do ones, and show by an example the use(fulness) of this

Prostacyclin reverses platelet stress fibre formation causing platelet aggregate instability

Prostacyclin (PGI2) modulates platelet activation to regulate haemostasis. Evidence has emerged to suggest that thrombi are dynamic structures with distinct areas of differing platelet activation. It was hypothesised that PGI2 could reverse platelet spreading by actin cytoskeletal modulation, leading to reduced capability of platelet aggregates to withstand a high shear environment. Our data demonstrates that post-flow of PGI2 over activated and spread platelets on fibrinogen, identified a significant reduction in platelet surface area under high shear. Exploration of the molecular mechanisms underpinning this effect revealed that PGI2 reversed stress fibre formation in adherent platelets, reduced platelet spreading, whilst simultaneously promoting actin nodule formation. The effects of PGI2 on stress fibres were mimicked by the adenylyl cyclase activator forskolin and prevented by inhibitors of protein kinase A (PKA). Stress fibre formation is a RhoA dependent process and we found that treatment of adherent platelets with PGI2 caused inhibitory phosphorylation of RhoA, reduced RhoA GTP-loading and reversal of myosin light chain phosphorylation. Phospho-RhoA was localised in actin nodules with PKA type II and a number of other phosphorylated PKA substrates. This study demonstrates that PGI2 can reverse key platelet functions after their initial activation and identifies a novel mechanism for controlling thrombosis

Glucosamine increases hyaluronic acid production in human osteoarthritic synovium explants

Background. Glucosamine (GlcN) used by patients with osteoarthritis was demonstrated to reduce pain, but the working mechanism is still not clear. Viscosupplementation with hyaluronic acid (HA) is also described to reduce pain in osteoarthritis. The synthesis of HA requires GlcN as one of its main building blocks. We therefore hypothesized that addition of GlcN might increase HA production by synovium tissue. Methods. Human osteoarthritic synovium explants were obtained at total knee surgery and pre-cultured for 1 day. The experimental conditions consisted of a 2 days continuation of the culture with addition of N-Acetyl-glucosamine (GlcN-Ac; 5 mM), glucosamine-hydrochloride (GlcN-HCl; 0.5 and 5 mM), glucose (Gluc; 0.5 and 5 mM). Hereafter HA production was measured in culture medium supernatant using an enzyme-linked binding protein assay. Real time RT-PCR was performed for hyaluronic acid synthase (HAS) 1, 2 and 3 on RNA isolated from the explants. Results. 0.5 mM

Electrostatic charging of jumping droplets

With the broad interest in and development of superhydrophobic surfaces for self-cleaning, condensation heat transfer enhancement and anti-icing applications, more detailed insights on droplet interactions on these surfaces have emerged. Specifically, when two droplets coalesce, they can spontaneously jump away from a superhydrophobic surface due to the release of excess surface energy. Here we show that jumping droplets gain a net positive charge that causes them to repel each other mid-flight. We used electric fields to quantify the charge on the droplets and identified the mechanism for the charge accumulation, which is associated with the formation of the electric double layer at the droplet–surface interface. The observation of droplet charge accumulation provides insight into jumping droplet physics as well as processes involving charged liquid droplets. Furthermore, this work is a starting point for more advanced approaches for enhancing jumping droplet surface performance by using external electric fields to control droplet jumping.United States. Dept. of Energy. Office of Basic Energy Sciences (Solid-State Solar-Thermal Energy Conversion Center Award DE-FG02-09ER46577)United States. Office of Naval ResearchNational Science Foundation (U.S.) (Major Research Instrumentation Grant for Rapid Response Research (MRI- RAPID))National Science Foundation (U.S.) (Award ECS-0335765)National Science Foundation (U.S.). Graduate Research Fellowship Program (Grant 1122374

Alteration of the embryo transcriptome of hexaploid winter wheat (Triticum aestivum cv. Mercia) during maturation and germination

Grain dormancy and germination are areas of biology that are of considerable interest to the cereal community. We have used a 9,155-feature wheat unigene cDNA microarray resource to investigate changes in the wheat embryo transcriptome during late grain development and maturation and during the first 48 h of postimbibition germination. In the embryo 392 mRNAs accumulated by twofold or greater over the time course from 21 days postanthesis (dpa) to 40 dpa and on through 1 and 2 days postgermination. These included mRNAs encoding proteins involved in amino acid biosynthesis and metabolism, cell division and subsequent cell development, signal transduction, lipid metabolism, energy production, protein turnover, respiration, initiation of transcription, initiation of translation and ribosomal composition. A number of mRNAs encoding proteins of unknown function also accumulated over the time course. Conversely 163 sequences showed decreases of twofold or greater over the time course. A small number of mRNAs also showed rapid accumulation specifically during the first 48 h of germination. We also examined alterations in the accumulation of transcripts encoding proteins involved in abscisic acid signalling. Thus, we describe changes in the level of transcripts encoding wheat Viviparous 1 (Vp1) and other interacting proteins. Interestingly, the transcript encoding wheat Viviparous-interacting protein 1 showed a pattern of accumulation that correlates inversely with germination. Our data suggests that the majority of the transcripts required for germination accumulate in the embryo prior to germination and we discuss the implications of these findings with regard to manipulation of germination in wheat

Novel measures of cardiovascular health and its association with prevalence and progression of age-related macular degeneration: the CHARM study

<p>Abstract</p> <p>Background</p> <p>To determine if novel measures of cardiovascular health are associated with prevalence or progression of age-related macular degeneration (AMD).</p> <p>Methods</p> <p>Measures of the cardiovascular system: included intima media thickness (IMT), pulse wave velocity (PWV), systemic arterial compliance (SAC), carotid augmentation index (AI). For the prevalence study, hospital-based AMD cases and population-based age- and gender-matched controls with no signs of AMD in either eye were enrolled. For the progression component, participants with early AMD were recruited from two previous studies; cases were defined as progression in one or both eyes and controls were defined as no progression in either eye.</p> <p>Results</p> <p>160 cases and 160 controls were included in the prevalence component. The upper two quartiles of SAC, implying good cardiovascular health, were significantly associated with increased risk of AMD (OR = 2.54, 95% CL = 1.29, 4.99). High PWV was associated with increased prevalent AMD. Progression was observed in 82 (32.3%) of the 254 subjects recruited for the progression component. Higher AI (worse cardiovascular function) was protective for AMD progression (OR = 0.30, 95%CL = 0.13, 0.69). Higher aortic PWV was associated with increased risk of AMD progression; the highest risk was seen with the second lowest velocity (OR = 6.22, 95% CL = 2.35, 16.46).</p> <p>Conclusion</p> <p>The results were unexpected in that better cardiovascular health was associated with increased risk of prevalent AMD and progression. Inconsistent findings between the prevalence and progression components could be due to truly different disease etiologies or to spurious findings, as can occur with inherent biases in case control studies of prevalence. Further investigation of these non-invasive methods of characterizing the cardiovascular system should be undertaken as they may help to further elucidate the role of the cardiovascular system in the etiology of prevalent AMD and progression.</p

Expression of the inhibitor of DNA-binding (ID)-1 protein as an angiogenic mediator in tumour advancement of uterine cervical cancers

The ID protein, an inhibitor of basic helix-loop-helix (HLH) transcription factors, has been involved in multiple cellular processes. To investigate the association between tumour advancement and ID expressions of uterine cervical cancers, the levels of ID-1, ID-2 and ID-3 mRNAs were determined by real-time reverse transcription-polymerase chain reaction and the histoscore with the localisation of ID-1 was determined by immunohistochemistry and patient survival in 60 patients. ID-1 histoscores and mRNA levels both significantly (P<0.05) increased in uterine cervical cancers according to clinical stage regardless of histopathological type or lymph node metastasis. Furthermore, the 36-month survival rate of the 30 patients with high ID-1 was poor (60%), whereas that of the other 30 patients with low ID-1 was significantly higher (83%). ID-1 histoscores and mRNA levels significantly (P<0.0001) correlated with microvessel counts in uterine cervical cancers. Tumour cells show mostly diffuse to strong cytoplasmic expression of ID-1 and also very faint expression in endothelial cells. Moreover, ID-1 expression not only correlated with microvessel counts but also correlated significantly with histoscore. Therefore, ID-1 might work on tumour advancement through angiogenic activity and is considered to be a candidate for a prognostic indicator in uterine cervical cancers

Does the level of expressed emotion (LEE) questionnaire have the same factor structure for adolescents as it has for adults?

Background The level of expressed emotion (LEE) is a four-factor questionnaire that measures expressed emotion (EE) as perceived by the recipient. These factors are: perceived lack of emotional support, perceived intrusiveness, perceived irritation, and perceive criticism. The four factors of the LEE has previously been found to be related to psychological disorders and has good psychometric properties for adults. However, it has not previously been studied in adolescent populations. Methods A total of 311 adolescents participated in this study. Using structural equation modeling, confirmatory factor analyses were conducted to examine if the LEE also had the same four-factor structure for adolescents as it does for adults. Results The confirmatory factor analyses demonstrated that the LEE's four-factor structure also applied to adolescents. The internal consistency of the scales were good and all the inter-correlations between the scales were significant. Additionally, the factors were significantly correlated to adolescent depressive and anxiety symptom score dimensions. Conclusion These findings seem to indicate that the LEE may be a good instrument in the measurement of adolescents perceived EE