Results 21 to 30 of about 651,436 (309)
Generalized p,q-Gamma-type operators
Journal of Function Spaces, 2020 In the present paper, the generalized p,q-gamma-type operators based on p,q-calculus are introduced. The moments and central moments are obtained, and some local approximation properties of these operators are investigated by means of modulus of ...
Wen-Tao Cheng, Qing-Bo Cai
doaj +1 more source
A General Type for Storage Operators [PDF]
Mathematical Logic Quarterly, 1995 AbstractIn 1990, J. L. Krivine introduced the notion of storage operator to simulate, in λ‐calculus, the “call by value” in a context of a “call by name”. J. L. Krivine has showed that, using Gödel translation from classical to intuitionistic logic, we can find a simple type for storage operators in AF2 type system.
openaire +2 more sources
Generative Type Inference for Python
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023 This paper has been accepted by ASE ...
Yun Peng 0003 +4 more
openaire +2 more sources
On the generic type of the free group [PDF]
The Journal of Symbolic Logic, 2011 AbstractWe answer a question raised in [9], that is whether the infinite weight of the generic type of the free group is witnessed inFω. We also prove that the set of primitive elements in finite rank free groups is not uniformly definable. As a corollary, we observe that the generic type over the empty set is not isolated.
openaire +3 more sources
Neutrosophic Generalized Exponential Robust Ratio Type Estimators
International Journal of Analysis and Applications, 2023 Estimators proposed under classical statistics fail if data are vague or indeterminate. Neutrosophic Statistics are the only alternative because its deal with indeterminacy.
Yashpal Singh Raghav
doaj +1 more source
GENERICALLY STABLE REGULAR TYPES [PDF]
The Journal of Symbolic Logic, 2015 AbstractWe study nonorthogonality of symmetric, regular types and show that it preserves generic stability and is an equivalence relation on the set of all generically stable, regular types. We prove that some of the nice properties from the stable context hold in general.
openaire +2 more sources
A generalization of the Gram determinant of type A [PDF]
Topology and its Applications, 2021 The Gram determinant of type $A$ was introduced by Lickorish in his work on invariants of 3 - manifolds. We generalize the theory of the Gram determinant of type $A$ by evaluating, in the annulus, a bilinear form of non-intersecting connections in the disc. The main result provides a closed formula for this Gram determinant.
Rhea Palak Bakshi +3 more
openaire +2 more sources
An analytical solution for the Caputo type generalized fractional evolution equation
Alexandria Engineering Journal, 2022 The Caputo type generalized fractional evolution equation is studied in this paper. Since the Caputo type generalized fractional derivative is well-known for being the generalization of Caputo fractional derivatives, this article’s studies contribute to ...
Wannika Sawangtong, Panumart Sawangtong
doaj +1 more source
Generalized growth and approximation errors of entire harmonic functions in \(R^n\), \(n \geq 3\)
Journal of Numerical Analysis and Approximation Theory, 2018 In this paper we study the continuation of harmonic functions in the ball to the entire harmonic functions in space \(\mathbb{R}^n\), \(n\geq 3\). The generalized order introduced by M.N.
Devendra Kumar
doaj +2 more sources
Deformations of Varieties of General Type [PDF]
Milan Journal of Mathematics, 2021 We prove that small deformations of a projective variety of general type are also projective varieties of general type, with the same plurigenera. Version 2: small changes in first half. Improved version of the second half is now a separate preprint (Seshadri's criterion and openness of projectivity). Version 3: Footnote corrects citation on p.4.
openaire +2 more sources