نتایج جستجو برای: like statements are derived from induction while verity

تعداد نتایج: 8738021  

It is widely agreed the Anthropocene has seen an unprecedented decline in the natural resources conditions that have underpinned the economic growth of the last few hundred years. As communities, we have not responded to Boulding’s vision of ‘the coming space ship earth’ although not for want of much official and private effort. As ‘wicked problems’ the impacts have been often ignored or off lo...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز 1381

‏‎the community dynamics of aquatic coleoptera(insecta)in one of the spring-stream habitats of bammo national park in fars province called cheshmeh-ye-ghanbari is studied as a pilot project and model for acquaintance with and furthering the biodiversity studies on fauna of iran. sixteen species-populations out of nineteen of this community were already identified for their taxonomy and for thei...

Journal: :Frontiers in Earth Science 2022

Misinformation carries the potential for immense damage to public understanding of science and evidence-based decision making at an individual policy level. Our research explores following questions within seismology: which claims can be considered misinformation, are supported by a consensus, still under scientific debate? Consensus debate important quantify, because where levels consensus on ...

وحید سبزیانپور

The researchers believe that al-Adab al–Saghir and al-Adab al-Kabir are Pahlavi translators of Iranian advices, where fifteen anonymous statements appear which are in Nahj-albalaghah. Besides, both books contain a lot of precious themes of Nahj Albalaghah which, like veins of gold, are hidden in their different layers . The use of Ali’ s anonymous words in these two books caused e...

Objective(s): Dendritic cells (DCs) play a critical role in activation of T cell responses. Induction of type1 T helper (Th1) immune response is essential to generate protective immunity against cutaneous leishmaniasis. The intrinsic tendency of liposomes to have interaction with antigen-presenting cells is the main rationale to utilize liposomes as antigen carriers. In the present study, the e...

2009
JEFFREY C. MORTON

Interest in weak cubical n-categories arises in various contexts, in particular in topological field theories. In this paper, we describe a concept of double bicategory in terms of bicategories internal to Bicat. We show that in a special case one can reduce this to what we call a Verity double bicategory, after Domenic Verity. This is a weakened version of a double category, in the sense that ...

Ahmad Reza Bahrami Asieh Heirani-Tabasi Hamid Reza Bidkhori Hojjat Naderi-Meshkin1 Mahtab Dastpak Maryam M. Matin Moien Farshchian Naghmeh Ahmadian Kia

Introduction: Mesenchymal stem cells (MSCs) hold great promise in the field of regenerative medicine.Although originally isolated from bone marrow, MSCs have since been obtained from a variety of adult and neonatal tissues including the adipose tissue. Stemness and multipotential features of Mesenchymal Stem Cells (MSC) has been highlighted in many studies but there are many dark aspects in ex...

Journal: :IBM Journal of Research and Development 1995
Andreas Kuehlmann Arvind Srinivasan David P. LaPotin

In an effort to fully exploit CMOS performance, custom design techniques are used extensively in commercial microprocessor design. However, given the complexity of current generation processors and the necessity for manual designer intervention throughout the design process, proving design correctness is a major concern. In this paper we discuss Verity, a formal verification program for symboli...

آقائی, محمدعلی , موسوی‌شیری, سیدمحمود,

 The value of any information including financial statements, just like other goods and services, depends on the quality which is determined by the users.  Because of the important role of accounting measurements in preparing financial statements, the quality of these measurements have an effective role in determining the quality of financial statements. Therefore, using accounting measurements...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید