The Weiss conjecture on admissibility of observation operators for contraction semigroups

We prove the conjecture of George Weiss for contraction semigroups on Hilbert spaces, giving a characterization of infinite-time admissible observation functionals for a contraction semigroup, namely that such a functional C is infinite-time admissible if and only if there is an M > 0 such that parallel to IC(sI - A)(-1)parallel to less than or equal to M/root Re s for all s in the open right half-plane. Here A denotes the infinitesimal generator of the semigroup. The result provides a simultaneous generalization of several celebrated results from the theory of Hardy spaces involving Carleson measures and Hankel operators

The quadratic spinor Lagrangian is equivalent to the teleparallel theory

The quadratic spinor Lagrangian is shown to be equivalent to the teleparallel / tetrad representation of Einstein's theory. An important consequence is that the energy-momentum density obtained from this quadratic spinor Lagrangian is essentially the same as the ``tensor'' proposed by Moller in 1961.Comment: 10 pages, RevTe

Дискуссии начала 1930-х гг. в Коммунистической академии как фактор становления советской модели изучения первоначального христианства

Work on argumentation-based dialogue systems often assumes that the adoption of argumentation leads to improved dialogue efficiency and effectiveness. Several studies have taken an experimental approach to prove these alleged benefits, but none has yet supported the expressiveness of a structured argumentation logic. This paper shows how the use of argumentation in deliberation style dialogues can be tested while supporting goal-based agents that use the ASPIC framework for structured argumentation. It is experimentally shown that employing an arguing strategy increases the effectiveness over a non-argumentative strategy

Inferring Loop Invariants using Postconditions

One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, also known as its contract); the present work takes advantage of this observation by using the postcondition as the basis for invariant inference, using various heuristics such as "uncoupling" which prove useful in many important algorithms. Thanks to these heuristics, the technique is able to infer invariants for a large variety of loop examples. We present the theory behind the technique, its implementation (freely available for download and currently relying on Microsoft Research's Boogie tool), and the results obtained.Comment: Slightly revised versio

Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems

Wireless sensor networks (“sensornets”) are highly distributed and concurrent, with program actions bound to external stimuli. They exemplify a system class known as reactive systems, which comprise execution units that have “hidden” layers of control flow. A key obstacle in enabling reactive system developers to rigorously validate their implementations has been the absence of precise software component specifications and tools to assist in leveraging those specifications at runtime. We address this obstacle in three ways: (i) We describe a specification approach tailored for reactive environments and demonstrate its application in the context of sensornets. (ii) We describe the design and implementation of extensions to the popular nesC tool-chain that enable the expression of these specifications and automate the generation of runtime monitors that signal violations, if any. (iii) Finally, we apply the specification approach to a significant collection of the most commonly used software components in the TinyOS distribution and analyze the overhead involved in monitoring their correctness

Precision Measurement of the Proton and Deuteron Spin Structure Functions g2 and Asymmetries A2

We have measured the spin structure functions g2p and g2d and the virtual photon asymmetries A2p and A2d over the kinematic range 0.02 < x < 0.8 and 0.7 < Q^2 < 20 GeV^2 by scattering 29.1 and 32.3 GeV longitudinally polarized electrons from transversely polarized NH3 and 6LiD targets. Our measured g2 approximately follows the twist-2 Wandzura-Wilczek calculation. The twist-3 reduced matrix elements d2p and d2n are less than two standard deviations from zero. The data are inconsistent with the Burkhardt-Cottingham sum rule if there is no pathological behavior as x->0. The Efremov-Leader-Teryaev integral is consistent with zero within our measured kinematic range. The absolute value of A2 is significantly smaller than the sqrt[R(1+A1)/2] limit.Comment: 12 pages, 4 figures, 2 table

Measurement of the Proton and Deuteron Spin Structure Functions g2 and Asymmetry A2

We have measured the spin structure functions g2p and g2d and the virtual photon asymmetries A2p and A2d over the kinematic range 0.02 < x < 0.8 and 1.0 < Q^2 < 30(GeV/c)^2 by scattering 38.8 GeV longitudinally polarized electrons from transversely polarized NH3 and 6LiD targets.The absolute value of A2 is significantly smaller than the sqrt{R} positivity limit over the measured range, while g2 is consistent with the twist-2 Wandzura-Wilczek calculation. We obtain results for the twist-3 reduced matrix elements d2p, d2d and d2n. The Burkhardt-Cottingham sum rule integral - int(g2(x)dx) is reported for the range 0.02 < x < 0.8.Comment: 12 pages, 4 figures, 1 tabl

Measurements of the Q2Q^2-Dependence of the Proton and Neutron Spin Structure Functions g1p and g1n

The structure functions g1p and g1n have been measured over the range 0.014 < x < 0.9 and 1 < Q2 < 40 GeV2 using deep-inelastic scattering of 48 GeV longitudinally polarized electrons from polarized protons and deuterons. We find that the Q2 dependence of g1p (g1n) at fixed x is very similar to that of the spin-averaged structure function F1p (F1n). From a NLO QCD fit to all available data we find $\Gamma_1^p - \Gamma_1^n =0.176 \pm 0.003 \pm 0.007$ at Q2=5 GeV2, in agreement with the Bjorken sum rule prediction of 0.182 \pm 0.005.Comment: 17 pages, 3 figures. Submitted to Physics Letters