By analogy with complex K–theory and reality, there are theories of unitary functor calculus both which generalisations Weiss' orthogonal calculus. In this paper we show that can be completely recovered from the in to how topological is reality via forgetting C2–action.

the computational method based on using the operational matrix of anorthogonal function for solving variational problems is computeroriented. in this approach, a truncated hartley series together withthe operational matrix of integration and integration of the crossproduct of two cas vectors are used for finding the solution ofvariational problems. two illustrative examples are included todemon...

We consider two well-known algebraic proof systems: Polynomial Calculus (PC) and Polynomial Calculus with Resolution (PCR), a system introduced in [2] which combines together PC and Resolution. Moreover we introduce an algebraic proof system PCRk , which combines together Polynomial Calculus (PC) and k-DNF Resolution (RESk). This is a natural generalization to RESk of PCR. In the paper we study...

Cognitive radio has become a promising technology to increase spectrum utilization through spectrum sharing between licensed users (primary users) and unlicensed users (secondary users). Performance evaluation and analysis is of key importance to get more knowledge of this newly emerged technology. Queueing theory and Markov chain model have been applied to conduct the analysis, where some resu...

@article{gdp:cbn-cbv, author={Plotkin, G. D.}, title={Call-by-Name, Call-by-Value, and the λ-calculus}, journal={Theoretical Computer Science}, pages={125--159}, year=1975 } Summary: Plotkin investigates the relation between ISWIM and the λ-calculus. In particular, he tries to determine what version of the λ-calculus provides an equational theory for ISWIM programs. He establishes that the call...

Could calculus on graphs have emerged by the time of Archimedes, if function, graph theory and matrix concepts were available 2300 years ago? 1. Single variable calculus Calculus on integers deals with functions f (x) like f (x) = x 2. The difference Df (x) = f (x) = f (x + 1) − f (x) = 2x + 1 as well as the sum Sf (x) = x−1 k=0 f (k) with the understanding Sf (0) = 0, Sf (−1) = f (−1) are func...

we propose a method for medical image denoising using calculus of variations and local variance estimation by shaped windows. this method reduces any additive noise and preserves small patterns and edges of images. a pyramid structure-texture decomposition of images is used to separate noise and texture components based on local variance measures. the experimental results show that the proposed...

Suppose that $$\{u(t, x)\}_{t >0, x \in {\mathbb {R}}^d}$$ is the solution to a d-dimensional stochastic heat equation driven by Gaussian noise white in time and has spatially homogeneous covariance satisfies Dalang’s condition. The purpose of this paper establish quantitative central limit theorems for spatial averages form $$N^{-d} \int _{[0,N]^d} g(u(t,x))\, \mathrm {d}x$$ , as $$N\rightarro...

In this paper, we use Clifford algebra and the spinor calculus to study the complex structures on Euclidean space R8 and the spheres S4, S6. By the spin representation of G(2, 8) ⊂ Spin(8) we show that the Grassmann manifold G(2, 8) can be looked as the set of orthogonal complex structures on R8. In this way, we show that G(2, 8) and CP 3 can be looked as twistor spaces of S6 and S4 respectivel...