نتایج جستجو برای: calculus treatment

تعداد نتایج: 1454395  

Journal: :iranian journal of science and technology (sciences) 2015
r. w. ibrahim

the complex-step derivative approximation is applied to compute numerical derivatives. in this study, we propose a new formula of fractional complex-step method utilizing jumarie definition. based on this method, we illustrated an approximate analytic solution for the fractional cauchy-euler equations. application in image denoising is imposed by introducing a new fractional mask depending on s...

Journal: :The Journal of Nihon University School of Dentistry 1994
R Abdul-Kadir

A cross-sectional exploratory survey was conducted in six West Malaysian schools involving 762 fifteen- to eighteen-year-old secondary school students. Periodontal health status was assessed using the Community Periodontal Index of Treatment Needs (CPITN), utilizing six index teeth to represent the six sextants of the mouth. The results indicated that 66.8% of the students examined had healthy ...

Journal: :iranian journal of science and technology (sciences) 2012
s. shishebor

we prove that the limit of a sequence of pettis integrable bounded scalarly measurable weak random elements, of finite weak norm, with values in the dual of a non-separable banach space is pettis integrable. then we provide basic properties for the pettis conditional expectation, and prove that it is continuous. calculus of pettis conditional expectations in general is very different from the c...

2011
Kaustuv Chaudhuri Nicolas Guenot Lutz Straßburger

The focusing theorem identifies a complete class of sequent proofs that have no inessential nondeterministic choices and restrict the essential choices to a particular normal form. Focused proofs are therefore well suited both for the search and for the representation of sequent proofs. The calculus of structures is a proof formalism that allows rules to be applied deep inside a formula. Throug...

Journal: :CoRR 2015
Richard Moot

Lambeks Syntactic Calculus, commonly referred to as the Lambek calculus, was innovative in many ways, notably as a precursor of linear logic. But it also showed that we could treat our grammatical framework as a logic (as opposed to a logical theory). However, though it was successful in giving at least a basic treatment of many linguistic phenomena, it was also clear that a slightly more expre...

Journal: :Humanistic Mathematics Network Journal 2002

Journal: :caspian journal of mathematical sciences 2015
a. taghavi a. babaei a. mohammadpour

in this paper an approximate analytical solution of the fractional zakharov-kuznetsov equations will be obtained with the help of the reduced differential transform method (rdtm). it is in-dicated that the solutions obtained by the rdtm are reliable and present an effective method for strongly nonlinear fractional partial differential equations.

Background: Patients need peace of mind to disclose their information to medical staff and with the lack of trust or in specific health status, they may avoid providing sensitive information for their care or might change the information. This research aims to examine the impact of perceived health status and trust propensity on privacy calculus. Methods: This research was analytical-study. 3 ...

2009
Serenella Cerrito Marta Cialdea Mayer

This work provides the full proofs of the properties of the tableaux calculus for hybrid logic with the global and converse modalities presented in [3], which focuses on the HL(@) fragment of the calculus. While such a fragment terminates without loop checks, when the converse and global modalities are added to the language, and the corresponding rules to the system, termination is achieved by ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید