نتایج جستجو برای: accessibility model
تعداد نتایج: 2131061 فیلتر نتایج به سال:
The Future Operations Centre Analysis Laboratory (FOCAL) at Australia’s Defence Science and Technology Organisation (DSTO) is aimed at exploring new paradigms for situation awareness (SA) and command and control (C2) in military command centres, making use of new technologies developed for virtual reality and real-time 3D animation. Recent work includes the conceptual design and prototype devel...
Health care is considered a universal human right greatly emphasized in social welfare development in most countries. In this regard, public health care with its pervasive effects on the general level of communities' health is a top priority drawing the attention of planners and decision-makers a like. Unequal and inharmonious distribution of such services leads to unequal accessibility cau...
Memory T cells exhibit transcriptional memory and "remember" their previous pathogenic encounter to increase transcription on re-infection. However, how this transcriptional priming response is regulated is unknown. Here we performed global FAIRE-seq profiling of chromatin accessibility in a human T cell transcriptional memory model. Primary activation induced persistent accessibility changes, ...
We study dynamic modal operators that can change the model during the evaluation of a formula. In particular, we extend the basic modal language with modalities that are able to swap, delete or add pairs of related elements of the domain, while traversing an edge of the accessibility relation. We study these languages together with the sabotage modal logic, which can arbitrarily delete edges of...
A multi-valued version of CTL (mv-CTL), where both the propositions and the accessibility relation are multi-valued taking values in a nite quasi-boolean algebra, is considered. A general translation from mv-CTL to CTL model checking is deened. An application of the translation is shown for the most commonly used quasi-boolean algebras.
A multi-valued version of CTL∗ (mv-CTL∗), where both the propositions and the accessibility relation are multi-valued, taking values in a complete lattice with a complement, is considered. Contrary to all the existing model checking results for multi-valued modal logics, our lattices are not required to be finite. A set of restrictions is provided under which there is a direct translation from ...
Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics where worlds in a frame are equipped with a pre-order as well as with an accessibility relation which is ‘stable’ with respect to this pre-order. BIST logics are extensions of a logic, BiSKt, which arose in the semantic context of hypergraphs, since a special case of the pre-order can represent the inci...
اگرکیفیت معلم کلاس برای بهبودیادگیری دانش آموزحیاتی است،پس کیفیت اساتیددانشجو-معلمان، یابه عبارتی معلمین معلمان نیزبرای پیشرفت آموزش بسیارمهم واساسی است.ناگفته پیداست که یک سیستم مناسب آموزش معلمان ،معلمین با کیفیتی را تربیت خواهدکرد.که این کار منجربه داشتن مدارس خوب، ودرنتیجه نیروی کارماهرتروشهروندبهتربرای جامعه خواهدشد. اساتیددانشجو-معلمان نقشی بسیارمهم را در سیستم اموزش معلمان درسراسرجهان ای...
Introduction: Many people call emergency medical centers (EMCs) during a day due to accidents or various diseases and they need to receive first aid. In order to provide first aid, it is necessary to send emergency workers and vehicles from the emergency medical services centers to the location of the accidents. Therefore, the accessibility of the EMCs and their being located in an appropriate ...
The creation of urban space so that all segments of society can benefit from its facilities, provides opportunities for community participation and social activity and prevents their social isolation. In this study, we investigate the status of people with special needs access of urban space and its impact on volunteer activity in Mashhad. The approach of the present study is qualitative-quant...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید