We see how nested sequents, a natural generalisation of hypersequents, allow us to develop a systematic proof theory for modal logics. As opposed to other prominent formalisms, such as the display calculus and labelled sequents, nested sequents stay inside the modal language and allow for proof systems which enjoy the subformula property in the literal sense. In the first part we study a system...

Let P (x) be a unimodal polynomial of degree m with nonnegative coefficients and a mode n for nonnegative integers n m. We study the unimodality of P (x+ z) for real numbers z = 1 or z 2 and show that: if z = 1, P (x + z) is unimodal provided that m − n 4; if z 2, then P (x+ z) is unimodal provided that m− n 2z + 1; and we also show that the given conditions are best possible. Additionally, we ...

conclusions in this study, snpcr was specific and more sensitive than the chromogenic medium chromagar™ candida for the detection of candida spp. insofar as it failed to identify only a few isolates. materials and methods we used snpcr with universal and species-specific primers to detect candida species in the culture of clinical isolates. by using universal primers, we carried out the amplifi...

pneumocystis jirovecii causes pneumocystis pneumonia (pcp) in immunocompromised patients with a high rate of morbidity and mortality. colonization with this fungus may stimulate pulmonary inflammation or lead to pcp in susceptible patients. the epidemiology of this infection and routs of its transmission has poorly studied in iran. we examined pneumosystis colonization in patients with various ...

leptospirosis is a zoonosis of worldwide distribution, caused by leptospira interrogans and is considered as an emerging global public health problem. transmission usually results from direct or indirect exposure to the urine or other body fluids of leptospiruric animals which may become a source of infection for human or other animals. having a humid climate with plenty of annual rainfall, gui...

a rapid and sensitive reverse transcription polymerase chain reaction (rt-pcr) and nested-pcr were used to detect bovine viral diarrhea virus 1 (bvdv-1) in bull semen. selected primers could amplify a part of the 5´utr of the bvdv genome. a 294 bp dna fragment was amplified and specificity of the results was confirmed by direct sequencing of the pcr product. prior to rna extraction, the seminal...

We give an overview of the current status of investigations of the polarization of gluons in the nucleon. We describe some of the physics of the spin-dependent gluon parton distribution and its phenomenology in high-energy polarized hadronic scattering. We also review the recent experimental results. BNL-NT-07/12

Experiment 864 at the BNL-AGS was designed to search for exotic states of strange quark matter and other rare composite particles. The experiment was commissioned in 1994 and completed its final run in 1998. Here, we present an overview of the experimental results for the production of light nuclei up to A = 7, antiprotons and antideuterons, hypernuclei and production limits on new states of qu...

One primary difference between transactions in an engineering design environment and those in conventional business applications is that an engineering transaction typically lasts a much longer time. Existing proposals for supporting the long-lived engineering transactions are all based on the public/private database architecture, in which a transaction checks out design objects from the public...