نتایج جستجو برای: section 0
تعداد نتایج: 713954 فیلتر نتایج به سال:
This paper gives an overview of a prototype implementation of a fragment of the logic Linc [5, 8, 13] (also referred to as FOλ∆∇ in [5]), which we tentatively call ‘Level 0/1 Prover’ here. This implementation is part of a larger project, Parsifal, at INRIA Futurs (see http://www.lix.polytechnique.fr/~dale/parsifal). The logic Linc is an extension of first-order intuitionistic logic with a proof...
Cross-section finance studies virtually never test variables for unit roots, though econometric validity depends on testing. This paper develops a cross-section unit-root test and uses it on annual data for the return on equity and the return on invested capital, ROE and ROIC, key variables in the Edwards-BellOhlson (EBO) accounting and Free Cash Flow (FCF) finance valuation models. Conventiona...
While the functions in (1.1) do not have ordinary derivatives at t = 0, they have symmetric derivatives: f s (0) = g (0) = h (0) = 0. For a deeper understanding of the symmetric derivative and its properties, we refer the reader to the specialized monograph [8]. Here we note that the symmetric quotient (f (t+ h)− f (t− h)) /(2h) has, in general, better convergence properties than the ordinary d...
wave equations. We still assume all the hypotheses of Section 6.1 and consider the problem ü(t) = Au(t) t ∈ [0,∞), u(0) = u0, u̇(0) = v0, (6.14) for initial data u0 ∈ D(A) and v0 ∈ V . Associated to the spectral series representation of the unbounded operator A
and Applied Analysis 3 Inspired by the work of the above papers, the aim of this paper is to establish the existence and multiplicity of positive solutions of the BVP 1.1 . We discuss the boundary value problemwith the Riemann-Stieltjes integral boundary conditions, that is, the BVP 1.1 , which includes fractional order two-point, three-point, multipoint, and nonlocal boundary value problems as...
This section provides details for Section 4.4 of the paper. We consider the class of contests with intermittently-public information disclosure: the principal specifies a set of times at which the entire history of successes to date is publicly disclosed; at other times, there is no information disclosed. Formally, an intermittently-public disclosure policy is a sequence (Mt, μt)t∈[0,T ] where,...
We report on the results of the first measurement of exclusive f_{0}(980) meson photoproduction on protons for E_{gamma}=3.0-3.8 GeV and -t=0.4-1.0 GeV2. Data were collected with the CLAS detector at the Thomas Jefferson National Accelerator Facility. The resonance was detected via its decay in the pi;{+}pi;{-} channel by performing a partial wave analysis of the reaction gammap-->ppi;{+}pi;{-}...
With regard to a computational representation of literary plot, this paper looks at the use of sentiment analysis for happy ending detection in German novels. Its focus lies on the investigation of previously proposed sentiment features in order to gain insight about the relevance of specific features on the one hand and the implications of their performance on the other hand. Therefore, we stu...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید