نتایج جستجو برای: r frco normal
تعداد نتایج: 976850 فیلتر نتایج به سال:
We show the Boxdot Conjecture holds for a limited but familiar range of Lemmon-Scott axioms. We re-introduce the language of essence and accident, first introduced by J. Marcos, and show how it aids our strategy. 1 & In modal logic, the boxdot translation, t, is the following translation: tp = p t? = ? t(φ! ψ) = (tφ! tψ) t φ = ( tφ∧ tφ) Note t...
We consider the problem of computing, out of a set C of trees and a rewrite system R, those trees in C that cannot be rewritten into a tree in C. We solve this problem for sets of formulas that are described by dominance graphs, and a certain class of rewrite systems that we use to approximate entailment, and show how to compute the irreducible trees efficiently by intersecting tree automata. O...
in this paper, we study some ring theoretic properties of the amalgamated duplication ring $rbowtie i$ of a commutative noetherian ring $r$ along an ideal $i$ of $r$ which was introduced by d'anna and fontana. indeed, it is determined that when $rbowtie i$ satisfies serre's conditions $(r_n)$ and $(s_n)$, and when is a normal ring, a generalized cohen-macaulay ring and finally a filter ring.
Reed valves in many small compressors arc usually activated automatically by pressure differences across the valve. These valves arc sometime called automatic valves. They have a very simple geometry and construction but they comprise one of the most complicated performance characteristics. The unsteady vibration of the valve reed during the operation requires a proper design. Generally too sti...
Given a term rewriting system R and a normalizable term t, a redex is needed if in any reduction sequence of t to a normal form, this redex will be contracted. Roughly, R is sequential if there is an optimal reduction strategy in which only needed redexes are contracted. More generally, G. Huet and J.-J. L evy de ne in [9] the sequentiality of a predicate P on partially evaluated terms. We show...
In this paper we describe G/G/R+s multi- repairmen machining system with balking. The system consists of M operating machines, S spare machines, R permanent and s additional repairmen. Assuming the discrete flow of machines by continuous one, the diffusion approximation technique for the machine repair system has developed. The system will be in normal working mode if there is M operating machi...
Abstract In this article, we study the following general Kirchhoff type equation: ? M ? R 3 ? ? u <m:mn...
Objective: Medical plants, as rich sources of natural antioxidants with antidiabetic effects, are used worldwide to diminish a variety of symptoms and many diseases. R. ribes L., which belongs to the family of polygonaceae, can provide symptomatic relief and assist in the prevention of the secondary complications of the diabetes. Material and Methods: 36 female adult rats were randomly divided ...
AbstractObjectives: The present study was carried out to assess early maladaptive schemas (EMS) and schema domains in a sample of sexual offenders. Method: The subjects were divided into two groups of 34 (one group of sexual offenders and one group of normal individuals). The sample of sexual offenders was randomly selected from among Mashad prison inmates convicted of rape. Normal subjects who...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید