1,818 research outputs found
Dependence Logic with Generalized Quantifiers: Axiomatizations
We prove two completeness results, one for the extension of dependence logic
by a monotone generalized quantifier Q with weak interpretation, weak in the
meaning that the interpretation of Q varies with the structures. The second
result considers the extension of dependence logic where Q is interpreted as
"there exists uncountable many." Both of the axiomatizations are shown to be
sound and complete for FO(Q) consequences.Comment: 17 page
Effect And Predictive Value Of Routine Preoperative Laboratory Testing For Endoscopic Retrograde Cholangiopancreatography
Background and Aims: Several studies and guidelines are questioning routine preoperative laboratory tests in surgical and endoscopic procedures. Their effect in endoscopic retrograde cholangiopancreatography is not currently known. This study was carried out to evaluate the risk of adverse effects in endoscopic retrograde cholangiopancreatography and their association with preoperative lab tests. Materials and Methods: A single-center, prospective observational study on all 956 patients undergoing 1196 endoscopic retrograde cholangiopancreatographies in the Endoscopy Unit of Helsinki University Central Hospital from 1 March 2012 to 28 February 2013. Routine preoperative laboratory test results (basic blood count, creatinine, potassium, sodium, international normalized ratio/thromboplastin time, and amylase), health status, medication, and demographic information of all patients were analyzed in relation to adverse effects related to endoscopic retrograde cholangiopancreatography and procedural sedation. Results: Multivariate analysis showed post-endoscopic retrograde cholangiopancreatography pancreatitis (43 cases, 3.6%) to have no association with abnormal routine preoperative laboratory tests. Respiratory depression caused by sedation (128 cases, 11%) was not associated with abnormal routine preoperative laboratory tests, and anemia was found to be a slightly protecting factor. Cardiovascular depression caused by sedation was associated with thrombocytopenia (odds ratio = 1.87, p = 0.025) and, in male patients, hyponatremia (odds ratio = 3.66, p <0.001). Incidence of other adverse effects was too low for statistical analysis. Conclusion: Routine universal preoperative lab testing was not found to be successful in predicting adverse effects in endoscopic retrograde cholangiopancreatography procedures. Laboratory testing should be done focusing on each patient's individual needs.Peer reviewe
The N=4 string is the same as the N=2 string
We redo the quantization of the N=4 string, taking into account the
reducibility of the constraints. The result is equivalent to the N=2 string,
with critical dimension D=4 and signature (++--). The N=4 formulation has
several advantages: the sigma-model field equations are implied classically,
rather than by quantum/beta-function calculations; self-duality/chirality is
one of the super-Virasoro constraints; SO(2,2) covariance is manifest. This
reveals that the theory includes fermions, and is apparently spacetime
supersymmetric.Comment: 7 pg (uuencoded dvi file; otherwise same as original
Logics of Finite Hankel Rank
We discuss the Feferman-Vaught Theorem in the setting of abstract model
theory for finite structures. We look at sum-like and product-like binary
operations on finite structures and their Hankel matrices. We show the
connection between Hankel matrices and the Feferman-Vaught Theorem. The largest
logic known to satisfy a Feferman-Vaught Theorem for product-like operations is
CFOL, first order logic with modular counting quantifiers. For sum-like
operations it is CMSOL, the corresponding monadic second order logic. We
discuss whether there are maximal logics satisfying Feferman-Vaught Theorems
for finite structures.Comment: Appeared in YuriFest 2015, held in honor of Yuri Gurevich's 75th
birthday. The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-319-23534-9_1
Supersymmetric non-linear sigma-models with boundaries revisited
We study two-dimensional supersymmetric non-linear sigma-models with
boundaries. We derive the most general family of boundary conditions in the
non-supersymmetric case. Next we show that no further conditions arise when
passing to the N=1 model. We present a manifest N=1 off-shell formulation. The
analysis is greatly simplified compared to previous studies and there is no
need to introduce non-local superspaces nor to go (partially) on-shell. Whether
or not torsion is present does not modify the discussion. Subsequently, we
determine under which conditions a second supersymmetry exists. As for the case
without boundaries, two covariantly constant complex structures are needed.
However, because of the presence of the boundary, one gets expressed in terms
of the other one and the remainder of the geometric data. Finally we recast
some of our results in N=2 superspace and discuss applications.Comment: LaTeX, 23 page
Families of N=2 Strings
In a given 4d spacetime bakcground, one can often construct not one but a
family of distinct N=2 string theories. This is due to the multiple ways N=2
superconformal algebra can be embedded in a given worldsheet theory. We
formulate the principle of obtaining different physical theories by gauging
different embeddings of the same symmetry algebra in the same ``pre-theory.''
We then apply it to N=2 strings and formulate the recipe for finding the
associated parameter spaces of gauging. Flat and curved target spaces of both
(4,0) and (2,2) signatures are considered. We broadly divide the gauging
choices into two classes, denoted by alpha and beta, and show them to be
related by T-duality. The distinction between them is formulated topologically
and hinges on some unique properties of 4d manifolds. We determine what their
parameter spaces of gauging are under certain simplicity ansatz for generic
flat spaces (R^4 and its toroidal compactifications) as well as some curved
spaces. We briefly discuss the spectra of D-branes for both alpha and beta
families.Comment: 66+1 pages, 2 tables, latex 2e, hyperref. ver2: typos corrected,
reference adde
Time dependent solitons of noncommutative Chern-Simons theory coupled to scalar fields
We study one- and two-soliton solutions of noncommutative Chern-Simons theory
coupled to a nonrelativistic or a relativistic scalar field. In the
nonrelativistic case, we find a tower of new stationary time-dependent
solutions, all with the same charge density, but with increasing energies. The
dynamics of these solitons cannot be studied using traditional moduli space
techniques, but we do find a nontrivial symplectic form on the phase space
indicating that the moduli space is not flat. In the relativistic case we find
the metric on the two soliton moduli space.Comment: 22 pages, 2 figures, JHEP3 style. v2: This paper is a thoroughly
revised version. We thank P.A. Horvathy, L. Martina and P.C. Stichel for
illuminating comments that led us to reconsider some of our previously
reported results; see note added at the end of the paper. v3:
Acknowledgements adde
Elimination of botulinum neurotoxin (BoNT) type B from drinking water by small-scale (personal-use) water purification devices and detection of BoNT in water samples.
Seven small-scale drinking water purification devices were evaluated for their capacity to eliminate botulinum neurotoxin (BoNT) type B from drinking water. Influent water inoculated with toxic Clostridium botulinum cultures and effluent purified water samples were tested for the presence of BoNT by using a standard mouse bioassay and two commercial rapid enzyme immunoassays (EIAs). The water purification devices based on filtration through ceramic or membrane filters with a pore size of 0.2 to 0.4 ”m or irradiation from a low-pressure UV-lamp (254 nm) failed to remove BoNT from raw water (reduction of 2.3 log10 units). The rapid EIAs intended for the detection of BoNT from various types of samples failed to detect BoNT from aqueous samples containing an estimated concentration of BoNT of 396,000 ng/liter
- âŠ