• No results found

Natural extension

Syntax for free: representing syntax with binding using parametricity

Syntax for free: representing syntax with binding using parametricity

... It seems obvious, though we have not yet formally proved it, that there is a natural extension of the representation of inductive types in System F as poly- morphic types ∀α.(F [α] → α) → α, where α is ...

15

Regularity conditions and Bernoulli properties of equilibrium states and $g$ measures

Regularity conditions and Bernoulli properties of equilibrium states and $g$ measures

... sufficient conditions on such an eigenmeasure ν are obtained for ϕ to belong to two important spaces of functions, W (X, T) and Bow(X, T ). For example, ϕ ∈ Bow(X, T) if and only if ν is a measure with a certain ...

19

Cauchy–Bunyakovsky–Schwarz type inequalities related to Möbius operations

Cauchy–Bunyakovsky–Schwarz type inequalities related to Möbius operations

... Another extension is related to both the Möbius addition and Möbius scalar multiplication, which can be regarded as the most natural extension in the context of relation between inner product spaces ...

18

The star compactification

The star compactification

... Convergence space, compactification, G-space, R-series, natural extension, @-continuous function, proper map, open map.. 1980 MATHEMATICS SUBJECT CLASSIFICATION CODES...[r] ...

22

Revealing transversity GPDs through the photoproduction of a photon and a ρ meson

Revealing transversity GPDs through the photoproduction of a photon and a ρ meson

... a natural extension of collinear QCD factorization theorems which have been much studied for deeply virtual Compton scattering and deeply virtual meson ...

6

A necessary condition to test the minimality of generalized linear sequential machines using the theory of near-semirings

A necessary condition to test the minimality of generalized linear sequential machines using the theory of near-semirings

... a natural extension of the syntactic semigroups, the decomposition of linear sequential machines, which is different from the one given by Eilenberg, enabled Holcombe to study these machines thoroughly ...

16

Simple Properties and Existence Theorem for the Henstock-Kurzweil-Stieltjes Integral of Functions Taking Values on C[a,b] Space-valued Functions

Simple Properties and Existence Theorem for the Henstock-Kurzweil-Stieltjes Integral of Functions Taking Values on C[a,b] Space-valued Functions

... Abstract. Henstock–Kurzweil integral, a nonabsolute integral, is a natural extension of the Rie- mann integral that was studied independently by Ralph Henstock and Jaroslav Kurzweil. This paper will ...

14

Hausman tests for the error distribution in conditionally heteroskedastic models

Hausman tests for the error distribution in conditionally heteroskedastic models

... one natural extension, we may consider our Hausman testing procedure for the error distri- bution in other time series models, such as the heteroskedastic model with a conditional mean, the heteroskedastic ...

27

Random Fuzzy Multiobjective Linear Programming Through Probability Maximization and Its Application to Farm Planning

Random Fuzzy Multiobjective Linear Programming Through Probability Maximization and Its Application to Farm Planning

... a natural extension, a random fuzzy multiobjective program- ming problem (RFMOLP) was formulated and the interac- tive decision making methods were proposed to obtain the satisfactory solution of the ...

7

How Should Monetary Policy Respond to Asset Price Bubbles?

How Should Monetary Policy Respond to Asset Price Bubbles?

... A further natural extension to the simple version of the model involves assuming that, rather than affecting the probability of the bubble bursting, the activist policymaker can, by setti[r] ...

32

Dependent Elements of Derivations on Semiprime Rings

Dependent Elements of Derivations on Semiprime Rings

... a natural extension of the notion of a dependent element of mappings on a C ∗ -algebra or von Neumann algebras is the study of this notion in the context of semiprime rings and prime ...

6

Renormalization of Supersymmetric QCD on the Lattice

Renormalization of Supersymmetric QCD on the Lattice

... A natural extension would be the computation of the Green’s functions for composite operators made of quark, squark, gluon and gluino fields; studies of such operators in the continuum can be found in, ...

8

Approximation Based Adaptive Tracking Control of Uncertain Nonholonomic Mechanical Systems

Approximation Based Adaptive Tracking Control of Uncertain Nonholonomic Mechanical Systems

... a natural extension to our recent results on globally stabilizing near-optimal kinematic tracking control for nonholonomic chained systems [7], we propose an adaptive tracking control for uncertain dynamic ...

6

Random Fuzzy Multiobjective Linear Programming Through Probability Maximization

Random Fuzzy Multiobjective Linear Programming Through Probability Maximization

... a natural extension, a random fuzzy multiobjective programming problem (RFMOLP) was formulated and the interactive decision making methods were proposed to obtain the satisfactory solution of the decision ...

6

The Morishima Gross elasticity of substitution

The Morishima Gross elasticity of substitution

... In two recent papers, Bertoletti (2001, 2005) has resurrected a version of the AUES that allows output to adjust optimally, a concept that he calls the Hotelling-Lau elasticity of substitution (HLES) (first formulated in ...

22

8. The $\textbf{D}_{u}$-Classical Orthogonal Polynomials

8. The $\textbf{D}_{u}$-Classical Orthogonal Polynomials

... a natural extension of the cor- responding properties for the very classical ones (generalizing the Hahn property, the Pearson equation, the second order linear differential equation and the structure ...

33

The Trigonometric Representation of Complex Type Number System

The Trigonometric Representation of Complex Type Number System

... a natural extension of the classical complex space ℂ in the sense that our complex type space include ℂ and that the fundamental algebraic, trigonometric, exponential representations and holomorphic ...

5

Adjusting Bookmaker’s Odds to Allow for Overround

Adjusting Bookmaker’s Odds to Allow for Overround

... A natural extension of the additive method used in the additive approach (where probabilities are adjusted by a constant addition), and the multiplicative method [r] ...

5

Invariant measures for continued fraction algorithms with finitely many digits

Invariant measures for continued fraction algorithms with finitely many digits

... In Section 2 we will give the general form of the continued fraction maps we study in this paper. After that we give several examples of such maps and a way of finding the density of the invariant measure by using the ...

26

Accurate Unsupervised Joint Named Entity Extraction from Unaligned Parallel Text

Accurate Unsupervised Joint Named Entity Extraction from Unaligned Parallel Text

... 4 STEP 3: Learning weighted models over the context, word-shape, alignment and supervised predictions with high-resource languages The natural extension to the supervised comparison is t[r] ...

9

Show all 10000 documents...

Related subjects