A generation-oriented workbench for performance grammar: Capturing linear order variability in German and Dutch

We describe a generation-oriented workbench for the Performance Grammar (PG) formalism, highlighting the treatment of certain word order and movement constraints in Dutch and German. PG enables a simple and uniform treatment of a heterogeneous collection of linear order phenomena in the domain of verb constructions (variably known as Cross-serial Dependencies, Verb Raising, Clause Union, Extraposition, Third Construction, Particle Hopping, etc.). The central data structures enabling this feature are clausal “topologies”: one-dimensional arrays associated with clauses, whose cells (“slots”) provide landing sites for the constituents of the clause. Movement operations are enabled by unification of lateral slots of topologies at adjacent levels of the clause hierarchy. The PGW generator assists the grammar developer in testing whether the implemented syntactic knowledge allows all and only the well-formed permutations of constituents

A generation-oriented workbench for performance grammar: Capturing linear order variability in German and Dutch

We describe a generation-oriented workbench for the Performance Grammar (PG) formalism, highlighting the treatment of certain word order and movement constraints in Dutch and German. PG enables a simple and uniform treatment of a heterogeneous collection of linear order phenomena in the domain of verb constructions (variably known as Cross-serial Dependencies, Verb Raising, Clause Union, Extraposition, Third Construction, Particle Hopping, etc.). The central data structures enabling this feature are clausal “topologies”: one-dimensional arrays associated with clauses, whose cells (“slots”) provide landing sites for the constituents of the clause. Movement operations are enabled by unification of lateral slots of topologies at adjacent levels of the clause hierarchy. The PGW generator assists the grammar developer in testing whether the implemented syntactic knowledge allows all and only the well-formed permutations of constituents

Generalized bisimulation metrics

International audienceThe pseudometric based on the Kantorovich lifting is one of the most popular notion of distance between probabilistic processes proposed in the literature. However, its application in verification is limited to linear properties. We propose a generalization which allows to deal with a wider class of properties, such as those used in security and privacy. More precisely, we propose a family of pseudometrics, parametrized on a notion of distance which depends on the property we want to verify. Furthermore, we show that the members of this family still characterize bisimilarity in terms of their kernel, and provide a bound on the corresponding distance between trace distributions. Finally, we study the instance corresponding to differential privacy, and we show that it has a dual form, easier to compute. We also prove that the typical process-algebra constructs are non-expansive, thus paving the way to a modular approach to verification

VLT Spectroscopy of the z=4.11 Radio Galaxy TN J1338-1942

We present optical, infrared and radio data of the z=4.11 radio galaxy TN J1338-1942, including an intermediate resolution spectrum obtained with FORS1on the VLT Antu telescope. TN J1338-1942 was the first z>4 radio galaxy to be discovered in the southern hemisphere and is one of the most luminous Ly-alpha objects in its class. The Ly-alpha and rest-frame optical emission appear co-spatial with the brightest radio hotspot of this very asymmetric radio source, suggesting extremely strong interaction with dense ambient clouds. The VLT observations are sufficiently sensitive to detect the continuum flux both blue-ward and red-ward of the Ly-alpha emission, allowing us to measure the Ly-alpha forest continuum break (Ly-alpha 'discontinuity', D_A) and the Lyman limit. We measure a D_A=0.37+-0.1, which is ~0.2 lower than the values found for quasars at this redshift. We interpret this difference as possibly due to a bias towards large D_A introduced in high--redshift quasar samples that are selected on the basis of specific optical colors. If such a bias would exist in optically selected quasars, - and even in samples of Lyman break galaxies -, then the space density of both classes of object will be underestimated. Furthermore, the average HI column density along cosmological lines of sight as determined using quasar absorption lines would be overestimated. Because of their radio-based selection, we argue that z>4 radio galaxies are excellent objects for investigating D_A statistics. [abridged]Comment: 6 Pages, including 4 PostScript figures. Accepted for publication in the Astronomy & Astrophysics Letter

Stu2p binds tubulin and undergoes an open-to-closed conformational change

Stu2p from budding yeast belongs to the conserved Dis1/XMAP215 family of microtubule-associated proteins (MAPs). The common feature of proteins in this family is the presence of HEAT repeat–containing TOG domains near the NH2 terminus. We have investigated the functions of the two TOG domains of Stu2p in vivo and in vitro. Our data suggest that Stu2p regulates microtubule dynamics through two separate activities. First, Stu2p binds to a single free tubulin heterodimer through its first TOG domain. A large conformational transition in homodimeric Stu2p from an open structure to a closed one accompanies the capture of a single free tubulin heterodimer. Second, Stu2p has the capacity to associate directly with microtubule ends, at least in part, through its second TOG domain. These two properties lead to the stabilization of microtubules in vivo, perhaps by the loading of tubulin dimers at microtubule ends. We suggest that this mechanism of microtubule regulation is a conserved feature of the Dis1/XMAP215 family of MAPs

The B3-Vla CSS sample. III: Evn & Merlin images at 18 cm

EVN and MERLIN observations at 18 cm are presented for 18 Compact Steep--spectrum radio Sources (CSSs) from the B3-VLA CSS sample. These sources were marginally resolved in previous VLA A-configuration observations at 4.9 and 8.4 GHz or had peculiar morphologies, two of them looking like core-jets. The MERLIN images basically confirm the VLA structures at 8.4 GHz while the EVN and/or the combined images reveal several additional details.Comment: 17 pages, many low resoltion figures, A&A accepted. A higher resolution gzipped postscript file can be found at http://www.ira.cnr.it/~ddallaca/h3443.ps.g

Approximating a Behavioural Pseudometric without Discount for<br> Probabilistic Systems

Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue of probabilistic bisimilarity. Distance zero captures probabilistic bisimilarity. Each pseudometric has a discount factor, a real number in the interval (0, 1]. The smaller the discount factor, the more the future is discounted. If the discount factor is one, then the future is not discounted at all. Desharnais et al. showed that the behavioural distances can be calculated up to any desired degree of accuracy if the discount factor is smaller than one. In this paper, we show that the distances can also be approximated if the future is not discounted. A key ingredient of our algorithm is Tarski's decision procedure for the first order theory over real closed fields. By exploiting the Kantorovich-Rubinstein duality theorem we can restrict to the existential fragment for which more efficient decision procedures exist