منابع مشابه
The Impact of Alternation
Alternating automata have been widely used to model and verify systems that handle data from finite domains, such as communication protocols or hardware. The main advantage of the alternating model of computation is that complementation is possible in linear time, thus allowing to concisely encode trace inclusion problems that occur often in verification. In this paper we consider alternating a...
متن کاملthe effect of taftan pozzolan on the compressive strength of concrete in the environmental conditions of oman sea (chabahar port)
cement is an essential ingredient in the concrete buildings. for production of cement considerable amount of fossil fuel and electrical energy is consumed. on the other hand for generating one tone of portland cement, nearly one ton of carbon dioxide is released. it shows that 7 percent of the total released carbon dioxide in the world relates to the cement industry. considering ecological issu...
the role of type-d personality, social support and self-compassion in prediction of health behaviors in coronary heart disease patients
نظر به اهمیت و تاثیر روزافزون عوامل روانی – اجتماعی در سلامت جسمی و تاثیر عوامل روان شناختی در بروز بیماریهای مختلف از جمله بیماریهای قلبی و عروقی این پژوهش با هدف کلی بررسی ارتباط تیپ شخصیتی d ، حمایت اجتماعی و خود دلسوزی در پیش بینی رفتارهای بهداشتی بیماران کرونر قلبی و تعیین تفاوت بین بیماران کرونر قلبی با و بدون جراحی و افراد سالم در این متغیرها و رفتارهای بهداشتی آنان، انجام گرفت. جامعه آ...
15 صفحه اولromantic education:reading william wordsworths the prelude in the light of the history of ideas
عصر روشنگری زمان شکل گیری ایده های مدرن تربیتی- آموزشی بود اما تاکید بیش از اندازه ی دوشاخه مهم فلسفی زمان یعنی عقل گرایی و حس گرایی بر دقت و وضوح، انسان عصر روشنگری را نسبت به دیگر تواناییهایش نابینا کرده و موجب به وجود آمدن افرادی تک بعدی شد که افتخارعقلانیتشان، تاکید شان بر تجربه فردی، به مبارزه طلبیدن منطق نیاکانشان وافسون زدایی شان از دنیا وتمام آنچه با حواس پنجگانه قابل درک نبوده و یا در ...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Circulation
سال: 1963
ISSN: 0009-7322,1524-4539
DOI: 10.1161/01.cir.27.2.280