Results 181 to 190 of about 192,351 (214)
Some of the next articles are maybe not open access.
Journal of the London Mathematical Society, 1986
This paper continues the development of valuation theory in the setting of Bishop's constructive mathematics, as initiated by the authors in J. Number Theory 19, 40-62 (1984; Zbl 0549.12015). Included are the equivalence of norms on finite dimensional vector spaces over locally compact fields, the Gelfand-Tornheim theorem on normed fields over the ...
Mines, Ray, Richman, Fred
openaire +2 more sources
This paper continues the development of valuation theory in the setting of Bishop's constructive mathematics, as initiated by the authors in J. Number Theory 19, 40-62 (1984; Zbl 0549.12015). Included are the equivalence of norms on finite dimensional vector spaces over locally compact fields, the Gelfand-Tornheim theorem on normed fields over the ...
Mines, Ray, Richman, Fred
openaire +2 more sources
Algebra Universalis, 2003
Let τ be a type of algebras. There are several commonly used measurements of the complexity of terms of type τ, including the depth or height of a term and the number of variable symbols appearing in a term. In this paper we formalize these various measurements, by defining a complexity or valuation mapping on terms.
Denecke, Klaus-Dieter, Wismath, Shelly
openaire +2 more sources
Let τ be a type of algebras. There are several commonly used measurements of the complexity of terms of type τ, including the depth or height of a term and the number of variable symbols appearing in a term. In this paper we formalize these various measurements, by defining a complexity or valuation mapping on terms.
Denecke, Klaus-Dieter, Wismath, Shelly
openaire +2 more sources
SSRN Electronic Journal, 2018
Patents are the result of risky and costly R&D and the developer will try to recover its costs (and earn a return) through the sale of products covered by the patent, licensing others to use the invention (often a product or process), or through the outright sale of the patent. Patents are typically valued for litigation or licensing purposes. This
openaire +2 more sources
Patents are the result of risky and costly R&D and the developer will try to recover its costs (and earn a return) through the sale of products covered by the patent, licensing others to use the invention (often a product or process), or through the outright sale of the patent. Patents are typically valued for litigation or licensing purposes. This
openaire +2 more sources
Annals of the New York Academy of Sciences, 1996
ABSTRACT:Valuations are measurelike functions mapping the open sets of a topological space X into positive real numbers. They can be classified into finite, point continuous, and Scott continuous valuations. We define corresponding spaces of valuations VfX⊂ VpX⊂VX. The main results of the paper are that VpX is the soberification of VfX, and that VpX is
openaire +1 more source
ABSTRACT:Valuations are measurelike functions mapping the open sets of a topological space X into positive real numbers. They can be classified into finite, point continuous, and Scott continuous valuations. We define corresponding spaces of valuations VfX⊂ VpX⊂VX. The main results of the paper are that VpX is the soberification of VfX, and that VpX is
openaire +1 more source
Commentarii mathematici Universitatis Sancti Pauli = Rikkyo Daigaku sugaku zasshi, 1985
A multiring is like a commutative ring with identity in which addition is multivalued. The authors introduce a theory in which valuations appear as homomorphisms onto certain totally ordered multirings. They establish counterparts for multirings of aspects of the following: basic results on Manis valuation rings; characterisation of rings of Krull ...
J., Alajbegovic, J., Mockor
openaire +2 more sources
A multiring is like a commutative ring with identity in which addition is multivalued. The authors introduce a theory in which valuations appear as homomorphisms onto certain totally ordered multirings. They establish counterparts for multirings of aspects of the following: basic results on Manis valuation rings; characterisation of rings of Krull ...
J., Alajbegovic, J., Mockor
openaire +2 more sources
Valuations and hypersubstitutions
2003A valuation of a term \(t\) is a non-negative integer which expresses in a certain sense the complexity of \(t\) (it can be the number of operations occurring in \(t\), the number of variables, etc). A hypersubstitution \(\sigma\) is called increasing with respect to a valuation \(v\) if \(v(t)\leq v(\overline\sigma(t))\).
Denecke, Klaus-Dieter, Wismath, Shelly
openaire +2 more sources
1975
The purpose of this chapter is to study the mathematics needed as a preliminary requisite to the solving of valuation problems in subsequent chapters.
openaire +1 more source
The purpose of this chapter is to study the mathematics needed as a preliminary requisite to the solving of valuation problems in subsequent chapters.
openaire +1 more source
A review of monetary valuation in life cycle assessment: State of the art and future needs
Journal of Cleaner Production, 2021Andrea Martino Amadei +2 more
exaly
2010
In this 12th edition of the European Energy Markets Observatory, a sample of 41 companies has been examined (see Table 14.1), which is down from 43 covered in last year’s report, as two of the companies were acquired in 2009: Dutch Essent was bought by German RWE, and Nuon (also Dutch) was acquired by Swedish Vattenfall.
openaire +1 more source
In this 12th edition of the European Energy Markets Observatory, a sample of 41 companies has been examined (see Table 14.1), which is down from 43 covered in last year’s report, as two of the companies were acquired in 2009: Dutch Essent was bought by German RWE, and Nuon (also Dutch) was acquired by Swedish Vattenfall.
openaire +1 more source
Plural valuation of nature for equity and sustainability: Insights from the Global South
Global Environmental Change, 2020Noelia Zafra-Calvo +2 more
exaly