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

From Aristotle to Arendt : a phenomenological exploration of forms of knowledge and practice in the context of child protection social work in the UK

This paper attempts to explore the relationship between different forms of knowledge and the kinds of activity that arise from them within child protection social work practice. The argument that social work is more than either ‘science’ or ‘art’ but distinctly ‘practice’ is put through a historical description of the development of Aristotle’s views of the forms of knowledge and Hannah Arendt’s later conceptualisations as detailed in The Human Condition (1958). The paper supports Arendt’s privileging of Praxis over Theoria within social work and further draws upon Arendt’s distinctions between Labour, Work and Action to delineate between different forms of social work activity. The author highlights dangers in social work relying too heavily on technical knowledge and the use of theory as a tool in seeking to understand and engage with the people it serves and stresses the importance of a phenomenological approach to research and practice as a valid, embodied form of knowledge. The argument further explores the constructions of service users that potentially arise from different forms of social work activity and cautions against over-prescriptive use of ‘outcomes’ based practice that may reduce the people who use services to products or consumables. The author concludes that social work action inevitably involves trying to understand humans in a complex and dynamic way that requires engagement and to seek new meanings for individual humans

The functional response of a generalist predator

Peer reviewedPublisher PD

Autoimmune and autoinflammatory mechanisms in uveitis

The eye, as currently viewed, is neither immunologically ignorant nor sequestered from the systemic environment. The eye utilises distinct immunoregulatory mechanisms to preserve tissue and cellular function in the face of immune-mediated insult; clinically, inflammation following such an insult is termed uveitis. The intra-ocular inflammation in uveitis may be clinically obvious as a result of infection (e.g. toxoplasma, herpes), but in the main infection, if any, remains covert. We now recognise that healthy tissues including the retina have regulatory mechanisms imparted by control of myeloid cells through receptors (e.g. CD200R) and soluble inhibitory factors (e.g. alpha-MSH), regulation of the blood retinal barrier, and active immune surveillance. Once homoeostasis has been disrupted and inflammation ensues, the mechanisms to regulate inflammation, including T cell apoptosis, generation of Treg cells, and myeloid cell suppression in situ, are less successful. Why inflammation becomes persistent remains unknown, but extrapolating from animal models, possibilities include differential trafficking of T cells from the retina, residency of CD8(+) T cells, and alterations of myeloid cell phenotype and function. Translating lessons learned from animal models to humans has been helped by system biology approaches and informatics, which suggest that diseased animals and people share similar changes in T cell phenotypes and monocyte function to date. Together the data infer a possible cryptic infectious drive in uveitis that unlocks and drives persistent autoimmune responses, or promotes further innate immune responses. Thus there may be many mechanisms in common with those observed in autoinflammatory disorders

Search for Second-Generation Scalar Leptoquarks in ppˉ\bm{p \bar{p}} Collisions at s\sqrt{s}=1.96 TeV

Results on a search for pair production of second generation scalar leptoquark in $p \bar{p}$ collisions at $\sqrt{s}$=1.96 TeV are reported. The data analyzed were collected by the CDF detector during the 2002-2003 Tevatron Run II and correspond to an integrated luminosity of 198 pb$^{-1}$. Leptoquarks (LQ) are sought through their decay into (charged) leptons and quarks, with final state signatures represented by two muons and jets and one muon, large transverse missing energy and jets. We observe no evidence for $LQ$ production and derive 95% C.L. upper limits on the $LQ$ production cross sections as well as lower limits on their mass as a function of $\beta$, where $\beta$ is the branching fraction for $LQ \to \mu q$.Comment: 9 pages (3 author list) 5 figure

Characterization of a putative NsrR homologue in Streptomyces venezuelae reveals a new member of the Rrf2 superfamily

Members of the Rrf2 superfamily of transcription factors are widespread in bacteria but their functions are largely unexplored. The few that have been characterized in detail sense nitric oxide (NsrR), iron limitation (RirA), cysteine availability (CymR) and the iron sulfur (Fe-S) cluster status of the cell (IscR). In this study we combined ChIP-seq with in vitro biochemistry to characterize a putative NsrR homologue in the model organism Streptomyces venezuelae. ChIP seq analysis revealed that rather than regulating the nitrosative stress response like NsrR, Sven6563 binds to a different, much larger regulon of genes with a diverse range of functions, including a range of regulators, genes required for glutamine synthesis, NADH/NAD(P)H metabolism, as well as general DNA/RNA and amino acid/protein turn over. Our biochemical experiments further show that Sven6563 has a [2Fe-2S] cluster and that the switch between oxidized and reduced cluster controls its DNA binding activity in vitro. To our knowledge, both the sensing domain and the target gene regulon are novel for an Rrf2 protein, suggesting Sven6563 represents a new member of the Rrf2 superfamily. Given the redox sensitivity of its Fe-S cluster we have tentatively named the protein RsrR for Redox sensitive response Regulator

Measurement of the Dipion Mass Spectrum in X(3872) -> J/Psi Pi+ Pi- Decays

We measure the dipion mass spectrum in X(3872)--> J/Psi Pi+ Pi- decays using 360 pb-1 of pbar-p collisions at 1.96 TeV collected with the CDF II detector. The spectrum is fit with predictions for odd C-parity (3S1, 1P1, and 3DJ) charmonia decaying to J/Psi Pi+ Pi-, as well as even C-parity states in which the pions are from Rho0 decay. The latter case also encompasses exotic interpretations, such as a D0-D*0Bar molecule. Only the 3S1 and J/Psi Rho hypotheses are compatible with our data. Since 3S1 is untenable on other grounds, decay via J/Psi Rho is favored, which implies C=+1 for the X(3872). Models for different J/Psi-Rho angular momenta L are considered. Flexibility in the models, especially the introduction of Rho-Omega interference, enable good descriptions of our data for both L=0 and 1.Comment: 7 pages, 4 figures -- Submitted to Phys. Rev. Let

Search for New Physics in Lepton + Photon + X Events with L=305 pb-1 of ppbar Collisions at roots=1.96 TeV

We present results of a search for anomalous production of events containing a charged lepton (either electron or muon) and a photon, both with high transverse momentum, accompanied by additional signatures, X, including missing transverse energy (MET) and additional leptons and photons. We use the same kinematic selection criteria as in a previous CDF search, but with a substantially larger data set, 305 pb-1, a ppbar collision energy of 1.96 TeV, and the upgraded CDF II detector. We find 42 Lepton+Photon+MET events versus a standard model expectation of 37.3 +- 5.4 events. The level of excess observed in Run I, 16 events with an expectation of 7.6 +- 0.7 events (corresponding to a 2.7 sigma effect), is not supported by the new data. In the signature of Multi-Lepton+Photon+X we observe 31 events versus an expectation of 23.0 +- 2.7 events. In this sample we find no events with an extra photon or MET and so find no events like the one ee+gg+MET event observed in Run I.Comment: 7 pages, 3 figures, 1 table. Accepted to PR

Search for ZZ and ZW Production in ppbar Collisions at sqrt(s) = 1.96 TeV

We present a search for ZZ and ZW vector boson pair production in ppbar collisions at sqrt(s) = 1.96 TeV using the leptonic decay channels ZZ --> ll nu nu, ZZ --> l l l' l' and ZW --> l l l' nu. In a data sample corresponding to an integrated luminosity of 194 pb-1 collected with the Collider Detector at Fermilab, 3 candidate events are found with an expected background of 1.0 +/- 0.2 events. We set a 95% confidence level upper limit of 15.2 pb on the cross section for ZZ plus ZW production, compared to the standard model prediction of 5.0 +/- 0.4 pb.Comment: 7 pages, 2 figures. This version is accepted for publication by Phys. Rev. D Rapid Communication

Congenital and childhood atrioventricular blocks: pathophysiology and contemporary management

Atrioventricular block is classified as congeni- tal if diagnosed in utero, at birth, or within the first month of life. The pathophysiological process is believed to be due to immune-mediated injury of the conduction system, which occurs as a result of transplacental pas- sage of maternal anti-SSA/Ro-SSB/La antibodies. Childhood atrioventricular block is therefore diagnosed between the first month and the 18th year of life. Genetic variants in multiple genes have been described to date in the pathogenesis of inherited progressive car- diac conduction disorders. Indications and techniques of cardiac pacing have also evolved to allow safe perma- nent cardiac pacing in almost all patients, including those with structural heart abnormalities