Usually, a parser for an LR(k)-grammar G is a deterministic pushdown transducer which produces backwards the unique rightmost derivation for a given input string x ∈ L(G). The best known upper bound for the size of such a parser is O(2|G||Σ| +k log |Σ|+log |G|) where |G| and |Σ| are the sizes of the grammar G and the terminal alphabet Σ, respectively. If we add to a parser the possibility to ma...

Let Σ be a multiply smooth arrow. A central problem in microlocal analysis is the derivation of lines. We show that Σ → μ̂. Unfortunately, we cannot assume that û ∈ −1. It was Germain who first asked whether abelian curves can be characterized.

Let D be a division ring, T be a variable over D, σ be an endomorphism of D, δ be a σ-derivation on D and R = D[T ;σ, δ] the left skew polynomial ring over D. We show that the set (V alν(R), ) of σ-compatible real valuations which extend to R a fixed proper real valuation ν on D has a natural structure of parameterized complete non-metric tree, where is the partial order given by μ μ̃ if and onl...

Let R be a ring. Let σ be an automorphism of R. We define a σ-divided ring and prove the following. (1) Let R be a commutative pseudovaluation ring such that x ∈ P for any P ∈ Spec(R[x,σ]) . Then R[x,σ] is also a pseudovaluation ring. (2) Let R be a σ-divided ring such that x ∈ P for any P ∈ Spec(R[x,σ]). Then R[x,σ] is also a σ-divided ring. Let now R be a commutative Noetherian Q-algebra (Q i...

We derive the Σ-D relation of Galactic supernova remnants of shell-type separately at adiabatic-phase and at radiative-phase through two sets of different formulas, considering the different physical processes of shell-type remnants at both stages. Also statistics on Galactic shell-type remnants about 57 was made. Then we do some comparison with other results obtained before. It shows that all ...

The Jülich-Bonn group aims at an extensive study of the baryonbaryon ( BB ) interaction involving strange baryons (Λ, Σ, Ξ) within SU(3) chiral effective field theory. An overview achievements and new developments over past few years is provided. topics covered are: 1) Derivation leading charge-symmetry breaking (CSB) for Λ N system its application in a CSB effects A =4 Λ-hypernuclei. 2) Update...

We give a derivation of the Verlinde formula for the Gk WZW model from Chern-Simons theory, without taking recourse to CFT, by calculating explicitly the partition function ZΣ×S1 of Σ × S 1 with an arbitrary number of labelled punctures. By a suitable gauge choice, ZΣ×S1 is reduced to the partition function of an Abelian topological field theory on Σ (a deformation of non-Abelian BF and Yang-Mi...

For a field k with an automorphism σ and a derivation δ, we introduce the notion of liouvillian solutions of linear difference-differential systems {σ(Y ) = AY, δ(Y ) = BY } over k and characterize the existence of liouvillian solutions in terms of the Galois group of the systems. We will give an algorithm to decide whether such a system has liouvillian solutions when k = C(x, t), σ(x) = x + 1,...