In this paper, we give existence and uniqueness results for backward stochastic diierential equations when the generator has polynomial growth in the state variable. We deal with the case of xed terminal time as well as the case of random terminal time. The need for this type of extension of the classical existence and uniqueness results comes from the desire to provide a probabilistic represen...

Uniqueness typing can be used to add side effects to a functional programming language without losing referential transparency. Unfortunately uniqueness types often involve implications between uniqueness attributes, which complicates type inference and incorporating modern extensions such as arbitrary rank types. In this paper we show how to avoid these difficulties by recoding attribute inequ...

The world is looking towards producing products which consume less power without compromising on quality of life. The increase in use of refrigeration and air conditioning appliances are contributing to global warming. The world wide temperatures are shooting up at an increasing rate. This paper presents a design of roll bond evaporator as the heat exchanger to provide cooling in room air condi...

‎In this paper‎, ‎we consider the existence and uniqueness of the global solution for the sixth-order damped Boussinesq equation‎. ‎Moreover‎, ‎the finite-time blow-up of the solution for the equation is investigated by the concavity method‎.

Existence and uniqueness of solutions of martingale problems, not only in the class of r.c.l.l. or continuous process, but also in the class of progressively measurable processes has become important. In this article we give several examples which show that existence or uniqueness in any one class need not imply the same in another class. We also give an example of a well-posed martingale probl...

in this paper, the goursat problem of a general form for a linear partial differential equation is investigated with the help of the riemann function method. some results are given concerning the existence and uniqueness for the solution of the suggested problem.