نتایج جستجو برای: frac tional calculus

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

2007
João Carlos Belloti João Baptista Gomes dos Santos Álvaro Nagib Atallah Walter Manna Albertoni Flavio Faloppa

Sao Paulo Med J. 2007;125(3):132-8. O R IG IN A L A R T IC L E João Carlos Belloti João Baptista Gomes dos Santos Álvaro Nagib Atallah Walter Manna Albertoni Flavio Faloppa Fractures of the distal radius (Colles’ fracture) Universidade Federal de São Paulo — Escola Paulista de Medicina (Unifesp-EPM), São Paulo, Brazil CONTEXT AND OBJECTIVE: �������� �������� frac��r� i� a c�mm�n c�inica� �i��a�...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه زنجان - دانشکده علوم 1391

در این رساله، برخی از نسخه های عملگری نامساوی بلمن را ثابت می کنیم. بویژه، ثابت می کنیم که اگر ‎$phi‎: ‎bh o bk$‎ نگاشت خطی مثبت یکانی، ‎$a,b in bh$‎ انقباض، ‎$p>1$‎ و ‎$0 leq lambda leq 1$‎ باشد، آن گاه ‎egin{eqnarray*}‎ ‎ig(phi(1_mathscr{h}-a abla_{lambda}b)ig)^{1/p}gephiig((1_mathscr{h}-a)^{1/p} abla_{lambda}(1_mathscr{h}-b)^{1/p}ig),‎. ‎end{eqnarray*}‎ همچنین نامساوی های بلمن را برای فر...

2017
F. Betül Durak Serge Vaudenay

The National Institute of Standards and Technology (NIST) recently published a Format-Preserving Encryption standard accepting two Feistel structure based schemes called FF1 and FF3. Particularly, FF3 is a tweakable block cipher based on an 8-round Feistel network. In CCS ̃2016, Bellare et. al. gave an attack to break FF3 (and FF1) with time and data complexity $O(Nˆ5\log(N))$, which is much lar...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه مازندران - دانشکده ریاضی 1390

ابتدا تعاریف و مفاهیمی را که در این رساله مورد استفاده قرار می گیرد را بیان می کنیم. سپس به معرفی فضاهایی می پردازیم که با آن ها سر و کار خواهیم داشت. و‎‎‎‎‎ در پایان به معرفی چند قضیه و اصل می پردازیم. رده ای از دستگاه های بیضوی شبه خطی تباهیده ‎egin{equation*}‎ ‎left{egin{array}{ll}‎ -‎div (h_1 (x)| abla u|^{p-2} abla u )=lambda a(x)|u|^{p-2}u‎ +‎lambda b(x)|u|^{alpha-1}|v|^{eta+1}u+f...

Journal: :Theor. Comput. Sci. 2006
Vasco Thudichum Vasconcelos Simon J. Gay António Ravara

We define a language whose type system, incorporating session types, allows com-plex protocols to be specified by types and verified by static typechecking. A ses-sion type, associated with a communication channel, specifies the state transitionsof a protocol and also the data types of messages associated with transitions; thustypechecking can verify both correctness of indi...

Journal: :Journal of Physics G: Nuclear and Particle Physics 2020

For a constant $alphain left(-frac{pi}{2},frac{pi}{2}right)$,  we definea  subclass of the spirallike functions, $SP_{p}(alpha)$, the setof all functions $fin mathcal{A}$[releft{e^{-ialpha}frac{zf'(z)}{f(z)}right}geqleft|frac{zf'(z)}{f(z)}-1right|.]In  the present paper, we shall give the estimate of the norm of the pre-Schwarzian derivative  $mathrm{T}...

Journal: :international journal of nonlinear analysis and applications 2011
h. azadi kenary

in this paper we investigate the generalized hyers-ulamstability of the following cauchy-jensen type functional equation$$qbig(frac{x+y}{2}+zbig)+qbig(frac{x+z}{2}+ybig)+qbig(frac{z+y}{2}+xbig)=2[q(x)+q(y)+q(z)]$$ in non-archimedean spaces

2001
D. E. STEVENSON

(1) Usurp the mechanisms of HOL-Light. 4 (2) Introduce the following 5 (a) General Systems Theory 6 (b) Formal Methods 7 (c) Conventional-Interval-Fuzzy mathematics 8 (d) Simulation Generation 9 (3) For each concept, introduce 10 (a) create that puts new thing in dictionary 11 (b) mk that constructs a representation 12 (c) dest that pulls out the data 13 (d) is that answers questions about conc...

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

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