نتایج جستجو برای: ken hyland

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

2014
L. STANCIU Javad Mashreghi

In this paper, we consider a general integral operator Gn(z). The main object of the present paper is to study some properties of this integral operator on the classes S∗(α), K(α), M(β), N (β) and KD(μ, β).

1998
Julie Tzu-Yueh Wang JULIE TZU-YUEH WANG

Let K be a field and H be a set of hyperplanes in P n(K). When K is a function field, we show that the following are equivalent. (a) H is nondegenerate over K. (b) The height of the (S,H)-integral points of P n(K) − H is bounded. (c) P n K − H is an abc variety. When K is a number field and H is nondegenerate over K, we establish an explicit bound on the number of (S,H)-integral points of P n(K...

2012
S. R. Swamy

Using the principle of subordination, we obtain some inclusion properties of certain subclasses of analytic functions defined by a generalized multiplier transformation. Also inclusion properties of these classes involving the generalized integral operator are obtained. Mathematical Subject Classification: 30C45

1997
Torben Braüner Valeria de Paiva

In this paper we describe a solution to the problem of proving cut-elimination for FILL, a variant of exponential-free and multiplicative Linear Logic originally introduced by Hyland and de Paiva. In the work of Hyland and de Paiva, a term assignment system is used to describe the intuitionistic character of FILL and a proof of cut-elimination is barely sketched. In the present paper, as well a...

Journal: :CoRR 2017
Ryuta Arisaka Ken Satoh

Argumentation / Persuasion / Dynamics Ryuta Arisaka National Institute of Informatics [email protected] Ken Satoh National Institute of Informatics [email protected]

2011
Klaas Pieter Hart Jan van Mill

To Ken Kunen on the occasion of his retirement from teaching MSC: primary 54F45 secondary 54C10, 54G05

Journal: :Nanoscale advances 2023

Guest editors Zhaojun Han, Ruopian Fang, Dewei Chu, Da-Wei Wang and Kostya (Ken) Ostrikov, introduce this Nanoscale Advances themed issue on supercapacitors.

Journal: :The Journal of Physical Chemistry B 2018

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

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