Results 241 to 250 of about 12,682,205 (285)
Some of the next articles are maybe not open access.
1975
Much of mathematics is concerned with the study of “standard” mathematical systems such as the natural numbers, the rationals, the real numbers and the complex numbers, each of which is regarded as a unique system. When we attempt to study one of these systems by axiomatising it within the first-order predicate calculus, we find that our axiomatisation
Donald W. Barnes, John M. Mack
openaire +1 more source
Much of mathematics is concerned with the study of “standard” mathematical systems such as the natural numbers, the rationals, the real numbers and the complex numbers, each of which is regarded as a unique system. When we attempt to study one of these systems by axiomatising it within the first-order predicate calculus, we find that our axiomatisation
Donald W. Barnes, John M. Mack
openaire +1 more source
Non-Linear Dynamics with Non-Standard Lagrangians
Qualitative Theory of Dynamical Systems, 2012zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2017
In the real world many facts appear to conflict with the assum ptions of the standard life-cycle model and its main hypotheses. The mental accounting model challenges the assumption that resources are fungible. Substantial evidence produced by psychology, laboratory experiments, and empirical studies points out that people do not make time-consistent ...
Tullio Jappelli, Luigi Pistaferri
openaire +1 more source
In the real world many facts appear to conflict with the assum ptions of the standard life-cycle model and its main hypotheses. The mental accounting model challenges the assumption that resources are fungible. Substantial evidence produced by psychology, laboratory experiments, and empirical studies points out that people do not make time-consistent ...
Tullio Jappelli, Luigi Pistaferri
openaire +1 more source
2004
Chapter 3 explains all ISO 19100 standards apart from ISO 19101 (Reference model) and the geometry-oriented standards that are ISO 19107 (Spatial schema), ISO 19123 (Schema for coverage geometry and functions), ISO 19125-1 (Simple feature access — Part 1: Common architecture), and ISO 19136 (Geography Markup Language).
Wolfgang Kresse, Kian Fadaie
openaire +1 more source
Chapter 3 explains all ISO 19100 standards apart from ISO 19101 (Reference model) and the geometry-oriented standards that are ISO 19107 (Spatial schema), ISO 19123 (Schema for coverage geometry and functions), ISO 19125-1 (Simple feature access — Part 1: Common architecture), and ISO 19136 (Geography Markup Language).
Wolfgang Kresse, Kian Fadaie
openaire +1 more source
2018
There are two important methods for the proof of the coding theorem for the AVC. One is the elimination (and robustification) technique in Sect. 5.3.
openaire +1 more source
There are two important methods for the proof of the coding theorem for the AVC. One is the elimination (and robustification) technique in Sect. 5.3.
openaire +1 more source
1975
In this thesis some classical theorems of analysis are provided with non-standard proofs. In Chapter 1 some compactness theorems are examined. In 1.1 the monad μ(p) of any point p contained in a set X (and relative to a family H of subsets of X ) is defined. Using monads, a nonstandard characterization of compact families of subsets of X is given.
openaire +1 more source
In this thesis some classical theorems of analysis are provided with non-standard proofs. In Chapter 1 some compactness theorems are examined. In 1.1 the monad μ(p) of any point p contained in a set X (and relative to a family H of subsets of X ) is defined. Using monads, a nonstandard characterization of compact families of subsets of X is given.
openaire +1 more source