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

Integrating modes of policy analysis and strategic management practice : requisite elements and dilemmas

There is a need to bring methods to bear on public problems that are inclusive, analytic, and quick. This paper describes the efforts of three pairs of academics working from three different though complementary theoretical foundations and intervention backgrounds (i.e., ways of working) who set out together to meet this challenge. Each of the three pairs had conducted dozens of interventions that had been regarded as successful or very successful by the client groups in dealing with complex policy and strategic problems. One approach focused on leadership issues and stakeholders, another on negotiating competitive strategic intent with attention to stakeholder responses, and the third on analysis of feedback ramifications in developing policies. This paper describes the 10 year longitudinal research project designed to address the above challenge. The important outcomes are reported: the requisite elements of a general integrated approach and the enduring puzzles and tensions that arose from seeking to design a wide-ranging multi-method approach

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

The prognostic and predictive power of redox rotein expression for anthracycline-based chemotherapy response in locally advanced breast cancer

Neoadjuvant chemotherapy has become the standard of care for locally advanced primary breast cancer. Anthracycline-based regimens have proven to be one of the most effective treatments in this setting. As certain cytotoxic antineoplastic agents, such as anthracyclines, generate reactive oxygen species as a by-product of their mechanism of action, we examined whether redox protein expression was involved in the response to anthracycline-based chemotherapy and with clinical outcome. Pre treatment needle core biopsy and postanthracycline treatment tumour sections were analysed from 98 cases. In all, 32 individuals had a complete clinical response and 17 had a complete pathological response. Immunohistochemical staining was performed for eight redox proteins: thioredoxin, thioredoxin reductase thioredoxin interacting protein (TxNIP), glutathione S-transferase (GST) p, h and a, catalase and manganese superoxide dismutase. GST p (P¼0.05) and catalase (P¼0.045) were associated with pathological complete response in pre-chemotherapy samples. TxNIP (P¼0.017) and thioredoxin reductase (P¼0.022) were independent prognostic factors for distant metastasis free survival and TxNIP for overall survival (P¼0.014). In oestrogen receptor negative patients that are known to have a poor overall survival, a considerably worse prognosis was seen in cases that exhibited low expression of TxNIP (P¼0.000003), stratifying patients into more defined groups. This study indicates the importance of redox regulation in determining breast cancer response to anthracycline-based chemotherapy and provides ways of further stratifying pre-chemotherapy patients to potentially allow more tailored treatments

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

Additional records of metazoan parasites from Caribbean marine mammals, including genetically identified anisakid nematodes

Studies of marine mammal parasites in the Caribbean are scarce. An assessment for marine mammal endo- and ectoparasites from Puerto Rico and the Virgin Islands, but extending to other areas of the Caribbean, was conducted between 1989 and 1994. The present study complements the latter and enhances identification of anisakid nematodes using molecular markers. Parasites were collected from 59 carcasses of stranded cetaceans and manatees from 1994 to 2006, including Globicephala macrorhynchus, Kogia breviceps, Kogia sima, Lagenodelphis hosei, Mesoplodon densirostris, Peponocephala electra, Stenella longirostris, Steno bredanensis, Trichechus manatus. Tursiops truncatus, and Ziphius cavirostris. Sixteen species of endoparasitic helminthes were morphologically identified, including two species of acanthocephalans (Bolbosoma capitatum, Bolbosoma vasculosum), nine species of nematodes (Anisakis sp., Anisakis brevispiculata, Anisakis paggiae, Anisakis simplex, Anisakis typica, Anisakis ziphidarium, Crassicauda anthonyi, Heterocheilus tunicatus, Pseudoterranova ceticola), two species of cestodes (Monorygma grimaldi, Phyllobothrium delphini), and three species of trematodes (Chiorchis groschafti, Pulmonicola cochleotrema, Monoligerum blairi). The nematodes belonging to the genus Anisakis recovered in some stranded animals were genetically identified to species level based on their sequence analysis of mitochondrial DNA (629 bp of mtDNA cox 2). A total of five new host records and six new geographic records are presented.L'articolo è disponibile sul sito dell'editore http://www.springerlink.com

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

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

Application of Permutation Genetic Algorithm for Sequential Model Building–Model Validation Design of Experiments

YesThe work presented in this paper is motivated by a complex multivariate engineering problem associated with engine mapping experiments, which require efficient Design of Experiment (DoE) strategies to minimise expensive testing. The paper describes the development and evaluation of a Permutation Genetic Algorithm (PermGA) to support an exploration-based sequential DoE strategy for complex real-life engineering problems. A known PermGA was implemented to generate uniform OLH DoEs, and substantially extended to support generation of Model Building–Model Validation (MB-MV) sequences, by generating optimal infill sets of test points as OLH DoEs, that preserve good space filling and projection properties for the merged MB + MV test plan. The algorithm was further extended to address issues with non-orthogonal design spaces, which is a common problem in engineering applications. The effectiveness of the PermGA algorithm for the MB-MV OLH DoE sequence was evaluated through a theoretical benchmark problem based on the Six-Hump-Camel-Back (SHCB) function, as well as the Gasoline Direct Injection (GDI) engine steady state engine mapping problem that motivated this research. The case studies show that the algorithm is effective at delivering quasi-orthogonal space-filling DoEs with good properties even after several MB-MV iterations, while the improvement in model adequacy and accuracy can be monitored by the engineering analyst. The practical importance of this work, demonstrated through the engine case study, also is that significant reduction in the effort and cost of testing can be achieved.The research work presented in this paper was funded by the UK Technology Strategy Board (TSB) through the Carbon Reduction through Engine Optimization (CREO) project