Search
Now showing items 191-200 of 210
Preprint
On the equivariant Tamagawa number conjecture for abelian extensions of a quadratic imaginary field
(Universität Kassel, FB 17, Mathematik/Informatik, 2005)
Let k be a quadratic imaginary field, p a prime which splits in k/Q and does not divide the class number hk of k. Let L denote a finite abelian extention of k and let K be a subextention of L/k. In this article we prove the p-part of the Equivariant Tamagawa Number Conjecture for the pair (h0(Spec(L)),Z[Gal(L/K)]).
Preprint
Shrinking restarting automata
(Universität Kassel, FB 17, Mathematik/Informatik, 2005)
Restarting automata are a restricted model of computation that was introduced by Jancar et.al. to model the so-called analysis by reduction. A computation of a restarting automaton consists of a sequence of cycles such that in each cycle the automaton performs exactly one rewrite step, which replaces a small part of the tape content by another, even shorter word. Thus, each language accepted by a restarting automaton belongs to the complexity class $CSL cap NP$. Here we consider a natural generalization of this model, ...
Preprint
5. Krypto-Tag - Workshop über Kryptographie
(2006)
Dieser Tagungsband enthält die gesammelten Zusammenfassungen der acht eingereichten Vorträge des 5. Krypto-Tags. Der Kryptotag ist eine zentrale Aktivität der Fachgruppe "Angewandte Kryptologie" der Gesellschaft für Informatik e.V. Er ist eine wissenschaftliche Veranstaltung im Bereich der Kryptologie und von der organisatorischen Arbeit der Fachgruppe getrennt.
Preprint
Learning analysis by reduction from positive data
(Universität Kassel, FB 17, Mathematik/Informatik, 2005)
Analysis by reduction is a linguistically motivated method for checking correctness of a sentence. It can be modelled by restarting automata. In this paper we propose a method for learning restarting automata which are strictly locally testable (SLT-R-automata). The method is based on the concept of identification in the limit from positive examples only. Also we characterize the class of languages accepted by SLT-R-automata with respect to the Chomsky hierarchy.
Preprint
Construction of recurrent fractal interpolation surfaces(RFISs) on rectangular grids
(2008)
A recurrent iterated function system (RIFS) is a genaralization of an IFS and provides
nonself-affine fractal sets which are closer to natural objects. In general, it's attractor
is not a continuous surface in R3. A recurrent fractal interpolation surface (RFIS) is an
attractor of RIFS which is a graph of bivariate continuous interpolation function. We
introduce a general method of generating recurrent interpolation surface which are at-
tractors of RIFSs about any data set on a grid.
Preprint
Construction of fractal interpolation surfaces on rectangular grids
(2008)
We present a general method of generating continuous fractal interpolation surfaces
by iterated function systems on an arbitrary data set over rectangular grids and estimate
their Box-counting dimension.
Preprint
A generic formula for the values at the boundary points of monic classical orthogonal polynomials
(2005)
In a previous paper we have determined a generic formula for the polynomial solution families of the well-known differential equation of hypergeometric type σ(x)y"n(x)+τ(x)y'n(x)-λnyn(x)=0. In this paper, we give another such formula which enables us to present a generic formula for the values of monic classical orthogonal polynomials at their boundary points of definition.
Preprint
Spacelike maximal surfaces in 3D Lorentz-Minkowski space
(2006)
We investigate spacelike maximal surfaces in 3-dimensional Lorentz-Minkowski space,
give an Enneper-Weierstrass representation of such surfaces and classify those with a Lorentzian or Euclidian rotation symmetry.