نتایج جستجو برای: vis formal life and non
تعداد نتایج: 17091588 فیلتر نتایج به سال:
OBJECTIVES Deficit in visuospatial functions can influence both simple and complex daily life activities. Despite the fact that visuospatial deficit was reported in schizophrenia, research on visuospatial functions as an independent entity is limited. Our study aims to elucidate the impact of visuospatial deficit in comparison with verbal deficit on global functioning and quality of life in the...
august wilson is undoubtedly one of the rare black playwrights whose works have attracted streams of attention and worldwide audience. the present study aims at analyzing fences and piano lesson which are two of the most successful plays in his pittsburgh cycle from the perspective of michel foucault’s theories and ideas. studying these two plays from foucault’s perspective opens new windows in...
we have two part in this thesis, at first: the interaction of native calf thymus dna (ct-dna) with two anthraquinones including quinizarin (1,4- dihydroxy anthraquinone) and danthron (1,8- dihydroxy anthraquinone) in a mixture of 0.04 m brittone-robinson buffer and 50% of ethanol were studied at physiological ph by uv-vis absorption, florescence, circular dichroism spectroscopic methods, viscos...
In Artificial Intelligence, well-understood reasoning systems and tractable reasoning systems have often seemed mutually exclusive. This has been exemplified by nonmonotonic reasoning formalisms and inheritance-with-exceptions reasoners. These have epitomized the two extremes: the former not even semidecidable, the latter completely ad hoc. We previously presented a formal mechanism for specify...
In this paper, we describe a case study of formal verification for a computer bus arbitration controller by using the temporal logic of model checking. The implementation of the verification uses the Berkeley-VIS model checking system. Futurebus is a multiprocessor system bus with an arbitration and control mechanism. We describe the verification of the arbitration controller of "Futurebus'' (I...
We explore how computational ontologies can be impactful vis-à-vis the developing discipline of “data science.” We posit an approach wherein management theories are represented as formal axioms, and then applied to draw inferences about data that reside in corporate databases. That is, management theories would be implemented as rules within a data analytics engine. We demonstrate a case study ...
In this paper, we study the performance of an access concurrency control algorithm for transaction time relations. This algorithm is based on the optimistic approach and detects conflicts as soon as possible. By using EOT marker technique, it has the merit to reduce to the maximum the period during which resources are locked in the validation phase [3]. We have, in previous works, made a formal...
nowadays, technical terminology translation plays an important role in human life. specific groups of people all over the world refer to learn these terminologies in order to be familiar with a subject and improve their knowledge in that domain. on the other hand, saving the technical translation equivalent is a particularly salient challenge for technical translators. the present study was con...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید