ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Articles  (22)
  • Springer  (22)
  • American Institute of Physics (AIP)
  • Computer Science  (22)
Collection
  • Articles  (22)
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Computing 55 (1995), S. 43-53 
    ISSN: 1436-5057
    Keywords: Interval analysis ; range computation ; inclusion monotonicity ; Bernstein coefficients
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Bekanntlich ist der Wertebereich eines Polynomsf über einem Intervall durch den kleinsten und größten Koeffizienten vonf bezüglich der Bernstein Basis auf dem Intervall eingeschränkt. Dadurch wird eine IntervallerweiterungF vonf definiert, die sogenannte Bernstein Form. In dieser Arbeit zeigen wir, daß die Bernstein Form inklusionsmonoton ist, d. h. wenn.X⊇Y dannF(X)⊇F(Y).
    Notes: Abstract It is well known that the range of polynomialf over an interval is bounded by the smallest and the largest coefficient off with respect to the Bernstein basis over the interval. This defines an interval extensionF off, which is called Bernstein form. In this paper we show that the bernstein form is inclusion monotone, i.e.X⊇Y impliesF(X)⊇F(Y).
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Computers and the humanities 12 (1978), S. 201-214 
    ISSN: 1572-8412
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Media Resources and Communication Sciences, Journalism
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Computing 53 (1994), S. 323-335 
    ISSN: 1436-5057
    Keywords: Nonlinear equation systems ; interval arithmetic ; safe starting regions ; tightening
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung In dieser Arbeit wird eine Methode zur Bestimmung von Startintervallen mit garantierter Konvergenz für ein gegebenes nichtlineares Gleichungssystem vorgestellt. Die Methode ist eine verbesserung der gebräuchlichen, auf dem Fixpunkt Theorem basierenden Methode. Die Verbesserung wird durch Einschließen der Komponenten des Gleichungssystems durch univariate Intervallpolynome, deren Lösungsmengen berechnet werden, erzielt. Diese Operation wird “Einengung” genannt. Erste experimentelle Untersuchungen zeigen, daß Einengung im allgemeinen die Anzahl der Intervallhalbierungen und somit die Rechenzeit reduziert. Die Reduktion scheint umso signifikanter, je höher die Anzahl der Variablen ist.
    Notes: Abstract In this paper, we present a method for finding safe starting regions for a given system of non-linear equations. The method is an improvement of the usual method which is based on the fixed point theorem. The improvement is obtained by enclosing the components of the equation system by univariante interval polynomials whose zero sets are found. This operation is called “tightening”. Preliminary experiments show that the tightening operation usually reduces the number of bisections, and thus the computing time. The reduction seems to become more dramatic when the number of variables increases.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Machine learning 20 (1995), S. 95-117 
    ISSN: 0885-6125
    Keywords: Inductive Logic Programming ; Bias Shift ; Predicate Invention
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The task of predicate invention in Inductive Logic Programming is to extend the hypothesis language with new predicates if the vocabulary given initially is insufficient for the learning task. However, whether predicate invention really helps to make learning succeed in the extended language depends on the language bias currently employed. In this paper, we investigate for which commonly employed language biases predicate invention is an appropriate shift operation. We prove that for some restricted languages predicate invention does not help when the learning task fails and we characterize the languages for which predicate invention is useful. We investigate the decidability of the bias shift problem for these languages and discuss the capabilities of predicate invention as a bias shift operation.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Springer
    Machine learning 20 (1995), S. 95-117 
    ISSN: 0885-6125
    Keywords: Inductive Logic Programming ; Bias Shift ; Predicate Invention
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The task of predicate invention in Inductive Logic Programming is to extend the hypothesis language with new predicates if the vocabulary given initially is insufficient for the learning task. However, whether predicate invention really helps to make learning succeed in the extended language depends on the language bias currently employed. In this paper, we investigate for which commonly employed language biases predicate invention is an appropriate shift operation. We prove that for some restricted languages predicate invention does not help when the learning task fails and we characterize the languages for which predicate invention is useful. We investigate the decidability of the bias shift problem for these languages and discuss the capabilities of predicate invention as a bias shift operation.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Springer
    Numerical algorithms 3 (1992), S. 55-65 
    ISSN: 1572-9265
    Keywords: Interpolatory integration rules ; convergent integration rules ; orthogonal polynomials ; varying weights ; equilibrium distribution
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract We investigate which types of asymptotic distributions can be generated by the knots of convergent sequences of interpolatory integration rules. It will turn out that the class of all possible distributions can be described exactly, and it will be shown that the zeros of polynomials that are orthogonal with respect to varying weight functions are good candidates for knots of integration rules with a prescribed asymptotic distribution.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Springer
    International journal of parallel programming 1 (1972), S. 17-27 
    ISSN: 1573-7640
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A new data structure developed in connection with a natural language question-answering system is described. The data structure is based upon a new high-order calculus. It allows a great degree of expressiveness and is suitable for extensive logical deduction. The inadequacies of low-order schemes for the representation of natural language information are given. A formal description of the new high-order structure which overcomes these inadequacies is then presented along with the properties that make it more suitable and attractive for machine processing of natural language information.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Springer
    Journal of clinical monitoring and computing 11 (1995), S. 392-393 
    ISSN: 1573-2614
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Medicine
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Springer
    AI & society 14 (2000), S. 71-97 
    ISSN: 1435-5655
    Keywords: Collaborative learning ; Communities of practice ; Construction of knowledge ; Perspectives mechanism
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Computer-based design environments for skilled domain workers have recently graduated from research prototypes to commercial products, supporting the learning of individual designers. Such systems do not, however, adequately support the collaborative nature of work or the evolution of knowledge within communities of practice. If innovation is to be supported within collaborative efforts, thesedomain-oriented design environments (DODEs) must be extended to becomecollaborative information environments (CIEs), capable of providing effective community memories for managing information and learning within constantly evolving collaborative contexts. In particular, CIEs must provide functionality that facilitates the construction of new knowledge and the shared understanding necessary to use this knowledge effectively within communities of practice. This paper reviews three stages of work on artificial (computer-based and Web-based) systems that augment the intelligence of people and organisations. NetSuite illustrates the DODE approach to supporting the work of individual designers with learning-on-demand. WebNet extends this model to CIEs that support collaborative learning by groups of designers. Finally, WebGuide shows how a computational perspectives mechanism for CIEs can support the construction of knowledge and of shared understanding within groups. According to recent theories of cognition, human intelligence is the product of tool use and of social mediations as well as of biological development; CIEs are designed to enhance this intelligence by providing computationally powerful tools that are supportive of social relations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Springer
    Reliable computing 3 (1997), S. 411-420 
    ISSN: 1573-1340
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract We show that the overestimation error of the interval Horner method for univariate polynomials on a centered interval is reduced at least by half if the interval is split at its midpoint zero and the interval Horner method is applied to both halves separately. This observation is used to reduce the overestimation error of the Taylor centered form at least by half. Further, it can be used to compute error bounds for the Taylor centered form and an inner range estimation.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...