نتایج جستجو برای: and space

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

‎In this paper, generalized convex contractions on orthogonal metric spaces are stablished in whath  might be called their  definitive versions. Also, we show that there are examples which show that our main theorems are  genuine generalizations of Theorem 3.1 and 3.2 of [M.A. Miandaragh, M. Postolache and S. Rezapour,  {it Approximate fixed points of generalized convex contractions}, Fixed Poi...

Journal: :iranian journal of science and technology (sciences) 2008
k. haghnejad azar

we introduce some new concepts of topological spaces which say α − separable topologicalspace and o-topological group, α − first axiom, α − second axiom, and we find some relations betweenthem with some applications in normed spaces.

Journal: :international journal of nonlinear analysis and applications 2015
s. ostadbashi j. kazemzadeh

in this paper, we consider orthogonal stability of mixed type additive and cubic functional equation of the form $$f(2x+y)+f(2x-y)-f(4x)=2f (x+y)+2f(x-y)-8f(2x) +10f(x)-2f(-x),$$ with $xbot y$, where $bot$  is orthogonality in the sense of ratz.

Journal: :iranian endodontic journal 0
jamileh ghoddusi maryam forghani assistant professor of endodontics, dental material research center, school of dentistry, mashhad university of medical sciences, mashhad,iran ali bagherpour fatemeh mahmudabadi majid sarmad

introduction : the aim of this in vitro study was to compare the effect of gates-glidden and peeso reamer drills on residual dentin thickness during post space preparation in order to discover which method has minimum root structure damage. materials and methods: thirty extracted human maxillary premolars with bifurcations at root middle were horizontally cut 15 mm coronal to the apical end aft...

Background The concept of decision space holds appeal as an approach to disaggregating the elements that may influence decision-making in decentralized systems. This narrative review aims to explore the functioning of decision space and the factors that influence decision space.   Methods A narrative review of the literature was conducted with searches of online databases and academic journals ...

Journal: :international journal of nonlinear analysis and applications 2010
m. b. ghaemi l. guillen s. saiedinezhad

the notion of a probabilistic metric  space  corresponds to thesituations when we do not know exactly the  distance.  probabilistic metric space was  introduced by karl menger. alsina, schweizer and sklar gave a general definition of  probabilistic normed space based on the definition of menger [1]. in this note we study the pn spaces which are  topological vector spaces and the open mapping an...

2010
Isil Dillig Thomas Dillig Alexander Aiken

We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that relaxes the dichotomy between strong and weak updates. Our technique is fully automatic, does not suffer from the kind of state-space explosion problem partition-based approaches are prone to, and can naturally express properties t...

2001
A. G. Smirnov M. A. Soloviev

The analytic aspects of the operator realization of Wick power series of infrared singular free fields are considered. Taking advantage of the holomorphy properties of the two-point correlation function and its Hilbert majorant in x-space, we solve in a general and model independent way the problem of finding the adequate test function space on which a given Wick series is convergent. Substanti...

Journal: :JDFSL 2006
Bernd Carsten Stahl

Forensic Computing is a new and quickly developing field. It is in the process of becoming an academic discipline or sub-discipline with all the features from full undergraduate and postgraduate course provision to conferences and journals. An important question in this process of turning into an established discipline is whether it will coincide with the recognition of the graduates as profess...

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

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