It is one of the basic questions in designing a database system to determine which attributes to invert. The literature presents a variety of models to solve this *** paper attempts to give a guideline, under which co...
详细信息
It is one of the basic questions in designing a database system to determine which attributes to invert. The literature presents a variety of models to solve this *** paper attempts to give a guideline, under which conditions a primitive model considering only retrieve operations, suffices to determine an optimal solution. The relevance of that question lies in the smaller costs of simpler models.
We describe a method which enables us to find failures of Rosser's rule with moderate numerical effort. Systematic, computations recently performed by R. P. Brent show that our method yields all failures in the in...
详细信息
We describe a method which enables us to find failures of Rosser's rule with moderate numerical effort. Systematic, computations recently performed by R. P. Brent show that our method yields all failures in the intersection of the intervals considered by him and by us.
The “Theory of Automata” is strongly related to the “Mathematical Linguistics,” (especially to the “Theory of Grammars” in the sense ofChomsky) mentioned above byF. L. Bauer. In the following paper is not to dea...
详细信息
The “Theory of Automata” is strongly related to the “Mathematical Linguistics,” (especially to the “Theory of Grammars” in the sense ofChomsky) mentioned above byF. L. Bauer. In the following paper is not to deal with linguistic aspects of automata but with those aspects complementary herewith, if one intends to describe and to classify various types of automata. First will be outlined the concept of the theory of automata, especially of the theory of finite automata. Moreover there will be paid special attention to the idea of the “state” of an automaton. Thereafter will be mentioned and shortly described tasks typical for Automata Theory without regarding linguistic problems. One field will be preferred in this paper which has not found attention during the last time despite of the fact that the problem has already been formulated byMoore in 1955. Since that time virtually there are not any endeavours to develop further the so-called Theory of Experiments.
For the construction of maximal flows in networks with given lower and upper bounds we need essentially less storage, if we use the antisymmetry of the system in organizing the data. The computation may be started wit...
详细信息
For the construction of maximal flows in networks with given lower and upper bounds we need essentially less storage, if we use the antisymmetry of the system in organizing the data. The computation may be started with a flow that is everywhere zero also if not all lower bounds are zero. An optimal computation sequence may be found. An ALGOL-procedure is given.
By means of general separation theorems for convex sets necessary conditions for optimality and strong duality theorems are given for linear optimization problems with infinitely many restrictions.
By means of general separation theorems for convex sets necessary conditions for optimality and strong duality theorems are given for linear optimization problems with infinitely many restrictions.
Generalizing the theory of linear innitial-value problems, formulated by Lax and Richtmyer [7], necessary conditions for solvability and convergence of a large class of implicit finite-difference methods for the numer...
详细信息
Generalizing the theory of linear innitial-value problems, formulated by Lax and Richtmyer [7], necessary conditions for solvability and convergence of a large class of implicit finite-difference methods for the numerical solution of certain quasilinear initial-value problems are given. In addition an equivalence theorem for these methods is proved.
As a contribution to computer drawing especially of pieces of surfaces of higher order three versions of an ALGOL-program are presented. They permit to draw to net of parameter curves or a pair of picture for stereosc...
详细信息
As a contribution to computer drawing especially of pieces of surfaces of higher order three versions of an ALGOL-program are presented. They permit to draw to net of parameter curves or a pair of picture for stereoscopic viewing or of a picture of the surface with hidden lines suppressed; the input information requested is kept at a minimum. For the hidden line problem a method is *** program is intended for use in pure mathematics particularly in differential geometry.
For spaces of analytic functionsf(z) withL p -norms, 1≤p≤∞, the norm of quadrature error functionals is evaluated. This is done with the aid of a suitable integralrepresentation forf(z) by means of calculation a de...
详细信息
For spaces of analytic functionsf(z) withL p -norms, 1≤p≤∞, the norm of quadrature error functionals is evaluated. This is done with the aid of a suitable integralrepresentation forf(z) by means of calculation a definite integral which is carried out explicitly in some interesting cases.
In [3] a set of procedures is given for simulating interval-arthmetic on ALGOL-60 compilers. The present paper describes ALGOL-60 procedures evaluating standard functions in interval analysis in connection with the pr...
详细信息
In [3] a set of procedures is given for simulating interval-arthmetic on ALGOL-60 compilers. The present paper describes ALGOL-60 procedures evaluating standard functions in interval analysis in connection with the procedures mentioned. A short theoretical introduction to the problem is given.
The paper describes an automatic drawing algorithm permitting every planar graph to be displayed with straight lines in the plane, if the cyclic order of the adjacent vertices for every vertex of the graph is found ou...
详细信息
The paper describes an automatic drawing algorithm permitting every planar graph to be displayed with straight lines in the plane, if the cyclic order of the adjacent vertices for every vertex of the graph is found out by a topological algorithm for *** this connection also a sufficient condition is proved for the uniqueness of the above mentioned cyclic order in every drawing without crossings.
暂无评论