## Preprint

### Refine

#### Year of publication

- 1997 (66) (remove)

#### Document Type

- Preprint (66) (remove)

#### Keywords

- AG-RESY (1)
- Brownian motion (1)
- CAx-Anwendungen (1)
- CoMo-Kit (1)
- Dense gas (1)
- Elliptic-parabolic equation (1)
- Enskog equation (1)
- Function of bounded variation (1)
- Integral transform (1)
- Intelligent Object Fusion (1)
- Internet knowledge base (1)
- Internet knowledge reuse (1)
- Jacobian (1)
- Kohonen's SOM (1)
- Laplace transform (1)
- Locally stationary processes (1)
- Moment sequence (1)
- Neural networks (1)
- PARO (1)
- Panel clustering (1)
- Scalar-type operator (1)
- Software Agents (1)
- Stieltjes transform (1)
- asymptotic analysis (1)
- automated theorem proving (1)
- average density (1)
- business process reengineering (1)
- compact operator equation (1)
- density distribution (1)
- drift-diffusion limit (1)
- finite pointset method (1)
- finite-difference methods (1)
- higher-order calculi (1)
- kinetic semiconductor equations (1)
- kinetic theory (1)
- lacunarity distribution (1)
- local stationarity (1)
- logarithmic averages (1)
- minimax estimation (1)
- mutiresolution (1)
- non-linear wavelet thresholding (1)
- non-stationary time series (1)
- numerical integration (1)
- numerical methods for stiff equations (1)
- object-oriented software modeling (1)
- occupation measure (1)
- one-dimensional self-organization (1)
- order-three density (1)
- parallel numerical algorithms (1)
- parallel processing (1)
- particle method (1)
- porous media (1)
- regularization wavelets (1)
- robot control (1)
- robot kinematics (1)
- shock wave (1)
- software reuse (1)
- spline and wavelet based determination of the geoid and the gravitational potential (1)
- stationarity (1)
- test (1)
- threshold choice (1)
- time series (1)
- time-varying covariance (1)
- wavelets (1)
- winner definition (1)

#### Faculty / Organisational entity

We report on the observation of quantized surface spin waves in periodic arrays of magnetic Ni81Fe19 wires by means of Brillouin light scattering spectroscopy. At small wavevectors (q_1 = 0 - 0.9*100000 cm^-1 ) several discrete, dispersionless modes with a frequency splitting of up to 0.9 GHz were observed for the wavevector oriented perpendicular to the wires. From the frequencies of the modes and the wavevector interval, where each mode is observed, the modes are identified as dipole-exchange surface spin wave modes of the film with quantized wavevector values determined by the boundary conditions at the lateral edges of the wires. With increasing wavevector the separation of the modes becomes smaller, and the frequencies of the discrete modes converge to the dispersion of the dipole-exchange surface mode of a continuous film.

The Fock space of bosons and fermions and its underlying superalgebra are represented by algebras of functions on a superspace. We define Gaussian integration on infinite dimensional superspaces, and construct superanalogs of the classical function spaces with a reproducing kernel - including the Bargmann-Fock representation - and of the Wiener-Segal representation. The latter representation requires the investigation of Wick ordering on Z 2 -graded algebras. As application we derive a Mehler formula for the Ornstein-Uhlenbeck semigroup on the Fock space.

An asymptotic-induced scheme for nonstationary transport equations with thediffusion scaling is developed. The scheme works uniformly for all ranges ofmean free paths. It is based on the asymptotic analysis of the diffusion limit ofthe transport equation. A theoretical investigation of the behaviour of thescheme in the diffusion limit is given and an approximation property is proven.Moreover, numerical results for different physical situations are shown and atheuniform convergence of the scheme is established numerically.

The Multiple Objective Median Problem involves locating a new facility so that a vector of performance criteria is optimized over a given set of existing facilities. A variation of this problem is obtained if the existing facilities are situated on two sides of a linear barrier. Such barriers like rivers, highways, borders, or mountain ranges are frequently encountered in practice. In this paper, theory of the Multiple Objective Median Problem with line barriers is developped. As this problem is nonconvex but specially-structured, a reduction to a series of convex optimization problems is proposed. The general results lead to a polynomial algorithm for finding the set of efficient solutions. The algorithm is proposed for bi-criteria problems with different measures of distance.

In this paper a group of participants of the 12th European Summer Institute which took place in Tenerifa, Spain in June 1995 present their views on the state of the art and the future trends in Locational Analysis. The issue discussed includes modelling aspects in discrete, network and continuous location, heuristic techniques, the state of technology and undesirable facility location. Some general questions are stated reagrding the applicability of location models, promising research directions and the way technology affects the development of solution techniques.

Retrieving multiple cases is supposed to be an adequate retrieval strategy for guiding partial-order planners because of the recognized flexibility of these planners to interleave steps in the plans. Cases are combined by merging them. In this paper, we will examine two different kinds of merging cases in the context of partial-order planning. We will see that merging cases can be very difficult if the cases are merged eagerly. On the other hand, if cases are merged by avoiding redundant steps, the guidance of the additional cases tends to decrease with the number of covered goals and retrieved cases in domains having a certain kind of interactions. Thus, to retrieve a single case covering many of the goals of the problem or to retrieve fewer cases covering many of the goals is at least equally effective as to retrieve several cases covering all goals in these domains.

This paper shows an approach to profit from type information about planning objects in a partial-order planner. The approach turns out to combine representational and computational advantages. On the one hand, type hierarchies allow better structuring of domain specifications. On the other hand, operators contain type constraints which reduce the search space of the planner as they partially achieve the functionality of filter conditions.

In this paper we provide a semantical meta-theory that will support the development of higher-order calculi for automated theorem proving like the corresponding methodology has in first-order logic. To reach this goal, we establish classes of models that adequately characterize the existing theorem-proving calculi, that is, so that they are sound and complete to these calculi, and a standard methodology of abstract consistency methods (by providing the necessary model existence theorems) needed to analyze completeness of machine-oriented calculi.