نتایج جستجو برای: λ logic algorithm
تعداد نتایج: 902091 فیلتر نتایج به سال:
For the random 2-SAT formula F (n, p), let FC(n, p) be the formula left after the pure literal algorithm applied to F (n, p) stops. Using the recently developed Poisson cloning model together with the cut-off line algorithm (COLA), we completely analyze the structure of FC(n, p). In particular, it is shown that, for λ := p(2n− 1) = 1 + σ with σ ≫ n−1/3, the core of F (n, p) has θ2 λ n+O((θ λ n)...
The versatile control of graphene's plasmonic modes via an external gate-voltage inspires us to design efficient electro-optical graphene plasmonic logic gates at the midinfrared wavelengths. We show that these devices are superior to the conventional optical logic gates because the former possess cut-off states and interferometric effects. Moreover, the designed six basic logic gates (i.e., NO...
Migration of Virtual Machine (VM) is a critical challenge in cloud computing. The process to move VMs or applications from one Physical Machine (PM) to another is known as VM migration. In VM migration several issues should be considered. One of the major issues in VM migration problem is selecting an appropriate PM as a destination for a migrating VM. To face this issue, several approaches are...
Although Dubois and Prade’s fuzzy elements and gradual sets cannot be represented as objects or fuzzy predicates in first-order versions of known systems of propositional fuzzy logic, they can be represented in higher-order fuzzy logic. However, this logical representation does not simplify handling these notions, compared to informal semantic methods of traditional fuzzy mathematics. Finding a...
We study an output-based encoding of the λ-calculus with explicit substitution into the synchronous π-calculus – enriched with pairing – that has its origin in mathematical logic, and show that this encoding respects reduction. We will define the notion of (explicit) head reduction -which encompasses (explicit) lazy reductionand show that the encoding fully represents this reduction in that (ex...
We define a model for linear logic based on two well-known ingredients: games and simulations. This model is interesting in the following respect: while it is obvious that the objects interpreting formulas are games and that everything is developed with the intuition of interaction in mind, the notion of morphism is very different from traditional morphisms in games semantics. In particular, we...
Recently, a new multi-step temporal learning algorithm, called Q(σ), unifies n-step Tree-Backup (when σ = 0) and n-step Sarsa (when σ = 1) by introducing a sampling parameter σ. However, similar to other multi-step temporal-difference learning algorithms, Q(σ) needs much memory consumption and computation time. Eligibility trace is an important mechanism to transform the off-line updates into e...
Gene regulation plays a central role in the development and functioning of living organisms. Developing a deeper qualitative and quantitative understanding of gene regulation is an important scientific challenge. The λ switch is commonly used as a paradigm of gene regulation. Verbal descriptions of the structure and functioning of the λ switch have appeared in biological textbooks. We apply fuz...
We study reflection in the Lambda Calculus from an axiomatic point of view. Specifically, we consider various properties that the quote p·q must satisfy as a function from Λ to Λ. The most important of these is the existence of a definable left inverse: a term E, called the evaluator for p·q, that satisfies EpMq = M for all M ∈ Λ. Usually the quote pMq encodes the syntax of a given term, and th...
The theory of fuzzy logic and the set has been successfully applied in various fields research social science, management mathematics. In this paper, we use concept Fuzzy real numbers to introduce study new double sequence spaces l∞ (M, λ, ρ), C F ρ) CoF defined by Orlicz function some their properties like linear space structure, completeness, solidness.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید