Results 21 to 30 of about 15,760,783 (334)
Advances in Differential Equations, 2020 The work reported in this paper deals with the study of a coupled system for fractional terminal value problems involving ψ-Hilfer fractional derivative. The existence and uniqueness theorems to the problem at hand are investigated.
Mohammed S Abdo +3 more
semanticscholar +1 more source
Terminal Value Problem for Implicit Katugampola Fractional Differential Equations in b-Metric Spaces
Journal of Function Spaces, 2021 This manuscript deals with a class of Katugampola implicit fractional differential equations in b-metric spaces. The results are based on the α−φ-Geraghty type contraction and the fixed point theory. We express an illustrative example.
Salim Krim +3 more
doaj +1 more source
Call-by-value Termination in the Untyped lambda-calculus [PDF]
Logical Methods in Computer Science, 2008 A fully-automated algorithm is developed able to show that evaluation of a given untyped lambda-expression will terminate under CBV (call-by-value). The ``size-change principle'' from first-order programs is extended to arbitrary untyped lambda-expressions in two steps.
Jones, Neil D., Bohr, Nina
openaire +4 more sources
Exploring Mobile Terminal Continuance Usage from Customer Value Perspective
Information, 2019 With the large-scale growth of mobile terminal users, exploring their continuance use behavior attracts wide attention. However, there is insufficient research on user psychological states in different hierarchy models towards continuance use of a mobile
Aoshuang Li, Xiaodong Yang, Feng Guo
doaj +1 more source
BSDE with quadratic growth and unbounded terminal value [PDF]
, 2005 In this paper, we study the existence of solution to BSDE with quadratic growth and unbounded terminal value. We apply a localization procedure together with a priori bounds.
Hu +6 more
core +4 more sources
Terminal Value Problems with Causal Operators
Hacettepe Journal of Mathematics and Statistics, 2018 The well-known techniques of monotone iterative have been investigated and expanded for the causal terminal value problem (CTVP). This method construct the monotone sequences of the solutions of linear CTVPs by using the upper and lower solutions. Moreover, these sequence of functions are uniformly and monotonically converge to the extremal solutions ...
YAKAR, Coşkun, ARSLAN, Mehmet
openaire +3 more sources
Asymptotic Analysis, 2020 In this paper, we study two terminal value problems (TVPs) for stochastic bi-parabolic equations perturbed by standard Brownian motion and fractional Brownian motion with Hurst parameter h ∈ ( 1 2 , 1 ) separately.
N. Tuan, T. Caraballo, Tran Ngoc Thach
semanticscholar +1 more source
Ученые записки Российской академии предпринимательства, 2021 The article considers the estimation of the company's value, based on the method of Discounted Cash Flows with the calculation of terminal value. The difference between the discounted cash dividend model and the discounted pure financial flow model is ...
E. A. Zakrevskaya, V. A. Panov
doaj
Terminal control of aerospace system subhypersonic first stage
Вестник Самарского университета: Аэрокосмическая техника, технологии и машиностроение, 2016 The problem of forming command control of the subhypersonic first stage of an aerospace system in climb is considered. Passive motion of spacecraft in conditions of maximum atmospheric density disturbance is analyzed.
V. L. Balakin, A. V. Kovalyov
doaj +1 more source
Axioms, 2022 The terminal value problem of differential equations has an important application background. In this paper, we are concerned with the terminal value problem of a first-order differential equation.
Yuqiang Feng, Qian Pan, Jun Jiang
doaj +1 more source