نتایج جستجو برای: parviz natel khanlari composes “the eagle trace”
تعداد نتایج: 16062864 فیلتر نتایج به سال:
persian poetry experienced many changes, innovations, concerns and disputes by the beginning of 14th century ah. just in this period, parviz natel khanlari composes “the eagle trace”, a masnavi of the most perdurable modern literary works. the reasons of the eagle composition, its presentation to sadiq hedayat, quoting one of khavas al-hayvan’s statements, its first publication and the answers ...
We present a rule-based framework, called EAGLE, that has been shown to be capable of defining and implementing a range of finite trace monitoring logics, including future and past time temporal logic, extended regular expressions, real-time and metric temporal logics, interval logics, forms of quantified temporal logics, and so on. A monitor for an EAGLE formula checks if a finite trace of sta...
determination of uranium in natural water and complex solutions using ion exchange chromatography: a combined procedure using ion exchange chromatography and uv-vis spectrophotometry techniques has been developed to measure uranum in natural water and complex solutions. after conditicing , one hundred milli liters of sample solutions have been passed through an ion exchange column,pachked with ...
gol-e-gohar iron ore mine of sirjan in southern part of iran is a large open pit that operates below the groundwater table and during mining operation, dewatering is required to prevent operation processes from flooding. current operation is going on by digging wells in or out of the pit and pumping to prevent flooding. as a result of the former dewatering operation a vast deep cone of depressi...
Eagle was introduced as a general purpose rule-based temporal logic for specifying run-time monitors. A novel and relatively efficient interpretative trace-checking scheme via stepwise transformation of an Eagle monitoring formula was defined and implemented. However, application in real-world examples has shown efficiency weaknesses, especially those associated with large-scale symbolic formul...
abstract the present thesis seeks to critically read george orwell’s nineteen eighty-four and animal farm in the light of louis althusser’s thought and theory. the present thesis proceeds to examine and demonstrate althusser’s major concepts including ideological state apparatuses (isas), repressive state apparatuses (rsas), the structure, the subject, and ideological interpellation which r...
The run-time verification logic Eagle is equipped with two forms of binary cut operator, sequential composition ( ; ) and concatenation (·). Essentially, a concatenation formula F1 · F2 holds on a trace if that trace can be cut into two non-overlapping traces such that F1 holds on the first and F2 on the second. Sequential composition differs from concatenation in that the two traces must overl...
EAGLE is a very powerful logic for expressing behavioral properties about systems that evolve over time. Specifically, the logic can be used to monitor the execution of computer programs. EAGLE is an extension of propositional logic with three temporal kernel operators, with recursion, and with parameterization over formulas in the logic as well as over data values. Formula parameterization all...
in this article, we have focused one some basic and productive information about the properties of spectrum and singular values related to compact operators which are ideals in a c*-algebra of bounded operators. considering a two-sided connection between the family of symmetric gauge functions on sequence of singular values of compact operators and symmetric norms on finite dimensional ope...
Structural study of Khosrow Parviz silver coins present in the museum Bu Ali Sina tomb using X-ray fluorescence spectroscopy method
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید